Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Problem Idioty - rozwiązanie
Idź do strony Poprzedni  1, 2
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 17:08, 30 Wrz 2009    Temat postu:

Refleksja Kubusia:

W świecie matematyki funkcjonują trzy główne definicje implikacji: materialna, logiczna i ścisła. Żadna z nich nie opisuje poprawnie implikacji która posługują się ludzie, o czym wszyscy doskonale wiedzą. Czy ktoś widzi jakąś przeszkodę by przedstawić światu nowe definicje ? Dlaczego nie przyjąć definicji Kubusiowych, skoro fenomenalnie działają w całym naszym Wszechświecie ? Niech przyszłość zadecyduje które definicje są najlepsze. Matematycy na matemtyce.pl nie mają żadnych zastrzeżeń co do poprawności matematycznej nowej teorii implikacji, jedyny ich argument przeciw to: „mamy swoją teorię implikacji i nie jest nam potrzebna żadna nowa teoria”

… ale czy matematycy wiedzą, iż prawo kontrapozycji jest w implikacji fałszywe (dowód wyżej) ? W tym właśnie kierunku Kubuś zamierzał poprowadzić bardzo ciekawą dyskusję na matematyce.pl. Niestety, moderator Rogal zamknął temat bo wszystko szło nie po myśli współczesnej matematyki …
Cytat z:
[link widoczny dla zalogowanych]
Rogal napisał:

Powtórzę się po raz ostatni - w matematyce niczego nie zmienisz, więc możesz nam przestać zawracać tym głowę - wszyscy już zrozumieli, o co chodzi - widzisz jaki entuzjazm ? Nie jest potrzebny matematykom nowy operator do codziennego stosowania, bo te które są wystarczają.
Jeśli ktoś będzie miał tutaj coś bardzo istotnego do dodania do tej dyskusji, co nie zostało powiedziane, niech napisze do mnie PW, to temat odblokuję.

.. tu chodzi o nowe, nieznane człowiekowi definicje implikacji prostej => i odwrotnej ~> plus prawa Kubusia, czyli o zmianę fundamentu implikacji a nie o nowy operator implikacji odwrotnej ~>.

Po przyjęciu nowych definicji zdania typu:
Jeśli pies jest różowy to krowa śpiewa w operze (zdanie prawdziwe w dzisiejszej matematyce)
PR=>KŚ
… będą oczywiście fałszywe bo nie ma tu mowy o jakimkolwiek warunku wystarczającym/koniecznym między p i q.
… zaś prawo kontrapozycji w implikacji jest automatycznie fałszywe, dowód wyżej.

Czy choćby to jest bez znaczenia dla matematyki, jak twierdzi moderator Rogal ?


Ostatnio zmieniony przez rafal3006 dnia Śro 17:56, 30 Wrz 2009, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
konrado5




Dołączył: 02 Gru 2005
Posty: 4913
Przeczytał: 0 tematów


PostWysłany: Śro 17:50, 30 Wrz 2009    Temat postu:

rafal3006: zakończ wszelkie dyskusje na tym forum.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 18:03, 30 Wrz 2009    Temat postu:

Wypchaj się Konrado i sam się zbanuj. Tylko idiota może nie rozumieć epokowego odkrycia jakie stało sie faktem na śfinii. Twoje "doznania" są przy tym niczym.

Idiota ma rację ...

To są albo "niebotyczne brednie" (Idiota) albo "niebotyczne odkrycie" (Kubuś) - nie ma innych możliwości. Twierdzę, że to drugie.

Gdyby to były "niebotyczne brednie" to matematycy już dawno roznieśliby Kubusia w puch ... tymczasem na matematyce.pl moderator Rogal z przerażeniem zamknął temat o implikacji widząc co się święci, natomiast matematycy z ateisty.pl pod wodzą Idioty aktualnie pochowali się po kątach. Tu wielkie brawa dla moderatora na ateiście.pl który nie ugiął się przed żądaniami Idioty i innych domagających się natychmiastowego zbanowania Kubusia.

… są zatem na świecie co najmniej dwa fora normalne, śfinia i ateista.pl, na których można głosić herezje i obalać co się chce np. idiotyzmy w dzisiejszej matematyce.


Ostatnio zmieniony przez rafal3006 dnia Śro 18:34, 30 Wrz 2009, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
konrado5




Dołączył: 02 Gru 2005
Posty: 4913
Przeczytał: 0 tematów


PostWysłany: Śro 19:27, 30 Wrz 2009    Temat postu:

rafal3006: skończ
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 19:32, 30 Wrz 2009    Temat postu:

Jak mi się spodoba, ty masz tu zero do powiedzenia :cry:

Ostatnio zmieniony przez rafal3006 dnia Śro 19:34, 30 Wrz 2009, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 2:43, 01 Paź 2009    Temat postu:

tomektomek napisał:

Super!
No to zobaczmy.
Zdanie, z którym będziemy pracować: jeżeli niebo jest niebieskie, to możliwe, że 2 = 7

Przepraszam TomekTomek ale cytujesz i sam nie rozumiesz co cytujesz.
Zacytowałeś poprawną definicję implikacji odwrotnej:
Rafal3006 napisał:

Definicja implikacji odwrotnej:
p~>q = p+~q
Jeśli p to może ~> zajść q
~> - operator implikacji odwrotnej, spójnik "może" ~> między p i q ze spełnionym warunkiem koniecznym
Przykład:
Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2~>P8

… a dajesz przykład jak wyżej.
Poproszę o odpowiedź w którym miejscu niebieskie niebo jest warunkiem koniecznym aby 2=7 ?
Matematycy zawzięcie analizują absolutne śmiecie z punktu widzenia normalnego człowieka (nie matematyka), bo nie znają implikacji którą posługują się ludzie … mam nadzieję że wkrótce przestaną wobec odkrycia nowych definicji implikacji prostej => i odwrotnej ~> plus praw Kubusia.
Na końcu piszesz ...
tomektomek napisał:

Wniosek: interpretacja wyrażenia p~>q jako jeśli p, to możliwe, że q jest niewłaściwa (niezgodna z potocznym rozumieniem terminu możliwe).

Co ma wspólnego twój przykład z językiem potocznym, na który w się powołujesz, czyli naturalną logiką człowieka ? Kto wypowiada w języku naturalnym zdania „Jeśli…to…” w których p jest niezależne od q ? Może podasz jakiś przykład z dowolnego czasopisma, literatury itp. ?

Zobacz to:
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P
Chmury są warunkiem koniecznym dla deszczu, zatem jest to implikacja odwrotna prawdziwa

albo to:
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8
P2 jest warunkiem koniecznym dla P8, zatem jest to implikacja odwrotna prawdziwa.

