現在2006年2月16日2時8分です。 今日は述語論理のところで∀や∃があると真偽を二者択一的に割り当てられないので、≡を、⇔を表すものとみなすと、言ったのを反省した。 良く考えてみるとA⇔Bならば、あらゆる構造と付値に対しAの真偽とBの真偽が一…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。