ある前提からなんらかの結論を導く、その全体を論証と呼ぶ。それに対して、前提から結論を導く過程だけを取り出して導出と呼ぶ。
ある前提が正しいと仮定する。そこからその結論が必ず導出されるかどうか、そこに、演繹の正しさのすべてがかかっている。こうすることによって、論証を評価するさいの、事実調査の持ち分と論理の持ち分が区別される。論理は事実調査に関わらない。
（野矢茂樹）
