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