推論の代表的な３つの形式として，演繹法（deduction）,帰納法（induction）,仮説推論（abduction）を挙げることができる。

　それぞれの推論は，述語論理学の表現力によって，次のように簡単に記述できる。*