Article View: de.sci.informatik.misc
Article #34Re: Problem mit Aussagenlogik und Quantoren
From: J�rg Zippel
Date: Mon, 30 Oct 2000 10:30
Date: Mon, 30 Oct 2000 10:30
31 lines
2569 bytes
2569 bytes
"axel_schmitz_tewes@my-deja.com" <axel_schmitz_tewes@my-deja.com> wrote: > 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......................... Schon klar, ich sollte das ganz doch nochmal �berdenken. Das Beispiel von dir find ich echt Klasse. Das zeigt mir, da� Mathe doch manchmal recht am�sant ist. ;-) Also w�re die Verneinung: Eine Funktion f ist an der Stelle x_0 nicht stetig genau dann, wenn ein e>0 existiert zu dem es keine Zahl d>0 gibt, so da� aus der Ungleichung Betrag(x - x_0) < d nicht die Ungleichung Betrag(f(x) - f(x_0)) < e folgt. Ich hoffe ich hab das jetzt so richtig verstanden. ;-) Vielen Dank und f�r weitere so lustige Beitr�ge, die die Mathematik etwas auflockern, bin ich jederzeit zu haben. MfG J�rg
Technical Details
Message-ID:
<MPG.14676bfcdaf50822989686@news.t-online.de>Path:
arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!xfer13.netnews.com!netnews.com!fr.clara.net!small.fr.clara.net!newsfeed01.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mailReferences:
<MPG.1467597bb7597987989683@news.t-online.de> <8tjgs4$5fe$1@nnrp1.deja.com>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:31:02 PST Path: arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!xfer13.netnews.com!netnews.com!fr.clara.net!small.fr.clara.net!newsfeed01.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail From: J�rg Zippel <VipZip@gmx.net> Newsgroups: de.sci.informatik.misc,de.sci.mathematik,fido.ger.informatik Subject: Re: Problem mit Aussagenlogik und Quantoren Date: Mon, 30 Oct 2000 11:30:14 +0100 Organization: privat Lines: 31 Message-ID: <MPG.14676bfcdaf50822989686@news.t-online.de> References: <MPG.1467597bb7597987989683@news.t-online.de> <8tjgs4$5fe$1@nnrp1.deja.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.t-online.com 972901619 01 22068 nXZ10YVS+ArXC 001030 10:26:59 X-Complaints-To: abuse@t-online.com X-Sender: 520073249286-0001@t-dialin.net X-Newsreader: MicroPlanet Gravity v2.20