

Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Na lógica proposicional, a tautologia é um fenômeno que pode ser observado na construção de proposições compostas. Considere as seguintes proposições compostas obtidas a partir das proposições simples P e Q:
R = ¬ [ P ∨ (¬Q) ] ↔ [ (¬P) ∧ Q]
S = [ P → Q ] ↔ [ Q ∨ (¬P) ]
Sobre as proposições compostas R e S, pode-se afirmar, corretamente, que:
Ambas as proposições compostas são tautologias.
Somente a proposição composta S é uma tautologia.
Somente a proposição composta R é uma tautologia.
Nenhuma das proposições compostas é uma tautologia.