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 

Definicja implikacji według Rafała3006 p. Wieczorka
Idź do strony Poprzedni  1, 2, 3 ... 15, 16, 17 ... 20, 21, 22  Następny
 
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 8:18, 16 Gru 2006    Temat postu:

Zbanowany czemu się obraziłeś i uciekłeś, przykład za trudny ? :D

OK przepraszam, to było kłamstwo, w rzeczywistości to Kubuś dostał w mordę

Zmieniam zatem przykład na prawdziwy

Zbanowany Uczy napisał:

Proponuję zdanie bardziej podniecające:

Kto się wychyli, temu w mordę.

Czy wynika z tego, że dostanie w mordę świadczy o tym, że ten ktoś się wychylił?


Nie świadczy, ale problem definicji implikacji polega na tym że jeśli Kubuś dostał w mordę tylko i wyłącznie za to że się nie wychylił (uzasadnienie zależne) to oprawca skłamał :D

Zdanie wypowiedziane:

Kto sie wychyli temu w mordę.
___PRAWDA______PRAWDA______=PRAWDA

I kluczowa linijka definicji implikacji PO zaistniałym fakcie.

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę, bo się nie wychylił (uzasadnienie zalezne zgodne w 100% z zaistniałym faktem)
____FAŁSZ__________________________PRAWDA____________________=FAŁSZ

natomiast w przypadku absolutnie dowolnego uzasadnienia niezaleznego będzie:

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę bo (dowolne uzasadnienie niezalezne)
_______FAŁSZ__________________________PRAWDA_________=PRAWDA

dowolne uzasadnienie niezalezne to dostał w mordę bo:

ubrał sie na czarno, krzywo na mnie spojrzał, odezwał sie bez potrzeby ... i nieskończenie wiele innych uzasadnień NIEZALEŻNYCH


Podpowiedź:

W implikacji mozliwe jest uzasadnienie zależne albo niezależne tylko i wyłącznie w linijce definicji jak wyżej, w pozostałych linijkach definicji obowiązuje uzasadnienie ZALEŻNE !

I Uzasadnienie zależne

Zaistniały fakt OR uzasadnienie zgodne w 100% z zaistniałym faktem (zależne) = 0 !!!!!

bo

zaistniały fakt = 0 oraz uzasadnienie zależne identyczne z zaistniałym faktem = 0

II Uzasadnienie niezależne

Zaistniały fakt OR dowolne uzasadnienie niezależne = 1 !!!

bo

zaistniały fakt = 0 oraz dowolne uzasadnienie niezależne = 1

Wniosek końcowy:
W przypadku uzasadnienia zależnego implikacja staje się równoważnością i obowiązuje wówczas definicja równoważności.

P.S.
Zbój odpowiedział na powyższy problem wprowadzając zakaz uzasadnienia zależnego - OK.
Miki przyznał, ze w tym przypadku oprawca skłamał - OK.

Czekamy na Zbanowanego !!!!

Pytanie do Zbanowanego.

Czy w przypadku uzasadnienia zależnego jak wyżej oprawca jest kłamcą czy nie jest ?

Proszę o konkretną odpowiedź: TAK lub NIE
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 15:01, 16 Gru 2006    Temat postu:

Zbanowany w prywatnym poście do Kubusia napisał że nie może teraz odpowiedzieć na powyzsze pytanie ..... bo ma ważną książkę do napisania :D

wujzboj napisał:

regulamin Sfini mowi, ze jesli ktos temat porzucil, to nie ma prawa zachowywac sie tak, jakby swoje stanowisko w nim obronil.

To jest powazne forum dyskusyjne, anbo.


Zatem na mocy regulaminu Kubuś uznaje Zbanowanego za pokonanego i przystępuje do ataku na ostatnią, wzorkową twierdzę WujaZbója w której Wuj się okopał i zdaje mu sie że jest bezpieczny :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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 15:46, 16 Gru 2006    Temat postu:

wujzboj napisał:

To powtorze samo tlumaczenie implikacji na jezyk potoczny, tym razem bez zadnego uzasadniania, po prostu po to, zebys sobie uświadomił, jak to tłumaczenie wygląda; zatrzymam tylko jednozdaniowe wyjaśnienie intrygującego cie wiersza w tabelce zerojedynkowej:

    ________________________________________________________

    Implikację p=>q należy tłumaczyć na język potoczny na podstawie wzoru ~(p∧~q), czyli jako GWARANCJE zajścia q pod warunkiem zajścia p. Skoro wiec jeśli zajdzie p, to zajdzie q stanowi gwarancje zajścia q pod warunkiem, ze zajdzie p, to wobec tego niepokojący cie przypadek (prawdziwość implikacji gdy zachodzi q wraz z ~p) jest bezproblemowy: w takiej sytuacji prawdziwość gwarancji nie jest przecież zaprzeczona i wobec tego gwarancje uznajemy za prawdziwą (jeszcze raz: bo nie została ona złamana przez takie zestawienie wydarzeń).
    ________________________________________________________

Napisałem to "w ramkach", żeby moc to potem łatwo odnaleźć. Bo w poludnie wyjezdzam, wiec byc moze gdy zajrze tu znow, to bedzie juz to pare stron do tylu :D

:shock: ;P ;P ;P ;P ;P
wujzboj napisał:

To powtorze samo tlumaczenie implikacji na jezyk potoczny ...

Zbóju, twoje tłumaczenie na jezyk potoczny wszyscy znaja na pamięć:

r <=> ~(p*~q)

Nie może się zdarzyć, że zdasz egzamin i nie dostaniesz komputera

Zbudowałeś sobie wzorkową twierdzę "nie do obalenia" tłumaczącą wszelkie wątpliwości w definicji implikacji i w ostatnich postach do znudzenia to powtarzasz :D

Niestety, twoja twierdza za chwilę legnie w gruzach .....


Implikacja odwrotna

Atak na ostatnią, wzorkowa twierdzę Wuja Zbója

Zupełnie inaczej brzmi idiotyczne zdanie:

Z fałszu może powstac prawda - idiotyzm z rachunku zdań

niż zdania prawdziwe:

I.
W punkcie odniesienia człowieka z fałszu może powstać prawda wyłącznie dlatego, że człowiek czasami nie ma dostępu do niezbędnych informacji aby okreslić prawdziwość zdarzenia. Przykładowo, jesli detektyw nie dysponuje wystarczającą ilością prawdziwych przesłanek do złapania przestępcy to nigdy go nie złapie. Jeśli wszystkie przesłanki są fałszywe to detektyw może co najwyżej stwierdzic FAŁSZ - nigdy nie powstanie z tego PRAWDA. W najgorszym przypadku, jesli detektyw uzna przesłanki fałszywa za prawdziwe to może złapać a sąd skazać nawet na śmierć niewinnego człowieka czyli z PRAWDY powstaje FAŁSZ !!!!

Zdanie z rachunku zdań "z fałszu może powstać prawda" to idiotyzm. Idąc takim rozumowaniem można łatwo wykazać, że równie często z prawdy może powstać fałsz i to juz w przedszkolu np. wszystkie dzieci z przedszkola są przekonane że Kubuś ukradł i zjadł słoik miodu z kuchni, a tymczasem prawda jest taka że to Wujzbój ukradł i zjadł słoik miodu. Czyli z fałszywej przesłanki "Kubus bardzo lubi miód" niewinny Kubuś (PRAWDA) jest przestępcą (FAŁSZ) :D

Wykluczone jest zatem aby z FAŁSZU powstała PRAWDA czyli po Zbójowemu:

"Nie może sie zdarzyć że nie zdasz egzaminu i komputer dostaniesz"

Wzorek z takiego stwierdzenia jest oczywisty

r<=> ~(~p*q)

no i z tego wzorku wygenerujmy sobie tabelkę implikacji odwrotnej :D

p q r
0 0 1
0 1 0
1 0 1
1 1 1

Na tym własnie polega błąd Wuja Zbój, że nie myśli tylko wymachuje zerami i jedynkami :D

Skad się cóś takiego bierze ?

Wujowy wzorek opisuje wyłacznie przypadek FAŁSZU, czyli na podstawie powyższej tabelki:

~r = ~p*q

Ten wzorek definiuje tylko i wyłacznie jedną linijkę z tabeli implikacji i nie mówi nic o pozostałych. Skąd zatem u zbója wzieły się jedynki w pozostałych linijkach implikacji ?

Wuj zanegował sobie obie strony powyzszej równości (wolno mu) i otrzymał wzorek końcowy:

r<=> ~(~p*q)

Aby uznać implikację za sensowną trzeba uzasadnić sensownie wystepowanie jedynek w pozostałych linijkach implikacji, bo wujowy wzorek nic o nich nie mówi !

PRAWDA powstała w nim porzez zanegowanie FAŁSZU na podstawie algebry Boole'a.

PRAWDA = NIE FAŁSZ czyli:
1 = ~0

Zbóju, implikację w wersji Boskiej (czyli nie do obalenia) znał juz człowiek z epoki kamienia łupanego, to naturalna logika człowieka powstała razem z człowiekiem.

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


P.S.
Jako prace domową, proponuje Zbójowi zdefiniować wzorkiem w powyższej tabeli implikacji odwrotnej pozostałe dwie możliwośći czyli ZERO wyłacznie w pierwszej linijce albo ZERO wyłącznie w ostatniej linijce i zapisać to odpowiednim wzorkiem :D

Kubuś bez wzorków może ci z dziecinną łatwością powiedzieć że w pierwszym przypadku otrzymasz definicję sumy logicznej a w ostatnim zanegowaną definicję iloczynu logicznego :D


Ostatnio zmieniony przez rafal3006 dnia Pon 18:04, 18 Gru 2006, w całości zmieniany 10 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 15:54, 16 Gru 2006    Temat postu:

rafal3006 napisał:
1. Zbanowany czemu się obraziłeś i uciekłeś, przykład za trudny ? :D

2. OK przepraszam, to było kłamstwo, w rzeczywistości to Kubuś dostał w mordę

Zmieniam zatem przykład na prawdziwy

Zbanowany Uczy napisał:

Proponuję zdanie bardziej podniecające:

Kto się wychyli, temu w mordę.

Czy wynika z tego, że dostanie w mordę świadczy o tym, że ten ktoś się wychylił?


3. Nie świadczy, ale 4. problem definicji implikacji polega na tym że jeśli Kubuś dostał w mordę tylko i wyłącznie za to że się nie wychylił 5. (uzasadnienie zależne) to oprawca skłamał :D

Zdanie wypowiedziane:

Kto sie wychyli temu w mordę.
___PRAWDA______PRAWDA______=PRAWDA

6. I kluczowa linijka definicji implikacji 7. PO zaistniałym fakcie.

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę, bo się nie wychylił (8. uzasadnienie zalezne zgodne w 100% z zaistniałym faktem)
____FAŁSZ__________________________PRAWDA____________________=FAŁSZ

natomiast w przypadku absolutnie dowolnego uzasadnienia niezaleznego będzie:

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę bo (dowolne uzasadnienie niezalezne)
_______FAŁSZ__________________________PRAWDA_________=PRAWDA

dowolne uzasadnienie niezalezne to dostał w mordę bo:

ubrał sie na czarno, krzywo na mnie spojrzał, odezwał sie bez potrzeby ... i nieskończenie wiele innych uzasadnień NIEZALEŻNYCH


Podpowiedź:

W implikacji mozliwe jest uzasadnienie zależne albo niezależne tylko i wyłącznie 9. w linijce definicji jak wyżej, w pozostałych linijkach definicji obowiązuje uzasadnienie ZALEŻNE !

I Uzasadnienie zależne

Zaistniały fakt OR uzasadnienie zgodne w 100% z zaistniałym faktem (zależne) = 0 !!!!!

bo

zaistniały fakt = 0 oraz 10. uzasadnienie zależne identyczne z zaistniałym faktem = 0

II Uzasadnienie niezależne

Zaistniały fakt OR dowolne uzasadnienie niezależne = 1 !!!

bo

zaistniały fakt = 0 oraz dowolne uzasadnienie niezależne = 1

Wniosek końcowy:
W przypadku uzasadnienia zależnego implikacja staje się równoważnością i obowiązuje wówczas definicja równoważności.

P.S.
Zbój odpowiedział na powyższy problem wprowadzając zakaz uzasadnienia zależnego - OK.
Miki przyznał, ze w tym przypadku oprawca skłamał - OK.

Czekamy na Zbanowanego !!!!

Pytanie do Zbanowanego.

Czy w przypadku uzasadnienia zależnego jak wyżej oprawca jest kłamcą czy nie jest ?

Proszę o konkretną odpowiedź: TAK lub NIE



Ponumerowałem, chociaż wątpię, czy to coś da.

Ad 1 - Daruj sobie
Ad 2 - Jw
Ad 3 - Ślicznie
Ad 4 - "za to" sugeruje związek przyczynowy. Tymczasem implikacja nie wyraża nic takiego. Wątpię, czy moje zdanie też coś takiego wyraża. Wyjaśnij mi też z łaski swojej, co rozumiesz przez "uzasadnienie zależne/niezależne". Zależne/niezależne od czego?
Ad 5 - A czemu miałby skłamać? Nie widzę tu ani wyżej żadnego uzasadnienia tej tezy.
Ad 6 - Która? Ta przed tym zdaniem czy po nim? Nie chce mi się zgadywać.
Ad 7 - No proszę. "Po" sugeruje związek czasowy. A implikacja jest po prostu bezczasowym by tak rzec związkiem prawdziwościowym.
Ad 8 - Tego zdania nie rozumiem. Z jakim faktem?
Ad 9 - Których linijkach? Proszę o dokładne wskazanie.
Ad 10 - Uzasadnienie zgodne z faktem... Znowu: jakie? Z którym?

Implikacja materialna powstała na potrzeby klasycznej matematyki. Pytanie, czy taki spójnik występuje w języku naturalnym?
Otóż w języku naturalnym mamy tzw. okresy warunkowe. Weźmy jako wzorcowy język angielski. Mamy więc tzw.
* 0-conditionals. Exp.: If it rains, it is wet. If 2 + 2 is 4, then Russell is the Pope.
* 1-conditionals. Exp.: If you go, I will go with you
* 2-conditionals. Exp.: If you went, I would go with you
* 3-conditionals. Exp. If you had gone, I would have go with you
Pomijam tu - by nie komlikować - tryby mieszane.
Jeden wypadający poza ten podział warto jeszcze zaznaczyć:
* Exp. You will be dead the moment you have seen his gun

Jedynymi sensownymi kandydatami do wyrażania implikacji materialnej są 0-conditionals. W przypadku 1-c i pozostałych istotny jest, jak się zdaje, czynnik czasowy (choć są konstrukcje, które czynią go nieistotnym, np. (modalna) logika 2-c D. Lewisa, obiekt sam w sobie ciekawy ze względu na oryginalną semantykę topologiczną. Zob. G. E. Hughes & M. J. Cresswell, A New Introduction To Modal Logic, L & NY 1996, p. 222-224).
Czy jednak faktycznie wszystkie 0-c można tak interpetować? Wątpliwości wiążą się z tym, że implikacja materialna jest, jak do znudzenia będę powtarzał, jednym z bezczasowych spójników prawdziwościowych (mówi się też: ekstensjonalnych), z czego wynika m.in., że ignoruje związek treściowy pomiędzy zdaniami składowymi. Weźmy bowiem zdanie:

"Jeśli mam syna, to nie jestem ojcem"

Wypowiedziane przeze mnie, JEŚLI je interpretować jako materialną implikację (mam nadzieję, że Czytelnicy dostrzegli, że 'materialna implikacja' denotuje zarówno spójnik jak i zdanie posiadające ten spójnik jako spójnik główny; kontekst wystarczająco ujednoznacznia sprawę), to jest ono PRAWDZIWE! (dlaczego - pozostawię to jako zadanie domowe dla Czytelników). Tymczasem wydaje się, że to absurd - dlaczego? Bo treści zdań składowych nawet nie tyle nie mają związku (jak w słynnych zdaniach mających wprawić Russella w zakłopotanie - Russell wybronił się wiadomo jak, ale można skonstruować też inne, na które nie mógłby dać sensownej odpowiedzi), co wykluczają się. Stąd konstruuje się np. logiki relewantne czy logiki zachowujące informację (information-preserving logics, np. logika Zinowjewa - choć znowu, u niej też odkryto pewne wady i zmodyfikowano itp. tak więc praca trwa). Słowem, sądzę, że implikacja materialna występuje prócz klasycznej matematyki także w języku naturalnym (np. "jeśli Rafał coś z tego rozumie, to jestem wampirem"), ale bardzo rzadko. I tyle.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 16:04, 16 Gru 2006    Temat postu:

Jeszcze coś:

http://www.sfinia.fora.pl/viewtopic.php?p=26841&highlight=#26841

Oraz - co ważniejsze - oto, co na mój post:

http://www.sfinia.fora.pl/viewtopic.php?p=26629&highlight=#26629

Odpowiedział nasz Rafał-Kubuś:

rafal3006 napisał:
Zbanowany Uczy napisał:

Pamiętaj, że w skrajnym przypadku musisz sam zbudować adekwatną semantykę, bądź też zinterpretować twój rachunek w innej teorii - jak to się robi, zob.


Zbanowany, ja jestem od tworzenia idei, a nie budowania semantyki :D


Wnioskuję z tego, że dalsza rozmowa z nim stoi pod znakiem zapytania.

I jeszcze prawdziwa perełka:

wujzboj napisał:
Rafal, rozmawialismy o tym dosc dlugo na forum Katolika.


MATKO MOJA, PĘKNĘ ZE ŚMIECHU!!! :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo:

Rafał, zanudzanie bliźniego swego jest grzechem!!
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 17:02, 16 Gru 2006    Temat postu:

Zbanowany Uczy napisał:

I jeszcze prawdziwa perełka:

wujzboj napisał:
Rafal, rozmawialismy o tym dosc dlugo na forum Katolika.


MATKO MOJA, PĘKNĘ ZE ŚMIECHU!!! :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo: :brawo:

Rafał, zanudzanie bliźniego swego jest grzechem!!


Skoro masz taki dobry humor. to ci go popsuję :D

Zaznaczam, że wszystko dotyczy kluczowej linijki implikacji i uzasadnienia zależnego jak w moim poście wyżej !

miki napisał:

Ojciec nie kłamie w sensie niespełnienia obietnicy (zdania wyjściowego), lecz kłamie mówiąc teraz co innego niż poprzednio.


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

Powyższe tłumaczone na twój przykład:

Kto się wychyli temu w mordę

"Oprawca nie skłamał w sensie niespełnienia obietnicy (zdania wyjsciowego), lecz kłamie mówiac teraz co innego niż poprzednio"

I temu przytaknął Zbój mówiac pod pseudonimem SFINIA:
DOKŁADNIE !!!!

rafal3006 napisał:

Zbóju, we wszystkim jesteśmy zgodni o ile nie odwołasz tego co sam napisałeś w dwóch miejscach

wujzboj napisał:

rafal3006 napisał:

Zgoda w 100% że w uzasadnieniu niezależnym:

Nie zdałeś egzaminu, dostajesz komputer bo (dowolne uzasadnienie NIEZALEŻNE)

ojciec nie jest kłamcą i nie dyskutujmy wiecej o takim przypadku !!!

Uzasadnienie MUSI byc niezależne.


wujzboj napisał:
Ale jeśli powie proszę, oto komputer, bo (tu dowolne uzasadnienie NIEZALEŻNE od zdania egzaminu), to będzie wszystko w porządku - takie postępowanie nie przeczy implikacji


Powyższe twoje cytaty dowodzą iż mamy wspólną, Kubusiową definicję implikacji.

Oczywiście można twierdzić, że uzasadnienie MUSI byc niezależne i obowiązuje zakaz uzasadnienia zależnego - to tez jest OK.


Jak na razie Zbój niczego nie odwołał i nie odwoła, bo byłby idiotą :D

Tak wiec Zbójowa i Kubusiowa definicja implikacji jest IDENTYCZNA !

A tu masz link do Kubusiowej interpretacji definicji implikacji:

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

Spróbuj Zbanowany obalić cokolwiek z tej definicji - to jest nie do obalenia ! :D
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Drizzt
Założyciel, admin



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


PostWysłany: Sob 17:24, 16 Gru 2006    Temat postu:

Zbanku - uwaga do ciebie... Jeśli masz jedynie wyśmiewać Rafała to zaczyna się z tego robić ad personam. Tak więc jeśli brakuje ci cierpliwości do dyskusji to zrezygnuj z odpowiedzi wogóle. Natomiast najlepiej zrobisz dyskutując :wink:
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 17:51, 16 Gru 2006    Temat postu:

Zbanowany Uczy napisał:
rafal3006 napisał:
1. Zbanowany czemu się obraziłeś i uciekłeś, przykład za trudny ? :D

2. OK przepraszam, to było kłamstwo, w rzeczywistości to Kubuś dostał w mordę

Zmieniam zatem przykład na prawdziwy

Zbanowany Uczy napisał:

Proponuję zdanie bardziej podniecające:

Kto się wychyli, temu w mordę.

Czy wynika z tego, że dostanie w mordę świadczy o tym, że ten ktoś się wychylił?


3. Nie świadczy, ale 4. problem definicji implikacji polega na tym że jeśli Kubuś dostał w mordę tylko i wyłącznie za to że się nie wychylił 5. (uzasadnienie zależne) to oprawca skłamał :D

Zdanie wypowiedziane:

Kto sie wychyli temu w mordę.
___PRAWDA______PRAWDA______=PRAWDA

6. I kluczowa linijka definicji implikacji 7. PO zaistniałym fakcie.

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę, bo się nie wychylił (8. uzasadnienie zalezne zgodne w 100% z zaistniałym faktem)
____FAŁSZ__________________________PRAWDA____________________=FAŁSZ

natomiast w przypadku absolutnie dowolnego uzasadnienia niezaleznego będzie:

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę bo (dowolne uzasadnienie niezalezne)
_______FAŁSZ__________________________PRAWDA_________=PRAWDA

dowolne uzasadnienie niezalezne to dostał w mordę bo:

ubrał sie na czarno, krzywo na mnie spojrzał, odezwał sie bez potrzeby ... i nieskończenie wiele innych uzasadnień NIEZALEŻNYCH


Podpowiedź:

W implikacji mozliwe jest uzasadnienie zależne albo niezależne tylko i wyłącznie 9. w linijce definicji jak wyżej, w pozostałych linijkach definicji obowiązuje uzasadnienie ZALEŻNE !

I Uzasadnienie zależne

Zaistniały fakt OR uzasadnienie zgodne w 100% z zaistniałym faktem (zależne) = 0 !!!!!

bo

zaistniały fakt = 0 oraz 10. uzasadnienie zależne identyczne z zaistniałym faktem = 0

II Uzasadnienie niezależne

Zaistniały fakt OR dowolne uzasadnienie niezależne = 1 !!!

bo

zaistniały fakt = 0 oraz dowolne uzasadnienie niezależne = 1

Wniosek końcowy:
W przypadku uzasadnienia zależnego implikacja staje się równoważnością i obowiązuje wówczas definicja równoważności.

P.S.
Zbój odpowiedział na powyższy problem wprowadzając zakaz uzasadnienia zależnego - OK.
Miki przyznał, ze w tym przypadku oprawca skłamał - OK.

Czekamy na Zbanowanego !!!!

Pytanie do Zbanowanego.

Czy w przypadku uzasadnienia zależnego jak wyżej oprawca jest kłamcą czy nie jest ?

Proszę o konkretną odpowiedź: TAK lub NIE



Ponumerowałem, chociaż wątpię, czy to coś da.

Ad 1 - Daruj sobie
Ad 2 - Jw
Ad 3 - Ślicznie
Ad 4 - "za to" sugeruje związek przyczynowy. Tymczasem implikacja nie wyraża nic takiego. Wątpię, czy moje zdanie też coś takiego wyraża. Wyjaśnij mi też z łaski swojej, co rozumiesz przez "uzasadnienie zależne/niezależne". Zależne/niezależne od czego?

Mnie zupełnie nie interesują zdania w implikacji p q pozostjace bez zwiazku ze sobą bo to dom wariatów i tam jest ich miejsce np.

Jeśli księzyc jest z sera to Zbanowany jest krokodylem - zdanie KRZ prawdziwe

Uzasadnienie zalezne/niezależne - zobacz Kubusiowa definicja implikacji, adres na końcu postu


Ad 5 - A czemu miałby skłamać? Nie widzę tu ani wyżej żadnego uzasadnienia tej tezy.

Bo może skłamać !!!!!!!!

Mój kuzyn wyprzedzał na Ukrainie samochód, zatrzymał go policjant i mówi:

Mandat, przekroczył pan linię ciagłą

Kuzyn;
Ale tu nie ma żadnej linii

Policjant:
Była ale się zmyła

... no i musiał zapłacic mandat :D

Jeśli coś jest możliwe to na pewno sie wydarzy - prawo Murphy'ego


Ad 6 - Która? Ta przed tym zdaniem czy po nim? Nie chce mi się zgadywać.

Rozpisze specjalnie dla ciebie całe twoje zdanie w kolejnym poscie

Ad 7 - No proszę. "Po" sugeruje związek czasowy. A implikacja jest po prostu bezczasowym by tak rzec związkiem prawdziwościowym.

Zupełnie nie rozumiesz o czym mówi p. Wieczorek - zobacz jego cytaty w pierwszym poście tego tematu

Ad 8 - Tego zdania nie rozumiem. Z jakim faktem?

Zobacz Kubusiowa definicja implikacji

Ad 9 - Których linijkach? Proszę o dokładne wskazanie.
Ad 10 - Uzasadnienie zgodne z faktem... Znowu: jakie? Z którym?

9 i 10 nie zlokalizowałem ale odpowiedź bedzie pewnie niżej


Adres kompletnej Kubusiowej definicji implikacj:

http://www.sfinia.fora.pl/viewtopic.php?p=27621#27621
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 18:23, 16 Gru 2006    Temat postu:

Zbanowany Uczy napisał:

Implikacja materialna powstała na potrzeby klasycznej matematyki. Pytanie, czy taki spójnik występuje w języku naturalnym?
Otóż w języku naturalnym mamy tzw. okresy warunkowe. Weźmy jako wzorcowy język angielski. Mamy więc tzw.....

Zbanowany, nie na temat, zobacz tytuł rozdziału.

Dyskutujemy tu o problemie w definicji implikacji i jednym konkretnym zdaniu:

Jeśli zdasz egzamin dostaniesz komputer

a teraz doszło także twoje:

Kto sie wychyli temu w mordę

Wiem, że masz olbrzymią wiedzę.

Kubuś dzieli naukowców na dwie grupy:

I.
Popisujących sie swoja wiedzą, którzy w każdym poście staraja się udowadniać pisząc jezykiem "naukowym" zrozumiałym wyłacznie dla nich jaki to jestem madry a jaki głupi jest jego rozmówca.

II.
Ludzi którzy strają sie pisać językiem zrozumiałym dla normalnego człowieka. Do takich ludzi zaliczam p. Wieczorka mimo że znam jego ksiażkę wyłacznie z cytatów w pierwszym poście. Sam fakt że tytuł jego publikacj brzmiał pierwotnie "Logika dla opornych" budzi mój szacunek i uznanie. Podjął sie bowiem najtrudniejszej sztuki, pisania o sprawach bardzo trudnych językiem zrozumiałym dla licealisty - sam też coś takiego napisałem, w innej dziedzinie, ale mającej ścisły związek z algebrą Boole'a - stad ją troche znam :D

Spodobało mi sie motto p. Wieczorka, więc mu ukradłem :oops:

A teraz do rzeczy, czyli rozbierzmy twoje zdanie na kawałki :D

Kto sie wychyli temu w mordę

Zauważyłem, że niektórzy z KRZ (nawet Zbój :D ) mają kłopoty z analizą tego zdania. Zdecydowanie najlepsza metoda występująca u p. Wieczorka i we wszystkich podręcznikach do nauki matematyki to analiza tego zdania po zaistniałym fakcie, gdyz tylko i wyłącznie wtedy możemy rozważać czy oprawca jest kłamcą bądź nie jest kłamcą na podstawie zaistniałych faktów.

Oczywiście robimy to wykorzystujac definicję implikacji:

p q r
0 0 1
0 1 1
1 0 0
1 1 1

Kolejnośc trochę zmienię aby zachować na koniec kluczową linijke implikacji:

Zdanie analizowane:

Kto sie wychyli temu w mordę

Dalej rozważamy to zdanie po zaistniałym fakcie zgodnie z definicją implikacji dalego wszędzie są zdania oznajmiajace i czas przeszły !!!!!!
UWAGA:
W analizie przyjmujemy p q za PRAWDZIWE lub FAŁSZYWE w odniesieniu do zdania wyjsciowego i przypisujemy całemu zdaniu PRAWDE albo FAŁSZ na podstawie definicji implikacji !!!!!!

A.
Kubus wychylił się, dostał w mordę - zgodnie z obietnica oprawcy
___PRAWDA_______PRAWDA____=PRAWDA

B.
Kubuś nie wychylił się, nie dostał w mordę - oprawca dotrzymał obietnicy
__FAŁSZ________________FAŁSZ_________=PRAWDA

C.
Kubus wychylił się, nie dostał w mordę - oprawca złamał obietnicę
___PRAWDA____________FAŁSZ__________=FAŁSZ

no i ostania kluczwa linijka implikacji

D.
Kubus nie wychylił się, dostał w mordę
___FAŁSZ____________PRAWDA_____= ????????

0 - w uzasadnieniu zaleznym
1 - w uzasadnieniu niezależnym


Aby to wyjasnic podepnijmy tą linijke pod Kubusiowa interpretację definicji implikacji.

Kubusiowa interpretacja definicji implikacji

Definicja implikacji .... to bardzo proste

Krzysztf A. Wieczorek napisał:

Pewne kontrowersje może budzić uznanie za prawdziwego zdania w przypadku, gdy poprzednik implikacji jest fałszywy, natomiast następnik prawdziwy ....


Definicja implikacji nie budzi żadnych kontrowersji jeśli zrozumienie kluczowej linijki rozbijemy na trzy niezależne przypadki I, II i III jak niżej.

Zdanie analizowane:

Kto się wychyli temu w mordę

Kluczowa linijka implikacji

Przypadek I
Kubus nie wychylił się (zaistniały fakt), dostał w mordę
, bo ma urodziny (uzasadnienie)

Czyli:
Kubuś nie wychylił się (zaistniały fakt) LUB ma urodziny (uzasadnienie), dostaje w mordę
0 LUB 1 = 1 – implikacja nie budzi zastrzeżeń

Czyli:
Kubus nie wychylił się (zaistniały fakt) LUB dowolne uzasadnienie niezależne = dostał w mordę

Uzasadnień niezależnych może być nieskończenie wiele

Przypadek II
Kubus nie wychylił się (zaistniały fakt), dostał w mordę, bo tak czy owak miał dostać (uzasadnienie)

Czyli:
Kubus nie wychylił się (zaistniały fakt) LUB (wychylił się ALBO nie wychylił się - uzasadnienie), dostaje w mordę

0 LUB (1 ALBO 0) = 1 – ostatnie tchnienie implikacji, nie budzi zastrzeżeń

Tego typu uzasadnienie graniczne może być tylko jedno jak wyżej.

Wyrażenie w nawiasie to jedno z twierdzeń w algebrze Boole'a
A ALBO ~A = 1 (definicja negacji plus definicja spójnika ALBO )

Przypadek III
Kubus nie wychylił się (zaistniały fakt), dostał w mordę, bo nie wychylił się (uzasadnienie)

Kubuś nie wychylił się (zaistniały fakt) LUB nie wychylił się (uzasadnienie) = 0

0 LUB 0 = 0

Zdanie III jest równoważne zdaniu:

Kubus nie wychylił się, dostał w mordę (także goła linijka definicji implikacji bez żadnego uzasadnienia)

W uzasadnieniu zależnym, kluczowa linijka implikacji ma postac:

0 1 = 0 !

Czyli definicja „implikacji” w przypadku uzasadnienia zależnego jest taka:
1 1 = 1
0 1 = 0
1 0 = 0
1 1 = 1


... a to jest ewidentna równoważność !

Definicja:
Uzasadnienie zależne to uzasadnienie zgodne z zaistniałym faktem (w powyższym przypadku „bo się nie wychylił”), w przeciwnym przypadku uzasadnienie jest niezależne.

Uzasadnienie zależne może być tylko jedno, identyczne z zaistniałym faktem i w tym przypadku całe zdanie to ewidentny fałsz.

Niemożliwe jest obronienie jedynki w tej linijce definicji implikacji w przypadku uzasadnienia zależnego.

Musi być zatem prawdziwa inna linijka wynikła z definicji implikacji.

Kubuś nie wychylił się, nie dostaje w mordę
0 0 = 1 ! - linijka wspólna dla implikacji i równoważności

P.S.
Poprawiłem Kubusiową interpretację definicji implikacji, była napisana w czasie teraźniejszym jako rozmowa syna z ojcem tuż po zdaniu egzaminu. Lepiej wyglada tu czas przeszły kiedy wszystko jest zdecydowanie PO.

Poza tym dopisałem pierwsza część, która oczywiście wynika z wcześniejszych postów ale ... kto to czyta ? :D

Wszystkich zainteresowanych zapraszam:

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


Ostatnio zmieniony przez rafal3006 dnia Sob 20:43, 16 Gru 2006, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 20:27, 16 Gru 2006    Temat postu:

"Nie na temat" - jakby podawane przez niego przykłady nie były okresami warunkowymi... :shock: Zwróć ponadto Drizzcie uwagę na rozmiar czcionki, wykrzykniki i obficie powtarzające się słowo "idiota" w postach Rafała oraz śmieszną długość tego wątku w stosunku do prezentowanych treści. Tak, Drizzt, nazywaj to ad personam jak chcesz - ale widzę, że Rafał ma atak wywodu implikacyjnego, by tak rzec. I aby polepszyć jego samopoczucie, niniejszym - jak to wyraził zresztą - "poddaję się" (zgodnie z Regulaminem, który w tym punkcie nie bierze, co ciekawe, pod uwagę stanu mentalnego rzekomo "wygrywającego" dyskusję). Co aby jeszcze raz podkreślić (zresztą Rafał, założę się, na pewno tylko to zacytuje), powtórzę: "Ach! kapituluję! Biada mi Kubusiu!!!" ;P :pidu:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 21:00, 16 Gru 2006    Temat postu:

rafal3006 napisał:
Zbanowany czemu się obraziłeś i uciekłeś, przykład za trudny ? :D

OK przepraszam, to było kłamstwo, w rzeczywistości to Kubuś dostał w mordę

Zmieniam zatem przykład na prawdziwy

Zbanowany Uczy napisał:

Proponuję zdanie bardziej podniecające:

Kto się wychyli, temu w mordę.

Czy wynika z tego, że dostanie w mordę świadczy o tym, że ten ktoś się wychylił?


Nie świadczy, ale problem definicji implikacji polega na tym że jeśli Kubuś dostał w mordę tylko i wyłącznie za to że się nie wychylił (uzasadnienie zależne) to oprawca skłamał :D

Zdanie wypowiedziane:

Kto sie wychyli temu w mordę.
___PRAWDA______PRAWDA______=PRAWDA

I kluczowa linijka definicji implikacji PO zaistniałym fakcie.

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę, bo się nie wychylił (uzasadnienie zalezne zgodne w 100% z zaistniałym faktem)
____FAŁSZ__________________________PRAWDA____________________=FAŁSZ

natomiast w przypadku absolutnie dowolnego uzasadnienia niezaleznego będzie:

Kubuś nie wychylił się (zaistniały fakt), dostał w mordę bo (dowolne uzasadnienie niezalezne)
_______FAŁSZ__________________________PRAWDA_________=PRAWDA

dowolne uzasadnienie niezalezne to dostał w mordę bo:

ubrał sie na czarno, krzywo na mnie spojrzał, odezwał sie bez potrzeby ... i nieskończenie wiele innych uzasadnień NIEZALEŻNYCH


Podpowiedź:

W implikacji mozliwe jest uzasadnienie zależne albo niezależne tylko i wyłącznie w linijce definicji jak wyżej, w pozostałych linijkach definicji obowiązuje uzasadnienie ZALEŻNE !

I Uzasadnienie zależne

Zaistniały fakt OR uzasadnienie zgodne w 100% z zaistniałym faktem (zależne) = 0 !!!!!

bo

zaistniały fakt = 0 oraz uzasadnienie zależne identyczne z zaistniałym faktem = 0

II Uzasadnienie niezależne

Zaistniały fakt OR dowolne uzasadnienie niezależne = 1 !!!

bo

zaistniały fakt = 0 oraz dowolne uzasadnienie niezależne = 1

Wniosek końcowy:
W przypadku uzasadnienia zależnego implikacja staje się równoważnością i obowiązuje wówczas definicja równoważności.

P.S.
Zbój odpowiedział na powyższy problem wprowadzając zakaz uzasadnienia zależnego - OK.
Miki przyznał, ze w tym przypadku oprawca skłamał - OK.

Czekamy na Zbanowanego !!!!

Pytanie do Zbanowanego.

Czy w przypadku uzasadnienia zależnego jak wyżej oprawca jest kłamcą czy nie jest ?

Proszę o konkretną odpowiedź: TAK lub NIE


Pewnie, że najwygodniej uciec .... :D

Co jest niejasnego dla ciebie w Kubusiowej interpretacji definicji implikacji ?

Cóz za problem dla takiego wybitnego specjalisty jek Ty wykazać jej fałszywość ? :D

Dziwne, Zbój i Miki odpowiedzieli na powyższe pytanie, a ty taki spejalista sie poddajesz ?

Dzięki zatem za "dyskusję" :D

Zbanowany napisał:
"Nie na temat" - jakby podawane przez niego przykłady nie były okresami warunkowymi...

Krótką pamięć masz Zbanowany :D

Czyj to przykład, nie Twój przypadkiem ?

Kto sie wychyli temu w mordę
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 21:02, 16 Gru 2006    Temat postu:

:shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock: :shock:

:mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen: :mrgreen:

(...) ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P ;P
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 21:15, 16 Gru 2006    Temat postu:

Zbanowany, czyzby ci się to przytrafiło ? :cry:

Nie martw się, następnym razem będzie lepiej :D
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 21:19, 16 Gru 2006    Temat postu:

Co?
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 21:21, 16 Gru 2006    Temat postu:

... to co w twoim zdaniu :D
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 21:22, 16 Gru 2006    Temat postu:

Ale zdanie zostało ocenzurowane (został tylko trzykropek - sprawdź sam). :think:
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 21:24, 16 Gru 2006    Temat postu:

Dobra, chodźmy spać :D
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 21:26, 16 Gru 2006    Temat postu:

:brawo:


Poraaaa na dobranoc
Bo już księżyc świeeeeeci
Dzieci idą spać już
Miś po flaszkę leci...
:gitara:


Ostatnio zmieniony przez Zbanowany Uczy dnia Sob 21:29, 16 Gru 2006, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów

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

PostWysłany: Sob 21:28, 16 Gru 2006    Temat postu:

Eeetam, Miś jest abstynentem :pidu:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Zbanowany Uczy




Dołączył: 05 Lut 2006
Posty: 647
Przeczytał: 0 tematów

Skąd: Gdzieś między niebem a czyśćcem

PostWysłany: Sob 21:30, 16 Gru 2006    Temat postu:

JA TEŻ!!!... :brawo:

[link widoczny dla zalogowanych]


Ostatnio zmieniony przez Zbanowany Uczy dnia Nie 16:28, 17 Gru 2006, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
mikon




Dołączył: 15 Gru 2005
Posty: 359
Przeczytał: 0 tematów


PostWysłany: Sob 22:22, 16 Gru 2006    Temat postu: Re: Definicja implikacji według Rafała3006 p. Wieczorka

rafal3006 napisał:
Fragment ksiazki "Logika dla opornych" Krzysztof A. Wieczorek

[etc., etc.]


Czesc Kochani! Wpadlem na moment, bo 27 stron w moim ulubionym dziale to musi byc cos _naprawde_ interesujacego...

Jednak w ropoczynajacym watek poscie nie potrafie znalezc zadnego konkretnego stwierdzenia rafal3006a, takiego, zebym mogl powiedziec "a rzeczywiscie", albo "a skadze, gdyz...". Poszukam dalej, ale tylko na stronie pierwszej watku, bo ... sorry... ;)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
mikon




Dołączył: 15 Gru 2005
Posty: 359
Przeczytał: 0 tematów


PostWysłany: Sob 22:31, 16 Gru 2006    Temat postu:

wujzboj napisał:
[...] Twoja konfuzja bierze sie - jak pamietam nasze rozmowy - z tego, ze slow "IF... THEN" sa w jezykach programowania uzywane w sensie TOZSAMOSCI, zas w jezyku potocznym - w sensie implikacji. [...]


Hej Wuju! :)

Nie rozumiem Cie, ale chyba nie masz racji. W kazdym jezyku programowania, jego podjezyk wyrazen arytmetycznych, jesli ma konstrukcje if..then..else.. (np. w C jest to (_?_:_), to zachowuje sie ona dokladnie zgodnie z tabelka, ktora Wuju powyzej przytaczasz, czyli tak jak w logice klasycznej. Podobnie jest w if..then.. dotyczacym juz nie wyrazen arytmetycznych, ale np. instrukcji.

Np. jezyku C:

y = 0;
x = 5;
if y == 1 then x = 5

po wykonaniu programu x ma wartosc 5, mimo, ze wyrazenie logiczne po "if" jest falszywe, wiec instrukcja po "then" sie nigdy nie wykona. Czyli, w duzym cudzyslowiu, "z falszu wynika prawda".

Jezykow programowania nie stac na wieloznacznosc semantyki implikacji, taka jak np. w jezyku polskim...
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
mikon




Dołączył: 15 Gru 2005
Posty: 359
Przeczytał: 0 tematów


PostWysłany: Sob 22:39, 16 Gru 2006    Temat postu:

rafal3006 napisał:
Pytanie zasadnicze brzmi !!!!

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


Nie zauwazylem zadnej poprawki. Czy moglbys ja, Rafale, krotko i scisle sformulowac?

rafal3006 napisał:

Czy ojciec wypowiadając takie zdanie po zaistniałym fakcie egzaminu:

"Synu, jakże się cieszę że nie zdałeś egzaminu i proszę, oto obiecany komputer"

Będzie kłamcą czy nie ?
[...]
TAK czy NIE ?


Nie widze jaki to ma zwiazek z p. Wieczorkiem, ale sluze odpowiedzia: to zalezy. I nie jest to skok w bok.

Np. jesli miedzy ojcem a synem nigdy wczesniej nie padlo zadne inne zdanie niz to przytoczone przez p. Wieczorka, to takie zdanie, ktore Ty przytoczyles, bedzie falszywe, wiec Ojciec bedzie klamca.

Ale, np. jesli ojciec miesiac temu powiedzial synowi "jesli nie zdasz egzaminu, to i tak dam Ci komupter, tylko uzywany", to zdanie to bedzie prawda (o ile rzeczywiscie sie cieszy, np. bo oszczedzil na komputerze) i ojciec nie jest klamca.

Wymaganie odpowiedzi "tak" lub "nie" jest tutaj z Twojej strony bledem logicznym, do ktorego, moim zdaniem, powinienes sie przyznac jeszcze na pierwszej stronie (nie doczytalem jej, wiec nie wiem, czy to zrobiles).

Ufff. Chyba nie stac mnie na przeczytanie wiecej niz tych trzech listow. Jesli jest jeszcze cos ciekawego, to prosze zacytujcie to na 28 stronie. Pozdrowienia!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Drizzt
Założyciel, admin



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


PostWysłany: Sob 22:42, 16 Gru 2006    Temat postu:

Cześć Mikon! Kopę lat :wink:

Zbanek, masz priwa ;)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
miki




Dołączył: 01 Kwi 2006
Posty: 494
Przeczytał: 0 tematów


PostWysłany: Nie 3:44, 17 Gru 2006    Temat postu:

mikon napisał:
wujzboj napisał:
[...] Twoja konfuzja bierze sie - jak pamietam nasze rozmowy - z tego, ze slow "IF... THEN" sa w jezykach programowania uzywane w sensie TOZSAMOSCI, zas w jezyku potocznym - w sensie implikacji. [...]


Hej Wuju! :D

Nie rozumiem Cie, ale chyba nie masz racji.
[...]


Oczywiście, że Wuj ma rację, chyba, że taki „logik” jak mikon stosuje:

if .. then .. else [na dwoje babka wróżyła :shock: :think: :| ]

ale niestety, nie „logicy” stosują "IF... THEN ... ELSE ..." w sensie równoważność :mrgreen:
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 15, 16, 17 ... 20, 21, 22  Następny
Strona 16 z 22

 
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