Article View: alt.pl.fan.trzypion
Article #15008Re: BP NMSP ;)
From: Nikita
Date: Thu, 20 May 2004 22:13
Date: Thu, 20 May 2004 22:13
21 lines
2323 bytes
2323 bytes
Bartosz Marganiec wrote: > Cóż, ja tam bardzo prostą logikę miałem ;-) No na studiach raczej nie tłucze się tego, co było :> > Uhm, czyli implikacja. Uhm, brawo :> >> 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)) ? > ;-) Prawie dobrze :) (( [istnieje]x K(x)^T(x)^(~[istnieje]x T(x)^B(x)))=>[dla każdego]x B(x)=>W(x)) Pozdrawiam serdecznie Niki
Technical Details
Message-ID:
<c8jadr$kn7$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.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> <slrn.pl.caq394.nc9.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: Fri, 21 May 2004 00:13:55 +0200 Organization: news.onet.pl Lines: 22 Sender: nikita_5@poczta.onet.pl@ge163.neoplus.adsl.tpnet.pl Message-ID: <c8jadr$kn7$1@news.onet.pl> References: <c8cths$bu4$1@news.onet.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> <slrn.pl.caq394.nc9.bartekm@lucek.news> NNTP-Posting-Host: ge163.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: news.onet.pl 1085091067 21223 83.31.10.163 (20 May 2004 22:11:07 GMT) X-Complaints-To: abuse@onet.pl NNTP-Posting-Date: 20 May 2004 22:11:07 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