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 

Implikacja na miarę XXI wieku !
Idź do strony Poprzedni  1, 2, 3
 
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Sob 1:37, 27 Sty 2007    Temat postu:

wujzboj napisał:

Nie rozumiem natomiast twojego "mysle logicznie w oparciu o pelna definicje implikacji i algebre Boole'a". Co tu ma do rzeczy algebra Boole'a? A raczej: co ona tutaj zmienia w stosunku do klasycznego rachunku zdan?

Definicja implikacji (groźby i obietnicy!!!) Zbóju to algebra Boole'a. W swojej analizie bez przerwy korzystam z twierdzenia A=~~A, poza tym mogę korzystać ze wszystkich pozostałych twierdzeń algebry Boole'a aby uprościć zagmatwane czasami zdania do prostszej postaci - to zostawiam tobie ... ja jestem od idei :D
wujzboj napisał:

NIE WIEM, czy rozumiem twoja definicje. Dowiem sie, gdy dowiem sie, w jakim celu ja wprowadzasz i za pomoca jakiego aparatu masz zamiar z niej korzystac.


Zbóju, ja nie pytałem o definicje .... bo te na pewno rozumiesz.

Pytanie brzmiało:

Czy rozumiesz Kubusiową analizę twojego zdania "Jeśli będziesz drażnił Zdzicha to od niego oberwiesz" zawartą tu:

http://www.sfinia.fora.pl/viewtopic.php?p=29003#29003

Prosze o odpowiedź: TAK lub NIE

Ustalmy jakiś punkt odniesienia :D
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: 22559
Przeczytał: 8 tematów

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

PostWysłany: Sob 1:39, 27 Sty 2007    Temat postu:

Ja nie edytowalem wikipedii i nie ponosze odpowiedzialnosci za to, co tam stoi.

Zas algebry Boole'a to wiele, wiele wiecej, niz A = ~~A. I wiele, wiele wiecej, niz operacje IF THEN ELSE.

Po co wiec definiujesz swoja implikacje i dla jakiego aparatu ma ona sluzyc?
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Sob 1:42, 27 Sty 2007    Temat postu:

No to pokaż w którym miejscu Wikipedia kłamie :D :D :D

Mała encyklopedia logiki tez kłamie ? :D

Ekspert KRZ tez kłamie ? :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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Sob 1:47, 27 Sty 2007    Temat postu:

wujzboj napisał:

Zas algebry Boole'a to wiele, wiele wiecej, niz A = ~~A. I wiele, wiele wiecej, niz operacje IF THEN ELSE.


Zbóju, kogo ty chcesz uczyc algebry Boole'a ... Kubusia ? :D
Możesz być pewien że znam ja o wiele lepiej niż ty - napisałem o tym kilka książek :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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Sob 20:23, 27 Sty 2007    Temat postu:

wujzboj napisał:

W sumie budujesz pojecie meta-implikacji, ktore zawiera w sobie przepis na to, w jaki sposob tlumaczyc - w zaleznosci od kontekstu - pewne wyrazenia z jezyka potocznego na jezyk klasycznego rachunku zdan. Czy jednak przepis ten moze zawierac przepis na tlumaczenie odwrotne: z klasycznego rachunku zdan na jezyk potoczny? Bez tego przepisu tlumaczenie na klasyczny rachunek zdan jest malo przydatne, to rodzaj WOM (Write-Only Memory)...

Chyba, ze jedynym celem tej analizy jest pokazanie, ze w jezyku potocznym zdania "jesli... to..." maja kilka roznych znaczen, ktore mozna usystematyzowac, a ktorych (czesto spotykane) pomylenie prowadzi do absurdow. W tym przypadku zgadzam sie z toba.


Komentarz Zbója dotyczy pierwszego postu na tej stronie.
http://www.sfinia.fora.pl/viewtopic.php?p=30301#30301


Bardzo ciekawe rzeczy opowiadasz Zbóju.

Po przejściu na zapis formalny możesz bezpiecznie mieszać prawa Kubusia dotyczące przyszłości lub przeszłości (pierwszy post tematu) z algebrą Boole'a i masz zapewniony w 100% sensowny powrót.

Czy mam rozumieć iż zgadzasz się z Kubusiem że zdanie z Biblii:

A.
Kto wierzy w Chrystusa będzie zbawiony (implikacja-obietnica)
Nadzieja: Jeśli nawet nie wierzę w Chrystusa (nie spełniony poprzednik – warunek zbawienia) będę zbawiony (spełniony następnik) bo jestem Żydem - dowolne uzasadnienie niezależne.

jest na mocy prawa Kubusia
p=>q = ~p ~> ~q - prawo zamiany obietnicy na groźbę

równoważne zdaniu

B.
Kto nie wierzy w Chrystusa nie będzie zbawiony (implikacja-groźba)
Nadzieja: Jeśli nawet nie wierzę w Chrystusa (spełniony poprzednik) będę zbawiony (nie spełniony następnik - nadzieja na uniknięcie kary) bo jestem Żydem - dowolne uzasadnienie niezależne.

jeśli tak, to jest to pierwszy cios w twój rachunek zdań. :D

Oczywiście zdania A i B to bezdyskusyjne implikacje - tu na pewno zgadzamy sie w 100%.

Drugim ciosem w twój rachunek zdań jest twoje twierdzenie, że uzasadnienie w implikacji-obietnicy musi być NIEZALEŻNE (przykład wyżej) co jest sprzeczne ze stanowiskiem np. Angelusa (ciekawe co na to Zbanowany lub Mikon :think: )

Jak dotychczas tego nie odwołałeś :D

To twoje i oczywiście moje "uzasadnienie NIEZALEŻNE" to mocny cios w Rachunek Zdań bo wyklucza idiotyzm-slogan KRZ "z fałszu może powstać wszystko"...... i to można z dziecinną łatwością udowodnić:

DOWÓD I
Wynika bezpośrednio z definicji implikacji-groźby (pierwszy post tematu):
p~>q = ~(~p*q) – nie może się zdarzyć, aby z fałszu powstała prawda

Z definicji implikacji-obietnicy wynika natomiast:
p=>q = ~(p*~q) – nie może się zdarzyć, aby z prawdy powstał fałsz

DOWÓD II
Zdanie przykładowe:
Jeśli zdasz egzamin dostaniesz komputer
p=>q
p=1 jeśli zdam egzamin
p=0 jeśli nie zdam egzaminu
q=1 dostanę komputer

Nadzieja z uzasadnieniem NIEZALEŻNYM:

Jeśli nawet nie zdam egzaminu (~p) dostanę komputer (q) bo (dowolne uzasadnienie NIEZALEŻNE - inne niż ~p czyli ~(~p))

czyli w uzasadnieniu NIEZALEŻNYM warunek dostania komputera:
~p OR ~(~p) =>q
~p OR ~(~p) = 1 =>q - poprzednik spełniony dzieki uzasadnieniu NIEZALEŻNEMU. Nadzieja umiera ostatnia - otrzymam komputer z INNEGO powodu X który uda mi sie spełnić. Zajdzie wtedy równoważność implikacyjna X. Nigdy nie otrzymam komputera z powodu tej linijki (to byłoby uzasadnienie ZALEŻNE !!!) bo z fałszu nigdy nie może powstać prawda !!!!

Nadzieja z uzasadnieniem ZALEŻNYM:

Jeśli nie zdam egzaminu (~p) dostane komputer (q) bo nie zdam egzaminu (~p)

Czyli w uzasadnieniu ZALEŻNYM warunek dostania komputera:
~p OR ~p => q
~p OR ~p = ~p czyli:
~p=0 (poprzednik nie spełniony) =>q - ojciec będzie kłamcą gdy mi wręczy komputer z powodu nie zdania egzaminu (w nagrodę za nie zdany egzamin).

P.S.
Zauważ Zbóju, że po przyjęciu tej Twojej (pierwszy to napisałeś :D ) i mojej poprawki do definicji implikacji (uzasadnienie musi być NIEZALEŻNE) sama definicja implikacji nie budzi juz absolutnie żadnych kontrowersji !!!!!!!!!!!! :D ... staje się prosta i zrozumiała dla każdego śmiertelnika.

Bez tej poprawki definicja implikacji to idiotyzm bo wtedy rzeczywiście z fałszu może powstać prawda w uzasadnieniu ZALEŻNYM :shock: ... tego żaden zdrowy mózg, nawet przedszkolaka, nie zaakceptuje !!!!!! ... z czymś takim to można wyłącznie do szpitala wariatów !

Jak napisał Angelus, każdy student na pierwszysch wykładach musi przejść obowiązkowe pranie mózgu i wyzbyć się fundamentów logiki ludzkiej, czyli przyjąć definicję implikacji w rozumieniu Rachunku Zdań tzn. dopuszczone jest także uzasadnienie ZALEŻNE :shock: (totalny idiotyzm) .... dopiero wtedy może studiować KRZ :D

Zobacz Zbóju jak zareagował Angeus na moja poprawkę do definicji implikacji "uzasadnienie musi byc NIEZALEŻNE"

Angelus Novus napisał:

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.


... to sie nazywa pranie mózgu czyli robienie z człowieka idioty (małpy) .... możemy tylko współczuć biednym studentom, zgadzasz się z tym ?
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: 22559
Przeczytał: 8 tematów

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

PostWysłany: Wto 2:22, 30 Sty 2007    Temat postu:

Nie wiem, Rafale, co ty znasz a co nie. Widze tylko, co piszesz.

I widze, ze nasze dotychczasowe ustalenia nie maja dla ciebie znaczenia. Ustalilismy juz, ze klasyczny rachunek zdan nie ma zadnych problemow w przypadkach, dla ktorych zostal skonstruowany. A ty znow swoje o "kompromitacji klasycznego rachunku zdan". Ile mozna, Rafale? Prosze o konsekwencje.

To raz. A wlasciwie dwa, bo dotyczy to calego twojego kolejnego elaboratu o Kubusiu. Znow bierzesz sie za krytykowanie czegos, co krytyce nie podlega; znow mylisz zastosowania teorii i usilujesz ja przeciagnac poza zakres jej waznosci, a nastepnie nakrzyczec na nia, ze jest glupia. Popraw sie, Rafale :nie:

Wracajac do intuicyjnosci (nie mylic z logika intuicjonistyczna) implikacji: "z falszu wynika cokolwiek" to po prostu definicja falszu. Scislej: falszywe jest zdanie, ktore moze posluzyc do udowodnienia prawdziwosci dowolnego innego zdania. Wnioskowanie to rozumowanie, ktore GWARANTUJE wyciagniecie prawdziwych wnioskow Z PRAWDZIWYCH PRZESLANEK. Czyli takie rozumowanie, ktore NIE GUBI prawdziwosci hipotezy. Jesli do takiego rozumowania wstawisz hipoteze falszywa, to warunek ten nie mowi ci nic o tym, jaka musi byc wartosc logiczna wniosku na wyjsciu. Czasami moze byc wiec to prawda, czasami falsz - NIE WIADOMO, znajomosc faktu uzyskania tego na drodze poprawnego rozumowania nie wystarczy do ustalenia, czym to bylo. I tak jest na codzien! Z faktu, ze na podstawie zeznan swiadka udalo sie sedziemu skazac rzeczywiscie tego, kto popelnil zarzucane mu przestepstwo, nie wynika w najmniejszym stopniu, ze swiadek nie klamal!
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Wto 18:55, 30 Sty 2007    Temat postu:

wujzboj napisał:

Z faktu, ze na podstawie zeznan swiadka udalo sie sedziemu skazac rzeczywiscie tego, kto popelnil zarzucane mu przestepstwo, nie wynika w najmniejszym stopniu, ze swiadek nie klamal!


Zbóju, z wystarczającej ilości prawdziwych przesłanek można skazać prawdziwego przestepcę, to oczywiste. Problem polega na tym że czasami przesłanki fałszywe (każdy może kłamać) można uznać za prawdziwe i skazać niewinnego człowieka i to już w przeszkolu np.

Wszystkie dzieci sa przekonane że Kubuś ukradł i zjadł słoik miodu z kuchni, gdy tymczasem prawda jest taka że to Zbój ukradł i zjadł słoik miodu czyli z prawdziwej przesłanki (Kubuś bardzo lubi miód) Kubuś jest przestepcą FAŁSZ - z prawdy powstał ci fałsz.

Zbóju, jak zwykle uciekasz i nie na temat.

Zadałem ci dwa pytania - zero odpowiedzi :nie:

Mam nadzieję, że jesteś w stanie logicznie myśleć abstrahując od Rachunek Zdań (bogiem to przeciez nie jest ), zapomnijmy o tym.

PYTANIE I.

Czy mam rozumieć iż zgadzasz się z Kubusiem że zdanie z Biblii:

A.
Kto wierzy w Chrystusa będzie zbawiony (implikacja-obietnica)
Nadzieja: Jeśli nawet nie wierzę w Chrystusa (nie spełniony poprzednik – warunek zbawienia) będę zbawiony (spełniony następnik) bo jestem Żydem - dowolne uzasadnienie niezależne.

jest na mocy prawa Kubusia
p=>q = ~p ~> ~q - prawo zamiany obietnicy na groźbę

równoważne zdaniu

B.
Kto nie wierzy w Chrystusa nie będzie zbawiony (implikacja-groźba)
Nadzieja: Jeśli nawet nie wierzę w Chrystusa (spełniony poprzednik) będę zbawiony (nie spełniony następnik - nadzieja na uniknięcie kary) bo jestem Żydem - dowolne uzasadnienie niezależne.

Chodzi Zbóju o to, czy Chrystus mówiąc zdanie A powidział automatycznie zdanie B.

Oczywiście zdania A i B to bezdyskusyjne implikacje - tu na pewno zgadzamy sie w 100%.

PYTANIE II

Sam stwierdziłeś że w implikacji-obietnicy uzasadnienie musi byc niezależne (przykład wyżej) co jest sprzeczne z definicją implikacji w Rachunku Zdań.
Jak dotychczas tego nie odwołałeś :D

Jaka jest zatem twoja definicja implikacji ?

Zgodna z Kubusiawą (uzasadnienie musi byc niezależne) czy zgodna z Rachunkiem Zdań.
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: 22559
Przeczytał: 8 tematów

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

PostWysłany: Śro 16:40, 31 Sty 2007    Temat postu:

rafal3006 napisał:
z wystarczającej ilości prawdziwych przesłanek można skazać prawdziwego przestepcę, to oczywiste. Problem polega na tym że czasami przesłanki fałszywe (każdy może kłamać) można uznać za prawdziwe i skazać niewinnego człowieka i to już w przeszkolu np.

Nie doczytales. Nie mowie o tym, czy mozna SLUSZNIE UKARAC, lecz o tym, ze z faktu slusznie wymierzonej kary nie wynika, ze swiadek nie klamal.

Rozumiesz? Kara jest SLUSZNIE wymierzona. Slusznie. Ukarales zlodzieja, a nie niewinnego. Ale swiadek powiedzial nieprawde.

Wnioskowanie to rozumowanie, ktore GWARANTUJE wyciagniecie prawdziwych wnioskow Z PRAWDZIWYCH PRZESLANEK. Czyli takie rozumowanie, ktore NIE GUBI prawdziwosci hipotezy. Jesli do takiego rozumowania wstawisz hipoteze falszywa, to warunek ten nie mowi ci nic o tym, jaka musi byc wartosc logiczna wniosku na wyjsciu (GIGO, Rafale). Czasami moze byc wiec to prawda, czasami falsz - NIE WIADOMO, znajomosc faktu uzyskania tego wniosku na drodze poprawnego rozumowania nie wystarczy do ustalenia, czym to cos bylo. I tak jest na codzien!

Przypadek grozby NIE JEST PRZYKLADEM WNIOSKOWANIA.

Przypadek rownowaznosci tez nie jest przykladem wnioskowania. Rownowaznosc jest PODWOJNYM wnioskowaniem, wnioskowaniem w OBIE strony: z poprzednika wynika nastepnik, i z nastepnika wynika poprzednik.

Twoj przyklad ze sloikiem miodu jest przykladem na BLEDNE wnioskowanie, czyli na falszywa implikacje.

O reszcie trudno dyskutowac, bo podstawowe niezrozumienie pojawia sie juz na samym poczatku. GIGO: garbage in, garbage out. Skoro wychodzisz z falszywych przeslanek w tej dyskusji, to nie ma co zajmowac sie rozumowaniem. Bo doprowadzic moze ono do DOWOLNYCH wnioskow.
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 19:50, 31 Sty 2007    Temat postu:

wujzboj napisał:

Rozumiesz? Kara jest SLUSZNIE wymierzona. Slusznie. Ukarales zlodzieja, a nie niewinnego. Ale swiadek powiedzial nieprawde.
Wnioskowanie to rozumowanie, ktore GWARANTUJE wyciagniecie prawdziwych wnioskow Z PRAWDZIWYCH PRZESLANEK.

HeHe... skąd ta twoja pewność że słusznie wymierzona ? .... skąd twoja pewność że przesłanki które uznałeś za prawdziwe nie są w rzeczywistości fałszywe ? :shock:

Bogiem jesteś Zbóju ? :shock:

Nie słyszałes o ludziach niewinnie skazanych, nawet na śmierć ? - to nie na temat i skończmy z tym Zbóju :D
W detektywa to możemy sie pobawic w innym temacie jesli go założysz :D


Ostatnio zmieniony przez rafal3006 dnia Śro 21:23, 31 Sty 2007, 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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 19:59, 31 Sty 2007    Temat postu:

wujzboj napisał:

O reszcie trudno dyskutowac, bo podstawowe niezrozumienie pojawia sie juz na samym poczatku. GIGO: garbage in, garbage out. Skoro wychodzisz z falszywych przeslanek w tej dyskusji, to nie ma co zajmowac sie rozumowaniem. Bo doprowadzic moze ono do DOWOLNYCH wnioskow.


