Prove that Universal Instantiation is sound and that Existential Instantiation produces an inferentially equivalent knowledge base.
Answer
Improve This Solution
View Answer
Prove that Universal Instantiation is sound and that Existential Instantiation produces an inferentially equivalent knowledge base.