Questão
ID 1174091Disciplina: Raciocínio Lógico
Assunto: Tautologia
Ano: 2011 Banca: CESPE CEBRASPE - Centro de Seleção e de Promoção de Eventos UnB Órgão: Secretaria de Estado da Saúde do Espírito Santo
Considerando que as proposições lógicas simples sejam representadas por letras maiúsculas e utilizando os símbolos usuais para os conectivos lógicos — ∧ para a conjunção “e”; ∨ para a disjunção “ou”; ¬ para a negação “não”; → para a implicação “se ..., então ...”; ↔ para a equivalência “se ..., e somente se ...” —, julgue os próximos itens.
Se P, Q, R e S são proposições simples, então a proposição expressa por {[(P → Q) ↔ (R ∧ S)]v(R ∧ S)} → (P → Q) é uma tautologia.