What is the statement of the Law of the Excluded Middle?

The Law of the Excluded Middle is a principle in classical logic that asserts for any proposition, either that proposition is true or its negation is true. In symbolic terms, it can be expressed as P ∨ ¬P, meaning for any statement P, either P holds or not-P holds. This law asserts that there are no middle states between truth and falsity. It is a fundamental concept in formal logic and underpins many logical arguments and reasoning systems.