离散数学-命题逻辑教学课程.pptVIP

离散数学命题逻辑(Propos;第一章???? 命题逻辑;命题和命题联结词 ;二、命题联结词 ;定义五种联结词（或称命题的五种;2．合取“∧” ;3. 析取“∨” 定义;设P、Q是两个命题，P异或Q是;4. 蕴含“→” ;5．等值“?” ;例11 黄山比喜马拉雅山高;三、命题符号化 　利用联;例13 将下列命题符号化 ;练习1-1 1.???? 判;卡盟 www.kadianwl;命题公式? ;3. 命题公式 ;二、真值指派 命;例2 　 给出公式 F=(（P;三、公式类型 定义;解 令F1=(?P?Q)??(;命题公式的等值关系和蕴含关系一;（2）???可以验证等值关系是;二、基本的等值式 设P、;编号 ;三、等值式的判别 ;例2 用真值表方法证明E11;例3 用真值表方法判;(1) 代入规则 代;(2) 置 换规则 定;(3)? 等值演算 等值;例3 证明下列命;例4 判别下列公式;三、命题公式的蕴含关系 ;A?B是偏序关系 ;传递性的证明： 设A?;四、基本的蕴含式 ;编号蕴 含 式I9P?;五、蕴含式的判别 ;公式F对任意的一组真值指派取值;2.?? 等值演算方法 ;3.? 假定前件A真 假;4、 假定后件B假 假定;练习 1-3　1．判断下列等;2．判定蕴含式P?(Q?R)?;范式一、 析取范式和合取范式 ;定理1-4 (1)一质合取;定义1-14　质合取式的析取称;二、求公式的析取范式和合取范式;例1 求F1=(P;例2 　 求 F2= ?(P∨;定理1-5（1）公式A为永真式;例3 　 判别公式A=P? (;例4 　　利用范式判断公式P;四、主析取范式和主合取范式　　;定义1-17　由不同最小项所组;例4 求公式 F1;F2?(P?Q)?(P??Q);例5 求公式 F;解 F2 ?;六、利用主范式判定公式类型 ;2 利用主合取范式判定 ;例6 求公式F=(Q?(P?;(2) 求F的主合取范式F;练习 1-4? 1．判断;命题演算的推理理论 一、推;1、真值表法 对于命题公;（2）H1：P→Q， H2：;2、等值演算方法　　　例 证明;3、“形式证明”方法 ;( 2) 推理规则 ;例2 证明 R∧（P∨;例3 证明R→S是前提P→（;利用蕴含证明规则： ;例4 符号化下;4、 间接证明(或反证法) ;为了证明H1、H2、…、H n;例5 证明：R →? Q、;练习1-5 用形???;例 题1．判断下列推理是否正;2. 张三说李四在说谎，李;因此，由上述推理知张三说假话，