11/11/01 08:01:07.64
>>107
101ではないが、
T|=A⇔Tの任意のモデルにおいて、Aは真 ということだよな？
もし、T|=�魵だとしたら、Tの任意のモデルで�魵も真ということ。
ということは、Tの任意のモデルで、Aも�魵も真。こんなのってないよ、ありえないよ。
11/11/01 08:01:07.64
>>107
101ではないが、
T|=A⇔Tの任意のモデルにおいて、Aは真 ということだよな？
もし、T|=�魵だとしたら、Tの任意のモデルで�魵も真ということ。
ということは、Tの任意のモデルで、Aも�魵も真。こんなのってないよ、ありえないよ。