Propositional Logic: Inference

• Backward Chaining (Goal Reduction)

  • Based on rule of modus ponens
  • If know P1 ?... ? Pn and know (P1 ?... ? Pn )=> Q
  • Then can conclude Q

• Resolution (Proof by Contradiction)

• GSAT

• Davis Putnam

Previous slide

Next slide

Back to first slide

View graphic version