

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.
Para as questões de números 62 a 64, considere a seguinte notação para os conectivos lógicos: ~ (para a negação), ∨ (para a disjunção inclusiva), & (para a conjunção) e ⊃ (para a implicação material).
Assinale qual das seguintes formas sentenciais é uma tautologia.
X ⊃ (X & Y)
~X & ~~X
Y ⊃ (X ⊃ Y)
X & (Y ∨ X)
Y ⊃ (Y ⊃ X)