Modus Barbara/Ableitbarkeit/Aufgabe

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

$(\forall x(Ax\rightarrow Bx)\wedge \forall x(Bx\rightarrow Cx))\rightarrow (\forall x(Ax\rightarrow Cx))$

im Prädikatenkalkül ableitbar

ist.

Zur Lösung, Alternative Lösung erstellen