Tutorium 12 - Junktorenlogische Ableitungen

Wofür steht das Kürzel "&E" ?

• Disjunktoreinführung

• Konjunktorbeseitigung

• Disjunktorbeseitigung

• Konjunktoreinführung

Was wird in einer junktorenlogischen Ableitung mit einem Sternchen (*) markiert?

• Besonders komplexe Satzschemata

• Hilfsannahmen

• Annahmen, die erst zu einem späteren Zeitpunkt eingeführt werden

• Jede Annahme

Wie heißt das Schema nach dem wir eine junktorenlogische Ableitung durchführen?

• Gentzen-Lemmon-Kalkül

• Gratz-Leumon-Kalkül

• Hubert-Reusch-Kalkül

• Millers-Lennon-Kalkül

Welche Ableitungsregeln werden für indirekte Beweise genutzt?

• Disjunktoreinführung (vE)

• Reductio ad absurdum (RAA)

• Subjunktoreinführung (→E)

• Konjunktoreinführung (&E)

Wiederholung: Wann sind kategorische Sätze kontradiktorisch zueinander?

• Sätze können weder zusammen falsch noch zusammen wahr sein

• Sätze können zusammen wahr, aber nicht zusammen falsch sein

• Sätze können zusammen falsch, aber nicht zusammen wahr sein

Wiederholung: Ein stichhaltiges Argument ist automatisch ein deduktiv gültiges Argument, aber nicht umgekehrt.

• Wahr

• Falsch