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.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
