“Existential instantiation”的意思、由来-开放百科全书

词条

Existential instantiation

释义

See also
References

In predicate logic, existential instantiation (also called existential elimination)^[1]^[2]^[3] is a valid rule of inference which says that, given a formula of the form , one may infer for a new constant symbol c. The rule has the restriction that the constant c introduced by the rule must be a new term that has not occurred earlier in the proof.

In one formal notation, the rule may be denoted by

where a is a new constant symbol that has not appeared in the proof.

References

1. ^Hurley, Patrick. A Concise Introduction to Logic. Wadsworth Pub Co, 2008.
2. ^Copi and Cohen
3. ^Moore and Parker

2 : Rules of inference|Predicate logic

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。

See also

References