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
Look “logical implication” up elsewhere
Want another word?
Spin the dictionary for a fresh one.
Generate a word →