Assigned: October 28, 2008
Due: November 4, 2008
Prove that (A OR B) holds using the truth-table approach.
Grading Criteria: To get full credit, you first need to show the truth table, making sure you have columns for all intermediate steps. You then need to explain how you interpret the truth table to prove (A OR B), either by highlighting rows, or by using one or two sentences to explain the process.
Knowledge Base:
Rules:
Goal: I am a chocoholic
(a) Convert these sentences to propositional logic.
(b) Put the resulting sentences into Conjunctive Normal Form.
(c) Using proof by refutation and resolution as the single inference rule, show the resolution proof that proves or disproves the goal.
Grading Criteria: For part(c), you can either use a graph or show the resolution process step by step. Even if the first two steps are wrong, you can get credit, if we think you did the correct resolution.