Universo de discurso: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Corrigida inversão de palavras. |
|||
Linha 14:
é verdadeira para o domínio dos números naturais.
Nas ciências formais, o domínio do discurso, também chamado de universo de discurso (ou simplesmente universo), é o conjunto de entidades sobre as quais algumas variáveis de interesse em algum tratamento formal podem variar. O domínio de discurso é geralmente identificado nas preliminares, de modo que não há necessidade de tratamento posterior para especificar
Por exemplo, em uma interpretação da lógica de primeira ordem, o domínio do discurso é o conjunto de indivíduos que os quantificadores vão acabar. Em uma interpretação, o domínio do discurso poderia ser o conjunto dos números reais; em outra interpretação, que poderia ser o conjunto dos números naturais. Se nenhum domínio de discurso foi identificado, como uma proposição ∀x (x² ≠ 2) é ambígua. Se o domínio do discurso é o conjunto dos números reais, a proposição é falsa, com x = √2 como contraexemplo; se o domínio é o conjunto de naturais, a proposição é verdadeira, pois 2 não é o quadrado de qualquer número natural.
|