Bedeutung von "substitution instance" im Wörterbuch Englisch

AUSSPRACHE VON SUBSTITUTION INSTANCE AUF ENGLISCH

substitution instance

WAS BEDEUTET SUBSTITUTION INSTANCE AUF ENGLISCH

Substitution (Logik)

Substitution (logic)

Substitution ist ein Grundkonzept in der Logik. Eine Substitution ist eine syntaktische Transformation auf formalen Ausdrücken. Um eine Substitution auf einen Ausdruck anzuwenden, bedeutet dies, seine Variablen oder Platzhalter, Symbole durch andere Ausdrücke konsequent zu ersetzen. Der Ergebnisausdruck wird als Substitutionsinstanz des ursprünglichen Ausdrucks bezeichnet.

Substitution is a fundamental concept in logic. A substitution is a syntactic transformation on formal expressions. To apply a substitution to an expression means to consistently replace its variable, or placeholder, symbols by other expressions. The result expression is called a substitution instance of the original expression.

ÜBERSETZUNG VON SUBSTITUTION INSTANCE

Erfahre, wie die Übersetzung von substitution instance auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von substitution instance auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «substitution instance» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: 替换实例
• Übersetzer Deutsch - Spanisch: instancia de sustitución
• Englisch: substitution instance
• Übersetzer Deutsch - Hindi: प्रतिस्थापन उदाहरण
• Übersetzer Deutsch - Arabisch: المثال الاستبدال
• Übersetzer Deutsch - Russisch: подстановковым
• Übersetzer Deutsch - Portugiesisch: exemplo de substituição
• Übersetzer Deutsch - Bengalisch: প্রতিস্থাপন উদাহরণ
• Übersetzer Deutsch - Französisch: exemple de substitution
• Übersetzer Deutsch - Malaysisch: Contoh pengganti
• Übersetzer Deutsch - Deutsch: Substitution Instanz
• Übersetzer Deutsch - Japanisch: 代替インスタンス
• Übersetzer Deutsch - Koreanisch: 대체 예
• Übersetzer Deutsch - Javanisch: Contoh substitusi
• Übersetzer Deutsch - Vietnamesisch: Ví dụ thay thế
• Übersetzer Deutsch - Tamil: மாற்று உதாரணமாக
• Übersetzer Deutsch - Marathi: प्रतियोजन प्रसंग
• Übersetzer Deutsch - Türkisch: Ikame örneği
• Übersetzer Deutsch - Italienisch: esempio la sostituzione
• Übersetzer Deutsch - Polnisch: przykład zastąpienie
• Übersetzer Deutsch - Ukrainisch: подстановковим
• Übersetzer Deutsch - Rumänisch: exemplu substituție
• Übersetzer Deutsch - Griechisch: παράδειγμα υποκατάστασης
• Übersetzer Deutsch - Afrikaans: vervanging byvoorbeeld
• Übersetzer Deutsch - Schwedisch: substitutions instans
• Übersetzer Deutsch - Norwegisch: substitusjon eksempel

10 BÜCHER, DIE MIT «SUBSTITUTION INSTANCE» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von substitution instance in der folgenden bibliographischen Auswahl. Bücher, die mit substitution instance im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

A Concise Introduction to Logic

Every substitution instance of a valid form is a valid argument, but it is not the case that every substitution instance of an invalid form is an invalid argument. The reason is that some substitution instances of invalid forms are also substitution ...

Patrick Hurley, 2014

Cengage Advantage Books: Understanding Arguments: An ...

Perhaps a bit more surprisingly, our definitions allow “Roses are red and roses are red” to be a substitution instance of “p & q.” This example makes sense if you compare it to variables in mathematics. Using only positive integers, how many ...

Walter Sinnott-Armstrong, Robert Fogelin, 2014

A Concise Introduction to Logic:

Bs Cs This diagram suggests that we can prove the form invalid if we can find a substitution instance having actually true premises and an actually false conclusion. In such a substitution instance the As and the Cs would be separated from ...

Patrick J. Hurley, 2011

Handbook of Modal Logic

We shall call φ[ψ/P(x)] a substitution-instance of φ. It might be instructive to consider an example of a substitution-instance: If φ is the formula ∀y(P(y) ∧ Q(y) ) and ψ is the formula R(z,x) where z is distinct from x and y, then φ[ψ/P(x)] is the  ...

Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006

Logic and Philosophy: A Modern Introduction

Here is the important rule to keep in mind regarding sentence forms: A sentence is a substitution instance of a form if and only if you can produce exactly that sentence by doing nothing other than replacing each variable in the form with a ...

Alan Hausman, Howard Kahane, Paul Tidman, 2012

Logic Identity and Consistency]

latter case as it is in the former. And if we drop this demand on 'y is a substitution instance of "<)>x"' as well as on 'y is true', we have to drop it on '§x too. To see the point clearly we can take first the substitutional version of 'For all x, <}>x', ...

‎

Cengage Advantage Books: Understanding Arguments, Concise ...

Perhaps a bit more surprisingly, our definitions allow “Roses are red and roses are red” to be a substitution instance of “p & q.” This example makes sense if you compare it to variables in mathematics. Using only positive integers, how many ...

Walter Sinnott-Armstrong, Robert Fogelin, 2014

Mathematical Foundation of Computer Science

In (3), P is replaced Qand Qis replaced by P. In (4), P is replaced by Qand Qis replaced by P A —.Q. Example. Consider the following formulae from P —-> -1Q 1. Substitute P v Qfor P and R for Qto get the substitution instance (P v Q) —-) wR 2.

Dr. J. Rajendra Prasad, T. Rama Rao, A. Madana Mohana Rao, 2009

Introducing Symbolic Logic

The antecedent is false and the consequent true, so this substitution instance is true. All those three substitution instances are true. What would it take for there to be a substitution instance which is false? There would have to be an instantiating  ...

Robert M. Martin, 2004

Modal Logic

(ii) If every substitution instance of 4> is true in 971, then every substitution instance of<j> is true in 971'. (iii) 7/SW Ih A then W Ih A. Proof. Item (i) follows by induction on 4>. For the base case we have 971', w Ih p iff 971, w Ih 4>v,(p). As (-. 0)' ...

Patrick Blackburn, Maarten de Rijke, Yde Venema, 2002