Aussagefunktion oor Engels

Aussagefunktion

Vertalings in die woordeboek Duits - Engels

statement function

naamwoord

voorbeelde

Wird 47 nun ein Sachverhalt durch eine Aussagefunktion angegeben oder durch eine Aussage?
The question is whether a state of affairs is indicated through a propositional function or through a statement.

Jedenfalls sind für alle fünf Aussagefunktionen Stein und Mauer zulässige Argumente.
At any rate, for all five propositional functions, brick and wall are permissible arguments.

Aussagefunktion {f}
statement function [noun] [ling.] [philos.]

Es drängt zur ästhetischen Form und läßt sich in der Analyse der Redeinstanzen und Aussagefunktionen sowie des rhetorischen Zusammenspiels pragmati¬scher und ästhetischer Intentionen nachweisen.
The analysis of narrative perspective and function as well as of the rhetorical interaction of pragmatic and aesthetic intentions show this concept to have taken on aesthetic form.

Die Klasse der Steine dagegen ist für keine dieser Aussagefunktionen zulässiges Argument.
On the other hand, the class of bricks is not a permissible argument for any of these propositional functions.

"Das eben-' angeführte „x raucht"" ist eine solche Aussagefunktion."
'x smokes' is such a propositional function.

Aussagefunktion {f} [noun]
propositional function

Wir betrachten die umfangsgleichen Aussagefunktionen „ x ist ein Mensch“ und „ x ist ein vernünftiges Tier“ .
"Let us consider the coextensive propositional functions, ""x is a man"" and ""x is a rational animal""."

"Wir fällen tatsächlich ein Urteil über einen unbestimmten (ambiguous) Fall der Aussagefunktion „A ist A ""."
We are in fact judging an ambiguous instance of the propositional function 'A is A'.

Diese drei Aussagefunktionen sind also umfangsgleich.
Thus, these two propositional functions are coextensive.

Dies ist eine Aussagefunktion, die einen Besitz ausdrückt.
This is a propositional function expressing possession.

Aussagefunktion {f} [noun] [ling.] [philos.]
statement function

Aussagefunktion {f}
propositional function [noun]

Eine beliebige Folge von Gegenständen, die jede Aussagefunktion der Klasse L' erfüllt, wollen wir als Modell oder Realisierung der Aussagenklasse L bezeichnen (in eben diesem Sinne wird üblicherweise vom Modell des Axiomensystems einer deduktiven Theorie gesprochen).
An arbitrary sequence of objects which satisfies every sentential function of the class L' will be called a model or realization of the class L of sentences (in just this sense one usually speaks of models of an axiom system of a deductive theory).

So verfügen Aussagen innerhalb eines entsprechenden diskursiven Feldes über eine Aussagefunktion, die die Aussage zu einer diskursgebunden beschreibbaren Einheit von Sinn erscheinen lässt.
Thus within a corresponding discursive field statements dispose of a enunciative function which permits a statement to appear as a discourse-bound describable unit of meaning.

Gibt die Indizes der Elemente der Liste L zurück, für die die Aussagefunktion P das Ergebnis true hat.
Returns the list of elements of list for which the predicate p returns true.

Gibt die Elemente der Liste L als eine Liste zurück, für die die Aussagefunktion P das Ergebnis true hat.
Returns the list of elements of list for which the predicate p returns true. Example:

Wir ersetzen alle ausserlogischen Konstanten, die in den Aussagen der Klasse L auftreten, durch entsprechende Variablen, und zwar gleiche Konstanten durch gleiche Variablen, verschiedene durch verschiedene; dadurch gelangen wir zu einer Klasse L' von Aussagefunktionen.
Wo replace all extra-logical constants which occur in the sentences belonging to L by corresponding variables, like constants being replaced by like variables, and unlike by unlike. In this way wo obtain a class L' of sentential functions.

• Geeignet für technisch unterwiesene Personen, Gut/Schlecht-Aussagefunktion
• Suitable for technically trained personnel, good/bad statement function

Zu den fundamentalen Begriffen der Semantik gehört der Begriff des Erfülltseins einer Aussagefunktion durch einzelne Gegenstände, bzw. durch eine Folge von Gegenständen.
Among the fundamental concepts of semantics wo have the concept of the satisfaction of a sentential function by single objects or by a sequence of objects.

Beispiele: identity kann als eine Aussagefunktion genutzt werden, wenn die Argumente boolesche Werte sind.
Examples: identity may be used as a predicate when the arguments are already Boolean values.

Die value_check-Eigenschaft ist eine Aussagefunktion mit einer Variablen oder ein Lambda-Ausdruck, die aufgerufen werden, wenn der Variablen ein Wert zugewiesen werden soll.
The value_check property is a lambda expression or the name of a function of one variable, which is called when an attempt is made to assign a value to the variable.

Zwar lässt sich der allgemeine Begriff des Erfülltseins (bzw. des Modells) nicht in Rahmen der Syntax einfügen; wir brauchen jedoch nur einen Spezialfall dieses Begriffs - das Erfülltsein der Aussagefunktionen, die keine ausserlogischen Konstanten enthalten, und dieser Spezialfall kann bereits mit Hilfe der allgemein logischen und spezifisch syntaktischen Begriffen charakterisiert werden.
Admittedly the general concept of satisfaction (or of model) does not belong to syntax; but wo use only a special case of this concept - the satisfaction of sentential functions which contain no extra-logical constants, and this special case can be characterized using only general logical and specific syntactical concepts.

Der Nutzer kann kontrollieren, welche Koeffizienten zusammengezogen werden. Dazu wird der Optionsvariablen logconcoeffp eine Aussagefunktion mit einem Argument zugewiesen.
The user can control which coefficients are contracted by setting the option logconcoeffp to the name of a predicate function of one argument.

Die Aussagefunktion kann eine Funktion, ein binärer Operator oder ein Lambda-Ausdruck sein.
The predicate may be specified as the name of a function or binary infix operator, or as a lambda expression.