查看“︁句子 (数理逻辑)”︁的源代码

在[[数理逻辑]]中，'''句子'''是没有[[自由变量]]的[[公式 (数理逻辑)|公式]]；在[[模型论]]中，一个句子在给定的[[数学结构]]中要么是真要么是假。

例如

:<math>( \exists x)x^2=y</math>

''不是''一个句子，因为出现了自由变量<math>y</math>；在[[实数]]的结构中，如果<math>y=2</math>则它是真，但是如果<math>y=-2</math>则不是。在另一方面

:<math>(\forall y)(\exists x)x^2=y</math>

''是''一个句子，但它在实数结构中是假。

==参见==
*[[自由变量和约束变量]]
*[[原子句子]]
*[[开放句子]]

{{Logic-stub}}

[[Category:數理邏輯|J]]

[[fr:Proposition (logique mathématique)]]