17/10/22 02:08:42.83 seKspecq.net
>>336
A|-B
|-A→B
これをメタに認めれば自明です
|-と→の区別があることがわかれば、スッキリするわけです
17/10/22 02:08:42.83 seKspecq.net
>>336
A|-B
|-A→B
これをメタに認めれば自明です
|-と→の区別があることがわかれば、スッキリするわけです
17/10/22 02:08:42.83 seKspecq.net
>>336
A|-B
|-A→B
これをメタに認めれば自明です
|-と→の区別があることがわかれば、スッキリするわけです