Zbóju nie rozśmieszaj mnie :D

Czyżbyś za garbage in uważał swoje własne stwierdzenie, że uzasadnienie w definicji implikacji-obietnicy musi być niezależne ? ... cytowałem ci to tyle razy że na pewno znasz na pamięć.

Napisz co w tych dwóch poniższych pytaniach jest dla ciebie niezrozumiałe ? ... to ci wyjaśnię.

Jak nie podobają ci się prawa Kubusia to napisz że są fałszywe .... :D

rafal3006 napisał:

Zbóju, jak zwykle uciekasz i nie na temat.

Zadałem ci dwa pytania - zero odpowiedzi :nie:

Mam nadzieję, że jesteś w stanie logicznie myśleć abstrahując od Rachunek Zdań (bogiem to przeciez nie jest ), zapomnijmy o tym.

PYTANIE I.

Czy mam rozumieć iż zgadzasz się z Kubusiem że zdanie z Biblii:

A.
Kto wierzy w Chrystusa będzie zbawiony (implikacja-obietnica)
Nadzieja: Jeśli nawet nie wierzę w Chrystusa (nie spełniony poprzednik – warunek zbawienia) będę zbawiony (spełniony następnik) bo jestem Żydem - dowolne uzasadnienie niezależne.

jest na mocy prawa Kubusia
p=>q = ~p ~> ~q - prawo zamiany obietnicy na groźbę

równoważne zdaniu

B.
Kto nie wierzy w Chrystusa nie będzie zbawiony (implikacja-groźba)
Nadzieja: Jeśli nawet nie wierzę w Chrystusa (spełniony poprzednik) będę zbawiony (nie spełniony następnik - nadzieja na uniknięcie kary) bo jestem Żydem - dowolne uzasadnienie niezależne.

Chodzi Zbóju o to, czy Chrystus mówiąc zdanie A powidział automatycznie zdanie B.

Oczywiście zdania A i B to bezdyskusyjne implikacje - tu na pewno zgadzamy sie w 100%.

PYTANIE II

Sam stwierdziłeś że w implikacji-obietnicy uzasadnienie musi byc niezależne (przykład wyżej) co jest sprzeczne z definicją implikacji w Rachunku Zdań.
Jak dotychczas tego nie odwołałeś :D

Jaka jest zatem twoja definicja implikacji ?

Zgodna z Kubusiawą (uzasadnienie musi byc niezależne) czy zgodna z Rachunkiem Zdań.


Zbóju, Kubuś nie popuści - proszę o odpowiedź na powyższe pytania :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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Czw 22:15, 01 Lut 2007    Temat postu:

Porażka Wuja Zbója

Istotą komunikacji człowieka z człowiekiem jest genialna implikacja - tylko idioci posługują się równoważnością. We wszystkich podręcznikach definicja implikacji omawiana jest na przykładzie konkretnych zdań. Implikacja budzi najwiecej kontrowersji wyłącznie dlatego, że logicy jej nie rozumieją siejąc takie idiotyzmy jak "z fałszu może powstać prawda". Chora jest także definicja implikacji w rozumieniu materialnym (KRZ) gdzie dopuszczone jest uzasadnienie zależne - tylko i wyłącznie wtedy z fałszu może powstać prawda, cała logika człowieka leży w gruzach.

Założenie:

Rozumiem, że Klasyczny Rachunek Zdań jak sama nazwa wskazuje rości sobie prawo do związku z językiem mówionym człowieka. Jeśli tak jest to brak w nim podstawowego narzędzia, definicji implikacji-groźby i praw Kubusia ... bez zaakceptowania tego epokowego odkrycia KRZ świetnie nadaje się do opisywania języka małpy bowiem wymyka się analizie około 50% zdań wypowiedzianych przez człowieka – wszystkie groźby !

Definicje:
~> - symbol definicji implikacji-groźby
=> - symbol definicji implikacji-obietnicy

Formalne definicje implikacji-obietnicy i implikacji-groźby są w pierwszym poście tego tematu.


I Pomyłka Wuja Zbója

Zbój twierdzi, że odkryta przez Kubusia definicja implikacji-groźby oraz prawa Kubusia wiążące groźbę z obietnicą są absolutnie zbędne bo ze wszystkim da sobie radę jedynie słuszna ideologicznie, jedynie prawdziwa, komunistyczna definicja implikacji-obietnicy.

To bzdura Zbóju czego dowód będziesz miał w dalszej części.

Skoro Zbój twierdzi, że definicja implikacji-groźby (~>) jest zbędna, zapomnijmy o niej i o prawach Kubusia, nie ma tego !!! .... i zobaczmy jakie idiotyzmy wynikną z tego faktu.

Niech zatem w punkcie II zgodnie z życzeniem Zbója będzie:

p~>q = p=>q


II Pomyłka Wuja Zbója

Klasyczny Rachunek Zdań nie rozróżnia przeszłości od przyszłości.

Dowód:
Definicja implikacji rozróżnia przeszłość od przyszłości.

Każde zdanie wypowiedziane przez człowieka i analizowane traktujemy jako punkt odniesienia czyli p=>q np.

Zdanie wypowiedziane:

Jeśli będziesz drażnił Zdzicha to od niego oberwiesz
p=>q
p=1 Jeśli będziesz drażnił Zdzicha
q=1 to od niego oberwiesz

Powyższe zdanie to groźba podlegająca pod definicję implikacji-groźby, nigdy pod definicję implikacji-obietnicy.

Zdanie odwrotne do powyższego będzie oczywiście brzmiało q=>p czyli:

Jeśli oberwałeś od Zdzicha to go drażniłeś
q=>p
q=1 Jeśli oberwałeś od Zdzicha
p=1 to go drażniłeś

Widzisz jak na dłoni Zbóju, że definicja implikacji rozróżnia przeszłość od przyszłości.

Zapamiętaj:
p=>q – to jest przyszłość, strzałka w prawo
p<=q – to jest przeszłość, strzałka w lewo

Jeśli KRZ tego nie rozróżnia to jest idiotyzmem, bo obala swój własny fundament czyli definicję implikacji-obietnicy.

Zbój w tym poście:

Wykład o bezdyskusyjnej wyższości nowej definicji implikacji nad starą definicją !

analizuje powyższe zdanie q=>p bo to akurat mu pasuje pod jedynie słuszną, komunistyczną definicję implikacji-obietnicy ... analiza jest pozornie poprawna.

Zbóju, twoja analiza to kompromitacja bo analizujesz zupełnie inne zdanie niż zdanie wyjściowe !

Nigdy nie będzie:

p=>q = q=>p


a dowód formalny masz tu:

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

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

Czy widzisz już Zbóju jak na dłoni że twoje równanie:

p=>q = q=>p

to idiotyzm ?

Nie możesz analizować zdania odwrotnego (q=>p) jako równoważnego do wypowiedzianego (p=>q – punkt odniesienia) bo te zdania nie są równoważne, zarówno formalnie jak i intuicyjnie !

Zdanie q=>p to przeszłość, gdzie już wszystko jest wiadome i implikacja (przyszłość) nie ma tu racji bytu. W implikacji p=>q masz 3w1 tzn. wypowiedziane zdanie może okazać się w przyszłości równoważnością implikacyjną albo implikacją (obietnicą lub groźbą). W zdaniu q=>p wybór został dokonany, to przeszłość, to historia która może być tylko jedna .... to gdybanie co by było gdyby Hitler zginął w I Wojnie Światowej, kompletny bezsens.


III Pomyłka Wuja Zbója

Przywróćmy do łask obie definicje implikacji-obietnicy i implikacji-groźby.
Zdanie analizowane w punkcie II to oczywiście groźba (~>) podlegająca wyłącznie pod definicję implikacji-groźby różną formalnie od definicji implikacji-obietnicy. Dlatego w punkcie II należy wymienić w odpowiednich miejscach symbol obietnicy => na symbol groźby ~> aby od strony formalnej wszystko się zgadzało.

Genialne prawa Kubusia:

p=>q = ~p ~> ~q – prawo zamiany obietnicy na groźbę
p~>q = ~p => ~q – prawo zamiany groźby na obietnicę

Przykład:

Jeśli będziesz drażnił Zdzicha to od niego oberwiesz (p~>q implikacja-groźba)
Jeśli nie będziesz drażnił Zdzicha to od niego nie oberwiesz (p=>q implikacja-obietnica)

Na mocy praw Kubusia powyższe zdania są równoważne czego dowód także w postaci analizy jest tu:

Wykład o bezdyskusyjnej wyższości nowej definicji implikacji nad starą definicją !

Zbój sprytnie zauważył, że zero-jedynkowe tabelki:

p~>q = p<=q

są identyczne.

Zapomniał jednak o najistotniejszej rzeczy – zdanie p<=q nie ma nic wspólnego ze zdaniem wyjściowym p=>q czego dowód formalny i intuicyjny jest w punkcie II.

