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

（こんな方におすすめ）
・論理力を身につけたい人，論理学に興味がある人
・ゲーデルの不完全性定理の基礎を知りたい人，公務員試験で論理問題が苦手な人

（目次）
序章　「証明」と「論理」を学ぶと何の役に立つのか？

第1章　論理記号を読めるようになる

第2章　論理式の真偽は考える世界で変わる

第3章　大学入試・公務員試験を解いてみよう

第4章　言論と推論

第5章　「等しい」とはどういうことか？

第6章　「かつ」「または」「ならば」「でない」の推論規則

第7章　「証明できる」と「正しい」の関係

第8章　述語論理を読めるようになる

第9章　1＋1＝2を証明しよう

第10章　∀と∃を操作しよう

第11章　数学的帰納法とはどんな原理か

第12章　ゲーデルの定理，その予告編