Quantcast
Wątki bez odpowiedzi | Aktywne wątki Teraz jest N lis 16, 2025 14:26



Ten wątek jest zablokowany. Nie możesz w nim pisać ani edytować postów.  [ Posty: 540 ]  Przejdź na stronę Poprzednia strona  1 ... 9, 10, 11, 12, 13, 14, 15 ... 36  Następna strona
 Nowa teoria implikacji 
Autor Wiadomość

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post 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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post Re: Nowa teoria implikacji
viewtopic.php?p=809208#p809208
zefciu 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.
Cytuj:
Nie zrozumiałeś.
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
:brawo:

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#p809215
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ą :)

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
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post Re: Nowa teoria implikacji
A patrzyłeś na https://pl.wikipedia.org/wiki/Logika_modalna

_________________
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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post 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
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post Re: Nowa teoria implikacji
Andy72 napisał(a):
Właśnie https://pl.wikipedia.org/wiki/Logika_modalna to logika ludzkiego języka, ścisła i dorobiona.

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ś :brawo:

_________________
Algebra Kubusia - nowa teoria zbiorów


So maja 10, 2014 16:27
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post 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
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post 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
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil
Avatar użytkownika

Dołączył(a): So lut 18, 2006 20:30
Posty: 1589
Post 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
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil

Dołączył(a): N sie 07, 2011 18:17
Posty: 9126
Post 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
Zobacz profil
Wyświetl posty nie starsze niż:  Sortuj wg  
Ten wątek jest zablokowany. Nie możesz w nim pisać ani edytować postów.   [ Posty: 540 ]  Przejdź na stronę Poprzednia strona  1 ... 9, 10, 11, 12, 13, 14, 15 ... 36  Następna strona

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

Szukaj:
Skocz do:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group.
Designed by Vjacheslav Trushkin for Free Forums/DivisionCore.
Przyjazne użytkownikom polskie wsparcie phpBB3 - phpBB3.PL