Useful law used to help prove a Proofs by Contradiction.

Law Definition

A law that states if , then both and are OR .