命题

                     

贡献者: int256

定义 1 真值

   真值有真(True,$1$)假(False,$0$)两个值组成。

定义 2 命题

   命题是具有确切的真值唯一的真值)的无歧义的陈述句。命题无需知道真值具体是什么,但是要求真值一定唯一。

   例如,“$x>3$” 不是命题,但 “对于所有实数 $x$,$x>3$” 是命题。有歧义的,例如 “这句话是假的” 不是命题。

定义 3 命题常量

   对于在一个解释范围内,命题的真值是确定的,则称这命题是命题常量

定义 4 命题变元

   命题变元(又称句子变元)是一个可真可假的变量。代表了一个在某解释范围内的、不确定的、泛指的命题,以真或假为取值范围。

   特别的,因为命题变元可真可假,所以其不是命题,但当确定了某个解释的时候,命题变元会确定,此时命题变元化为命题常元。

                     

© 小时科技 保留一切权利