Qual das alternativas apresenta uma afirmação logicamente verdadeira?
A sentença composta P → ~Q representa uma tautologia.
A sentença composta P → ~Q representa uma contradição.
A sentença composta ~Q → P representa uma tautologia.
A sentença composta (P → ~Q) ∨ (~Q → P) representa uma contingência.
A sentença composta (P → ~Q) ∨ (~Q → P) representa uma tautologia.