 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
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ł: 6 tematów
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: 15381
Przeczytał: 29 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: 35357
Przeczytał: 24 tematy
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: 15381
Przeczytał: 29 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: 35357
Przeczytał: 24 tematy
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: 35357
Przeczytał: 24 tematy
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: 15381
Przeczytał: 29 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: 35357
Przeczytał: 24 tematy
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ł: 6 tematów
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ł: 6 tematów
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ł: 6 tematów
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: 6062
Przeczytał: 90 tematów
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ł: 6 tematów
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: 6062
Przeczytał: 90 tematów
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ł: 6 tematów
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: 6062
Przeczytał: 90 tematów
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ł: 6 tematów
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ł: 6 tematów
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: 15381
Przeczytał: 29 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: 35357
Przeczytał: 24 tematy
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: 6062
Przeczytał: 90 tematów
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ł: 6 tematów
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: 35357
Przeczytał: 24 tematy
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ł: 6 tematów
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 |
|
|
|
|
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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
