Kann jemand die Ableitungen finden?
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
1 Antwort
Naja, du hast jetzt vor deiner Argumentation einfach beliebige Symbole genommen, die bei mir sehr beliebig jetzt wirken. Klar, ich kann sie jetzt einfach durch die Symbole und Zielformeln ersetzen, aber ich bin mir nicht sicher, nach welchem kognitiven Prozess du die eigentlich selbst gefunden hast.
Zufallsslänge? Hast du sie zwischendurch auf andere Prämissen selbst bezogen? etc etc
Die dargestellten Prämissen von a bis k sind unbehandelt. Meine Ergebnisse habe ich handschriftlich notiert. Um nicht zu verwirren, habe ich hier nur die Prämissen aufgeschrieben.