目次

まえがき

第１章 論理パズルってなに
１．１ 論理パズル
１．２ 「ピンクのソックス」の答え
１．３ 「赤い手袋」の答え
１．４ 「人魚と天使と女神」の答え

第２章 文章を記号で書く
２．ｌ 文章をつなぐ記号：論理記号
２．２ 文章を記号で書く
２．３ コンピュータにパズルを解かせる
２．４ 論理式の作り方
２．５ かっこについての約東ごと
２．６ コーヒーに塩？

第３章 文章の○と×
３．１ 真理値表
３．２ 真理値表でパズル解き
３．３ 真理値表と論理記号の意味

第４章 公式と規格品
４．１ 真理値表は数が増えると大変
４．２ アタマを使おう：公式で解く
４．３ 便利な公式
４．４ 論理式の規格品

第５章 さあ解こう
５．１ ウォーミングアップ（初級問題）
５．２ ちょっとがんぱって（中級間題）
５．３ できるかな？（上級問題）

第６章 ○×判定ゲーム
６．１ ○の世界と×の世界
６．２ ○×ポックスで真理値判定
６．３ 論理式のぱらし方
６．４ 分解の木
６．５ ○×判定ゲームの遊ぴ方
６．６ コンピュータで判定ゲーム

第７章 天国への道
７．１ 天国への道
７．２ 模範解答
７．３ 表を作って考える
７．４ 真理値表にする
７．５ 真理値表から論理式を作る
７．６ Ｈｅａｖｅｎの作り方の仕組み
７．７ 日本語らしくする
７．８ 場合分けで質間する
７．９ 発展問題

関連図書

★コラム
真理値がたくさんあるファジィ論理
１＝２ならぱ私はローマ法王
論理パズルでノーベル賞？
トートロジー：いつも正しい論理式
消えた主語
手短に書くには
天国から来た悪魔