数理逻辑绪论.pptVIP

* * * * * * * * * * * * 逻辑研究能够提高一个人的理解、分析、评价和构造论证的能力。因为这个原因，逻辑为现代大学的教学做出了重大的贡献。 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 否定（真值表）： p ﹁p T F F T 二、命题联结词及真值表 合取（定义）： 令p和q为命题，用p∧q表示的命题“p而且q”是这样的一个命题：当p和q均为真时它成真，否则为假。命题p∧q称为p和q的合取。 二、命题联结词及真值表 合取（例题）： p：今天是星期一。q：今天有数理逻辑课。 p∧q：今天是星期一并且有数理逻辑课。 p：1+1=2。 q：雪是白的。 p∧q：1+1=2并且雪是白的。 逻辑语言中仅考虑命题与命题之间的形式关系，并不顾及自然语言中是否有此说法。 二、命题联结词及真值表 合取（真值表）： p q p∧q T T T T F F F T F F F F 二、命题联结词及真值表 析取（定义）： 令p和q为命题，用p∨q表示的命题“p或q”是这样的一个命题：它的真值在p和q均为假时为假，否则成真。命题p∨q称为p和q的析取。 二、命题联结词及真值表 析取（例题）： 选修过微积分或计算机科学的学生可以选修本课程。 同或异或 他现在在301房间或302房间。 二、命题联结词及真值表 析取（真值表）： p q p∨q T T T T F T F T T F F F 二、命题联结词及真值表 异或（定义）： 令p和q为命题，p和q的异或，用表示，是这样的一个命题：当p和q中恰有一个成真时它成真，否则它为假。 二、命题联结词及真值表 异或（真值表）： p q T T F T F T F T T F F F 二、命题联结词及真值表 蕴含（定义）： 令p和q为命题，蕴含p→q是这样一个命题：在p成真而q为假时它为假，否则成真。其中p称为假设（前项、前提），q称为结论（或后果）。 二、命题联结词及真值表 蕴含（例题）： p：n3（n是整数）。 q：n29。 p→q：如果n3，那么n29。 p：刘翔的脚没有受伤。 q：刘翔在奥运会上打破了世界纪录。 p→q：如果刘翔的脚没有受伤，那么刘翔在奥运会上打破了世界纪录。 二、命题联结词及真值表 蕴含（真值表）： p q p→q T T T T F F F T T F F T 二、命题联结词及真值表 蕴含（术语）： “如果p，那么q” “p是q的充分条件” “ p蕴含q”“q如果p” “如果p，q”“q每当p” “p仅当q”“q是p的必要条件” 二、命题联结词及真值表 蕴含： 逆蕴含：命题q→p称为p→q的逆蕴含。 逆否命题（倒置命题）： p→q的逆否命题是命题﹁q→﹁p 二、命题联结词及真值表 双蕴含（定义）： 令p和q为命题，双蕴含是这样一个命题：其真值只有在p和q有同样真值时为真，否则为假。 双蕴含恰在p→q和q→p均为真时为真。 二、命题联结词及真值表 双蕴含： “p当且仅当q” “p是q的充分必要条件” “如果p，那么q；反之亦然。” 二、命题联结词及真值表 双蕴含（真值表）： p q T T T T F F F T F F F T 二、命题联结词及真值表 运算顺序： ﹁、∧、∨、→、? ﹁p∧q (﹁p)∧q 二、命题联结词及真值表 命题 命题是一个非真即假（不可兼）的陈述句 简单命题和复合命题 联结词 否定、合取、析取、异或、蕴含、双蕴含 真值表 逆命题、倒置命题 小结 如果今天是星期五，那么2+3=5。 找出蕴含命题“如果今天是星期四，那么我今天有考试。”的逆命题和倒置命题。 p→q：“q每当p”，“p仅当q”。 小结 (p∨q)∧(﹁r) p∨q∧﹁r 运算顺序：﹁、∧、∨、→、小结 * * * * * * 根据学生上课状态，借题发挥 * * * * 绪论 数理逻辑 Mathematical Logic 王书元 讲师 e-mail: wsy_hmu@163.com 生物数学教研室（外语学馆411） 绪 论 课程之间的联系离散数学是计算机科学的核心基础课程，它以离散量为研究对象；而数学分析（微积分）以连续函数为主要研究对象，属于连续型数学。离散数学在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学的理论、方法直接为数据结构、操作系统、编译原理、人工智能、程序设计等课程服务。 课程之间的联系 离散数学 数理逻辑 集合论 图论 代数结构 组合数学 课程之间的联系 什么是数理逻辑？逻辑通常指人们思考问题，从某些已知条件出发推出合理的结论的规律。逻辑学是一门研究思维形式及思维规律的科学。以推理形式为主要研究对象。现代的逻辑学与数学有非常密切的关系。 逻辑学 现代逻辑