structure for all areas    |     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]