| Autor |
Wiadomość |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
W matematyce Ziemian jest coś takiego jak moc zbioru, moc zbioru pustego jest równa 0, a innego ilości elementów a nie tylko jeden, może być nieskończona, zresztą mogą być różne nieskończoności
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 14:16 |
|
|
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
Andy72 napisał(a): W matematyce Ziemian jest coś takiego jak moc zbioru, moc zbioru pustego jest równa 0, a innego ilości elementów a nie tylko jeden, może być nieskończona, zresztą mogą być różne nieskończoności Nie ma temat. ... ale jaja. Kliknijcie sobie w Googlach hasło: "wartość logiczna zbioru" Dostaniecie dowód że we współczesnej logice matematycznej zbiory mają wartość logiczną 
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 14:26 |
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
viewtopic.php?p=809208#p809208zefciu napisał(a): rafal3006 napisał(a): Teoria mnogości nie ma nic wspólnego z AK. Nic. Jedna i druga mówią o zbiorach, podzbiorach i częściach wspólnych. Ale nie mają ze sobą nic wspólnego, bo tak mówi rafal i uzasadniać tego nie musi. Cytuj: W AK zbiory mają wartości logiczne: W Pythonie też mają wartości logiczne. I dokładnie takie same, jak w AK: Kod: In [1]: bool(set([1, 2, 3])) Out[1]: True In [2]: bool(set([])) Out[2]: False Zapytaj Guido, to Ci powie, że też opiera się na standardowej logice. Czego nie zrozumiałem. Nie mam ochoty na taką zabawę, że ja się staram coś wyczytać z Twoich słowotoków, a Ty niekonstruktywnie wszystko odrzucasz. Zwłaszcza, że potem piszesz interpretację mar3x, która jest identyczna do mojej i bijesz mu brawo.Wyłuszczone: Mam nadzieje że będziesz trzecim człowiekiem na Ziemi, który zaakceptuje AK To co napisałeś jest bardzo ciekawe, to jest dowód że programiści posługują się w praktyce algebrą Kubusia!Jak pokażesz w Wiki czy w jakimkolwiek podręczniku matematyki że w matematycznej logice Ziemian zbiory mają wartości logiczne: p=[krowa, kot] =1 - zbiór niepusty, wartość logiczna zbioru 1 p=[]=0 - zbiór pusty, wartość logiczna 0 to oczywiście natychmiast i bezwarunkowo kasuję AK. viewtopic.php?p=809215#p809215Andy72 napisał(a): W matematyce Ziemian jest coś takiego jak moc zbioru, moc zbioru pustego jest równa 0, a innego ilości elementów a nie tylko jeden, może być nieskończona, zresztą mogą być różne nieskończoności Nie ma temat. ... ale jaja. Kliknijcie sobie w Googlach hasło: "wartość logiczna zbioru" Dostaniecie dowód że we współczesnej logice matematycznej zbiory mają wartość logiczną  To jest na prawdę bardzo interesujące, jak klikniecie na googlach to wytłuszczone niżej to dostaniecie aż 83 wyniki potwierdzające tezę iż w logice matematycznej istnieje pojęcie "wartość logiczna zbioru" Jeśli chcesz, możesz powtórzyć wyszukiwanie z uwzględnieniem pominiętych wyników.
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 14:38 |
|
|
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 15:23 |
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
Nie interesuje mnie to badziewie. Ja się pytam o dowód iż rzeczywiście w jakiejkolwiek logice formalnej zbiory mają wartości logiczne z znaczeniu Kubusia i Zefcia.
Poproszę o taki dowód, znajdziesz, kasuję AK
Kubuś
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 15:58 |
|
|
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
Właśnie https://pl.wikipedia.org/wiki/Logika_modalna to logika ludzkiego języka, ścisła i dorobiona.
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 16:02 |
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
Po pierwsze jakiego ludzkiego, to bzdura. ... a po drugie to nie na temat. Miałeś znaleźć iż w logice Ziemian zbiory mają rzeczywiście wartości logiczne w znaczeniu Kubusia i Zefcia. Życzę owocnych poszukiwań. Kliknij na googlach: "wartość logiczna zbioru" .. i opowiedz tu wszystkim co znalazłeś 
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 16:27 |
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
A wgłębiałeś się w logikę modalną? W nauce Ziemian zbiory mają coś takiego jak moc zbioru, to daje więcej informacji niż tylko jedynka i zero.
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 16:37 |
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
W logice ziemian masz same kwiatki w stylu: Jeśli koło jest kwadratem to kapusta jest Zielona etc Co to ma wspólnego z językiem mówionym człowieka?
Zauważ, że wszystkie próby matematycznego opisania logiki innej niż dwuwartościowa legły w gruzach.
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 16:40 |
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
rafal3006 napisał(a): W logice ziemian masz same kwiatki w stylu: Jeśli koło jest kwadratem to kapusta jest Zielona etc Co to ma wspólnego z językiem mówionym człowieka?
A jak jest w logice modalnej? Natomiast w Twojej będzie "Jeśli koło jest kwadratem to kapusta jest czerwona"? Tylko jest to groźba czy obietnica?
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 18:21 |
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
W AK dowolne zdanie "jeśli p to q" wartości logiczne p i q są znane z góry jest fałszywe.
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 18:26 |
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
To znaczy, jeśli liczba jest podzielna przez 10, jest podzielna przez 2 - jest fałszywe?? Co w tym logicznego?
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 18:28 |
|
 |
|
rafal3006
Dołączył(a): So lut 18, 2006 20:30 Posty: 1589
|
 Re: Nowa teoria implikacji
... ale gdzie ty tu masz wartość logiczną zdania znaną z góry - bo nie widzę.
_________________ Algebra Kubusia - nowa teoria zbiorów
|
| So maja 10, 2014 18:39 |
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
Np 20 podzielne prze 10 = znane z góry, i podzielne przez 2?
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 19:55 |
|
 |
|
Andy72
Dołączył(a): N sie 07, 2011 18:17 Posty: 9126
|
 Re: Nowa teoria implikacji
Piszesz: Cytuj: Żaden 5-cio latek nie wypowiada zdań jak niżej: A. Pies ma cztery łapy lub szczeka P=>4L+S =0 - zdanie fałszywe na mocy prawa Sowy. B. Pies ma cztery łapy lub nie szczeka P=>4L+~S=0 - zdanie fałszywe na mocy prawa Sowy. Co to za prawo? Zdanie A jest jak najbardziej poprawne z logice Ziemian, a do drugiego pasuje zarówno pies jak i kura, tak samo jak "ma cztery łapy łub skrzydła"
_________________ Co do mnie, nie daj Boże, bym się miał chlubić z czego innego, jak tylko z Krzyża Pana naszego Jezusa Chrystusa.Gal 6:14
|
| So maja 10, 2014 22:27 |
|
|
|
Nie możesz rozpoczynać nowych wątków Nie możesz odpowiadać w wątkach Nie możesz edytować swoich postów Nie możesz usuwać swoich postów Nie możesz dodawać załączników
|
|