Abwoc Edit Meaning

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 proof, qed, contradiction