Considere as proposições simples p e q. Ao construir a tabela-verdade da proposição composta:


(p ^ ~ q) ’ p



Verifica-se que o resultado da última coluna apresenta