Ich beschäftige mich mit den folgenden Prämissen beziehungsweise bemühe ich mich darum, die angegebenen Zielformeln zu erzielen, jedoch bin ich mir bei den von mir aufgeschriebenen Ableitungen bezüglich der Korrektheit nicht ganz sicher.
Falls das hier jemand lesen sollte, der sich in der Philosophie im Bereich der Logik und Argumentationstheorie – genauer mit diesen Ableitungen – auskennt, wäre ich wirklich dankbar für Unterstützung.
Ein paar Ableitungen (zum Vergleich) würden eigentlich schon genügen, denn sofern diese mit meinen Ergebnissen übereinstimmen sollten, wüsste ich immerhin, dass ich mich sozusagen auf der richtigen Fährte befinde.
a. Eine Prämisse: ¬Q. Zielformel: ¬¬¬¬¬Q
b. Eine Prämisse: P. Zielformel: (P ∨ R) ∨ Q
c. Eine Prämisse: ((P & Q) & R) & S. Zielformel: P
d. Eine Prämisse: P & Q. Zielformel: ¬¬P & ¬¬Q
e. Drei Prämissen: P ; R ; Q. Zielformel: ((P & R) & Q) & R
f. Eine Prämisse: Q & R. Zielformel: R & Q
g. Eine Prämisse: R ⇔ P. Zielformel: S ∨ ¬¬(R ⇔ P)
h. Zwei Prämissen: ¬P ∨ R ; ¬R. Zielformel: (Q ∨ ¬P) ∨ (P & Q)
i. Eine Prämisse: P & ((Q & R) & S). Zielformel: R & S
j. Eine Prämisse: P & (¬P ∨ R). Zielformel: R
k. Drei Prämissen: P ∨ T ; (¬P ∨ R) & Q ; ¬R & S. Zielformel: T