browse words by letter
a b c d e f g h i j k l m n o p q r s t u v w x y z
implies

more about implies

implies


  1  definition  found 
 
  From  The  Free  On-line  Dictionary  of  Computing  (13  Mar  01)  [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) 
 
 




more about implies