第二章命题推(离散数学).pptVIP

1948年，转入瑞士国立高等工业学校，攻读数理逻辑。该校曾是著名科学家爱因斯坦工作过的地方；当时，一代数理逻辑宗师希尔伯特(Hilbert)的继承人贝尔奈斯正在任教．莫的导师就是贝尔奈斯。 他在数学研究和数学教育的园地上辛勤耕耘了50余年，艰苦创业，成绩卓著，是我国数理逻辑教育和研究的开拓者之一。 1920年，英国数学家罗素(Russell)应邀来华讲学一年，这时数理逻辑开始传入中国；1922年，傅种孙等将罗素的《罗素算理哲学》翻译出版。其后，汤璪真、朱言钧(公谨)等对数理逻辑和数学基础作过介绍；1926年金岳霖在清华大学开设逻辑学课，1927年汪奠基的《逻辑和数学逻辑论》出版；1937年，金岳霖的《逻辑》出版，其中有专门章节论及数理逻辑；同年，汪奠基的又一著作《现代逻辑》出版。30年代后期40年代初，沈有鼎、王宪钧、胡世华先后从国外学成回国，数理逻辑开始在中国发展。 南京理工大学朱保平《离散数学》中的公理系统=莫绍揆《数理逻辑》中的古典系统，具有可靠性、完备性，但不具有独立性（公理1 P?P不独立?） * 南京理工大学朱保平《离散数学》中的公理系统=莫绍揆《数理逻辑》中的古典系统，具有可靠性、完备性，但不具有独立性（公理1 P?P不独立?） * 培养读者构造公理系统及利用该公理系统进行推理的能力。 分离规则——MP规则 (Modus Ponens, 拉丁文） * 定理是从公理出发利用分离规则和代入规则推出来的公式 举一些例子来说明定理的推理过程，且在证明过程中，随时引入一些可引用的定理，以便简化定理的证明。 * 相当于习题2.2的第一部分 ???可以看成一般原理 ?可以看成对特殊情况的认识 * * * * * * * * * 注意定义中的假设?1，?2，?3，…，?k只能理解为其本身，而不能代入。 差别在哪里? * * * * * * */66 例1：求证 ├ (P?(Q? R))?((P?Q)?R) 证明 (1) P?(Q? R) 假设 (2) P ?Q 假设 (3) (P?Q)?P 公理8 (4) (P?Q)?Q 公理9 (5) P (3)(2)分离 (6) Q (4)(2)分离 (7) Q? R (1)(5)分离 (8) R (6)(7)分离 */66 例1：求证 ├ (P?(Q? R))?((P?Q)?R) 证明: (1) P?(Q? R) 假设 (2) P ?Q 假设 (3) P (2)化简 (4) Q (2)化简 (5) Q? R (1)(3)分离 (6) R (4)(5)分离 (4) R 在 (3)中用R代入P 有错吗? 不能对(3)实施代入规则!!! */66 例3(p25)求证： ├ (?P?P)? P 证明： (1) ?P?P 假设 (2) ?P 假设，结论的否定 (3) P (1)(2)分离 显然，(2)与(3) 矛盾。 由反证法， 结论得证。 */66 定理 (P?R)?((Q??R)?(P??Q)) 证明: (1) P?R 假设 (2) Q??R