Aufgabe: Beweise/Widerlege die Aussage
Aussage: Zu jeder widerspruchsvollen Formel gibt es eine nicht-erfüllende Bewertung, die eine Teilformel mit f bewertet.
Kann jemand mir hier behilflich sein? Danke
Induktion über den Formelaufbau.
