La ley lógica llamada tiene la siguiente forma lógica: p(pq), y nos permite deducir una verdadera a partir de una proposición . Por su parte, la dice que si la proposición pq es , entonces tenemos garantizado que cualquiera de esos dos términos de dicha porposición son por separado.