CST329 - Week 2

This week, we continued to learn a lot of new logic rules including:

• Modus Ponens

• Modus Tollens

• Double Negation

• Repeat

• Simplification

One can show the validity of an argument by writing a proof, so we used a proof checker along with these rules to practice writing proofs. I really enjoy the process of writing proofs and like how the check can check your work as you go. Lastly, we learned about levels of operators and semantic equivalence.

We completed practice problems, 2 homework assignments based on the readings, and 2 assignments of proofs. We also had a quiz on all of the material.