Logik:Klausuren/15.06.2002/B.1 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
() |
(kein Unterschied)
|
Aktuelle Version vom 22. November 2004, 13:19 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
2. Lösung[Bearbeiten]
a)
ja , sind erfüllbar,da
$ \lbrace F_1,F_2 \rbrace^{I\,1} = w \rightarrow F_1^{I\,1}= w \qquad F_2^{I\,1} = w $