- Lógica ProposicionalContingência, Contradição e Tautologia
- Lógica ProposicionalEquivalências Lógicas
Considerando que A, B e C sejam proposições, que os símbolos ∨ e ∧ representam os conectivos “ou” e “e”, respectivamente, e que o símbolo ¬ denota o modificador negação, julgue os itens a seguir.
A proposição (A∨B)∧[(¬A)∧(¬B)] é sempre falsa.