This principle is also known as Aristotle's principle of the excluded middle.