『論理学 (3STEPシリーズ)』

昭和堂から出版された拙著『論理学 (3STEPシリーズ)』の紹介、正誤表、問題解答などのページです。

• ブログ

• 『フィルカル』、Vol.7, No.1 自著解説のほか、澤田和範、細川雄一郎、植原亮、槇野沙央理の4氏が書評を寄せてくださっています。

• p.v 誤：五十嵐亮介→正：五十嵐涼介

• p.15 3.3節4行目 誤「与えられた付置のもとで」→正「与えられた付値のもとで」

• p.45 事実1 誤「任意の世界wにおいてv(x, A)=v(x, B)」→正「任意の世界wにおいてv(w, A)=v(w, B)」

• p.105 中段の式(2) 誤：∃y(Ray∧Py)∧∃z(Raz∧Qz) → 正： ∃y(Ray∧¬Py)∧∃z(Raz∧¬Qz)

• p.143 定義5最後の行左辺 誤：(x, ¬A)＝1 →正：v(x, ¬A)＝1

以上は、2023年3月発行の2刷りでは修正されました。

• p. 108 注意 誤「v(t(C)[d/x])=1」→正「v(C [d/x])=1」

• 同 誤「t(B)[d/x]=0」→正「v(B [d/x])=0」

• p.166 Q2 誤「τは定理3で定義したものであり」→「τはp.160定義1で定義したものであり」

お名前を間違えてしまってたいへん失礼いたしました。また以上の誤植をご指摘いただいたみなさま、ありがとうございました。