Imagem de fundo

Assinale qual das seguintes formas sentenciais é uma...

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.


A

X ⊃ (X & Y)


B

~X & ~~X


C

Y ⊃ (X ⊃ Y)


D

X & (Y ∨ X)


E

Y ⊃ (Y ⊃ X)