Substitution (logic)
http://dbpedia.org/resource/Substitution_(logic) an entity of type: WikicatConceptsInLogic
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 resulting expression is called a substitution instance, or instance for short, of the original expression.
rdf:langString
논리학에서 치환 실례(置換實例, 영어: substitution instance)는 명제를 구성하는 원자 명제를 다른 명제로 대신하여 얻는 명제이다.
rdf:langString
Substituição é um conceito fundamental em lógica.Uma substituição é uma transformação sintática em uma expressão formal.Aplicar uma substituição a uma expressão significa trocar uma variável ou símbolos por outras expressões.A expressão resultante é chamada de uma instância de substituição da expressão original
rdf:langString
Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden:
* das Substituendum (lat.: „das zu Ersetzende“): der Ausdruck, der ersetzt wird
* das Substituens (lat.: „das Ersetzende“): der Ausdruck, der ersetzt
* die Substitutions-Basis: der Ausdruck, in dem ersetzt wird
* das Substitutionsresultat: das Ergebnis der Ersetzung. Beispiel: Ersetzen wir in dem Ausdruck (lies: „wenn , dann und “) den Ausdruck durch (lies: „ oder “), so erhalten wir: .
rdf:langString
rdf:langString
Substitution (logic)
rdf:langString
Substitution (Logik)
rdf:langString
치환 실례
rdf:langString
Substituição (lógica)
xsd:integer
5438948
xsd:integer
1124766137
rdf:langString
substitution
rdf:langString
Substitution
rdf:langString
Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden:
* das Substituendum (lat.: „das zu Ersetzende“): der Ausdruck, der ersetzt wird
* das Substituens (lat.: „das Ersetzende“): der Ausdruck, der ersetzt
* die Substitutions-Basis: der Ausdruck, in dem ersetzt wird
* das Substitutionsresultat: das Ergebnis der Ersetzung. Beispiel: Ersetzen wir in dem Ausdruck (lies: „wenn , dann und “) den Ausdruck durch (lies: „ oder “), so erhalten wir: . Dabei ist Substituendum, Substituens, Substitutionsbasis und Substitutionsresultat. Man unterscheidet zwischen universeller und einfacher Substitution, außerdem ist in der Quantorenlogik auch der Begriff „frei zur Substitution“ von Bedeutung.
rdf:langString
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 resulting expression is called a substitution instance, or instance for short, of the original expression.
rdf:langString
논리학에서 치환 실례(置換實例, 영어: substitution instance)는 명제를 구성하는 원자 명제를 다른 명제로 대신하여 얻는 명제이다.
rdf:langString
Substituição é um conceito fundamental em lógica.Uma substituição é uma transformação sintática em uma expressão formal.Aplicar uma substituição a uma expressão significa trocar uma variável ou símbolos por outras expressões.A expressão resultante é chamada de uma instância de substituição da expressão original
xsd:nonNegativeInteger
12792