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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Zur gelösten Aufgabe