- Lógica ProposicionalTabelas-verdadeTabela-verdade: Condicional
- Lógica ProposicionalTabelas-verdadeTabela-verdade: Conjunção
- Lógica ProposicionalTabelas-verdadeTabela-verdade: Disjunção Inclusiva
Com relação ao estudo de lógica, considere A como sendo uma proposição falsa e B como sendo uma proposição falsa. Então, o valor lógico das operações [(A → B) ∧ ~A] e [A ∨ (~B ↔ A)] são, respectivamente: