命題論理（命題論理）¬P、P∧Q、P∨Q、P→Q、P↔Qの形式の文、値はTrueまたはFalse、推論規則はより単純で、
多くの場合合格します（1.真実表2.数Modusponesnなどのいくつかの推論規則）
不利な点、複雑な文を表現できない、または難しい、推論プロセスの変更を記録できない
FOLと略される一
階述語論理（一階述語論理）には、定数（定数記号）、述語記号（述語記号）、関数記号（関数記号）、変数（変数）、結合（∧∨→↔）、数量詞（数量詞）が含まれます。 、∃∀）、例：Father（Mary）= Bob Father_of（Mary、Bob）
一階述語論理は命題論理に縮退します
注：定数の代わりに定数を使用している場合でも
、定数は置き換えることができません。変数は置き換えることができ
ます。
といった：
数量詞推論規則
数量詞を含む文から数量詞を含まない文を派生させる
命題推論に退化する
架空の推論
前のリンク
以前のリンクアルゴリズムは非効率的です