ŚFiNiA

rafal3006

P.S.
Podpowiem bo widzę że macie z tym na prawdę błahym problemem kłopoty ...

Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2 ??? P8 =1
Implikacja odwrotna prawdziwa bo P2 jest konieczne dla P8 ... wedle podręcznika matematyki do I klasy LO.
Brawa dla podręcznika, podręcznik ma tu świętą rację.

Przecież to proste, wystarczy w miejsce ??? wstawić operator "musi" => i uzyskać zdanie prawdziwe.

P.S.
Może coś Idiota napisze ?
Przecież wedle Idioty wszytko co pisze Kubuś to "niebotyczne brednie". Masz więc Idioto pole do popisu, udowodnij to i zakoduj swoim jedynie słusznym operatorem implikacji prostej "musi" =>.

Pewne jest jedno, Idiota mocny jest wyłącznie w obrażaniu Kubusia. To ponad twoje siły Idioto, zgadza się ?

rafal3006

Cieszę się że przyjąłeś zaproszenie do rzeczowej dyskusji. Kiedyś miałem fenomenalną, decydującą o wszystkim dyskusję z wykładowcą logiki Volrathem, myślę że ta będzie łatwiejsza dla Kubusia bo w temacie implikacji wszystko zostało rozpracowane. W ogóle to Kubuś urodził się na śfinii, jego pierwszym nauczycielem był Wuj tzn. Kubuś zawziął się by dowidzieć się kto robi z człowieka idiotę każąc mu analizować takie zdania:
Jeśli pies jest różowy to krowa śpiewa w operze - wg KRZ zdanie prawdziwe.

Nie obraź się ale dla Kubusia, przybysza ze świata techniki to był absolutny szczyt idiotyzmu. … i oczywiście jest dalej. Może się zdziwisz ale Kubuś Który skończył normalna szkołę i normalne studia techniczne zaledwie 30 lat temu NIGDY nie słyszał o takich badziewiach jak kwantyfikator itp. Słowo kwantyfikator po raz pierwszy w życiu usłyszałem od Wuja ze 3 lata temu, oczywiście nie mając pojęcia co to za zwierzę. W moim podręczniku do I klasy matematyki (1970 rok) była absolutnie goła tabela zero-jedynkowa implikacji, pamiętam budząca wtedy u Kubusia uśmiech politowania o której NIKT, łącznie z nauczycielem matematyki nie miał pojęcia .. Matematyka była wtedy normalna, absolutnie zgodna z naturalną logiką człowieka. Niedawno był u mnie syn, studiujący w Budapeszcie informatykę i zaczęliśmy rozmawiać o matematyce. Wymachiwał tymi zerami i jedynkami jak IDIOTA totalnie bez sensu, to samo widzę u syna studiującego w Polsce któremu każą udowadniać że 11 gołębi nie zmieści się do dziesięciu dziur czyli w jednej dziurze muszą być dwa gołębie - na serio. Na matematyce.pl okazało się że matematycy maja jakiś sztywny, idiotyczny i jedynie słuszny schemat dowodzenia twierdzeń i akceptują jedynie słuszną definicję równoważności.
p<=>q = (p=>q)*(q=>p)
… a przecież definicja dziewicza i absolutnie równoważna jest taka:
p<=>q = (p=>q)*(~p=>~q)
to co wyżej to tylko jej odprysk po zastosowaniu prawa kontrapozycji poprawnego w równoważności:
~p=>~q = q=>p
… to tyle tytułem wstępu.

Zacznijmy po kolei i od implikacji odwrotnej bowiem jest zdecydowanie prostsza, dlaczego ?
Stwierdzenie warunku wystarczającego w kierunku p=>q niczego nie determinuje. To może być zarówno implikacja jak i równoważność.
Stwierdzenie warunku koniecznego w kierunku p~>q determinuje implikację odwrotna prawdziwą.

rafal3006

rafal3006

rafal3006

Cytat z:
[link widoczny dla zalogowanych]

rafal3006

Dzieki twojemu pytaniu superstarze wyszedł mi fajny post który zamieściłem na ateiście.pl, przytaczam w całości:

Kolejny cytat ze śfini:
http://www.sfinia.fora.pl/filozofia,4/najlepsza-definicja-wolnej-woli,4353-20.html#93588

rafal3006

rafal3006

rafal3006

Problem Idioty - rozwiązanie
Rozwiązanie problemu Idioty jest automatycznie dowodem fałszywości prawa kontrapozycji w Implikacji (twierdzenie Hipcia).

Autor: Kubuś, wirtualny Internetowy Miś

