Excludes expresses incompatibility between two recognitions. Two recognitions exclude each other when they share no common refinement — what is recognized under one cannot simultaneously be recognized under the other.
Excludes arises in Movement I: Logical Origination as the complement of inclusion. Distinguishing produces not only what is included but also what is excluded — the two dynamics are inseparable. To recognize something as A is simultaneously to exclude it from not-A. Excludes formalizes this inseparability.
Two recognitions exclude each other precisely when one entails the negation of the other. Equivalently, their combining yields Bottom — the empty recognition. These are not two separate conditions but two ways of saying the same thing, reflecting the internal consistency of the logical core.