implication
noun
1.
something that is inferred (deduced or entailed or implied)
2.
a meaning that is not expressly stated but can be inferred
3.
4.
a logical relation between propositions p and q of the form ‘if p then q’; if p is true then q cannot be false