logical implication
Explore definitions, synonyms, and language insights of logical implication
Definitions
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