Considerando a Lógica de Primeira Ordem, analise as afirmações: I. 'Todo P é Q' é representável como ∀x (P(x) → Q(x)). II. 'Existem x tal que P(x) e Q(x)' é representável como ∃x (P(x) ∧ Q(x)). Qual d

Question

Considerando a Lógica de Primeira Ordem, analise as afirmações: I. 'Todo P é Q' é representável como ∀x (P(x) → Q(x)). II. 'Existem x tal que P(x) e Q(x)' é representável como ∃x (P(x) ∧ Q(x)). Qual dessas afirmações é verdadeira?

Accepted Answer

Ambas as afirmações são verdadeiras.

Answer

Apenas a afirmação I é verdadeira.

Answer

Apenas a afirmação II é verdadeira.

Answer

Nenhuma das afirmações é verdadeira.

Answer

Ambas as afirmações são falsas.

Questão 33265 — Conhecimentos Básicos

Comentários