Report copyright - Chapter9 · Chapter9 2. Existential instantiation (EI) For any sentence α, variable v, and constant symbol k that does not appear elsewhere intheknowledgebase:
Please pass captcha verification before submit form
Please pass captcha verification before submit form