>>251
A⇒B(メタの意味で)のときAが偽のときA⇒Bは真
ということじゃないんですか?
たぶん。