 logical_implication |
||
| 1. | [ noun ] (mathematics) 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 | |
| Related terms: | logical_relation imply | |
| Similar spelling: |
logical_operation logical_relation |
|
