第3章命题逻辑课件.pptVIP

Chapter 3 命题逻辑 逻辑学是研究思维形式及思维规律尤其是推理的学科, 早在两千多年前就受到人们的重视, 古希腊著名逻辑学家亚里士多德(Aristotle, 公元前384~公元前322)是形式逻辑的创始人. 德国数学家、哲学家莱布尼茨(G. Leibniz, 1647~1716)首先提出用数学方法研究逻辑,就是建立一套表意符号体系,在符号之间进 3.1 命题的有关概念 计算机的计算过程就是推理过程,而每一步推理离不开判断,判断的对象就是命题. 1. 什么是命题? 命题(proposition, statement)是能判断出真假的语句.可以从三个方面去理解：(1)命题必须是一个完整的句子，包括用数学式子如代表的语句. 这一点在后面的命题符号化时要注意; (2)所给语句具有真假意义，即有对错之分. 一般来说，只有陈述句才具有真假意义，祈使句、疑问句和感叹句不具有真假意义; (3)能判断出是真还是假. 不过，要是将来某时候能判断出真假也行. 3.2 逻辑联结词 命题逻辑中出现的命题，除原子命题外，更多的是复合命题. 一方面，复合命题是由原子命题构成的，它需要联结词；另一方面，给定了原子命题，使用逻辑联结词(logical connectives)可以将它们构成一个复合命题,这也是逻辑联结词的作用之一. 逻辑联结词类似于自然语言中的连词，但逻辑联结词就是逻辑运算，除在本节对