Definitions by J Spee

ABWOC 

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)

ABWOC by J Spee February 20, 2009