conditional-relation

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 logical implication, implication,

Synonyms

logical implication implication

Words of close approximity