Peirce's Law

Also see

 * Peirce's Law Equivalent to Law of Excluded Middle