Questão número 42839
Raciocínio lógico - Algebra das Proposições - Fundação para o Vestibular da Universidade Estadual Paulista (VUNESP) - 2013
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)
O Provas e Concursos é um banco de dados de questões de concursos públicos organizadas por matéria, assunto, ano, banca organizadora, etc
