学問の世界、実社会を問わず妥当な思考推理のため論理学の基礎的知識が必要であるのは言うまでもない。しかし記号論理学と形式論理学の一方を学ぶだけでは充分でない。本書は主として理工系の学生を対象として形式論理学と記号論理学の総合的修得を意図している。高校の数学で学んだ集合を用いて定言三段論法の論理構造を把握し、命題論理学の初歩的知識を活用して高度な推理の構造を理解吟味できるように編集した。

目次