証明作法 - 論理の初歩から証明の実践へ

著者名：石原哉

共立出版（2024/01発売）

• ISBN：9784320114890

内容説明

本書は、「よい証明はわかりやすい」、「よい証明を書きたかったらよい証明をたくさん読むべきである」をモットーとして、数学の授業でオンザジョブトレーニングで学ぶことの多い証明の書き方について解説する書籍である。

目次

第１部　論理と証明（命題とは
命題と証明（１）
命題と証明（２）
否定と背理法
述語と証明）
第２部　証明の実践（集合とその構成
関係
写像
同値関係と順序
圏論への誘い）