P102の 20 コマドリで書かれている、ルリムクドリという鳥は、ルリツグミの間違い？ルリムクドリなんて出てこないよな？

タイトルの横に書いてある、POD版の意味を最近ようやく知った。 注文してから一部ずつ刷ってんのね。最後の一冊でラッキーとか書いてはずかしー。

Pである鳥 Aがいて、Qである鳥 Bがいる場合 Xである鳥がいることを示せ。みたいな問題で、 (exists A, P A) -> (exists B, Q B) -> exists C, X C.のように立式してたけど、 forall A B, P A -> Q B -> exists C, X C.でいいのか？ 証明も少し楽だ。 destruc…