Questão de Raciocínio Lógico — Lógica de Primeira Ordem — CESPE / CEBRASPE 2021
Raciocínio LógicoLógica de Primeira Ordem
- Código
- ce377351
- Banca
- CESPE / CEBRASPE
- Órgão
- ADAPAR
- Ano
- 2021
- Cargo
- FDA ( )
Considere a seguinte proposição categórica O. • O: “Nem todo carneiro é dócil”. Considerando que x pertença ao conjunto T de todos os animais do mundo, que C(x) represente simbolicamente a propriedade “x é carneiro” e que D(x) represente simbolicamente a propriedade “x é dócil”, assinale a opção que apresenta uma representação simbólica correta da proposição O na linguagem da lógica de primeira ordem.
- A∀ x(C(x) \to ¬ D(x))
- B∀ x(C(x) \to D(x))
- C¬ ∃x(C(x) Λ D(x))
- D∃x(C(x) Λ ¬ D(x))
- E∃x(C(x) Λ D(x))