Sentença (lógica matemática): diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 13:
:<math>\forall y\exists x (x^2=y)</math>
''é'' uma sentença. Essa sentença é verdadeira nos [[número real|números reais]] positivos ℝ<sup>+</sup>, falsa nos [[Número real|números reais]]ℝ, e verdadeira nos números complexos ℂ. (Em português, essa sentença é interpretada para dizer que todo o número da estrutura é o [[Número quadrado|quadrado]] de um membro daquela estrutura particular). Por outro lado, a fórmula:
:<math>\exists x(x^2=y)</math>
| |||