CST329 - Week 7

This week, we started learning about relations and functions. We learned about binary relations and the properties of reflexivity, symmetry, and transitivity. We then learned about two last rules: Identity Introduction and Substitution of Identicals. With many rules now in our arsenal, we were able to tackle and complete complex proofs. We focused a lot on counting things and how to express that using logic. For example, we learned how to translate sentences like "There is at least one apple" and "There is exactly one apple." Lastly, we continued practicing increasingly complex translation examples.