Article View: alt.pl.fan.trzypion
Article #15007Re: BP NMSP ;)
From: Bartosz Marganiec
Date: Thu, 20 May 2004 19:54
Date: Thu, 20 May 2004 19:54
29 lines
2692 bytes
2692 bytes
Nikita <nikita_5@poczta.onet.pl> wrote: > Upraszczasz. Logiczny zapis tego zdania wygląda tak: > P(x,y) - relacja 'x jest przodkiem y', zwraca prawdę lub fałsz Cóż, ja tam bardzo prostą logikę miałem ;-) > ( ( [dla każdego]x,y,z P(x,y)^P(y,z) => P(x,z) ) ^ (~[istnieje]x > P(x,x) ) ) => [istnieje]x ~[istnieje]y P(y,x) RATUNKU! > Tyle co 'jeśli' :> Uhm, czyli implikacja. >>> Jeśli niektóre koty są tygrysami i żaden tygrys nie jest borsukiem, >>> to wszystkie borsuki mają wąsy. > Relacja: T(x) - być tygrysem, K(x) - być kotem, B(x) - być borsukiem, W(x) - > mieć wąsy. > No, i spróbuj teraz :) Ekhm. (( [istnieje]x K(x)^T(x)^(~B(x)))=>[dla każdego]x B(x)^W(x)) ? ;-) -- Pozdrawiam, Bartosz 'Lucek' Marganiec GG: 219708; @: bartekm(at)sadyba(dot)elartnet(dot)pl /To know recursion, you must first know recursion./
Technical Details
Message-ID:
<slrn.pl.caq394.nc9.bartekm@lucek.news>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mailReferences:
<c8cths$bu4$1@news.onet.pl> <c1.01.2rMmXM$3Uj@trzypion.oldfield.org.pl> <slrn.pl.cakhcd.knc.bartekm@lucek.news> <c1.01.2rMnFs$3Uq@trzypion.oldfield.org.pl> <c8dto0$k6n$2@news.onet.pl> <c1.01.2rNByJ$3W9@trzypion.oldfield.org.pl> <c8fkec$qmo$1@news.onet.pl> <c1.01.2rNGtt$3WR@trzypion.oldfield.org.pl> <c8fokd$k1s$1@news.onet.pl> <c1.01.2rNJDC$3Wa@trzypion.oldfield.org.pl> <c8fr15$slf$1@news.onet.pl> <slrn.pl.can3qs.m1i.bartekm@lucek.news> <c8g6l6$roa$2@shodan.interia.pl> <c1.01.2rNPg9$3Ws@trzypion.oldfield.org.pl> <slrn.pl.can8s8.md0.bartekm@lucek.news> <c1.01.2rNQvg$3X5@trzypion.oldfield.org.pl> <slrn.pl.canc2d.mf9.bartekm@lucek.news> <c1.01.2rNRQF$3XD@trzypion.oldfield.org.pl> <slrn.pl.canh2v.mgj.bartekm@lucek.news> <c1.01.2rNTCt$3XH@trzypion.oldfield.org.pl> <slrn.pl.cania1.mho.bartekm@lucek.news> <c8gida$g8k$1@news.onet.pl> <slrn.pl.canjco.mim.bartekm@lucek.news> <c8ivui$hku$1@news.onet.pl> <slrn.pl.caq1bp.n9i.bartekm@lucek.news> <c8j1ni$jn9$1@news.onet.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mail From: Bartosz Marganiec <bartekm@USUNTOsadyba.elartnet.pl> Newsgroups: alt.pl.fan.trzypion Subject: Re: BP NMSP ;) Date: 20 May 2004 19:54:21 GMT Organization: Alamakota Lines: 29 Sender: bmarganiec@poczta.onet.pl@62.233.196.159 Message-ID: <slrn.pl.caq394.nc9.bartekm@lucek.news> References: <c8cths$bu4$1@news.onet.pl> <c1.01.2rMmXM$3Uj@trzypion.oldfield.org.pl> <slrn.pl.cakhcd.knc.bartekm@lucek.news> <c1.01.2rMnFs$3Uq@trzypion.oldfield.org.pl> <c8dto0$k6n$2@news.onet.pl> <c1.01.2rNByJ$3W9@trzypion.oldfield.org.pl> <c8fkec$qmo$1@news.onet.pl> <c1.01.2rNGtt$3WR@trzypion.oldfield.org.pl> <c8fokd$k1s$1@news.onet.pl> <c1.01.2rNJDC$3Wa@trzypion.oldfield.org.pl> <c8fr15$slf$1@news.onet.pl> <slrn.pl.can3qs.m1i.bartekm@lucek.news> <c8g6l6$roa$2@shodan.interia.pl> <c1.01.2rNPg9$3Ws@trzypion.oldfield.org.pl> <slrn.pl.can8s8.md0.bartekm@lucek.news> <c1.01.2rNQvg$3X5@trzypion.oldfield.org.pl> <slrn.pl.canc2d.mf9.bartekm@lucek.news> <c1.01.2rNRQF$3XD@trzypion.oldfield.org.pl> <slrn.pl.canh2v.mgj.bartekm@lucek.news> <c1.01.2rNTCt$3XH@trzypion.oldfield.org.pl> <slrn.pl.cania1.mho.bartekm@lucek.news> <c8gida$g8k$1@news.onet.pl> <slrn.pl.canjco.mim.bartekm@lucek.news> <c8ivui$hku$1@news.onet.pl> <slrn.pl.caq1bp.n9i.bartekm@lucek.news> <c8j1ni$jn9$1@news.onet.pl> NNTP-Posting-Host: 62.233.196.159 Mime-Version: 1.0 X-Trace: news.onet.pl 1085082861 5061 62.233.196.159 (20 May 2004 19:54:21 GMT) X-Complaints-To: abuse@onet.pl NNTP-Posting-Date: 20 May 2004 19:54:21 GMT X-Hamster-Trace: localhost 1085082861 988 10.1.136.55 (2 3dc 2004.05.20 19:54:20) X-Licznik: 670 User-Agent: slrn/0.9.7.4 (pl-1.4.3) (Linux/2.6.4 (i686)) Hamster/2.0.2.2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit