Considere-se a seguinte sentença lógica.

Se nem P nem Q forem verdadeiros, então R será falso.

A análise das propriedades de equivalência e dedução dessa proposição condicional estabelece como uma relação logicamente válida a seguinte afirmação: