Translation of "quantifier" to German language:
Dictionary English-German
Quantifier - translation :
Examples (External sources, not reviewed)
| Quantifier, 1 or more. | Quantifizierer, steht für eins oder mehrere. |
| Quantifier, 0 or more. | Quantifizierer, steht für kein oder mehrere. |
| Let formula_1be a formula of first order logic with formula_2 quantifier free. | Der Satz besagt Sei formula_1 eine geschlossene prädikatenlogische Formel. |
| For an intuition about the quantifier rules, consider the rule formula_56. | For an intuition about the quantifier rules, consider the rule ( R). |
| An optional character. Can be interpreted as a quantifier, 0 or 1. | Ein optionales Zeichen. Kann als Quantifizierer 0 oder 1 mal gedeutet werden. |
| The string 0,4 is a quantifier saying anywhere from 0 up to 4 of the previous. | Die Angabe 0,4 ist ein Quantifizierer, der sagt von 0 bis 4 mal das vorher spezifizierte. |
| The method of quantifier elimination can be used to show that definable sets in particular theories cannot be too complicated. | Die Methode der Quantorenelimination wird benutzt, um zu zeigen, dass die Modelle von gewissen Theorien nicht zu kompliziert sein können. |
| Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier free arithmetical formula , Personal Journal of Yuri Matiyasevich. | Yuri Matiyasevich Elimination of bounded universal quantifiers standing in front of a quantifier free arithmetical formula , (on line version), Personal Journal of Yuri Matiyasevich. |
| Here the order of the universal quantifiers for and for is not important, but the order of the former and the existential quantifier for is. | Wenn formula_1 gleichmäßig gegen formula_2 konvergiert, dann ist formula_2 Riemann integrierbar, und das Integral von formula_2 ist der Grenzwert der Integrale der formula_3. |
| A proposition is (i) a predicate symbol applied to the number of terms required by its arity, (ii) an operator applied to the number of propositions required by its arity, or (iii) a quantifier applied to a proposition. | Beispiel Alle Rappen sind schwarz. gegenüber Alle Krähen sind schwarz. Da alle Rappen (auch) durch Schwärze definiert sind , handelt es sich nach der kritisierten Unterscheidung um eine analytische Aussage. |
| 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. | 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. |
Related searches : Logical Quantifier - Existential Quantifier - Universal Quantifier
