論理学

論理学は、数学における推論のルールを研究する分野です。WIISでは、命題論理と述語論理を中心に、論理演算、同値変形、量化記号、推論規則などを体系的に学ぶための教材を提供しています。数学的な証明を支える論理構造を理解しながら、定義・定理・証明の読み方や組み立て方を身につけ、集合論や実数論をはじめとする大学数学全体の基礎を築くことを重視しています。