Skip to content
Nydus Open Learning

Symbolic logic

Consistent sets and what follows

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

About 20 minutes7 activities Paper packet