Questão de Raciocínio Lógico — Lógica de Primeira Ordem — VUNESP 2021
Raciocínio LógicoLógica de Primeira Ordem
- Código
- vu148244
- Banca
- VUNESP
- Órgão
- EsFCEx
- Ano
- 2021
- Cargo
- CFO/QC ( )
Considere a seguinte sentença quantificada: (∀x) (x + 3 < 5 ∧ x + 7 ≥ 1). Uma negação para a sentença apresentada é:
- A(∀x) (x + 3 > 5 ∧ x + 7 ≤ 1).
- B(∀x) (x + 3 ≥ 5 ∨ x + 7 < 1).
- C(∃x) (x + 3 ≥ 5 ∨ x + 7 < 1).
- D(∃x) (x + 3 > 5 ∨ x + 7 ≤ 1).
- E(∃x) (x + 3 ≥ 5 ∧ x + 7 < 1).