logical implication lo·gi·ca·limplication uncommon noun 1. a logical relation between propositions p and q of the form `if p then q''; if p is true then q cannot be false Synonymsimplicationlogical implicationconditional relation Related words Word family implyimplicate Broader terms logical relation WordNet 2.1 (Princeton University). WordNet 2.1 Copyright Princeton University. All rights reserved.
