25
• 合一：
• 寻找项对变量的代换以使两表达式一致，就叫合一
• 设有公式集F={F1，F2，…,Fn},若存在一个代换使 得F1 = F2 =…= Fn ，则称为公式集F的一个合 一代换，且称F1，F2，…,Fn是可合一的。
• 例如：对于公式集F={P(x,y，f(y)),P(a,g(x),z)}，则 ={a/x，g(a)/y，f(g(a))/z}是公式F的一个合一。(原
2) 小前提，这是关于所研究的具体情况或个别事实的判断；
3) 结论，这是由大前提推出的适合于小前提所示情况的新判 断。
例如：1) 足球运动员的身体都是强壮的；
2) 高波是一名足球运动员；
3) 所以，高波的身体是强壮的。
2021/7/11
郑州大学振动工程研究所
3
• 归纳推理——归纳推理是从足够多的事例中 归纳出一般性纳论的推理过程，是一种从个 别到一般的推理。归纳推理又分为完全归纳 和不完全归纳两种。
2021/7/11
郑州大学振动工程研究所
5
• Ⅱ. 确定性推理，不确定性推理（按推理时所
用知识的确定性来划分）
•
• 确定性推理—— 指推理时所用的知识都是精确的 ，推出的结论也是确定的，其真值或为“真”， 或为“假”，没有第三种情况出现。
• 下面将要讨论的经典逻辑推理就属于这一类。
• 不确定性推理——指推理时所用的知识不都是精 确的，推出的结论也不完全是肯定的，其真值位 于“真”和“假”之间，命题的外延模糊不清。
2021/7/11
郑州大学振动工程研究所
17
• 双向推理
• 双向推理是指正向推理与逆向推理同时进行， 且在推理过程中的某一步骤上“碰头”的一种 推理方式。
