Considere a seguinte combinação dos possíveis valores lógicos de duas proposições:
A partir dessa construção, a tabela verdade da fórmula ¬(A ∨ B) → ¬A é:
A partir dessa construção, a tabela verdade da fórmula ¬(A ∨ B) → ¬A é:
