Law of noncontradiction

Logic theorem From Wikipedia, the free encyclopedia