Hallo!
Ich habe eine Frage zu Übungsblatt 6 der Logikübungen. Im Lösungshinweis soll nach der Ordnung in Schritt 2
rausfliegen. Resolventen sind hierbei
und
. Das
nicht rausfliegt, liegt das nur an der Ordnung oder können nicht zwei versch. Variablen in einem Schritt eliminiert werden?
lg Doro