logical consequence (Q2617)
fundamental concept in logic
- entailment
- asserted relation
- logical implication
- implies
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | logical consequence |
fundamental concept in logic |
|
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | logical consequence |
fundamental concept in logic |
|