融合法 (もしくは導出原理) (Resolution Principle)

融合法の実行


融合法は次の概念から構成される．

1. 代入 (substitution)

2. 単一化 (unification)

3. 融合節の生成 (resolvent)

4. 空節の導出 (refutation)

...Return

• 講義の詳細