Student pyta...

Matma / Student pyta...

Autor	Wiadomość
Bartosz Cichoński	Posted: 23 Kwi 2005 18:23:00 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. Czy ktoś może mi udzielić informacji plus ewentualnie kilka konkretnych przykladów zastosowania tego symbolu?
Kimbar	Posted: 23 Kwi 2005 19:30:18 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 o 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