Entry #5

We got back our test and assignment marks, I was disappointed of mark due to silly mistakes I made on the test and our group did "good" on the assignment. Apparently I didn't know that the converse of the contra positive is just the converse. Hopefully I can still boost up my mark because of how our grading is set up.
We did some proofs in tutorials, I get the structure of the proofs but I still had problems tackling the proving part of the problem. According to my T.A. in our next tutorial we might be quizzed on proofing so I hope I can do them.

Entry #4

So we just finished our test and hopefully I did well. Even tho there was no tutorials, tutorials would had helped me prepare for this test better.
We did more proofs in class and every time he did a proof, I didn't know where to start of how to prove the proof. Hopefully in our next tutorial we get more practice with these proofs.

Entry #3

After tackling Assignment 1 this week, now I have to tackle the upcoming Test. Hopefully I get a good grade on the first assignment so my mind can be put to ease for this test. We recently learned about proofs in class, just looking at it them right now looks really challenging. So far I kind of understand the basic structure of the proofs:

Assume ... # generic
       Assume ... # Antecedent
               Then ... steps


                ..... # by previous line
       Then .... # implication is introduced
Then .... # introduced ∀

Just looking at the previous test that is posted on the course website, it already looks difficult. Hopefully by Friday, I learned all the stuff and can tackle the previous test with ease.