🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: alt.pl.fan.trzypion
Article #15005

Re: BP NMSP ;)

#15005
From: Bartosz Marganiec
Date: Thu, 20 May 2004 19:21
36 lines
2818 bytes
Nikita <nikita_5@poczta.onet.pl> wrote:

> Mhm... Inne fragmenty:

Zaraz to rozkopię ;-) Ile czasu się na to ma?

> Jeśli każdy przodek przodka dowolnej osoby jest też przodkiem tej osoby, ale
> nikt nie jest swoim przodkiem, to jest ktoś taki, kto nie ma przodków.

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 ?

> Jeśli każdy rozumny filozof jest cynikiem i tylko kobiety są rozumne to, o
> ile istnieją rozumne filozofie, pewne kobiety muszą być cynikami.

Ee... 'o ile'? Co to znaczy w logice? ;-)

> 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 ?

;-)

-- 
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.caq1bp.n9i.bartekm@lucek.news>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mail
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>

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:21:38 GMT
Organization: Alamakota
Lines: 36
Sender: bmarganiec@poczta.onet.pl@62.233.196.159
Message-ID: <slrn.pl.caq1bp.n9i.bartekm@lucek.news>
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>
NNTP-Posting-Host: 62.233.196.159
Mime-Version: 1.0
X-Trace: news.onet.pl 1085080898 25871 62.233.196.159 (20 May 2004 19:21:38 GMT)
X-Complaints-To: abuse@onet.pl
NNTP-Posting-Date: 20 May 2004 19:21:38 GMT
X-Hamster-Trace: localhost 1085080898 1364 10.1.136.55 (2 554 2004.05.20 19:21:38)
X-Licznik: 669
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