苏XI友无密码 第1章 命题逻辑.pptVIP

离散数学 ;绪论 离散数学是;绪论一、离散数学在计算机科学中;绪论 例如：布尔代数为开关电路;绪论图论的概念和理论广泛用于人;绪论概括来说，离散数学与计算机;绪论二、离散数学的特征离散数学;绪论离散数学的上述特征使它成为;绪论三、离散数学的主要内容由于;绪论离散数学的主要内容有： ;第一部分 数理逻辑（Mathe;第一部分 数理逻辑（Mathe;第一部分 数理逻辑（Mathe;第一部分 数理逻辑（Mathe;第一章 命题逻辑 命题逻;§1 命题符号化及联结词一、什;§1 命题符号化及联结词例1 ;§1 命题符号化及联结词命题用;§1 命题符号化及联结词 定;§1 命题符号化及联结词例2（;§1 命题符号化及联结词二、命;§1 命题符号化及联结词在自然;§1 命题符号化及联结词 ;§1 命题符号化及联结词例3 ;§1 命题符号化及联结词 ;§1 命题符号化及联结词析取联;§1 命题符号化及联结词（1）;§1 命题符号化及联结词 ;§1 命题符号化及联结词 ;§1 命题符号化及联结词例5 ;§1 命题符号化及联结词 ;§1 命题符号化及联结词例6 ;§1 命题符号化及联结词命题联;§1 命题符号化及联结词规定逻;§2 命题公式与赋值一个特定的;§2 命题公式与赋值Defin;§2 命题公式与赋值Note1;§2 命题公式与赋值根据定义,;§2 命题公式与赋值Def.3;§2 命题公式与赋值含n(n≥;§2 命题公式与赋值Examp;§2 命题公式与赋值Exp.2;§2 命题公式与赋值Exp.3;§2 命题公式与赋值 Def.;§3 等值演算 Def.1 ;§3 等值演算Exp.1 用真;§3 等值演算Exp.2 判断;§3 等值演算Exp.3 判断;§3 等值演算第一组 交换律 ;§3 等值演算第四组 否定深入;§3 等值演算第八组 同一律 ;§3 等值演算 等值演算：由;§3 等值演算解:（1）(p→;§3 等值演算（2）(p∨q);§3 等值演算Exp.5 用等;§3 等值演算解：（1）(p→;§3 等值演算（2）?((p→;§3 等值演算（2）解法2： ;§3 等值演算（3）p∧((p;§4 联结词全功能集Def.1;§4 联结词全功能集Def.2;§4 联结词全功能集Def.3;§4 联结词全功能集Def.4;§4 联结词全功能集Def.5;§4 联结词全功能集Exp.1;§4 联结词全功能集Exp.2;§5 范式Def.1（1）命题;§5 范式一般, 常用A1,A;§5 范式Def.2(1)由有;§5 范式由定义不难得到析取范;§5 范式定理1(范式存在定???;§5 范式求范式步骤： ①使;§5 范式Exp.1 求下面命;§5 范式Exp.2 求命题公;§5 范式Def.3 在含有n;§5 范式三个命题变项共可形成;§5 范式Def.4 由有限个;§5 范式 Exp.3 求((;§5 范式Exp.4 求(?p;§5 范式再求公式的主析取范式;§5 范式Exp.5 由(p∨;§5 范式主析取范式的用途：（;§5 范式一个命题公式除了具有;§5 范式三个命题变项共可形成;§5 范式Def.6 由有限个;§5 范式 Exp.6 求?(;§5 范式设含有n个命题变项的;§6 推理理论命题演算主要包括;§6 推理理论Def.1 设A;§6 推理理论由定义，判断蕴涵;§6 推理理论Exp.1 试确;Exp.2 判断下面推理是否正;(1)用等值演算法. ;重要的推理定律(基本永真蕴涵式;§6 推理理论上述8条基本永真;Exp.3 构造下面推理的证明;§6 推理理论Exp.3 构造;§6 推理理论Exp.4 构造;§6 推理理论Exp.5 构造;6 推理理论Exp.6 判断下;6 推理理论前提: p∨q→r;§6 推理理论一、附加前提证明;Exp.7 试由前提p→(q→;§6 推理理论二、归谬法设A1;Exp.8 试用归谬法构造下面;§6 推理理论Exp.9 一公;§6 推理理论前提:p∨q, ;§2 命题公式及分类 定义（1