演繹推論の定義

演繹推論とは前提が全て真であるときに結論が偽にはならない推論をいい、前提から結論が必然的に導かれるかどうかが妥当性の判断基準である。

演繹推論の妥当性は前提の真偽ではなく推論の形式的構造によって判断される。前提がすべて真であるのに結論が偽となりうる推論は妥当ではない。