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

Last updated: 2002-07-12

Nearby terms:

Conversational Monitor Systemconverseconversion to iteration

Try this search on Wikipedia, OneLook, Google