命题
 
 
 
 
 
 
 
 
 
 
 
贡献者: int256
定义 1 真值
真值有真(True,$1$)与假(False,$0$)两个值组成。
定义 2 命题
命题是具有确切的真值(唯一的真值)的无歧义的陈述句。命题无需知道真值具体是什么,但是要求真值一定唯一。
例如,“$x>3$” 不是命题,但 “对于所有实数 $x$,$x>3$” 是命题。有歧义的,例如 “这句话是假的” 不是命题。
定义 3 命题常量
对于在一个解释范围内,命题的真值是确定的,则称这命题是命题常量。
定义 4 命题变元
命题变元(又称句子变元)是一个可真可假的变量。代表了一个在某解释范围内的、不确定的、泛指的命题,以真或假为取值范围。
特别的,因为命题变元可真可假,所以其不是命题,但当确定了某个解释的时候,命题变元会确定,此时命题变元化为命题常元。
 
 
 
 
 
 
 
 
 
 
 
© 小时科技 保留一切权利