zu zeigen ist:
Jede aussagenlogische Formel F ist zu einer Formel F' äquivalent, die nur aus atomaren Formeln, Negationen und Disjunktionen besteht (also keine Konjunktionen).
Ich dachte, dass man das vielleicht mit vollständiger Induktion machen könnte, das heißt:
Induktionsanfang: F= A , F'=-- A
Damit ist die Aussage wahr.
Induktionvoraussetzung(IV):
Siehe Text.
Induktionsschritt:
F=-(A ∧ B) , F'= -A v -B wegen De Morgan
F= A-> B, F'= -A v B
F= A <->B , F' = (A ∧ B) v (-A ∧-B)= müsste ich noch schauen
Jetzt ist meine Frage passt das so oder bin ich voll auf der falschen Fährte?
