The corresponding Existential Instantiation rule: for the existential quantifier is slightly more
complicated. For any sentence a, variable v, and constant symbol k that does not appear elsewhere in
the knowledge base.
a) True
b) False
complicated. For any sentence a, variable v, and constant symbol k that does not appear elsewhere in
the knowledge base.
a) True
b) False