🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: de.sci.informatik.misc
Article #33

Re: Problem mit Aussagenlogik und Quantoren

#33
From: axel_schmitz_tewes
Date: Mon, 30 Oct 2000 10:00
63 lines
3294 bytes
In article <MPG.1467597bb7597987989683@news.t-online.de>,
  J�rg Zippel <VipZip@gmx.net> wrote:
> Sch�nen guten Morgen,
> mich ereilte doch noch ein weiteres Problem:
>
> Aussage 1:
> Eine Funktion hei�t an der Stelle x_0 stetig genau dann, wenn es f�r
alle
> reellen Zahlene>0 stets eine Zahl d>0 gibt, so da� die Ungleichung
> Betrag(x - x_0) < d stets die Ungleichung Betrag(f(x) - f(x_0)) < e
zur
> Folge hat.
>
> Diese Aussage ist nun zu verneinen.
> Meine �berlegung ist nun folgende:
>
> Eine Funktion hei�t an der Stelle x_0 nicht stetig genau dann, wenn
es
> f�r alle d>0 eine reelle Zahl e>0 gibt, so da� die Ungleichung
> Betrag(x - x_0) < d nicht die Ungleichung Betrag(f(x) - f(x_0))<e zur
> Folge hat.

ist m.E. nicht die richtige Verneinung, abgesehen von der etwas
bedeutungslosen Floskel 'etwas Nicht zur Folge zu haben' (hier hast Du
Dir es etwas einfach gemacht ;-) ( noch einfacher w�re einfach ein
nicht vor den Satz zu setzen ;-), hast Du am Anfang die Quantoren
falsch gesetzt.

Beliebtes Bsp (f�r M�nner) um es sich klarzumachen ist:  F�r jeden Mann
gibt es eine Frau, die ihn liebt .... ( Mathematiker sind Idealisten :-
). Sollte das nicht stimmen ( unerwarteterweise)

w�rdest Du sagen:

F�r jede Frau, gibt es einen Mann den sie nicht liebt.

Aber auch Du m��test wahrscheinlich zugeben, da� die zweite Aussage,
da� jede Frau bei langem Suchen einen Mann finden kann, den sie nicht
liebt, nichts mit der Tatsache zu tun haben mag, da� es nicht f�r jeden
Mann gegeben sein mag eine Frau zu finden, die ihn liebt!

gr�bellllll.........................

>
> Man k�nnte ja die obige Aussage 1 auch in einer logischen Formel
> ausdr�cken, was dann meiner Meinung nach so aussehen m��te:
>
> f an x_0 stetig <-> (f�r alle) e: e (Element) R und e>0 (existiert) d
> 0
> mit Betrag(x - x_0) < d  =>  Betrag(f(x) - f(x_0)) < e

Du sollst hier wahrscheinlich blo� die rechte Seite der Defintion
verneinen.


das formal anzugehen, ist sicher der beste Weg zum Erfolg.

Gru�,
Axel


Sent via Deja.com http://www.deja.com/
Before you buy.
Technical Details
Message-ID: <8tjgs4$5fe$1@nnrp1.deja.com>
Path: arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!xfer13.netnews.com!netnews.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
References: <MPG.1467597bb7597987989683@news.t-online.de>

Show Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII
X-Google-Thread: 113080,40dc7925b0eda38d
X-Google-Attributes: gid113080,public
X-Google-Thread: 1032cb,40dc7925b0eda38d
X-Google-Attributes: gid1032cb,public
X-Google-Thread: f4da7,40dc7925b0eda38d
X-Google-Attributes: gidf4da7,public
X-Google-ArrivalTime: 2000-10-30 02:10:06 PST
Path: arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!xfer13.netnews.com!netnews.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: axel_schmitz_tewes@my-deja.com
Newsgroups: de.sci.informatik.misc,de.sci.mathematik,fido.ger.informatik
Subject: Re: Problem mit Aussagenlogik und Quantoren
Date: Mon, 30 Oct 2000 10:00:40 GMT
Organization: Deja.com - Before you buy.
Lines: 63
Message-ID: <8tjgs4$5fe$1@nnrp1.deja.com>
References: <MPG.1467597bb7597987989683@news.t-online.de>
NNTP-Posting-Host: 62.153.204.23
X-Article-Creation-Date: Mon Oct 30 10:00:40 2000 GMT
X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.0; Windows NT; DigExt)
X-Http-Proxy: 1.1 x67.deja.com:80 (Squid/1.1.22) for client 62.153.204.23
X-MyDeja-Info: XMYDJUIDaxel_schmitz_tewes