Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of IMPLIES

 
Matching Terms:  implied, implied contract, implied trust, impliedly

Computing Dictionary
 
 Definition: 

(=> 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.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY