Tautologia é um conceito da lógica que se refere a uma
proposição ou expressão que é sempre verdadeira,
independentemente dos valores de verdade das suas
partes constitutivas. Em outras palavras, uma tautologia
é uma afirmação que não pode ser falsa em nenhuma
circunstância.
Nesse contexto, analise as proposições que seguem:
I. (P → Q) ↔ (~P v Q)
II.~(P v Q) ↔ ~P v ~Q v P
III. (P v Q) v (R ^ S) ↔ P ^ Q ^ R ^ S
É correto afirmar que: