Next:
Entailment
Up:
Logic for Mods and
Previous:
Paraphrase and analysis
Week 3: Propositional calculus
Readings
(
Hodges, 2001
, ยงยง20-23)
Subsections
Entailment
Truth-tables
Entailment again
Symbolisation
Sandy Berkovski