第七章 演绎推理（二）

考核要求

（一）联言推理

1、识记：

（1）联言推理的定义。

（2）联言推理的分解式。

（3）联言推理的组合式。

2、简单运用：

（1）分辨一联言推理是何种形式。

（2）由已知联言推理的前提准确推出其结论。

（二）选言推理

1、识记：

（1）选言推理的定义。

（2）相容选言推理的否定肯定式。

（3）不相容选言推理的肯定否定式和否定肯定式。

2、理解：

（1）相容选言推理的规则。

（2）不相容选言推理的规则。

3、简单运用：

（1）判定一选言推理是否有效。

（2）分析现实中违反选言推理规则所犯的逻辑错误。

（3）由已知选言推理前提推出结论。

4、综合应用：结合已学过的逻辑知识，运用选言推理解应用题。

（三）假言推理

1、识记：

（1）充分条件假言推理的肯定前件式。

（2）充分条件假言推理的否定后件式。

（3）必要条件假言推理的否定前件式。

（4）必要条件假言推理的肯定后件式。

2、理解：

（1）充分条件假言推理的规则。

（2）必要条件假言推理的规则。

3、简单应用：

（1）判定一假言推理是否有效。

（2）分析现实中违反假言推理的规则所犯的逻辑错误。

（3）由给定的假言推理前提推出其结论。

4、综合应用：根据联言推理、选言推理、假言推理的知识解答应用题。

（四）二难推理

1、识记：

（1）假言选言推理。

（2）二难推理的四种有效形式。

2、理解：

（1）二难推理的要求。

（2）破斥错误二难推理的方法。

3、简单应用：

（1）判别一个二难推理属何形式。

（2）由已知二难推理的前提推出其结论。

（3）根据二难推理的要求破斥一错误二难推理。

（五）模态推理

1、识记：

（1）模态推理的定义。

（2）根据模态逻辑方阵进行的模态推理公式。

（3）根据模态判断与性质判断之间关系进行模态推理的公式。

2、简单应用：

（1）判定一模态推理是否有效。

（2）由已知某一模态推理的前提推出其结论。