現在２００６年２月１３日０時５０分である。
今日は、私のところにもう一度コメントをくれた、黄昏の旅人というブログの人にトラックバックをかけようとしているのだが、うまくいくだろうか？
その人は、自分の本棚の紹介をしていたが、とても私の本棚なんて、紹介しきれない。軽く１００冊は並んでいるから。
今日やっていたことは、解析入門Ⅰの附録２の述語論理の中で、
¬（∀ｘＰ（ｘ））⇔（∃ｘ）（¬Ｐ（ｘ））
というのを証明することでした。
本当は、Ａ⇔Ｂが証明されたとき、Ａ，Ｂの真偽が一致する、ということを示さないといけない。
でも、∀，∃を含むＡ，Ｂについては、それが真である場合と偽である場合に二者択一的に分けられない。構造と付値というものによって、論理的に真という概念は定まるけれども、ここでやりたいこととは違う。
従って、以後述語論理に関しては、解析入門Ⅰ・Ⅱでも≡を⇔のことを表す記号と見なすことにする。
そうしても間違いは起こらない。
ということで、証明を完成させました。そのうちその証明のことにも触れましょう。
今日はここまで。
現在２００６年２月１３日１時３０分です。おしまい。
