Re: Problem mit Aussagenlogik und Quantoren

Article View: de.sci.informatik.misc

Article #37

Back to de.sci.informatik.misc Previous Next

#37

From: axel_schmitz_tewes
Date: Mon, 30 Oct 2000 13:43

31 lines
2322 bytes

In article <MPG.14676bfcdaf50822989686@news.t-online.de>,
  J�rg Zippel <VipZip@gmx.net> wrote:
> 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. ;-)
>

Du hast ein Problem mit der doppelten Verneinung. ( es gibt allerdings
Regionen in Deutschland, wo das anders interpretiert wird )

also es existiert e>0 zu dem es keine Zahl d>0 gibt, so da�  |x-x0|<d
folgt |f(x)-(x0)|<e (und _nicht_  'nicht folgt') :-)

Du hast jetzt den ersten Quantor richtig umgestellt. Die innere Aussage
l��t sich aber auch noch modifizieren. Wenn es n�mlich keine Zahl d
gibt, f�r die etwas folgt, sagt man, da� es f�r alle d nicht folgt.

Und jetzt mu�t Du noch ausbaldowern, was es bedeutet da� es nicht gilt,
da� aus a b folgt.  (Tip a->b ist �quvalent zu (non a) oder b)

Gru�,
Axel

Sent via Deja.com http://www.deja.com/
Before you buy.

Technical Details

Message-ID: <8tjtug$en4$1@nnrp1.deja.com>

Path:

arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!feeder.qis.net!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail

References:

<MPG.1467597bb7597987989683@news.t-online.de> <8tjgs4$5fe$1@nnrp1.deja.com> <MPG.14676bfcdaf50822989686@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 05:50:10 PST
Path: arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-01!supernews.com!feeder.qis.net!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 13:43:46 GMT
Organization: Deja.com - Before you buy.
Lines: 31
Message-ID: <8tjtug$en4$1@nnrp1.deja.com>
References: <MPG.1467597bb7597987989683@news.t-online.de> <8tjgs4$5fe$1@nnrp1.deja.com> <MPG.14676bfcdaf50822989686@news.t-online.de>
NNTP-Posting-Host: 62.153.204.23
X-Article-Creation-Date: Mon Oct 30 13:43:46 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

Reply to Parent Message