Due Tuesday 10/20/97 at beginning of class

  • [15 points] Logic:
  • Prove the following using Modus ponens, Modus tollens and tautologies.
  • Document each step of your proof.
    1. Axiom 1: H => Q
    2. Axiom 2: P => (Q + R)
    3. Axiom 3: Q => ~R
    4. Axiom 4: R <=> S
    5. PROVE: (P & S) => ~Q
  • [15 points] Logic:
  • Prove the following using Modus ponens, Modus tollens and tautologies.
  • Document each step of your proof.
    1. Axiom 1: H => Q
    2. Axiom 2: (Q & ~B) => H
    3. Axiom 3: ~(Q & R)
    4. Axiom 4: ~A => (~H + R)
    5. PROVE: Q => (A & ~R) + (B & ~R)
  • [20 points] Logic:
  • Convert the expressions in questions 1 and 2 to literal clauses
  • and used resolution and refutation to generate a proof.