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