CSCI 4511W Midterm: CS 4511 UMN Midterm 2key 04
Document Summary
75 minutes == 75 points open book and notes: 10 points. Two sentences in propositional calculus can be shown to be equivalent by proving that one entails the other and viceversa. Show that (p q) p q by doing the following steps: (a) prove by contradiction using resolution. Q with 2b. q and produce a contradiction. (b) prove by contradiction using resolution. We put p q in the kb, add the negation of the goal ( (p q)), transform them to cnf, and prove a contradiction: p q 2. ( (p q)) becomes p q which produces. P q with 2a. p and obtain 3. Q with 2b. q and produce a contradiction: 15 points. You are given the following sentence heads i win, tails you lose. (a) represent it in propositional calculus using the following propositions head, t ail, Iw in, y oulose: head iw in, t ail y oulose (b) suppose that you are told head .
