Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Fitch Aufgabe aus WS14
Hallo,
ich habe versucht, die FOL-Deduktion aus WS14 zu lösen.
https://wwwcip.cs.fau.de/~sy79gysy/GLoIn/gloinbraindump.pdf
Bild ist im Anhang.
Ist die Lösung korrekt?
Attachment:
fitch_1.jpg: https://fsi.cs.fau.de/unb-attachments/post_145607/fitch_1.jpg
Das passt so, allerdings ist die Negation der Aussage nicht notwendig gewesen.