Here is a brief summary:
To begin with, write down the structure including the comments. Not until last Wednesday did I realize the importance of writing comments for the structure part. I got my term test 2 paper that day and found I lost half a mark for not writing the comments for the last two lines in a proof. Otherwise I would make perfect this time. But the good thing is I learned some comments are not optional to write and will not forget them for the structure part again.
Then, find restrictions for variables to be picked. To do this, we start from the antecedent towards the consequent as before. The only difference is we need to take different restriction for every step into consideration. We should be especially careful when doing the combined-statements proofs and guarantee all the requirements are met.
So far, CSC165 has always been my favourite course. And I hope I will enjoy it till the end of this term.
I also thought some comments such as introduce existential were optional, but in fact they are necessary. And it is true that we need be to careful of the restrictions when picking variables, I sometimes notice I misread the restrictions after I've done the whole proof.
ReplyDelete