What is Abwoc?
1.
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)
See
