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.
Universal and Existential elimination
-
Universal elimination
-
If ∀x P(x) is true, then P(c) is true, where c is any constant in the domain of x
-
Variable symbol can be replaced by any ground term
-
Example:
-
∀x RegularlyAttends(x, lecture) → Pass(x, lecture)
-
Allow us to conclude (assuming Joe is in the domain of x):
-
RegularlyAttends(joe, lecture) → Pass(joe, lecture)
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.