|
logical_implication
has definitions from the field of mathematics
|
|
| 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 Related terms |
| * |
|