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