句子 (数理逻辑)

维基百科，自由的百科全书

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

例如

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

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

[编辑] 参见

• 自由变量和约束变量
• 公式 (数理逻辑)
• 原子公式
• 原子句子
• 开放句子