Mach dir eine Wahrheitstabelle. Dann siehst du, dass du mit deiner Vermutung flasch liegst.
A⇒B ist äquivalent zu B∨¬A. Negation davon ist ¬B∧A.
Ist ja auch logisch (hihi), mit A⇒B möchte man ausdrücken, dass jedes mal wenn A wahr ist, auch B wahr ist. Die Negation davon ist, dass A wahr ist, aber B falsch.