跳至內容

句子 (數理邏輯)

維基百科,自由的百科全書

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

例如

不是一個句子,因為出現了自由變量;在實數的結構中,如果則它是真,但是如果則不是。在另一方面

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

參見

[編輯]