维基百科
句子, 数理逻辑, 在数理逻辑中, 句子是没有自由变量的公式, 在模型论中, 一个句子在给定的数学结构中要么是真要么是假, 例如, displaystyle, exists, 不是一个句子, 因为出现了自由变量y, displaystyle, 在实数的结构中, 如果y, displaystyle, 则它是真, 但是如果y, displaystyle, 则不是, 在另一方面, displaystyle, forall, exists, 是一个句子, 但它在实数结构中是假, 参见, 编辑自由变量和约束变量, 原子句子,. 在数理逻辑中 句子是没有自由变量的公式 在模型论中 一个句子在给定的数学结构中要么是真要么是假 例如 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 是一个句子 但它在实数结构中是假 参见 编辑自由变量和约束变量 原子句子 开放句子 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 句子 数理逻辑 amp oldid 29058573, 维基百科，wiki，书籍，书籍，图书馆，