Question 465848
p -> q means: If the puppy behaves well, then his owners are happy.
~(p -> q) negates the WHOLE THING all at once--don't distribute the "not", just leave it out front.  Without looking at answer choices, I'd say something like "NOT TRUE: If the puppy behaves well, then his owners are happy."  That is what 1 says.


3, which is what you were thinking, would look like ~p -> ~q.  As much as it seems like we could have distributed the not (~), it's not legal in logic.