| Universal instantiation
(UI) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| l | Every
instantiation of a universally quantified sentence is entailed by |
|||||||||||||
| it: |
||||||||||||||
| v α |
||||||||||||||
| Subst({v/g},
α) |
||||||||||||||
| for any variable v and ground term
g |
||||||||||||||
| l | E.g., x King(x)
Greedy(x)
Evil(x)
yields: |
|||||||||||||
| King(John)
Greedy(John)
Evil(John) |
||||||||||||||
| King(Richard)
Greedy(Richard)
Evil(Richard) |
||||||||||||||
| King(Father(John))
Greedy(Father(John))
Evil(Father(John)) |
||||||||||||||
| . |
||||||||||||||
| . |
||||||||||||||
| . |
||||||||||||||
