Meaning of IMPLIES in English

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)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.