CST329 - Week 3

This week we started off learning about conditional derivation. In order to derive implication, one must employ the use of a subproof. A theorem is the conclusion of a valid argument with no premises. A tautology is when an argument has all true premises. Next, we learned about 2 new inference rules: modus tollendo ponens and addition.

We continued with the usual homework assignments of questions about the reading and proofs. We ended off with a quiz on the material.