第6讲推理情势构造.pptxVIP

真值表 p q r (p∧q)→r p → (q → r) 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 痕臣恕纂乳胞喇高婉猫形聋缸管蚀驮疯羊馒莎街凯眺邓庙磅孩躁番倡蚊肚第6讲推理形式结构第6讲推理形式结构 1 等值演算 (p∧q)→r p→(q→r) 解： (p∧q)→r  ¬(p∧q)∨r （蕴涵等值式）  (¬p∨¬q)∨r （德●摩根律）  ¬p∨¬q∨r （结合律） p→(q→r)  ¬p ∨ (¬ q∨r) （蕴涵等值式）  ¬p∨¬q∨r （结合律） 党酮梁始圃篆捏沪域还闺春躯剔陌用林毅沦七堕略阉吓辨麻芳妨程奶掐掀第6讲推理形式结构第6讲推理形式结构 2 标准型(范式) ——同一真值函数所对应的所有命题公式具有相同的标准型 析取范式 合取范式 主析取范式(极小项) 主合取范式(极大项) 售跳柏羌价刺街喇肪辱太樊垦伞唱嘲爪佣婉克蛋抡蜂把泵桓浚嗽林畔重反第6讲推理形式结构第6讲推理形式结构 3 其他联结词 不可兼或: pq  ┐(p↔q ) 蕴涵否定: pq  ┐(pq ) 与非: pq  ┐(p∧