第1部分 数理辑.ppt

 Lecturer： 王振宏 Email: wdwzhong@126.com mobile: Office Address： 北7-1203D 引子： 例：一位逻辑工作者协助公安人员审查一起谋杀案，经调查，他认为下列情况均是真的。 （1）会计张某或邻居张某谋害了厂长。 （2）如果会计张某谋害了厂长，则谋害不可能发生在半夜。 （3）如果邻居张某的证词不正确，则在半夜时房里灯光未灭。 （4）如果邻居张某的证词是正确的，则谋害发生在半夜。 （5）在半夜房子里的灯光灭了，且会计张某曾贪污过。 第一章 命题逻辑基本概念 1.1 命题与联结词 1.2 命题公式及其赋值 1.1 命题与联结词 重点 命题的概念 五种基本的联结词 命题符号化 难点 五种基本的联结词 命题符号化 一、命题的概念 一、命题的概念 一、命题的概念 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 二、命题联结词 几个容易混淆的例子 只要p，就q 只要天气好，我就上街。 只有q成立，才有p成立 只有天气好，我才上街。 当p成立，则q成立 当你的收入超过800元，你要交纳所得税。 仅当q，才p 仅当天气好时，我才上街。 除非q成立，否则p不成立 除非天气好，否则我不上街。 等可以符号化为p→q的形式。 二、命题联结词