matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Dt. Schulen im Ausland: Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenAussagenlogikAussagenlogik
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Informatik • Physik • Technik • Biologie • Chemie
Forum "Aussagenlogik" - Aussagenlogik
Aussagenlogik < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aussagenlogik: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:43 Mo 31.10.2011
Autor: caffeinejunkie

Aufgabe
a) Geben Sie die Grundmenge so an, dass folgende Aussageform wahr ist:
[mm] (\exists [/mm] x [mm] \in G_{1})(\forall [/mm] y [mm] \in G_{1}) [/mm] : x - 1 [mm] \leq [/mm] y [mm] \leq [/mm] x + 1

b) Die Grundmenge sei G = [mm] \IN. [/mm] Ersetzen Sie die Unterstriche so, dass die Aussage wahr ist.
[mm] (\exists [/mm] n [mm] \in \IN: [/mm] _____) [mm] \Rightarrow (\forall [/mm] n [mm] \in \IN: [/mm] n < 0)

Hallo,

ich habe mich bisher kaum mit solchen Aufgaben befasst und wüsste gerne, ob ich die mathematischen Formulierungen richtig verstanden habe.

Die Aussageform unter a) verstehe ich so: In der Grundmenge [mm] G_{1} [/mm] findet man für jedes Element y mindestens ein Element x, sodass gilt: x - 1 [mm] \leq [/mm] y [mm] \leq [/mm] x + 1
Da nun [mm] \leq [/mm] eine transitive Relation ist, gilt auch: x - 1 [mm] \leq [/mm] x + 1. Diese Bedingung sollte ja für alle x [mm] \in [/mm] G bei allen Zahlenbereichen innerhalb der reellen Zahlen gelten. Nun muss man also für alle y, die in der Grundmenge enthalten sind, ein x finden, für das die Aussageform stimmt. Bei einer unendlichen Menge könnte man immer x = y wählen, damit wäre die Aussageform war. Bei einer endlichen Menge könnte man, wenn y das kleinste Element ist, für x = y + 1 wählen, wenn y das größte Element ist, nimmt man x = y -1. Also ist die Aussageform bei allen Zahlenbereichen, die innerhalb der reellen Zahlen liegen, gültig.

Bei der Aufgabe b) fehlt mir bisher ein Lösungsansatz. Ich würde das so ausformulieren: Es existiert eine natürliche Zahl n, für die gilt: _____ . Daraus folgt, dass alle natürlichen Zahlen kleiner null (also negativ) sind. Der zweite Teil sollte doch eigentlich eine falsche Aussage sein, da es keine negativen natürliche Zahlen gibt. Sehe ich das falsch? Soll ich etwa die Unterstriche durch etwas ebenfalls falsches ersetzen und dann nach "Ex falso quodlibet" daraus was falsches folgern?

Danke im Voraus.

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
Aussagenlogik: Antwort
Status: (Antwort) fertig Status 
Datum: 16:24 Mo 31.10.2011
Autor: Schadowmaster


> a) Geben Sie die Grundmenge so an, dass folgende
> Aussageform wahr ist:
>  [mm](\exists[/mm] x [mm]\in G_{1})(\forall[/mm] y [mm]\in G_{1})[/mm] : x - 1 [mm]\leq[/mm] y
> [mm]\leq[/mm] x + 1
>  
> b) Die Grundmenge sei G = [mm]\IN.[/mm] Ersetzen Sie die
> Unterstriche so, dass die Aussage wahr ist.
>  [mm](\exists[/mm] n [mm]\in \IN:[/mm] _____) [mm]\Rightarrow (\forall[/mm] n [mm]\in \IN:[/mm]
> n < 0)
>  Hallo,
>  
> ich habe mich bisher kaum mit solchen Aufgaben befasst und
> wüsste gerne, ob ich die mathematischen Formulierungen
> richtig verstanden habe.
>
> Die Aussageform unter a) verstehe ich so: In der Grundmenge
> [mm]G_{1}[/mm] findet man für jedes Element y mindestens ein
> Element x, sodass gilt: x - 1 [mm]\leq[/mm] y [mm]\leq[/mm] x + 1
>  Da nun [mm]\leq[/mm] eine transitive Relation ist, gilt auch: x - 1
> [mm]\leq[/mm] x + 1. Diese Bedingung sollte ja für alle x [mm]\in[/mm] G bei
> allen Zahlenbereichen innerhalb der reellen Zahlen gelten.
> Nun muss man also für alle y, die in der Grundmenge
> enthalten sind, ein x finden, für das die Aussageform
> stimmt. Bei einer unendlichen Menge könnte man immer x = y
> wählen, damit wäre die Aussageform war. Bei einer
> endlichen Menge könnte man, wenn y das kleinste Element
> ist, für x = y + 1 wählen, wenn y das größte Element
> ist, nimmt man x = y -1. Also ist die Aussageform bei allen
> Zahlenbereichen, die innerhalb der reellen Zahlen liegen,
> gültig.


Nö.^^
Du musst darauf achten, dass Quantoren von links nach rechts ausgewertet werden.
Das heißt es gibt ein x, sodass alle y zwischen x-1 und x+1 liegen.
Zum Beispiel [mm] $\{ 1,2,3,4 \}$ [/mm] wäre keine gültige Menge.
Es stellt sich hier dann auch noch die Frage, ob du nur irgend eine Menge angeben sollst oder die größte Teilmenge von [mm] $\IR$ [/mm] für die dies gilt?


> Bei der Aufgabe b) fehlt mir bisher ein Lösungsansatz. Ich
> würde das so ausformulieren: Es existiert eine natürliche
> Zahl n, für die gilt: _____ . Daraus folgt, dass alle
> natürlichen Zahlen kleiner null (also negativ) sind. Der
> zweite Teil sollte doch eigentlich eine falsche Aussage
> sein, da es keine negativen natürliche Zahlen gibt. Sehe
> ich das falsch? Soll ich etwa die Unterstriche durch etwas
> ebenfalls falsches ersetzen und dann nach "Ex falso
> quodlibet" daraus was falsches folgern?

Die Gesamtaussage soll wahr sein.
Wie du richtig festgestellt hast ist der hintere Teil falsch.
Also musst du es so basteln, dass die Folgerung insgesamt wahr ist, ja.
Was genau du da für den Strich nimmst, da fällt dir sicher was ein. ;)


lg

Schadow

Bezug
                
Bezug
Aussagenlogik: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:51 Mo 31.10.2011
Autor: caffeinejunkie


>  Du musst darauf achten, dass Quantoren von links nach
> rechts ausgewertet werden.
>  Das heißt es gibt ein x, sodass alle y zwischen x-1 und
> x+1 liegen.

Das würde dann allen geordneten Mengen, die 3 Elemente enthalten, entsprechen, oder nicht?
Beispielsweise G = {1, 2, 3}. Für x = 2 gilt:
x-1 = 1
x+1 = 3
1 [mm] \leq [/mm] y [mm] \leq [/mm] 3 ist für alle y [mm] \in [/mm] G erfüllt.

>  Es stellt sich hier dann auch noch die Frage, ob du nur
> irgend eine Menge angeben sollst oder die größte
> Teilmenge von [mm]\IR[/mm] für die dies gilt?

Es wurde ja laut Aufgabenstellung nicht weiter eingeschränkt, daher sollte es eine beliebige Menge sein.

>  Wie du richtig festgestellt hast ist der hintere Teil
> falsch.
>  Also musst du es so basteln, dass die Folgerung insgesamt
> wahr ist, ja.
>  Was genau du da für den Strich nimmst, da fällt dir
> sicher was ein. ;)

Naja, es wäre evtl. sinnvoll, den Strich durch n < 0 oder n = -1 zu ersetzen. Aber könnte man nicht eine beliebige falsche Aussage formen, um dann aus falschem falsches zu folgern, sodass die Aussage insgesamt wahr ist?
Die Aussage
[mm] (\exists [/mm] n [mm] \in \IN: [/mm] n = [mm] \wurzel{2}) \Rightarrow (\forall [/mm] n [mm] \in \IN [/mm] : n < 0)
müsste dann ebenfalls gültig sein.

Bezug
                        
Bezug
Aussagenlogik: Antwort
Status: (Antwort) fertig Status 
Datum: 16:56 Mo 31.10.2011
Autor: Schadowmaster


> >  Du musst darauf achten, dass Quantoren von links nach

> > rechts ausgewertet werden.
>  >  Das heißt es gibt ein x, sodass alle y zwischen x-1
> und
> > x+1 liegen.
>  
> Das würde dann allen geordneten Mengen, die 3 Elemente
> enthalten, entsprechen, oder nicht?
>  Beispielsweise G = {1, 2, 3}. Für x = 2 gilt:
>  x-1 = 1
>  x+1 = 3
>  1 [mm]\leq[/mm] y [mm]\leq[/mm] 3 ist für alle y [mm]\in[/mm] G erfüllt.

jo, das ist eine Art von zulässigen Mengen.
Es gibt noch einige andere, aber wenn du nur eine angeben sollst passt das so.


> >  Es stellt sich hier dann auch noch die Frage, ob du nur

> > irgend eine Menge angeben sollst oder die größte
> > Teilmenge von [mm]\IR[/mm] für die dies gilt?
>  
> Es wurde ja laut Aufgabenstellung nicht weiter
> eingeschränkt, daher sollte es eine beliebige Menge sein.
>  
> >  Wie du richtig festgestellt hast ist der hintere Teil

> > falsch.
>  >  Also musst du es so basteln, dass die Folgerung
> insgesamt
> > wahr ist, ja.
>  >  Was genau du da für den Strich nimmst, da fällt dir
> > sicher was ein. ;)
>  
> Naja, es wäre evtl. sinnvoll, den Strich durch n < 0 oder
> n = -1 zu ersetzen. Aber könnte man nicht eine beliebige
> falsche Aussage formen, um dann aus falschem falsches zu
> folgern, sodass die Aussage insgesamt wahr ist?
>  Die Aussage
>  [mm](\exists[/mm] n [mm]\in \IN:[/mm] n = [mm]\wurzel{2}) \Rightarrow (\forall[/mm] n
> [mm]\in \IN[/mm] : n < 0)
>  müsste dann ebenfalls gültig sein.

[ok]

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Aussagenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]