内容紹介（出版社より）

タブローという図によって論理を視覚的に分析する方法について丁寧に解説する。本書では、最も基本的な論理として知られている古典論理を探求する。

本書では、最も基本的な論理として知られている「古典論理」を初学者でも分かるように丁寧に解説する。本書の最大の特徴は、合計53問の練習問題とその詳細な解答（約50ページ！）を掲載している点にある。著者としては、論理学は実践して初めて自分のものになる学問だと考えているので、このように豊富な練習問題を掲載した。この本は、特に次のような読者におすすめする。

* 論理学を基本的な部分から体系的に勉強したい
* 文字だけで色々言われても分からないので、図を使って論理を勉強したい。
* 実際に論理が身についているか不安なので、たくさんの問題を解いて理解度を確認したい。
はじめに
第1章 古典命題論理の意味論
§1.1 命題の意味
§1.2 「または」と「ならば」
§1.3 命題の記号化
§1.4 真理値表
§1.5 命題の変形
§1.6 命題論理の論証
§1.7 様々な論証
演習問題
第2章 古典命題論理のタブロー
§2.1 命題論理のタブローの規則
§2.2 タブローの描き方
§2.3 タブローによる反例の発見
§2.4 タブローによる妥当性の証明
§2.5 命題論理のタブローの健全性と完全性
演習問題
第3章 古典述語論理の意味論
§3.1 個体と固有名
§3.2 量化子による記号化
§3.3 閉論理式の真理値I
§3.4 閉論理式の真理値II
§3.5 述語論理の論証
§3.6 同じ意味
§3.7 多項述語論理
演習問題
第4章 古典述語論理のタブロー
§4.1 述語論理のタブローの規則
§4.2 真理保存性
§4.3 タブローによる論証の分析
§4.4 タブローの規則の適用順序と複数回適用
§4.5 多項述語論理のタブロー
§4.6 ヒンティッカ集合
§4.7 述語論理のタブローの健全性と完全性
演習問題
補遺
解答
確認問題の解答
第1章の演習問題の解答
第2章の演習問題の解答
第3章の演習問題の解答
第4章の演習問題の解答
索引