Propositional Logic

• Syntax

  • Atomic sentences: P, Q, …
  • Connectives: ? , ?, ?, ?

• Semantics

  • Truth Tables

• Inference

  • Modus Ponens
  • Resolution
  • DPLL
  • GSAT
  • Resolution

• Complexity

Previous slide

Next slide

Back to first slide

View graphic version