論理学の基礎と演習

序論 第1部 命題論理(原子文 原子文の論理 ブール結合子 ブール結合子の論理 ブール論理の証明方法 形式的証明とブール論理 条件文 条件文の論理) 第2部 限量子(限量入門 限量子の論理 複数の限量子 限量子についての証明の方法 形式的証明と限量子 限量子についての捕足(オプション)) 第3部 応用とメタ理論(一階集合論 数学的帰納法 命題論理の更に進んだ話題 FOLの更に進んだ話題 完全性と不完全性) LPLソフトウェア・マニュアル(Submitを使う Tarski's Worldを使う Fitchを使う Booleを使う)