imply
VerbWordNet 3.0
Verb (5)
- express or state indirectlySynonyms: connote
- suggest as a logically necessary consequence; in logic
- have as a logical consequence“The water shortage means that we have to stop taking long showers”Synonyms: entailmean
- suggest that someone is guiltySynonyms: incriminateinculpate
- have as a necessary feature“This decision involves many changes”Synonyms: involve
Webster's Dictionary (GCIDE)
1.To infold or involve; to wrap up. [Obs.] "His head in curls implied." --Chapman. [1913 Webster]
2.To involve in substance or essence, or by fair inference, or by construction of law, when not include virtually; as, war implies fighting. [1913 Webster]
Where a malicious act is proved, a malicious intention is implied.— Bp. Sherlock.[1913 Webster]
When a man employs a laborer to work for him, . . . the act of hiring implies an obligation and a promise that he shall pay him a reasonable reward for his services.— Blackstone.[1913 Webster]
3.To refer, ascribe, or attribute. [Obs.] [1913 Webster]
Whence might this distaste arise? [1913 Webster]
If [from] neither your perverse and peevish will. To which I most imply it.— J. Webster.
Syn: To involve; include; comprise; import; mean; denote; signify; betoken. See Involve. [1913 Webster]
Free On-line Dictionary of Computing
<logic> (=> or a thin right arrow) A binary Boolean function and logical connective. A => B is a true implication 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.
If A is actually an expression X & Y then the implication is called a syllogism.
(2009-10-28)