Pular para o conteúdo principal

Questão de Raciocínio Lógico — Fundamentos de Lógica — CESGRANRIO 2012

Raciocínio LógicoFundamentos de Lógica
Código
cg049527
Banca
CESGRANRIO
Órgão
Petrobras
Ano
2012
Nível
Superior
Cargo
Analista de Sistemas Júnior - Processos de Negócios
Dadas as premissas p₁ , p₂ ,..., pn e uma conclusão q, uma regra de inferência a partir da qual q se deduz logicamente de p₁ , p₂,..., pn é denotada por p₁ , p₂ ,..., pn ├q. Uma das regras de inferência clássica é chamada Modus Ponens, que, em latim, significa “modo de afirmar”. Qual a notação que designa a regra de inferência Modus Ponens?
  1. Ap ∨ q, ¬p ├ q
  2. Bp ∧ q, ¬p ├ ¬q
  3. Cp ↔ q ├ p→q
  4. Dp, p → q ├ q
  5. Eq, p → q ├ p
Revelar gabarito e comentário

GabaritoD — p, p → q ├ q

Link permanente: /questoes/cg049527