句子 (數理邏輯)維基百科,自由的 encyclopedia 在數理邏輯中,句子是沒有自由變量的公式;在模型論中,一個句子在給定的數學結構中要麼是真要麼是假。 例如 ( ∃ x ) x 2 = y {\displaystyle (\exists x)x^{2}=y} 不是一個句子,因為出現了自由變量 y {\displaystyle y} ;在實數的結構中,如果 y = 2 {\displaystyle y=2} 則它是真,但是如果 y = − 2 {\displaystyle y=-2} 則不是。在另一方面 ( ∀ y ) ( ∃ x ) x 2 = y {\displaystyle (\forall y)(\exists x)x^{2}=y} 是一個句子,但它在實數結構中是假。 參見 自由變量和約束變量 原子句子 開放句子 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。閱論編
在數理邏輯中,句子是沒有自由變量的公式;在模型論中,一個句子在給定的數學結構中要麼是真要麼是假。 例如 ( ∃ x ) x 2 = y {\displaystyle (\exists x)x^{2}=y} 不是一個句子,因為出現了自由變量 y {\displaystyle y} ;在實數的結構中,如果 y = 2 {\displaystyle y=2} 則它是真,但是如果 y = − 2 {\displaystyle y=-2} 則不是。在另一方面 ( ∀ y ) ( ∃ x ) x 2 = y {\displaystyle (\forall y)(\exists x)x^{2}=y} 是一個句子,但它在實數結構中是假。 參見 自由變量和約束變量 原子句子 開放句子 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。閱論編