Modus Barbara/Ableitbarkeit/Aufgabe
Erscheinungsbild
Es seien einstellige Relationssymbole. Zeige, dass der Modus Barbara, also die Aussage
im Prädikatenkalkül ableitbar ist.
Es seien einstellige Relationssymbole. Zeige, dass der Modus Barbara, also die Aussage
im Prädikatenkalkül ableitbar ist.