Człowiek poszukuje matematycznej wersji implikacji którą sam się posługuje od 2500 lat, do tej pory bezskutecznie (Emde).
To już historia, bowiem w Internecie pojawił się Kubuś.
Kim jest Kubuś ?
Kubuś - wirtualny Internetowy Miś, wysłannik obcej cywilizacji, którego zadaniem było przekazanie ludziom tajemnicy implikacji.

Podpis jest pracą zespołową, Kubuś nigdy by się nie urodził bez przyjaciół którzy pomogli mu w jego ziemskim zadaniu, rzeczywiści autorzy to:

Emde (sfinia), Fizyk (ateista.pl), Irbisol (sfinia), Macjan (sfinia), Miki (sfinia), NoBody (ateista.pl), Rafał3006 (sfinia), Rogal (matematyka.pl), Uczy (wolny), Volrath (sfinia), WujZbój (sfinia)
Wielkie dzięki, Kubuś.

Powody dla których człowiek walczył z wiatrakami poszukując implikacji którą sam się posługuje są dwa:
1.
Niesłuszne wyrzucenie implikacji odwrotnej ~> do kosza jako zbędnej
2.
Idiotyczna do potęgi nieskończonej definicja implikacji materialnej

Notacja:
+ - OR (+)
* - AND (*)
~ - przeczenie NIE
=> - operator implikacji prostej, spójnik "musi" => między p i q ze spełnionym warunkiem wystarczającym
~> - operator implikacji odwrotnej, spójnik "może" ~> między p i q ze spełnionym warunkiem koniecznym
~~> - naturalny spójnik "może", wystarczy jedna prawda, nie jest to implikacja odwrotna czyli nie zachodzi tu warunek konieczny między p i q.

Wstęp:

W dzisiejszej matematyce w zakresie implikacji chory jest fundament, czyli brak jest poprawnej interpretacji zer i jedynek w zero-jedynkowej definicji implikacji.

Oczywistym jest, że aby cokolwiek udowadniać matematycznie potrzebny jest przede wszystkim poprawny aparat matematyczny.

Implikacja jest fundamentem świata żywego, bez niej życie nie mogłoby istnieć. Niestety, ludzie nie znają poprawnych definicji implikacji i fundamentalnych praw działających w tym obszarze, praw Kubusia. Owszem, zero-jedynkowo znają definicje implikacji prostej=> i odwrotnej ~> jak i prawa Kubusia, ale nie wiedzą w którym kościele dzwony bija czyli nie znają poprawnych interpretacji tych zer i jedynek.

Z implikacją fundamentalny problem polega na tym:
W operatorach AND i OR plus negacji będących fundamentem wszelkiej techniki tworzonej przez człowieka dysponujemy rzeczywistymi urządzeniami. Jeśli coś nie działa to znaczy że popełniliśmy błąd w rozumowaniu. Jeśli popełnimy błąd przy pisaniu programu komputerowego to natychmiast to wyjdzie przy jego uruchomieniu, nie będzie działał prawidłowo co widać. W technikach programowania komputerów dysponujemy wyrafinowanymi technikami pozwalającymi na szybkie znajdowanie błędów, bo błędy popełnia każdy programista.

Implikacja ma w definicji zakodowana przypadkowość (rzucanie monetą), z tego względu jest kompletnie nieprzydatna w świecie techniki. Człowiek nie może tego uruchomić i stwierdzić: nie działa, zatem musiałem popełnić błąd w rozumowaniu. Jedyne czym człowiek dysponuje w problemie rozszyfrowania implikacji to czysta abstrakcja … i wyciąganie wniosków z funkcjonowania otaczającego go świata.

Niestety, do tej pory człowiek nie zauważył tego ostatniego z następującego powodu. Ktoś, nie wiem kto, wymyślił dawno temu badziewie zwane implikacją materialną, ktoś drugi, też nie wiem kto, doszedł do fałszywego wniosku że implikacja odwrotna jest zbędna.

No i tak się to wszystko toczy od prawie 200 lat, czyli jedni matematycy uczą innych matematyków tego co ich uczono. Pewne jest jedno, takiego układu nie może rozbić osoba z tego układu, czyli jeśli Kubuś byłby matematykiem-logikiem to nie miałby żadnych szans na dokonanie takiego przełomu jaki stał się faktem na śfinii. Kubuś z pewnością nie zdałby dzisiejszej matury z matematyki, ale Kubuś jest specjalistą w teorii układów logicznych (nawet parę podręczników napisał) oraz od 30 lat pisze non-stop programy wyłącznie w języku asemblera, czyli symbolicznej algebrze Boole’a (algebrze Kubusia).

