implies


implies

(logic)(=> or a thin right arrow) A binary Boolean functionand logical connective. A => B is true unless A is true andB is false. The truth table is

A B | A => B----+-------F F | TF T | TT F | FT T | T

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