English dictionary
logical implication
Definitions, examples, synonyms and antonyms from WordNet 3.0.
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
Source: WordNet 3.0