structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

---

5. Theory of Logic / B. Logical Consequence / 6. Entailment

[if P is true then Q has to be true]

2 ideas

6877	Entailment is logical requirement; it may be not(p and not-q), but that has problems [Mautner]

14471

Analytical entailments arise from combinations of meanings and inference rules [Thomasson]