Modus Disamis/Ableitbarkeit/Aufgabe

Es seien $A,B,C$ einstellige Relationssymbole. Erstelle eine Ableitung im Prädikatenkalkül für den Modus Disamis, also die Aussage

$(\mathrm{\exists }x(Ax\wedge Bx)\wedge \mathrm{\forall }x(Ax\to Cx))\to \mathrm{\exists }x(Cx\wedge Bx).$

Zur Lösung, Alternative Lösung erstellen