Questões de Raciocínio Lógico · Cebraspe

Raciocínio LógicoTautologia, contradição e contingênciaCebraspe 2011

SESA ES

Questão de Raciocínio Lógico

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)]∧(R∧S)}→(P→Q) é uma tautologia.

Sua resposta

Mais questões de Tautologia, contradição e contingência

Ver as 489 questões de Tautologia, contradição e contingência

Questão de prova oficial, com o gabarito definitivo publicado pela banca. Reproduzida para fins de estudo.