>>346
道具の仕組みを知らなくても道具は使えます
使えますが、その人のレベルはそれまでだ、ということです

>>347
一般的な数学でも、|-と→は区別します
背理法です
A→Bの否定は、A∧¬Bなのです
これは、|-と完全に同一視しているとすると説明できないことです