Official names for specific compound sentences This question is, admittedly, a little less mathematical than what I normal ask.  I seemed to remember that the compound sentence $A\wedge \neg A$ has an official name (maybe even "contradiction" but I seem to remember a different name) just like $A\wedge B$ is "conjunction" and $\neg A$ is "negation".
So, first, what is the classical name of $A\wedge \neg A$?
Second, is there a nice resource to find a list of all classical names for compound sentences?
 A: I don't know that there is a widely accepted name.  Certainly the formula  $A \wedge \neg A$ is a 
contradiction. The law of non-contradiction is $\neg\left(x \wedge \neg x\right)$ so that does give some privileged status to that sentence in the universe of contradictions. But I wouldn't call it contradiction -- if so then $x \vee \neg x$ should be called something like tautology whereas it is instead called the law of excluded middle. 
I would think of conjunction as the name of the of the logical operator $\wedge$ while $A \wedge \neg A$ is the conjunction of $A$ and its negation.
You might peruse the Stanford Encyclopedia of Philosophy for careful terminological distinctions made by some. For example some might say that $x \wedge \neg x$ is not an actual formula in a particular language, it is a schema.
A: In our CMSC A course at UP Open University (i.e. Discrete Structures in Computer Science), after we had covered logic fundamentals, I found out that your compound sentence (after suffixing  $=False$ to the sentence) is referred to as the "Inverse Rule".  (Of course, this is to be interpreted to mean that "True" is the identity element for the OR operation, while "False" is the identity element for the AND operation.)
I also did some research on antimony, and while it does point to a connection between "a thesis and its antithesis", its etymological roots lie more likely in philosophy-based logic rather than mathematical logic as we know it today.  (See this Wikipedia article for more information.)
So I guess "logical inversion" might be a good term to use, but then again, it's not necessarily classical.
A: The term you are looking for may be absurdity.  In logic, the inference of $\neg A$ from $A \to (B \wedge \neg B)$ is called the "law of absurdity".