Zbóju, zdania:

Jeśli będziesz drażnił Zdzicha to od niego oberwiesz (p~>q implikacja-groźba)
Jeśli nie będziesz drażnił Zdzicha to od niego nie oberwiesz (p=>q implikacja-obietnica)

są na mocy praw Kubusia równoważne, oba zdania to przyszłość. Równoważność powyższych zdań potwierdzają nie tylko tabelki zero-jedynkowe ale także intuicja i formalna analiza tu:

Wykład o bezdyskusyjnej wyższości nowej definicji implikacji nad starą definicją !

Żadne z powyższych zdań nie będzie równoważne twojemu chciejstwu (q=>p) czyli zdaniu:

Jeśli oberwałeś od Zdzicha to go drażniłeś – dowód w punkcie II.


Ostatnio zmieniony przez rafal3006 dnia Nie 18:18, 11 Lut 2007, 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: 22559
Przeczytał: 8 tematów

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

PostWysłany: Śro 23:09, 07 Lut 2007    Temat postu:

rafal3006 napisał:
Implikacja budzi najwiecej kontrowersji wyłącznie dlatego, że logicy jej nie rozumieją siejąc takie idiotyzmy jak "z fałszu może powstać prawda" - coś takiego to może zaakceptować wyłącznie mózg idioty.

Rafale, przykro mi, ale w tym momencie przestaje czytac. Od pewnego czasu zachowujesz sie ordynarnie i czas polozyc temu kres. Jesli w tym, co napisales po tym, co zacytowalem, znajdujesz jakis sens, sprobuj napisac to w sposob wolny od obelg, spokojnie i rzeczowo. Wtedy bedziemy mogli porozmawiac dalej. TYLKO wtedy.
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Pią 21:31, 09 Lut 2007    Temat postu:

Zbóju to twój stały chwyt chyba we wszystkich tematach :D
Jeśli coś jest dla ciebie druzgocące to czepiasz się i rozwijasz rzecz absolutnie drugorzedną, atakuję nie ciebie ale idiotyczną logikę która orzeka iż "z fałszu wynika cokolwiek". :cry: ... i przynajmniej nie udawaj iz nie przeczytałeś całego postu :D

... zauważ, że Wikipedia mówi dokładnie to samo !!!!!!!!!!!!!!!!
W szczególności całkowicie nie do zaakceptowania dla intuicjonistów jest zasada logiki klasycznej, która orzeka, że "z fałszu wynika cokolwiek".
Weż się może obraź także na Wikipedię ..... :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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Pią 22:01, 09 Lut 2007    Temat postu:

Implikacja na miarę XXI wieku.

Implikacja na miarę XXI wieku to koniec życia w ciemnogrodzie komunizmu z jedynie słuszną ideologicznie implikacją-obietnicą.
To koniec idiotyzmów dzisiejszych logików iż Chrystus mówiąc:

1. Kto wierzy we mnie będzie zbawiony - implikacja-obietnica
Istota implikacji-obietnicy, wyjaśnienie po fakcie:
Nie wierzyłeś we mnie (poprzednik niespełniony), idziesz do nieba (obietnica spełniona) bo jesteś Żydem (dowolne uzasadnienie niezależne)

nie powiedział automatycznie

2. Kto nie wierzy we mnie będzie potępiony - implikacja-groźba
Istota implikacji-groźby, wyjaśnienie po fakcie:
Nie wierzyłeś we mnie (poprzednik spełniony), idziesz do nieba (groźba niespełniona) bo jesteś Żydem (dowolne uzasadnienie niezależne)

Skrajne uzasadnienia niezależne: bo tak czy owak wszyscy idziecie do nieba, bo piekło byłoby porażką Boga (Wujzbój).

Zdania 1 i 2 są absolutnie równoważne. Jeśli pierwsze potraktujemy jako równoważność (implikacja na to pozwala !!! ), to drugie automatycznie też będzie równoważnością ... tyle że z takiej interpretacji wyjdzie idiotyzm, bowiem wówczas wyłącznie jakaś wąska grupka ludzkości do nieba, reszta do piekła.

Jedyna możliwa i sensowna interpretacja słów Chrystusa to implikacja-obietnica (zdanie 1) która na mocy prawa Kubusia

p=>q = ~p ~> ~q - prawo zamiany implikacji-obietnicy na implikację-groźbę

jest równoważna implikacji-groźbie (zdanie 2).

Cytat z Wikipedii:
Implikacja (inaczej wynikanie) to spójnik łączący dwa zdania P (poprzednik implikacji) i Q (następnik implikacji) mówiący, że "z P wynika Q" (P=>Q). Jest to najbardziej kontrowersyjny ze spójników logicznych.

Najwięcej kontrowersji wzbudza oczywiście implikacja zależna od człowieka, której logicy tego świata po prostu nie rozumieją.

Definicja:
1. Implikacja człowieka, to implikacja zależna od człowieka w której wypowiadającemu implikację można zarzucić kłamstwo albo stwierdzić jego prawdomówność. W implikacji człowieka poprzednik z następnikiem musi być powiązany obietnicą albo groźbą.

Na mocy powyższej definicji nie są implikacją człowieka zdania typu:

2. Implikacja matematyczna:
Jeśli figura ma cztery boki i kąty proste to jest kwadratem
- nudna matematyka, to twierdzenie, zero kontrowersji ... oczywiście do obalenia.

3. Implikacja niezależna od człowieka:
Jeśli jutro będzie świecić słońce to nie będzie padał deszcz
- implikacja niezależna od człowieka, zero kontrowersji - nie można powiedzieć, że słońce skłamało.

4. Implikacja idiotów:
Jeśli księżyc jest z sera to pies ma cztery łapy
- totalny idiotyzm, zero związku między poprzednikiem a następnikiem, zdanie prawdziwe w Rachunku Zdań

Na podstawie powyższego możemy wyróżnić cztery rodzaje implikacji jak wyżej, czyli zdania połączone spójnikiem "Jeśli...to..". Kubuś twierdzi intuicyjnie, że to wszystkie możliwe przypadki.


Można wyróżnić cztery rodzaje implikacji człowieka I, II, III, IV :

I.
Jeśli zdasz egzamin dostaniesz komputer
- implikacja-obietnica między ludźmi

Implikacja to przyszłość, po egzaminie możliwe są cztery przypadki:
1.
Zdałem egzamin, dostałem komputer - ojciec dotrzymał obietnicy, nie skłamał
2.
Nie zdałem egzaminu, nie dostałem komputera - ojciec nie jest kłamcą
3.
Zdałem egzamin, nie dostałem komputera - ojciec jest kłamcą
4.
Istota implikacji-obietnicy:
Nie zdałem egzaminu (poprzednik niespełniony) dostałem komputer (spełnienie obietnicy) bo miałem urodziny (dowolne uzasadnienie niezależne) - ojciec nie skłamał, komputer był prezentem na urodziny.
Inne przykładowe uzasadnienia niezależne: dostajesz komputer bo widziałem że bardzo się starałeś ale miałeś pecha, bo cię kocham, bo tak czy owak zamierzałem ci go kupić ....

ale !!!!!
Nie zdałem egzaminu (poprzednik niespełniony) dostałem komputer (spełnienie obietnicy) bo nie zdałem egzaminu (w nagrodę za nie zdany egzamin - uzasadnienie zależne) - ojciec skłamał.

Definicje:
Uzasadnienie niezależne - dowolne uzasadnienie różne od poprzednika, ojciec nie jest kłamcą.
Uzasadnienie zależne - uzasadnienie identyczne z poprzednikiem tzn. jeśli ojciec podarował mi komputer w nagrodę za nie zdany egzamin to jest kłamcą.


II.
Jeśli ubrudzisz spodnie dostaniesz lanie
- implikacja-groźba między ludźmi
Istota implikacji-groźby, wyjaśnienie po fakcie:
Ubrudziłem spodnie (poprzednik spełniony) nie dostałem lania (groźba niespełniona) bo mama mnie kocha (dowolne uzasadnienie niezależne)


III.
Jeśli wygram w toto-lotka to kupię sobie samochód
- implikacja-obietnica wypowiedziana samemu sobie
Istota implikacji-obietnicy, wyjaśnienie po fakcie:
Nie wygrałem w toto-lotka (poprzednik niespełniony), kupiłem sobie samochód na raty (spełniona obietnica), bo straciłem cierpliwość (dowolne uzasadnienie niezależne)


IV.
Jeśli dziewczyna mnie rzuci to się powieszę
- implikacja-grożba wypowiedziana samemu sobie.
Istota implikacji-groźby, wyjaśnienie po fakcie:
Dziewczyna rzuciła mnie (poprzednik spełniony), nie powiesiłem się (nie wykonałem groźby), bo życie jest piękne (dowolne uzasadnienie niezależne)

UWAGA:
Z implikacji wypowiedzianej samemu sobie można się zwolnić w całości, czyli uznać wypowiedzianą wobec siebie implikację za niebyłą - nie można zostać kłamcą wobec siebie samego.

