Converse (logic)

In mathematics and logic, a converse is a variant of an implication. More specifically, given an implication of the form , the converse is the statement . 

While a converse is similar to its originating implication, they are not logically equivalent. This means that the truth of an implication does not guarantee the truth of its converse (and vice versa).

As a logical connective, the converse of  and  can be represented by the symbol  (as in ).

 Related pages 

 Contrapositive

 References 

Category:Logical connectives