演繹的推論の定義と結論の必然性

演繹的推論とは、前提が全て正しいときに結論が誤り得ない推論をいう。