W całym temacie Kubuś dla uproszczenia zapisu będzie używał słowa implikacja mając na myśli implikację człowieka bo ... mózg to nie komputer, nie cierpi nadmiernej precyzyjności.


Ostatnio zmieniony przez rafal3006 dnia Sob 13:01, 10 Lut 2007, 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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Pią 22:53, 09 Lut 2007    Temat postu:

Kim jest Kubuś - pożegnanie

Kubuś jest absolwentem Wydzialu Elektroniki Politechniki Warszawskiej. Chyba na drugim roku był przedmiot "teoria układów logicznych", to algebra Boole'a w czystej postaci czyli złożone automaty cyfrowe realizowane w technice bramek logicznych. Kubuś zawsze był z tego najlepszy, to prosta i piękna logika gdzie w sposób absolutnie naturalny (jak się mówi tak się pisze) zapisuje się skomplikowane często rozumowanie człowieka w równania algebry Boole'a. Automat cyfrowy z tego powstały prawie nigdy nie jest optymalny, ale od tego są twierdzenia algebry Boole'a aby to później optymalizować (upraszczać). Poprawność rozumowania i optymalizacji w bezlitosny sposób była sprawdzana w "laboratorium układów logicznych", gdzie wszystko trzeba było zweryfikować w praktyce. Coś takiego przydałoby się studentom filozofii, w tym Wujowi Zbójowi który kilkakrotnie zaskakiwał Kubusia w sensie negatywnym stwierdzeniami iż nie rozumie Kubusiowej analizy implikacji.

Specjalnie dla Zbója pożegnalny, ekspresowy wykład.

Każdą implikację p=>q wypowiedzianą przez człowieka traktujemy jako świętość, jako punkt odniesienia. Nie wolno pominąć jakiegokolwiek przeczenia jeśli występuje ono w zdaniu wypowiedzianym, to elementarz logicznego myślenia w algebrze Boole'a (jak się mówi tak się pisze), tak pracuje mózg człowieka !

Jeśli zdanie wypowiedziane p=>q brzmi:

Kto nie wierzy we mnie będzie potępiony - implikacja-groźba

to tylko i wyłącznie możemy zapisać

p = kto nie wierzy we mnie
q = będzie potępiony

Nigdy nie wolno pisać idiotyzmów dla powyższego zdania w stylu:

p = wierzy
q = potępiony

bo wówczas zdanie p=>q będzie zupełnie inne:

Kto wierzy, będzie potępiony - idiotyzm !

Zauważmy poza tym że "potępiony = nie zbawiony" czyli zdanie p=>q może być wypowiedziane w równoważnej formie:

Kto nie wierzy we mnie nie będzie zbawiony - implikacja-groźba

teraz może być tylko i wyłącznie:

p = kto nie wierzy we mnie
q = nie będzie zbawiony

W tym przypadku w analizie zdania według definicji implikacji-groźby nie należy zastępować "q=nie bedzie zbawiony" równoważnym "q=będzie potępiony" bo zmienimy punkt odniesienia, w zdaniu wypowiedzianym nie było słowa "potępiony" .

Dalej wszystko jest banalnie proste, oczywiście pod warunkiem zaakceptowania na równych prawach definicji implikacji-obietnicy i definicji implikacji-groźby.

Prawo Kubusia:

p~>q = ~p => ~q - prawo zamiany implikacji-groźby na implikację-obietnicę

pozwala w trywialny sposób zamienić każdą groźbę na obietnicę i analizować ją przy pomocy definicji implikacji-obietnicy. To wspaniałe lekarstwo dla podobnych Zbójowi którzy nigdy nie przełkną definicji implikacji-groźby .... tyle tylko, że korzystanie z praw Kubusia oznacza de facto akceptację definicji implikacji-groźby.

Nie masz więc Zbóju wyjścia, albo zaakceptujesz definicję implikacji-groźby, albo nigdy nie przeanalizujesz poprawnie dowolnej groźby, choćby swojego własnego przykładu na którym totalnie się rozłożyłeś "Jeśli będziesz drażnił Zdzicha to od niego oberwiesz", dowód jest tu:

http://www.sfinia.fora.pl/viewtopic.php?p=30873#30873

Na SFINI najbardziej podoba się Kubusiowi regulamin w myśl którego zwycięża ten kto napisze ostatni post, dzięki czemu Zbój sam siebie zmusza do walki do krwi ostatniej, co widać po tematach.

Epokowe odkrycie w tym temacie (podpis) powstało dzięki upartemu Zbójowi i Mikiemu który pierwszy przyznał Kubusiowi rację, że jest problem z definicją implikacji której ambicją jest związek z językiem mówionym człowieka co widać w każdym podręczniku, gdzie jest ona omawiana na przykładzie języka mówionego. Zbój jest chyba schizofrenikiem bo choć sam twierdzi słusznie że uzasadnienie w definicji implikacji musi być niezależne (zob. post wyżej) to nie zauważa, iż jest to sprzeczne ze znaną ludziom definicją implikacji gdzie takiego zastrzeżenia nie ma. Brak takiego zastrzeżenia w oficjalnej definicji to robienie z ludzi idiotów - studentowi logiki trzeba najpierw wyprać mózg, co bezdyskusyjnie potwierdził Angelus,

http://www.sfinia.fora.pl/viewtopic.php?p=14403#14403

aby mógł tą "logikę" czyli np. Klasyczny Rachunek Zdań studiować.

Wszystkim dziękuję i pozdrawiam.


Ostatnio zmieniony przez rafal3006 dnia Nie 12:14, 11 Lut 2007, 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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Sob 21:19, 10 Lut 2007    Temat postu:

Język mówiony człowieka wspaniale opisuje rozszerzona algebra Boole'a !

czyli algebra Boole'a rozszerzona o nie znaną jeszcze ludziom definicję implikacji-groźby i absolutnie rewelacyjne prawa Kubusia - Kubuś to odkrył ! :D

To najbardziej fantastyczne odkrycie tego tematu powstałe dzięki Zbójowi który rzucił kluczowym zdaniem.

Jak znajdziesz damę kier otrzymasz pół królestwa inaczej leci twoja głowa

Wydawać by się mogło, że zdanie wypowiedziane przez króla to równowazność bowiem król określił co będzie gdy damę kier znajdę (pół królestwa) i co będzie gdy damy kier nie znajdę (leci moja głowa) czyli: jeśli żyję to oznacza że znalazłem damę kier zaś jeśli mam sciętą głowę to nie znalazłem damy kier.

Swoim zdaniem Zbój poruszył bardzo ciekawy problem - jeden wspólny poprzednik, dwa różne następniki.

Czy aby na pewno zdanie wypowiedziane przez króla:

Jeśli znajdziesz damę kier dostaniesz pół królestwa inaczej zetnę ci głowę.

to równoważność ?

Weźmy analogiczny, ale dużo prostszy przypadek - jeden poprzednik, jeden następnik

Matka do syna:

A.
Jeśli ubrudzisz spodnie dostaniesz lanie - implikacja-groźba

Oczywistym jest, że matka nie musi mówić co będzie gdy nie pobrudzę spodni bo wie to każde dziecko w przedszkolu:

B.
Jeśli nie ubrudzisz spodni nie dostaniesz lania - implikacja-obietnica

Zdania A i B są równoważne na mocy prawa Kubusia:

p~>q = ~p => ~q - prawo zamiany implikacji-groźby na implikację-obietnicę

Matka pedantka, może wypowiedzieć takie równoważne zdanie:

C.
Jeśli ubrudzisz spodnie dostaniesz lanie inaczej nie dostaniesz lania.

Zauważmy, że matka określiła w zdaniu wypowiedzianym co będzie gdy syn ubrudzi spodnie (dostanie lanie) i co będzie gdy syn nie ubrudzi spodni (nie dostanie lania).

Oczywistym jest, że dalej jest to implikacja, to po prostu dwa niezależne i równoważne zdania A i B wypowiedziane w jednym zdaniu C.

Jak powyższe rozważania przełożyć na język matematyki ?

Niesamowicie prosto. Jak zaznaczyłem w poprzednim poście przełożenie języka mówionego na równania algebry Boole'a jest trywialne - jak mówimy tak piszemy !

Zdanie C to dwa zdania równoważne na mocy prawa Kubusia:

A.
Jeśli ubrudzisz spodnie dostaniesz lanie
- implikacja-groźba
#
B.
Jeśli nie ubrudzisz spodni nie dostaniesz lania
- implikacja-obietnica

Spójniki:
# = "inaczej" ang. ELSE
AND (i) = *
OR (LUB) = +
W algebrze Boole'a używa się identycznych symboli jak w algebrze dziesiętnej ... bo mózg człowieka to nie komputer - z definicji w algebrze Boole'a mogą występować wyłącznie cyfry 0 i 1 więc pomyłka jest wykluczona a zapis prosty.

