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