ŚFiNiA

WillGesenius/konto usunię

Kubuś rozumiem.
Osobiście traktuję powyższy post jako hiperbolę (hiperbole nie w sensie matematycznym, a jako środek stylistyczny)

a zdanie
"toczy się walka o być a nie być" AK vs KRZ
też osobiście myślę, że jest przesadzone
Bo nawet jeśli AK zatryumfuje albo w czymś odniesie sukces to bedzie dla mnie co najwyżej "na zasadzie
modyfikacji KRZ" a nie spuszczenia całości do klozetu.
Zresztą do tego wniosku doszedłem po śledzeniu waszej rozmowy.
Więc jeśli AK zatryumfuje zdaje się że wyjdzie jakiś ...konglomerat? nie wiem jakiego słowa użyć czyli:
"AKKRZ" lub AK i KRZ w jednej misie

Ale lubie ten przesadzony język ;) w twoim wykonaniu

rafal3006

Dzięki WillGeseniusie,
Twój post to kolejny kamyczek wrzucony do ogródka KRZ.
Zobacz jak ciekawe wnioski wyciągnie z niego Kubuś ... za chwilę, w podsumowaniu.

KRZ rozumiany jako rachunek zero-jedynkowy bez związku z naturalną logiką człowieka jest dobry, to jest podzbiór algebry Kubusia.
Jednak sam skrót:
KRZ - klasyczny rachunek zdań
sugeruje iż KRZ ma związek z naturalną logiką człowieka co nie jest prawdą, KRZ jest sprzeczny z naturalną logiką człowieka.

Dowód 1:
W naturalnej logice człowieka zdania "Jeśli p to q" gdzie znamy z góry wartości logiczne p i q są fałszywe, czyli sprzeczne z naturalną logiką człowieka.

Dowód 2:
Człowiek zbudował świat komputerowy w oparciu o algebrę Boole'a, rachunek zero-jedynkowy a nie w oparciu o KRZ.
Inżynierowie mają w dupie wszelkie znaczenia rodem z KRZ typu: zdanie prawdziwe/fałszywe, kwantyfikator etc
... i komputery im wyśmienicie działają

Zachodzi tożsamość:
Sprzętowa algebra Kubusia = sprzętowa algebra Boole'a = brak związku z naturalną logiką człowieka

