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