計算のしくみ」(岩波書店)の訂正と補足のページです。本書に対するご意見や間違いの指摘などは、hagiya@is.s.u-tokyo.ac.jpまでよろしくお願いいたします。p.223こちらを参照ください。以下は第1刷に対する訂正と補足です。第2刷では改訂されています。アメリカの首都はニューヨークであるアメリカの首都はワシントンです。この命題は偽の命題の例としてあげました。Γ→Δ,A'カットの規則の左の前提は、Γ→Δ,Aの間違いです。問題2.2この問題はかなり難しいです。章末問題としては不適切でした。そのような性質を示しつつ証明する必要があります。証明はここにあります。安部達也君のより簡潔な証明はここにあります。