Modus Disamis/Ableitbarkeit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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

Zur Lösung, Alternative Lösung erstellen