conditional relation - a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be falselogical implication, implicationlogical relation - a relation between propositions
conditional relation
noun
Synonyms for conditional relation
noun a logical relation between propositions p and q of the form 'if p then q'