离散数学的命题逻辑探究.ppt

数理逻辑: 命题逻辑 逻辑 逻辑不仅对理解数学推理十分重要，而且在计算机科学中有许多应用。这些逻辑规则用于计算机电路设计、计算机程序构造、程序正确性证明等许多方面！ 命题： 凡是具有确定真假意义的陈述句均称为命题。 命题的值: 若为“真”，用Ｔ或１表示； 若为“假”，用Ｆ或０表示。 由于一个命题的值只可能取“真”或“假”两种值，因此，命题逻辑也称为“二值逻辑”。 延伸阅读:模糊逻辑 例： 地球绕着月亮转。 1+1=3。 禁止烟火！ 地球有一天会爆炸。 明天会下雨吗？ x5. 如果明天天气晴朗，我就到湘江边散步。 如果太阳从西边升起,我就可以长生不老。 9) 火星上有水。 简单命题(原子命题）——它不能再分解成更简单的命题。 在命题逻辑中，简单命题被看作是一个整体，不再分析其内部的逻辑形式。 常用大写字母：P，Q，R，…..表示简单命题。 例如：P: 4是质数，Q：所有人都爱学习 复合命题（命题的组合） 复合（杂）命题——命题可以通过逻辑联接词构成新的命题，即复合命题。复合命题的子命题也可以是复合命题。 例如： 如果明天天气晴朗，我就到湘江边散步。 如果太阳从西边升起,我就可以长生不老。 命题可以通过一些逻辑联结词构成新的命题（复合命题） 1.否定词: ? 定义：设Ｐ是命题，复合命题“?Ｐ”是Ｐ的否