Structure of Proof (Week 7 sLOG)

To the 7th week of class, we have started doing more proofs, mostly mathematical proofs. On Monday, we have learnt that even though we might be able to do a proof initially, though, we can still write all the structure of the proof. Pushing the proof inward, and usually by doing some mathematic algebra on the side, we can figure out the proof easily. On Wednesday, we have learnt that there are several inference rules that can apply when doing proofs, just as manipulation rules. Then have been introduced about different ‘steps’.