TWO-KANJI WORD
「導出」
ドウシュツ
01
COMPOSITION
構成する漢字
02
READING
読み方
読みの候補
ドウシュツ
各漢字の音読みを機械的に組み合わせた候補です。実在する語の正式な読みを保証するものではありません。03
MEANING & USAGE
意味と使い方
導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソンにより1965年に提案された原理または手法を言う。
導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。
04
RELATED COMBINATIONS