SLOG week 4

   I am enjoying proofs. Last year I took MAT137, and, though that was a real maths course, I think this course is introducing me to the concept better than that one did. Of course, we have only done very, very simple proofs so far, all of which depend on algebra that would come easily to most people, like showing that if y = 10x, then y(squared) = 100x(squared) or something like that.

   Still, though, I admire the elegance of the process: you assume some antecedent, and if you can naturally derive the consequent from that antecedent, you can prove the implication. The few that we have tried in class have been simple enough and very understandable. I look forward to getting more advanced.