Considere a seguinte proposição categórica O.• O: “Nem to...

Q1951304

Raciocínio Lógico Simbologia dos quantificadores lógicos( Linguagem)

Ano: 2021

Banca: Centro de Seleção e de Promoção de Eventos UnB - CESPE CEBRASPE

Prova: CESPE/CEBRASPE - ADAPAR - Fiscal de Defesa Agropecuária - Área Médico Veterinário - 2021

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.

$\forall x (C (x) \to \neg D (x))$

$\forall x (C (x) \to D (x))$

$\neg \exists x (C (x) \land D (x))$

$\exists x (C (x) \land \neg D (x))$

$\exists x (C (x) \land D (x))$

Comentários Marcadores Anotações (0) Estatísticas Reportar erro

Considere a seguinte proposição categórica O.• O: “Nem todo carneiro é dócil”Consideran...