Article View: alt.pl.matematyka
Article #440Re: Student pyta...
From: Kimbar
Date: Sat, 23 Apr 2005 19:30
Date: Sat, 23 Apr 2005 19:30
30 lines
1941 bytes
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-mailReferences:
<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