Sejam p e q duas proposições. Considere a sentença S dada por: (p → q) ↔ (~p ∨ q) e a tabela verdade abaixo.
Construindo a tabela verdade acima, os valores lógicos da sentença S (de cima para baixo) são:
- A V – V – V – V.
- B V – F – V – V.
- C V – V – V – F.
- D V – F – F – V.
- E V – F – V – F.