Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — FGV 2026

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:

1. AV – V – V – V.
2. BV – F – V – V.
3. CV – V – V – F.
4. DV – F – F – V.
5. EV – F – V – F.