Testangabe 27.06.2003, Bsp 1.b

[oopster]

Hallo Mit'nand

ich sitzt leider bei diesem beispiel ein wenig auf der Leitung:

Angabe: ((ist1?(x) impl. istleer?(pop(x))) impl. ist1?(pop(x)))

laut musterlösung ist die Formel erfüllbar.

meine Frage, warum nur erfüllbar, ich denke die ist gültig, oder? Vorschlag:

((t/f impl. f) impl. (t/f)
Fall 1. (t impl. f) impl (t) --> ganze Formel wird t
Fall 2. (f impl. f) impl. (f) --> ganze Formel wird ebenfalls f.

wie kann ich hier erreichen, dass die Formel einmal f liefert, damit die Formel erfüllbar wird in S?

lg

//Edit: hat sich erledigt, Fall 2 lässt ja die Formel zu f werden. Sollte halt decht solche sachen nicht nur im Kopf machen

[daff]

Wieso wird bei dir istleer?(pop(x)) automatisch immer f? Ich würde sagen das kann sowohl t als auch f werden, abhängig vom x, oder? Damit wär das Ganze (t/f impl. t/f) impl. t/f, und das ist erfüllbar. Hoff ich hab mich jetzt nicht geirrt.

[oopster]

Wieso wird bei dir istleer?(pop(x)) automatisch immer f? Ich würde sagen das kann sowohl t als auch f werden, abhängig vom x, oder? Damit wär das Ganze (t/f impl. t/f) impl. t/f, und das ist erfüllbar. Hoff ich hab mich jetzt nicht geirrt.
fix, mal wieder push und pop verwechselt, hast schon recht, danke
lg