logical-implication

Nouns

(n) a logical relation between propositions p and q of the form "if p then q"; if p is true then q cannot be false conditional relation, implication,

Synonyms

conditional relation implication

Words of close approximity