Existential instantiation

In predicate logic, existential instantiation (also called existential elimination) is a valid rule of inference which says that, given a formula of the form $(\exists x) \phi(x)$ , one may infer $\phi(c)$ for a new constant or variable symbol c. The rule has the restriction that the constant or variable c introduced by the rule must be a new term that has not occurred earlier in the proof.

单词	Existential instantiation
释义	Existential instantiation 英语百科 Existential instantiation In predicate logic, existential instantiation (also called existential elimination) is a valid rule of inference which says that, given a formula of the form $(\exists x) \phi(x)$ , one may infer $\phi(c)$ for a new constant or variable symbol c. The rule has the restriction that the constant or variable c introduced by the rule must be a new term that has not occurred earlier in the proof.
随便看	bottom angle of bucket的意思 bottom anticorrosive paint的意思 bottom antiquark的意思 bottom anvil的意思 bottom application的意思 bottom arch bar的意思 bottomarie的意思 bottom arm的意思 bottom articulated joint的意思 bottom ash的意思 bottom ash cooler的意思 bottom ash discharge valve的意思 bottom ash hopper的意思 bottom ash sluicing water的意思 bottom assembly的意思 bottom attack的意思 bottom back up roll的意思 bottom bag with fourside seals的意思 bottom balance endpiece screw的意思 bottom balance jewel的意思 bottom ballast的意思 bottom bank的意思 bottom banksman的意思 bottom bar的意思 bottom bar for stretching hanging curtains的意思