Department of Mathematics, METU, MATH 111 - FUNDAMENTALS OF MATHEMATICS FIRST MIDTERM STUDENT NUMBER NAME, FAMILY NAME GRADE L ies sth November 2015. Duration + 100 minutoe. Pour questions: 20-45, 25,94 (6444444) ,28 1. Construct the truth table of the following statement. (GP) @) > (pvr) Is this statement a tautology ? A contradiction ? ((4t) a) —+(P 8) ete |e Ft T TTT tilrled et titfrre Tie |t er F TTT tie le fot F TTF git {Tt TTT FrT elt lf ateeeie ae FEF ele |t aoe FUtlerr cle [F 7 F FITJF PE contradictions This is neither a Fautolegy ner 9% Pree2. Using the notation A: ”Ayge goes to the dance” B : *Betiilis angry” B: *Bsref plays cards all night” R : "Rauf is angry” z Zeynep is notified” show that the following argument is valid by writing # derivation "IE Ayse goes to the dance, then Betiil will be angry. If Byref plays cards all night, then Rauf will be angry. If Betiil or Rauf is angry, then Zeynep will be notified. Zeynep ‘was not notified. It follows that Aye did nat go to the dance and Bgref did not play cards all night.” 1, a) 2. ER The premises vv 3. (aR) 4 ‘, mE 5, Be (BR) fm 9, by “enters gg yg), vy MP po 6. 1(by8) From $5 hy ( a Fem G by “De Morgan 1 poe From 7 es ene \ by 4 iggplification EE at A Fram 1 by “conbrapesitton 49, Th—7 7 : " ” 2 Da From 8&10 by MP, noo pHegt erie e eet E oo Conjrtnetron of AE aN.3. (A) Pind the negation of the statement (We €2)(ay €Z){ (© +y=2) v (e~ oy #3)} (Your result should not contain the negation sign ©” !) (B) Let P(e, ) stand for 2 > y* where «,y take integer values. Decide if the following statements are true or false (1) (Ve € 2)Gy € Z)P(w,u), (2) (Wy € Z)(Se € Z)P(xu). @) (By € lve € Z)P(z,y), (4) Gz € Z)Vy € Z)P(2.4) Explain your answer briefly in each case. (A) = (vee(39¢2){ 6.9 0} <= (4xe%) = (39624 6 A) Negation ote an bier Negation of the ee (Be GA) (yD) JO } 08 LIME antfee axa (Bera t4e2)f (rye) (ote The le. “De Morgan tH ri ince Mth xe -5 ie (d) 9 (¥4e2)(83€2) (0 9") # fe fe nh ome holds for 2(tyeZ)G> 2) ore) iste for al cafficiently Merde xed feue since ®% y be since whatever gy" a) is false ey sy(2obee a)(#ae%) 79" ‘ yy is false fer nega tiv foc ang valve ae ine 4)(axez)(4y€2) a) ts false — sine ae of *) with 37 ir omy4, Prove that B— CC A if and only if B- AC C for any sets A,B,C Suppose that B-Ce AG e) forensic (Ali ows navel (ae a), Gg). As Deco A, vw clear tat [hen (xfe)] xe A, Taking the contrapssitive gives (xf A) fern), #9) From (#) we have - by stmplification = (xf A) which gives Ms a Howeer, Mb xem A, hence eB or that x60. equivalently (xf) , We gallows This being trae fer arbitrary X) ibte seem thar b-A oC. The converse can be established by yisirotsten interchanging the roles of A on \