Consistency

When a set of formulas has a model, what an inconsistent set entails, and how every entailment question becomes a consistency question.

About 40 minutes7 activities Paper packet