Existential instantiation
In predicate logic, existential instantiation (also called existential elimination) is a 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 restrictions that the constant c introduced by the rule must be a new term that has not occurred earlier in the proof, and it also must not occur in the conclusion of the proof. It is also necessary that every instance of which is bound to must be uniformly replaced by c. This is implied by the notation , but its explicit statement is often left out of explanations.
Wikipage redirect
Link from a Wikipage to another Wikipage
primaryTopic
Existential instantiation
In predicate logic, existential instantiation (also called existential elimination) is a 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 restrictions that the constant c introduced by the rule must be a new term that has not occurred earlier in the proof, and it also must not occur in the conclusion of the proof. It is also necessary that every instance of which is bound to must be uniformly replaced by c. This is implied by the notation , but its explicit statement is often left out of explanations.
has abstract
En lógica de predicados, la ej ...... estra prueba hasta el momento.
@es
In predicate logic, existentia ...... has not appeared in the proof.
@en
Na lógica de predicados, insta ...... sido parte da prova até agora.
@pt
存在例化(そんざいれいか、英: Existential in ...... でaは、その時点まで証明に現れていない新しい定数記号である。
@ja
Wikipage page ID
34,632,680
page length (characters) of wiki page
Wikipage revision ID
1,020,178,646
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
comment
En lógica de predicados, la ej ...... estra prueba hasta el momento.
@es
In predicate logic, existentia ...... ften left out of explanations.
@en
Na lógica de predicados, insta ...... sido parte da prova até agora.
@pt
存在例化(そんざいれいか、英: Existential in ...... でaは、その時点まで証明に現れていない新しい定数記号である。
@ja
label
Existential instantiation
@en
Instanciación existencial
@es
Instanciação existencial
@pt
存在例化
@ja