在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子在给定的数学结构中要么是真要么是假。
例如
:( \exists x)x^2=y
不是一个句子，因为出现了自由变量y；在实数的结构中，如果y=2则它是真，但是如果y=-2则不是。在另一方面
:(\forall y)(\exists x)x^2=y
是一个句子，但它在实数结构中是假。
参见
*自由变量和约束变量
*原子句子
*开放句子
在数理逻辑中，句子是没有自由变量的公式；在模型论中，一个句子在给定的数学结构中要么是真要么是假。
例如
:( \exists x)x^2=y
不是一个句子，因为出现了自由变量y；在实数的结构中，如果y=2则它是真，但是如果y=-2则不是。在另一方面
:(\forall y)(\exists x)x^2=y
是一个句子，但它在实数结构中是假。
参见
*自由变量和约束变量
*原子句子
*开放句子
评论 (0)