逻辑-计算机学院离散数学优秀课-长春工业大学.ppt

逻辑学 数理逻辑概述 数理逻辑是一门新兴的边缘性学科，分为五个部分：即逻辑演算、证明论、公理集合论、递归论和模型论。从创始至今约有300年的历史。特别是近百年来,它取得了长足的发展,在现代的数学、计算机科学以及自然科学和社会科学中都有广泛的应用。 数理逻辑概述 数理逻辑是用数学的方法来研究人类思维活动的一门数学学科，其显著特征是： 符号化、形式化 即把逻辑所涉及的“概念、判断、推理”用符号来表示，用公理体系来刻划, 并基于符号串形式的演算来描述推理过程的一般规律。 数理逻辑发展史中的代表人物 德国G.W. Leibniz(1626-1716)把数学引入形式逻辑，明确提出用数学方法研究推理。 英国G. Boole(1815-1864)等创立了逻辑代数，1847年Boole实现了命题演算。 德国G.Frege(1848-1925)在1879年建立了第一个谓词演算系统。 英国B.Russell (1872-1970)等从逻辑学的基本法则建立了自然数理论、实数理论及解析几何学等。 奥地利K.Godel(1906-1978)在1931年提出Godel不完全性定理。 英国Alan M. Turing (1912-1954)在1936年提出一种抽象计算模型（数学逻辑机），引入图灵机——一种理想的计算机。 数理逻辑的学习 “我现在年纪大了，搞了这么多年的软件，错误不知犯了多少，现在觉悟了。我想，假如我早年在数理逻辑上好好下点工夫的话，我就不会犯这么多的错误。不少东西逻辑学家早就说过了，可是我不知道。要是我能年轻二十岁的话，我就去学逻辑。” —— Edsger. W. Dijkstra 1972年Turing奖获得者 (1930-2002) 本章学习要求 证明：G1:（P?Q）??(P?Q)是永真式， G2:（P?Q) ? ?(P?Q)是永假式。 证明：用命题公式P?Q取代永真式P??P得到G1，即G1是永真式P??P的一个代入实例，因此G1是永真的。 证明：用命题公式P? Q 取代永假式P ??P得到G2，即G2是永假式P??P的一个代入实例，因此G2是永假的。 3.4 逻辑等值的命题公式 命题公式逻辑等值：给定命题公式A,B，若在任何真值指派I下，其真值相同。则称命题公式A,B是逻辑等值的，或逻辑等价，简称等值或相等。 记作A=B。 =和?区别? =与?表达的含义不同。=表示两个公式间关系的符号；?是命题联结词，是运算符号； =与?表达的结果不同。=表示两个公式有等值关系，联结后结果不表示一个公式，即不代表命题，而?联结两个公式的后仍是一个公式，表示某个命题； =与?有密切的联系。 命题公式A，B是等值的当且仅当A?B为永真式。 设A、B、C是命题公式，则有 ⑴自反性：A=A； ⑵对称性：若A=B，则B=A； ⑶传递性：若A=B，B=C，则A=C。 命题公式逻辑等值定理 证明： 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 1 0 1 1 1 ?p?q ?p p?q p q 命题公式逻辑等值定理 定理： 基本逻辑等值式 ⑴ ? ? G=G ； (对合律) ⑵ G?G=G，G?G=G ； (幂等律) ⑶ G?H=H?G，G?H=H?G； (交换律) ⑷G?(H?S)=(G?H)?S,G?(H?S)=(G?H)?S； (结合律) ⑸G?(G?H)=G，G?(G?H)=G； (吸收律) ⑹G?(H?S)=(G?H)?(G?S)， G?(H?S)=(G?H)?(G?S)； (分配律) ⑺ G?0=G，G?1=G； (同一律) ⑻ G?0=0，G?1=1 ; (零一律) ⑼ ?(G?H)=?G??H, ?(G?H)=?G??H ； (De Morgan律) ⑽ G? ?G =1, ?G??G=0; (互补律) 其它逻辑等值式 ⑴ (A?B)=(A?B)?(B?A)； ⑵ (A