句子, 数理逻辑, 在数理逻辑中, 句子是没有自由变量的公式, 在模型论中, 一个句子在给定的数学结构中要么是真要么是假, 例如, 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,书籍,书籍,图书馆,