Question

O estudo da lógica de predicados tem como ponto inicial o conhecimento de sua sintaxe, pois é a partir dela que conceitos mais sofisticados são desenvolvidos.

Nesse contexto, insere-se o afirmativo universal, cuja formalização por meio da lógica de predicados é feita por:

Selecione a resposta correta

A
(∀x) (P(x) → ~∃Q(x)).

B
(∃x) (P(x) ^ ~Q(x)).

C
(∀x) (P(x) → ~Q(x)).

D
(∀x) (P(x) → Q(x)).

E
(∃x) (P(x) ^ Q(x)).

Answer 1

Resposta:

(∀x) (P(x) → Q(x)).

Explicação:

O afirmativo universal é representado pelo quantificador ∀x seguido por uma implicação material entre duas fórmulas atômicas.

Answer 2

Resposta:

D.

(∀x) (P(x) → Q(x)).

Explicação: Na lógica de predicados, é correto afirmar que

Todo P é Q (universal afirmativa).

(∀x) (P(x) → Q(x))

Nenhum P é Q ou todo P não é Q (universal negativa).

(∀x) (P(x) → ~Q(x))

Algum P é Q (particular afirmativa).

(∃x) (P(x) ^ Q(x))

Algum P não é Q (particular negativa).

(∃x) (P(x) ^ ~Q(x))