… to co wyżej to jest naturalny język potoczny, natomiast twojego przykładu w świecie normalnym (poza matematyką) absolutnie NIKT nie zrozumie. Twój przykład to logika formalna, mająca zero wspólnego z językiem potocznym, naturalną logika człowieka.

Powtarzam:
Warunki wystarczający w implikacji prostej p=>q i konieczny w implikacji odwrotnej p~>q wynikają bezpośrednio z definicji zero-jedynkowych tych definicji. Bezdyskusyjny dowód jest w podpisie. Mówią o tym wszelkie podręczniki matematyki do I klasy LO … i to na pierwszej lekcji logiki (zobacz wyżej).

TomekTomek, nie możesz obalać definicji bo definicji się nie obala. Jeśli jest wiele konkurencyjnych definicji to można tylko porównywać które w praktyce działają lepiej a które gorzej. Te Kubusiowe, czyli te z podręcznika do I klasy LO, w całym naszym Wszechświecie działają absolutnie fenomenalnie.

W pułapkę definicji implikacji materialnej (także <=>) mającej zero wspólnego z językiem potocznym, z naturalną logiką człowieka, wpadają nawet matematycy ... dopóki im owa definicja mózgu nie wypierze z naturalnej logiki człowieka:
[link widoczny dla zalogowanych]
Rafal3006 napisał:

szewciu napisał:
Zdanie (1101)bin=13dec jest prawdziwe wtedy i tylko wtedy, gdy zdanie (111001)+(1110)=(1000111) jest prawdziwe. Z góry dziękuję za pomoc i pozdrawiam.

jarzabek89 napisał:
hubertwojtowicz, nieprawda :) wartość logiczna tego wyrażenia to fałsz, czy jak kto lubi 0.
(1101) w systemie binarnym jest zawsze równe 13 w systemie dziesiętnym. Nie tylko i wyłącznie gdy coś tam, tylko zawsze.

Z punktu widzenia naturalnej logiki człowieka Jarząbek ma tu rację ...
Matematyczny opis naturalnej logiki człowieka jest w podpisie.

P.S.
Z punktu odniesienia logiki formalnej (KRZ) będzie tu oczywiście jedynka. To jest przykład rozjazdu naturalnej logiki człowieka z logika formalną - Klasycznym Rachunkiem Zdań.

Jeszcze jeden cytat z początków wojny o implikację. Prawdopodobnie Angelus Novus to wykładowca logiki sadząc po jego jedynkach które musi postawić uczniom (etap prania mózgów !), dopóki ci nie zrozumieją implikacji materialnej …
Cytat z:
http://www.sfinia.fora.pl/metodologia,12/definicja-implikacji-wedlug-rafala3006-p-wieczorka,685.html#14403
Angelus Novus napisał:

rafal3006 napisał:
Pytanie zasadnicze brzmi !

Czy moja poprawka do interpretacji definicji implikacji p. Wieczorka jest słuszna czy nie !


Jedyna możliwa odpowiedź brzmi:

NIE, RAFALE, TWOJA POPRAWKA JEST NIESŁUSZNA. NIE ROZUMIESZ, CZYM JEST IMPLIKACJA W RACHUNKU ZDAŃ.

Na pocieszenia dodam, że jest to częsty błąd u początkujących uczniów i zazwyczaj sporo minusów trzeba postawić na pierwszycb kartkówkach z tego właśnie powodu.

Przyczyną jest fakt, że uczniowie nagminnie mylą okres warunkowy w językach naturalnych (czyli w "zwykłym" języku polskim) z implikacją w sensie logicznym.

Okres warunkowy w języku naturalnym tylko "z wierzchu" podobny jest do implikacji, podczas gdy zazwyczaj używa się go do wyrażenia tożsamości. W pewnym uproszczeniu można zatem powiedzieć, że zwykły język jest pod tym względem "nielogiczny"….

Na koniec cytuję uwagę z "Małej encyklopedii logiki" (Ossolineum 1970, s. 82):

Cytat:
"Wobec rozbieżności między sensem implikacji materialnej a sensem potocznego okresu warunkowego, powstaje pytanie, czy właściwe jest analizowanie rozumowań z języka potocznego przy pomocy implikacji. Problem ten występuje pod nazwą paradoksu implikacji".


Jeżeli to Cię niepokoi, zapraszam do studiów nad modalnym rachunkiem zdań w wersji C. I. Lewisa (nie mylić oczywiście z C. S. Lewisem), gdzie znajdziesz inne pojęcie implikacji niż w klasycznym rachunku zdań.

Najpierw polecam jednak dość przystępnie napisany artykuł Ajdukiewicza "Okres warunkowy a implikacja materialna", który znajdziesz w drugim tomie zbiorowego wydania jego prac "Język i poznanie" (były co najmniej dwa wydania, więc powinieneś dostać tę książkę w każdej bibliotece naukowej).

Kubuś:
Logiki modalne C.I. Lewisa to klęska autora, który poszukiwał implikacji którą posługują się ludzie, a której oczywiście nie znalazł, bowiem bez uznania równych praw implikacji prostej => i odwrotnej ~> jest to absolutnie niemożliwe, jest o tym szerzej tu:
[link widoczny dla zalogowanych]


Refleksja Kubusia:
W świecie matematyki funkcjonują trzy główne definicje implikacji: materialna, logiczna i ścisła. Żadna z nich nie opisuje poprawnie implikacji która posługują się ludzie, o czym wszyscy doskonale wiedzą. Czy ktoś widzi jakąś przeszkodę by przedstawić światu nowe definicje ? Dlaczego nie przyjąć definicji Kubusiowych, skoro fenomenalnie działają w całym naszym Wszechświecie ? Niech przyszłość zadecyduje które definicje są najlepsze. Matematycy na matemtyce.pl nie mają żadnych zastrzeżeń co do poprawności matematycznej nowej teorii implikacji, jedyny ich argument przeciw to: „mamy swoją teorię implikacji i nie jest nam potrzebna żadna nowa teoria”

… ale czy matematycy wiedzą, iż prawo kontrapozycji jest w implikacji fałszywe (dowód wyżej) ? W tym właśnie kierunku Kubuś zamierzał poprowadzić bardzo ciekawą dyskusję na matematyce.pl. Niestety, moderator Rogal zamknął temat bo wszystko szło nie po myśli współczesnej matematyki …
Cytat z:
[link widoczny dla zalogowanych]
Rogal napisał:

Powtórzę się po raz ostatni - w matematyce niczego nie zmienisz, więc możesz nam przestać zawracać tym głowę - wszyscy już zrozumieli, o co chodzi - widzisz jaki entuzjazm ? Nie jest potrzebny matematykom nowy operator do codziennego stosowania, bo te które są wystarczają.
Jeśli ktoś będzie miał tutaj coś bardzo istotnego do dodania do tej dyskusji, co nie zostało powiedziane, niech napisze do mnie PW, to temat odblokuję.

