But...

• …what if it’s not a tautology?

• How do we prove it?

• The most common way is to use a deduction rule called modus ponens

  • Prove p ? q
  • Then prove p
  • This in turns proves q

• More soon

Previous slide

Next slide

Back to first slide

View graphic version