Liebe Tutoren/innen
Wird in der Aufgabe 2c) bei Ü7 die Allbeseitigung aus 2. Ax(x=b <–> Px) mehrmals angewendet? D.h. auf dem rechten Ast wird daraus zuerst b=b <–> Pb, dann (a=b <–> Pa) und dann noch c=b <–> Pc (auf dem linken folgenden Ast)? Ist dies also erlaubt? Falls nicht, weiss ich nicht woher diese Formeln stammen.
Vielen Dank für die Antwort 🙂
Sarah
Liebe Sarah
Mit einem Blick auf die Vorlesung 10, Folie 6 aus Logik 1 lässt sich diese Frage gut beantworten:
Dort steht: „Die Allbeseitigung ist wiederholbar. Die [Individuen-]Konstante darf frei gewählt werden.“ Dem gegenüber wird die Existenzbeseitigung gestellt: „Die Existenzbeseitigung darf nur einmal vorgenommen werden. Die [Individuen-]Konstante muss neu sein.“
Also ja, es ist erlaubt die Allbeseitigung innerhalb eines Baumes, sogar innerhalb eines Astes mehrmals zu wiederholen und dabei jeweils eine andere Individuenkonstante zu wählen.
Ich hoffe, dieser Hinweis hat deine Frage hinreichend geklärt.
Lieber Gruss, Alex
Super, vielen Dank!