Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — COPEVE-UFAL 2016
Raciocínio LógicoTautologia, Contradição e Contingência
- Código
- qq166161
- Banca
- COPEVE-UFAL
- Órgão
- UFAL
- Ano
- 2016
- Nível
- Superior
Supondo que os símbolos ¬, → e ↔ representam a negação, condicional e bicondicional, respectivamente, a partir do conjunto de premissas {A → E, C ↔ E, E → G}, é possível concluir que
- AA → C.
- BC → A.
- CE → ¬A.
- DG → ¬A.
- E¬E → ¬G.