Synonyms/Hypernyms (Ordered by Estimated Frequency) of noun logical_implication

1 sense of logical implication

Sense 1
implication, logical implication, conditional relation -- (a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false)
       => logical relation -- (a relation between propositions)