ࡱ> FHE7 bjbjUU "27|7|Hl^^^rRRR8$,r 8(z | | | | | | $3" S$r ^ k kkkR^z kz kk7V@<"^z   r R z 0  x$Y$z krrHomework 6: Solutions Problem 1 (1) q ( r premise (r premise Therefore (q by modus tollens (2) p ( q premise (q by (1) Therefore p by disjunctive syllogism (3) (q ( u ( s premise (q by (1) Therefore u ( s by modus ponens (4) u ( s by (3) Therefore s by conjunctive simplification (5) p by (2) s by (4) Therefore p ( s by conjuctive addition (6) p ( s ( t premise p ( s by (5) Therefore t by modus ponens Problem 2 (1) (q ( s premise (s premise Therefore (q by disjunctive syllogism (2) p ( q premise (q by (1) Therefore (p by modus tollens (3) r ( s premise (s premise Therefore r by disjunctive syllogism (4) (p by (2) r by (3) Therefore (p ( r by conjunctive addition (5) (p ( r (u premise (p ( r by (4) Therefore u by modus ponens (6) (s ( (t premise (s premise Therefore (t by modus ponens (7) w ( t premise (t by (6) Therefore w by disjunctive syllogism (8) u by (5) w by (7) Therefore u(w by conjuctive addition Problem 3 The statement is not existential. An informal negation of the statement is There are some easy questions on the exam or Some of the questions on the exam are easy. A formal version of the statement is ( questions on the exam x, x is not easy or (x, if x is a question on the exam then x is not easy In informal language, these can be written as None of the questions on the exam are easy Problem 4 Invalid. Let D be the set of all discrete mathematics students, T the set of all thoughtful people, and V the set of all people who can tell a valid from an invalid argument. Any one of the following diagrams could represent the given premises.  Only in drawing (1) is the conclusion true. Hence it is possible for the premises to be true while the conclusion is false, and so the argument is invalid. Problem 5 Yes: 4rs = 2(2rs) and 2rs is an integer because r and s are integers and products of integers are integers. Yes: 6r+4s2+3 = 2(3r+2s2+1) + 1 and 3r+2s2+1 is an integer because r and s are integers and products and sums of integers are integers. Yes: r2+2rs+s2 = (r+s)2 and r + s is an integer that is greater than or equal to 2 because both r and s are positive integers, and so each is greater than or equal to 1. Problem 6 For example, let n = 25. Then n is a perfect square because 25 = 52 and since 25 = 9+16 = 32+42, n can be written as a sum of two other perfect squares. Problem 7 This incorrect proof begs the question. The second sentence of the proof states a conclusion that follows from the assumption that m x n is even. The next to last sentence of the proof states this conclusion as if it were known to be true. But it is not known to be true. In fact, it is the main task of the proof to derive this conclusion, not from the assumption that it is true but from the hypothesis of the theorem. Problem 8 Proof: Let m and n be any odd integers. By definition of odd, m=2r+1 and n=2s+1 for some integers r and s. By substitution, m-n = (2r+1)-(2s+1)=2(r-s). Since(r-s) is an integer (being a difference of integers), then (m-n) equals twice some integer, and so m-n is even by definition of even. Problem 9 Counterexample: Let m=3. Then m2 4 = 9 4 = 5 which is not composite. Problem 10 If m and n are perfect squares, then m=a2 and n = b2 for some integers a and b. We may take a and b to be nonnegative because for any real number x, x2=(-x)2 and if x is negative then x is nonnegative. By substitution, m + n + 2 X (square root of mn) = a2 + b2 + 2 X (square root of a2b2) = a2+b2+2ab since a and b are nonnegative =(a + b)2 But a + b is an integer (since a and b are), and so m + n + 2 X (square root of mn) is a perfect square. INFS 501 Fall 2002 Solutions HW6 Page  PAGE 3 of  NUMPAGES 3 !()9:OPQlm}~Y[\^~팀5CJOJQJ\^JCJOJQJ^J j5OJQJ\^J jOJQJ^J jOJQJ^J5OJQJ\^J j~5OJQJ\^J j~OJQJ^J jOJQJ^J5CJOJQJ\^J OJQJ^J5CJOJQJ\^J2!"5Edfy 45COwx$a$(7VWjz+,ANlm,-ABC]^no013456BCXYZstηηCJOJQJ^J jOJQJ^J j5OJQJ\^J jOJQJ^J5OJQJ\^J j~5OJQJ\^J j~OJQJ^J jOJQJ^J OJQJ^J>!"4 5 M N 4 5  4 A = > D E M N 1 3 J K M N =Hoyghmoʻʵʵʵʵʵʵʵʵʵ誦CJH*CJH*OJQJ^J H*OJQJjOJQJU >*OJQJOJQJ j"OJQJ^J>*OJQJ^J OJQJ^J5CJOJQJ\^J5CJOJQJ\^JA5 6 @ A 6 7  )<=>HIm & Fmnoy &4$a$$a$ !230JCJmHnHu0JCJj0JCJUCJCJCJH* 1h/ =!"#$%UDd!J  C &AP4.bmpb4\⃕rZLT)"2D8n4\⃕rZLT)"2PNG  IHDRX*`˜gAMA|Q pHYsttfxIDAThn6a{M# T ?_0E@S AS2$g8zƢ'P3ə!9ڸ]VZY+ke?X}Wb]9w{"iX4▜fw+ŝk+Kw_-f&`,dup7$ T@,K_q'm3^jƚKn\HzfҋeKǬj&ZCklB)㶮E\l+UIƙ'Wg=~W%kB\xlTJ,pXXzĚ(H,K+<qAӌ5D)'э׵, ,Dw[g R y{f ϒqW2^YZ޺ tX%K;ݡyT2 ,%f2q?;}5ng{2~Ql;1A;fXg=KFg%YMeֹ~_SЯ k,syPa|ɽ`]8w=<k>k|":T8 %z sH$OsġX>Ⱥ<';k6+QѫNܒ5+dM#k0>E{,K:6iWGj#kV+V#jђeE#KVeipք5UZacj{j uõ=ڥ[!/>W8,`5'>Y~C(NrVZY+ke׿^8IENDB` i8@8 NormalCJ_HaJmH sH tH << Heading 1$$@&a$ 5CJ\<A@< Default Paragraph Fonte@ HTML Preformatted7 2( Px 4 #\'*.25@9CJOJPJQJaJ,@, Header  !, @, Footer  !&)@!& Page Number 2!"5Edfy 45COwx(7VWjz+,ANlm!"45MN456@A67 ) < = > H I m n o y &4000000000000000000000000000000000@00@00@0000@0000@0000@0000000000000000000000000000000000000000 00 00 0000000000000000000000000000000000000@0@0@0@0 0000$$GGGJ5 m)027BDJ!448@0(  B S  ?\ccmNU$*ekIL &':;jk~9:EF|}-.[\op12CDqrX_KN   c h ,-333333333333333333333333333333333333ryklMN   d e ( ) dshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docdshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docdshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docdshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docdshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docdshenoyfC:\WINNT\Profiles\dshenoy\Application Data\Microsoft\Word\AutoRecovery save of Solutions_Homework6.asddshenoyfC:\WINNT\Profiles\dshenoy\Application Data\Microsoft\Word\AutoRecovery save of Solutions_Homework6.asddshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docdshenoyfC:\WINNT\Profiles\dshenoy\Application Data\Microsoft\Word\AutoRecovery save of Solutions_Homework6.asddshenoy1C:\WINNT\Profiles\dshenoy\Solutions_Homework6.docB\d4s nV]"hh^h`o(.88^8`.L^`L.  ^ `.  ^ `.xLx^x`L.HH^H`.^`.L^`L.808^8`0o(()^`.pLp^p`L.@ @ ^@ `.^`.L^`L.^`.^`.PLP^P`L.p^`po()^`.pLp^p`L.@ @ ^@ `.^`.L^`L.^`.^`.PLP^P`L.d4 nV         n.A        ַ4        @ @b @UnknownGz Times New Roman5Symbol3& z ArialABook Antiqua?5 z Courier New"qhȫklFlF M !20d2QHomework 4 - SolutionsdshenoydshenoyOh+'0   < H T `lt|Homework 4 - SolutionsomedshenoyshesheNormaldshenoy12eMicrosoft Word 9.0o@ @2 @Э@  ՜.+,D՜.+,D hp|  GMU Homework 4 - Solutions Title 8@ _PID_HLINKSAH3& P4.bmp  !#$%&'()*+,-./012346789:;<>?@ABCDGRoot Entry F IData 1Table"$WordDocument"2SummaryInformation(5DocumentSummaryInformation8=CompObjjObjectPool    FMicrosoft Word Document MSWordDocWord.Document.89q