Question

​​​​​​​Os quantificadores universais e existencial permitem estabelecer fatos sobre todos os objetos de determinado contexto, sem a necessidade de enumerar de forma explícita todos os elementos.

Dito isso, julgue as afirmações que seguem e marque V para as verdadeiras e F para as falsas:

( ) (∀x) P(x) significa que a propriedade P vale para um específico x.

( ) A afirmativa "Há aves que não voam" formalizada com uso da lógica de predicados é (∃x) (aves(x) ^ ~voam(x)).

( ) A afirmativa "Alguns animais são racionais" formalizada com uso da lógica de predicados é (∃x) (R(x) ^ P(x)).

( ) A afirmativa "Todos os humanos são racionais" formalizada com uso da lógica de predicados é (∀x) P(x) → Q(x).

A ordem correta de preenchimento das lacunas, de cima para baixo, é:

Selecione a resposta correta
A
V – V – F – F.

B
F – V – V – V.

C
V – F – V – F.

D
V – F – F – V.

E
F – V – V – F.

Answer 1

Resposta:

--------B-------

F – V – V – V.

Answer 2

Resposta: B.

F – V – V – V.

Explicação: O quantificador universal é representado por (∀), assim, (∀x) P(x) significa que a propriedade P vale para todo x. A afirmativa “Há aves que não voam" formalizada com uso da lógica de predicados é (∃x) (aves(x) ^ ~voam(x)), um particular negativo. A afirmativa “Alguns animais são racionais" formalizada com uso da lógica de predicados é (∃x) (R(x) ^ P(x)), um particular afirmativo. A afirmativa "Todos os humanos são racionais" formalizada com uso da lógica de predicados é

(∀x) P(x) → Q(x), uma afirmativa universal.