Seja a sentença ~{[ (p → q) ∨ r] ↔ [q → (~p ∨ r)] }.
Se considerarmos que p é falsa, então é verdade que
- A essa sentença é uma tautologia.
- B o valor lógico dessa sentença é sempre F.
- C nas linhas da Tabela-Verdade em que p é F, a sentença é V.
- D nas linhas da Tabela-Verdade em que p é F, a sentença é F.
- E faltou informar o valor lógico de q e de r.