new here (apologies for the formatting). I want to express the relationship between $$A \longrightarrow B$$ and $$B \longrightarrow \neg A.$$
Clearly this is neither converse, inverse, nor contrapositive; does it have a name at all?
|show 3 more comments|
If you want to construct a name using the terms that you've mentioned in the comments: http://en.wikipedia.org/wiki/Contrapositive#Comparisons
Then there's endless ways you can string those steps together, among which are "the converse of the contradiction of the inverse of $A \rightarrow B$", or the shorter "the contradiction of the converse of $A \rightarrow B$", or the equally short "the contrapositive of the contradiction of $A \rightarrow B$".
My guess would be that there isn't much of a standard name for this since it doesn't appear to be common fallacious deduction, nor is it an equivalent statement, and the usefulness of its demonstration in an argument seems to be the same as that of "contradictions" (in the sense of the term).
I think among those above names, "contrapositive of the contradiction" is most suggestive for how we should be thinking about this. Knowing that contraposition gives an equivalent statement, and noting the potential role of deducing this statement when we have the other, it seems like we should just view this one as "contradiction" as well.
We might get lucky with a response from someone who studied rhetoric or logic more from the perspective of some area of philosophy, and my suggestion would be to look more toward those areas if you're not satisfied with the above.