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.
Soluções para a tarefa
Respondido por
6
Resposta:
--------B-------
F – V – V – V.
Respondido por
1
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.
Perguntas interessantes