<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 |

WeWork Office Space & Coworking

Address: 115 Broadway, New York, NY 10006

Hours: Opens 9AM - 6PM

Phone: +1 646-396-3519

shape

shape