.. tu chodzi o nowe, nieznane człowiekowi definicje implikacji prostej => i odwrotnej ~> plus prawa Kubusia, czyli o zmianę fundamentu implikacji a nie o nowy operator implikacji odwrotnej ~>.

Po przyjęciu nowych definicji zdania typu:
Jeśli pies jest różowy to krowa śpiewa w operze (zdanie prawdziwe w dzisiejszej matematyce)
PR=>KŚ
… będą oczywiście fałszywe bo nie ma tu mowy o jakimkolwiek warunku wystarczającym/koniecznym między p i q.
… zaś prawo kontrapozycji w implikacji jest automatycznie fałszywe, dowód wyżej.

Czy choćby to jest bez znaczenia dla matematyki, jak twierdzi moderator Rogal ?


Ostatnio zmieniony przez rafal3006 dnia Czw 8:25, 01 Paź 2009, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 14:05, 01 Paź 2009    Temat postu:

Z kobietami to się chyba Kubusiowi najlepiej dyskutuje. Matematycznie "wyobraźnia" jest na poziomie Konrado ... czyli nie jest logiczką. Polecam to zatem konrado

wyobraźnia napisał:

Rafal3006 napisał:
aby cokolwiek udowadniać matematycznie potrzebny jest przede wszystkim poprawny aparat matematyczny.

cieszy mnie że zbliżamy się powoli do "szlaku" względności "tzn; towarzysze! widzę ląd!
aby zacząć udowadniać cokolwiek potrzebne jest kryterium udowodnione a nie poprawny aparat który bez owego kryterium udowodnionego jest poprawny tylko na mocy gołosłownego widzimisię bez niego jesteś stale jak ślepy chcący prowadzić ślepych po ścieżkach nieznanego bliżej tobie lasu.

Towarzyszko, to nie tak .. :)
Aby rozwiązać matematycznie sieć elektryczną o n punktach węzłowych potrzebny jest aparat matematyczny w postaci układu równań liniowych, bez tego ani rusz itd.

Aby mówić o możliwości zamiany operatora AND(*) na OR(*) (i odwrotnie) w zdaniach twierdzących z tymi operatorami potrzebny jest poprawny aparat matematyczny, tu poprawne definicje AND i OR plus prawa de’Moragana. W operatorach AND i OR matematycznie jest wszystko w porządku, bo tu mamy po jednej definicji dla AND i OR, a nie trzy dla jednego operatora => jak to jest w implikacji.

Prawa de’Morgana:
p+q = ~(~p*~q) - prawo zamiany operatora OR(+) na AND(*)
p*q = ~(~p+~q) - prawo zamiany operatora AND(*) na OR(+)

Aby mówić o możliwości zamiany implikacji prostej => na odwrotną ~> (i odwrotnie) potrzebne są poprawne definicje tych implikacji plus prawa Kubusia mówiące o możliwości zastąpienia jednego operatora drugim.

Definicja implikacji prostej:
p=>q = ~p+q
Jeśli zajdzie p to „musi” => zajść q
p musi być warunkiem wystarczającym dla q
=> - operator implikacji prostej, spójnik „musi” ze spełnionym warunkiem wystarczającym

Definicja implikacji odwrotnej:
p~>q = p+~q
Jeśli zajdzie p to „może” ~> zajść q
p musi być warunkiem koniecznym dla q
~> - operator implikacji odwrotnej, spójnik „może” ze spełnionym warunkiem koniecznym

Prawa Kubusia to dokładny odpowiednik praw de’Morgana wyżej:
p=>q = ~p~>~q - prawo zamiany operatora => na ~>
p~>q = ~p=>~q - prawo zamiany operatora ~> na =>

Prawa Kubusia są bezdyskusyjne bo udowodnione trzema różnymi metodami przez Kubusia (zero-jedynkowo), Wuja Zbója (równania algebry Boole’a) i Uczy (metoda nie wprost).

Prawa Kubusia maja sens tylko i wyłącznie z definicjami implikacji prostej => i odwrotnej ~> jak wyżej

W znanych człowiekowi definicjach implikacji: materialnej, logicznej i ścisłej prawa Kubusia są absolutnym IDIOTYZMEM, niczym więcej, bowiem prawa Kubusia mówią o zamianie operatora implikacji prostej => na odwrotną ~> (i odwrotnie), czyli należy bezwzględnie przywrócić do pełnej świetności i na równych prawach definicję implikacji odwrotnej ~>, niesłusznie wyrzuconą przez matematyków do kosza na śmieci jako zbędną … jakieś 200 lat temu.

Powyższe definicje plus prawa Kubusia działają fenomenalnie w całym naszym Wszechświecie, jaką więc widzicie przeszkodę w ich zaakceptowaniu ?
Skoro ludzie zaakceptowali definicje implikacji materialnej, logicznej i ścisłej, pomimo że to jest totalna porażka w odniesieniu do implikacji która posługują się ludzie, to nie ma chyba przeszkód aby na równych prawach przyjąć powyższe definicje, doskonale opisujące logikę człowieka, czyli implikacje którymi on się posługuje. Niech to wszystko przez okres przejściowy funkcjonuje razem, niech zadecyduje przyszłość które definicje lepiej pasują do naszego Wszechświata.

Wyobraźnio, jak sama przyznałaś nie jesteś logiczką, polecam zatem dodatkowo to:
[link widoczny dla zalogowanych]
odpowiedź dla superstara.

wyobraźnia napisał:

Rafal3006 napisał:

Cały świat martwy i żywy opisuje implikacja.

popełniasz ten sam błąd co z powiedzeniem wcześniej "cały nasz wszechświat"

Tu zobacz też odpowiedź po trzecim cytacie dla superstara w tym poście:
[link widoczny dla zalogowanych]

Matematycznie naszym Wszechświatem rządzą operatory: AND, OR, <=>, XOR, => i ~> plus definicja negacji. Wszystkich operatorów dwuargumentowych jest szesnaście ale do tej pory nie wszystkie zostały rozszyfrowane (to podpowiedział Kubusiowi Nobody ponad dwa lata temu, dzięki). To już przeszłość, aktualnie wszystkie są rozszyfrowane (część I podpisu).

