12/01/04 09:37:31.81
>>75
>逆に □A を ⊥⊰ A と理解することで
T ⊰ A じゃなくて？
>>76
禿堂。数学系の論理学と哲学系の論理学だけじゃなくて、計算機系の論理学もな。
12/01/04 09:37:31.81
>>75
>逆に □A を ⊥⊰ A と理解することで
T ⊰ A じゃなくて？
>>76
禿堂。数学系の論理学と哲学系の論理学だけじゃなくて、計算機系の論理学もな。
12/01/04 09:37:31.81
>>75
>逆に □A を ⊥⊰ A と理解することで
T ⊰ A じゃなくて？
>>76
禿堂。数学系の論理学と哲学系の論理学だけじゃなくて、計算機系の論理学もな。