CSSE 490: Logic: Day 13

Topics

• Valid quantifier steps
• The method of existential instantiation
• The method of general conditional proof
• Formal Proofs and Quantifiers
• Universal quantifier rules
• Existential quantifier rules
• Strategy and tactics
• Soundness and completeness

Materials

• Slides

Assignments

• Day 19, BC: Complete exercises 11.40 - 11.45 and 13.28 - 13.31, 13.51, 13.54 - 13.58.