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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Sources
There are currently no sources for this slide.