| Matma / logika i teoria zbiorów |
| Autor | Wiadomość |
| Michał
|
Posted: 17 Maj 2005 14:18:17 więc jest tak. posadamy jakąś klasę (zbiór dzieci w klasie) np.: k={Ala,Marta}. muszę zapisać to w takiej postaci : "E" - należy "/E" - nie należy k E {a} czyli "k" ma być elementem zbioru "a". chodzi tutaj o zapis. po lewej stronie mamy "k E " a po prawej muszę coś wpisać aby elementy zbioru z prawej strony były elementami zbiory po lewej stronie. W/w zapis nie jest spełniony ponieważ : k /E {a} Może trudno to przekazać w formie postu, ale inaczej nie potrafie. Chodzi tutaj o jakiś zapis. Oczywiście jest to logika i coś może być prawdziwe lub nieprawdziwe. Wiem jednak że da się to tak napisać. |
| Maciek
|
Posted: 17 Maj 2005 19:28:16 więc jest tak. posadamy jakąś klasę (zbiór dzieci w klasie) np.: k={Ala,Marta}. muszę zapisać to w takiej postaci :
"E" - należy "/E" - nie należy k E {a} czyli "k" ma być elementem zbioru "a". Coś się nie zgadza. Wyraz "czyli" oznaczać może rownoważność albo wynikanie - w tym przypadku jednak nie zachodzi ani jedno ani drugie. Zapis: { a } oznacza zbiór jednoelementowy, którego jedynym elementem jest a. Jeśli zatem miałoby k należeć do {a}, to musiałoby być k=a (bo tylko a jest elementem {a}). Z tego zaś, że k=a wcale nie wynika, że k jest elementem zbioru a. Wręcz przeciwnie - bo to by oznaczało, że a jest swoim własnym elementem! Wniosek: uważaj co piszesz. Symbole a i {a} NIE SĄ tym samym. Maciek |
| Michał
|
Posted: 18 Maj 2005 07:33:55 Wniosek: uważaj co piszesz.
Symbole a i {a} NIE SĄ tym samym. Soryy, źle to widocznie napisałem ale widze że rozumiesz o co chodzi. Coś się nie zgadza. Wyraz "czyli" oznaczać może
rownoważność albo wynikanie - w tym przypadku jednak nie zachodzi ani jedno ani drugie. Tutaj też Cię rozumiem. Ani jedno ani drugie nie zachodzi. Stąd teraz pytanie. jak to zapisać aby zachodziła równoważność albo wynikanie? |
| Maciek
|
Posted: 20 Maj 2005 10:24:47 (.....) Coś się nie zgadza. Wyraz "czyli" oznaczać może
rownoważność albo wynikanie - w tym przypadku jednak nie zachodzi ani jedno ani drugie. (...) Ani jedno ani drugie nie zachodzi. Stąd teraz pytanie. jak to zapisać aby zachodziła równoważność albo wynikanie? Zadaj pytanie inaczej. To które zadałeś nie ma sensu: niezależnie jak TO napiszesz, wynikanie się nie pojawi, bo w TYM nie ma wynikania. A jeśli chcesz napisać nie TO, lecz COŚ INNEGO, w czym byłoby wynikanie, no to ja nie wiem, CO innego właściwie chciałbyś napisać. Wynikanie pojawia się w tysiącach twierdzeń, więc dowolne z nich będzie spełniało Twoje wymaganie... Na przykład tautologia: (a in k) <= (a in k) element a należy do zbioru k wtedy i tylko wtedy, gdy element a należy do zbioru k. Maciek |