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