1. (Difficult) The thing I have found the most difficult in the reading is trying to dissect the statements using the mathematics definition of the words rather than their english definition. This is especially true in the section about More on Implications. The idea that "if 3=-3 then |x|=3" is a true statement still sounds odd to me.
2. (Reflective) Tautology is strange because it seems like a label for something that doesn't need such a label. If a statement is always true, then it doesn't need some fancy title. Also, logical connectives is a section that I think should precede the whole logic section. It would be nice to get a definition of those symbols before showing them.
No comments:
Post a Comment