Question

a. Define what it means for two logical statements to be equivalent b. If P and Q are two statements, show that the statement ( P) л (PvQ) is equivalent to the statement Q^ P c. Write the converse and the contrapositive of the statement "If you earn an A in Math 52, then you understand modular arithmetic and you understand equivalence relations." Which of these d. Write the negation of the following statement in a way that changes the quantifier: Every UVM e. Write the negation of the following statement in a way that changes the quantifier: There exists f. Write the negation of the following statement in a way that changes the quantifier: For all g. Use a proof by contrapositive to prove that if c is an irrational number, then 2+ 3c is irrational is equivalent to the original statement? faculty member is a US citizen a differentiable function that is not continuous integers n, the inequality n! > n2 holds h. Suppose that a, b and m are positive integers. Prove that a and b have the same remainder when divided by m if and only if a-b+ km for some integer k

Answer 1

Answoi dheq have the ^am« lojial meaning. Thal is, whenover one is tnue ,lhe olher s auso tnu ahd uwhanav ona is false,the oths is also we tah san that dhat two loqrtal statu monts wu equiaintt valuas CThus os false) have tha same tuth (b) uven that P and ato stata mant. twe Cuu to show tha CamScanner

dat w draw .tu huth bable as follougg T F ㄒ we sea that both n P)A (Pvs) and (on-P) har same huuth V Jhus, both the stateman oneauivalent () Jhe given statemant is we eon an A in Math 52 ithon we undou tand modulas aithmehc and we undurutand eg Jhe convee is ult ωe undarstand. modular a-uth mehe and u undeutand equivalenu elah'o ns than we eaun an A in Math 5 The onhapesitive s lt we do not undustand modulen orithmahc o tue do not unduustand euvalunu talations t thon do not earn an A In 'nath 52. e. he uonhaþositive .tadament il equivalant to Scanned with Gams oyuginal stata mant

he hegahon o he abore statumunt that changa hna.mavr is hot a us CS Scanned with CamScanner