Ano: 2021·Banca: CESPE / CEBRASPE·Cargo: Fiscal de Defesa Agropecuária - Médico Veterinário·Concurso: ADAPAR

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.