Zum Inhalt springen

Aussagenlogik/Ableitungsbeziehung/Regeln/Fakt

Aus Wikiversity

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge .

Dann gelten folgende Regeln für die Ableitungsbeziehung (dabei seien Aussagen).

  1. Konjunktionsregel: genau dann, wenn und .
  2. Kettenschlussregel: Wenn und , dann auch .
  3. Modus ponens: Wenn und , dann ist auch .
  4. Wenn , so auch .
  5. Wenn und , dann auch .
  6. Widerspruchsregel: Wenn und , dann auch .
  7. Fallunterscheidungsregel: Wenn und , dann auch .