|
Ś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.
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 7:43, 22 Maj 2008 Temat postu: |
|
|
2.5 Mechanizm tworzenia idiotyzmów w algebrze Boole'a
Twierdzenie 2.5
Jeśli w dowolnym języku świata będziemy posługiwać się poprawnie tym językiem to nigdy nie wypadniemy z algebry Boole'a do śmietnika.
Twierdzenie 2.6
Błędne jest twierdzenie, że j. angielski jest logiczniejszy od j. polskiego czy jakiegokolwiek innego, bo algebra Boole'a jest jedna.
Przykład z języka polskiego.
Rozpatrujemy dwie skrajności:
nie mam nic
mam wszystko
Interesuje nas wyłącznie wszystko albo nic, nie interesują nas jakiekolwiek stany pośrednie.
Mamy wówczas:
Y = nie mam nic
zaprzeczenie powyższego:
~Y = mam wszystko
Oczywiście matematycznie zachodzi:
Y=~(~Y) = ~(mam wszystko)
czyli:
nie mam nic = nie mam wszystkiego
To jest poprawne równanie w algebrze Boole'a:
A.
nie mam nic = nie mam wszystkiego
Negujemy równanie dwustronnie i otrzymujemy:
B.
mam nic = mam wszystko
Lewa strona powyższego równania to idiotyzm, bo w języku polskim wyrażenie "mam nic" nie występuje.
Pytanie do dowolnego dzisiejszego logika:
Co oznacza po polsku: mam nic
Oczywista odpowiedź:
mam nic = nie mam nic
Podstawiamy to do równania B i otrzymujemy idiotyzm:
nie mam nic = mam wszystko
Oczywisty wniosek:
NIE_MAM_NIC - to nazwa operatora w którym NIE jest jego integralną częścią, tego NIE nie wolno dotykać bo wylądujemy w śmietniku algebry Boole'a jak wyżej.
Poprawna negacja równania A.
Nieprawdą jest, że NIE_MAM_NIC = mam wszystko
negujemy ponownie:
nie mam nic = nie mam wszystkiego
Oczywiście "nie mam nic" i "mam wszystko" to dwie skrajności podobnie jek "światło" i "ciemność".
Ostatnio zmieniony przez rafal3006 dnia Czw 20:29, 22 Maj 2008, w całości zmieniany 5 razy
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 1:05, 25 Maj 2008 Temat postu: |
|
|
NoBody napisał: | a czy np. taka groźba z zaprzeczeniem, jest jasna dla wszystkich:
jeżeli nikt nie zrobi zadania to nikt nie dostanie prezentu
? jak ją interpretujesz ? czy tutaj użyłbyś implikacji odwrotnej ?
a takie zdanie:
jeżeli nikt zrobi zadanie to nikt dostanie prezent
jest jasne dla wszystkich ? jest bardziej "logiczne" od poprzedniego ? tak samo je interpretujesz ? czy tutaj użyłbyś implikacji odwrotnej ?
oraz takie zdanie:
jeżeli wszyscy zrobią zadanie to wszyscy dostaną prezent
czy jest równoważne poprzednim zdaniom ( albo ktoremus z nich ) ? czy tutaj użyłbyś implikacji odwrotnej ?
|
Masz trywialne problemy NoBody
Zdanie:
jeżeli nikt zrobi zadanie to nikt dostanie prezent
wyrzucam do kosza bo to nie po Polsku (nikt zrobi ???!!! :p)
Zostają dwa:
Jeżeli wszyscy zrobią zadanie to wszyscy dostaną prezent
Jeżeli nikt nie zrobi zadania to nikt nie dostanie prezentu
Rozważmy taką implikację:
Kto zrobi zadanie dostanie prezent
Z=>P
Implikacja prosta poprawna, bo zrobienie zadania jest warunkiem wystarczającym dostania prezentu
Jeśli zrobisz zadanie to masz gwarantowany prezent (twarda prawda, zachodząca zawsze)
Z powyższej twardej prawdy wynika twardy fałsz:
Z=>~P
Jeśli zrobisz zadanie nie dostaniesz prezentu (fałsz, nadawca jest kłamcą)
Ten przypadek zawiera twoje zdanie:
Jeśli wszyscy zrobią zadanie to wszyscy dostaną prezent - to jest szczególny przypadek powyższego Z=>P.
… co będzie jak nie zrobię zadania ?
Prawo Kubusia:
Z=>P = ~Z ~> ~P - prawo zamiany implikacji prostej na równoważna implikacje odwrotną
~Z ~> ~P
Jeśli nie zrobię zadania, to „mogę” nie otrzymać prezentu (~P) lub „mogę” otrzymać prezent (P). W przypadku nie zrobienia zadania nadawca może zrobić co mu się podoba i nie ma szans na zostanie kłamcą.
Oczywiście:
Jeśli nikt nie zrobi zadania to może zajść przypadek że nikt nie otrzyma prezentu - twój drugi przypadek.
Równie dobrze nadawca może zmienić zdanie i w tym przypadku wręczyć nawet wszystkim prezent - tu nie ma szans na zostanie kłamcą !
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 16:14, 25 Maj 2008 Temat postu: |
|
|
NoBody napisał: | ok, nikt chyba w końcu zrozumiał czym jest implikacja odwrotna :p
implikacja odwrotna względem implikacji ~p => ~q to q => p, a uproszczenie tego zapisu to p ~> q ...
Kod: |
p q p~>q q=>p ~p=>~q
0 0 1 1 1
0 1 0 0 0
1 0 1 1 1
1 1 1 1 1 |
PS. nikt znaczy ja :p
PS2. p i q to zdania logiczne |
Implikacja odwrotna będzie dla ciebie banalna po przeczytaniu podpisu.
p=>q - implikacja prosta, operator "musi" między p i q
q=>p - implikacja przeciwna do implikacji prostej
p~>q - implikacja odwrotna
~> - nowy operator matematyczny, spójnik "może" między p i q
Jak chcesz zrozumieć logikę człowieka to odłóż na półkę implikację materialną ....
Katastrofa dzisiejszej logiki polega na tym, że ciągle siedzi w zerach i jedynkach. To tak jakby po wynalezieniu mikroprocesora czas się zatrzymał i ludzie programowaliby ciągle bezpośrednio w kodzie binarnym (zerach i jedynkach) ... nie znając fundamentalnego języka symbolicznego, jakim jest asembler. Asembler to fundament wszelkich innych języków programowania.
Czym jest asembler w logice ?
Proszę, prosty przykład:
NoBody napracował się nad powyższą tabelką … ale nie przewidział konieczności wprowadzenia do matematyki nowego symbolu implikacji odwrotnej, spójnika „może” ~>. Bez tego i bez odróżniania logiki ujemnej od dotaniej w algebrze Boole’a nigdy nie zrozumiecie logiki człowieka i bez przerwy będziecie lądować w śmietniku jak to wyżej pokazałem.
3.1 Definicja implikacji prostej
Definicja implikacji prostej:
p=>q = ~p + q = ~(p*~q)
Implikacja prosta jest poprawna jeśli p jest warunkiem wystarczającym dla q.
Jeśli p to q
Jeśli zajdzie p to „musi” zajść q (z p „musi” wynikać q”)
Jeśli zajdzie przyczyna p to „musi” zajść skutek q
Warunek wystarczający = gwarancja
Zajście p gwarantuje zajście q
gdzie:
p=>q
p – poprzednik implikacji (zawsze po spójniku “Jeśli…”
q – następnik implikacji (zawsze po spójniku „to...”)
=> - operator implikacji prostej, spójnik „musi” między p i q w naturalnej logice człowieka
Definicja zero-jedynkowa implikacji prostej:
Kod: | p q p=>q
1 1 1
1 0 0
0 0 1
0 1 1 |
Przykład 3.1.
Jeśli zwierzę jest psem to „musi” mieć 4 łapy
p=>q = P=>4L
P=>4L - to jest język asemblera !!!
Implikacja prosta poprawna, bo bycie psem jest warunkiem wystarczającym aby mieć cztery łapy.
Bycie psem gwarantuje 4 łapy
Jeśli p jest warunkiem wystarczającym zajścia q to q musi być warunkiem koniecznym zajścia p. W implikacji przeciwnej q=>p zajście q może spowodować zajście p ale nie gwarantuje tego.
Wyprowadzenie wzoru implikacji przeciwnej jest łatwe.
p=>q = ~p + q - definicja implikacji prostej
Zamieniamy wszędzie p i q otrzymując wzór implikacji przeciwnej:
q=>p = ~q + p - matematyczny wzór implikacji przeciwnej
Jeśli zwierzę ma cztery łapy to „może” być psem
q=>p = 4L ??? P
Jeśli zwierzę ma cztery łapy (q) to „może” zajść p (pies) lub ~p (nie pies = lis, zając, słoń…). Nie ma innych możliwości. Zauważmy, że w miejsce ??? nie możemy wstawić operatora implikacji prostej, spójnika "musi" => między p i q, bo 4 łapy u zwierzęcia nie są warunkiem wystarczającym bycia psem, zatem nie jest to implikacja prosta.
Konieczne jest wprowadzenie nowego operatora w logice klasycznej, spójnika "może" ~> między p i q jak w powyższym zdaniu.
Zadanie dla NoBody:
Zapisz mi poniższą implikację odwrotną bez użycia operatora „może” ~>
Jeśli zwierzę ma cztery łapy to „może” być psem
4L ??? P
… to jest właśnie język asemblera, i dowód że brakuje tu pewnego matematycznego operatora, zgadnij jakiego ?
P.S.
Operowanie bez przerwy wyłącznie p i q to średniowiecze, do piachu z tym !
Ostatnio zmieniony przez rafal3006 dnia Nie 16:45, 25 Maj 2008, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 18:26, 25 Maj 2008 Temat postu: |
|
|
NoBody napisał: |
bez uzycia ~> :
P => 4L
albo
~4L => ~P
:p |
Jeśli zwierzę ma cztery łapy to może być psem
~4L=>~P - co to ma wspólnego ze zdaniem wyżej ???!!! :p
W implikacji po Jeśli... zasze masz p zaś po to...q
Proszę teraz o zapis matematyczny takiego zdania:
Jeśli zwierzę nie ma czterech łap to "na pewno" nie jest psem
???
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 18:41, 25 Maj 2008 Temat postu: |
|
|
NoBody napisał: |
Rafal3006 napisał: |
Jeśli zwierzę ma cztery łapy to może być psem
|
Tego zdania nie da się zapisać bezpośrednio za pomocą "standardowych" operatorów, dlatego wymagane jest przekształcenie do zdania:
Rafal3006 napisał: |
Jeśli zwierzę nie ma czterech łap to "na pewno" nie jest psem
|
które można bez problemu zapisać za pomocą "standardowych" operatorów
~4L => ~P
...
gdyby do zbioru dopuszczalnych operatorów dodać implikację odwrotną, możnaby pierwsze zdanie zapisać bezpośrednio jako:
4L ~> P
... |
Brawo !
Po zalegalizowaniu operatora "może" ~> wszystko masz bajecznie proste:
4L~>P = ~4L => ~P - prawo zamiany implikacji odwrotnej na równoważną implikacje prostą
Teraz porównaj z poniższym czyli żywot człowieka poczciwego bez operatora AND(*)
AND(*) - ten operator wywalamy, nie wolno go używać.
Kod: | p q ~(~p+~q)
0 0 0
0 1 0
1 0 0
1 1 1 |
Jutro pójdę do kina i do teatru
~(~K+~T)
Powyższego zdania nie da się zapisać bezpośrednio trzeba przekształcić go do:
Nie może się zdarzyć, że jutro nie pójdę do kina lub nie pójdę do teatru
~(~K+~T)
Rozumiesz w czym problem ?
W tym, że ludzie nie znają jednego z fundamentalnych operatorów matematycznych naturalnego języka mówionego „może” ~> …. a wszyscy się nim doskonale posługują od przedszkolaków poczynając.
Idąc tropem że jest on zbędny, można łatwo udowodnić że matematycznie wszystkie operatory są zbędne poza jednym NOR albo NAND … tylko co to będzie miało wspólnego z naturalnym językiem mówionym człowieka ?
Kolejna prośba do Ciebie o matematyczne zapisanie takich implikacji odwrotnych:
Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2 ??? P8
Implikacja poprawna bo P2 jest konieczne dla P8
Jeśli jutro będzie pochmurno to może padać
CH ??? P
Implikacja odwrotna poprawna bo chmury są warunkiem koniecznym deszczu
Ostatnio zmieniony przez rafal3006 dnia Nie 19:21, 25 Maj 2008, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 16:14, 26 Maj 2008 Temat postu: |
|
|
NoBody napisał: |
Rafal3006 napisał: |
Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2 ??? P8
Implikacja poprawna bo P2 jest konieczne dla P8
|
P2 ~> P8
P8 => P2
|
Bomba !
Właśnie WujZbój doradził mi by wziąć sobie wakacje i odpocząć od implikacji. Myślę, że to znakomity pomysł, szczególnie gdy w firmie mnóstwo pilnej roboty
NoBody napisał: |
Rafal3006 napisał: |
Jeśli jutro będzie pochmurno to może padać
CH ??? P
Implikacja odwrotna poprawna bo chmury są warunkiem koniecznym deszczu
|
CH ~> P
P => CH
:p
|
To jest trywialne, wszystko musi działać doskonale inaczej algebra Boole’a leży w gruzach. Próbować obalać algebrę Boole’a mogą tylko Idioci
W implikacjach bezczasowych np. P2~>P8 może zachodzić tylko P8=>P2 - tu wszystko jest banalne. W implikacjach czasowych, dotyczących przyszłości, parametr czasu generuje aż cztery możliwości, dwie dotyczące przyszłości i dwie dotyczące przeszłości.
Wszystko działa doskonale, szczegóły w VI części:
Część VI Tajemnice implikacji
Fragment z powyższego:
4.2 Implikacja-przyszłość odwrotna
A- Przyszłość
I.
Zdanie wypowiedziane:
Jeśli będzie pochmurno to może padać
CH~>P
Implikacja poprawna bo chmury są warunkiem koniecznym deszczu
Jeśli będzie pochmurno to „może” padać (P) lub „może” nie padać (~P).
CH~>P = ~CH => ~P - prawo zamiany implikacji odwrotnej na implikacje prostą
~CH => ~P (twarda prawda)
Jeśli nie będzie pochmurno to „na pewno” nie będzie padać
Powyższa twarda prawda wymusza twardy fałsz:
~CH=>P (twardy fałsz)
Jeśli nie będzie pochmurno to będzie padać (fałsz)
II.
Po zamianie p i q w I musimy wylądować w implikacji prostej bo wyżej była odwrotna
Jeśli będzie padać to „na pewno” będzie pochmurno
P=>CH
Implikacja poprawna bo deszcz jest warunkiem wystarczającym dla chmur (twarda prawda)
Twarda prawda wyżej wymusza twardy fałsz niżej:
P => ~CH
Jeśli będzie padało to nie będzie chmur (twardy fałsz)
P=>CH = ~P ~> ~CH - prawo zamiany implikacji prostej na odwrotną
~P ~> ~CH
Jeśli nie będzie padać to może być pogodnie (~CH) lub może być pochmurno (CH).
B - Przeszłość
Ze zdania I można wygenerować dwie implikacje dotyczące przeszłości. Zakładamy oczywiście, że nie znamy rozstrzygnięcia implikacji która już zaszła.
III
Jeśli było pochmurno to „mogło” padać
CH~>P
Jeśli było pochmurno to „mogło” padać (P) lub mogło nie padać (~P).
CH~>P = ~CH => ~P - prawo zamiany implikacji odwrotnej na prostą
~CH => ~P
Jeśli było pogodnie (~CH) to „na pewno” nie padało (oczywista prawda)
Powyższa prawda wymusza poniższy fałsz:
~CH => P
Jeśli nie było chmur to padało (oczywisty fałsz)
IV.
Po zamianie p i q w III musimy otrzymać poprawną implikację prostą.
P=>CH
Jeśli padało to „na pewno” były chmury (prawda)
Powyższa prawda wymusza poniższy fałsz:
P=>~CH
Jeśli padało to nie było pochmurno (fałsz)
P=>CH = ~P ~> ~CH - prawo zamiany implikacji prostej na odwrotną
~P ~> ~CH
Jeśli nie padało to mogło być pogodnie (~CH) lub mogło być pochmurno (CH).
P.S.
Po trzech latach walki z implikacją myślę, że wszystko można "wyrzucić" do kosza z wyjątkiem dwóch ostatnich części V i VI.
Linki:
Część V Matematyczne fundamenty logiki człowieka
Część VI Tajemnice implikacji
Ostatnio zmieniony przez rafal3006 dnia Pon 16:26, 26 Maj 2008, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
|
|
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
|