いかにして推理するかいかにして証明するか - 論理パズルによる記号論理学入門

内井惣七

ミネルヴァ書房（1981/02発売）

• サイズ A5判／ページ数 181p／高さ 21cm
• 商品コード 9784623013401
• NDC分類 116.3

出版社内容情報

【内容】
固苦しく無味乾燥な多くの論理学の本とは一味違い，ドラキュラや狼男やロンリー刑事が登場する91の問題を解きながら，証明すること・推理することの喜びを教えてくれるユニークな入門｡

【目次】
１　真偽の探索
誰が犯人か、誰が吸血鬼か、そしてどれが論理法則か？
２　存在と無
犯人は存在するか、狼男は存在するか、そして論理学者は何をするか？
３　個性と属性
ドラキュラは日光を恐れるか、汚職議員は有罪になるか、そして論理法則は反証されるか？
４　複雑な関係
あなたの父親は誰か、あなたの子は誰の子か、そしてあなたは論理的関係を理解したか？
５　問題の解答
考えたか、答えを出したか、そして答えを証明したか？

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

[ゆう]

題名のとおり、いかにして問題を解くかに影響を受けた本であり、論理学に興味があったので解いた。一階述語論理まで。解いていて楽しかったが、二階述語論理は手を出せずフェードアウトした。また挑戦したい。

2016/02/19

[sunoko]

公務員試験とかでよく出てくるアレについて。練習問題は結構飛ばしちゃった・・・

2011/07/15