2.9-2.10, due January 13

1. I can tell that I am going to get confused when I start trying to negate statements. I could understand all of the examples, but I don't know how I would negate something that was like, "(P or Q) and (not P implies Q).

2. The universal quantifier is going to trip me up! I almost always put a little cross on my conjunction symbol and accidentally make it an "A." I have a feeling my disjunction symbol is going to start having the same problem! But at least I understand what it means.