Zachodzi tożsamość:
Symboliczna algebra Kubusia (równania algebry Boole'a) = naturalna logika człowieka

Fałszywe jest równanie:
KRZ = naturalna logika człowieka

Pewne jest że po akceptacji AK, KRZ umrze śmiercią naturalną, zostaną wyłącznie pojęcia:
- algebra Boole'a
- algebra Kubusia

... i już nikt nigdy, łącznie matematykami, nie będzie wypowiadał debilizmów w stylu:
Jeśli kura jest kwadratem to na pewno => pies jest kołem

Nie jest prawdą to o czym przekonani są matematycy:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-550.html#211981

WillGesenius/konto usunię

A tu się zgodze chyba że KRZ jest sprzeczny z naturalną logiką człowieka, podobnie zerojedynkowość, ale nie zgodzę się że zerojedynkowość jest do bani, ze KRZ jest do bani, poprostu zerojedynkowość ma inne zastosowanie, Klasyczny rachunek zdań inne zastosowanie i Algebra Kubusia inne zastosowanie.

I nawet jezeli będziemy kiedyś w książkach historycznych czytać o KRZ to nie będzie on do bani. Podobnie jak niepraktyczny sztywny długi liniał w krawiectwie w porównaniu z giętkim centymetrem.

I nawet jeżeli giętka Algebra Boola czy Kubusia jest bliższa logice człowieka, czy najbliższa - to już nie ważne

Dla mnie i tak nie dorasta gietkością językowi potocznemu, tak barwnemu że ująć niestety czasem go niesposób i nie jest to możliwe
Język potoczny to wolna-amerykanka której matematycy niestrawią szczególnie np. ci od KRZ

Ale czasem podziwiam te możliwości uchwycenia związków, szczególnie w twoim wykonaniu Kubuś

Choć tam te przykłady, trochę tez sie pobawię: jak pies ma najczęściej 4 łapy to księżyc może i tez świeci... troche były ośmieszajace

a sam ksiezyc (...cżesto gesto w kosmosie. odbijajac raz po raz, swymi ksieżycowymi łapami, czyli bezłapią powierzchnią i chyba nie łapczywie, tylko chłonąc promienie być może delikatnie, przez próżnię bądź przez płaski płaszczyk atmosfery, owe światło słoneczne wyłapane powierzchnią, nie zdaje się powierzchownie, ale realnie emitując przepiękne blaski odbite... które w naszym oczku uzyskały wdzięczna barwę i kształt księżycowy, przepiękny - no piknie)

rafal3006

Eeetam,
Znowu trochę nie rozumiesz, przeczytaj jeszcze raz mój post zwracając uwagę na te równania:
Sprzętowa AK = zero-jedynkowa algebra Boole'a = brak jakiegokolwiek związku z naturalną logiką człowieka

Symboliczna (programowa) AK = równania algebry Boole'a = logika człowieka

Równania algebry Boole'a nie mają nic wspólnego z logiką zero-jedynkową, bo w równaniach algebry Boole'a po stronie wejścia p i q mamy wszystkie zmienne sprowadzone do jedynek - nie ma tu ani jednego zera.

Dopiero po stronie wyjścia Y w spójnikach "lub"(+) i "i"(*), możemy mieć:
0 - gdy zbiory wejściowe p i q są rozłączne
1 - gdy zbiory wejściowe p i q mają część wspólną

W spójnikach implikacyjnych ~~>, => i ~> sprawa jest równie banalna:
I.
p~~>q=[p*q] =1 - gdy zbiory p i q mają co najmniej jeden element wspólny
inaczej:
p~~>q = [p*q] =0 - zbiory rozłączne

II.
p=>q = [p*q=p] =1 - gdy zbiór p zawiera się w zbiorze q
inaczej:
p=>q =0

III.
p~>q = [p*q=q] =1 gdy zbiór p zawiera w sobie zbiór q
inaczej:
p~>q =0

KONIEC!
Czy to takie trudne do zapamiętania?
... trzy znaczki na krzyż.
To jest cała, kompletna algebra Kubusia.

fiklit

I wracamy do pierwszego pytania:
Jaka jest różnica między p => q a q ~>p? (podobno jakaś jest, ale z "definicji" żadna nie wynika)

WillGesenius/konto usunię

Kubuś być może nie rozumiem -rzeczywiście muszę przetrawić jeszcze raz.

Ale mnie chodziło o to, że naturalną logiką/i naturalną nielogiką człowieka jest abstrakcja. A w języku abstrakcyjnym juz zasady tożsamości lub niesprzeczności, zero jedynek itd., nie muszą obowiązywać, taki też może być język poezji, sztuki i chyba też czasem potoczny. A teraz przetrawię to co wcześniej pisałeś

edycja: teraz przeczytałem ostatni twój post i chyba mniej więcej zrozumiałem

Taz

WillGesenius: Jeśli faktycznie chcesz się czegoś nauczyć o zbiorach/logice, polecam raczej podręczniki albo rozmowy z ludźmi takimi jak Fiklit, ale, na litość, nie z Kubusiem. Ten człowiek o logice nie wie nic, choć dla laika może to nie być oczywiste, dlatego bardzo łatwo się przejechać i nauczyć się kompletnych bzdur.

Ostry miejscami ton dyskusji wynika z tego, że człowieka znającego się na temacie kubusiowe ignorowanie wykazanych błędów i powtarzanie w kółko tego samego naprawdę łatwo może doprowadzić do pasji. Wiem, bo sam to przerabiałem.

WillGesenius/konto usunię

Taz nie dam sie tak łatwo nabrać na sprowadzenie Kubusia do parteru za pomocą erystyki - być moze nie świadomie tak napisałeś, majac na uwadze zadawnione urazy, uprzedzenia nawet nie wiem czy dokładnie śledzileś rozmowę - ale wybacz to była erystyka

Analizowałem podane przykłady przez Kubusia, czytałem Fiklita - mimo ze nie znam sie totalnie na logice - bo otarłem dawno i już nic nie pamietam to same przykłady i rozmowa z fiklitem pozwoliły mi stwierdzić, że jednak nie jest tak jak mówisz. "Kubus nie wie nic" - to nie tylko przesada ale i krzywdząca ocena.

A to że podziwiam fiklita wcale nie oznacza że musze tylko od niego czerpać wiedzę. Ja staram sie każdego wysłuchać. I naprawdę widzę, że Kubus ma też coś do powiedzenia.

Taz

WillGesenius/konto usunię

Może twoje doświadczenia, jak mówisz 7 letnie, twoją czujność znieczuliły. Jak możesz wypieprzać wszystko, gdy nawet, podejrzewam, niechciało ci sie tego czytać i przetrawiać - tak sądzę. Chyba nie czytałes wszystkiego, bo do kilku ustaleń już doszło -kwestii odmiennego rozumienia, niedostrzegania itp. Nie wiem nawet czy śledziłeś ostatnią rozmowę.
No dobra ja sie już nie odzywam, bo ze mnie jest laik.

idiota

"Czerpanie wiedzy o logice od Kubusia i Fiklita to mniej więcej tak, jak czerpanie wiedzy o ewolucji od kreacjonisty i profesora biologii. "

To chyba podsumowuje WSZYSTKIE tematy rafała3006.

rafal3006

rafal3006

fiklit

Taz

rafal3006

rafal3006

fiklit

Nie widzę aby ktokolwiek poza Tobą stwierdzał tam, że implikacja jest przemienna. Możesz skopiować jakiś akapit i wytłuścić zdanie, w którym ktoś inny twierdzi coś takiego?

fiklit

Nie widzę aby ktokolwiek poza Tobą stwierdzał tam, że implikacja jest przemienna. Możesz skopiować jakiś akapit i wytłuścić zdanie, w którym ktoś inny twierdzi coś takiego?

rafal3006

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-pisana-na-zywo-dyskusja-z-fiklitem-c-iii,6929-750.html#212133

rafal3006

UWAGA!
To jest końcowa dyskusja o algebrze Kubusia, jesteśmy prawie w matematycznym Raju, nie ma sensu rozbijać tej dyskusji na wiele niezależnych wątków, bo przyszli czytelnicy pogubią się chronologicznie.

rafal3006

Taz