The material was fairly straight forward. I had to read Example 2.25 twice, so I guess I am still not that comfortable working with power sets. The other difficulty I found is being able to write out the sentences and still make them sound logical.
The most interesting part was the section where they combined the universal and existential qualifiers. For every..., there exists. It reminded me of how almost every theorem began in Math 302. I also personally think for every... sounds better than If...then, and scientists should use the phrase too in their lab write-ups because they are logically equivalent.
No comments:
Post a Comment