CST329 - Week 6

This week, we learned about a few new rules that can be applied with first-order logic:

• Universal Instantiation, to eliminate the universal quantifier

• Existential Generalization, to introduce the existential quantifier

• Existential Instantiation, to eliminate the existential quantifier (which includes the use of a subproof)

• Universal Derivation, to intorduce the universal quantifier

We spoke briefly about De Morgan's laws and focused on problems with a domain in which we had to show there's no proof with FOL. These were especially tricky - I have to review them well for the final.