>>288
②が正しいなら①は当然正しい（F=0を代入すればいい）
したがって、②⇒①は正しい

②が正しくないなら、①の真偽にかかわらず、②⇒①は正しい

②は正しいか正しくないかのいずれかだから、つねに②⇒①は正しい