Wichtige Schlussregeln und Gesetze der Aussagenlogik
Eingeordnet in Englisch
Geschrieben am in
Deutsch mit einer Größe von 3,88 KB
Grundlegende logische Schlussregeln
Modus Ponens (PP)
- 1. Wenn Sie studieren, werden Sie gute Noten haben. (P → Q)
- 2. Studium (P)
- 3. Sie werden gute Noten haben. (Q) [PP (1,2)]
Modus Tollens (TT)
- 1. Wenn Sie gute Tests ablegen, erfolgt eine Erhöhung. (P → Q)
- 2. Keine Kursänderungen / Keine Erhöhung (¬Q)
- 3. Sie legen keine guten Tests ab. (¬P) [TT (1,2)]
Adjunktion (A)
- 1. Studium (P)
- 2. Wird ausgeschrieben. (Q)
- 3. Studium und den Kurs geben. (P ∧ Q) [A (1,2)]
Vereinfachung / Simplifikation (S)
- 1. Studium und gute Noten haben. (P ∧ Q)
- 2. Studium (P) [S (1)]
- 3. Gute Noten haben (Q) [S (1)]
Modus Tollendo Ponens (TP)
- 1. Entweder studieren oder bei der Prüfung durchfallen. (P ∨ Q)
- 2. Es wurde nicht studiert. (¬P)
- 3. Die Prüfung bestehen / Bestehen