CSCI 4511W Midterm: CS 4511 UMN Midterm 2 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. (a) prove by contradiction using resolution. (p q) |= p q (b) prove by contradiction using resolution. P q |= (p q: 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. (b) suppose that you are told head . Prove, using any method you like, that you lose . To do the proof you might need to represent additional knowledge. (c) suppose that you are now told tail . Comment brie y on your choice of additional knowledge: 10 points. Write the following sentences in predicate calculus: (a) every city has a dogcatcher who has been bitten by every dog in town.
