21.1.4 formale Beweise

Aus was besteht ein Beweis?

Was sind Kalküle in der Logik?

Was sind Prämissen?

Was ist eine "Konklusion"?

Wann nennt man eine Formel:
\( \alpha_1 \wedge \alpha_2 \wedge \alpha_n \to \beta \) ein gültiges Argument?

Was ist eine Beweisfolge?

Welche zwei Kategorien von Ableitungsregeln gibt es in der Aussagenlogik?

Nenne die fünf Äquivalenzregeln die für formale Beweise angewendet werden können.

Was besagt das Gesetz von de Morgan?

Was besagt die Äquivalenzregel der Implikation?

Nenne die fünf Schlussregeln in der Aussagenlogik.

Was besagt die Schlussregel modus ponens?

Was besagt die Schlussregel:
modus tollens?

Was besagt die Schlussregel der Konjunktion?

Was besagt die Schlussregel der Simplifikation?

Was besagt die Schlussregel der Ausdehnung?

Was unterscheidet die Schlussregeln von den Äquivalenzregeln?

Ergänze:
Die Schlussregel modus ponens besagt, dass die Implikation...?

Wie ließe sich der modus (tollendo) tollens grob ins Deutsche übersetzen?

Wie funktioniert der Modus tollens?

Ergänze:
Die Regel Ausdehnung besagt, dass man zu
einer wahren Prämisse \(\alpha\) jede

Wann ist ein Beweissystem "korrekt"?

Wann nennt man ein Beweissystem vollständig?

Was besagt die Deduktionsregel?

Welchen Vorteil bietet die Deduktionsregel?

Welche ist die Schlussregel ist die vermutlich überzeugendste und sollte möglichst häufig verwendet werden?

Was sollte man bei der Beweisführung in der Regel aus Ausdrücken wie:
¬(α ∧ β) machen?

Was sollte man bei der Beweisführung in der Regel aus Ausdrücken wie:
α ∨ β
machen?

Ergänze:
Wenn die Konklusion einer zu beweisenden Formel eine Implikation:
\( α_1 ∧ · · · ∧ α_n → (β → γ) \) ist ,
sollte man an die Anwendung....?

Was kann mit der Aussagenlogik
modelliert werden und was nicht?

Wie werden in der Aussagenlogik deutsche Sätze übersetzt, um statisches Wissen zu repräsentieren?