1
Q1951304
Teclas de Atalhos
Compartilhar
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)→¬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))