DiversosDiversos (38)

• (CESPE / CEBRASPE 2021)

Considere a seguinte proposição categórica O.
• O: “Nem todo carneiro é dócil”.
Considerando que xpertenç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 ) → ¬D( x ))

B) ∀ x (C( x ) → D( x ))

C) ¬∃ x (C( x ) ∧ D( x ))

D) ∃ x (C( x ) ∧ ¬ D( x ))

E) ∃ x (C( x ) ∧ D( x ))


Próximo:
EXERCÍCIOS - Exercício 189

Vamos para o Anterior: Exercício 187

Tente Este: Exercício 411

Primeiro: Exercício 1

VOLTAR ao índice: Diversos