Report - Chapter9 · Chapter9 2. Existential instantiation (EI) For any sentence α, variable v, and constant symbol k that does not appear elsewhere intheknowledgebase:

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form