<logic> 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

(01 Jul 2002)