Article View: de.sci.informatik.misc
Article #33Re: Problem mit Aussagenlogik und Quantoren
From: axel_schmitz_tewes
Date: Mon, 30 Oct 2000 10:00
Date: Mon, 30 Oct 2000 10:00
63 lines
3294 bytes
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-mailReferences:
<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