命题
贡献者： int256
定义 1 真值
真值有真（True，$1$）与假（False，$0$）两个值组成。
定义 2 命题
命题是具有确切的真值（唯一的真值）的无歧义的陈述句。命题无需知道真值具体是什么，但是要求真值一定唯一。
例如，“$x>3$” 不是命题，但 “对于所有实数 $x$，$x>3$” 是命题。有歧义的，例如 “这句话是假的” 不是命题。
定义 3 命题常量
对于在一个解释范围内，命题的真值是确定的，则称这命题是命题常量。
定义 4 命题变元
命题变元（又称句子变元）是一个可真可假的变量。代表了一个在某解释范围内的、不确定的、泛指的命题，以真或假为取值范围。
特别的，因为命题变元可真可假，所以其不是命题，但当确定了某个解释的时候，命题变元会确定，此时命题变元化为命题常元。
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。