(uncountable) The act of implicating.

(uncountable) The state of being implicated.

(countable) A possible effect or result of a decision or action.

(countable, uncountable) An implying, or that which is implied, but not expressed; an inference, or something which may fairly be understood, though not expressed in words.

(countable, logic) The connective in propositional calculus that, when joining two predicates A and B in that order, has the meaning "if A is true, then B is true".

Logical consequence. (Can we add an example for this sense?)