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