IMPLIES

from The Free On-line Dictionary of Computing (8 July 2008)

implies

   <logic> (=> or a thin right arrow) A binary {Boolean} function
   and {logical connective}.  A => B is true unless A is true and
   B is false.  The {truth table} is

   	A B | A => B
   	----+-------
   	F F |   T
   	F T |   T
   	T F |   F
   	T T |   T

   It is surprising at first that A => B is always true if A is
   false, but if X => Y then we would expect that (X & Z) => Y
   for any Z.

   (1995-09-30)