Flashcard FC831638
O que afirma a fórmula \(∀x\,P(x)\)?
Lógica de Primeira Ordem
SELECON · 2019
O que afirma a fórmula \(∀x\,P(x)\)?
Mostrar resposta e comentário
Resposta
Significa que, para todo elemento \(x\) do domínio considerado, a propriedade \(P(x)\) é verdadeira.O quantificador universal ∀ vincula a variável à sua direita, exigindo que a propriedade valha para cada elemento do domínio, por isso é preciso explicitar o domínio quando necessário.
Exemplo:
Considere os números reais e a propriedade "o quadrado é não negativo".
Fórmula: \(∀x\in\mathbb{R},\; x^2\ge 0\).
Interpretação: para cada \(x\in\mathbb{R}\), tem-se \(x^2\ge 0\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829124
Conteúdo do catálogo FC Concursos · Atualizado em