View text source at Wikipedia

Law of non-contradiction