句子（數理邏輯）

在數理邏輯中，句子是沒有自由變量的公式；在模型論中，一個句子在給定的數學結構中要麼是真要麼是假。

例如

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

不是一個句子，因為出現了自由變量$y$；在實數的結構中，如果$y=2$則它是真，但是如果$y=-2$則不是。在另一方面

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

是一個句子，但它在實數結構中是假。

參見

• 自由變量和約束變量
• 原子句子
• 開放句子