Ableiten mit Einsetzungregel < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
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 finde keinen Ansatz bin gerade neu dabei.
mfg
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 12:43 Do 25.11.2010 | Autor: | M.Rex |
Hallo
Verrätst du uns noch, was ab(X) darstellen soll. Und was genau meinst du mit Ausdrucksmengen?
Marius
|
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 13:04 Do 25.11.2010 | Autor: | meili |
Hallo,
> 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 finde keinen Ansatz bin gerade
> neu dabei.
> mfg
Ist das die gleiche Aufgabe wie Aufgabe 2 in der veränderten Fassung (iv)?
Gruß
meili
|
|
|
|
|
Nein ist leider nicht die Aufgabe 2. Können Sie mir das erklären?
mfg
|
|
|
|
|
Hallo,
wie wär's denn, wenn du uns endlich darüber aufklärst, was du mit deinen Bezeichnungen meinst.
Marius hat doch oben bereits nachgefragt, was ab(X) ist und was "Ausdrucksmengen" sein sollen.
Erkläre das mal, dann kann man dir vllt. auch helfen.
Aus deiner "Definition" wird doch kein Mensch schlau.
Was ist "abl H"? Was ist H ??
Gruß
schachuzipus
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 13:22 Sa 27.11.2010 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 13:05 Do 25.11.2010 | Autor: | thunder90 |
Also ich weiß das ab(X) = {X | X abl H} so definiert ist mehr kann ich leider auch nicht sagen leider:-(
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 13:46 Do 25.11.2010 | Autor: | M.Rex |
> Also ich weiß das ab(X) = {X | X abl H} so definiert ist
> mehr kann ich leider auch nicht sagen leider:-(
Und wieder die Frage. Was ist H, und was abl(H)?
Ist H ein Element aus [mm] \IR^{n}, [/mm] aus [mm] \IC, [/mm] eine Matrix (Wenn ja, quadratisch, invertierbar,...)
Und meinst du mit X zufällig ein kleines x, die Mengenschreibweise deutet ein wenig darauf hin.
Ohne diese Infos können wir dir nicht weiterhelfen.
Marius
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 14:26 Do 25.11.2010 | Autor: | thunder90 |
Oh sorry
also es ist aus dem bereich der Aussagenlogik.
[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}
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 13:22 Sa 27.11.2010 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|