Je was op zoek naar: existenzquantor (Duits - Engels)

existenzquantor
existential quantifier

existenzquantor, es existiert mind. ein (exists)
command as seen in formula

im mittelpunkt der untersuchungen stehen der allquantor und der existenzquantor.
in this usage, the braces have the meaning "the set of all ...".

sie fügen mit dem symbol den existenzquantor "es existiert" ein.
symbol is used to add the existence quantor there exists.

== algorithmus zum erzeugen der skolemform ==man erhält eine formel nach skolem, wenn man auf eine bereinigte, pränexe formel f folgende umformungen anwendet:solange f einen existenzquantor enthält:::f habe die form:::formula_3::setze:::formula_4::dabei sei f ein in f noch nicht vorkommendes n-stelliges funktionssymbol.
the skolem term formula_14 contains formula_19, but not formula_20, because the quantifier to be removed formula_9 is in the scope of formula_22, but not in that of formula_23; since this formula is in prenex normal form, this is equivalent to saying that, in the list of quantifers, formula_19 precedes formula_4 while formula_20 does not.