Considerando os símbolos lógicos ¬ (negação), ∧ (conjunção), ∨ (disjunção), ➡ (condicional) e as proposições
S: (p ∧ ¬ q) ∨ (¬ p ∧ r) ➡ q ∨ r e
T: ((p ∧ ¬ q) ∨ (¬ p ∧ r)) v (¬ q ∧ ¬ r),
julgue o item seguinte.
A proposição T ➡ S é uma tautologia.
Questão
2010
CESPE (CEBRASPE)
Secretaria de Estado da Fazenda do Espírito Santo
Consultor do Executivo - Ciências Contábeis (SEFAZ ES)
Considerando-simbolos555057a199
C
Certo.
E
Errado.