>>335
>AからBを導けること、A→Bが真であること
>これらは等しいのです
等しくはないんじゃないの?