*推理演算(考察逻辑关系符→) 1)推理形式正确推理形式的表示) 2)基本推理公式各种三段论及五种证明 方法) 3推理演算〔明推理公式的第六种方法, 使用推理规则) 4)归结推理法证明推理公式的第七种方 法,常用反证法) 推理演算(考察逻辑关系符 ) ： 1)推理形式(正确推理形式的表示) 2)基本推理公式(各种三段论及五种证明 方法) 3)推理演算(证明推理公式的第六种方法， 使用推理规则) 4)归结推理法(证明推理公式的第七种方 法，常用反证法) 