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. ... Either way, the truth of the converse is generally independent from that of the original statement.
