Section 3

1. The most confusing thing in this section was the part where they explained how to build a truth table. It seems intuitive enough on its own; you just take every possible truth value for P and Q, determine if each compound statement including P and Q is either true or false, and then compare the resulting truth values. Where I got lost was where it explained the efficient way to organize it by rows until you had 2^n rows. I didn't get what it was saying. If I could see someone else doing it then I might be able to understand it better.

2. I thought the table of equivalences was fascinating. It's really cool how they can distribute, and the proofs made total sense to me. It's good to know as well because this will come in handy later when I am inevitably dealing with incredibly complicated statements because I can look at these generic examples and be able to efficiently determine if certain components are true or false.

Comments

Post a Comment

Popular posts from this blog

Midterm Review 10/2/18

I think the most important topic we have studied have been how to outline and write proofs. They are simple enough for the most part, but they have helped me to think more deeply about topics that I have understood but maybe not understood fully, and they have also helped me to think more abstractly to understand things that I haven't understood before. On the exam, I'm mostly expecting to see proofs and set theory questions. I think there will be a few logic questions but they will mostly be tied up in set problems and in formal proofs. I would like to see a few more examples of rationality proofs, like the ones from homework 11 and 10. Those were a bit harder for me to understand the theory behind the proof so seeing those written out would help me out a lot.
Read more

sec 28

this section wasnt terrible, I understood what was going on for the most part. It is a little more abstract since we are dealing with infinite sets. I also didn't really know what the new notation was for, the squiggly N symbol was very weird looking. I think it just need to hear it explained out loud to fully understand it.
Read more

12/7/18 midterm review

The most important thing that we have studied since the last midterm has probably been Schroder-Bernstein theorem and cardinality proofs. They are a little bit abstract since we are dealing with the size of infinite sets, and my intuition gets broken from time to time, but so many proofs and theorems build off of them. I also think that the limit proofs we did are very important, because it is the basis for Calculus and analysis which is what I will be doing next semester and in the coming semesters. For the midterm I am expecting to see cardinality proofs for the proof section, and for the multiple choice and true/false some basic questions about cardinality and limits. I'm a bit more concerned about cardinality proofs because that section was the hardest for me, so if you could go over some of the more difficult cardinality proofs tomorrow that would be great.
Read more