Friday, 3 October 2014

Week 3: Laws and Proof

Hello,

This week I learned a lot. Not necessarily all from lecture, but a lot doing tutorial exercises and the Assignment 1. 

Laws
During the tutorial I learned to used the laws we learned to prove equivalence of statements, rather than making truth tables. I found this really helpful since it takes quite some time to make a truth table and rearranging and manipulating the statement to make it equivalent to another is a lot more efficient. I got comfortable using De morgans laws, distributive laws and manipulating an implication (P implies Q <=> not P or Q).

Proof
Just today we were shown how to prove a statement. I learned about the indentation, making assumptions and putting the footnotes. Personally I found proving the actual statement not too hard. I just need to work on properly presenting my work in the format we were shown. 

Also this week doing Assignment 1 helped a lot with, negation, taking the contrapositive and converse, changing between symbolic form to english and drawing venn diagrams that will definitely help me on the upcoming test.

No comments:

Post a Comment