命题的蕴涵HELP!看离散数学时,有困惑.书里经常有类似这样的例子,p=吃饭了,q=不饿,用自然语言描述p→q请问这里p,q能算是命题吗?好像判断不了真假.还有,命题是什么?是立刻能判断出真假的语

Question

命题的蕴涵HELP!
看离散数学时,有困惑.
书里经常有类似这样的例子,p=吃饭了,q=不饿,用自然语言描述p→q
请问这里p,q能算是命题吗?好像判断不了真假.
还有,命题是什么?是立刻能判断出真假的语句,还是非真即假的语句,我说非真即假是说这个语句不能既是真的又是假的.

Answer 1

在形式逻辑的书里面,命题就是表示判断的句子.判断一个陈述句是否命题的根据在于,这个句子能不能判断真假.形式逻辑里面的排中律,就是说命题既真又假,也不能既不真又不假.
我不知道你考虑这个问题的时候是不是想到了悖论.悖论是形式逻辑里面出现矛盾的判断,我的理解是悖论是形式逻辑体系的漏洞.历史上有各种不同的消解悖论的方法,你可以翻一下逻辑学的书.