Przyjmijmy za punkt odniesienia (zdanie wypowiedziane) zdanie A.
A.
Jeśli ubrudzisz spodnie dostaniesz lanie
- implikacja-groźba
p - spodnie ubrudzone
~p - spodnie nie ubrudzone
q - lanie
~q - nie lanie

Związek miedzy zdaniami A i B jest następujący:

(p~>q) # (~p => ~q) = p~>q

Przyjmijmy teraz za punkt odniesienia (zdanie wypowiedziane) zdanie B.
B.
Jeśli nie ubrudzisz spodni nie dostaniesz lania
- implikacja-obietnica
p - spodnie nie ubrudzone
~p - spodnie ubrudzone
q - nie dostaniesz lania
~q - dostaniesz lanie

Związek miedzy zdaniami A i B jest następujący:

(p=>q) # (~p ~> ~q) = p=>q

Poprawność powyższych równań łatwo sprawdzić wypełniając odpowiednie tabelki zero-jedynkowe.

Zauważmy, że:

(p=>q) # (~p ~> ~q) = p=>q bo: ~p~>~q = p=>q - prawo Kubusia
(p~>q) #(~p => ~q) = p~>q bo: ~p=>~q = p~>q - prawo Kubusia

formalny dowód matematyczny powyzszych twierdzeń


Wróćmy do króla.

Jeśli znajdziesz damę kier dostaniesz pół królestwa inaczej zetnę ci głowę.

Teoretycznie król określił w zdaniu wyjściowym co będzie gdy damę kier znajdę (pół królestwa) i co będzie gdy damy kier nie znajdę (zetnie mi głowę).

Zauważmy jednak że są to zdarzenia rozłączne !

Najpierw musi nastąpić rozstrzygnięcie gry w czasie której być może znajdę damę kier czyli zaistnieć implikacja-groźba i dopiero po tym fakcie wystąpi implikacja-obietnica.

Zdanie wypowiedziane przez króla to złożenie dwóch implikacji:

Jeśli nie znajdziesz damy kier zetnę ci głowę - implikacja-groźba
D=nie znajdziesz damy kier
G=zetnę ci głowę
#
Jeśli znajdziesz damę kier dostaniesz pół królestwa - implikacja-obietnica
D=znajdziesz damę kier
K=dostaniesz królestwo

Powyższe zdania na pewno nie są równoważne, bo mają różne następniki.

Zauważmy, że mamy problem. Zgodnie z zasadami zapisu w algebrze Boole'a (jak się mówi tak się pisze) litera D w pierwszym i drugim zdaniu oznacza co innego.

Jak pozbyć się problemu ?
Banalnie prosto !
Należy skorzystać z genialnych praw Kubusia i zamienić oba zdania na implikację-obietnicę albo implikację-groźbę. Wtedy wspólny poprzednik musi być identyczny.

Akceptacja praw Kubusia oznacza de facto akceptację definicji implikacji-groźby !!!

Sprawdźmy to:

I.
p~>q = ~p => ~q - prawo zamiany implikacji groźby na implikację-obietnicę.

Jeśli znajdziesz damę kier nie zetnę ci głowy - implikacja-obietnica
D=znajdziesz damę kier
G=nie zetnę ci głowę
#
Jeśli znajdziesz damę kier dostaniesz pół królestwa - implikacja-obietnica
# spójnik "inaczej" ang. ELSE
D=znajdziesz damę kier
K=dostaniesz królestwo

II.
p=>q = ~p ~> ~q - prawo zamiany implikacji obietnicy na implikację-groźbę

Jeśli nie znajdziesz damy kier zetnę ci głowę - implikacja-groźba
D=nie znajdziesz damy kier
G=zetnę ci głowę
#
Jeśli nie znajdziesz damy kier nie dostaniesz pół królestwa - implikacja-groźba
D=nie znajdziesz damę kier
K=nie dostaniesz królestwo

Zauważmy jak pięknie pozbylismy się problemu, teraz w obu przypadkach I i II litera D znaczy to samo !


ANALIZA I - Implikacja-obietnica

A. Jeśli znajdziesz damę kier nie zetnę ci głowy - implikacja-obietnica
D=>G znajdziesz damę, głowa nie scięta (cała), jak się mówi tak sie pisze !
D= znalazłem damę kier
~D - nie znalazłem damy kier
G= głowa cała = nie ścięta
~G - głowa ścieta
# - spójnik "inaczej" ang. else

#
B. Jeśli znajdziesz damę kier dostaniesz pół królestwa - implikacja-obietnica
D=>K - znajdziesz damę to królestwo, jak się mówi tak sie pisze !
D= znalazłem damę kier
~D - nie znalazłem damy kier
K = mam królestwo
~K - nie mam królestwa

Zapiszmy powyższe złożenie w postaci wyrażenia w algebrze Boole'a.

(D=>G) # (D=>K)

Znajdziesz damę to głowa cała AND znajdziesz damę to królestwo - jak sie mówi tak się pisze !

Oczywistym jest że najpierw musi wystąpić implikacja A a następnie implikacja B - analizujemy wyłącznie zdania w których król nie skłamał !

A.
Jeśli znajdziesz damę kier nie zetnę ci głowy
- implikacja-obietnica

Analiza:
1.
Znalazłem damę kier, król nie ściął mi głowy
2.
Nie znalazłem damy, król ściął mi głowę - koniec zadania 1
~D~>~G = nie znalazłem damy to nie mam głowy (głowa ścięta) - groźba wykonana, jak się mówi tak się pisze !
Równanie w algebrze Boole'a opisujące ten przypadek:
(D=>G) # (D=>K) = ~D~>~G = D=>G (prawo Kubusia) - król wykonał groźbę
łatwo sprawdzić, że jest ono prawdziwe wypełniając tabelki zero-jedynkowe.
UWAGA !
W każdej implikacji-obietnicy występuje ukryta groźba "0 0 1" !
3.
Istota implikacji-obietnicy - wyjaśnienie po fakcie:
Nie znalazłem damy kier (poprzednik nie spełniony) król nie ściął mi głowy (następnik spełniony - głowa cała) bo mnie bardzo polubił (dowolne uzasadnienie niezależne)

Do etapu nagrody B możemy przejść wyłącznie dzięki 1 albo 3.

B.
Jeśli znajdziesz damę kier dostaniesz pół królestwa
- implikacja-obietnica

Jeśli przeszliśmy do etapu B dzięki punktowi 1 to król nie ma wyjścia:

Znalazłeś damę kier, dostajesz pół królestwa - koniec zadania 2
D=>K - znalazłeś damę kier, dostajesz królestwo, jak się mówi tak się pisze !
Równanie algebry Boole'a opisujące ten przypadek:
(D=>G) # (D=>K) = D=>K
Łatwo sprawdzić, że równanie jest prawdziwe wypełniając tabelki zero-jedynkowe.

Jeśli do etapu B przeszliśmy dzięki punktowi 3 to król może zrobić co mu się podoba:

Nie znalazłeś damy kier, nie dostaniesz połowy królestwa - zgodnie z moją groźbą ukrytą w implikacji-obietnicy (0 0 1 ), ciesz się że darowałem ci życie - koniec zadania 3
~D~>~K - nie znalazłeś damy kier, nie dostajesz królestwa, groźba wykonana, jak się mówi tak sie pisze !
Równanie algebry Boole'a opisujące ten przypadek:
(D=>G) # (D=>K) = ~D~>~K = D=>K (prawo Kubusia) - król wykonał groźbę
Łatwo sprawdzić, że równanie jest prawdziwe wypełniając tabelki zero-jedynkowe.

albo:

Nie znalazłeś damy kier, dostajesz pół królestwa, bo cię polubiłem (dowolne uzasadnienie niezależne) - koniec zadania 4
~D=>K - nie znalazłeś damy kier, dostajesz królestwo, obietnica spełniona, jak się mówi tak sie pisze !
Równanie algebry Boole'a opisujące ten przypadek:
(D=>G) # (D=>K) = ~D=>K
Łatwo sprawdzić, że równanie jest FAŁSZYWE !!! wypełniając tabelki zero-jedynkowe ... ale to nie jest zapis matematyczny całego zdania ! To oczywiście implikacja i całe zdanie jest prawdziwe dzięki dowolnemu uzasadnieniu niezależnemu "U=bo cię polubiłem = 1 !!!!)

Kompletny zapis matematyczny całego zdania jest zatem następujący:
(D=>G) # (D=>K) + U = 1 - całe zdanie jest prawdziwe dzieki U=1 !!!

Jak widzimy zdanie analizowane jest bezdyskusyjną implikacją z czterema możliwymi rozwiazaniami w przyszłości. Jeśli nie znajdę damy kier to i tak mam 75% szans na nie stracenie głowy jeśli prawdopodobieństwo przyszłych zdarzeń będzie jednakowe.

W przyszłości możliwe są 4 przypadki:
1. Tracę głowę - równoważność
2. Mam królestwo i głowę - równowazność
2. Nie tracę głowy ale nie mam królestwa - implikacja pojedyńcza
3. Nie tracę głowy i mam królestwo - implikacja podwójna

