Difficult: I did not really understand what the difference between a trivial proof and a vacuous proof is. I think I picked up that for a vacuous proof every x that is an element of s for P(x) implies Q(x) but where every element is false for P(x). But I didn't really get how to define a trivial proof. So I would like it to be a little more clear as to how to differentiate between the two.
Reflective: My favorite section for this reading was 3.2 on Direct Proofs. I thought that it was helpful how the text introduced a small part of a direct proof, followed by another, and so on. By breaking up the different aspects for the conditions of the proof I was able to follow the thinking and the explanation easier than in other past times. I also liked how their addressed the section about properties of integers as something that was "familiar" and "elementary". It seems sort of ridiculous but just by the text alluding to the simplicity, made the whole thing seem easier to understand.
No comments:
Post a Comment