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
- Equivalent proof by Resolution
- Convert predicates to clause normal form
|
||
Predicate form
|
Clause form
|
|
1.
∀
(x) (dog(X)
→
animal(X))
|
¬
dog(X)
∨
animal(X)
|
|
2. dog(fido)
|
dog(fido)
|
|
3.
∀
(Y) (animal(Y)
→
die(Y))
|
¬
animal(Y)
∨
die(Y)
|
- Negate the conclusion
-
4.
¬
die(fido)
¬
die(fido)
Speaker notes:
Content Tools
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.