Ersetzungsregel

Ersetzungsregel

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)
A \leftrightarrow B


folgt die Konklusion

P[B]

Es wird also - inhaltlich gesprochen - ein Teil einer Aussage durch einen gleichwertigen ersetzt.


Beispiel:

Gegeben sei die Prämisse (p \rightarrow q) \wedge p . Wegen der Allgemeingültigkeit von (p \rightarrow q) \leftrightarrow (\neg p \vee q) , kann man in der Prämisse den Ausdruck (p \rightarrow q) durch (\neg p \vee q) ersetzen.

Aus der Aussage (p \rightarrow q) \wedge p

folgt also (\neg p \vee q) \wedge p,
also (\neg p\wedge p) \vee (q \wedge p),
also (q \wedge p).

Siehe auch


Wikimedia Foundation.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • L-Grammatik — Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen… …   Deutsch Wikipedia

  • L-System — Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen… …   Deutsch Wikipedia

  • Lindenmayer — Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen… …   Deutsch Wikipedia

  • Lindenmayer-System — Künstliche Pflanzen, die durch 3D L Systeme generiert wurden Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer… …   Deutsch Wikipedia

  • Lindenmayer-Systeme — Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen… …   Deutsch Wikipedia

  • Lindenmeyer-System — Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen… …   Deutsch Wikipedia

  • Lindenmeyer-Systeme — Bei den Lindenmayer oder L Systemen handelt es sich um einen mathematischen Formalismus, der 1968 von dem ungarischen theoretischen Biologen Aristid Lindenmayer als Grundlage einer axiomatischen Theorie biologischer Entwicklung vorgeschlagen… …   Deutsch Wikipedia

  • Chomsky-Hierarchie — Chomsky Hierarchie, gelegentlich Chomsky–Schützenberger Hierarchie (benannt nach dem Linguisten Noam Chomsky und dem Mathematiker Marcel Schützenberger), ist ein Begriff aus der Theoretischen Informatik. Sie ist eine Hierarchie von Klassen… …   Deutsch Wikipedia

  • Einsetzungsregel (Logik) — Die Einsetzungsregel oder Ableitung durch Substitution ist eine Schlussregel vieler logischer Kalküle, die es erlaubt, aus einem Satz (einer allgemeingültigen Aussage) weitere abzuleiten und zu einer Aussage äquivalente Aussagen zu finden:… …   Deutsch Wikipedia

  • Folgerungsregel — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”