Bsp. 4.2 b)

[Anita]

Wie kommt der auf die Lösung?
Ist es nicht so dass M(I, F)=t für alle I Element ENV(B) gültig ist? (siehe Skript S. 67)
Und jetzt schreibt er auf einmal dass es unerfüllbar ist. :confused:
Wie würdet ihr Probleme dieser Art überhaupt angehen? Bei a) würd ich eine Wahrheitstabelle machen aber geht's auch irgendwie kürzer?
Anita

[Lynx]

(A impl. f) ist gültig. (A impl. f) NOR (blabla) ist nur dann true, wenn sowohl (A impl. f) als auch (blabla) false sind. Nachdem aber (A impl. f) nie false ist, kann (A impl. f) NOR (blabla) nie true sein. Also ist die Formel unerfüllbar.

[Anita]

Ah, ok! Jetzt versteh ich's.