Current Total Ideas:
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]
Entailment is logical requirement; it may be not(p and not-q), but that has problems
Analytical entailments arise from combinations of meanings and inference rules