look up any word, like the eiffel tower:
an acronym used in mathematics proofs:
Assume By Way Of Contradiction

It is usually used when you want to prove something is true by showing that its opposite is untrue.
Proof: We want to show that the function, F, is one-to-one
ABWOC that F is not one-to-one... (go on to show that it is not possible for F NOT to be one-to-one, thus proving that F must be one-to-one)
by J Spee February 18, 2009

Words related to ABWOC

a.b.w.o.c. contradiction proof qed wlog