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.
Probeklausur ws15/16 A3resolutionsverfahren!!! Schritte 3 Skolemform !!ein Fehler?
https://www.dropbox.com/s/5ywqewoe3qtkc5d/unnamed.jpg?dl=0
bei der ¬R(x 4 , a)wird zu ¬R(h(z), a)) , warum h(z) !!!warum z
die sind di ganze Quntor!! ∀x∀y∀z∀x 2 ∃y 2 ∀x 3 ∃x 4
Das ist einfach ein Fehler. Wenn man streng die Regel des Skolemisierens anwendet, dann muss h alle allquantifizierten Variablen als parameter erhalten, die Links von ∃z vorkommen, d.h. x₄ muss ersetzt werden durch h(x,y,z,x₂,x₃).
Wenn man beim bilden der Pränex-form die Quantoren in einer anderen Reihenfolge nach vorne gezogen hätte, hätte man vielleicht auch nur z bekommen.
Wenn du das Foto drehst, dann könnte man es besser lesen.
ok, danke , langsam merke ich , wie es funktioniert. Danke dir