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.