From a Wikipedia article about Negation Introduction:
Negation introduction states that if a given antecedent implies both the consequent and its complement, then the antecedent is a contradiction.
This is straight forward, except for what is named as "a contradiction". The antecedent is one entity with one truth value. As an entity, the antecedent only exists. That is has two possible states is not a contradiction, even if it somehow assumes both states at once. That is, of course, not possible. It would just be incorrect.
I do not know what might be the logical state that would be identified as incorrect. If you write 1 + 1 = 3, that is incorrect, but not because 1 + 1 is incorrect, or 3, for that matter. What is identified as incorrect is the equation, not the components.
How can one of anything be a contradiction? Why is it not the implication (or the pair of implications) that is the contradiction?
I think I need to ask this another way. I seem to be getting comments that explain a contradiction. I am not asking what is a contradiction. I am new to this, so my explanation of my question may be juvenile. Please bear with me. The statement $P \implies Q$ has three parts; an antecedent, a connector and a coincident. The statement $P \land Q$ also has three parts, but does not have an antecedent or coincident. I assume that in the statement $(P \implies Q) \land (P \implies \lnot Q)$, P is still the antecedent. This statement is, of course, a contradiction.
The text quoted above identifies P, the antecedent, as the contradiction rather than the statement. Is this just a convention or is there another reason for this?