第6讲推理形式结构学习课件.pptVIP

真值表 等值演算 (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 （结合律） 标准型(范式) ——同一真值函数所对应的所有命题公式具有相同的标准型 析取范式 合取范式 主析取范式(极小项) 主合取范式(极大项) 其他联结词 不可兼或?: p?q ? ┐(p?q ) 蕴涵否定?: p?q ? ┐(p?q ) 与非?: p?q ? ┐(p∧q ) 或非?: p?q ? ┐(p∨q ) 新的联结词都可以用常用的五个联结词表示 其他联结词 不可兼或?,蕴涵否定?,与非?,或非? 联结词完备集举例 {∧，∨，?，→，?}是完备集 {∧，∨，? }是完备集 A?B? (A→B)∧(B→A)　　　　　　　 A→B?┐A∨B {┐，∨}和{┐，∧}都是完备集 A∨B?┐(┐A∧┐B) A∧B?┐(┐A∨┐B) {?，→}是完备集 A∨B ?┐ A→B 非完备集举例 {┐，?}不是完备集 可以归纳证明任何一个仅含“?”和“┐”的二元合式公式真值中1和0 的个数都是偶数