GABARITO: ALTERNATIVA B.

Para resolução dessa questão, faz-se necessário que o candidato tenha conhecimento acerca do alfabeto de primeira ordem.

Onde:

é um conjunto enumerável de variáveis;

é um conjunto de símbolos chamados de constantes;

é um conjunto de símbolos ditos sinais funcionais;

é um conjunto de símbolos ditos sinais relacionais ou predicativos;

é o conjunto de símbolos ditos sinais lógicos;

é o conjunto de símbolos de pontuação.

Dito isto, vamos à resolução da questão!

O examinador deseja saber qual é a forma reduzida da proposição categórica: Nenhum A é B.

Podemos aqui, utilizar o quantificador universal (∀), afirmando que todo elemento x que é A não é B.

Iremos montar a sentença ∀x(Ax→∼Bx), que pode ser lida das seguintes formas:

- Para todo x, se x é A, então x não é B;

- Qualquer que seja x, se é A, não é B;

- Todo x que seja A não é B;

- Todo A não é B;

- Nenhum A é B.

Logo, a proposição (Nenhum A é B), tem a seguinte forma reduzida:

∀x(Ax→∼Bx).

Portanto, alternativa B correta.