Modus Barbara/Ableitbarkeit/Aufgabe

Es seien $A,B,C$ einstellige Relationssymbole. Zeige, dass der Modus Barbara, also die Aussage

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

im Prädikatenkalkül ableitbar ist.

Zur Lösung, Alternative Lösung erstellen