The Principle of Non-Contradiction: The Foundation of Classical Logic