16/06/03 20:59:45.38 Xtm+1BRY.net
>>593
いや、記号論理学の公理なんだよ、それ。
だから、別に間違ってない。
だけど、文脈考えれば無意味。
記号化してないロジックに、記号論理のロジックを持ち込むのは意味不明ってだけ。
16/06/03 20:59:45.38 Xtm+1BRY.net
>>593
いや、記号論理学の公理なんだよ、それ。
だから、別に間違ってない。
だけど、文脈考えれば無意味。
記号化してないロジックに、記号論理のロジックを持ち込むのは意味不明ってだけ。