第１章 ====== p.5, line 16 ------------ （誤）集合Yが集合Xの部分集合 （誤）集合Xが集合Yの部分集合 p.10, line 11 ------------- （誤）X_1 \times\dots\times X_n （正）X_1,\dots,X_n p.11, line 16 ------------- （誤）X,Y間の二項関係のうち （誤）X,Y間の二項関係fのうち 第３章 ====== p.22, line 16 ------------- （誤）implicature （正）implication p.25, line 10 ------------- （誤）P, Q, ... （正）P Q ... p.26, line 17 ------------- （誤）P, Q, ... （正）P Q ... p.51, line 10 ------------- （誤) ==> （正）<==> 第５章 ====== p.89, line 21 ------------- （誤）9+4i （正）10+4i p.89, line 22 ------------- （誤）9+4i （正）11+4i p.89, line 23 ------------- （誤）9+4i （正）12+4i p.116, line 7 ------------- （誤）述語 （正）論理式 第６章 ====== p.138, line 9 ------------- （誤）\tau （正）\zeta p.138, line 10 -------------- （誤）--(*)である」 （正）である」--(*) p.138, line 12 -------------- （誤）\not\vDash （正）\vDash p.139, line 6 ------------- （誤）ある論理式 （正）論理式 p.140, line 21 -------------- （誤）右 （正）左 第７章 ====== p.149, line 27 -------------- （誤）5,6,3より （正）5,7,3より p.154, line 16 -------------- （誤）(S)(K)の代わりに(B)(C)(W)を公理とする （正）(S)(K)(MP)の代わりに(B)(C)(W)(MP)を公理・推論規則とする p.154, line 18 -------------- （誤）(S)(K)の代わりに(S)(B)(C)を公理とする （正）(S)(K)(MP)の代わりに(S)(B)(C)(MP)を公理・推論規則とする p.154, line 20 -------------- （誤）(S)(K)の代わりに(K)(W)を公理とする （正）(S)(K)(MP)の代わりに(K)(W)(MP)を公理・推論規則とする 第８章 ====== p.189, line 4 ------------- （誤）(DNI, DNE) （正）(DNI) p.189, line 5-6 --------------- （DNE規則）→削除 p.189, line 7 ------------- （誤）(DNI)と(DNE)がそれぞれ （誤）(DNI)が p.190, line 18-19 ----------------- 推論図右側中段： （誤）∀I （正）∀E p.191, line 23-24 ----------------- （誤）以下の二つは，いずれも$\exist F(x) \turnstile{NM} \forall F(x)$の証明であるが、これはNMの定理ではない．証明の誤りを指摘せよ． （正）$\exist F(x) \turnstile{NM} \forall F(x)$はNMの定理ではない．以下の証明図の誤りを指摘せよ． p.193, line 7 ------------- （誤）\phi （正）\psi 第９章 ====== p.198, line 25- --------------- 証明図上から２段目の左右順 ２～３段目の規則名\times 2→削除 p.199, line 12- --------------- 証明図上から３～４段目、(c=>)追加 p.204, line 8 ------------- （誤）(IH) （正）(4) p.209, lines 19-20 ------------------ Fの適用範囲修正 p.209, lines 25-26 ------------------ Fの適用範囲修正 p.210, lines 1-2 ---------------- Fの適用範囲修正 第１０章 ======== p.216, line 4 ------------- （誤）\psi_2 （正）\phi_2 p.220, line 3 ------------- （誤）(DM\lor') （正）(DM\lor) p.231, 最下段証明図 ------------------- (IH)が証明変換であることを明記。 p.232, 最下段、最下段から二つめの証明図 --------------------------------------- (IH)が証明変換であることを明記。 p.233, 証明図４つ ----------------- (IH)が証明変換であることを明記。 p.235, line 12 -------------- （誤）LK （正）K p.243, line 7 ------------- （誤）[\zeta/\xi]) （正）[\zeta/\xi] p.251, line 2 ------------- （誤）LMの証明図 （正）LM-CUTの証明図 p.253, line 6 ------------- （誤）派生規則 （正）許容規則 p.253, lines 22-23 ------------------ （誤）LMにおいて （正）LM-CUTにおいて p.264, line 20 -------------- （誤）\Sigma \Rightarrow \phi （正）\Gamma,\Sigma \Rightarrow \phi p.264, line 21 -------------- （誤）LM上で、 （正）LM-CUT上で、 p.264, line 27 -------------- （誤）\Sigma \Rightarrow \phi （正）\Gamma,\Sigma \Rightarrow \phi p.264, line 28 -------------- （誤）LM上で、 （正）LM-CUT上で、 p.266, 最下段証明図右辺 ----------------------- 弱化の適用を追加。 第１２章 ======== p.271, lines 10-11 ------------------ （誤）(e) （正）(e)* p.276, line 1 ------------- （誤）$\zeta\notin\fv{\phi}$または$\zeta\equiv\xi$のとき （正）$\zeta\notin\fv{\phi}$のとき p.276, line 6 ------------- （誤）$\zeta\in\fv{\phi}$かつ$\zeta\not\equiv\xi$のとき （正）$\zeta\in\fv{\phi}$のとき p.279, (\neg\land): ------------------- （誤）\Gamma （正）\Gamma-\set{\neg\phi} p.279, (\neg\forall): ------------------- （誤）\Gamma （正）\Gamma-\set{\neg\phi[\zeta/\xi]} p.280, (\Rightarrow\forall): ---------------------------- \Deltaが抜けていたのを修正。 第１３章 ======== p.285, line 9 ------------- （誤）complete （正）completeness p.287, line 7 ------------- （誤）$\C{L}^+$を$\C{L}_1,\C{L}_2,\dots,\C{L}_n,\dots$とする （正）$\C{L}^+$を列$\C{L}_1,\C{L}_2,\dots,\C{L}_n,\dots$を連接して得られる列とする p.288, line 19 -------------- （誤）入れば （正）いれば p.288, lines 20- 21 ------------------- （誤）列に含まれていれば真，含まれていなければ偽 （正）列に含まれていれば真 p.288, line 25 -------------- （誤）<==> （正）==> p.289, line 2 ------------- （誤）<==> （正）==> p.289, line 14 -------------- （誤）<==> （正）==> p.289, line 15 -------------- （誤）<==> （正）==> p.289, line 18 -------------- （誤）<==> （正）==> p.289, line 19 -------------- （誤）<==> （正）==> p.289, line 26 -------------- （誤）<==> （正）==> p.289, line 27 -------------- （誤）<==> （正）==> p.290, line 3 ------------- （誤）<==> （正）==> p.290, line 4 ------------- （誤）<==> （正）==> p.290, line 8 ------------- （誤）<==> （正）==> p.290, line 27 -------------- （誤）<==> （正）==> p.290, line 28 -------------- （誤）<==> （正）==> 謝辞 ==== 第1刷の誤りについては，北陸先端科学技術大学院大学の佐野勝彦先生，および東京大学大学院総合文化研究科の林達也氏から，数多くの重要なご指摘を頂いた．また，お茶の水女子大学理学部情報科学科戸次研究室の学生諸氏からも，多くのフィードバックを頂いた．