Äquivalenz von Behauptungen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:43 Mi 15.11.2006 | | Autor: | Bebe |
| Aufgabe | Beweisen Sie, dass die folgenden drei Behauptungen äquivalent sind:
a) G ist eine Folgerung aus {F1, F2,..., Fk}.
b) ((F1 [mm] \wedge [/mm] F2 [mm] \wedge [/mm] ... [mm] \wedge [/mm] Fk) [mm] \to [/mm] G) ist eine Tautologie.
c) ((F1 [mm] \wedge [/mm] F2 [mm] \wedge [/mm] ... [mm] \wedge [/mm] Fk) [mm] \wedge \neg [/mm] G) ist nicht erfüllbar. |
Hallo, also wir haben schon festgestellt, dass a) und b) äquivalent sind, aber bei c) haben wir so unsere Probleme. Wäre super, wenn ihr uns helfen könntet.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Fr 17.11.2006 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