Kubuś jest pewien, że przyszłość jak wyżej może przewidzieć i udowodnić to matematycznie uczeń pierwszej klasy LO !!!!


ANALIZA II - Implikacja-groźba

A. Jeśli nie znajdziesz damy kier zetnę ci głowę - implikacja-groźba
D ~> G - nie znajdziesz damy, głowa ścięta, jak sie mówi tak sie pisze !
D= nie znalazłem damy kier
~D - znalazłem damę kier
G - głowa ścięta
~G= głowa cała = nie ścięta
# - spójnik "inaczej" ang.else

#
B. Jeśli nie znajdziesz damy kier nie dostaniesz pół królestwa - implikacja-groźba
D~>K - nie znajdziesz damy kier, nie masz królestwa, jak się mówi tak się pisze !
D= nie znalazłem damy kier
~D - znalazłem damę kier
K = nie mam królestwa
~K - mam królestwa

Zapiszmy powyższe złożenie w postaci wyrażenia w algebrze Boole'a.

(D~>G) # (D~>K)

Nie znlazłem damy kier, głowa scięta inaczej nie znalazłem damę kier, nie mam królestwa - jak sie mówi tak się pisze !

Oczywistym jest że najpierw musi wystąpić implikacja A a następnie implikacja B - analizujemy wyłacznie zdania w których król nie skłamał !

A.
Jeśli nie znajdziesz damy kier zetnę ci głowę
- implikacja-groźba

Analiza:
1.
Znalazłem damę kier, król nie ściął mi głowy
2.
Nie znalazłem damy, król ściął mi głowę - koniec zadania 1
D~>G = nie znalazłem damy to nie mam głowy (głowa ścięta) - groźba wykonana, jak się mówi tak się pisze !
Równanie w algebrze Boole'a opisujące ten przypadek:
(D~>G) # (D~>K) = D~>G - król wykonał groźbę
łatwo sprawdzić, że jest ono prawdziwe wypełniając tabelki zero-jedynkowe.

3.
Istota implikacji-groźby - wyjaśnienie po fakcie:
Nie znalazłem damy kier (poprzednik spełniony) król nie ściął mi głowy (następnik niespełniony - głowa cała) bo mnie bardzo polubił (dowolne uzasadnienie niezależne)

Do etapu nagrody B możemy przejść wyłącznie dzięki 1 albo 3.

B.
Jeśli nie znajdziesz damy kier nie dostaniesz połowy królestwa
- implikacja-groźba

Jeśli przeszliśmy do etapu B dzięki punktowi 1 to król nie ma wyjścia:

Znalazłeś damę kier, dostajesz pół królestwa - koniec zadania 2
~D=>~K = D~>K (prawo Kubusia) - znalazłeś damę kier (~D), dostajesz królestwo (~K), jak się mówi tak się pisze !

Równanie algebry Boole'a opisujące ten przypadek:
(D~>G) # (D~>K) = ~D=>~K = D~>K (prawo Kubusia)
Łatwo sprawdzić, że równanie jest prawdziwe wypełniając tabelki zero-jedynkowe.

Jeśli do etapu B przeszliśmy dzięki punktowi 3 to król może zrobić co mu się podoba:

Nie znalazłeś damy kier, nie dostaniesz połowy królestwa - zgodnie z moją groźbą, ciesz się że darowałem ci życie - koniec zadania 3
D~>K - nie znalazłeś damy kier, nie dostajesz królestwa, groźba wykonana, jak się mówi tak sie pisze !
Równanie algebry Boole'a opisujące ten przypadek:
(D~>G) # (D~>K) = D~>K - król wykonał groźbę.
Łatwo sprawdzić, że równanie jest prawdziwe wypełniając tabelki zero-jedynkowe.

albo:

Nie znalazłeś damy kier (poprzednik spełniony), dostajesz pół królestwa (następnik niespełniony), bo cię polubiłem (dowolne uzasadnienie niezależne) - koniec zadania 4
D=>~K - nie znalazłeś damy kier (poprzednik spełniony), dostajesz królestwo (~K - obietnica spełniona=groźba nie wykonana), jak się mówi tak się pisze !
Równanie algebry Boole'a opisujące ten przypadek:
(D~>G) # (D~>K) = D=>~K = ~D ~>K (prawo Kubusia)
Łatwo sprawdzić, że równanie jest FAŁSZYWE !!! wypełniając tabelki zero-jedynkowe ... ale to nie jest zapis matematyczny całego zdania ! To oczywiście implikacja i całe zdanie jest prawdziwe dzięki dowolnemu uzasadnieniu niezależnemu "U=bo cię polubiłem = 1 !!!!)

Kompletny zapis matematyczny całego zdania jest zatem następujący:
(D~>G) # (D~>K) + U = 1 - całe zdanie jest prawdziwe dzięki U=1 !!!

Porównanie ANALIZY I (implikacja-obietnica) z ANALIZĄ II (implikacja-groźba)

=> - implikacja-obietnica
~> - implikacja-groźba
# - spójnik "inaczej" ang. ELSE

Zdanie analizowane:
(D=>G) # (D=>K)
(D~>G) # (D~>K)

A. Koniec zadania 1
(D=>G) # (D=>K) = ~D~>~G = D=>G (prawo Kubusia)
(D~>G) # (D~>K) = D~>G

B. Koniec zadania 2
(D=>G) # (D=>K) = D=>K
(D~>G) # (D~>K) = ~D=>~K = D~>K (prawo Kubusia)

C. Koniec zadania 3
(D=>G) # (D=>K) = ~D~>~K = D=>K (prawo Kubusia)
(D~>G) # (D~>K) = D~>K

D. Koniec zadania 4
(D=>G) # (D=>K) + U = 1
(D~>G) # (D~>K) + U = 1

Z porównania widać fantastyczną symetrię obu przypadków - tak musi być bo groźba i obietnica są absolutnie symetryczne, na przeciwnych biegunach.

Z powyższego widać, że zdanie króla:

Jeśli znajdziesz damę kier dostaniesz pół królestwa inaczej zetnę ci głowę.

to implikacja, która może skutkować czterema różnymi scenariuszami przyszłości 1-4.

Ciąg dalszy:
http://www.sfinia.fora.pl/viewtopic.php?p=32722#32722


Ostatnio zmieniony przez rafal3006 dnia Sob 12:15, 17 Lut 2007, w całości zmieniany 5 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: 22559
Przeczytał: 8 tematów

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

PostWysłany: Nie 17:56, 11 Lut 2007    Temat postu:

Rafale, jak rozumiem, nie jestes gotow usunac z poczatku twojego tekstu tego wspomnianego obrazliwego zwrotu, zebym mogl spokojnie przeczytac, co napisales? Nie ma sprawy, po prostu pomine ten tekst.

Zrob mi wiec zamiast tego przyjemnosc i napisz W PIECIU ZDANIACH, o co ci wlasciwie chodzi. Postaw problem i naszkicuj rozwiazanie. Na razie nie mam pojecia, co krytykujesz (chyba od miesiecy probuje to bezskutecznie ustalic) i wobec tego nie mam pojecia, w jaki sposob mam traktowac twoje tasiemcowe rozwazania. Prosze unikaj w tym streszczeniu takich wyrazen jak "genialne prawo" (gdy mowisz o czyms, co wymysliles) i "kompromitacja implikacji" (gdy mowisz o tym, co przeczytales u innych). Pozwol, zeby ocen dokonal czytelnik; ty ogranicz sie do faktow i do wypisania konkretnych konsekwencji twojej konstrukcji.

Nawiasem mowiac: wuj nie jest studentem (kim jest wuj, mozesz dowiedziec sie z jego strony internetowej), wuj nie krytykuje algebry Boola, wuj domaga sie od ciebie rzeczowego omawiania krok po kroku kolejnych aspektow zagadnienia, ktore chcesz analizowac, wuj nie zgadza sie na przechodzenie do nastepnego punktu zanim poprzedni jest calkowicie jasny, wuj nie czyta tasiemcow, jesli juz na poczatku widzi w nich problem lub jesli nie ma pojecia, czemu maja sluzyc.
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Nie 18:12, 11 Lut 2007    Temat postu:

Usunąłem - czy "porażka" też jest dla ciebie obraźliwa ?

... no dobra, zmieniam na pomyłkę.

To jest najwazniejszy post w całym tym temacie - epokowe odkrycie:

http://www.sfinia.fora.pl/viewtopic.php?p=31928#31928

Spróbuj go czytać i zacytuj czego nie rozumiesz, wtedy będę mógł to wyjaśnić szerzej ... na razie jak nie wiem co jest niejasne, to nie mam co wyjaśniać.
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: 22559
Przeczytał: 8 tematów

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

PostWysłany: Nie 19:51, 11 Lut 2007    Temat postu:

A mozesz jednym zdaniem powiedziec, na czym polega w twojej konstrukcji rozszerzenie ALGEBRY BOOLE'A? Na uzyciu symbolu ~> zamiast symbolu <=?
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Nie 20:21, 11 Lut 2007    Temat postu:

