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.
• 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.
