Article View: de.sci.informatik.misc
Article #39Re: Problem mit Relationen und Logik
From: Matthias Bobzien
Date: Mon, 30 Oct 2000 18:26
Date: Mon, 30 Oct 2000 18:26
19 lines
1916 bytes
1916 bytes
Hi Joerg, "J�rg Zippel" wrote: > > 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. Die Beweismethode heisst 'Beweis per Widerspruch' und ist legitim. Im Gegensatz zu den gerne angewandten Beweismethoden 'Beweis per Beispiel' oder 'Beweis per Uebungsaufgabe'. Gerade letztere wird immer wieder gerne von eiligen Profs verwendet... ;-) Matthias -- Matthias Bobzien E-Mail: bobzien@ikg.uni-bonn.de
Technical Details
Message-ID:
<39FDBD4E.FF478EDD@ikg.uni-bonn.de>Path:
arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!news.tele.dk!194.8.194.95!news.netcologne.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!not-for-mailReferences:
<MPG.1466c05f9bdde05a989680@news.t-online.de> <39FCA772.53F707FF@informatik.uni-hamburg.de> <MPG.14676033d74860bd989685@news.t-online.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 10:28:24 PST Path: arc1-ca.pugleaf.net!supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!news.tele.dk!194.8.194.95!news.netcologne.de!news.rwth-aachen.de!news.rhrz.uni-bonn.de!not-for-mail From: Matthias Bobzien <bobzien@ikg.uni-bonn.de> Newsgroups: de.sci.informatik.misc,fido.ger.informatik Subject: Re: Problem mit Relationen und Logik Date: Mon, 30 Oct 2000 19:26:22 +0100 Organization: IKG Uni Bonn Lines: 19 Message-ID: <39FDBD4E.FF478EDD@ikg.uni-bonn.de> References: <MPG.1466c05f9bdde05a989680@news.t-online.de> <39FCA772.53F707FF@informatik.uni-hamburg.de> <MPG.14676033d74860bd989685@news.t-online.de> NNTP-Posting-Host: fire.ikt.uni-bonn.de Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Trace: f1node01.rhrz.uni-bonn.de 972930310 41512 131.220.71.200 (30 Oct 2000 18:25:10 GMT) X-Complaints-To: usenet@f1node01.rhrz.uni-bonn.de NNTP-Posting-Date: 30 Oct 2000 18:25:10 GMT X-Mailer: Mozilla 4.7 [en] (WinNT; I) X-Accept-Language: en,de,el