本文带大家来了解,什么是命题。
命题是「数理逻辑」中「最基本」的概念。就好比「自然数」对于「算术」一样。
那么什么是命题呢?
对确定的对象作出判断的陈述句称作「命题」。
如果判断正确,则称命题为真(true),否则,称命题为假(false)。
“真”、“假”是命题固有的属性,我们将其称为「真值」。
我下面举几个例子,来探讨什么样的语句才叫命题。
1、雪是白的。
「雪是白的。」是一个陈述句,而且它是对于确定的对象“雪”的颜色作出判断,所以它是一个命题。而且它是一个真命题。
2、2+2=5
这是对三个确定的对象(自然数对象2、2、5)它们之间的关系作一个判断,而且也是陈述句,所以是命题。
可能有的人反应过来了,2+2=5这显然不对呀!所以,这就是一个假命题。
3、您贵姓?
这显然是个疑问句,我们知道,命题得是陈述句。所以这不是命题。
这个语句其实没作出什么判断,它只是在表达某种疑问。
4、x+y<10
这个语句也是对三个对象的关系作出判断的陈述句,但是很遗憾,它不是命题。
因为,x和y并不是确定的对象。
我们再来回顾一下命题的定义吧:对确定的对象作出判断的陈述句称作「命题」。
只有在x和y取了特定的某个数值的情况下,这才是一个命题。
总结一下哈,判断一个语句是否为命题,有三个识别要点:(1)必须是个陈述句(2)它是一个判断(3)是关于确定的对象作出的判断。
当然了,有一种情况需要说一下,悖论不能称作命题,比如「我说的这句话是错的」这个语句是个悖论,不能被称作命题。
命题有个特点是,非真即假,你要么是真的要么是假的,不能既是真的又是假的,也不能既不是真的也不是假的。