Exercícios 3. 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 Pvale para um específico X, ( ) A afirmativa "Há aves que não voam" formalizada com uso da lógica de predicados é (Ex) (aves(x) A ~voam(x)). () A afirmativa "Alguns animais são racionais" formalizada com uso da lógica de predicados é (Ex) (R(x) ^ P(x)). ( ) A afirmativa "Todos os humanos são racionais" formalizada com uso da lógica de predicados é (A) P(x) Q(x). A ordem correta de preenchimento das lacunas, de cima para baixo, é: 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

Question

Exercícios 3. Os quantificadores universais e existencial permitem estabelecer fatos sobre todos os objetos de determinado contexto, sem a necessid...

Ed · Answer

Vamos analisar cada afirmação cuidadosamente:

1) (x) P(x) significa que a propriedade P vale para um específico X.  
Falso (F). O quantificador universal (x) P(x) significa que P vale para **todos** os elementos x, não para um específico.

2) A afirmativa "Há aves que não voam" formalizada com uso da lógica de predicados é (Ex) (aves(x) ∧ ~voam(x)).  
Verdadeiro (V). O quantificador existencial (Ex) indica que existe pelo menos um x que é ave e que não voa.

3) A afirmativa "Alguns animais são racionais" formalizada com uso da lógica de predicados é (Ex) (R(x) ∧ P(x)).  
Verdadeiro (V). O quantificador existencial indica que existe pelo menos um x que é racional (R(x)) e é animal (P(x)).

4) A afirmativa "Todos os humanos são racionais" formalizada com uso da lógica de predicados é (Ax) P(x) → Q(x).  
Verdadeiro (V). O quantificador universal indica que para todo x, se x é humano (P(x)), então x é racional (Q(x)).

Sequência correta: F - V - V - V

Alternativa correta: B. F - V - V - V

Inglês

Respostas

Libere essa resposta sem enrolação!

Ainda com dúvidas?

Mais conteúdos dessa disciplina