句子 (数理逻辑)

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

例如

$( \exists x)x^2=y$

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

$(\forall y)(\exists x)x^2=y$

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

[编辑] 参见

句子 (数理逻辑)是一个與逻辑学相關的小作品。你可以通过编辑或修订扩充其内容。

来自“http://www.wikilib.com/wiki/%E5%8F%A5%E5%AD%90_%28%E6%95%B0%E7%90%86%E9%80%BB%E8%BE%91%29”

2个分类: 逻辑学小作品 | 數理邏輯