Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 15:54 Do 25.11.2010 | | Autor: | thunder90 |
| Aufgabe | Beweisen Sie folgende Aussage für beliebige Ausdrucksmengen X und Y :
ab(X) $ [mm] \cup [/mm] $ ab(Y ) $ [mm] \subseteq [/mm] $ ab(X $ [mm] \cup [/mm] $ Y ) |
Hallo
Kann mir dabei einer helfen. Habe folgende Informationen mit denen ich nichts anfangen kann:
$ [mm] H\in [/mm] $ ausdrücken
Wenn H ∈ X, so X abl H
Wenn X abl (H⇒H’) und X abl H, so X abl H’
Wenn X abl H und H* ∈ ausd, so X abl H[pi <- H*]
ab(X) = {X | X abl H}
Bin gerade neu dabei und deshalb nicht gut dabei.
mfg
|
|
| |
|
Hallo thunder,
bitte keine Doppelposts fabrizieren!
Gruß
schachuzipus
|
|
|
|
