Summary: Propositional Logic

• Syntax

  • Prop variables: P, Q, …
  • Connectives: and, or, not, =>, =

• Semantics

  • Truth Tables

• Inference

  • Modus Ponens
  • Resolution

• Complexity:

  • NPC

?P ? Q, P

Q

?P ? Q, P ? R

Q ? R

Previous slide

Next slide

Back to first slide

View graphic version