logical implication

definition: a logical relation between propositions p and q of the form `if p then q'
example:
speech part: noun
synonyms: implication

How logical implication is being used?