1. The toughest part of this reading is honestly the symbols. There was introduced a lot of symbols from last section and now in this section they're everywhere! Another thing that is tough for me is once again the practical application of some of the things that we learned. For instance with example 2.16, it once again refers to the teacher giving the A example. I don't understand the logical equivalence (with this example) of P=>Q and (~P) v Q. ~P would be If you don't earn an A on the final exam and Q would be you receive an A for the final grade, but I don't quite understand how both a logically equivalent.
2. Probably the neatest thing in this section is the idea of logical equivalence. I like how in this section the book identifies how it would be useful. Ofttimes it is difficult to show that one very abstract statement is true hence it is super cool that we can show that it is logically equivalent with a much easier example and then prove that that is true, thus proving the first is true!
No comments:
Post a Comment