logical implication
noun
Key Types & categories Parts & wholes Related & opposite
- Word type
- noun
- verb
- adjective
- adverb
- Line style
- core relation
- instance, member or derived
- substance, domain or see-also
- Direction
- arrow points to the broader concept
- dashed outline: no word in this language
- Click any word to expand it.
Senses
Sense 1 noun
a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false
Types & categories
- logical relation hypernym
Related & opposite
- imply derivation
- entail derivation
- implicational derivation
Table view of this graph
| Sense | Relation | Group | Word |
|---|---|---|---|
| 1 | derivation | Related & opposite | imply |
| 1 | derivation | Related & opposite | entail |
| 1 | derivation | Related & opposite | implicational |
| 1 | hypernym | Types & categories | logical relation |