論理学入門 (ちくま学芸文庫) [文庫] 丹治 信春氏 (著) 読んだ

概要
目次
第1部
1 命題論理の記号言語
2 真理値分析とトートロジー
3 命題論理のタブロー
4 命題論理における健全性と完全性
第二部
5 述語論理の記号言語
6 述語論理における真理値と妥当性
7 述語論理のタブロー
8 述語論理における健全性と完全性

感想
放送大学記号論理学入門の試験対策のため、読んだ。
独習するとき、分かりやすくて良い。
タブローを使った問題が、多くあるので良い。
少しの記号と、その操作法を学んで、論理学のタブローを使えるようにしたい。