|
Ś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: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 9:43, 24 Lip 2008 Temat postu: Implikacja materialna prosta i odwrotna - koniec epoki |
|
|
Elementarz algebry Boole’a
Implikacja materialna prosta i odwrotna - koniec epoki
Spis treści:
1.0 Świrownia Klasycznego Rachunku Zdań
2.0 Definicja implikacji materialnej prostej
2.1 Operatorowa definicja implikacji materialnej prostej
3.0 Definicja implikacji materialnej odwrotnej
3.1 Operatorowa definicja implikacji materialnej odwrotnej
4.0 Prawo żelaznego uścisku
5.0 Matematyczna analiza śmieci
6.0 Egzamin Wuka
1.0 Świrownia Klasycznego Rachunku Zdań
Klasyczny Rachunek Zdań - dział logiki opartej na algebrze Boole'a.
Fragment podręcznika matematyki do I klasy LO
[link widoczny dla zalogowanych]
Cytat: |
Implikacja
Oznaczmy r jako zdanie „Jeżeli będziesz grzeczny, to dostaniesz czekoladę”. Zdanie to jest implikacją. Zdanie to składa się z dwóch zdań prostych:
zdania p: „Będziesz grzeczny”
zdania q: „Dostaniesz czekoladę”
Implikację zdań oznaczamy za pomocą spójnika =>, a w tym przypadku przez p=>q. Pozostaje zastanowić się, kiedy zdanie r będzie prawdą, a kiedy kłamstwem. Załóżmy, że zdanie to wypowiedziała mama do swojego syna. Jeśli syn był grzeczny i dostał czekoladę, mama nie skłamała. Jeśli syn był niegrzeczny i nie dostał czekolady, mama także nie skłamała. Jeśli syn był grzeczny, a nie dostał czekolady, oznacza to, że został okłamany. Okazuje się także, że gdyby syn był niegrzeczny i także dostał czekoladę, mama by nie skłamała. Dlaczego? Ponieważ, mama nie stwierdziła, co go spotka, jeśli będzie niegrzeczny. Powiedziała jedynie, co go spotka jeśli będzie grzeczny. Dlatego też o zdaniu p mówimy, że jest warunkiem wystarczającym do tego, by zaszło q, a o q, że jest warunkiem koniecznym do tego, by zaszło p....
|
Uzasadnienie że "mama czegoś nie stwierdziła..." to nie jest algebra Boole'a !!!
W algebrze Boole'a (podpis) jest tak:
Jeśli będziesz grzeczny dostaniesz czekoladę
G=>C - implikacja prosta bo dobrowolnych obietnic musimy dotrzymywać
Prawo Kubusia:
G=>C = ~G ~> ~C - prawo zamiany implikacji prostej na równoważną implikację odwrotną
Jeśli nie będziesz grzeczny to nie dostaniesz czekolady
~G ~> ~C
Na mocy definicji implikacji odwrotnej mamy:
Jeśli nie będziesz grzeczny to możesz (~>) nie dostać czekolady
~G ~> ~C
LUB
Jeśli nie będziesz grzeczny to możesz (~>) dostać czekoladę
~G ~> C
Czyli w przypadku gdy syn jest niegrzeczny mama może zrobić co jej się podoba i nie ma szans na zostanie matematycznym kłamcą.
To jest piękna matematyka ścisła, algebra Boole'a która nie zależy od tego „czego mama nie powiedziała …”
Idiotyzm takiego uzasadnienia najlepiej widać na przykładzie zdania:
Jeśli nie będziesz grzeczny to nie dostaniesz czekolady
~G => ~C - idiotyzm rodem z Klasycznego Rachunku Zdań
… tu mama nie powiedziała co będzie gdy syn będzie grzeczny, czyli jak niegrzeczny to na 100% nie ma czekolady (matka idiotka pozbawiona wolnej woli), a jak grzeczny to może dać albo nie dać czyli synek grzeczny a mama mówi "dostaniesz gówno a nie czekoaldę", ma do tego prawo ... w matematyce świrów oczywiście.
Powyższy zapis matematyczny to zgwałcenie prawa żelaznego uścisku w implikacji - patrz podpis !
2.0 Definicja implikacji materialnej prostej
Prawa Kubusia obowiązują w całej algebrze Boole’a, zatem także i w implikacji materialnej !
Prawa Kubusia (dowód w podpisie):
p=>q = ~p ~> ~q - prawo zamiany implikacji prostej na równoważną implikację odwrotną
p~>q = ~p => ~q - prawo zamiany implikacji odwrotnej na równoważną implikację prostą
Oczywiście w poniższej analizie stosujemy wszędzie definicję implikacji materialnej.
Definicja implikacji materialnej prostej:
N: p q p=>q
A: 1 1 =1
B: 1 0 =0
C: 0 0 =1
D: 0 1 =1
Przechodzimy na zapis symboliczny:
p=1, ~p=0
q=1, ~q=0
A: p q =1
B: p ~q =0
C: ~p ~q = 1
D: ~p q =1
Między p i q wstawiamy odpowiednie operatory otrzymując operatorową definicję implikacji materialnej prostej
2.1 Operatorowa definicja implikacji materialnej prostej
A: 1 1 =1 - wypowiedziane zdanie w implikacji prostej materialnej
A: p=>q =1
B: 1 0 =0 - na podstawie definicji implikacji prostej materialnej
B: p=>~q =0
p=>q = ~p ~> ~q - prawo Kubusia dla linii A
p=>~q = ~p ~> q - prawo Kubusia dla linii B
Z prawa Kubusia wynika, że dalszą część tabeli symbolicznej implikacji prostej materialnej musimy kodować przy pomocy operatora implikacji odwrotnej „może” ~>, inaczej prawa Kubusia, zatem i algebra Boole’a leży w gruzach. Zdanie ~p ~> ~q traktujemy jako nowo wypowiedziane zdanie podlegające pod definicję implikacji materialnej odwrotnej. Prawa Kubusia mówią nam co się stanie dla warunku ~p.
C: 1 1 =1 - nowo wypowiedziane zdanie w implikacji materialnej odwrotnej
C: ~p ~> ~q =1
D: 1 0 =1 - na podstawie definicji implikacji materialnej odwrotnej
D: ~p ~> q =1
Identyczne rozumowanie dla definicji implikacji materialnej odwrotnej.
3.0 Definicja implikacji materialnej odwrotnej
Definicja implikacji materialnej odwrotnej:
N: p q p~>q = p<=q
A: 1 1 1
B: 1 0 1
C: 0 0 1
D: 0 1 0
Przechodzimy na zapis symboliczny:
p=1, ~p=0
q=1, ~q=0
A: p q =1
B: p ~q =1
C: ~p ~q =1
D: ~p q =0
Między p i q wstawiamy odpowiednie operatory otrzymując operatorową definicję implikacji materialnej odwrotnej
3.1 Operatorowa definicja implikacji materialnej odwrotnej
A: 1 1 =1 - wypowiedziane zdanie w implikacji materialnej odwrotnej
A: p~>q =1
LUB
B: 1 0 =1 - na podstawie definicji implikacji materialnej odwrotnej
B: p~>~q =1
p~>q = ~p => ~q - prawo Kubusia dla linii A
p~>~q = ~p => q - prawo Kubusia dla linii B
Z prawa Kubusia wynika, że dalszą część tabeli symbolicznej implikacji materialnej odwrotnej musimy kodować przy pomocy operatora implikacji prostej =>, inaczej prawa Kubusia, zatem i algebra Boole’a leży w gruzach. Zdanie ~p => ~q traktujemy jako nowo wypowiedziane zdanie podlegające pod definicję implikacji materialnej prostej. Prawa Kubusia mówią nam co się stanie dla warunku ~p.
C: 1 1 =1 - nowo wypowiedziane zdanie w implikacji materialnej prostej
C: ~p => ~q =1
D: 1 0 =0 - na podstawie definicji implikacji materialnej prostej
D: ~p => q =0
4.0 Prawo żelaznego uścisku
Prawo żelaznego uścisku:
Jeśli dwie implikacje różnią się między sobą wyłącznie zanegowanymi parametrami p i q to muszą być kodowane przeciwnymi operatorami.
Dowód wyżej.
Szersze wyjaśnienie, że definicja implikacji prostej jest związana żelaznym uściskiem z definicją implikacji odwrotnej (jedna bez drugiej nie może istnieć) jest w podpisie.
5.0 Matematyczna analiza śmieci
Definicja:
Implikacja materialna to matematyczny operator o nazwie śmieć, operujący na śmieciach czyli implikacjach w których p i q muszą mieć z góry określone wartości 0 albo 1.
Definicję implikacji materialnej wymyślono wyłącznie w celu opisu naturalnego języka człowieka. Skutek wszyscy logicy doskonale znają „Logika człowieka nie istnieje”. Implikacja materialna wymaga, aby wartości logiczne p i q były z góry wiadome, co zabija jakikolwiek związek między p i q, jakiekolwiek wynikanie między p i q. Definicja implikacji materialnej w której p i q z definicji nie mają ze sobą związku jest totalnym zaprzeczeniem logiki człowieka, algebry Boole’a. Wynikiem implikacji materialnej jest ”matematyczna” analiza śmieci typu:
Jeśli pies ma osiem łap to księżyc krąży wokół Ziemi.
Jeśli pies jest różowy to krowa śpiewa w operze
itd..itp.
Co to ma wspólnego z jakąkolwiek implikacją z dowolnego obszaru otaczającego nas świata ?
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2 - matematyka
Jeśli będzie świecić słońce to nie będzie padało
S => ~P - przyroda martwa
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L - przyroda żywa
Jeśli zdasz egzamin dostaniesz komputer
E=>K - świat człowieka, obietnica
Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L - świat człowieka, groźba
To co wyżej to piękna 100% algebra Boole’a, logika człowieka … dowód w podpisie !
Wszystkie powyższe implikacje są w świetle definicji implikacji materialnej niepoprawne matematycznie bo nie da się tu z góry określić wartości logicznych p i q.
Kubuś do wiedźmy, paskudnej Implikacji Materialnej:
Ty obrzydliwa starucho, jesteś ze świata świrów i tam twoje jedyne miejsce, wara ci od podręczników matematyki dla I klasy LO, nie rób z naszych dzieci idiotów ! W świecie normalnych twoje miejsce jest w koszu na śmieci, amen !
Fragment podręcznika matematyki do I klasy LO
[link widoczny dla zalogowanych]
Cytat: |
Powróćmy znowu do przykładu przedstawionego w poprzednim podrozdziale. Otóż było tam zdanie „Jeśli pies ma osiem łap, to Księżyc krąży wokół Ziemi”. To zdanie złożone możemy podzielić na dwa proste zdania:
p: „pies ma osiem łap”,
q: „Księżyc krąży wokół Ziemi”.
Wiemy, że pierwsze p jest fałszywe, a zdanie q jest prawdziwe. Zatem wartość logiczna zdania p ⇒ q wynosi 0 ⇒ 1. Otrzymujemy wartość logiczna tego zdania wynosi 1. Jest to podobna sytuacja do tej, w której syn był niegrzeczny, a dostał czekoladę.
|
Weźmy zdanie rodem z powyższego „podręcznika”.
Jeśli pies ma cztery łapy, to Księżyc krąży wokół Ziemi
A: 4L=>KK =1 (prawda bo p=q=1)
Jeśli pies ma cztery łapy, to Księżyc nie krąży wokół Ziemi
B: 4L=> ~KK =0 (fałsz bo p=1,q=0)
Prawa Kubusia są odpowiedzią na pytanie co będzie jak pies nie ma 4 łap.
A: 4L=>KK = ~4L ~> ~KK
B: 4L=>~KK = ~4L ~> KK
Oczywiście dla przypadku ~4L obowiązuje definicja implikacji materialnej odwrotnej, inaczej algebra Boole’a leży w gruzach !
Zdanie ~4L ~> ~KK traktujemy jako nowo wypowiedziane podlegające pod definicję implikacji materialnej odwrotnej
1 1 =1 - zdanie nowo wypowiedziane, implikacja materialna odwrotna
Jeśli pies nie ma 4 łap to księżyc „może” (~>) nie krążyć wokół ziemi
~4L ~> ~KK =1 (p=1, q=1 czyli PRAWDA na mocy definicji implikacji materialnej odwrotnej)
1 0 =1
Jeśli pies nie ma 4 łap to księżyc „może” (~>) krążyć wokół ziemi
~4L ~> KK = 1 (p=1, q=0 czyli PRAWDA na mocy definicji implikacji materialnej odwrotnej)
Mamy wyżej trzy jedynki i jedno zero czyli piękną definicję implikacji materialnej prostej.
Jak widać, od strony matematycznej wszystko jest niby w porządku …
Niby, bowiem w algebrze Boole’a po zamianie p i q zawsze lądujemy w implikacji przeciwnej do wypowiedzianej !
Przykłady:
1.
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2 - implikacja prosta
po zamianie p i q:
Jeśli liczba jest podzielna przez 2 to „może” ~> być podzielna przez 8
P2~>P8 - implikacja odwrotna
2.
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
po zamianie p i q
Jeśli zwierzę ma cztery łapy to „może” ~> być psem
4L~>P
3.
Jeśli będzie słońce to nie będzie padało
S=>~P
po zamianie p i q
Jeśli nie będzie padało to może być słońce
~P ~> S (może być słońce lub dzień pochmurny i nie pada)
4.
Jeśli zdasz egzamin dostaniesz komputer
E=>K
po zamianie p i q jesteśmy w czasie przeszłym (nic nie szkodzi)
Jeśli dostałeś komputer to „mogłeś” zdać egzamin
K~>E
… bo ojciec mógł ci dać komputer mimo nie zdanego egzaminu z dowolnym uzasadnieniem niezależnym mówiąc:
Nie zdałeś egzaminu, dostajesz komputer bo cię kocham, bo widziałem że się starałeś ale miałeś pecha itp. Gdyby ojciec nie miał prawa tak postąpić to jego wolna wola leży w gruzach !
5.
Jeśłi ubrudzisz spodnie dostaniesz lania
B~>L - nie ma takiej kary której nadawca nie miąlby prawa darować, inaczej jego wolna wola leży w gruzach
po zamianie p i q
Jeśli dostałeś lanie to na pewno ubrudziłeś spodnie
L=>B - analizujemy zdanie o brudnych spodniach i laniu, inne lania nie dotyczą tego zdania !
Wróćmy teraz do śmietnika, czyli analizy zdania z podręcznika do I klasy LO !
Jeśli pies ma cztery łapy to księżyc krąży wokół Ziemi
4L=>KK
po zamianie p i q otrzymujemy:
Jeśli księżyc krąży wokół Ziemi to pies ma cztery łapy
KK ??? 4L
Oczywiście tu w miejsce ??? możemy wstawić co nam się żywcem podoba czyli zarówno operator implikacji prostej jak i odwrotnej … i zawsze będzie dobrze bo p jest bez związku z q !!!
Jak wstawimy => to zgwałcimy algebrę Boole’a, jak wstawimy ~> to teoretycznie będzie to algebra Boole’a tyle że śmietnikowa. Konia z rzędem temu kto uzasadni symbol implikacji odwrotnej w tym zapisie:
1 1 =1 - nowe zdanie, implikacja odwrotna
Jeśli księżyc krąży wokół Ziemi to pies „może” mieć cztery łapy
A: KK ~> 4L =1 (p=q=1 =Prawda)
LUB
1 0 =1 - na podstawie definicji implikacji odwrotnej
Jeśli księżyc krąży wokół Ziemi to pies „może” nie mieć czterech łap
B: KK ~> ~4L =1 (p=1, q=0 = PRAWDA na podstawie definicji implikacji materialnej odwrotnej)
Prawo Kubusia:
KK~>4L = ~KK => ~4L - prawo Kubusia dla linii A
KK ~> ~4L = ~KK => 4L - prawo Kubusia dla linii B
Czyli:
1 1 =1 - nowo wypowiedziane zdanie w implikacji materialnej prostej
Jeśli księżyc nie krąży wokół Ziemi to pies nie ma czterech łap
C: ~KK => ~4L =1 (prawda bo p=q=1)
1 0 =0 - na podstawie definicji implikacji materialnej prostej
Jeśli księżyc nie krąży wokół Ziemi to pies ma cztery łapy
D: ~KK => 4L =0 (fałsz bo p=1 i q=0)
Mamy wyżej trzy jedynki i jedno zero czyli teoretycznie piękną implikację odwrotną. Teoretycznie, bo to jest bełkot pijanego wariata czyli zero logiki człowieka.
Jak ktoś się chce wgryzać w ten cuchnący śmietnik i próbować to uzasadniać to bardzo proszę, Kubuś nie ma najmniejszej ochoty !
Jak widać implikacja materialna w obsłudze logiki człowieka jest świetna … ale wyłącznie w krainie świrów grzebiących w śmietniku.
6.0 Egzamin Wuka
Wuk. napisał: |
Oto ezgamin z ABC logiki:
1. Zapisz modus ponendo ponens. (1 punkt)
2. Okreść jednym słowem na czym polega różnica między pierwszym a drugim terminem modus ponendo ponens (nazwij każdy termin jednym słowem). (2 punkty)
|
Wikipedia:
Modus ponendo ponens (łac. sposób potwierdzający przez potwierdzenie) – tautologia rachunku zdań i analogiczny schemat wnioskowania dedukcyjnego. Tautologia rachunku zdań mówi, że jeśli uznajemy prawdziwość poprzednika prawdziwej implikacji, to musimy uznać też prawdziwość jej następnika.
Jeśłi liczba jest podzielna przez 8 to jest podzielna przez x
Co z tego że znasz p i znasz wynik implikacji (=1) skoro x może być równie dobrze 2 albo 4 ...itd. ?
Problem w tym, że implikacja materialna (bo o niej na pewno mowa) to śmieć operujący na śmieciach czyli implikacjach w których p i q musi mieć z góry wiadome wartości 0 albo 1. To nie ma nic wspólnego z logiką człowieka.
Wuk. napisał: |
3. Czy prawdziwe są zdania:
"z fałszu wynika wszystko" (1 punkt)
"prawda wynika ze wszystkiego" (1 punkt)
4. Czy zdania z punktu '3' są:
a/tożsame (1 punkt)
b/sprzeczne (1 punkt)
5. Zapisz zdania z '3' symbolicznie (2 punkty)
|
To wszystko brednie Klasycznego Rachunku Zdań ….
3a.
„ z fałszu wynika wszystko” = „z fałszu może wyniknąć prawda”
Załóżmy:
x = PRAWDA
Jeśli w dowolnym zbiorze nie istnieje x to wartość logiczna takiego zbioru = FAŁSZ. Definicja sumy logicznej się kłania. Z dowolnego zbioru o wartości logicznej FAŁSZ nigdy nie może powstać PRAWDA.
Jeśli w dowolnym zbiorze istnieje choćby jeden element x=PRAWDA to wartość logiczna takiego zbioru = PRAWDA (def. sumy logicznej). Wtedy i tylko wtedy masz szansę znaleźć PRAWDĘ … oczywiście wyłącznie ze zbioru którego wartość logiczna = PRAWDA.
Przykład:
Masz znaleźć w talii kart którą ci daję x=damę kier. Oczywiście jeśli tej damy nie wyjąłem to na 100% ją znajdziesz bo wartość logiczna takiej talii = PRAWDA
x=Dama kier
… ale jeśli usunąłem tą kartę to wartość logiczna tej talii = FAŁSZ !
Możesz sobie długo i namiętnie poszukiwać prawdy, na 100% jej nie znajdziesz. Z fałszu nigdy nie może powstać prawda.
3b.
Identycznie jak w 3a.
„prawda wynika ze wszystkiego” ?
Guzik prawda bo ze zbioru o wartości logicznej FAŁSZ nigdy nie wyniknie prawda. Jeśłi masz na myśli filozofię to ze "wszystkiego" wynika zarówno prawda jak i fałsz ... tylko to jest bez sensu, zero logiki.
4.
Punkty 3 to IDIOTYZM … CND
Ostatnio zmieniony przez rafal3006 dnia Sob 14:30, 26 Lip 2008, w całości zmieniany 28 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
|