アブダクション
演繹は、事象Aと規則「AならばB」から事象Bを導く。このとき事象Aと規則「AならばB」を前提、事象Bを結論と言う。二つの前提(事象Aと規則「AならばB」)が真であれば結論(事象B)は常に真である。
E {\displaystyle E} が T {\displaystyle T} と無矛盾である。
形式論理学では、 O {\displaystyle O} と E {\displaystyle E} はリテラルの集合であると想定されている。これら二つの文は E {\displaystyle E} が理論 T {\displaystyle T} にしたがいつつ O {\displaystyle O} の説明であるための条件である。通常これら二つの条件を充足する可能な説明 E {\displaystyle E} に対して、他の最小限の条件が課せられるが、これは( O {\displaystyle O} を内含することに寄与しない)的外れな事実がそれらの説明に含められることを避けるためである。アブダクションは E {\displaystyle E} の要素を選択する過程でもある。「最良の」説明を表現する一要素を選択する基準には、単純性が、より蓋然的であることが、ないしはその説明の説明力が、含まれる。