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.



< Previous Terms Terms Containing implies Next Terms >
imperative language
Imperial Software Technology
IMPlementation language
implicit parallelism
implicit type conversion
agent
aleph 0
Application Developer
approximation algorithm
background
imprecise probability
IMProved Mercury autocode
IMR
IMS
IMS 6100