句子_(數理邏輯)

在數理邏輯中 ， 句子是沒有自由變量的公式 ； 在模型論中 ， 一個句子在給定的數學結構中要麼是真要麼是假 。 例如 不是一個句子 ， 因爲出現了自由變量 ； 在實數的結構中 ， 如果則它是真 ， 但是如果則不是 。 在另一方面 是一個句子 ， 但它在實數結構中是假 。