logical implication (Q8134)
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right
- material consequence
- implication
- material implication
- simply implication
- implies
- conditional
- material conditional
- ⇒
- ⟹
- →
- ⟶
- if-then
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | logical implication |
logical connective between two assertions, frequently symbolized by a (most often double) arrow to the right |
|