logical implication
1.
(
noun
) a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
Synonyms:
conditional relation
,
implication
Related Words:
logical relation
Terms and Conditions of Use / Copyright Notice