Zum Inhalt springen

Modus Disamis/Ableitbarkeit/Aufgabe

Aus Wikiversity

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