This week in CSC165, we're continuing to utilize quantifiers to make universal and existential claims. However, we're now discussing the topics of conjunction, disjunction, negation, and implication. I'm still finding it difficult to convey human thoughts and expressions into mathematical ones, especially given that there are multiple formats that we can express these ideas.
Set notation, predicates, and implications are all used to produce mathematical statements. Thus far, we have been proving equivalencies using both truth tables and logical arithmetic. I have found the Table 2.17 on pg 29 of the course notes for CSC165 to be invaluable in keeping me on track with answering tutorial and assignment questions.
Some realizations that I have made include: the equivalency of an inverse (not A implies not B) to a converse (B implies A). I have also come to realize that a contrapositive (not Q implies not P) is equivalent to P implies Q.Some goals I hope to accomplish over the course of the next few weeks:
1) Becoming more adept at proving equivalencies.
2) Being able to recognize equivalencies that are listed in Table 2.17 on sight
3) Allow myself to think more intuitively so that CSC165 is less of a challenge
No comments:
Post a Comment