筋は通した

現在２００６年２月１６日２時８分です。
今日は述語論理のところで∀や∃があると真偽を二者択一的に割り当てられないので、≡を、⇔を表すものとみなすと、言ったのを反省した。

良く考えてみるとＡ⇔Ｂならば、あらゆる構造と付値に対しＡの真偽とＢの真偽が一致することが証明できた。

そういう訳で解析入門Ⅰ・Ⅱを読む時は、≡の定義は真偽が一致することとして、筋を通すことにしました。

現在２００６年２月１６日２時２８分です。おしまい。