# Converse (logic) | | In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication P → Q, the converse is Q → P. For the categorical proposition All S are P, the converse is All P are S. Either way, the truth of the converse is generally independent from that of the original statement. | |-|-| | | wikipedia:: [Converse (logic)](https://en.wikipedia.org/wiki/Converse_(logic)) | Converse of P > Q is Q > P Does not imply anything, just syntactical