Ao estudar as Variáveis, os Quantificadores e os Predicados, ampliamos e melhoramos o grau de validade de argumentos, logo é importantíssimo conseg...

Ao estudar as Variáveis, os Quantificadores e os Predicados, ampliamos e melhoramos o grau de validade de argumentos, logo é importantíssimo conseguir expressar tais argumentos utilizando destes conceitos. Empregando as letras “P” e “Q” os predicados “é um fazendeiro” e “é um rizicultor”, respectivamente, acompanhe a sentença a seguir:

“Todos os fazendeiros não são rizicultores”

Sobre a possibilidade de formalizar a sentença, analise cada um dos itens:

 I.  ∀x(Px → Qx)

 II. ∀x(Px → ~Qx)

 III. ∃x(Px → ~Qx)

 IV. ∃x(Px → Qx)

Assinale a alternativa CORRETA:

A ) Somente o item III está correto.

B ) Somente o item I está correto.

C ) Somente o item II está correto.

D ) Somente o item IV está correto.