句子 (数理逻辑)

维基百科,自由的百科全书
跳转至: 导航搜索

数理逻辑中,句子是没有自由变量公式;在模型论中,一个句子在给定的数学结构中要么是真要么是假。

例如

( \exists x)x^2=y

不是一个句子,因为出现了自由变量y;在实数的结构中,如果y=2则它是真,但是如果y=-2则不是。在另一方面

(\forall y)(\exists x)x^2=y

一个句子,但它在实数结构中是假。

参见[编辑]