Next:
Propositional tableaux again
Up:
Logic for Mods and
Previous:
Symbolisation
Week 4: Quantifiers etc.
Readings
(
Hodges, 2001
, §§25 (pp. 115-17 only), 34-36, 38)
Subsections
Propositional tableaux again
Symbolisation I
Symbolisation II
Herbrand sentences
Advanced topics
Sandy Berkovski
