「導出原理」の版間の差分
削除された内容 追加された内容
内容の大幅増強 |
|||
97行目:
# <math>P_1, \dots ,P_n</math> を[[スコーレム標準形|スコーレム連言標準形]] <math>C_1, \dots ,C_n</math> に変換する。
# <math>\lnot P</math> を[[スコーレム標準形|スコーレム連言標準形]] <math>C</math> に変換する。
# もし <math>C, C_1, \dots ,C_n</math> の反駁が存在すれば、 <math>
::あるいは、別の表現をすれば、
::* <math>C, C_1, \dots ,C_n</math> が充足不能
| |||