Beweis Äquivalenz Modellmengen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 18:44 Mi 29.10.2008 | | Autor: | Kar_o |
| Aufgabe | Beweisen Sie: Für alle Formeln [mm] \phi \in [/mm] AL(P) gilt:
[mm] Mod(\neg\phi) [/mm] = [mm] \IW(P) \backslash Mod(\phi) [/mm] |
Habe mir folgenden Lösungsansatz überlegt und würde gern wissen ob ich das so machen kann:
[mm] Mod(\neg\phi) [/mm] = [mm] \IW(P) \backslash Mod(\phi)
[/mm]
[mm] \IW(P)=Mod(\phi)\cup Mod(\neg\phi) [/mm] also folgt:
[mm] Mod(\neg\phi) [/mm] = [mm] (Mod(\phi)\cup Mod(\neg\phi))\backslash Mod(\phi)
[/mm]
= [mm] Mod(\neg\phi)
[/mm]
reicht das als Beweis , bzw. stimmt es überhaupt? Mir erscheint es nämlich recht kurz.
Danke
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:21 Fr 31.10.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
