Zum Inhalt springen

Modus Barbara/Ableitbarkeit/Aufgabe

Aus Wikiversity

Es seien einstellige Relationssymbole. Zeige, dass der Modus Barbara, also die Aussage

im Prädikatenkalkül ableitbar ist.