CST329 - Week 5

Once we assessed the limitations of propositional logic, we introduced the topic of first-order logic. First-order logic includes proper names that point to a single object or individual and predicates, which tell us the properties/relationships of the objects. we learned about the universal quantifier and existential quantifier and how they can be used to translate sentences such as "All humans are mortal" and "There is something that is not human." We also learned the criteria of free vs. bound variables and some new definitions for terms, well-formed formulas, and sentences. We learned about the 8 common forms and how to translate them from English to logic:

We got a lot of practice translating first-order logic in this week's practice problems, homework assignments, and quiz.