|
|
||||||||||||||||
 |
|||||||||||||||||
|
|||||||||||||||||
|
|||||||||||||||||
 第二节
自然演绎推理 |
|||||||||||||||||
| 第三节
归结演绎推理 |
|||||||||||||||||
| 第四节
与/或形演绎推理 |
|||||||||||||||||
 |
|||||||||||||||||
经典逻辑推理是根据经典逻辑的逻辑规则进行的一种推理，又称为机械—自动定理证明，主要的推理方法有：
 自然演绎推理
真 归结演绎推理
其值只有 是一种精确推理 与/或性推理
假 |
|||||||||||||||||
 |
|||||||||||||||||
