www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Prädikatenlogik" - Aussage verneinen
Aussage verneinen < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Prädikatenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Aussage verneinen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:49 Mo 15.04.2013
Autor: Steffi2012

Aufgabe
Verneinen Sie folgende Aussagen, ohne verneinte Quantoren zu verwenden.

(g) Für alle gerade Zahlen g gibt es eine natürliche Zahl n, so dass g das Doppelte von n ist.

Hey ihr Lieben,

was ist die Lösung für die obige Aufgabe?

Es gibt für gerade Zahlen g für alle eine natürliche Zahl n, sodass g kein Doppeltes von n ist.

Ist das richtig? Oder muss natürlich zu unnatürlich werden? Schreibt man gerade oder ungerade? Muss man jediglich die Quantoren ändern?

Danke schön und beste Grüße
Steffi

        
Bezug
Aussage verneinen: Antwort
Status: (Antwort) fertig Status 
Datum: 21:25 Mo 15.04.2013
Autor: hippias

Deine Aussage ist eine sog. All-Aussage (etwas gilt fuer alle geraden Zahlen). Die Verneinung dazu bedeutet, dass es eine gerade Zahl gibt, fuer die es schief geht.
Was geht schief? Die Existenz einer weiteren Zahl, mit irgendwelchen besonderen Eigenschaften - darum kuemmern wir uns gleich. Es wird also ersteinmal die Existenz von irgendetwas verneint, d.h. alle Objekte haben die besagte Eigenschaft nicht. Soweit kann man ersteinmal fuer die Verneinung schreiben:
Es gibt eine gerade Zahl (= Verneinung der All-Aussage) so, dass fuer alle natuerlichen Zahlen (=Verneinung der Existenz-Aussage) ??? nicht gilt.
Was koennte man bei ??? einfuegen, damit die Verneinung komplett wird?

Die Idee mit der Umwandlung von natuerliche Zahl zu unnatuerliche Zahl ist huebsch und nicht grundverkehrt: So wie ich mit der Verneinung angefangen habe, brauchen wir den Fall der "unnatuerlichen Zahlen" nicht beruecksichtigen, doch man koennte es machen. Ich will aber auch nicht zuviel verraten, und es waere auch unueblich.

Bezug
                
Bezug
Aussage verneinen: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 21:35 Mo 15.04.2013
Autor: Steffi2012

Danke für die Antwort!

??? wäre doch dann

Es gibt eine gerade Zahl (= Verneinung der All-Aussage) so, dass fuer alle natuerlichen Zahlen (=Verneinung der Existenz-Aussage) das Doppelte nicht gilt.

Oder?

Bezug
                        
Bezug
Aussage verneinen: Antwort
Status: (Antwort) fertig Status 
Datum: 23:59 Mo 15.04.2013
Autor: tobit09

Hallo Steffi,


> Es gibt eine gerade Zahl (= Verneinung der All-Aussage) so,
> dass fuer alle natuerlichen Zahlen (=Verneinung der
> Existenz-Aussage) das Doppelte nicht gilt.
>
> Oder?

Ich würde so verneinen:

Es gibt eine gerade Zahl g, so dass für alle natürlichen Zahlen n die Zahl g nicht das Doppelte von n ist.

Du hast also die Quantoren korrekt verneint. Nur versteht man nicht, was "das Doppelte gilt nicht" heißt.


Viele Grüße
Tobias

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Prädikatenlogik"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]