Największe spustoszenie nowa teoria implikacji spowoduje w matematyce i filozofii, w świecie techniki nic się nie stanie, bo tu definicja implikacji jest najzwyklejszym idiotyzmem i nie jest używana, ze względu na zawartą w definicji przypadkowość (rzucanie monetą).

Cytat z:
[link widoczny dla zalogowanych]

rafal3006

Kori

Tańczysz ten swój taniec do upadłego...

rafal3006

Cytat z:
[link widoczny dla zalogowanych]

rafal3006

O co chodzi z tą niejednoznacznością dzisiejszej matematyki ?

Przykład:
A.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
P8 jest wystarczające dla P2 zatem implikacja prosta prawdziwa
P1.
… a jeśli nie jest podzielna przez 8 ?
Prawo Kubusia:
P8=>P2 = ~P8~>~P2
B.
Jeśli liczba nie jest podzielna przez 8 to może ~> być niepodzielna przez 2
~P8~>~P2

C.
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8
P2 jest konieczne dla P8 zatem implikacja odwrotna prawdziwa
P2.
… a jeśli liczba nie jest podzielna przez 2 ?
Prawo Kubusia:
P2~>P8 = ~P2=>~P8
D.
Jeśli liczba nie jest podzielna przez 2 to na pewno => nie jest podzielna przez 8
~P2=>~P8

Symboliczna algebra Boole’a (algebra Kubusia) w 100% jednoznaczna matematycznie !
Prawo kontrapozycji w implikacji jest tu fałszywe czyli:
P8=>P2 = ~P8~>~P2 # P2~>P8 = ~P2=>~P8
Zauważmy, że na pytanie P1 możliwa jest tu wyłącznie odpowiedź B, zaś na pytanie P2 możliwa jest wyłącznie odpowiedź D.

Dzisiejsza algebra Boole’a, matematyka niejednoznaczna !
Prawo kontrapozycji w implikacji jest tu prawdziwe czyli:
P8=>P2 = ~P8~>~P2 = P2~>P8 = ~P2=>~P8

Wyobraźmy sobie pewną lekcję matematyki …
Jaś
Jeśli liczba jest podzielna przez 8 to na pewno jest podzielna przez 2
P8=>P2
Pani:
… a jeśli liczba nie jest podzielna przez 8 ?
Jaś:
Wyjmuje z kieszeni pomoc matematyczną w postaci kostki sześciennej gdzie na ściankach ma literki A, B, C i D.

Rzuca kostkę (wyszło C) i zadowolony mówi do Pani:
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8

Pani:
Jasiu, a co to ma wspólnego z moim pytaniem ?
Jaś:
Proszę pani, mój tata jest logikiem i dokładnie mi wytłumaczył o co w tej logice chodzi. Zdania A, B, C, i D są matematycznie równoważne, wiec mogę powiedzieć którekolwiek różne od A które Pani powiedziała. Poproszę o wpis szóstki do dziennika lekcyjnego.

Dokładnie taka jest dzisiejsza matematyka, jak wam się podoba ?

… czy którykolwiek z dzisiejszych matematyków ma tu jakiekolwiek wątpliwości, iż Jaś powinien dostać szóstkę ?

Uwaga:
To nie jest dowcip, taka jest dzisiejsza matematyka.

rafal3006

rafal3006

rafal3006

Wyobraźnio droga, nie szkodzi że nie znasz się na logice, to bez znaczenia wobec faktu iż dzięki tobie Kubuś napisał jeden z najfajniejszych postów, ot tak sobie, mimochodem, udowodnił w poście wyżej iż prawa Kubusia są idiotyzmem w definicjach implikacji materialnej, logicznej i ścisłej. Co to znaczy, wkrótce napiszę …

rafal3006

konrado5

rafal3006: to twój ostatni post? Nie widzisz, że tu są twoje posty jeden po drugim, a nikt nie odpowiada na nie?

rafal3006

Konrado, tu jest moje archiwum dyskusji z ateisty.pl dla potomnych, co by mieli najciekawsze posty w jednym miejscu i nie musieli ich szukac wśród 500 innych :grin:

rafal3006 · Koniec 2009-10-04

Dodatek z:
[link widoczny dla zalogowanych]

Aksjomat matematyki języka mówionego:
Jak logicznie myślimy, tak matematycznie zapisujemy. Mówimy „NIE” zapisujemy (~), mówimy „i” zapisujemy AND(*), mówimy “lub” zapisujemy OR(+), w implikacji mówimy “musi” zapisujemy ( =>), mówimy “może” zapisujemy (~> lub ~~>).

Algebra Kubusia
Matematyka języka mówionego

Dodatek A
Niebotyczne brednie albo niebotyczne odkrycie
Nowa teoria implikacji to albo „niebotyczne brednie” albo „niebotyczne odkrycie”

Części:
Część I Operatory AND i OR
Część II Implikacja
Dodatek A. Niebotyczne brednie albo niebotyczne odkrycie

Autor: Kubuś - wirtualny Internetowy Miś
Naszym dzieciom dedykuję

W pracach nad teorią implikacji bezcennej pomocy udzielili Kubusiowi przyjaciele:

Emde (sfinia), Fizyk (ateista.pl), Irbisol (sfinia), Macjan (sfinia), Miki (sfinia), NoBody (ateista.pl), Rafał3006 (sfinia), Rogal (matematyka.pl), Uczy (wolny), Volrath (sfinia), WujZbój (sfinia), Wyobraźnia (ateista.pl) i inni
Wielkie dzięki, Kubuś !

Szczególne podziękowania Wujowi Zbójowi za jego nieskończoną cierpliwość w dyskusjach z Kubusiem oraz Vorathowi za decydującą o wszystkim dyskusję
Człowiek poszukuje matematycznej wersji implikacji którą sam się posługuje od 2500 lat, do tej pory bezskutecznie (Emde).
To już historia, bowiem w Internecie pojawił się Kubuś.
Kim jest Kubuś ?
Kubuś - wirtualny Internetowy Miś, wysłannik obcej cywilizacji, którego zadaniem było przekazanie ludziom tajemnicy implikacji.
Podpis jest pracą zespołową, Kubuś nigdy by się nie urodził bez przyjaciół którzy pomogli mu w jego ziemskim zadaniu, rzeczywiści autorzy wymienieni są wyżej.

Spis treści:

1.0 Notacja
2.0 Definicje implikacji prostej i odwrotnej z podręcznika do I klasy LO
3.0 Matematyczna historia powstania naszego Wszechświata
4.0 Niebotyczne brednie albo niebotyczne odkrycie
5.0 Porównanie starej i nowej logiki w zakresie implikacji
6.0 Dowód fałszywości prawa kontrapozycji w implikacji

Wstęp:

Powód dla którego człowiek walczył z wiatrakami poszukując implikacji którą sam się posługuje jest jeden:
Niesłuszne wyrzucenie implikacji odwrotnej ~> do kosza jako zbędnej

Na wstępie Kubuś przeprasza wszystkich których w ponad 3-letniej wojnie o implikację obraził. Z punktu odniesienia współczesnej matematyki teoria Kubusia to „niebotyczne brednie”, jak to słusznie zauważył Idiota, ekspert starej logiki. Pewne jest zatem jedno, teoria Kubusia może być tylko i wyłącznie albo „niebotyczną brednią” albo „niebotycznym odkryciem”.

Podobno definicji się nie obala, to jest prawda jeśli definicja jest na poziomie czystej abstrakcji. Jeśli jednak definicja ma związek z matematyką która opisuje naszą rzeczywistość to taką definicję można łatwo obalić. Stało się to w [link widoczny dla zalogowanych] (nie ma jak dyskusja z kobietą), gdzie Kubuś ot tak sobie, mimochodem udowodnił, że w znanych człowiekowi definicjach implikacji materialnej, logicznej i ścisłej prawa Kubusia są bezdyskusyjnym idiotyzmem, bowiem definicje te działają wyłącznie w obszarze jednego operatora implikacji prostej =>, natomiast prawa Kubusia mówią o związkach implikacji prostej => z implikacją odwrotną ~>. Prawa Kubusia to ścisły odpowiednik praw de’Morgana z operatorów AND i OR i nie mogą być fałszywe, zatem wszelkie definicje implikacji w których one nie obowiązują są do kitu, zatem miejsce definicji implikacji materialnej, logicznej i ścisłej jest w koszu na śmieci. Gwoździem do trumny współczesnej logiki w zakresie implikacji jest bezdyskusyjna fałszywość prawa kontrapozycji w implikacji [link widoczny dla zalogowanych] oraz w pkt.6.0

Co to oznacza dla współczesnej matematyki ?

Z jednej strony to katastrofa, bowiem wszelkie teorie jakie do tej pory człowiek zbudował na definicjach implikacji materialnej, logicznej i ścisłej lądują w koszu na śmieci. Z drugiej strony to wielkie święto, czyli nieprawdopodobne uproszczenie matematyki w zakresie implikacji, to koniec zabawy z idiotyzmami w stylu …

Jeśli pies jest różowy to krowa śpiewa w operze
PR=>KS
W dzisiejszej matematyce powyższe zdanie jest prawdziwe. Oczywiście w świecie normalnym (nie matematyce) to najzwyklejszy idiotyzm, żadna prawda.

Przyjęcie poprawnych definicji implikacji prostej => i odwrotnej ~> sprowadza problem implikacji do poziomu 5-cio letniego dziecka, naturalnego eksperta implikacji która posługują się wszelkie istoty żywe, człowiek nie jest tu żadnym wyjątkiem.

1.0 Notacja

* - symbol iloczynu logicznego (AND), w mowie potocznej spójnik 'i'
+ - symbol sumy logicznej (OR), w mowie potocznej spójnik "lub"
~ - przeczenie, negacja (NOT), w mowie potocznej "NIE"
# - różne

2.0 Definicje implikacji prostej i odwrotnej z podręcznika do I klasy LO

Poniższe definicje wynikają bezpośrednio z odpowiednich definicji zero-jedynkowych (dowód w podpisie), pośrednio mówią o nich wszelkie podręczniki do I klasy LO.

Gdziekolwiek byśmy nie kliknęli w Internecie to zawsze na pierwszej lekcji logiki znajdziemy to wytłuszczone niżej.
[link widoczny dla zalogowanych]

rafal3006

Proponuję na razie skupić się na dyskusji:
Definicja implikacji materialnej VS definicje implikacji z nowej teorii podane w cytacie niżej.
Na pewno jedna z tych definicji jest fałszywa, ustalmy która … bo to fundamentalna sprawa.

rafal3006

Tomek, napisałeś morze tekstu. Proponuję to rozdzielić na dwa wątki. W tym wyżej udowadniamy sobie która definicja jest fałszywa/prawdziwa, natomiast w tym odpowiem na twoje pytania.

rafal3006

Tomektomek:
Jak widzisz wyżej patrzymy na implikację z dwóch fundamentalnie różnych punktów odniesienia. Ty używasz definicji implikacji materialnej a ja nowych definicji w 100% zgodnych z naturalną logiką człowieka, symboliczną algebrą Boole’a. Doskonale widać że patrzenie na implikację poprzez definicje materialną to w świecie ludzi normalnych (nie matematyków) bełkot absolutny. Udowodniłem ci wyżej że nawet w definicji implikacji materialnej prawa Kubusia działają, bo one muszą działać w absolutnie całej algebrze Boole’a.
Napisałeś post „rzekę”. Nie będę zaśmiecał tego wątku szczegółowymi odpowiedziami bo dopóki nie ustalimy wspólnych definicji implikacji dyskusja nie ma sensu. Szczegółowe odpowiedzi na twój post „rzekę” leżą sobie u mnie w archiwum (strasznie to jest długie) i są kompletnie nieistotne dla głównego problemu, jakim jest ustalenie poprawnej w logice definicji implikacji. Myślę, że po ustaleniu wspólnej definicji implikacji wszelkie twoje problemy i zastrzeżenia automatycznie znikną, bo problem implikacji to problem na poziomie 5-cio letniego dziecka, naturalnego eksperta implikacji.

Przykład:
Tata do syna:
Jesli ubrudzisz spodnie dostaniesz lanie
B~>L
Groźba zatem implikacja odwrotna z prawem do darowania dowolnej kary zależnej od nadawcy

5-cio latek o tym wytłuszczonym wie doskonale i jeśli ubrudził spodnie to kombinuje "jak koń po górkę" czyli. co by tu wymyśleć aby tata darował mi lanie. Gdyby tu było kodowanie implikacja prostą to nadawca byłby pozbawiony prawa do darowania kary co jest oczywistym idiotyzmem.

Zauważ, że akurat w zdaniu głównym z poprzedniego wątku tylko i wyłącznie to kodowanie jest poprawne:
PR~>KS = ~PR=>~KS
czyli zdanie w logice dodatniej, przy nie zanegowanych sygnałach PR i KS jest implikacją odwrotną ~>, nigdy implikacją prostą =>
Jeśli pies jest różowy to krowa może ~> śpiewać w operze
PR~>KS

Z implikacja prostą (kod zero-jedynkowy identyczny jak w implikacji materialnej) mamy do czynienia w logice ujemnej czyli przy zanegowanych sygnałach ~PR i ~KS.
Jeśli pies nie jest różowy to krowa na pewno=> nie śpiewa w operze
~PR=>~KS

Oczywiście zdania te są matematycznie równoważne co wynika z prawa Kubusia:
PR~>KS = ~PR=>~KS

Czy masz do powyższego jakieś zastrzeżenia ?

rafal3006