Od strony implikacji świat żywy i martwy obsługują te same definicje implikacji, bo matematycznie definicja implikacji jest jedna, nie ma więcej np.
Człowiek:
Obietnica = implikacja prosta =>
Jeśli będziesz grzeczny dostaniesz czekoladę
G=>C
Bycie grzecznym jest warunkiem wystarczającym aby dostać nagrodę, implikacja prosta prawdziwa
Przyroda żywa:
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
Cztery łapy są warunkiem koniecznym dla psa, zatem implikacja odwrotna prawdziwa
Przyroda martwa:
Jeśli jutro będzie pochmurno to może padać
CH~>P
Chmury są warunkiem koniecznym dla deszczu, zatem implikacja odwrotna prawdziwa

wyobraźnia napisał:

rafal3006 napisał:

Nie przerasta ludzkich możliwości.

nie chcesz chyba twierdzić że w twej mocy jest przebadać wszystkich ludzi żyjących, po za tym aby być rzetelnym musisz przepytać wszystkich w krainie hadesa, i popytać ludzi z przyszłości co wydaje się tym bardziej przerastać twoje zwyczajne jak moje siły

Nie ma takiej potrzeby, odpowiedź po kolejnym Twoim cytacie.

wyobraźnia napisał:

Rafal3006 napisał:

potrzebny jest jakiś punkt zaczepienia

kryterium udowodnione.

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 ~~>).

Kluczowa w logice człowieka i nie tylko jest obsługa wszelkich gróźb i obietnic:
Obietnica:
Jeśli dowolny warunek to nagroda
W=>N
Groźba:
Jeśli dowolny warunek to kara
W~>K

Wobec nowych, poprawnych definicji implikacji wystarczy jeden punkt zaczepienia, dowolny z niżej przedstawionych, reszta to matematyka z którą się nie dyskutuje:
P1.
Prawo do wręczenia nagrody mimo że odbiorca nie spełnił warunku nagrody (akt miłości), stąd:
obietnica = implikacja prosta =>
P2.
Prawo do darowania dowolnej kary zależnej od nadawcy (akt łaski), stąd:
groźba = implikacja odwrotna ~>

Obietnica jako implikacja prosta => jest powszechnie akceptowana. Z prawa Kubusia łatwo widać, że tym samym groźba musi być kodowana implikacją odwrotną np.
Obietnica:
Jeśli będziesz grzeczny dostaniesz czekoladę
G=>C
… a jak będziesz niegrzeczny ?
Prawo Kubusia:
G=>C = ~G ~> ~C
Matematycznie oznacza to:
Groźba:
Jeśli będziesz niegrzeczny to możesz ~> nie dostać czekolady
~G~>~C
Z powyższego wynika że wszelkie groźby musimy kodować implikacją odwrotną ~>, inaczej matematyka leży w gruzach tzn. prawa Kubusia są gwałcone.
W groźbach spójnik „może” jest najczęściej pomijany, bo osłabiałby groźbę, nie ma tu niejednoznaczności wobec precyzyjnych definicji obietnicy i groźby, która doskonale znają wszelkie istoty żywe, bo to warunek przetrwania.

wyobraźnia napisał:

no i mam pytanie czy ty uznajesz matryce logiczną implikacji zamieszczoną na stronie [link widoczny dla zalogowanych]

Zero-jedynkowo definicje implikacji materialnej, logicznej, ścisłej i implikacji prostej => (Kubusia) są identyczne … i w tym cały problem bo aktualnie są cztery a powinna być jedna. Oczywiście chodzi tu o interpretację zer i jedynek w definicjach.

Zero-jedynkowo w implikacji odwrotnej ~> mamy pełną jednoznaczność, bo tu implikacja odwrotna ~> w interpretacji Kubusia nie ma żadnych konkurentów.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
konrado5




Dołączył: 02 Gru 2005
Posty: 4913
Przeczytał: 0 tematów


PostWysłany: Czw 14:12, 01 Paź 2009    Temat postu:

rafal3006: i tak tego nie przeczytałem. :D
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 15:31, 01 Paź 2009    Temat postu:

Ja to rozumiem Konrado, dokładnie to samo zrobiłem z twoim traktatem filozoficznym który przysłałeś mi na PW, też nie przeczytałem. Dla mnie to filozoficzny bełkot pełen niezrozumiałego dla mnie żargonu.

Tak więc na wzajem bełkoczemy sobie na forum u Wuja ... chyba po to stworzył genialny regulamin (zakaz banowania) aby tu sobie można było pobełkotać :grin:
... ale z tego bełkotu mogą się zrodzić rzeczy wielkie.

Bełkot to pojęcie wzgledne:
Dla Idioty wszystko co pisze Kubuś to "niebotyczne brednie"

Ty wierzysz, że coś dobrego zrobisz dla filozofii, czyli uporządkujesz bełkot w tym obszarze - o tym był Twój traktat.

Kubuś wierzy że coś dobrego zrobi dla naszych dzieci jeśli wywali na zbity pysk bełkot z dzisiejszej matematyki w stylu:
Jeśli pies jest różowy to krowa śpiewa w operze (zdanie prawdziwe w dzisiejszej matematyce)

Bełkotajmy sobie zatem dalej, otworzyłem tu ten wątek na filozofii bo dyskusja na ateiście.pl weszła w decydującą fazę, więcej wątków tu nie zamierzam otwierać.

Pozdrowienia dla największego bełkociarza w obszarze filozofii od największego bełkociarza w obszarze matematyki.

Kubuś :pidu:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 16:33, 02 Paź 2009    Temat postu:

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ę …

wyobraźnia napisał:

aby móc cokolwiek rozwiązać matematycznie, rzetelnie, poprawnie logicznie oraz bez zastrzeżeń trzeba aby było kryterium udowodnione które gdy będzie określone, obecne i nie będzie budziło żądnych wątpliwości może ono z całą powagą swego majestatu przystapić do rozwiązania narzucającego się zadania matematycznego , wten czas może ono bez przeszkód operować przez siebie sprawdzonym mocą swej władzy aparatem matematycznym. jezeli jednak go nie ma a z czym jak widać mamy doczynienia to próba rozwiązania jakiegoś zadania matematycznego bez obeceności majestatu kryterium udowodnionego jest poprostu niepoprawna, niewiarygodna, mało przykonująca, wątpliwa, wiary nie budząca, mało prawdopodobna etc z tego powodu trudno jest mi laiczce logiki przejść do komentowania rzeczy jak widać natury logicznej która omineła fundament wogóle logiki a więc kryterium i przeszła do wykładania jakiegoś działu logiki bez jego obecności.

Termin „kryterium udowodnione” to dla mnie jakieś puste słowo, nic więcej. Widzisz, matematycy popełnili ponad 100 lat temu fundamentalny błąd wyrzucając implikacje odwrotną ~> do kosza na śmieci jako matematycznie zbędną. Głupią tabele zero-jedynkową, której nie rozumieli, uznali za dowód tej zbędności. Oczywiście to była zbędność pozorna bo dotyczyła równoważności, gdzie implikacja odwrotna jest rzeczywiście zbędna.

W świecie techniki implikacja jest najzwyklejszym idiotyzmem i nie jest wykorzystywana z powodu występującej w jej definicji przypadkowości (rzucania monetą). Kubuś, który ponad 3 lata temu urodził sie na śfinii, równoważność rozumiał doskonale bo przybył ze świata techniki, ale implikacji "ni w ząb". Matematycznego podejścia do implikacji uczył się u Wuja Zbója. Kiedyś doszedł do wniosku, że równoważność do implikacji ma się tak jak kwadrat do prostokąta, czyli implikacja przechodzi łagodnie w równoważność co było nawet logiczne. Wuj na to: Jak kwadrat do koła. Oczywiście Wuj miał racje bo nic co jest równoważnością nie może być implikacją i odwrotnie.

Zauważ teraz, że to „kryterium udowodnione” o którym wspominasz, a którym w tym przypadku był pozornie poprawny dowód zbędności implikacji odwrotnej ~>, stało się bezpośrednią przyczyną klęski dzisiejszej matematyki w poszukiwaniu implikacji, którą posługują się ludzie. Ostatnia porażka logiki w tym temacie to „logiki modalne”, gdzie autor poszukiwał implikacji którą posługują się ludzie a skończyło się jak zwykle … klęską.
wyobraźnia napisał:

Rafal3006 napisał:

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 ~~>).

widzisz mój kochaniutki Kubusiu aksjomat nie może być żądnym kryterium, ponieważ poszukując kryterium jeszcze go nie mamy, ktoś zatem wykładając nam aksjomat mówiąc o to kryterium, twierdzi to sam nie będąc kryterium udowodnionym a więc dupa zbita, jego twierdzenie jest gołosłowne nikt mu zatem nie uwierzy że to jest kryterium

Akurat ten aksjomat nie jest wzięty z powietrza. Doskonale go znają i się nim posługują wszyscy logicy praktycy (ci od bramek logicznych), działa wspaniale w obszarze operatorów technicznych AND i OR, Kubuś rozszerzył go o implikację nie używaną w świecie techniki. Sprawdziło się to doskonale co widać w podpisie i naturalnym języku mówionym.

Doskonałość tego aksjomatu najlepiej widać w tym poście:
[link widoczny dla zalogowanych]

Sam fakt, że "superstar" w poście wyżej widzi „traktat socjologiczny” a nie matematykę, jest twardym dowodem poprawności powyższego aksjomatu.

Pozdrawiam, Kubuś.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
konrado5




Dołączył: 02 Gru 2005
Posty: 4913
Przeczytał: 0 tematów


PostWysłany: Pią 20:09, 02 Paź 2009    Temat postu:

rafal3006: mam nadzieję, że to twój ostatni post na tym forum. Zgłoś się do jakiegoś psychologa ze swoją obsesją. Pewnie w gabinecie u psychologa też byś mówił o implikacji, bo to jedyny temat na który rozmawiasz.

Ostatnio zmieniony przez konrado5 dnia Pią 20:10, 02 Paź 2009, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 21:25, 02 Paź 2009    Temat postu:

Nie spodziewałem się Konrado że z ciebie aż taki dupek ... a pisał tu bedę co mi się podoba i wara ci od tego. Akurat od pewnego czasu mam pasjonującą dyskusję o implikacji na ateiście.pl, twoje doznania są przy tym gównem, cały twój traktat też ... i hamuj się na przyszłość.

P.S.
Jak skasujesz ten post wyżej to ja tez skasuje swój. Jak chcesz dalej pyskować to oddam. Kto ci każe zaglądać do tego wątku ? Czy napisałes tu cokolwiek sensownego poza "Rafał zamknij się" ?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Sob 23:36, 03 Paź 2009    Temat postu:

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]
Cytat:

Jeżeli implikacja p => q jest twierdzeniem, to p jest warunkiem wystarczającym na to, aby q, a q warunkiem koniecznym na to, aby p.

Jest oczywistym że implikacja jest jedna. Nie może być tak, że w matematyce obowiązuje to co wyżej, zaś poza matematyką jest cokolwiek innego.

Cały problem dzisiejszej matematyki polega na tym, że nie dysponuje poprawnym aparatem matematycznym opisującym implikację, w szczególności dzisiejsza matematyka nie akceptuje równych praw implikacji prostej => i odwrotnej ~> oraz praw Kubusia.

Aparat matematyczny:
Aby rozwiązać matematycznie sieć elektryczną o n punktach węzłowych potrzebny jest aparat matematyczny w postaci układu równań liniowych, bez tego ani rusz itd.

Aby mówić o możliwości zamiany operatora AND(*) na OR(*) (i odwrotnie) w zdaniach twierdzących z tymi operatorami potrzebny jest poprawny aparat matematyczny, tu poprawne definicje AND i OR plus prawa de’Moragana. W operatorach AND i OR matematycznie jest wszystko w porządku, bo tu mamy po jednej definicji dla AND i OR, a nie trzy dla jednego operatora => jak to jest w implikacji.

Prawa de’Morgana:
p+q = ~(~p*~q) - prawo zamiany operatora OR(+) na AND(*)
p*q = ~(~p+~q) - prawo zamiany operatora AND(*) na OR(+)

Aby mówić o możliwości zamiany implikacji prostej => na odwrotną ~> (i odwrotnie) potrzebne są poprawne definicje tych implikacji plus prawa Kubusia mówiące o możliwości zastąpienia jednego operatora drugim.

Definicja implikacji prostej:
p=>q = ~p+q
Jeśli zajdzie p to „musi” => zajść q
p musi być warunkiem wystarczającym dla q
=> - operator implikacji prostej, spójnik „musi” ze spełnionym warunkiem wystarczającym

Definicja implikacji odwrotnej:
p~>q = p+~q
Jeśli zajdzie p to „może” ~> zajść q
p musi być warunkiem koniecznym dla q
~> - operator implikacji odwrotnej, spójnik „może” ze spełnionym warunkiem koniecznym

Spójniki zdaniowe
=> - 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 zatem warunek konieczny tu nie zachodzi

Prawa Kubusia to dokładny odpowiednik praw de’Morgana wyżej:
p=>q = ~p~>~q - prawo zamiany operatora => na ~>
p~>q = ~p=>~q - prawo zamiany operatora ~> na =>

Prawa Kubusia są bezdyskusyjne bo udowodnione trzema różnymi metodami przez Kubusia (zero-jedynkowo), Wuja Zbója (równania algebry Boole’a) i Uczy (metoda nie wprost).

Prawa Kubusia maja sens tylko i wyłącznie z definicjami implikacji prostej => i odwrotnej ~> jak wyżej

W znanych człowiekowi definicjach implikacji: materialnej, logicznej i ścisłej prawa Kubusia są absolutnym IDIOTYZMEM, niczym więcej, bowiem prawa Kubusia mówią o zamianie operatora implikacji prostej => na odwrotną ~> (i odwrotnie), czyli należy bezwzględnie przywrócić do pełnej świetności i na równych prawach definicję implikacji odwrotnej ~>, niesłusznie wyrzuconą przez matematyków do kosza na śmieci jako zbędną … jakieś 200 lat temu.

Powyższe definicje plus prawa Kubusia działają fenomenalnie w całym naszym Wszechświecie czyli w matematyce oraz świecie martwym i żywym, w szczególności doskonale obsługują wszelkie obietnice i groźby.

Drodzy czytelnicy, jaką więc widzicie przeszkodę w ich zaakceptowaniu ?
Skoro ludzie zaakceptowali definicje implikacji materialnej, logicznej i ścisłej, pomimo że to jest totalna porażka w odniesieniu do implikacji która posługują się ludzie, to nie ma chyba przeszkód aby na równych prawach przyjąć powyższe definicje, doskonale opisujące logikę człowieka, czyli implikację którą on się posługuje. Niech to wszystko przez okres przejściowy funkcjonuje razem, niech przyszłość zadecyduje które definicje lepiej pasują do naszego Wszechświata.

Bez definicji implikacji prostej => i odwrotnej ~> jak wyżej prawa Kubusia są najzwyklejszym idiotyzmem, niczym więcej.

Przykład:
Jeśli pies jest różowy to krowa śpiewa w operze
PR=>KS =1
Implikacja prosta => prawdziwa w dzisiejszej matematyce.
Oczywiście różowy pies nie jest ani warunkiem wystarczającym, ani też koniecznym dla krowy śpiewającej w operze, dlatego prawa Kubusia są tu najzwyklejszym idiotyzmem
Prawo Kubusia:
PR=>KS = ~PR~>~KS
czyli:
Jeśli pies nie jest różowy to krowa może ~> nie śpiewać w operze.
~PR~>~KS =1
LUB
Jeśli pies nie jest różowy to krowa może ~~> śpiewać w operze
~PR~~>KS =1

Tak bardziej poważnie weźmy to:
Jeśli liczba jest podzielna przez 3 to może być podzielna przez 8
P3~~>P8 = 1 bo 24
Zdanie prawdziwe na mocy naturalnego spójnika może ~~>, wystarczy jedna prawda.
Nie jest to implikacja odwrotna bo P3 nie jest konieczne dla P8.

Oczywiście jeśli p nie jest konieczne dla q to q nie może być wystarczające dla p czyli:
P3~>P8 =0 - implikacja odwrotna fałszywa
i
P8=>P3 =0 - implikacja prosta fałszywa

Weźmy teraz poprawną implikację odwrotną:
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8
P2 jest konieczne dla P8 zatem jest to implikacja odwrotna prawdziwa.
Definicja implikacji odwrotnej:
p~>q
p musi być warunkiem koniecznym dla q
Zauważmy że „musi” w definicji jest tu kluczowe, bo eliminuje implikacje odwrotne fałszywe np. P3~>P8 =0

Prawo Kubusia:
P2~>P8 = ~P2=>~P8
stąd:
Jeśli liczba nie jest podzielna przez 2 to na pewno nie jest podzielna przez 8
~P2=>~P8 =1 - oczywista oczywistość


3.0 Matematyczna historia powstania naszego Wszechświata

Z przymrużeniem oka …

Spójniki zdaniowe
=> - 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 zatem warunek konieczny tu nie zachodzi

Tabele zero-jedynkowe odpowiednich definicji wynikają z logiki dodatniej:
p=1, ~p=0
q=1, ~q=0

Na początku było:
1=1
i stał się cud:
(p+~p)=(q+~q)
p+~p=1 - prawo algebry Boole’a
czyli:
p=>(q+~q)
~p=>(~q+q)

Równoważność:

Definicja operatorowa:
Kod:

 p   q p<=>q
 p=> q =1
 p=>~q =0
~p=>~q =1
~p=> q =0

Stąd definicja zero jedynkowa równoważności:
Kod:

p q p<=>q
1 1 =1
1 0 =0
0 0 =1
0 1 =0

Definicje podstawowe równoważności w równaniach algebry Boole’a:
p<=>q = p*q + ~p*~q - na podstawie kodu zero-jedynkowego
p<=>q = (p=>q)*(~p=>~q) - na podstawie definicji operatorowej
Prawo kontrapozycji poprawne w równoważności:
~p=>~q = q=>p
stąd odprysk definicji równoważności:
p<=>q - (p=>q)*(q=>p)

W naszym Wszechświecie zdecydowanie przeważa implikacja, zatem ostatnie dwie linie ulegają rozczepieniu:

Operatorowa definicja implikacji prostej:
Kod:

 p   q p=>q
 p=> q =1
 p=>~q =0
~p~>~q =1
~p~~>q =1

Prawo Kubusia:
p=>q = ~p~>~q
Stąd definicja zero-jedynkowa implikacji prostej:
Kod:

p q p=>q
1 1 =1
1 0 =0
0 0 =1
0 1 =1

Definicja implikacji prostej w równaniu algebry Boole’a:
p=>q = ~p+q

lub pierwsze dwie linie z definicji równoważności ulegają rozczepieniu:

Operatorowa definicja implikacji odwrotnej:
Kod:

 p    q p~>q
 p~>  q =1
 p~~>~q =1
~p=> ~q =1
~p=>  q =0

Prawo Kubusia:
p~>q = ~p=>~q
Stąd definicja zero-jedynkowa implikacji odwrotnej:
Kod:

p q p~>q
1 1 =1
1 0 =1
0 0 =1
0 1 =0

Definicja implikacji odwrotnej w równaniu algebry Boole’a:
p~>q = p+~q


4.0 Niebotyczne brednie albo niebotyczne odkrycie

Z teorii wyłożonej w poprzednim punkcie wynika coś bardzo fundamentalnego.

Prawo normalnego człowieka:
Tabele zero-jedynkowe generuje naturalna logika człowieka, a nie człowiek analizuje wszelkie możliwe śmieci dopasowując je do odpowiednich tabel zero-jedynkowych, jak to jest we współczesnej matematyce.

To jest wywrócenie współczesnej logiki do góry nogami, czyli absolutnie żaden człowiek na ziemi, od przedszkolaka poczynając nie analizuje śmieci typu:

Jeśli pies jest różowy to krowa śpiewa w operze
PR=>KS =1
Implikacja prawdziwa w dzisiejszej matematyce

Tego typu zdania, gdzie p nie jest zależne od q, normalnemu człowiekowi nawet nie przyjdą do głowy !
Twardym dowodem jest tu brak chociażby jednego takiego zdania w całej literaturze światowej, w jakichkolwiek środkach masowego przekazu. Fakt, iż żaden człowiek na świecie nie generuje śmieci jak wyżej jest twardym dowodem, że człowiek podlega pod matematykę a nie tworzy matematykę.

Człowiek podlega pod prawidłową matematykę zgodną z teorią Kubusia, a nie pod dzisiejszą „matematykę” zbudowaną na którejkolwiek fałszywej definicji implikacji materialnej, logicznej czy ścisłej. Oczywiście chodzi tu o poprawną interpretację zer i jedynek w zero-jedynkowej definicji implikacji która na poziomie ogólnym może być tylko jedna.


5.0 Porównanie starej i nowej logiki w zakresie implikacji

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N
Implikacja prosta bo dobrowolnych obietnic musimy dotrzymywać

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K
Implikacja odwrotna, bo dowolna karę nadawca ma prawo darować (zależną od niego)

Stara logika w zakresie implikacji nie akceptuje praw Kubusia, dlatego niemożliwe są tu jakiekolwiek sensowne dialogi między ludźmi.

Przykład:
Tata:
Jeśli będziesz grzeczny dostaniesz czekoladę
G=>C
Jaś:
… a jak nie będę grzeczny ?

Stara logika dysponuje tu wyłącznie fałszywym w implikacji prawem kontrapozycji czego [link widoczny dla zalogowanych] oraz w pkt.6.0

Prawo kontrapozycji:
G=>C = ~C=>~G
czyli:
Tata:
Jeśli nie dostaniesz czekolady to na pewno nie będziesz grzeczny
~C=>~G
Jaś:
Mama, dzwoń szybko po psychiatrę bo tata nie potrafi odpowiedzieć sensownie na najprostsze pytanie …

Zobaczmy jak ten sam przykład wygląda w poprawnej logice akceptującej prawa Kubusia:

Tata:
A.
Jeśli będziesz grzeczny dostaniesz czekoladę
G=>C =1
1 1 =1
Obietnica, zatem implikacja prosta =>
B.
Jeśli będziesz grzeczny to na pewno => nie dostaniesz czekolady
G=>~C =0
1 0 =0
Jaś:
… a jak nie będę grzeczny ?
Prawo Kubusia:
G=>C = ~G~>~C
czyli matematycznie oznacza to:
C.
Jeśli nie będziesz grzeczny to możesz ~> nie dostać czekolady
~G~>~C =1
0 0 =1
Groźba, zatem implikacja odwrotna ~> co jest zgodne z definicją groźby wyżej.
LUB
D.
Jeśli nie będziesz grzeczny to możesz ~~> dostać czekoladę
~G~~>C =1
0 1 =1
Zdanie prawdziwe na mocy naturalnego spójnika „może” ~~>, wystarczy jeden taki przypadek, nie jest to implikacja odwrotna.

Dowód:
Załóżmy, że zdanie D:~G~>C jest implikacją odwrotną prawdziwą, obowiązuje wówczas prawo Kubusia.
D:~G~>C = B:G=>~C
Zdanie B jest ewidentnym fałszem zatem D musi być fałszywe.
Prawdziwość zdania D określa wzór:
(~G~>C)+(~G~~>C) = 0 + 1 =1
Implikacja odwrotna ~G~>C fałszywa, ale zdanie prawdziwe na mocy naturalnego „może” ~~>, wystarczy jeden taki przypadek

Doskonale widać tabelę zero-jedynkową implikacji prostej dla kodowania zgodnego ze zdaniem wypowiedzianym 1 1 =1 czyli:
G=1, ~G=0
C=1, ~C=0

Zauważmy, że prawo Kubusia obowiązuje w obrębie jednej i tej samej tabeli zero-jedynkowej jak wyżej.
Wniosek:
Implikacja prosta => nie może istnieć bez operatora implikacji odwrotnej ~> co wynika z prawa Kubusia:
p=>q = ~p~>~q

W zdaniu C spójnik „może” jest najczęściej pomijany bo osłabiałby groźbę.
Nie ma to znaczenia bo:
1.
Zdanie A jest poprawnie zakodowane jako obietnica implikacją prostą p=>q
2.
Jeśli A jest poprawnie zakodowane to jako implikacja prosta => to w zdaniu C wymuszony jest operator implikacji odwrotnej ~> na mocy prawa Kubusia (spójnik „może” między ~p i ~q) niezależnie od tego co człowiek będzie sobie mówił.

Zdanie C.
Jeśli nie będziesz grzeczny to […] nie dostać czekoladę
~G~>~C
W wykropkowane miejsce można sobie wstawić cokolwiek: nic nie wstawiać, na pewno, możesz …, nie ma to znaczenia bo w matematyce pod którą człowiek podlega mamy tu wymuszony operator implikacji odwrotnej ~>, spójnik „może” między ~p i ~q.

Po stronie implikacji odwrotnej ~> człowiek ma zawsze 100% wolnej woli, czyli przy spełnionym warunku kary (~G) może robić co mu się podoba (czyli dać czekoladę lub nie) i nie ma najmniejszych szans na zostanie kłamcą.


6.0 Dowód fałszywości prawa kontrapozycji w implikacji

Twierdzenie Hipcia:
Prawa Kubusia są poprawne w implikacji i fałszywe w równoważności
Prawo kontrapozycji jest poprawne w równoważności i fałszywe w implikacji

Kluczowy jest tu dowód fałszywości prawa kontrapozycji w implikacji, wszystko inne jest oczywistością.

Punkt odniesienia p=>q

Implikacja prosta => i odwrotna ~>, wersja ze sztywnym punktem odniesienia ustawionym na implikacji prostej p=>q.

Założenie:
p=>q - implikacja prosta prawdziwa, czyli spełniony warunek wystarczający między p i q
q~>p - implikacja odwrotna prawdziwa powstała po zamianie p i q.
Zachodzenie warunku wystarczającego w kierunku p=>q wymusza warunek konieczny w kierunku q~>p.

Przykład implikacji matematycznej:
A.
Jeśli liczba jest podzielna przez 8 to „musi” => być podzielna przez 2
P8=>P2
p=>q
Implikacja prosta prawdziwa bo P8 jest wystarczające dla P2

Po zamianie p i q przy sztywnym punkcie odniesienia ustalonym wyżej na p=>q mamy:
B.
Jeśli liczba jest podzielna przez 2 to „może” ~> być podzielna przez 8
P2~>P8
q~>p
Implikacja odwrotna prawdziwa bo P2 jest konieczne dla P8

Oczywiście na mocy definicji mamy:
P8=>P2 # P2~>P8
bo operator => to zupełnie co innego niż operator ~>

Dla prawej strony korzystamy z prawa Kubusia:
P2~>P8 = ~P2=>~P8
czyli:
P8=>P2 # ~P2=>~P8
… i mamy dowód fałszywości prawa kontrapozycji w implikacji dla sztywnego punktu odniesienia p=>q:
p=>q # ~q => ~p
CND

Punkt odniesienia „Jeśli…to…”

Wyłącznie ta wersja jest zgodna z definicjami implikacji prostej p=>q i odwrotnej p~>q.

Implikacja prosta => i odwrotna ~>, wersja z punktem odniesienia ustawionym zawsze na zdaniu wypowiedzianym „Jeśli…to…” czyli po „Jeśli” zawsze mamy p zaś po „to” zawsze jest q.

Ten sam przykład:
A.
Jeśli liczba jest podzielna przez 8 to „musi” => być podzielna przez 2
P8=>P2
p=>q
Implikacja prosta prawdziwa bo P8 jest wystarczające dla P2

Po zamianie p i q mamy:
B.
Jeśli liczba jest podzielna przez 2 to „może” ~> być podzielna przez 8
P2~>P8
p~>q
Implikacja odwrotna prawdziwa bo P2 jest konieczne dla P8

Zauważmy coś bardzo ważnego:
q~>p = P2~>P8 - zdanie B widziane z punktu odniesienia p=>q
p~>q = P2~>P8 - zdanie B widziane z punktu odniesienia „Jeśli…to…”
Prawe strony są identyczne zatem:
q~>p (punkt odniesienia p=>q) = p~>q (punkt odniesienia „Jeśli…to…”)

Oczywiście na mocy definicji mamy:
P8=>P2 # P2~>P8
czyli:
p=>q # p~>q
bo operator => to zupełnie co innego niż operator ~>

Wyłącznie ta wersja jest zgodna z definicjami:
p=>q = ~p+q - definicja implikacji prostej
p~>q = p+~q - definicja implikacji odwrotnej

W tym miejscu matematycy klasyczni będą protestować.
Zauważmy bowiem, że po obu stronach nierówności mamy różne znaczenie parametrów formalnych p i q.
Lewa strona:
p=P8, q=P2
Prawa strona:
p=P2, q=P8

Odpowiedź Kubusia:
Panowie, algebra Boole’a to algebra bramek logicznych (tu Kubuś jest ekspertem) mająca zero wspólnego z matematyką klasyczną (całki, ekstrema itp). Prawa algebry Boole’a nie muszą pokrywać się z prawami matematyki klasycznej.

Od strony matematycznej jest tu wszystko w porządku.

Definicja implikacji prostej:
p=>q
p musi być wystarczające dla q
W przełożeniu na nasz przykład mamy.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
P8 jest wystarczające dla P2, zatem jest to implikacja prosta prawdziwa
p=>q - definicja implikacji prostej
czyli:
p=P8, q=P2

Definicja implikacji odwrotnej:
p~>q
p musi być warunkiem koniecznym dla q
Nasz przykład:
Jeśli liczba jest podzielna przez 2 to „może” ~> być podzielna przez 8
P2~>P8
p~>q
Implikacja odwrotna prawdziwa bo P2 jest konieczne dla P8
p~>q - definicja implikacji odwrotnej
czyli:
p=P2, q=P8

Jak widać, literki p i q na mocy odpowiednich definicji są dokładnie tam gdzie być powinny.

Zauważmy, że przy prawidłowym punkcie odniesienia ustawionym zawsze na zdaniu wypowiedzianym, czyli po „Jeśli…” mamy zawsze p, zaś po „to…” mamy zawsze q prawo kontrapozycji nie zachodzi w zapisie ogólnym:
p=>q =~p~>~q = ~p+q # p~>q = ~p=>~q = p+~q

Dla naszego przykładu mamy:
P8=>P2 = ~P8~>~P2 = ~P8+P2 # P2~>P8 = ~P2=>~P8 = P2+~P8

Z ostatniego zapisu widać, że brak przemienności w operatorach implikacji przenosi się na brak przemienności w operatorach OR i AND wynikających z definicji implikacji co jest oczywiste bowiem:

A.
P8=>P2 = ~P8~>~P2 = ~P8+P2 = ~(P8*~P2)
W ostatnim przekształceniu skorzystano z prawa de’Morgana
Gwarancja:
P8=>P2
Liczby 8,16,24 … na pewno są podzielna przez 8
LUB
~(P8*~P2)
Nie może się zdarzyć ~(…), że liczba jest podzielna przez 8 i nie jest podzielna przez 2
Gwarantowane liczby:
8,16,24 …

B.
P2~>P8 = ~P2=>~P8 = P2+~P8 = ~(~P2*P8)
Gwarancja:
~P2=>~P8
Liczby 1,3,5,7 … na pewno nie są podzielne przez 8
LUB
~(~P2*P8)
Nie może się zdarzyć ~(…), że liczba nie jest podzielna przez 2 i jest podzielna przez 8
Gwarantowane liczby:
1,3,5,7 …

Istotą implikacji jest gwarancja matematyczna. Gwarancja A nie jest równoważna gwarancji B bowiem nie ma tu wzajemnego uzupełniania się zbiorów, jak to jest w równoważności.
Poza obiema gwarancjami jest trzeci zbiór liczb podzielnych przez 2 i niepodzielnych przez 8.
C.
Liczby 2,4,6 ….

Oczywiście gwarancje wynikające z praw Kubusia są identyczne bo tu zachodzi tożsamość matematyczna, co widać wyżej.

Koniec 2009-10-04


Ostatnio zmieniony przez rafal3006 dnia Nie 18:06, 04 Paź 2009, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
wujzboj
Bloger na Kretowisku



Dołączył: 29 Lis 2005
Posty: 23951
Przeczytał: 0 tematów

Skąd: znad Odry
Płeć: Mężczyzna

PostWysłany: Nie 1:14, 04 Paź 2009    Temat postu:

Rafał, ale tutaj nie ma nic o filozofii. To wciąż jest o implikacji. Pozwól, że przeniosę ten wątek do Metodologii. OK?

<moderacja>przeniosłem, Superstar</moderacja>
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32574
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 7:47, 04 Paź 2009    Temat postu:

Ok, możesz przenieść.
Niech Konrado będzie szczęśliwy ... i chyba rzeczywiście tam jest lepsze miejsce dla tego tematu,


Ostatnio zmieniony przez rafal3006 dnia Nie 7:55, 04 Paź 2009, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2
Strona 2 z 2

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin