🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: alt.pl.matematyka
Article #440

Re: Student pyta...

#440
From: Kimbar
Date: Sat, 23 Apr 2005 19:30
30 lines
1941 bytes
Użytkownik "Bartosz Cichoński" <cicbar88@yahoo.com> napisał w wiadomości
news:d4e432$fjm$1@nemesis.news.tpi.pl...
> Mam pytanie dotyczac logiki mat. Drobna kwestia. Co oznacza symbol
> wykrzyknika przed kwantyfikatorem ogólnym? Gdzieś wyczytałem, że oznacza to
> "dla prawie każdego", ale nie rozumiem tego sformułowania, jest dla mnie
> zbyt mało precyzyjne.

AFAIK ,,prawie każdy'' znaczy tyle, co ,,każdy poza skończoną liczbą'', a więc
ma jakiś sens tylko dla zbiorów nieskończonych.

Z wykrzyknikiem spotkałem się tylko przy:
    \exists !
co znaczyło ,,istnieje dokładnie jeden'' więc to by pasowało, tylko czy
wykrzyknik przed czy po?

> Czy ktoś może mi udzielić informacji plus ewentualnie
> kilka konkretnych przykladów zastosowania tego symbolu?

\lim_{n \to \infty} a_n = g <=> \forall_{e \in R} {! \forall_{n \in N} a_n \in
(g-e, g+e)}

sądzę, że to jest ok.

Pozdrawiam Kimbar

-- 
|<  |  /V\  |3  /\  |2
                             It's not a baloon!
                        -- Ferdynand von Zeppelin --
Technical Details
Message-ID: <d4e7mq$qn2$1@news.onet.pl>
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mail
References: <d4e432$fjm$1@nemesis.news.tpi.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: "Kimbar" <kimbar@poczta.onet.pl>
Newsgroups: alt.pl.matematyka
Subject: Re: Student pyta...
Date: Sat, 23 Apr 2005 21:30:18 +0200
Organization: news.onet.pl
Lines: 31
Sender: kimbar@poczta.onet.pl@sv142.internetdsl.tpnet.pl
Message-ID: <d4e7mq$qn2$1@news.onet.pl>
References: <d4e432$fjm$1@nemesis.news.tpi.pl>
NNTP-Posting-Host: sv142.internetdsl.tpnet.pl
Mime-Version: 1.0
X-Trace: news.onet.pl 1114284570 27362 80.55.99.142 (23 Apr 2005 19:29:30 GMT)
X-Complaints-To: abuse@onet.pl
NNTP-Posting-Date: 23 Apr 2005 19:29:30 GMT
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1409
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1409
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit