Article View: alt.pl.fan.trzypion
Article #15006Re: BP NMSP ;)
From: Nikita
Date: Thu, 20 May 2004 19:45
Date: Thu, 20 May 2004 19:45
33 lines
2825 bytes
2825 bytes
Bartosz Marganiec wrote: > Zaraz to rozkopię ;-) Ile czasu się na to ma? Niedużo... Ale trzeba wiedzieć trochę o formułach relacyjnych :> > Przodek przodka dowolnej osoby jest przodkiem tej osoby: p. > Nikt nie jest swoim przodkiem: q. > Jest ktoś, kto nie ma przodków: r. > (p^(~q))=>r ? Upraszczasz. Logiczny zapis tego zdania wygląda tak: P(x,y) - relacja 'x jest przodkiem y', zwraca prawdę lub fałsz ( ( [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) > Ee... 'o ile'? Co to znaczy w logice? ;-) Tyle co 'jeśli' :> >> Jeśli niektóre koty są tygrysami i żaden tygrys nie jest borsukiem, >> to wszystkie borsuki mają wąsy. > Niektóre koty są tygrysami: p. > Żaden tygrys nie jest borsukiem: q. > Wszystkie borsuki mają wąsy: r. > (p^q)=>r ? Relacja: T(x) - być tygrysem, K(x) - być kotem, B(x) - być borsukiem, W(x) - mieć wąsy. No, i spróbuj teraz :) Pozdrawiam serdecznie Niki
Technical Details
Message-ID:
<c8j1ni$jn9$1@news.onet.pl>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> <slrn.pl.cak8vr.kgt.bartekm@lucek.news> <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>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: "Nikita" <nikita_5@poczta.onet.pl> Newsgroups: alt.pl.fan.trzypion Subject: Re: BP NMSP ;) Date: Thu, 20 May 2004 21:45:30 +0200 Organization: news.onet.pl Lines: 34 Sender: nikita_5@poczta.onet.pl@gv102.neoplus.adsl.tpnet.pl Message-ID: <c8j1ni$jn9$1@news.onet.pl> References: <c8cths$bu4$1@news.onet.pl> <slrn.pl.cak8vr.kgt.bartekm@lucek.news> <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> NNTP-Posting-Host: gv102.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: news.onet.pl 1085082162 20201 83.31.27.102 (20 May 2004 19:42:42 GMT) X-Complaints-To: abuse@onet.pl NNTP-Posting-Date: 20 May 2004 19:42:42 GMT X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit