Modus Barbara/Ableitbarkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

im Prädikatenkalkül ableitbar

ist.
Zur Lösung, Alternative Lösung erstellen