Modus Disamis/Ableitbarkeit/Aufgabe
Erscheinungsbild
Es seien einstellige Relationssymbole. Erstelle eine Ableitung im Prädikatenkalkül für den Modus Disamis, also die Aussage
Es seien einstellige Relationssymbole. Erstelle eine Ableitung im Prädikatenkalkül für den Modus Disamis, also die Aussage