Question

Um dos objetivos de aprendizagem do cálculo de predicados é compreender as relações entre os quantificadores e a negação. Neste sentido, analise as afirmativas seguintes e assinale a alternativa que apresenta a sentença equivalente a "Não existem políticos não corruptos", mas sem a negação.
a) Existem políticos corruptos.
b) Todos os políticos são corruptos.
c) Existem políticos que não são corruptos.
d) Todos os políticos não são corruptos.
e) Existem alguns políticos corruptos.

Answer 1

"Não existem políticos não corruptos", mas sem a negação.

Letra B

b) Todos os políticos são corruptos.

¬Эx (Px ^ ¬Cx) fica ∀x (Px → Cx)