導出原理(どうしゅつげんり、''resolution principle'')とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。
導出原理(どうしゅつげんり、''resolution principle'')とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。