- Lógica ProposicionalContingência, Contradição e Tautologia
- Lógica ProposicionalProposições
- Lógica ProposicionalTabelas-verdade
Considere as proposições simples p e q. Ao construir a tabela-verdade da proposição composta:
(p ^ ~ q)
Verifica-se que o resultado da última coluna apresenta
