COMP 232 Midterm: COMP 232 Midterm 2013 Fall
31 Jan 2019
School
Department
Course
Professor
Document Summary
The only allowed tool is an encs approved calculator. Do not detach any pages from this exam! (2pts ea. : let the universe of discourse be z+, the set of positive integers. For each of the following sentences, indicate whether it is true or false. You get +2 points for each correct answer, 2 points for each wrong answer, and 0 points for don"t know. however, the total for this question will not be less that 0. 10 pts (a) x(cid:0)(x < 0) (x 2x)(cid:1) Don"t know! (b) x y(cid:0)(x + y = 0) (x y = 0)(cid:1) Don"t know! (c) x y(x y x + y) Don"t know! (d) x y(cid:0)(x = 3) (y = 4)(cid:1) Don"t know! (e) x y z(cid:0)(y = x + z) (z x)(cid:1) Midterm exam (6pts ea. : here you are to prove propositional equivalences using the laws in the handout. (a) Here is a proof that p (q r) (p q).
