Zum Inhalt springen

Prädikatenkalkül/Konjunktion der Allaussage/Hinrichtung/Aufgabe/Lösung

Aus Wikiversity


Die Alleinführung im Antezedens ergibt

und

und daraus zusammen mit Fakt  (2)

Die Variable ist sowohl vorne als auch in gebunden. Daher ergibt die Alleinführung im Sukzedens