Top Definition

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.

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 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