Implication
Implication (logic): what follows in syllogism. If all men are mortal, and Aristotle is a man, the implication is that Aristotle is mortal. Implication in logic is only used within formal logical systems.