>>550
「AならばBである。」は
「Aでない または Bである」
これの否定は
「Aである かつ Bでない」