Ich versuche gerade die De-Morgan-Regel {¬(φ ∧ ψ) } |---> ¬φ v ¬ψ mit einer Fallunterscheidung abzuleiten.
Allerdings erhalte ich nicht im letzten Schritt der Fallunterscheidung zwei mal die Formel ¬φ v ¬ψ, wie gefordert, um ¬φ v ¬ψ abzuleiten.
Sondern die Formel ¬φ v ¬ψ erhalte ich erst, nachdem ich den Modus ponens anwende.
Ist die Lösung trotzdem richtig?
Anbei mein Rechenweg mit erlaubten Schlussregeln.