2013新人教A版（选修2-1）1.3《简单的逻辑联结词》ppt课件1.pptVIP

　利用计算的方法来代替人们思维中的逻辑推理过程，这种想法早在十七世纪就有人提出过。莱布尼茨就曾经设想过能不能创造一种“通用的科学语言”，可以把推理过程象数学一样利用公式来进行计算，从而得出正确的结论。由于当时的社会条件，他的想法并没有实现。但是它的思想却是现代数理逻辑部分内容的萌芽，从这个意义上讲，莱布尼茨可以说是数理逻辑的先驱。 　　1847年，英国数学家布尔发表了《逻辑的数学分析》，建立了“布尔代数”，并创造一套符号系统，利用符号来表示逻辑中的各种概念。布尔建立了一系列的运算法则，利用代数的方法研究逻辑问题，初步奠定了数理逻辑的基础。 　　十九世纪末二十世纪初，数理逻辑有了比较大的发展，1884年，德国数学家弗雷格出版了《数论的基础》一书，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。对建立这门学科做出贡献的，还有美国人皮尔斯，他也在著作中引入了逻辑符号。从而使现代数理逻辑最基本的理论基础逐步形成，成为一门独立的学科。 （1）把复合命题分解成两个简单命题，并确定复 合命题的构成形式； （2）判断简单命题的真假； （3）根据真值表判断复合命题的真假。 P q 非p P且q P或q 真 真 假 真 真 真 假 假 真 假 真 真 假 真 假 假 假 假 判断复合命题真假的步骤： 1.命题p：6是2的倍数，命题q：6是3的倍数，则 “p∨q”形式的命题为：