Pular para o conteúdo principal

Questão de Raciocínio Lógico — Tautologia, Contradição e Contingência — CESGRANRIO 2012

Raciocínio LógicoTautologia, Contradição e Contingência
Código
cg048124
Banca
CESGRANRIO
Órgão
Innova
Ano
2012
Nível
Superior
Cargo
Analista de Sistemas Júnior
Qual das fórmulas é satisfazível, mas não é tautologia?
  1. Ap → (p → q ∧ não q )
  2. B(( p → q ) → r ) → (p → (q→ r))
  3. C( p ∧ q) ∧ não (p ∨ q)
  4. Dp ∨ não p → q ∧ não q
  5. E(não (p ∨ não q) ∨ r) ∨ (r →(q→p))
Revelar gabarito e comentário

GabaritoA — p → (p → q ∧ não q )

Link permanente: /questoes/cg048124