离散数学_命题演算与推理

命题概念与运算

命题的概念

命题是一个能判断真假的陈述句
比如
这四句能够判断真假，而且是陈述句。
来一些特殊的反例：

这些句子，符合要求，他们是命题，但是他们有个特点，就是无法判断真假，因为缺少了一些前提，比如我们不知道小张到底是不是一个大学生，也就无法判断这个命题的真假，但是这个命题的真假是唯一确定的。

这个就比较离谱了，如果我们假设我在说假话，那么我在说假话这个动作就是跟我说的是一致的了，那我说的是真话，矛盾，另一方面，假设我在说真话，那么我说的话应该是真的，但是我的话是我在说假话这与我在说真话的假设矛盾。所以这个东西是个悖论，无法判断真假，也就不是命题了。


这些祈使句，疑问句，感叹句不符合陈述句的要求，所以不是命题。

总结一下，注意命题的两个要求，悖论和非陈述句不是命题

原子命题与符合命题

原子命题就是不能再分解的命题，比如合肥是安徽省会这样的主谓结构的句子，这里的不能再分解包括否定，比如

南京不是安徽的省会#这个就不是原子命题
南京是安徽的省会#这个是原子命题
"""
如果把”南京是安徽的省会”记为P（P叫命题标识符）
那么”南京不是安徽的省会“就是非P
"""

不是原子命题的命题就是符合命题。

逻辑连结词

否定：

合取：
就是并运算

析取：
就是或运算

蕴含：
就是P可以推出Q

前提为假，无论结论是什么结果都是真，因为错误的前提推出什么都是合理的

前提为真，只有结论也为真时，结果才为真

这里的难点是语文，要明白前面是后面的充分条件还是必要条件还是充要条件

还有这里我们可以通过原命题与逆否命题等价的结论推出
非P->非Q<=>Q=>P

等价：
就是相互蕴含
两边相同时为真，否则为假

还是语文

总结：

习题（这年头要找有解析的离散数学题目不容易，且看且珍惜）

解答：