document.write( "<A HREF=/cgi-bin/jump-to-question.mpl?question=465848>Question 465848</A>: <I><SPAN STYLE=\"word-break: break-all;\"> Write the compound statement in words.<BR>\n" );
document.write( "p = The puppy behaves well.<BR>\n" );
document.write( "q = His owners are happy.<BR>\n" );
document.write( "~(p -> q)<BR>\n" );
document.write( "which one is correct I'm confussed.<BR>\n" );
document.write( "1) It is not the case that if the puppy behaves well then his owners are happy.<BR>\n" );
document.write( "2) The puppy does not behave well or his owners are happy.<BR>\n" );
document.write( "3) If the puppy does not behave well then his owners are not happy.<BR>\n" );
document.write( "4) It is not the case that the puppy behaves well if his owners are not happy.<BR>\n" );
document.write( "  ( I think it is 3 but I'm not sure.) </SPAN>\n" );
document.write( "</I><HR><TABLE width=100%><TR><TD><B><A HREF=http://www.algebra.com/>Algebra.Com's</A> Answer #319225 by </B><A HREF=/tutors/aboutme.mpl?userid=kingme18><B>kingme18(98)</B></A><img src=\"/images/stars/stars-08.gif\" alt=\"\" >&nbsp;<A HREF=/tutors/aboutme.mpl?userid=kingme18><IMG SRC=http://www.algebra.com/images/aboutme-small.gif BORDER=0 alt=\"About Me\" VALIGN=MIDDLE></A>&nbsp;<IMG SRC=http://www.algebra.com/cgi-bin/show-face.mpl?user=kingme18><BR>You can <A HREF=\"/cgi-bin/embed-solution.mpl?show=1&solution=319225\">put this solution on YOUR website!</A><BR><SPAN STYLE=\"word-break: break-all;\"> p -> q means: If the puppy behaves well, then his owners are happy.<BR>\n" );
document.write( "~(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.\r<BR>\n" );
document.write( "<BR>\n" );
document.write( "\n" );
document.write( "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. </SPAN>\n" );
document.write( "</TD></TR></TABLE>\n" );