はじめての数理論理学:証明を作りながら学ぶ記号論理の考え方

本書は、「数理論理学」の難解なイメージを払拭し、記号論理の基礎から自然演繹の入り口までを、平易な解説と豊富な例題・演習問題を通して体系的に学べる入門書です。単に記号を覚えるのではなく、簡単な命題や証明を題材に「証明を作りながら学ぶ」ことで、記号論理の考え方が抵抗なく身につくのが最大の特徴です。論理式による主張の正確な表現、含意・同値・全称・存在などの証明法、そして自然演繹を用いた証明の記号化まで、段階的に解説。全106題の演習問題を通じて、理解を確実に定着させることができます。抽象的な記号論理が、具体的な論理表現や証明の構築にどう繋がるのかを実践的に学べるため、論理的思考力や数学的厳密性を養いたい方、コンピュータサイエンスの基礎を理解したい方におすすめです。