野矢(2006)は、論理学のもっとも基本的な、「命題論理」すなわち、否定・連言(and)・選言(or)・条件法(ならば)の導入則と除去則が関係する演繹的推論の体系を紹介している。 演繹的推論とは、前提が正しいならば必ず結論も正しくなるという推論である。よっ…