Dieli
01-07-2004, 12:42
Hi!
Bei dem Bsp ist auf der Lösung angekreuzt, dass die Formel gültig und erfüllbar ist, nicht aber das sie eine Tautologie ist. Warum??? Laut Skript ist eine Formel gültig oder Tautologie, wenn sie t wird für alle ENV.
Da die Formel gültig ist, müsste sie ja eine Tautologie sein, oder? :confused:
mfg Dieli
EDIT: Hab grad den Thread gesehen: http://www.informatik-forum.at/~iforum/showthread.php?t=20516
Nur bringt mich der nicht weiter. Steh irgendwie auf der Leitung. Könnte mir das jemand anhand von dem Bsp. erklären?
Bei dem Bsp ist auf der Lösung angekreuzt, dass die Formel gültig und erfüllbar ist, nicht aber das sie eine Tautologie ist. Warum??? Laut Skript ist eine Formel gültig oder Tautologie, wenn sie t wird für alle ENV.
Da die Formel gültig ist, müsste sie ja eine Tautologie sein, oder? :confused:
mfg Dieli
EDIT: Hab grad den Thread gesehen: http://www.informatik-forum.at/~iforum/showthread.php?t=20516
Nur bringt mich der nicht weiter. Steh irgendwie auf der Leitung. Könnte mir das jemand anhand von dem Bsp. erklären?