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