おすすめコメント
論理的に考えるとはどういうこと?証明するってどういうこと?という問いに簡潔に答える論理と証明のための徹底解説本です.論理に強くなるためには,論理記号に対するアレルギーを克服することが第一です.本書は,「かつ」「ならば」などの基本的な論理記号からまず入ります.論理記号や論理式には解釈を逐語訳のように併記するので,臆することなく読み進めてもらえます.そして数学の問題で出てきた「証明」の考え方へと話を進めます.論理と証明の考え方を習得することがゲーデル不完全性定理の理解につながることにも言及します.