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.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.