句子 (數理邏輯)

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

例如

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

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

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

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

參見

這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。