CSSE 490: Logic: Day 15
Topics
Proofs and pseudo-proofs involving mixed quantifiers.
Materials
Slides
Good proof in Fitch
Bad proof not going through in Fitch
Homework
Day 19, BC: Complete exercises 12.12 and 12.15.