- Lógica ProposicionalContingência, Contradição e TautologiaContingência
- Lógica ProposicionalContingência, Contradição e TautologiaContradição
- Lógica ProposicionalContingência, Contradição e TautologiaTautologia
- Lógica ProposicionalTabelas-verdade
Considerando os conetivos da conjunção (∧), da negação (~) e condicional (→), concluímos que a tabela-verdade da fórmula (~(P ∧ Q)∧ P → Q) é:
