Ś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.    FAQ   Szukaj   Użytkownicy   Grupy   Galerie   Rejestracja   Profil   Zaloguj się, by sprawdzić wiadomości   Zaloguj  Algebra Kubusia - rewolucja w logice matematycznej Idź do strony Poprzedni  1, 2, 3 ... 312, 313, 314 ... 378, 379, 380  Następny          Forum ŚFiNiA Strona Główna -> Filozofia Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 12:51, 06 Lip 2024    Temat postu: szaryobywatel napisał: Znowu pokazałem sprzeczność w AK i znowu jej nie skasowałeś. Wyżej dostałeś konkretny przykład do twoich wypocin, ten przykład masz obalić - obalisz, kasuję AK. Czas START. P.S. Totalnie nie rozumiesz logiki matematycznej bo grzebiesz się w zerach i jedynkach, podczas gdy poprawna logika matematyczna, algebra Kubusia jest logiką symboliczną izolowaną od bezwzględnych zer i jedynek. To z logiki symbolicznej wynikają wszelkie definicje zero-jedynkowe spójników logicznych. Szczegóły masz tu: http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#698491 rafal3006 napisał: Algebra Kubusia - matematyka języka potocznego 10.0 Algebra Kubusia w tabelach zero-jedynkowych Doradzam wziąć się na serio za czytanie AK zamiast popisywać się non-stop swoją głupota matematyczną. Ostatnio zmieniony przez rafal3006 dnia Sob 13:58, 06 Lip 2024, w całości zmieniany 2 razy Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 12:56, 06 Lip 2024    Temat postu: ... Ostatnio zmieniony przez MaluśnaOwieczka dnia Nie 19:46, 28 Lip 2024, w całości zmieniany 2 razy Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość Irbisol Dołączył: 06 Gru 2005 Posty: 15476 Przeczytał: 25 tematów Wysłany: Sob 13:06, 06 Lip 2024    Temat postu: To samo z białymi karłami i supernowymi, schizofreniku. Jedno nie jest podzbiorem drugiego, mimo że warunek wystarczający jest spełniony. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 13:32, 06 Lip 2024    Temat postu: Irbisol napisał: To samo z białymi karłami i supernowymi, schizofreniku. Jedno nie jest podzbiorem drugiego, mimo że warunek wystarczający jest spełniony. Matematykę ogólną w temacie świętości matematycznej: Warunek wystarczajacy p=>q = relacja podzbioru p=>q Masz w tym linku: http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7775.html#805857 rafal3006 napisał: Przykro mi Irbisolu, twoja schizofrenia sięgnęła kosmosu! Wskazanie twojego osobistego psychiatry Prosiaczka: elektrowstrząsy Pierwsza seria elektrowstrząsów jak widać nie pomogła - w schizo to normalka, leczenie jest tu indywidualne metodą prób i błędów dobierane pod konkretnego pacjenta. Doradzam 10-krotną serię elektrowstrząsów poprzez 10-krotne przeczytanie postu wyżej - jak to nie pomoże to twój psychiatra Prosiaczek doradza byś dał sobie siana czekając aż AK zadomowi się w podręcznikach logiki matematycznej do I klasy LO ... wtedy musisz wyzdrowieć, chciał, nie chciał - zgadza się?. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość Irbisol Dołączył: 06 Gru 2005 Posty: 15476 Przeczytał: 25 tematów Wysłany: Sob 13:40, 06 Lip 2024    Temat postu: Dostałeś kontrprzykład, schizofreniku. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 13:48, 06 Lip 2024    Temat postu: szaryobywatel napisał: Znowu pokazałem sprzeczność w AK i znowu jej nie skasowałeś. Szary obywatelu, uzupełniłem post tobie dedykowany o istotne rozwinięcie, byś zrozumiał. Niżej masz wersję końcową do obalenia - obalisz, kasuję AK http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7775.html#805867 rafal3006 napisał: Nawracanie szarego obywatela na jedynie słuszną, algebrę Kubusia! szaryobywatel napisał: Cytat: p=>(p=>p) = p=>p =p Czyli p => p = p p => p = ~p + p p = ~p + p 0 = 1 + 0 0 = 1 Kasuj AK. Dowolny zbiór/pojęcie/zdarzenie jest podzbiorem siebie samego. Twój wytłuszczony zapis to: Y = (p => p) = ~p + p Podstawmy: p=TP (twierdzenie Pitagorasa) Podstawiając do twojego wytłuszczonego masz: Y = (TP=>TP) = ~TP +TP =1 Innymi słowy zdanie które tu wypowiadasz to: A1. Prawdą jest (=1), że twierdzenie Pitagorasa nie jest prawdziwe (~TP=1) lub jest prawdziwe (TP=1) Y = (TP=>TP) = ~TP+TP =1 Oczywiście ta wynikowa jedynka oznacza tu zdanie zawsze prawdziwe, co ma zero wspólnego z udowodnieniem prawdziwości twierdzenia Pitagorasa (TP) Matematycznie zachodzi: Y = (p=>p) = ~p+p := Y = (p=>p) =p Gdzie: := - redukcja tożsamości dla p=1 Jeśli p=1 to ~p=0 Plus prawo algebry Boole'a: ~p+p = 0+p =p cnd Dowód na przykładzie: Y = (TP=>TP) = ~TP+TP := Y = (TP=>TP) = TP Gdzie: := - redukcja tożsamości dla p=1 (TP=1) Nasz przykład: TP=1 - prawdą jest (=1), że zachodzi twierdzenie Pitagorasa ~TP=0 - fałszem jest (=0), że nie zachodzi twierdzenie Pitagorasa Stąd mamy: Y = (TP=>TP) = ~TP+TP = 0+TP =TP cnd Ostatnio zmieniony przez rafal3006 dnia Nie 8:30, 07 Lip 2024, w całości zmieniany 6 razy Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 14:09, 06 Lip 2024    Temat postu: Irbisol napisał: Dostałeś kontrprzykład, schizofreniku. Gówno wyplułeś a nie kontrprzykład do dowodu Prosiaczka. Bardzo proszę, kolejna fala elektrowstrząsów tobie dedykowana: http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7775.html#805827 rafal3006 napisał: Irbisol = biały karzeł - zrozumiesz to kiedy, czy nigdy? http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7675.html#805257 rafal3006 napisał: Irbisol napisał: Pokazałem kontrprzykład dla tezy. W swojej schizofrenii zakładasz zapewne, że po przedstawieniu dowodu kontrprzykład przestanie działać Skoro jesteś taki pewien że masz kontrprzykład dla dowodu Prosiaczka, to czemu trzęsiesz się jak galaretka, odmawiając przeczytania króciutkiego dowodu Prosiaczka? Irbisol napisał: I nie zapominajmy, że biały karzeł wg AK jest podzbiorem supernowych. … no i doigrałeś się płaskoziemcze, trzeba było siedzieć cicho jak mysz pod miotłą i nie zdradzać swojego kontrprzykładu dla świętości matematycznej: Warunek wystarczający p=>q = relacja podzbioru p=>q Jednozdaniowy dowód Prosiaczka powyższej świętości jest następujący: A1. Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2 P8=>P2 =1 Podzielność dowolnej liczby przez 8 jest (=1) warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..] Dla udowodnienia prawdziwości zdania A1 każdy matematyk korzysta tu ze świętej tożsamości: Warunek wystarczający p=>q = relacja podzbioru p=>q Udowodnienie relacji podzbioru P8=>P2 to pikuś dla każdego matematyka. Kwadratura koła dla Irbisola: Irbisol twierdzi, że święta matematyczna tożsamość: Warunek wystarczający p=>q = relacja podzbioru p=>q jest fałszem. Skoro tak twierdzisz Irbisolu, to podaj kontrprzykład dla dowodu Prosiaczka wyrażonego zdaniem A1, czyli udowodnij prawdziwość zdania A1 nie korzystając ze świętej tożsamości matematycznej. Oczywiście jeśli tego dokonasz, to automatycznie skasujesz calusieńką algebrę Kubusia - spełni się twoje odwieczne marzenie, zatem: Czas START! P.S. Irbisol = biały karzeł - zrozumiesz to kiedy, czy nigdy? Ostatnio zmieniony przez rafal3006 dnia Sob 14:13, 06 Lip 2024, w całości zmieniany 1 raz Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość Irbisol Dołączył: 06 Gru 2005 Posty: 15476 Przeczytał: 25 tematów Wysłany: Sob 15:16, 06 Lip 2024    Temat postu: Jaka kolejna fala, schizofreniku? Powtórzyłeś to, na co ci odpowiedziałem. Kontrprzykładu nawet nie tknąłeś. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 15:40, 06 Lip 2024    Temat postu: Irbisol napisał: Jaka kolejna fala, schizofreniku? Powtórzyłeś to, na co ci odpowiedziałem. Kontrprzykładu nawet nie tknąłeś. Wszystko ci sie pokićkało, nie obala się kontrprzykładów. Kontrprzykłady służą do obalania twierdzeń matematycznych (dowodów matematycznych). Ty masz obalić dowód Prosiaczka, żaden matematyk nie będzie obalał twojego gówno-kontrprzykładu. Bardzo proszę - kolejna fala elektrowstrząsów. http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7775.html#805857 rafal3006 napisał: Przykro mi Irbisolu, twoja schizofrenia sięgnęła kosmosu! Wskazanie twojego osobistego psychiatry Prosiaczka: elektrowstrząsy Irbisol napisał: Naprawdę jesteś tak głupi, że uważasz że coś udowodniłeś podając jeden przykład? Btw. Tak obstawiałem, że to zrobisz ale pomyślałem "nie, takim durniem na pewno nie jest" Dla tępaków twojego pokroju: Jeżeli liczba jest podzielna przez 2, to jest podzielna przez 3. Podaję przykład: 6 I już mamy "dowód" w twoim stylu. http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049 Algebra Kubusia - teoria ogólna warunku wystarczającego napisał: 2.3.2 Definicja warunku wystarczającego => w zbiorach Definicja podzbioru => w algebrze Kubusia: Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona Inaczej: p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona Definicja warunku wystarczającego => w zbiorach: Jeśli p to q p=>q =1 Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q Inaczej: p=>q =0 Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q Matematycznie zachodzi tożsamość logiczna: Warunek wystarczający => = relacja podzbioru => Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego: p=>q = ~p+q Przykład: A1. Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2 P8=>P2 =1 Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..] Udowodnić relację podzbioru P8=>P2 potrafi każdy matematyk. W zapisie formalnym mamy tu: p=P8=[8,16,24..] - zbiór liczb podzielnych przez 8 q=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2 Gdzie: p - przyczyna (część zdania po "Jeśli …") q - skutek (część zdania po "to…") Podsumowując: Kod: Definicja warunku wystarczającego =>: Zapis formalny: A1: p=>q = ~p+q Zapis aktualny (przykład): A1: p=P8 A1: q=P2 A1: P8=>P2=~P8+P2 Irbisol napisał: Naprawdę jesteś tak głupi, że uważasz że coś udowodniłeś podając jeden przykład? Btw. Tak obstawiałem, że to zrobisz ale pomyślałem "nie, takim durniem na pewno nie jest" Dla tępaków twojego pokroju: Jeżeli liczba jest podzielna przez 2, to jest podzielna przez 3. Podaję przykład: 6 I już mamy "dowód" w twoim stylu. Aplikuję ci Irbisolu, pierwszą serię elektrowstrząsów analizując gówno które zapisałeś - cóż pobrudzę sobie gumiaki, ale poświęcam się wyłącznie dla ciebie, przyjacielu. A2. Jeśli dowolna liczba jest podzielna przez 2 to jest podzielna przez 3 P2=>P3 =0 Podzielność dowolnej liczby przez 2 jest warunkiem wystarczającym => dla jej podzielności przez 3 wtedy i tylko wtedy gdy zbiór P2=[2,4,6,8..] jest podzbiorem => zbioru P3=[3,6,9…] Oczywistym jest że zbiór P2=[2,4,6,8..] nie jest (=0) podzbiorem => zbioru P3=[3,6,9..] Stąd wartość logiczna zdania A2 to FAŁSZ (=0). cnd Prosiaczek, twój osobisty psychiatra zapytuje cię. Irbisolu, czy pierwsza seria elektrowstrząsów w postaci zdania A2 jest dla ciebie wystarczająca? Innymi słowy: Czy akceptujesz już świętą tożsamość matematyczną zawsze i wszędzie, tzn. dla dowolnych zbiorów p i q? Warunek wystarczający p=>q = relacja podzbioru p=>q TAK/NIE Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 17:06, 06 Lip 2024    Temat postu: ... Ostatnio zmieniony przez MaluśnaOwieczka dnia Nie 19:47, 28 Lip 2024, w całości zmieniany 1 raz Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 17:43, 06 Lip 2024    Temat postu: ... Ostatnio zmieniony przez MaluśnaOwieczka dnia Nie 19:47, 28 Lip 2024, w całości zmieniany 1 raz Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 18:53, 06 Lip 2024    Temat postu: ... Ostatnio zmieniony przez MaluśnaOwieczka dnia Nie 19:47, 28 Lip 2024, w całości zmieniany 2 razy Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość szaryobywatel Dołączył: 21 Wrz 2016 Posty: 6071 Przeczytał: 62 tematy Płeć: Mężczyzna Wysłany: Sob 19:00, 06 Lip 2024    Temat postu: To jest urocze kiedy widać że on wie że nie ma racji, ale i tak powtarza swoje. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 19:00, 06 Lip 2024    Temat postu: ... Ostatnio zmieniony przez MaluśnaOwieczka dnia Nie 19:48, 28 Lip 2024, w całości zmieniany 2 razy Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość szaryobywatel Dołączył: 21 Wrz 2016 Posty: 6071 Przeczytał: 62 tematy Płeć: Mężczyzna Wysłany: Sob 19:02, 06 Lip 2024    Temat postu: Maluśny spierdalaj bo Kubusia płoszysz. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 19:05, 06 Lip 2024    Temat postu: ... Ostatnio zmieniony przez MaluśnaOwieczka dnia Nie 19:48, 28 Lip 2024, w całości zmieniany 1 raz Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość szaryobywatel Dołączył: 21 Wrz 2016 Posty: 6071 Przeczytał: 62 tematy Płeć: Mężczyzna Wysłany: Sob 19:07, 06 Lip 2024    Temat postu: MaluśnaOwieczka napisał: szaryobywatel napisał: Maluśny spierdalaj bo Kubusia płoszysz. Czekaj, jak tylko moja matka odejdzie, to się rozliczymy. Lepiej się módl, żeby długo żyła. Ty ze mną się rozliczysz? Zginiesz chłopczyku jak się zbliżysz tylko do nas. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 19:15, 06 Lip 2024    Temat postu: szaryobywatel napisał: MaluśnaOwieczka napisał: szaryobywatel napisał: Maluśny spierdalaj bo Kubusia płoszysz. Czekaj, jak tylko moja matka odejdzie, to się rozliczymy. Lepiej się módl, żeby długo żyła. Ty ze mną się rozliczysz? Zginiesz chłopczyku jak się zbliżysz tylko do nas. "Was" już wtedy nie będzie, bo statystyka nie wróży Wam udanego związku. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 19:29, 06 Lip 2024    Temat postu: Wszyscy debile zakładają, że ich związek się nie rozleci, kiedy według statystyk niemal 50% małżeństw w miastach się rozwodzi, zaś ponad 60% rozwiedzionych małżeństw to małżeństwa bezdzietne. Najczęstszy małżeński staż rozwodników to 14 lat. Wy jesteście z miasta, a dzieci nie macie i mieć, jak wszystko wskazuje, nie będziecie. A nawet nie jesteście małżeństwem. Trzeba być debilem, żeby nie brać tych statystyk pod uwagę. No ale hurra optymizm... W każdym takim małżeństwie na początku było "wielkie uczucie" i wspaniały seks. I mimo tych publicznie dostępnych statystyk, żadne z tych małżeństw nie przewidziało, że się rozpadnie Ostatnio zmieniony przez MaluśnaOwieczka dnia Sob 19:35, 06 Lip 2024, w całości zmieniany 1 raz Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość Irbisol Dołączył: 06 Gru 2005 Posty: 15476 Przeczytał: 25 tematów Wysłany: Sob 19:30, 06 Lip 2024    Temat postu: No i obaliłem ten dowód dla ułomnych, opierający się na jednym przykładzie. Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 19:47, 06 Lip 2024    Temat postu: Irbisol napisał: No i obaliłem ten dowód dla ułomnych, opierający się na jednym przykładzie. Zesrałeś się a nie obaliłeś - wymień pieluchę 2-latku http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049 Algebra Kubusia - teoria ogólna warunku wystarczającego napisał: 2.3.2 Definicja warunku wystarczającego => w zbiorach Definicja podzbioru => w algebrze Kubusia: Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona Inaczej: p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona Definicja warunku wystarczającego => w zbiorach: Jeśli p to q p=>q =1 Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q Inaczej: p=>q =0 Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q Matematycznie zachodzi tożsamość logiczna: Warunek wystarczający => = relacja podzbioru => Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego: p=>q = ~p+q Przykład: A1. Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2 P8=>P2 =1 Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..] Udowodnić relację podzbioru P8=>P2 potrafi każdy matematyk. W zapisie formalnym mamy tu: p=P8=[8,16,24..] - zbiór liczb podzielnych przez 8 q=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2 Gdzie: p - przyczyna (część zdania po "Jeśli …") q - skutek (część zdania po "to…") Podsumowując: Kod: Definicja warunku wystarczającego =>: Zapis formalny: A1: p=>q = ~p+q Zapis aktualny (przykład): A1: p=P8 A1: q=P2 A1: P8=>P2=~P8+P2 Ostatnio zmieniony przez rafal3006 dnia Sob 20:05, 06 Lip 2024, w całości zmieniany 1 raz Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość szaryobywatel Dołączył: 21 Wrz 2016 Posty: 6071 Przeczytał: 62 tematy Płeć: Mężczyzna Wysłany: Sob 19:50, 06 Lip 2024    Temat postu: Kubuś, czyli zdanie: p = dzisiaj pada deszcz nie może być fałszywe? Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 19:51, 06 Lip 2024    Temat postu: Ponoć "zakochanie" trwa 4 lata. Po tym czasie ludzie zaczynają się męczyć swoją obecnością. Wynajmowałem kiedyś mieszkanie u takiej laski w moim wieku. Seks bomba. Miała faceta - prawnika. Taki trochę grubawy, ale bardzo pewny siebie i przebojowy. Ojejku, jakże oni razem wyglądali jak idealna para. W trakcie gdy wynajmowałem to jej mieszkanie, zdążyli wziąć ślub - akurat tego samego roku, kiedy poznałem wiadomo kogo. Potem jedno dziecko. Drugie dziecko. Trzecie dziecko. A po ośmiu latach się rozwiedli - też akurat w tym roku, gdy wiadomo kto zrobił mi co. A takie wspaniałe kochające się małżeństwo to było! A mi któraś dziewucha kiedyś miała za złe, bo powiedziałem jej, że boję się zamieszkać razem, żebyśmy się sobą nie znudzili... No ja, prose Pani, patrzę realistycznie. Statystyka mówi sama za siebie i nie ma co się z nią bić. Jednak takiego kłamstwa nie wybaczę!!! Nigdy!!! Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość rafal3006 Opiekun Forum Kubusia Dołączył: 30 Kwi 2006 Posty: 35586 Przeczytał: 15 tematów Skąd: z innego Wszechświata Płeć: Mężczyzna Wysłany: Sob 19:51, 06 Lip 2024    Temat postu: szaryobywatel napisał: To jest urocze kiedy widać że on wie że nie ma racji, ale i tak powtarza swoje. Wskaż błąd w moim przykładzie z twierdzeniem Pitagorasa (TP) niżej - wskażesz, kasuję AK http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7775.html#805867 rafal3006 napisał: Nawracanie szarego obywatela na jedynie słuszną, algebrę Kubusia! szaryobywatel napisał: Cytat: p=>(p=>p) = p=>p =p Czyli p => p = p p => p = ~p + p p = ~p + p 0 = 1 + 0 0 = 1 Kasuj AK. Dowolny zbiór/pojęcie/zdarzenie jest podzbiorem siebie samego. Twój wytłuszczony zapis to: Y = (p => p) = ~p + p Podstawmy: p=TP (twierdzenie Pitagorasa) Podstawiając do twojego wytłuszczonego masz: Y = (TP=>TP) = ~TP +TP =1 Innymi słowy zdanie które tu wypowiadasz to: A1. Prawdą jest (=1), że twierdzenie Pitagorasa nie jest prawdziwe (~TP=1) lub jest prawdziwe (TP=1) Y = (TP=>TP) = ~TP+TP =1 Oczywiście ta wynikowa jedynka oznacza tu zdanie zawsze prawdziwe, co ma zero wspólnego z udowodnieniem prawdziwości twierdzenia Pitagorasa (TP) Matematycznie zachodzi: Y = (p=>p) = ~p+p := Y = (p=>p) =p Gdzie: := - redukcja tożsamości dla p=1 Jeśli p=1 to ~p=0 Plus prawo algebry Boole'a: ~p+p = 0+p =p cnd Dowód na przykładzie: Y = (TP=>TP) = ~TP+TP := Y = (TP=>TP) = TP Gdzie: := - redukcja tożsamości dla p=1 (TP=1) Nasz przykład: TP=1 - prawdą jest (=1), że zachodzi twierdzenie Pitagorasa ~TP=0 - fałszem jest (=0), że nie zachodzi twierdzenie Pitagorasa Stąd mamy: Y = (TP=>TP) = ~TP+TP = 0+TP =TP cnd Czego w przykładzie z TP nie rozumiesz, płaskoziemco? Zaiste, trzeba mieć stolec między uszami by twierdzić że zapis: Y = (p=>p) =~p+p Mój przykład: p=TP (twierdzenie Pitagorasa) Y = (TP=>TP) = ~TP+TP =1 dowodzi prawdziwości twierdzenia Pitagorasa P.S. http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7700.html#805429 szaryobywatel napisał: Kubuś, tym spójnikiem "》" który cząstkowo zdefiniowałem, chciałem pobudzić do aktywności ten stolec który masz pomiędzy uszami. Znacznie łatwiej by Ci było oddawać w logice zdań wiele rzeczy, mn. język potoczny, gdybyś stosował w AK spójniki intensjonalne takie jak "może...", "... jest przyczyną że ...", itd. ... no i kto tu ma stolec między uszami, płaskoziemco? Ostatnio zmieniony przez rafal3006 dnia Nie 8:32, 07 Lip 2024, w całości zmieniany 6 razy Powrót do góry Zobacz poprzedni temat :: Zobacz następny temat   Autor Wiadomość MaluśnaOwieczka Dołączył: 28 Gru 2020 Posty: 6538 Przeczytał: 3 tematy Płeć: Mężczyzna Wysłany: Sob 19:58, 06 Lip 2024    Temat postu: Już widzę jak oni się umawiają ze sobą: "Na złość owcy będziemy razem! Żeby tylko nie wyszło, że owca miał rację" Powrót do góry Wyświetl posty z ostatnich: Wszystkie Posty1 Dzień7 Dni2 Tygodnie1 Miesiąc3 Miesiące6 Miesięcy1 Rok Najpierw StarszeNajpierw Nowsze         Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa) Idź do strony Poprzedni  1, 2, 3 ... 312, 313, 314 ... 378, 379, 380  Następny Strona 313 z 380   Skocz do: Wybierz forum Biuro----------------RegulaminFAQSamoocena - jak śfinie widzą ŚfinięPubliczne testowanie skryptówTest skryptu do KretowiskaKosmosZgłoszenia naruszeń RegulaminuJak zakończyć wojnę CDLM? Komentarze do artykułów----------------ArtykułyNotatkiFelietonyFilipikiKomentarze: Otwarte Referarium Filozoficzne (ORF)Komentarze: Anty(k)wariat WujauserDummyBlog: Biuro KretowiskagetblogKomentarze: Kretowisko (blogosfera)Blog: wujzbojBlog: Michał DyszyńskiBlog: Mirosław GalczakBlog: luzikBlog: KoriBlog: malaaviBlog: hushekBlog: IroBBlog: skrobipiórekBlog: v2Blog: SemeleBlog: bronmus45Blog: JanelleLBlog: Piotr RokubungiBlog: MimozaBlog: MMMEmulacja Działu Regulaminowego - niczego tu nie przenosimy!Blog: jesterPogaduchy luźne u MMMŻURNAL JanelleLNotatnik szkolny 18 JanelleLBlog: evaj23Blog: ApoloniaBlog: towarzyski.pelikanBlog: NetlisBlog: Kruchy04Blog: chryzjanBlog: Czytanki starożytneBlog: AnboBlog: Andy72 Światopogląd----------------FilozofiaRozbieranie irracjonalizmuApologia kontra krytyka teizmuŚwięte KsięgiKatolicyzmReligie i wyznaniaGenesisNauka a światopoglądSztuka a światopogląd Nauka----------------Świat nieożywionyŚwiat ożywionyŚwiat skomputeryzowanyMetodologiaNauki społeczne3: Sprawy ostateczne2: Genesis1: Wiara a wiedzaSprawy techniczneForum Kubusia Sztuka----------------WydarzeniaGaleria twórczościSeriale - utwory w odcinkach Towarzystwo----------------PowitaniaKretowiskoKawiarniaAktualnościLinkowniaGwiezdne WojnyWięzienieKrzyknikŚmietnikMagiel więzienny Stopka----------------Statystyka strony głównej - zliczenia od 1 lutego 2006Zaprzyjaźnione portale  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 Na skróty:BiuroKomentarze do artykułówŚwiatopoglądNaukaSztukaTowarzystwoStopkaFilozofiaWięzienieKretowiskoKawiarniaApologia kontra krytyka teizmuMetodologiaForum KubusiaRozbieranie irracjonalizmuBlog: hushekKatolicyzmGwiezdne WojnyNauki społeczneBlog: Michał DyszyńskiReligie i wyznaniaŚwięte KsięgiBlog: IroBKosmosGenesisBlog: MMMPowitaniaNauka a światopoglądŚmietnikRegulamin