第１章　論理のしくみ（命題と合成命題
真理表と同値　ほか）
第２章　全称命題と存在命題の証明のしかた（全称命題の証明のしかた（帰納法のカラクリ）
存在命題の証明のしかた）
第３章　場合分けの動機と基準（必然による場合分け
何を基準にして場合分けすると効果的かを考えよ）
第４章　上手な場合分けのしかた（やさしい場合から証明を始め、すでに証明済みの結果を利用せよ（山登り法）
樹形図を利用して場合分けせよ）
第５章　上手な議論の進め方（特別な場合の考察により解の候補を絞り込め
極端な場合を引き合いに出して矛盾を導け　ほか）