17 Mar 2005
CS 3243 - Logical Inference
41
Universal instantiation (UI)
lEvery instantiation of
a universally quantified sentence is entailed by it:
"v α
Subst({v/g}, α)
Subst({v/g}, α)
for any variable v and ground
term g
lE.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))
.
.
.
