句子 (數理邏輯)

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

例如

${\displaystyle (\exists x)x^{2}=y}$

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

${\displaystyle (\forall y)(\exists x)x^{2}=y}$

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

參見

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