ŚFiNiA

Wuk.

Taaaa, wróćmy do świata normalnych ludzi, normalnie rozumujących. W normalności pozostawajmy. Aksjomaty normalności stosujmy. Wuk z nienormalnej strony się pokazał. To jest jeszcze argumentacja?

AD REM ALBO WON!!! :evil:
Gdzie obiecany dowód na fałsz matrycy implikacji? :evil:
Czym się różni prawo logiczne od reguły? :evil:
Gdzie dowód na nieistnienie zdań hipotetycznych? Czy w algebrze Boole'a nie ma zdań hipotetycznych? :shock:

Czym wg. algebry Boole'a jest np. prawo ciążenia? :evil: Ideą w Umyśle Boga?

Budyy

Wuk.

rafal3006

rafal3006

Ekspresowy wykład teorii implikacji

Wukowi dedykuję

1.0 Prawa Kubusia

Z operatorowych definicji implikacji prostej i odwrotnej wynika, że są one ze sobą wzajemnie związane żelaznym uściskiem. Nie ma definicji implikacji prostej bez operatora implikacji odwrotnej i odwrotnie, nie ma definicji implikacji odwrotnej bez operatora implikacji prostej.

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” => między p i q

Definicja implikacji odwrotnej:
p~>q = p + ~q
Jeśli zajdzie p to „może” ~> zajść q
~> - operator implikacji odwrotnej, spójnik „może” ~> między p i q

Prawa Kubusia są ścisłym odpowiednikiem praw de’Morgana w algebrze Boole’a. Negujemy zmienne i wymieniamy operator na przeciwny.

Prawa Kubusia.
p=>q = ~p ~> ~q - prawo zamiany implikacji prostej na implikację odwrotną
p~>q = ~p=>~q - prawo zamiany implikacji odwrotnej na implikację prostą

=> - operator implikacji prostej, spójnik „musi” => między p i q
~> - operator implikacji odwrotnej, spójnik „może” ~> między p i q

Wniosek z praw Kubusia:
Jeśli dwie implikacje różnia się od siebie wyłacznie zanegowanymi p i q to muszą być kodowane przeciwnymi operatorami, inaczej algebra Boole'a leży w gruzach !

Gwałcenie praw Kubusia w implikacji jest odpowiednikiem gwałcenia praw de'Morgana w operatorach AND (*) i OR(+).

Prawa de'Morgana:
Y=A+B
Negujemy zmienne i wymieniamy operatory:
~Y=~A*~B
Oczywiście:
Y=~(~Y)
zatem:
A+B = ~(~A*~B) - prawo de'Morgana dla sumy logicznej
W identyczny sposób wyprowadzamy prawo de'Morgana dla iloczynu logicznego.
A*B = ~(~A+~B)

Złamanie prawa Kubusia w implikacji to złamanie prawa de'Morgana w taki sposób:
A+B = ~(~A+~B) - negujemy zmienne, ale nie zamieniamy operatora na przeciwny.

To jest oczywiste rozwalenie całej algebry Boole'a w zakresie AND i OR !

Analogicznie, pogwałcenie prawa prawa Kubusia w implikacji, będzie rozwaleniem algebry Boole'a w zakresie implikacji !
Prawa de'Morgana w operatorach AND(*) i OR(+) oraz prawa Kubusia w implikacji to dwa najważniejsze prawa w całej logice klasycznej !

1.1 Operatorowa definicja implikacji prostej

=> - operator implikacji prostej, spójnik „musi” => między p i q
~> - operator implikacji odwrotnej, spójnik „może” ~> między p i q

Operatorowa definicja implikacji prostej :
A: p=>q =1
B: p=>~q =0
p=>q = ~p ~> ~q - prawo Kubusia dla A
p=>~q = ~p ~>q - prawo Kubusia dla B
Stąd na podstawia prawa Kubusia:
C: ~p ~> ~q =1
LUB
D: ~p ~> q =1

Jeśli zwierze jest psem to ma cztery łapy
P=>4L - jeśli pies to „na pewno” => cztery łapy
Bezdyskusyjna implikacja prosta bo bycie psem jest warunkiem wystarczającym, by mieć cztery łapy

Analiza:
Implikację prostą w logice dodatniej bo q nie jest zanegowane.
Implikację obsługuje górna połówka definicji implikacji prostej.
Jeśli zwierzę jest psem to „na pewno” => ma cztery łapy
P=>4L =1 twarda prawda !
Oczywiście:
Jeśli zwierzę jest psem to „na pewno” => nie ma czterech łap
P=>~4L = 0 twardy fałsz wobec powyższej twardej prawdy

Co będzie jeśli zwierzę nie jest psem ?
P=>4L = ~P~>~4L - prawo zamiany implikacji prostej na równoważną implikację odwrotną

~P~>~4L
Implikacja odwrotna wypowiedziana w logice ujemnej bo q jest zanegowane.
W logice ujemnej implikacja prosta przechodzi w implikację odwrotną, obsługiwaną przez dolną połówkę definicji implikacji prostej.

Jeśli zwierzę nie jest psem to „może” ~> nie mieć czterech łap
~P~>~4L =1 bo kura
LUB
Jeśli zwierzę nie jest psem to „może” ~> mieć cztery łapy
~P~> 4L = 1 bo słoń

1.2 Operatorowa definicja implikacji odwrotnej

~> - operator implikacji odwrotnej, spójnik „może” ~> między p i q
=> - operator implikacji prostej, spójnik „musi” => między p i q

A: p~>q =1
LUB
B: p~>~q =1
p~>q = ~p => ~q - prawo Kubusia dla A
p~>~q = ~p =>q - prawo Kubusia dla B
Stąd na podstawia prawa Kubusia:
C: ~p => ~q =1
D: ~p => q =0

Zajmijmy się implikacją odwrotną do analizowanej w poprzednim punkcie.

Jeśli zwierzę ma cztery łapy to „może” ~> być psem
4L ~> P
Bezdyskusyjna implikacja odwrotna, bo cztery łapy są warunkiem koniecznym dla psa

Oczywiście matematycznie zachodzi:
P=>4L # 4L~>P - to dwa zupełnie różne zdania

Analiza:
Implikacja odwrotna w logice dodatniej bo q nie jest zanegowane.
Implikacja podlega pod górną połówkę definicji implikacji odwrotnej.

Jeśli zwierzę ma cztery łapy to „może” ~> być psem
4L~>P = 1 bo pies
LUB
Jeśli zwierzę ma cztery łapy to „może” ~> nie być psem
4L~> ~P =1 bo słoń

Co będzie jeśli zwierzę nie ma czterech łap ?
4L~>P = ~4L => ~P - prawo zamiany implikacji odwrotnej na równoważną implikację prostą.

~4L => ~P
Implikacja prosta wypowiedziana w logice ujemnej bo q jest zanegowane.
W logice ujemnej implikacja odwrotna przechodzi w implikację prostą, obsługiwaną przez dolną połówkę definicji implikacji odwrotnej.

Jeśli zwierzę nie ma czterech łap to „na pewno” => nie jest psem
~4L => ~P =1 - twarda prawda
Jeśli zwierzę nie ma czterech łap to „na pewno” => jest psem
~4L => P =0 - twardy fałsz wobec powyższej twardej prawdy

1.3 Matematyczny algorytm poszukiwania wszelkich wynalazków

Aktualnie wiemy, że trwają intensywne prace nad znalezieniem szczepionki na AIDS. Biorą w tym udział największe laboratoria świata z tysiącami najwybitniejszych w tej dziedzinie naukowców wspartych praktycznie niegraniczonymi funduszami. Załóżmy, że wszyscy szukają szczepionki na bazie mutacji wirusów których może być nieskończenie wiele. Jak trafić na właściwą mutację ? … oto jest pytanie.

Szukanie szczepionki doskonale opisuje górna połówka definicji implikacji prostej. Dolna połówka tej definicji, będąca de facto implikacją odwrotną, w ogóle nie bierze w tym udziału !

Operatorowa definicja implikacji prostej :
A: p=>q =1
B: p=>~q =0
p=>q = ~p ~> ~q - prawo Kubusia dla A
p=>~q = ~p ~>q - prawo Kubusia dla B
Stąd na podstawia prawa Kubusia:
C: ~p ~> ~q =1
LUB
D: ~p ~> q =1

Górna połówka powyższej definicji w postaci zero-jedynkowej:

N: W S W=>S
A: 1 1 =1
B: 1 0 =0

Wartość q jest oczywiście znana:
q = S - szczepionka na AIDS

Oznaczenia:
W = wirus
S = szczepionka
W=>S - jeśli właściwy wirus to szczepionka, SUKCES !

Algorytm szukania:
Biorę wirusa W(x) i intensywnie pracuję nad jego mutacją aby uzyskać szczepionkę. Oczywiście zakładam, że wybrany wirus doprowadzi mnie do sukcesu czyli:
W(x)=1 - założeni że uzyskam sukces, inne wirusy mnie na razie nie interesują

Załóżmy, że po 3 letnich poszukiwaniach osiągam sukces czyli:
W(x)=>S =1 - Jest szczepionka, zaszła linia A w implikacji
p q p=>q
1 1 =1

W praktyce nie ma tak różowo, aby za pierwszym razem trafić we właściwego wirusa. Z reguły pracuje się nad setkami potencjalnie dobrych wirusów, zanim znajdzie się właściwego. W tym przypadku prace na pewnym etapie będą porzucane czyli zajdzie linia B w implikacji prostej.

W(y)=>~S =0 - ten wirus jest fałszywy, nie doprowadził do sukcesu.

Zapamiętujemy to dzięki linii:
p q p=>q
1 0 =0

Oczywiście będzie istniała grupa wirusów którym nie dajemy żadnych szans na znalezienie szczepionki. Tym wirusom przypisujemy twardy fałsz i się nimi nie zajmujemy, chyba że wyczerpiemy kolejkę potencjalnie dobrych wirusów.

W(z) =0 - twardy fałsz na poziomie poprzednika implikacji, te wirusy nas nie interesują !

Koniec algorytmu szukania szczepionki na AIDS.

Wyobraźmy sobie teraz, że mamy rok 2033, szczepionki dalej nie ma. Na świecie zakażonych jest już 60% ludzkości, zbliża się apokalipsa. W tym momencie dosłownie cały potencjał naukowy ludzkości będzie pracował nad szczepionką, inaczej ludzkość zginie. Wszyscy zdają sobie z tego faktu sprawę.

Nagle w prasie wybucha sensacja. Nikomu nie znany początkujący naukowiec bez żadnych sukcesów, pracujący w maleńkim prowincjonalnym laboratorium znalazł lekarstwo na AIDS w oparciu o białko alfa. Szukał tam, gdzie inni z definicji to wykluczali i znalazł !

Czy to możliwe we współczesnym świecie ?

Oczywiście jest to możliwe, to się stało około 10 lat temu w dziedzinie elektroniki. Około 20 lat temu największe laboratoria świata pracowały niezwykle intensywnie nad znalezieniem niebieskiej diody świecącej LED, kluczowej dla uzyskania sygnału RGB umożliwiającej tworzenie wielkoekranowych „telewizorów” kolorowych np. 16*12 metrów, których teraz pełno jest na stadionach świata i nie tylko. Prace nad diodą trwały już 10 lat, posuwały się mizernie, wszyscy szukali niebieskiej diody w grupie pierwiastków X, coś tam ulepszano, ale w po dziesięciu latach poprawiono jasność diody z 1mcd (milicandeli) do 5mcd, żywotność dalej była niezadowalająca.

Nagle w prasie fachowej wybuchła sensacja. Nikomu nie znany, młody Japończyk Taka Mura, pracujący w maleńkim laboratorium nad najzwyklejszymi świetlówkami, zaczął szukać niebieskiej diody LED w grupie pierwiastków Y i znalazł diodę o fenomenalnej jasności i żywotności. Natychmiast został okrzyknięty Edisonem diod LED. Wystarczy porównać parametry. Przed Taka Murą jasność diody LED około 5 mcd, cena około 5 zł, po Taka Murze jasność obecnych diod około 50000mcd, aktualna cena około 50 gr czyli … cena spadła 10 razy, zaś jasność zwiększyła się 10000 razy i dalej rośnie !

Wuk.

Panie, nie chce mi się nawet tego czytać. Skoro nie odpowiadasz Pan na moje uwagi, to zawsze mogę zejść na pioziom Budyy'ego i powiedzieć, że w tym nie ma życia, tylko znaczki.
Nie jest Pan dla mnie autorytetem i już. Skoda mi czasu na dyskusję z "logikiem" nieodróżniającym prawa od reguły, któremu się wydaje, że dowolny zbiór ma jakąś wartość logiczną (bezsens) i który na tej podstawie mnie obraża. Analiza Pana wpisu zajełaby mi parę godzin a jej skutek i tak już znam. Pan nie przekonam a osobnicy pokroju Budyy'ego czy Doskoka i tak niczego nie pojmą.
Nie zasługuje Pan abym poświęcał Panu mój czas.
Tak mi przykro.
Proszę sie spróbować wypchać

Budyy

Wuk.

Ciekawe Geniuszu, że kiedy Rafał przerobił był za pomocą swojej słynnej algebry implikację w zasadę racji (podstawę prawdziwie ludzkiej logiki "normalnego" człowieka, stoswanej nawet przez dzieci w przedszkolu itd.) to Ci to jakoś nie przeszkadzało.
Wiwatowałeś ze szczęścia. Piałeś jak kogut i z kogucim wdziękiem na mój pohybel. Ogłosiłeś szacha-mata, moją śmierć oraz upadek moralny i Diabeł wie co jeszcze.
A teraz co się stało?
Bezwiednie zmieniasz swoje własne zdanie (o ile w ogóle masz jakieś zdanie), żeby mi tylko dowalić? Zachowujesz się jak dziecko, które moczy się w nocy a rono mówi rodzicom, że to miś zrobił.

Budyy

Eremita

Proszę moderację o nieinterweniowanie :rotfl:

rafal3006

Wuk.

Wuk.

rafal3006

Eremita

skaranie boskie

rafal3006

Panowie czepiacie się szczegółów. Czy to ważne czy Kopernik był kobietą, albo co odkrył. Fakty sa takie. Po Koperniku Ziemia z płaskiej zrobiła sie okrągła. Człowiek to nie komputer ...

Aksjomat Kubusia:
Nadmierna precyzja = chaos

Eremita

a co na to algebra Bool'a

skaranie boskie

Budyy

Eremita

Oficjalnie, prawdopodobnie juz starozytni Egipcjanie o tym wiedzieli, także Majowie i Chińczyków też sie podejrzewa :wink:

rafal3006