Rule of replacement
http://dbpedia.org/resource/Rule_of_replacement an entity of type: WikicatLogicalExpressions
Die Ersetzungsregel ist eine Schlussregel vieler logischer Kalküle. Aus den Prämissen P[A] (was bedeutet, dass die Aussage A in der Aussage P enthalten ist) folgt die Konklusion P[B] Es wird also – inhaltlich gesprochen – ein Teil einer Aussage durch einen gleichwertigen ersetzt. Beispiel: Gegeben sei die Prämisse .Wegen der Allgemeingültigkeit von kann man in der Prämisse den Ausdruck durch ersetzen. Aus der Aussage folgt also also also
rdf:langString
En lógica, las reglas de reemplazo o reglas de sustitución son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión. Un sistema lógico puede ser construido de manera que utilice axiomas, reglas de inferencia, o ambos, como reglas de transformación de expresiones lógicas en el sistema. Mientras que una regla de inferencia se aplica siempre a una expresión lógica general, una regla de reemplazo puede ser aplicada solamente a un segmento particular.
rdf:langString
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions.
rdf:langString
En logique, une règle de remplacement est une règle d'inférence appliquée à une portion d'une expression. Un système logique peut être construit à l'aide d'axiomes, de règles d'inférences — parfois, les deux — en utilisant des formules logiques. On distingue une règle d'inférence d'une règle de remplacement en ce que la première s'applique sur toute une formule logique, tandis que la seconde ne s'applique que sur une portion de celle-ci. Les règles de remplacement sont utilisées en calcul des propositions pour manipuler des énoncés.
rdf:langString
Пра́вило підстано́вки у логіці — це правило перетворення, що може застосовуватися до лише часткового сегменту виразу. Логічну систему може бути побудовано таким чином, що вона використовує або аксіоми, правила висновування, або обидва як правила перетворення у системі. В той час як правило висновування завжди застосовується до повного логічного виразу, правило підстановки може застосовуватися лише до певного сегменту. В контексті логічного доведення логічно еквівалентні вирази можуть замінювати один одного. Правила підстановки використовуються в логіці висловлень для маніпулювання висловленнями.
rdf:langString
rdf:langString
Ersetzungsregel
rdf:langString
Reglas de reemplazo
rdf:langString
Règle de remplacement
rdf:langString
Rule of replacement
rdf:langString
Правило підстановки
xsd:integer
34770456
xsd:integer
1092201509
rdf:langString
Die Ersetzungsregel ist eine Schlussregel vieler logischer Kalküle. Aus den Prämissen P[A] (was bedeutet, dass die Aussage A in der Aussage P enthalten ist) folgt die Konklusion P[B] Es wird also – inhaltlich gesprochen – ein Teil einer Aussage durch einen gleichwertigen ersetzt. Beispiel: Gegeben sei die Prämisse .Wegen der Allgemeingültigkeit von kann man in der Prämisse den Ausdruck durch ersetzen. Aus der Aussage folgt also also also
rdf:langString
En lógica, las reglas de reemplazo o reglas de sustitución son reglas de transformación que pueden ser aplicadas únicamente a un segmento particular de una expresión. Un sistema lógico puede ser construido de manera que utilice axiomas, reglas de inferencia, o ambos, como reglas de transformación de expresiones lógicas en el sistema. Mientras que una regla de inferencia se aplica siempre a una expresión lógica general, una regla de reemplazo puede ser aplicada solamente a un segmento particular. En el contexto de una prueba lógica, expresiones lógicamente equivalentes pueden sustituirse unas por otras. Las reglas de reemplazo se usan en la lógica proposicional para manipular proposiciones y efectuar estas sustituciones.
rdf:langString
En logique, une règle de remplacement est une règle d'inférence appliquée à une portion d'une expression. Un système logique peut être construit à l'aide d'axiomes, de règles d'inférences — parfois, les deux — en utilisant des formules logiques. On distingue une règle d'inférence d'une règle de remplacement en ce que la première s'applique sur toute une formule logique, tandis que la seconde ne s'applique que sur une portion de celle-ci. Les règles de remplacement sont utilisées en calcul des propositions pour manipuler des énoncés. On compte, parmi les règles de remplacement, les lois de De Morgan, la commutativité, l'associativité, la distributivité, la double négation, la transposition, les , les tautologies, etc.
rdf:langString
In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions. Common rules of replacement include de Morgan's laws, commutation, association, distribution, double negation, transposition, material implication, logical equivalence, exportation, and tautology.
rdf:langString
Пра́вило підстано́вки у логіці — це правило перетворення, що може застосовуватися до лише часткового сегменту виразу. Логічну систему може бути побудовано таким чином, що вона використовує або аксіоми, правила висновування, або обидва як правила перетворення у системі. В той час як правило висновування завжди застосовується до повного логічного виразу, правило підстановки може застосовуватися лише до певного сегменту. В контексті логічного доведення логічно еквівалентні вирази можуть замінювати один одного. Правила підстановки використовуються в логіці висловлень для маніпулювання висловленнями. Поширені правила підстановки включають правила де Моргана, комутативність, асоціативність, дистрибутивність, подвійне заперечення, , , матеріальну еквівалентність, та .
xsd:nonNegativeInteger
1923