Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Resolution - Complete Example

  • (Nearly) Classical example: Prove “Fido will die.” from the statements
    • “Fido is a dog.”
    • “All dogs are animals.”
    • “All animals will die.”
    • Changing premises to predicates
      • ∀ (x) (dog(X) → animal(X))
      • dog(fido)
    • Modus Ponens and {fido/X}
      • animal(fido)
      • ∀ (Y) (animal(Y) → die(Y))
    • Modus Ponens and {fido/Y}
      • die(fido)

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.