命题逻辑的自然演绎系统.pptVIP

章 命题逻辑的自然演绎系统 ;自然演绎系统NP;初始符号;形成规则;定义;形成规则的作用;合式公式的子公式;推演规则;整推规则;条件证明规则;;;;练习：;;;;;;条件证明规则;蕴涵引入规则(记为→+);蕴涵引入规则(记为→+);蕴涵引入规则(记为→+);间接证明规则;否定消去规则(记为?_);否定消去规则(记为?_);否定消去规则(记为?_);蕴涵引入（条件证明）规则与 否定消去（间接证明）规则;练习;;练习：;;作业：;;置换规则的涵义;置换规则;德摩根律的证明;德摩根律的证明;置换规则;置换规则;置换规则的证???;NP系统中的语法(语形)推出关系;NP系统中的语法(语形)推出关系;NP系统中的语法(语形)推出关系;NP系统中的语法(语形)推出关系;NP系统中的语法(语形)推出关系;(1) p→(q→r)∧(?q→s) A1 (2) ?r∧?s A2 (3) ??p H (4) p (3), ??_ (5) (q→r)∧(?q→s) (1)，(4)，→_ (6) q→r (5),∧_ (7) ?q→s (5),∧_ (8