前>>366
>>377
もともとaとbが別物なんだから、
aが真ならaの対偶も真だけど、
だからといってbが真だとは言えない。