Article View: de.sci.informatik.misc
Article #32Re: Problem mit Relationen und Logik
From: J�rg Zippel
Date: Mon, 30 Oct 2000 09:41
Date: Mon, 30 Oct 2000 09:41
27 lines
2248 bytes
2248 bytes
"Klaus Joas" <6joas@informatik.uni-hamburg.de> wrote: > Normalerweise loese ich in der Newsgroup ja keine Uebungsblaetter, aber > da das hier nur nach einer Teilaufgabe aussieht, mache ich mal ne > Ausnahme... :). > > Sei R Relation. Angenommen es existieren a und b Element M, mit aRb und > bRa, dann gilt, wegen 2., aus aRb und bRa folgt aRa. Das ist aber ein > Wiederspruch zu 1., da aRa nicht zulaessig ist. Deswegen kann, falls aRb > gilt, nicht bRa sein. > > Viel Spass noch, > > Klaus > Vielen Dank Klaus, mir war klar, da� aus 1 und 2 3 folgt aber wie ich das ganz mathematisch korrekt aufschreibe war und ist mir bei solchen Grundlagenbeweisen immer noch ein R�tsel. Dein L�sungsansatz hat mir dabei aber weitergeholfen, danke. Ich wollte auch nicht, da� mir jemand die Aufgabe komplett l�st. Die Frage war nur ob ich einfach auf Grund des Widerspruchs die Schlu�folgerung treffen kann, da� wenn (aRb) gilt folgt nicht(bRa) Naja, ich hoffe das ist legitim und bedarf keiner weiteren Erkl�rungen. Nochmals herzlichen Dank. MfG J�rg
Technical Details
Message-ID:
<MPG.14676033d74860bd989685@news.t-online.de>Path:
arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!sn-xit-uk!supernews.com!194.42.224.136.MISMATCH!diablo.netcom.net.uk!netcom.net.uk!colt.net!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mailReferences:
<MPG.1466c05f9bdde05a989680@news.t-online.de> <39FCA772.53F707FF@informatik.uni-hamburg.de>Show Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII X-Google-Thread: 113080,71cf46dc506a60ea X-Google-Attributes: gid113080,public X-Google-Thread: f4da7,71cf46dc506a60ea X-Google-Attributes: gidf4da7,public X-Google-ArrivalTime: 2000-10-30 01:41:02 PST Path: arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!sn-xit-uk!supernews.com!194.42.224.136.MISMATCH!diablo.netcom.net.uk!netcom.net.uk!colt.net!newsfeed00.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,fido.ger.informatik Subject: Re: Problem mit Relationen und Logik Date: Mon, 30 Oct 2000 10:41:33 +0100 Organization: privat Lines: 27 Message-ID: <MPG.14676033d74860bd989685@news.t-online.de> References: <MPG.1466c05f9bdde05a989680@news.t-online.de> <39FCA772.53F707FF@informatik.uni-hamburg.de> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: news.t-online.com 972898696 03 16644 4AW6EEESZaOl+ 001030 09:38:16 X-Complaints-To: abuse@t-online.com X-Sender: 520073249286-0001@t-dialin.net X-Newsreader: MicroPlanet Gravity v2.20