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.

Inference rules for Predicate Logic

  • Inference rules for propositional logic apply to propositional logic as well

    • Modus Ponens, Modus tollens etc.

  • New (sound) inference rules for use with quantifiers:

    • Modus Ponens, Modus Tollens

    • Universal elimination

    • Existential elimination

    • Existential introduction

    • Generalized Modus Ponens (GMP)


Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.