清水義夫著『記号論理学講義』正誤表 読者の皆様には以下の間違いをお詫びし，修正するとともに，貴重なご指摘をいただいた方々に感謝申し上げます． 頁 行 誤 正 15 下から 6 行目 xi が Axi 中の∃xi または∀xi の作用域に入り xj が Axi 中の∃xj または∀xj の作用域に入り 23 下から 2 行目 命題たちを 命題たち 54 下から 11 行目 numder number 65 下から 4-5 行目 標準定理 標準形定理 81 9 行目 自然数 整数 81 下から 5 行目 すなわち任意のλ項について， すなわち任意のλ項 A について， 178 下から 5 行目 y ◦ . f en－1 y ◦ f e n－1 192 下から 12 行目 のもので真である． のもとで真である． 246 5 行目 Cpoeo Cpoep 317 図１ 底辺の矢印 → ← 324 下から 12 行目 AC AC 326 5 行目 AC ［ . を取る］ ［矢印の向きを逆に］ AC ＿ 359 図 1 上半部右側 W (u, x ) 359 図 2 下半部 ∀u￢PR ∀u￢PR 375 下から 5 行目 中竹久留美 竹中久留美 / W (u, n) ∀u￢W (u, x ) ＿ / ∀u￢W (u, n)
© Copyright 2024 ExpyDoc
