From piotras@zeus.polsl.gliwice.pl Fri Oct 22 10:30:15 1999 Path: spawn!polsl.gliwice.pl!not-for-mail From: Piotr Auksztulewicz Newsgroups: pl.listserv.chomor-l Subject: Re: rodzinne stosunki Date: 21 Oct 1999 18:50:48 +0200 Organization: Politechnika Slaska, Gliwice Lines: 60 Message-ID: <7ung98$b7s$1@zeus.polsl.gliwice.pl> References: <37e801b5@news.vogel.pl> <37eea97c.163985448@news.ict.pwr.wroc.pl> <37fda711.263130932@news.icm.edu.pl> <7tkhdq$fbt$1@sunsite.icm.edu.pl> NNTP-Posting-Host: zeus.polsl.gliwice.pl Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-2 Content-Transfer-Encoding: 8bit User-Agent: tin/pre-1.4-981225 ("Volcane") (UNIX) (HP-UX/B.10.20 (9000/800)) Xref: spawn pl.listserv.chomor-l:35625 jachu wrote: > Maly przyklad na to jak sobie mozna samemu pokomplikowac zycie... > Ozenilem sie z trzydziestoczteroletnia ladna i mloda wdowka, ktora miala > rownie ladna szesnastoletnia corke. Moj ojciec ozenil sie z moja > pasierbica. [ciach] > W ten sposob zostalem swoim wlasnym dziadkiem... Oto dowód. Przyjmując następujące oznaczenie: J - Jachu O - ojciec Jachu W - młoda wdówka C - jej córka Z tekstu możemy określić następujące założenia: (a) O ojciec J (b) W matka C (c) C żona O (d) W żona J Teza brzmi: J dziadek J Zdefiniujmy sobie relacje "dziadek" i "mąż": x dziadek y <=> istnieje z, takie że: (x ojciec z) i ((z ojciec y) lub (z matka y)) (1) x mąż y <=> y żona x (2) Zwyczajowo przyjmujemy, że (nie rozróżniamy ojczyma od ojca i macochy od matki): (x mąż y) i (y matka z) => x ojciec z (3) (x żona y) i (y ojciec z) => x matka z (4) DOWÓD: (d) i (2) => J mąż A (i) (i) i (b) i (3) => J ojciec E (ii) (c) i (a) i (4) => E matka J (iii) (ii) i (iii) i (1) => J dziadek J cbdu. Podobnie można wykazać, że ojciec Jachu jest jednocześnie jego pradziadkiem, a idąc dalej, Jachu jest dla siebie prapradziadkiem itd. Ogólnie, Jachu jest dla siebie 2n(pra)dziadkiem, gdzie n = 0, 1, 2, 3... -- Piotr Auksztulewicz piotras@zeus.polsl.gliwice.pl Centrum Komputerowe Politechniki Śląskiej, Gliwice, Akademicka 16