Reminder: Late homeworks will NOT be accepted!

1. Rosen, Section 1.3, 14c-h. For each answer, give a brief argument about why your answer is correct.
2. For each of the following expressions, state whether it is true or not. Give an informal argument (this does not have to be a rigorous proof) about why your answer is correct. (Although the argument does not have to be a rigorous proof, it must be a convincing and accurate argument supporting your answer.)
   1. 
   2. 
   3. 
3. Consider the following expression:

   

   1. What is the truth value? Give a brief argument about why your answer is correct.
   2. Take the negation of the expression, simplifying as much as possible using the rules of logical equivalence.
4. Consider the following expression:

   

   1. What is the truth value? Give a brief argument about why your answer is correct.
   2. Take the negation of the expression, simplifying as much as possible using the rules of logical equivalence.
5. Rosen, Section 1.3, 31
6. Rosen, Section 1.3, 32
7. Rosen, Section 3.1, 8a,c
8. Rosen, Section 3.1, 9

• About this document ...