Implies

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  implies
       
           (=> 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)