|
|
1 自然演绎推理：从一组已知为真的事实出发，直接运用经典逻辑推理规则推出结论的过程称为自然演绎推理。
真
2 假言推理的一般形式为P,P→Q=>Q
例 如果“X是金属，则X能导电”及“铜是金属”
可推出“铜能导电”的结论
X是金属能导电，铜是金属=>铜能导电
3 拒取式推理的一般形式 P→Q,?Q=>P
例 “如果下雨，则地上湿”，及“地上不湿”可推出“没有下雨”
|
|
 |
| |
优点：表达事理证明过程自然，容易证明，有丰实的推理规则，推理过程灵活，便于在它的推理规则中嵌入领域启发式知识
缺点：容易产生组合爆炸
|
|
|
