12

Logik (Fach) / Kalkülregeln (Lektion)

Regeln zum Kalkül des natürlichen Schließens

Diese Lektion wurde von Hannah187 erstellt.

Lektion lernen

zurück  |  weiter 1 / 1

Anzeige
  • Negationseinführung ¬E A→(B∧¬B) ¬A
  • Negationsbeseitigung ¬B ¬¬A A
  • Konjunktionseinführung ∧E A B A∧B
  • Konjunktionsbeseitigung ∧B A∧B A B
  • Adjunktionseinführung ∨E A A∨B B∨A
  • Adjunktionsbeseitigung ∨B A∨B ¬A B
  • Konditionaleinführung →E A B A→B
  • Konditionalbeseitigung(Modus Ponens) →B A→B A B
  • Bikonditionaleinführung ↔E A→B B→A A↔B
  • Bikonditionalbeseitigung ↔B A↔B A→B B→A
  • Anzeige
  • Widerlegunsregel (Modus Tollens) WL A→B ¬B ¬A
  • Reductio ad absurdum RA A B ¬B ¬A

zurück  |  weiter 1 / 1