## converse

The truth of a proposition of the form A => B and its converse B => A are shown in the following truth table:

A B | A => B B => A ------+---------------- f f | t t f t | t f t f | f t t t | t t

The truth of a proposition of the form A => B and its converse B => A are shown in the following truth table:

A B | A => B B => A ------+---------------- f f | t t f t | t f t f | f t t t | t t