|

logical implication

DEFINITIONS OF: logical implication

1

n a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false

Synonyms:
conditional relation, implication
Type of:
logical relation
a relation between propositions
WORD FAMILY
USAGE EXAMPLES