Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I have two propositions
A: P implies Q
B: Q implies P
is A then the converse of B, or is there a term that is more exact?
Converse is the correct technical term here. See http://en.wikipedia.org/wiki/Converse_(logic)
Required, but never shown