Considerando os símbolos lógicos !$ \neg !$ (negação), !$ \wedge !$ (conjunção), !$ \vee !$ (disjunção), !$ \rightarrow !$ (condicional) e as proposições
S: (p !$ \wedge !$ !$ \neg !$ q) !$ \vee !$ (!$ \neg !$ p !$ \wedge !$ r) !$ \rightarrow !$ q !$ \vee !$ r e
T: ((p !$ \wedge !$ !$ \neg !$ q) !$ \vee !$ (!$ \neg !$ p !$ \wedge !$ r)) !$ \wedge !$ (!$ \neg !$ q !$ \wedge !$ !$ \neg !$ r),
T: ((p !$ \wedge !$ !$ \neg !$ q) !$ \vee !$ (!$ \neg !$ p !$ \wedge !$ r)) !$ \wedge !$ (!$ \neg !$ q !$ \wedge !$ !$ \neg !$ r),
julgue o item que se segue.
A proposição T !$ \rightarrow !$ S é uma tautologia.
Provas
Questão presente nas seguintes provas
Consultor do Tesouro Estadual - Ciências Contábeis
120 Questões
Consultor do Tesouro Estadual - Ciências Econômicas
120 Questões
