Existential instantiation
id:
existential-instantiation-197-12375580
title:
Existential instantiation
text:
In predicate logic, existential instantiation 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 x which is bound to ∃ x must be uniformly replaced by c. This is implied by the notation P , but i
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Existential_instantiation
date created:
date modified:
2022-06-08T22:58:29Z
main entity:
{"identifier":"Q2013340","url":"https://www.wikidata.org/entity/Q2013340"}
image:
fields total:
13
integrity:
13