17/10/22 02:24:29.15 seKspecq.net
>>346
道具の仕組みを知らなくても道具は使えます
使えますが、その人のレベルはそれまでだ、ということです
>>347
一般的な数学でも、|-と→は区別します
背理法です
A→Bの否定は、A∧¬Bなのです
これは、|-と完全に同一視しているとすると説明できないことです
17/10/22 02:24:29.15 seKspecq.net
>>346
道具の仕組みを知らなくても道具は使えます
使えますが、その人のレベルはそれまでだ、ということです
>>347
一般的な数学でも、|-と→は区別します
背理法です
A→Bの否定は、A∧¬Bなのです
これは、|-と完全に同一視しているとすると説明できないことです