| ° Forum ° Rejestracja ° Szukaj ° | |
| Remonty ° sztabka złota ° Auto giełda ° wnętrzowe stacje transformatowe |
| 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 |