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.
If ∀x P(x) is true, then P(c) is true, where c is
constant in the domain of x
Variable symbol can be replaced by any ground term
∀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)
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License