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.