Gültige Regel

Gültige Regel

Eine Schlussregel heißt gültig in Bezug auf einen Kalkül, wenn sie den Regeln des Kalküls angefügt werden kann, ohne dass neue ableitbare Formeln dadurch eintreten.

Eine Regel ist also genau dann gültig, wenn jede Formel des Kalküls, die in dem Kalkül mit Verwendung dieser Regel hergeleitet werden kann, bereits auch ohne Verwendung dieser Regel hergeleitet werden kann.

Literatur

Paul Lorenzen: Einführung in die operative Logik und Mathematik. Springer, Berlin u. a., 1955, ²1969, weitere Nachdrucke 1994


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

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

  • Regel — Monatsblutung; Menses (fachsprachlich); Zyklus; Tage (umgangssprachlich); Menstruation; Periode; Regelblutung; Verfügung; Verordnung; …   Universal-Lexikon

  • Regel von Ruffini — Das Horner Schema (nach William George Horner) ist ein Umformungsverfahren für Polynome, um die Berechnung von Funktionswerten zu erleichtern. Es kann genutzt werden, um die Polynomdivision sowie die Berechnung von Nullstellen und Ableitungen zu… …   Deutsch Wikipedia

  • Inverse Regel — Mit dem Ausdruck logische Inversion bezeichnen Paul Lorenzen und andere Logiker den Vorgang der Umkehrung einer Kalkülregel. Sei R eine gültige Regel eines Kalküls: . Hierbei ist P die Prämisse und K die Konklusion von R. Dann lautet die inverse… …   Deutsch Wikipedia

  • 3-Punkte-Regel — Als Punkteregel bezeichnet man die in einer Sportart gültige Spielregel, nach der geregelt ist, mit wie vielen Punkten in der Tabelle Siege, Unentschieden und Niederlagen bewertet werden. Typische Ausprägungen sind die Drei Punkte Regel und die… …   Deutsch Wikipedia

  • Drei-Punkte-Regel — Als Punkteregel bezeichnet man die in einer Sportart gültige Spielregel, nach der geregelt ist, mit wie vielen Punkten in der Tabelle Siege, Unentschieden und Niederlagen bewertet werden. Typische Ausprägungen sind die Drei Punkte Regel und die… …   Deutsch Wikipedia

  • Drei Punkte Regel — Als Punkteregel bezeichnet man die in einer Sportart gültige Spielregel, nach der geregelt ist, mit wie vielen Punkten in der Tabelle Siege, Unentschieden und Niederlagen bewertet werden. Typische Ausprägungen sind die Drei Punkte Regel und die… …   Deutsch Wikipedia

  • Zwei-Punkte-Regel — Als Punkteregel bezeichnet man die in einer Sportart gültige Spielregel, nach der geregelt ist, mit wie vielen Punkten in der Tabelle Siege, Unentschieden und Niederlagen bewertet werden. Typische Ausprägungen sind die Drei Punkte Regel und die… …   Deutsch Wikipedia

  • Eötvös-Regel — Temperaturabhängigkeit der Oberflächenspannung am Beispiel des Benzols Die nach dem ungarischen Physiker Loránd (Roland) Eötvös (1848 1919) benannte Eötvössche Regel erlaubt es, die Oberflächenspannung eines beliebigen flüssigen Reinstoffes bei… …   Deutsch Wikipedia

  • Eötvössche Regel — Temperaturabhängigkeit der Oberflächenspannung am Beispiel des Benzols Die nach dem ungarischen Physiker Loránd (Roland) Eötvös (1848 1919) benannte Eötvössche Regel erlaubt es, die Oberflächenspannung eines beliebigen flüssigen Reinstoffes bei… …   Deutsch Wikipedia

  • Soziale Regel — Soziale Normen (Gesellschaftliche Normen, Soziale Skripte) sind konkrete Vorschriften, die das Sozialverhalten betreffen. Sie definieren mögliche Handlungsformen in einer sozialen Situation. Sie sind gesellschaftlich und kulturell bedingt und… …   Deutsch Wikipedia

Share the article and excerpts

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