>>333
結局はそうですが、不思議だと思いませんか？
AからBを導けること、A→Bが真であること
これらは等しいのです
このモヤモヤを解決することができるのが、数理論理なのです

物理の人は頭が悪いから、数理論理という高尚な学問に触れさせてはくれないんです

>>334
知ってます