Aussagenlogik & Homomorphismus < Algebra < Algebra+Zahlentheo. < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 13:01 Mi 03.12.2008 | | Autor: | Kar_o |
| Aufgabe | | Zeigen Sie, dass $ [mm] h_c: AL(\emptyset) \rightarrow \{0,1\} [/mm] $ mit [mm] $h_c(\varphi)= \overline{W}(\varphi)$ [/mm] ein Homomorphismus von [mm] $(AL(\emptyset),\wedge,\vee,\neg) [/mm] $ nach [mm] $(\{0,1\},$min$,$max$,g)$ [/mm] mit $g(x)=1-x, [mm] \forall [/mm] x [mm] \in \{0,1\}$ [/mm] ist. |
Mir geht es bei dieser Aufgabe um den letzten Beweis, also dass [mm] (AL(\emptyset),\neg) [/mm] homomorph zu ({0},g).
[mm] \overline{W} (\neg \emptyset) [/mm] ist doch [mm] \overline{W}(von [/mm] allem ) aber wie schreibt man "alles" auf und vorallem was ist [mm] \overline{W}(von [/mm] allem) .
Und muss ich die Homomorphie zweimal überprüfen, einmal mit 0 und einmal mit 1??
Wäre froh wenn mir hier jemand auf die Sprünge helfen könnte.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:24 Fr 05.12.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