Absolutnie nie, zbóju !
Mój symbol groźby p~>q to definicja, to przyszłość a twoje p<=q to zdanie przekształcone (przeszłość !!!) ze zdania wypowiedzianego p=>q (przyszłość !!!).

Nigdy nie będzie p=>q = p<=q - dalsze wyjasnienia masz tu:

http://www.sfinia.fora.pl/viewtopic.php?p=32126#32126

P.S.
Problem w jednym zdaniu polega na tym że zdanie Chrystusa:

A.
Jeśli wierzysz we mnie bedziesz zbawiony

jest absolutnie równoważne zdaniu

B.
Jeśli nie wierzysz we mnie będziesz potępiony

Najwięksi logicy tego formu krzyczą, że Chrystusa wypowiadając A a nie powiedział automatycznie B !!!!

Tymczasem Kubuś i wszystkie przedszkolaki twierdzą że powiedział - to jest istota epokowego odkrycia Kubusia, jak ludzie to zauważą to Kubuś powinien dostać Nobla :D !!!!!!!!

... a co Zbój na to ????????????????

Czekam na odpowiedź :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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Sob 10:01, 17 Lut 2007    Temat postu:

7.0 Symboliczna analiza zdań złożonych

To jest pierwsza wersja głównego postu pierwszego tematu w tym linku:
http://www.sfinia.fora.pl/viewtopic.php?p=32722#32722

Zdanie analizowane:
Jeśli znajdziesz damę kier dostaniesz pół królestwa inaczej zetnę ci głowę

Zauważmy, że w tym poście mamy:
G – głowa cała (nie ścięta)
~G – głowa ścięta
czyli znaczenie odwrotne niż jest w zdaniu oryginalnym, nie ma to oczywiście żadnego wpływu na wynik końcowy ale jest złamaniem zasady „jak mówimy tak piszemy”.

"Błąd" został naprawiony - link wyżej.
Dokładnie ten sam "błąd" Kubuś popełnił w tym poście:
http://www.sfinia.fora.pl/viewtopic.php?p=31928#31928

Weźmy słynne zdanie Zbója:

Jeśli znajdziesz damę kier dostaniesz pół królestwa inaczej zetnę ci głowę

Oznaczmy:
D – dama kier
~D – nie dama kier
K – królestwo
~K – nie królestwo
G – głowa cała (nie ścięta)
~G – głowa ścięta

Zdanie główne jest obietnicą D=>K zaś zdanie równoległe ukryte to groźba ~D~>~G

Jak czytamy tak piszemy !!!

D=>K ELSE ~G

Powyższe zdanie złożone jest równe dwóm zdaniom:

Jeśli znajdziesz damę kier dostaniesz pół królestwa
D=>K – implikacja obietnica
#
Jeśli nie znajdziesz damy kier zetnę ci głowę
~D~>~G – implikacja groźba

# - spójnik "inaczej" ang. else

czyli:

(D=>K)#(~D~>~G) – zdanie wypowiedziane w oryginale !

Oczywistym jest, że musimy zacząć od szukania damy kier a dopiero później przejść do ścinania głowy.


ETAP 1

Jeśli znajdziesz damę kier dostaniesz pół królestwa
D=>K – implikacja obietnica

p=D, q=K

Jedziemy według symbolicznej definicji implikacji-obietnicy:

(D) (K) = 1 – zdanie wypowiedziane
~(D) ~(K) = 1
~(D) (K) = 1 – implikacja-obietnica
(D) ~(K) = 0

Tu komputer nie ma nic do roboty, po prostu usuwamy nawiasy:

Z1:
1. D K = 1 – zdanie wypowiedziane
2. ~D ~K = 1
3. ~D K = 1 – implikacja-obietnica
4. D ~K = 0

Odczytujemy analizę i zapisujemy odpowiednie wzory – jak czytamy tak piszemy !


1.
Jeśli znajdziesz damę kier dostaniesz królestwo = 1 – zdanie wypowiedziane (obietnica)
(D=>K)#(~D~>~G) = D=>K – równanie prawdziwe. Koniec zadania 1 = równoważność
2.
Jeśli nie znajdziesz damy kier nie dostaniesz królestwa = 1 (groźba)
(D=>K)#(~D~>~G) = ~D ~> ~K = D=>K (prawo Kubusia) – równanie prawdziwe, przejście do etapu 2
3.
Jeśli nie znajdziesz damy kier dostaniesz królestwo bo (dowolne uzasadnienie niezależne) = 1 implikacja-obietnica, przejście do etapu 3
(D=>K)#(~D~>~G) = ~D=K – równanie fałszywe ale
(D=>K)#(~D~>~G)+U=1 – zdanie prawdziwe z uwzględnieniem niezależnego uzasadnienia U=1
4.
Jeśli znajdziesz damę kier nie dostaniesz królestwa = 0
(D=>K)#(~D~>~G) = B=>~K – równanie fałszywe, król jest kłamcą !

Do etapu ścinania głowy możemy przejść wyłącznie dzięki punktom 2 i 3.

Rozpiszmy teraz na algebrę Boole’a drugie zdanie:

Jeśli nie znajdziesz damy kier zetnę ci głowę
~D~>~G – implikacja groźba

D=dama
G=głowa cała

Rozpisujemy zdanie według symbolicznej definicji implikacji-groźby.
p=~D, q=~G

(~D) (~G) = 1 – zdanie wypowiedziane
~(~D) ~(~G) = 1
~(~D) (~G) = 0
(~D) ~(~G) = 1 – implikacja-groźba

Usuwamy nawiasy przy pomocy komputera:

Z2:
1. ~D ~G = 1 – zdanie wypowiedziane
2. D G = 1
3. D ~G = 0
4. ~D G = 1 – implikacja groźba


ETAP 2

Rozpisujemy analizę według Z2:

Wejście gdy dama kier nie znaleziona w ETAPIE I !!!!

1.
Jeśli nie znajdziesz damy kier zetnę ci głowę = 1 (groźba)
(D=>K)#(~D~>~G) = ~D~>~G równanie prawdziwe, król ma prawo ściąć głowę, Koniec zadania 2 = równoważność

2.
Jeśli znajdziesz damę kier nie zetnę ci głowy (głowa cała) = 1 obietnica, spełniona już w ETAPIE 1
(D=>K)#(~D~>~G) = D=>G = (~D ~> ~G) (prawo Kubusia) zdanie prawdziwe

3.
Jeśli znajdziesz damę kier zetnę ci głowę (głowa nie cała) = 0 (groźba)
(D=>K)#(~D~>~G) = D ~> ~G równanie fałszywe, król skłamał

4.
Jeśli nie znajdziesz damy kier nie zetnę ci głowy bo (dowolne uzasadnienie niezależne = 1) implikacja
(D=>K)#(~D~>~G) = ~D=>G zdanie fałszywe ale:
(D=>K)#(~D~>~G) + U = 1 bo dowolne uzasadnienie niezależne U=1, Koniec zadania 3 – pojedyńcza implikacja

ETAP 3

Wejście z powodu implikacji w ETAPIE I.

Dama kier nie znaleziona.

Rozpisujemy analizę według Z2:

Z2:
1. ~D ~G = 1 – zdanie wypowiedziane
2. D G = 1
3. D ~G = 0
4. ~D G = 1 – implikacja groźba

1.
Jeśli nie znajdziesz damy kier zetnę ci głowę = 1 (groźba)
(D=>K)#(~D~>~G) = ~D~>~G równanie prawdziwe, król ma prawo ściąć głowę, wykonano na etapie 2

2.
Jeśli znajdziesz damę kier nie zetnę ci głowy (głowa cała) = 1 obietnica, spełniona już w ETAPIE 1
(D=>K)#(~D~>~G) = D=>G = (~D ~> ~G) (prawo Kubusia) zdanie prawdziwe

3.
Jeśli znajdziesz damę kier zetnę ci głowę (głowa nie cała) = 0 (groźba)
(D=>K)#(~D~>~G) = D ~> ~G równanie fałszywe, król skłamał

4.
Jeśli nie znajdziesz damy kier nie zetnę ci głowy bo (dowolne uzasadnienie niezależne = 1) implikacja
(D=>K)#(~D~>~G) = ~D=>G zdanie fałszywe ale:
(D=>K)#(~D~>~G) + U = 1 bo dowolne uzasadnienie niezależne U=1, Koniec zadania 4 = podwójna implikacja

Przyszłość może skutkować następującymi scenariuszami:

1. Dama znaleziona, mam królestwo = równoważność
2. Dama nie znaleziona, głowa ścięta = równoważność
3. Dama nie znaleziona, głowa cała ale bez królestwa = implikacja pojedyńcza
4. Dama nie znaleziona, głowa cała i królestwo = implikacja podwójna
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 EET (Europa)
Idź do strony Poprzedni  1, 2, 3
Strona 3 z 3

 
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