Modus Disamis/Ableitbarkeit/Aufgabe

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

${\displaystyle (\exists x(Ax\wedge Bx)\wedge \forall x(Ax\rightarrow Cx))\rightarrow \exists x(Cx\wedge Bx).}$