 |
Ś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: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Czw 9:31, 31 Mar 2022 Temat postu: |
|
|
Spójnik równoważności p<=>q w zbiorach nieminimalnych ale skończonych!
Brawa dla Irbisola - za znajdowanie ciekawych cytatów w Wikipedii
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Niniejszym przepraszam autora wpisu w angielskiej Wikipedii za nazwanie go tłukiem, bo jego podpis pod diagramem Venna poprawnie opisuje wszystkie spójniki logiczne na zbiorach minimalnych lub skończonych. |
Czyli, odpowiadając jednym zdaniem na moje pytanie ... |
Irbisolu, przeprosiłem autora wpisu, wystarczy, co jeszcze twoim zdaniem powinienem był zrobić? |
Odpowiedzieć na moje pytanie. |
Na wszystkie twoje pytania odpowiedziałem - nie wiem o jakie pytanie ci chodzi. Czy mógłbyś podawać link do twojego pytania o które ci chodzi.
Wrócę teraz do słynnego cytatu Irbisola znalezionego w Internecie.
Spójnik implikacji prostej p|=>q załatwiliśmy w poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653293
Spójnik implikacji odwrotnej p|~>q na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
Nadszedł czas na omówienie ostatniego możliwego znaczenia diagramu Venna z Wikipedii na tym samym układzie zbiorów A i B, czyli punktu 3 z poniższego cytatu.
Spójnik równoważności p<=>q w zbiorach nieminimalnych ale skończonych!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
W algebrze Kubusia w zbiorach zachodzi tożsamość pojęć:
Warunek wystarczający A1: p=>q = relacja podzbioru A1: p=>q = twierdzenie proste A1: p=>q=~p+q
##
Warunek konieczny B1: p~>q = relacja nadzbioru B1: p~>q = twierdzenie odwrotne B3: q=>p=~q+p
bo prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
| Kod: |
DR
Diagram Venna jako równoważność p<=>q w zbiorach skończonych
------------------------------------------------
| Wspólna dziedzina D=A+B |
------------------------------------------------
---------------------------------
| B |
------------------------------------------------
| A |
------------------------------------------------
| A*~B | p=q=A*B | B*~A |
------------------------------------------------
|
Zdefiniujmy zbiory minimalne pasujące do powyższego diagramu Venna.
A=[1,2]
B=[2,3]
p=q=A*B=[2]
Dziedzina:
D=[1,2,3]
stąd:
~p=[D-p]=[(1,2,3]-(2)]=[1,3]
~q=[D-q]=[(1,2,3)-(2)]=[1,3]
Definicja równoważności p<=>q w zbiorach:
Zbiór p=[2] jest nadzbiorem ~> zbioru q=[2] i jest tożsamy ze zbiorem q=[2]
Dziedzina musi być szersza od sumy zbiorów p+q
Sprawdzamy:
p+q = [2]+[2]=[2]
Natomiast dziedzina D to:
D=[1,2,3]
cnd
Wniosek:
Diagram DR i w powyższej interpretacji spełnia definicję równoważności p<=>q
Sprawdzenie:
Analiza matematyczna diagramu DR przez wszystkie możliwe przeczenia p i q
A1.
Jeśli dowolna liczba należy do zbioru p to na 100% => należy do zbioru q
p=>q =1
[2]=>[2]=1
Definicja warunku wystarczającego => jest spełniona bo zbiór p=[2] jest podzbiorem => zbioru q=[2]
Każdy zbiór/pojęcie jest podzbiorem siebie samego
cnd
Prawdziwy warunek wystarczający A1 wymusza fałszywość kontrprzykładu A1’ (i odwrotnie).
A1’.
Jeśli dowolna liczba należy do zbioru p to może ~~> należeć do zbioru ~q
p~~>~q = p*~q =[] =0
Fałszywości zdania A1’ nie musimy udowadniać bo na mocy definicji kontrprzykładu wynika ona z prawdziwości warunku wystarczającego => A1.
Nie musimy, nie oznacza, że nie możemy.
Sprawdzamy:
Definicja elementu wspólnego zbiorów ~~> nie jest spełniona bo nie istnieje element wspólny ~~> zbiorów p=[2] i ~q=[1,3]
cnd
… a jeśli liczba nie należy do zbioru p (~p=1)?
Prawo Kubusia:
A1: p=>q = A2: ~p~>~q
sąd mamy:
A2.
Jeśli dowolna liczba należy do zbioru ~p to na 100% ~> należy do zbioru ~q
~p~>~q =1
Na mocy prawa Kubusia nie musimy sprawdzać prawdziwości zdania A2, ale możemy sprawdzić.
Definicja warunku koniecznego ~> jest spełniona bo zbiór ~p=[1,3] jest nadzbiorem ~> zbioru ~q=[1,3]
Każdy zbiór/pojęcie jest nadzbiorem ~> siebie samego.
Jak widzimy, to na 100% ~> w treści zdania A2 jest tu w pełni uzasadnione.
cnd
Wszystkie zdania które do tej pory zapisaliśmy wynikają z prawdziwości warunku wystarczającego => A1 i prawa Kubusia.
Jedyną rzeczą której do tej pory nie rozstrzygnęliśmy, to zbadanie czy w zdaniu A2 kodowanym warunkiem wystarczającym => ten warunek jest spełniony/niespełniony.
Zatem zbadajmy:
B2.
Jeśli dowolna liczba należy do zbioru ~p to na 100% => należy do zbioru ~q
~p=>~q =1
Dowód:
Definicja warunku wystarczającego => jest (=1) spełniona, bo zbiór ~p=[1,3] jest podzbiorem => zbioru ~q=[1,3]
cnd
Z prawdziwości warunku wystarczającego B2 wynika fałszywość kontrprzykładu B2’ (i odwrotnie)
B2’.
Jeśli dowolna liczba należy do zbioru ~p to może ~~> należeć do zbioru q
~p~~>q = ~p*q=[] =0
Fałszywości zdania B2’ nie musimy udowadniać, bo wynika ona z definicji kontrprzykładu dla zdania B2.
Nie musimy, nie oznacza, ze nie możemy.
Definicja elementu wspólnego zbiorów ~~> ~p=[1,3] i q=[2] nie jest spełniona (=0)bo zbiory te są rozłączne
cnd
Zauważmy, że wyskoczyło nam tu prawo Kameleona.
Prawo Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame.
Dowodem jest tu treść zdań A2 i B2.
A2.
Jeśli dowolna liczba należy do zbioru ~p to na 100% ~> należy do zbioru ~q
~p~>~q =1
[1,3]~>[1,3]=1
##
B2.
Jeśli dowolna liczba należy do zbioru ~p to na 100% => należy do zbioru ~q
~p=>~q =1
[1,3]=>[1,3]=1
Gdzie:
## - różne na mocy definicji
Różność matematyczną zdań A2 i B2 rozpoznajemy wyłącznie po znaczkach warunku wystarczającego => i koniecznego ~> wbudowanych w treść zdań
Dowód formalny iż właściwy jest tu znaczek ##.
Definicja znaczka =>:
p=>q = ~p+q
Definicja znaczka ~>:
p~>q = p+~q
stąd mamy:
A2: ~p~>~q = (~p)+~(~q) = ~p+q
##
B2: ~p=>~q = ~(~p)+(~q) = p+~q
Gdzie:
## - różne na mocy definicji
cnd
Stąd mamy definicję równoważności p<=>q w zbiorach:
A1: p=>q=1 - zbiór p=[2] jest (=1) podzbiorem => zbioru q=[2]
B1: p~>q=1 - zbiór p=[2] jest (=1) nadzbiorem ~> zbioru q=[2]
To samo w równaniu logicznym:
p<=>q=(A1: p=>q)*(B1: p~>q)=1*1=1
Czytamy:
Równoważność p<=>q jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p=[2] jest nadzbiorem ~> zbioru q=[2] (B1) i jednocześnie jest podzbiorem => zbioru q=[2] (A1.
Prawo Słonia:
W algebrze Kubusia w zbiorach zachodzi tożsamość pojęć:
Warunek wystarczający A1: p=>q = relacja podzbioru A1: p=>q = twierdzenie proste A1: p=>q=~p+q
Stąd zapis tożsamy jest identyczny jak trzecie zdanie z angielskiej Wikipedii:
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Czytamy:
Równoważność p<=>q jest spełniona (=1) wtedy i tylko wtedy gdy bycie w p=A*B=[2] (A*B-obszar fioletowy) jest konieczne ~> (B1) i wystarczające => (A1) do bycia w q=A*B=[2] (A*B-obszar fioletowy).
Porównajmy ten zapis z trzecim zdaniem z Wikipedii:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
Jak widzimy w trzecim zdaniu z Wikipedii autor poprawnie matematycznie zapisał definicję równoważności p<=>q, tylko o tym nie wie.
Pytanie do Irbisola:
Czy zgadzasz się z tym faktem?
Zapiszmy naszą analizę w tabeli prawdy równoważności p<=>q:
| Kod: |
TR
Tabela prawdy równoważności p<=>q
zbudowana na fundamencie diagramu Venna dla zbiorów minimalnych
A1: p=> q =1 - bo zbiór p=[2] jest (=1) podzbiorem => zbioru q=[2]
A1’: p~~>~q=0 - bo zbiory p=[2] i ~q=[1,3] są rozłączne
A2: ~p~>~q =1 - bo zbiór p=[1,3] jest (=1) nadzbiorem ~> zbioru ~q=[1,3]
B2’:~p~~>q =0 - bo zbiory ~p=[1,3] i q=[2] są rozłączne
|
Podsumowanie:
Zauważmy że:
Po stronie p mamy gwarancję matematyczną => o której mówi zdanie A1.
A1.
Jeśli dowolna liczba należy do zbioru p to na 100% => należy do zbioru q
p=>q =1
[2]=>[2]=1
Jak również!
Po stronie ~p też mamy gwarancję matematyczną => o której mówi zdanie B2.
B2.
Jeśli dowolna liczba należy do zbioru ~p to na 100% => należy do zbioru ~q
~p=>~q =1
[1,3]=>[1,3]=1
Kluczowe pytania do Irbisola:
1.
Czy widzisz dwie gwarancje matematyczne => w równoważności p<=>q, jedna po stronie p, zaś druga po stronie ~p
2.
Czy widzisz fundamentalną różnicę między równoważnością p<=>q a implikacją (p|=>q i p|~>q) gdzie fundamentem było najzwyklejsze „rzucanie monetą” w sensie „na dwoje babka wróżyła” w jednej z połówek implikacji?
Ostatnio zmieniony przez rafal3006 dnia Czw 16:56, 31 Mar 2022, 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: 14163
Przeczytał: 19 tematów
|
| Wysłany: Czw 17:15, 31 Mar 2022 Temat postu: |
|
|
| rafal3006 napisał: | Spójnik równoważności p<=>q w zbiorach nieminimalnych ale skończonych!
Brawa dla Irbisola - za znajdowanie ciekawych cytatów w Wikipedii
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Niniejszym przepraszam autora wpisu w angielskiej Wikipedii za nazwanie go tłukiem, bo jego podpis pod diagramem Venna poprawnie opisuje wszystkie spójniki logiczne na zbiorach minimalnych lub skończonych. |
Czyli, odpowiadając jednym zdaniem na moje pytanie ... |
Irbisolu, przeprosiłem autora wpisu, wystarczy, co jeszcze twoim zdaniem powinienem był zrobić? |
Odpowiedzieć na moje pytanie. |
Na wszystkie twoje pytania odpowiedziałem - nie wiem o jakie pytanie ci chodzi. |
To go poszukaj.
Sam sobie utrudniłeś zadanie, a chcącemu nie dzieje się krzywda.
Tym bardziej, że nadal spamujesz nie na temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 18:38, 31 Mar 2022 Temat postu: |
|
|
Prawo Grzechotnika to Armagedon ziemskiego rachunku zero-jedynkowego na poziomie funkcji logicznych!
Prawo Grzechotnika:
Ziemski rachunek zero-jedynkowy który nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
cnd
| Irbisol napisał: | | rafal3006 napisał: |
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Niniejszym przepraszam autora wpisu w angielskiej Wikipedii za nazwanie go tłukiem, bo jego podpis pod diagramem Venna poprawnie opisuje wszystkie spójniki logiczne na zbiorach minimalnych lub skończonych. |
Czyli, odpowiadając jednym zdaniem na moje pytanie ... |
Irbisolu, przeprosiłem autora wpisu, wystarczy, co jeszcze twoim zdaniem powinienem był zrobić? |
Odpowiedzieć na moje pytanie. |
Na wszystkie twoje pytania odpowiedziałem - nie wiem o jakie pytanie ci chodzi. |
To go poszukaj.
Sam sobie utrudniłeś zadanie, a chcącemu nie dzieje się krzywda.
Tym bardziej, że nadal spamujesz nie na temat. |
Nie mam zamiaru niczego szukać, bo jak cofam się wstecz to różnych pytań zadawałeś „tysiące” i co ja mam zrobić iść po kolei od ostatniego twojego pytania?
To już w historii naszych dyskusji przerabiałem, twoja odpowiedź była zawsze taka:
Nie o to pytanie mi chodziło, szukaj dalej.
Czy nie widzisz tego, że już nikt nie wie, łącznie z tobą, o jakie pytanie ci chodziło?
Jeśli wiesz o jakie pytanie ci chodzi to po prostu podaj do niego link, lub zapisz jasno i klarownie.
Powtórki z rozrywki nie mam tu zamiaru robić.
Amen
Posłuchaj teraz Irbisolu:
Ja uznaję że pierwotne, czyli najważniejsze twoje pytanie dotyczyło twojego kapitalnego cytatu z Wikipedii i na ten temat od długiego czasu piszę.
Dążę do tego, byś ten cytat zrozumiał, a jak zrozumiesz, to zrozumiesz że ten cytat to Armagedon wszelkich ziemskich logik, bo uderza w ziemski rachunek zero-jedynkowy, który jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
Czyż udowodnienie tego faktu nie jest tu najważniejsze?
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
W algebrze Kubusia w zbiorach zachodzi tożsamość pojęć:
Warunek wystarczający A1: p=>q = relacja podzbioru A1: p=>q = twierdzenie proste A1: p=>q=~p+q
##
Warunek konieczny B1: p~>q = relacja nadzbioru B1: p~>q = twierdzenie odwrotne B3: q=>p=~q+p
bo prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
Słynny na cały już Wszechświat, kapitalny cytat Irbisola z Wikipedii:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
Drugie wejście smoka to znalezienia wiadomego cytatu w angielskiej Wikipedii, gdzie autor na bazie diagramu Venna zapisał słownie poprawnie matematycznie trzy różne definicje spójników logicznych, tylko o tym nie wie.
1:
Implikacja prosta p|=>q:
A1: p=>q=1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
stąd:
p|=>q=(A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Wikipedia, cytat 1:
Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne
Implikacja prosta p|=>q dla cytatu z Wikipedii została szczegółowa omówiona tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653293
##
2:
Implikacja odwrotna p|~>q:
A1: p=>q=0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q=1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
p|~>q=~(A1: p=>q)*(B1: p~>q)=~(0)*1=1*1=1
Wikipedia, cytat 2:
Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy
Spójnik implikacji odwrotnej p|~>q na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
##
3:
Równoważność p<=>q:
A1: p=>q=1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Wikipedia, cytat 3:
Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
Równoważność dokładnie na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653663
Gdzie:
## - różne na mocy definicji
Teraz uważaj Irbisolu:
Powyższe definicje spójników logicznych są totalnie nieznane ziemskim matematykom!
Czy zgadzasz się z tym faktem?
Co więcej!
Powyższe definicje spójników logicznych to Armagedon wszelkich ziemskich logik matematycznych bo łatwo tu udowodnić, iż fundament wszelkich ziemskich logik, rachunek zero-jedynkowy, jest wewnętrznie sprzeczny na poziomie funkcji logicznych!
Irbisolu, czy zgadzasz się na poniższą, matematykę ścisłą?
Definicja warunku wystarczającego p=>q dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q
##
Definicja warunku koniecznego p~>q dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
Na mocy definicji zachodzi:
1.
Implikacja prosta p|=>q w zapisie formalnym (ogólnym):
Y = p|=>q = (A1: p=>q)*~(B1: p~>q) = (~p+q)*~(p+~q)=(p+~q)*(~p*q)=~p*q
Do zapisania:
1: Y = p|=>q = ~p*q
bo kolejność wykonywania działań: negacja, nawiasy, „i”(*), „lub”(+)
##
2.
Implikacja odwrotna p|~>q w zapisie formalnym (ogólnym):
Y = p|~>q = ~(A1: p=>q)*(B1: p~>q) = ~(~p+q)*(p+~q)=(p*~q)+(p+~q)=p*~q
Do zapisania:
Y = p|~>q = p*~q
##
3.
Równoważność p<=>q w zapisie formalnym (ogólnym):
Y = p<=>q = (A1: p=>q)*(B1: p~>q) = (~p+q)*(p+~q)=~p*p + ~p*~q + q*p + q*~q=p*q+~p*~q
Do zapisania:
2: Y = p<=>q = p*q+~p*~q
##
4.
Chaos p|~~>q w zapisie formalnym (ogólnym):
Y = p|~~>q = ~(A1: p=>q)*~(B1: p~>q) = ~(~p+q)*~(p+~q)=(p*~q)*(~p*q)=0
bo p*~p=0
Do zapisania:
3: Y = p|~~>q)=0
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Dowód iż funkcje logiczne 1,2,3 są różne na mocy definicji ## znajdziemy w algebrze Kubusia.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-w-trakcie,20453.html#636575
3.1.2 Grupa spójników implikacyjnych „Jeśli p to q” i równoważnościowych p<=>q
Weźmy grupę spójników TF4-11
| Kod: |
TF4-5
Grupa warunków wystarczających p=>q i koniecznych p~>q:
Definicja warunku wystarczającego p=>q:
A4: Y = (p=>q) = ~p+q # B4: ~Y=~(p=>q) = p*~q
## ##
Definicja warunku koniecznego p~>q:
A5: Y = (p~>q) = p+~q # B5: ~Y=~(p~>q) =~p* q
## ##
TF6-7
Grupa spójników implikacyjnych p|=>q i p|~>q:
Definicja implikacji prostej p|=>q:
A6: Y = p|=>q =~p* q # B6: ~Y=~(p|=>q)= p+~q
## ##
Definicja implikacji odwrotnej p|~>q:
A7: Y = p|~>q = p*~q # B7: ~Y=~(p|~>q)=~p+ q
## ##
TF8-9
Grupa spójników równoważnościowych p<=>q i p$q
Definicja równoważności p<=>q:
A8: Y = p<=>q = ~(p$q) =p*q+~p*~q # B8: ~Y=~(p<=>q)=(p$q)=p*~q+~p*q
## ##
Definicja spójnika „albo”($):
A9: Y = p$q = ~(p<=>q)=p*~q+~p*q # B9: ~Y=~(p$q) =(p<=>q)=p*q+~p*~q
## ##
TF10-11
Grupa spójników chaosu p|~~>q:
Definicja chaosu p|~~>q (Y=1):
A10: Y =(p*q+p*~q+~p*q+~p*~q)=1 # B7: ~Y=~(p*q+p*~q+~p*q+~p*~q)=0
## ##
Definicja śmierci (Y=0):
A11: Y =~(p*q+p*~q+~p*q+~p*~q)=0 # B11:~Y= (p*q+p*~q+~p*q+~p*~q)=1
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p,q,Y muszą być wszędzie tymi samymi p,q,Y inaczej błąd podstawienia
|
Definicja znaczka różne na mocy definicji funkcji logicznych ##:
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, że w tabeli TF4-11 definicje obu znaczków # i ## są perfekcyjnie spełnione.
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach powyższych funkcji logicznych.
Dowód:
W całym Internecie (plus podręczniki matematyki) nie znajdziemy ani jednej kolumny wynikowej w rachunku zero-jedynkowym opisanej funkcją logiczną Y (albo ~Y).
Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli TF4-11.
| Kod: |
[code]
TF4-11’
Grupa warunków wystarczających p=>q i koniecznych p~>q:
Definicja warunku wystarczającego p=>q:
A4: ~p+q # B4: p*~q
## ##
Definicja warunku koniecznego p~>q:
A5: p+~q # B5: ~p* q
## ##
TF6-7
Grupa spójników implikacyjnych p|=>q i p|~>q:
Definicja implikacji prostej p|=>q:
A6: ~p* q # B6: p+~q
## ##
Definicja implikacji odwrotnej p|~>q:
A7: p*~q # B7: ~p+ q
## ##
TF8-9
Grupa spójników równoważnościowych p<=>q i p$q
Definicja równoważności p<=>q:
A8: p*q+~p*~q # B8: p*~q+~p*q
## ##
Definicja spójnika „albo”($):
A9: p*~q+~p*q # B9: p*q+~p*~q
## ##
TF10-11
Grupa spójników chaosu p|~~>q:
Definicja chaosu p|~~>q (Y=1):
A10: p*q+p*~q+~p*q+~p*~q=1 # B10:~(p*q+p*~q+~p*q+~p*~q)=0
## ##
Definicja śmierci (Y=0):
A11:~(p*q+p*~q+~p*q+~p*~q)=0 # B11: (p*q+p*~q+~p*q+~p*~q)=1
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p,q,Y muszą być wszędzie tymi samymi p,q,Y inaczej błąd podstawienia
[/code]
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Doskonale widać, że w tabeli TF4-11’ najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą poniższe tożsamości.
| Kod: |
A4: ~p+ q = B7: ~p+ q
A5: p+~q = B6: p+~q
A6: ~p* q = B5: ~p* q
A7: p*~q = B4: p*~q
A8: p* q+~p*~q = B9: p* q+~p*~q
A9: p*~q+~p* q = B8: p*~q+~p* q
A10: 1 = B11: 1
A11: 0 = B10: 0
cnd
|
Stąd mamy:
Prawo Grzechotnika:
Ziemski rachunek zero-jedynkowy który nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
cnd
Ostatnio zmieniony przez rafal3006 dnia Czw 18:45, 31 Mar 2022, 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: 14163
Przeczytał: 19 tematów
|
| Wysłany: Czw 19:51, 31 Mar 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Niniejszym przepraszam autora wpisu w angielskiej Wikipedii za nazwanie go tłukiem, bo jego podpis pod diagramem Venna poprawnie opisuje wszystkie spójniki logiczne na zbiorach minimalnych lub skończonych. |
Czyli, odpowiadając jednym zdaniem na moje pytanie ... |
Irbisolu, przeprosiłem autora wpisu, wystarczy, co jeszcze twoim zdaniem powinienem był zrobić? |
Odpowiedzieć na moje pytanie. |
Na wszystkie twoje pytania odpowiedziałem - nie wiem o jakie pytanie ci chodzi. |
To go poszukaj.
Sam sobie utrudniłeś zadanie, a chcącemu nie dzieje się krzywda.
Tym bardziej, że nadal spamujesz nie na temat. |
Nie mam zamiaru niczego szukać, bo jak cofam się wstecz to różnych pytań zadawałeś „tysiące” |
Cofnij się tylko do ostatniego.
Dopóki nie odpowiesz, nawet nie czytam co dalej piszesz.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 6:49, 01 Kwi 2022 Temat postu: |
|
|
Prawo Irbisola dla zbiorów!
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych.
Pytanie do Irbisola:
Czy zgadzasz się na prawo Irbisola, dzięki tobie odkryte?
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
W algebrze Kubusia w zbiorach zachodzi tożsamość pojęć:
Warunek wystarczający A1: p=>q = relacja podzbioru A1: p=>q = twierdzenie proste A1: p=>q=~p+q
##
Warunek konieczny B1: p~>q = relacja nadzbioru B1: p~>q = twierdzenie odwrotne B3: q=>p=~q+p
bo prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
| Irbisol napisał: |
Cofnij się tylko do ostatniego.
Dopóki nie odpowiesz, nawet nie czytam co dalej piszesz. |
ok
Cofam się do ostatniego twojego pytania.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653307
| Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653731
| Irbisol napisał: |
Słynny na cały już Wszechświat, kapitalny cytat Irbisola z Wikipedii:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
Drugie wejście smoka to znalezienia wiadomego cytatu w angielskiej Wikipedii, gdzie autor na bazie diagramu Venna zapisał słownie poprawnie matematycznie trzy różne definicje spójników logicznych, tylko o tym nie wie.
1:
Implikacja prosta p|=>q:
A1: p=>q=1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
stąd:
p|=>q=(A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Wikipedia, cytat 1:
Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne
Implikacja prosta p|=>q dla cytatu z Wikipedii została szczegółowa omówiona tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653293
##
2:
Implikacja odwrotna p|~>q:
A1: p=>q=0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q=1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
p|~>q=~(A1: p=>q)*(B1: p~>q)=~(0)*1=1*1=1
Wikipedia, cytat 2:
Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy
Spójnik implikacji odwrotnej p|~>q na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
##
3:
Równoważność p<=>q:
A1: p=>q=1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Wikipedia, cytat 3:
Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
Równoważność dokładnie na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653663
Gdzie:
## - różne na mocy definicji
|
Udowodnienie iż dowolne zdanie x wchodzi w skład spójnika logicznego X (np. p<=>q) jest tożsame z udowodnieniem iż zdanie x wchodzi w skład operatora logicznego X (np. p|<=>q)).
Jeśli tego nie rozumiesz to chętnie ci wyjaśnię - zapytaj.
Podsumowując mój cytat wyżej.
W zbiorach skończonych fantastyczny malunek z Wikipedii (diagram Venna z opisem) znaleziony przez Irbisola doskonale opisuje trzy i tylko trzy spójniki logiczne:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
ale nie jest w stanie opisać ostatniego ze spójników logicznych, spójnika chaosu p|~~>q.
Definicja spójnika chaosu p|~~>q:
Chaos p|~~>q to cztery zbiory niepuste mające element wspólny każdy z każdym, uzupełniające się do wspólnej dziedziny D
D = p*q+p*~q+~p*q+~p*~q = p*(q+~q)*~p*(q+~q) = p+~p=1
Innymi słowy:
Chaos p|~~>q to nie zachodzenie ani warunku wystarczającego => (A1), ani też koniecznego ~> (B1) między dowolnymi punktami i w tym samym kierunku
A1: p=>q=0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q=0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
stąd:
p|~~>q = ~(A1: p=>q)*~(B1: p~>q) =~(0)*~(0)=1*1=1
Przykład spójnika chaosu p|~~>q w zbiorach.
Definicja chaosu P8|~~>P3:
Chaos P8|~~>P3 to nie zachodzenie ani warunku wystarczającego =>, ani też koniecznego ~> między tymi samymi punktami i w tym samym kierunku:
A1: P8=>P3 =0 - podzielność dowolnej liczby przez 8 nie jest (=0) warunkiem wystarczającym =>
dla jej podzielności przez 3, bo zbiór P8 nie jest (=0) podzbiorem => P3
B1: P8~>P3 =0 - podzielność dowolnej liczby przez 8 nie jest (=0) warunkiem koniecznym ~>
dla jej podzielności przez 3, bo zbiór P8 nie jest (=0) nadzbiorem ~> P3
Stąd:
P8|~~>P3 = ~(A1: P8=>P3)*~(B1: P8~>P3) = ~(0)*~(0) =1*1 =1
Zbadajmy tabelę prawdy dla spójnika chaosu P8|~~>P3:
| Kod: |
CH
Tabela prawdy spójnika chaosu P8|~~>P8
przez wszystkie możliwe przeczenia p i q
A: P8~~> P3= P8* P3=1 - bo zbiory P8 i P3 mają element wspólny ~~> np. 24
B: P8~~>~P3= P8*~P3=1 - bo zbiory P8 i ~P3 mają element wspólny ~~> np. 8
C:~P8~~>~P3=~P8*~P3=1 - bo zbiory ~P8 i ~P3 mają element wspólny ~~> np. 2
D:~P8~~> P3=~P8* P3=1 - bo zbiory ~P8 i P3 mają element wspólny ~~> np. 3
|
cnd
Zauważmy że:
W tabeli prawdy CH nie ma ani jednego kontrprzykładu fałszywego, co wyklucza występowanie tu warunku wystarczającego => a tym samym koniecznego ~>
cnd
Podsumowując:
Najsłynniejszy malunek z angielskiej Wikipedii (diagram Venna z opisem) nie jest w stanie opisać spójnika chaosu p|~~>q, bowiem do jego opisu są konieczne cztery zbiory niepuste gdzie każdy z każdym ma co najmniej jeden element wspólny (patrz tabela prawdy CH), natomiast w diagramie Venna mamy tylko dwa zbiory różne i niepuste A i B, mające co najmniej jeden element wspólny (w sumie trzy zbiory).
cnd
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
| Kod: |
Diagram Venna z uwzględnieniem wspólnej dziedziny D
------------------------------------------------
| Wspólna dziedzina D=A+B |
------------------------------------------------
---------------------------------
| B |
------------------------------------------------
| A |
------------------------------------------------
| A*~B | A*B | B*~A |
------------------------------------------------
|
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych
Dowód na przykładzie:
Część I
Dla tych samych zbiorów skończonych A i B diagram Venna opisuje poprawnie trzy spójniki logiczne:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
oraz nie opisuje spójnika chaosu:
p|~~>q - chaos
Dowód w niniejszym poście.
Część II
Dla zbiorów nieskończonych diagram Venna opisuje poprawnie tylko i wyłącznie przypadek 3 z poniższego przykładu
Przykład:
Niech będą dane dwa zbiory niepuste i nieskończone:
Am - zbiór liczb podzielnych przez m
Bn - zbiór liczb podzielnych przez n
Oznaczmy:
Cx - nieskończony zbór wynikowy Am*Bn
Cx=Am*Bn
Gdzie:
x=m*n
Prawo teorii zbiorów:
Am*Bn=C(m*n)
Iloczyn logiczny zbiorów Am*Bn może tworzyć tylko i wyłącznie następujące trzy konfiguracje.
1.
Zbiór Cx jest podzbiorem => wyłącznie zbioru Am i nie jest tożsamy z Am
W tym przypadku zbiór Bn*~Am jest zbiorem pustym []
Wniosek:
Dla zbiorów nieskończonych ten przypadek nie podlega pod diagram Venna bo w diagramie Venna zbiór Bn*~Am jest zbiorem niepustym.
cnd
Przykład:
Am=P2
Bn=P8
Cx=P8*P2=P8
Definicja implikacji prostej P8|=>P2:
A1: P8=>P2=1 - zbiór P8=[8,16,24..] jest (=1) podzbiorem => P2=[2,4,6,8..]
B1: P8~>P2=0 - zbiór P8=[8,16,24..] nie jest (=0) nadzbiorem ~> P2=[2,4,6,8..]
stąd:
P8|=>P2=(A1: P8=>P2)*~(B1: P8~>P2)=1*~(0)=1*1=1
W tym przypadku jeden ze zbiorów w diagramie Venna jest pusty, zatem diagram Venna jest tu fałszem:
Bn*~Am=P8*~P2=[8,16,24..]*[1,3,5,7..] =[] =0
cnd
(dowód przez pokazanie)
2.
Zbiór Cx jest podzbiorem => zbioru Am i jest tożsamy ze zbiorem Am
Wniosek:
Dla zbiorów nieskończonych ten przypadek nie pasuje do diagramu Venna, bo w diagramie Venna mamy:
Cx ## Am ## Bn
gdzie:
## - zbiory różne na mocy definicji
Przykład:
Am=P2
Bn=P2
Cx=P2*P2=P2
Definicja równoważności P2<=>P2:
A1: P2=>P2=1 - zbiór P2=[2,4,6..] jest podzbiorem => P2=[2,4,6..]
B1: P2~>P2=1 - zbiór P2=[2,4,6..] jest nadzbiorem ~> P2=[2,4,6..]
Stąd:
P2<=>P2 = (A1: P2=>P2)*(B1: P2~>P2)=1*1 =1
Dowód:
Każdy zbiór/ pojęcie jest zarówno podzbiorem => jak i nadzbiorem ~> siebie samego
cnd
3.
Dla nieskończonych zbiorów Am i Bn diagram Venna opisuje poprawnie tylko i wyłącznie następujący przypadek.
1.
Cx=>Am=1 - zbiór Cx jest podzbiorem => Am i nie jest tożsamy ze zbiorem Am
2.
Cx=>Bn=1 - zbiór Cx jest podzbiorem => Bn i nie jest tożsamy ze zbiorem Bn
Uwaga!
Dla zbiorów nieskończonych wyłącznie ten przypadek pasuje do diagramu Venna w 100%
Przykład:
Am=P2
Bn=P3
Cx=P2*P3=P6
Wykorzystane prawo teorii zbiorów:
Am*Bn=C(m*n)
W tym przypadku mamy:
1.
Implikacja prosta P6|=>P2:
Cx=Am*Bn=P6 => Am=P2 =1 - P6=[6,12,18..] jest podzbiorem => P2=[2,4,6..] i nie jest tożsamy z P2
2.
Implikacja prosta P6|=>P3:
Cx=Am*Bn=P6 => Bn=P3 =1 - P6=[6,12,18..] jest podzbiorem => P3=[3,6,9,12..] i nie jest tożsamy z P3
cnd
(dowód przez pokazanie)
Wniosek:
Dla zbiorów nieskończonych wyłącznie przypadek 3 opisany jest poprawnie diagramem Venna
cnd
Podsumowanie niniejszego postu to prawo Irbisola dla zbiorów.
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych
cnd
P.S.
Zobaczmy co na temat ostatnich tu wykładów ma do powiedzenia Wikipedia
[link widoczny dla zalogowanych]
| Wikipdia napisał: |
Warunek konieczny i warunek wystarczający
Jeżeli ze zdania p wynika zdanie q, to mówimy, że p jest warunkiem wystarczającym dla q, a q jest warunkiem koniecznym dla p.
Warunek wystarczający nazywany jest też warunkiem dostatecznym.
Przykład 1.
a)
Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym i wystarczającym podzielności tej liczby przez 6.
b)
Podzielność liczby całkowitej przez 10 jest warunkiem wystarczającym podzielności tej liczby przez 5.
|
Zauważmy, ze ziemscy matematycy nie potrafią dziecku w szkole podstawowej wytłumaczyć algorytmu dowodów tych twierdzeń bo nie znają algebry Kubusia!
Ad.1a
Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym i wystarczającym podzielności tej liczby przez 6.
P2*P3 = P6 - prawo teorii zbiorów
Dowód:
Prawo Irbisa:
Każda tożsamość zbiorów/pojęć p=q definiuje równoważność p<=>q i odwrotnie
P2*P3=P6 <=> (A1: P2*P3=>P6)*(B1: P2*P3~>P6)= P2*P3<=>P6
Dopiero stąd mamy dokładnie to co pisze w podręczniku matematyki dla szkoły podstawowej.
Środek czytamy:
Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym ~> (B1) i wystarczającym => (A1) podzielności tej liczby przez 6.
cnd
Ad. 1b
Jeśli dowolna liczba jest podzielna przez 10 to jest podzielna przez 5
P10=>P5 =1
Innymi słowy:
Podzielność liczby całkowitej przez 10 jest warunkiem wystarczającym podzielności tej liczby przez 5.
P10=>P5 =1
Podzielność dowolnej liczby całkowitej przez 10 jest warunkiem wystarczającym => dla jej podzielności przez 5 wtedy i tylko wtedy gdy zbiór P10=[10,20,30 ..] jest podzbiorem => zbioru P5=[5,10,15,20 ..]
Zauważmy że:
Aby udowodnić prawdziwość zdania 1b potrzeba i wystarcza udowodnić iż zbiór P10=[10,20,30..] jest podzbiorem => zbioru P5=[5,10,15,20..] co każdy matematyk bez trudu udowodni.
Zauważmy, że gdyby ziemscy matematycy znali algebrę Kubusia to wykład w temacie warunków wystarczających => i koniecznych ~> byłby banalnie prosty i jasny także dla ucznia szkoły podstawowej!
Oczywiście fałszem jest dogmat Irbisola jakoby zachodziła tożsamość pojęć:
Implikacja rodem z KRZ (zdanie 1b) = warunek wystarczający => (zdanie 1b)
Dokładnie dlatego miejsce Klasycznego Rachunku Zdań jest w piekle na wiecznych piekielnych mękach.
Czy irbisol się z tym zgadza?
Ostatnio zmieniony przez rafal3006 dnia Sob 6:03, 02 Kwi 2022, w całości zmieniany 8 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Pią 6:59, 01 Kwi 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 8:03, 02 Kwi 2022 Temat postu: |
|
|
Prawo Irbisola dla zdarzeń!
Czy ktoś ma nadzieję iż Irbisol kiedykolwiek powie na mocy dyskusji ze mną:
Rozumiem algebrę Kubusia!
Jest bajecznie prosta i piękna!
Ja mam taką nadzieję, nadzieja umiera ostatnia.
Prawo Irbisola dla zdarzeń:
Logika matematyczna dla zdarzeń w 100% wiadomych nie ma przełożenia 1:1 dla zdarzeń gdzie takiej pewności nie mamy.
Pytanie do Irbisola:
Czy zgadzasz się na prawo Irbisola dla zdarzeń, dzięki tobie odkrytemu?
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
Z faktu że ty o tym nie wiedziałeś, z faktu że nie wie o tym autor wpisu nie wynika, iż malunek nie opisuje dokładnie tego co opisuje jak wyżej.
Na pocieszenie dodam Irbisolu, że ja też jeszcze kilka postów wcześniej o tym nie wiedziałem, dowiedziałem się o tym i rozszyfrowałem o co tu chodzi dopiero w tym poście.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
| rafal3006 napisał: | Spójnik implikacji odwrotnej p|~>q w zbiorach minimalnych!
Brawa dla Irbisola - za znajdowanie ciekawych cytatów w Wikipedii
| Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Irbisolu, sam jestem zaskoczony.
Zawsze twierdziłem, że z logiką jest jak z tabliczką mnożenia, aby sprawnie mnożyć dowolnie duże liczby trzeba poznać tabliczkę mnożenia do 100.
Przekładając to na logikę twierdziłem, że aby poznać logikę matematyczną na zbiorach nieskończonych potrzeba i wystarcza poznać logikę matematyczną na zbiorach minimalnych potrzebnych do zbudowania danego spójnika logicznego.
Twój cytat jest dowodem, iż nie jest to prawdą, owszem jak się zna logikę matematyczną operującą na zbiorach nieskończonych to można ją łatwo zrozumieć operując zbiorami minimalnymi - jednak odwrotnie to nie zachodzi, czego dowodem twój cytat, za który dziękuję. |
Dokładnie po to jest mi potrzebna dyskusja z ziemianami by takie przypadki wyłapywać i rozszyfrowywać. Ja nie będę żył wiecznie, mam bliżej niż dalej. Mam jednak nadzieję, że ziemscy matematycy wzorując się na naszej dyskusji sami będą podobne przypadki rozszyfrowywać na bazie Algebry Kubusia, której wszyscy jesteśmy naturalnymi ekspertami bo po prostu pod nią podlegamy i nie mamy żadnych szans by się od niej uwolnić.
Czekam Irbisolu kiedy zrozumiesz, że największą tragedią ziemskich matematyków (łącznie z tobą jak widzę) jest nieznajomość prawdy matematycznej w temacie co opisuje malunek z Wikipiedii.
Autorowi wpisu się nie dziwię bo on po prostu do tej pory tego nie wie, ale ty na 100% już wiesz i wszystko rozumiesz - więc dlaczego rękami i nogami bronisz się przed prawdą matematyczną?
Wracając do tytułowego, bieżącego tematu - prawa Irbisola dla zdarzeń.
Na początek zacytuję kluczowy tu post, już przeze mnie napisany:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653635
| rafal3006 napisał: | Punkt odniesienia w logice matematycznej!
Podsumowując:
Zanim zaczniemy się kłócić o cokolwiek i z kimkolwiek zdefiniujmy wspólny punkt odniesienia
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
Drugie wejście smoka (Irbisola) to znalezienia wiadomego cytatu w angielskiej Wikipedii, gdzie autor na bazie diagramu Venna zapisał słownie poprawnie matematycznie trzy różne definicje spójników logicznych, tylko o tym nie wie.
1:
Implikacja prosta p|=>q:
p|=>q=(A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne
##
2:
Implikacja odwrotna p|~>q:
p|~>q=~(A1: p=>q)*(B1: p~>q)=~(0)*1=1*1=1
Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy
##
3:
Równoważność p<=>q:
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
Gdzie:
## - różne na mocy definicji
Irbisolu,
Po przemyśleniu sprawy doszedłem do wniosku, że żadnej Ameryki nie odkryłem.
Pozornym zaskoczeniem było dla mnie to, że układ zbiorów skończonych, który teraz omawiamy może być, w zależności od wybranego punktu odniesienia implikacją prostą p|=>q, implikacją odwrotną p|~>q, albo równoważnością p<=>q.
Dlaczego to zaskoczenie było dla mnie pozorne?
Bo fakt iż w układach skończonych ten sam układ może spełniać operatory logiczne różne na mocy definicji ## jest mi znany od wieków tzn. od około 14 lat.
Rzeczywistość jest inna, ale o tym będzie w kolejnym poście.
Przypomnę ci ten fakt, bo o tym w przeszłości ostro dyskutowaliśmy i skończyło się na twoim totalnym niezrozumieniu tego co do ciebie piszę tzn. ty widziałeś w jednym i tym samym układzie S1 który zaprezentuję niżej równoważność p<=>q i tylko równoważność, bo wtedy rzeczywiście mamy do czynienia z opisem matematycznym w 100% jednoznacznym, na podstawie którego możemy odtworzyć dowolny układ połączeń.
Przykład jednego i tylko jednego układu fizycznego który może spełniać „prawie wszystkie” (z wyjątkiem implikacji prostej p|=>q) definicje spójników logicznych w zależności od wybranego punktu odniesienia jest następujący.
Przypadek 1.
Schemat S1 z punktem odniesienia definiującym równoważność Y<=>S
| Kod: |
S1 Schemat S1
Fizyczna realizacja równoważności Y<=>S w zdarzeniach:
Y<=>S=(A1: Y=>S)*(B1: Y~>S)=1*1=1
Gdzie:
Równanie logiczne przycisku zastępczego Y:
Y=C*(A+B)
B
______
---o o------
| |
S C | A |
------------- ______ | ______ |
-----| Żarówka |-------o o-----o o-----|
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
Zmienne związane definicją: S, Y
Zmienne wolne: brak
Istotą równoważności Y<=>S jest brak zmiennych wolnych
|
Definicja zmiennej związanej:
Zmienna związana to zmienna występujące w układzie uwzględniona w opisie matematycznym układu.
Zmienna związana z definicji jest ustawiana na 0 albo 1 przez człowieka.
Definicja zmiennej wolnej:
Zmienna wolna to zmienna występująca w układzie, ale nie uwzględniona w opisie matematycznym układu.
Zmienna wolna z definicji może być ustawiana na 0 albo 1 poza kontrolą człowieka.
Z tego punktu odniesienia odczytujemy:
A1: Y=>S=1 - wciśnięcie Y jest (=1) wystarczające => dla świecenia S
B1: Y~>S=1 - wciśnięcie Y jest (=1) konieczne ~> dla świecenia S
Stąd mamy:
Y<=>S = (A1: Y=>S)*(B1: Y~>S)=1*1=1
Prawą stronę czytamy:
Wciśnięcie zastępczego przycisku Y jest potrzebne ~> (B1) i wystarczające => (A1) do tego by żarówka świeciła się (S)
cnd
Pytanie do Irbisola:
Czy przyznajesz się do faktu, że powyższy schemat ideowy odczytywałeś tylko i wyłącznie jako równoważność wyżej tzn. nie byłeś w stanie pojąć dwóch dalszych spójników logicznych realizowanych dokładnie przez ten sam schemat S1!
Przypadek 2.
Schemat S1 z punktem odniesienia definiującym implikację odwrotną C|~>S
| Kod: |
S1 Schemat S1
Fizyczna realizacja implikacji odwrotnej C|~>S w zdarzeniach:
C|~>S=~(A1: C=>S)*(B1: C~>S)=1*1=1
B
______
---o o------
| |
S C | A |
------------- ______ | ______ |
-----| Żarówka |-------o o-----o o-----|
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
Zmienne związane definicją: S, C
Zmienna wolna: W=A+B
Istotą implikacji odwrotnej C|~>S jest jedna zmienna wolna W
|
Z tego punktu odniesienia odczytujemy:
A1: C=>S=0 - wciśnięcie C nie jest (=0) wystarczające => dla świecenia S bo może być W=A+B=0
B1: C~>S=1 - wciśnięcie C jest (=1) konieczne ~> dla świecenia S
Stąd mamy:
C|~>S = ~(A1: C=>S)*(B1: C~>S)=~(0)*1=1*1=1
Prawą stronę czytamy:
Wciśnięcie przycisku C jest potrzebne ~> (B1), ale nie jest wystarczające => (A1) do tego by żarówka świeciła się
cnd
Przypadek 3.
Schemat S1 z punktem odniesienia definiującym chaos A|~~>S
| Kod: |
S1 Schemat S1
Fizyczna realizacja chaosu A|~>S w zdarzeniach:
A|~~>S=~(A1: A=>S)*~(B1: A~>S)=~(0)*~(0)=1*1=1
B
______
---o o------
| |
S C | A |
------------- ______ | ______ |
-----| Żarówka |-------o o-----o o-----|
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
Zmienne związane definicją: S, A
Zmienne wolne: B, C
Istotą chaosu A|~~>S są dwie zmienne wolne: B, C
|
Z tego punktu odniesienia odczytujemy:
A1: A=>S=0 - wciśnięcie A nie jest (=0) wystarczające => dla świecenia S bo może być C=0
B1: A~>S=0 - wciśnięcie A nie jest (=0) konieczne ~> dla świecenia S bo może być C=1 i B=1
Stąd mamy:
A|~>S = ~(A1: A=>S)*~(B1: A~>S)=~(0)*~(0)=1*1=1
Prawą stronę czytamy:
Wciśnięcie przycisku A nie jest konieczne ~> (B1) dla świecenia S, ani też nie jest wystarczające => (A1) dla świecenia S
cnd
Uwaga:
Na układ S1 nie jesteśmy w stanie spojrzeć z punktu odniesienia realizującego implikację prostą A|=>S!
Dowód:
Przypadek 4:
Układ minimalny S2 realizujący implikację prostą A|=>S jest następujący.
| Kod: |
S2 Schemat S2
Fizyczna realizacja implikacji prostej A|=>S w zdarzeniach:
A|=>S= (A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
B
______
---o o------
| |
S | A |
------------- | ______ |
-----| Żarówka |------------------o o-----|
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
Zmienne związane definicją: S, A
Zmienna wolna: B
Istotą implikacji prostej A|=>S jest jedna zmienna wolna B
|
Z tego punktu odniesienia odczytujemy:
A1: A=>S=1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S=0 - wciśnięcie A nie jest (=0) konieczne ~> dla świecenia S bo może być B=1
Stąd mamy:
A|=>S = (A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
Prawą stronę czytamy:
Wciśnięcie przycisku A jest wystarczające => (A1), ale nie jest konieczne ~> (B1) do tego by żarówka świeciła się
cnd
Wniosek:
Na schemat S1 nie możemy spojrzeć z punktu odniesienia implikacji prostej A|=>S bo uniemożliwia to szeregowy przycisk C istniejący w układzie S1.
cnd
Podsumowując:
Zanim zaczniemy się kłócić o cokolwiek i z kimkolwiek zdefiniujmy wspólny punkt odniesienia
Zauważmy bowiem że:
Osobnik A może twierdzić że:
Układ S1 realizuje równoważność!
Osobnik B może twierdzić że:
Układ S1 realizuje implikację odwrotną!
Osobnik C może się upierać iż:
Układ S1 realizuje chaos!
… i wszyscy będą mieli rację, bo w zależności od punktu odniesienia prawdziwe może być zdanie osobnika A, lub osobnika B, lub osobnika C.
Pytanie do Irbisola:
Czy tym razem wszystko jest dla ciebie zrozumiałe?
Jeśli nie to pytaj. |
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Wracając do tematu.
Prawo Irbisola dla zdarzeń:
Logika matematyczna dla zdarzeń w 100% wiadomych nie ma przełożenia 1:1 dla zdarzeń gdzie takiej pewności nie mamy.
Przeprowadźmy dwa ćwiczenia w laboratorium fizyki.
Ćwiczenie 1
| Kod: |
S3 Schemat S3
Pokój Jasia | Pokój Zuzi
S A | B
------------- ______ ______
-----| Żarówka |-------o o-----o o------
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
|
W pokoju Jasia siedzi Jaś mając do dyspozycji przycisk A widzący żarówkę S
W pokoju Zuzi siedzi Zuzia mając do dyspozycji przycisk B widząca duplikat żarówki S
Oboje nie znają schematu S3 ani nie są świadomi wzajemnego istnienia, ale każde naciska z zapałem swój przyciski próbując rozszyfrować z czym mają do czynienia tzn. usiłują rozszyfrować schemat połączeń ich prywatnego przycisku sterującego żarówką S
Zastanówmy się co może stwierdzić Jaś?
Jaś stwierdza, że jak nie wciśnie przycisku A to żarówka na 100% się nie świeci, czyli:
B2.
Jeśli nie wcisnę przycisku A (~A) to żarówka na 100% => nie świeci się (~S)
~A=>~S =1
Brak wciśnięcia przycisku A (~A) jest warunkiem wystarczającym => dla nie świecenia żarówki S (~S)
Natomiast:
Jeśli wcisnę przycisk A (A) to żarówka miga tzn. raz się świeci a raz nie w sposób losowy poza moją kontrolą - to oczywiście wina Zuzi o której Jaś nie ma pojęcia że istnieje.
Wnioskowanie czysto matematyczne Jasia:
1.
Prawo Kubusia:
B2: ~A=>~S = B1: A~>S
Stąd mamy:
B1.
Jeśli wcisnę przycisk A (A) to żarówka może ~> się świecić (S)
A~>S =1
Wciśnięcie przycisku A jest warunkiem koniecznym ~> do tego aby żarówka świeciła się (S) bo jak nie wcisnę przycisku S (~S) to żarówka na 100% => nie świeci się (~S)
Zauważmy, że prawo Kubusia samo nam tu wyskoczyło:
B1: A~>S = B2: ~A=>~S
… ale dlaczego jak wcisnę przycisk A to żarówka mi miga?
Jaś drapie się za uchem i myśli, myśli, myśli …
Hura! Mam!
Gdzieś w układzie musi istnieć szeregowo połączony przycisk B o którym nie wiem, który musi przyciskać jakiś krasnoludek (czytaj Zuzia).
W ten oto sposób, Jaś poprawnie odtworzył kompletny schemat S3.
Zauważmy, że matematycznie, aby rozstrzygnąć z jakim spójnikiem logicznym mamy tu do czynienia Jaś powinien zbadać prawdziwość/fałszywość zdania B1 kodowanego warunkiem wystarczającym =>
A1.
Jeśli wcisnę przycisk A (A) to na 100% => żarówka świeci się (S)
A=>S =0
Wciśnięcie przycisku A nie jest (=0) warunkiem wystarczającym => do tego aby żarówka się świeciła (S), bo nie zawsze jak wciskam przycisk A, żarówka świeci się (czasami się nie świeci, co jest winą Zuzi)
Fałszywy warunek wystarczający A1: A=>S=0 wymusza prawdziwość kontrprzykładu A1’ (i odwrotnie)
A1’.
Jeśli wcisnę przycisk A (A) to żarówka może ~~> się nie świecić (~S)
A~~>~S=A*~S=1
Możliwe jest (=1) zdarzenie ~~>: przyciska A jest wciśnięty (A) i żarówka nie świeci się (~S), co Jaś doświadczalnie sprawdził.
W tym momencie mamy matematyczne rozstrzygnięcie z jakim spójnikiem logicznym mamy do czynienia.
Definicja implikacji odwrotnej A|~>S:
A1: A=>S=0 - wciśnięcie przycisku A nie jest (=0) wystarczające => dla świecenia się żarówki S
B1: A~>S=1 - wciśnięcie przycisku A jest (=1) konieczne ~> dla świecenia się żarówki S
Stąd mamy:
A|~>S = ~(A1: A=>S)*(B1: A~>S)=~(0)*1=1*1=1
Prawą stronę czytamy:
Wciśnięcie przycisku A jest (=1) warunkiem koniecznym ~> (B1) dla świecenia się żarówki S, ale nie jest (=0) warunkiem wystarczającym => (A1) dla świecenia się żarówki S
cnd
Zauważmy, że w ćwiczeniu 1 nie ma szans na definicję równoważności A<=>S bowiem Jaś nie wie nic o istnieniu Zuzi tzn. nie może przejąć kontroli nad jej przyciskiem B.
Fundamentalnie inaczej byłoby w układzie S3 w 100% jawnym (bez Zuzi) gdzie bez żadnych problemów równoważność W<=>S mogłaby być zrealizowana poprzez zapisanie funkcji logicznej przycisku zastępczego W.
W = A*B
co w logice jedynek oznacza:
W=1 <=> A=1 i B=1
W ten oto sposób, na przykładzie, udowodniliśmy prawo Irbisola dla zdarzeń.
Prawo Irbisola dla zdarzeń:
Logika matematyczna dla zdarzeń w 100% wiadomych nie ma przełożenia 1:1 dla zdarzeń gdzie takiej pewności nie mamy.
Rozważmy teraz ćwiczenie 2 w laboratorium fizyki.
Ćwiczenie 2.
| Kod: |
S4 Schemat S4
===================
B Pokój Zuzi
______
------o o-----------
| =================== |
| |
S | A Pokój Jasia |
------------- | ______ |
-----| Żarówka |-------------o o----------|
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
|
W pokoju Jasia siedzi Jaś mając do dyspozycji przycisk A sterujący żarówką
W pokoju Zuzi siedzi Zuzia mając do dyspozycji przycisk B widząca duplikat żarówki S
Oboje nie wiedzą o wzajemnym istnieniu, jak również nie znają schematu S4, jednak z zapałem każde z nich przyciska swój przycisk usiłując rozszyfrować schemat ideowy sterowania żarówką
Co może stwierdzić Jaś?
Jaś stwierdza, że zawsze gdy wciśnie przycisk A to żarówka świeci się.
Natomiast jeśli przycisk A nie jest wciśnięty to żarówka miga w sposób losowy tzn. raz świeci, a raz nie świeci.
Matematyczny opis Jasia układu sterowania żarówką jest następujący:
A1.
Jeśli wcisnę przycisk A (A) to żarówka na 100% => świeci się (S)
A=>S=1
Wciśnięcie przycisku A jest warunkiem wystarczającym => do tego, aby żarówka świeciła się (S)
Innymi słowy:
Zawsze gdy wciskam przycisk A żarówka świeci się (S)
Prawdziwość warunku wystarczającego A1 wymusza fałszywość kontrprzykładu A1’ (i odwrotnie)
A1’
Jeśli wcisnę przycisk A (A) to żarówka może ~~> się nie świecić (~S)?
A~~>~S = A*~S =0
Niemożliwe jest (=0) zdarzenie: przycisk A (A) jest wciśnięty i żarówka nie świeci się (~S)
.. a jeśli przycisk A nie jest wciśnięty (~A)?
Prawo Kubusia:
A1: A=>S = A2:~A~>~S
Prawo Kubusia wymusza prawdziwość warunku koniecznego ~> A2 (i odwrotnie)
A2.
Jeśli przycisk A nie jest wciśnięty (~A) to żarówka może ~> się nie świecić (~S)
~A~>~S=1
Brak wciśnięcia przycisku A (~A) jest warunkiem koniecznym ~> dla nie świecenia się żarówki S (~S), bo jak przycisk A jest wciśnięty (A) to żarówka na 100% => świeci się
Zauważmy, że prawo Kubusia samo nam tu wyskoczyło:
A2: ~A~>~S = A1: A=>S
Aby matematycznie rozszyfrować z jakim układem logicznym mamy tu do czynienia musimy zbadać prawdziwość/fałszywość zdania A2 kodowanego warunkiem wystarczającym =>
B2.
Jeśli przycisk A nie jest wciśnięty (~A) to żarówka na 100% => nie świeci się (~S)
~A=>~S =0
Brak wciśnięcia przycisku A (~A) nie jest (=0) warunkiem wystarczającym => dla nie świecenia się żarówki S (~S) bo nie zawsze, gdy przyciska A nie jest wciśnięty (~A) żarówka nie świeci się (~S), co Jaś stwierdził doświadczalnie.
Dla zdania B2 stosujemy prawo Kubusia:
B2: ~A=>~S = B1: A~>S =0
Stąd mamy dowód fałszywości warunku koniecznego ~> A1.
B1.
Jeśli przycisk A jest wciśnięty (A) to żarówka na 100% => świeci się (S)
A~>S =0
Wciśnięcie przycisku A nie jest (=0) konieczne ~> dla świecenia się żarówki S, bo żarówkę S może zaświecić Zuzia, o której istnieniu Jaś nie ma najmniejszego pojęcia.
Zauważmy, że zdania A1 i B1 brzmią identycznie z dokładnością do każdej literki i każdego przecinka, a mimo to zdania te nie są matematycznie tożsame bo:
A1: A=>S =~A+S ## B1: A~>S = A+~S
Gdzie:
## = różna na mocy definicji warunku wystarczającego => (A1) i koniecznego ~> (B1).
cnd
Różność zdań A1 i B1 rozpoznajemy tylko i wyłącznie po znaczkach warunku wystarczającego => i koniecznego ~> wbudowanych w treść zdań.
Stąd mamy wyprowadzone prawo Kameleona.
Prawo Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame.
Dowód wyżej.
Na mocy powyższej analizy matematycznej stwierdzamy iż mamy tu do czynienia z implikacją prostą A|=>S.
Definicja implikacji prostej A|=>S:
A1: A=>S=1 - wciśnięcie A jest (=1) warunkiem wystarczającym => dla świecenia się żarówki S
B1: A~>S=0 - wciśnięcie A nie jest (=0) warunkiem koniecznym ~> dla świecenia się żarówki S
Stąd mamy:
A|=>S = (A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
Prawą stronę czytamy:
Wciśnięcie przycisku A jest (=1) warunkiem wystarczającym => (A1) dla świecenia się żarówki S, ale nie jest (=0) warunkiem koniecznym ~> (B1) dla świecenia się żarówki S
Końcowe wnioskowanie Jasia:
Gdzieś w obwodzie, poza moją kontrolą, musi istnieć krasnoludek (czytaj Zuzia z przyciskiem B) którego przycisk jest podłączony równolegle do mojego przycisku A
cnd
Zauważmy, że w ćwiczeniu 2 nie ma szans na definicję równoważności A<=>S bowiem Jaś nie wie nic o istnieniu Zuzi tzn. nie może przejąć kontroli nad jej przyciskiem B.
Fundamentalnie inaczej byłoby w układzie S4 w 100% jawnym (bez Zuzi) gdzie bez żadnych problemów równoważność W<=>S mogłaby być zrealizowana poprzez zapisanie funkcji logicznej przycisku zastępczego W.
W = A+B
co w logice jedynek oznacza:
W=1 <=> A=1 lub B=1
W ten oto sposób, na przykładzie, udowodniliśmy prawo Irbisola dla zdarzeń.
Prawo Irbisola dla zdarzeń:
Logika matematyczna dla zdarzeń w 100% wiadomych nie ma przełożenia 1:1 dla zdarzeń gdzie takiej pewności nie mamy.
Pogrom logiki matematycznej ziemskich matematyków stał się faktem bo:
Absolutnie wszyscy ziemscy matematycy mylnie twierdzą (zawdzięczają to KRZ), że implikacja prosta A|=>S to jest to samo co implikacja odwrotna A|~>S zatem pojęcie implikacji odwrotnej A|~>S jest w logice matematycznej zbędne.
Cóż, życzę powodzenia najwybitniejszemu ziemskiemu matematykowi w przekonywaniu pana od fizyki że sterowanie żarówki dwoma przyciskami A i B połączonymi szeregowo (schemat S3 - implikacja odwrotna A|~>S) to jest to samo co sterowanie żarówki dwoma przyciskami A i B połączonymi równolegle (schemat S4 - implikacja prosta A|=>S)
Wniosek:
Miejsce Klasycznego Rachunku Zdań który twierdzi iż implikacja odwrotna A|~>S jest w logice matematycznej zbędna bo wystarczy implikacja prosta A|=>S jest w piekle na wiecznych piekielnych mękach
Kluczowe pytanie do Irbisola:
Czy ty również Irbisolu, identycznie jak absolutnie wszyscy ziemscy matematycy jesteś pewien, że implikacja odwrotna A|~>S jest w logice matematycznej zbędna?
P.S.
Powyższy problem można sprowadzić do zbędności zdaniem ziemskich matematyków warunku koniecznego ~> w logice matematycznej - dokładnie to twierdzą ziemscy matematycy powołując się na prawo Tygryska:
B1: p~>q = B3: q=>p
Dla dowodu wszelkich twierdzeń matematycznych i dla potrzeb techniki to jest potrzebne i wystarczające bowiem w ten sposób można udowodnić równoważność p<=>q.
Ziemska definicja równoważności jest formalnie poprawna.
Ziemska definicja równoważności p<=>q:
Równoważność p<=>q to prawdziwość twierdzenia prostego A1: p=>q i jednocześnie zachodząca prawdziwość twierdzenia odwrotnego B3: q=>p
p<=>q = (A1: p=>q)*(B1: q=>p)=1*1=1
Prawo Tygryska:
B3: q=>p = B1: p~>q
Stąd mamy definicję równoważności znaną wszystkim ludziom:
Równoważność p<=>q to jednocześnie zachodzący warunek konieczny ~> i wystarczający => między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest konieczne ~> dla zajścia q
Stąd mamy:
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Czytamy:
Równoważność p<=>q jest prawdziwa, wtedy i tylko wtedy gdy zajście p jest konieczne ~> (B1) i wystarczające => (A1) dla zajścia q
Dowód iż dokładnie ta definicja równoważności znana jest wszystkim ludziom (w tym matematykom)
Klikamy na googlach:
„koniecznym i wystarczającym”
Wyników: 6980
„potrzeba i wystarcza”
wyników: 49000
cnd
Problem w tym, że równoważność p<=>q w logice matematycznej to kropla w morzu implikacji prostej p|=>q i odwrotnej p|~>q o których to definicjach ziemscy matematycy nie mają najmniejszego pojęcia tzn. nie wiedzą, że każdej połówce dowolnej implikacji mamy do czynienia z najzwyklejszym „rzucaniem monetą” w sensie „na dwoje babka wróżyła”.
Błędem czysto matematycznym jest to, co robią ziemscy matematycy którzy z definicji implikacji prostej p|=>q i odwrotnej p|~>q wydziobują sobie warunek wystarczający A1: p=>q, albo B3: q=>p nie widząc najzwyklejszego „rzucania monetą” w drugiej części definicji implikacji.
Ciekawe kiedy ziemscy matematycy zrozumieją, iż „rzucanie monetą” wchodzące w skład definicji każdej implikacji zarówno prostej p|=>q, jak i odwrotnej p|~>q to też jest matematyka ścisła!
Na 100% bowiem nie istnieje ziemski matematyk który by powiedział iż dowód twierdzenia odwrotnego B3: q=>p jest w matematyce zbędny, bo tym samym twierdziłby że fundament działania wszelkich urządzeń technicznych (w tym komputerów) równoważność p<=>q jest w matematyce zbędna.
Prawo Tygryska:
B1: p~>q = B3: q=>p
Innymi słowy:
Matematyk który by twierdził, iż w matematyce twierdzenie odwrotne B3: q=>p jest zbędne byłby najzwyklejszym, matematycznym tłukiem - nie ma takiego matematyka.
Dlaczego zarówno implikacja prosta p|=>q jak i implikacja odwrotna p|~>q jest idiotyzmem w świecie techniki i nigdy nie znajdzie tu zastosowania?
Dokładnie ze względu na najzwyklejsze „rzucanie monetą” w sensie „na dwoje babka wróżyła” występujące w każdej połówce implikacji.
Dowód na przykładzie:
Wyobraźmy sobie samochód, którego kierownica sterowana jest za pomocą komputera.
Sterowanie zrealizowane w oparciu o równoważność p<=>q działa wtedy tak:
Definicja implikacji równoważności p<=>q:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B2: ~p=>~q=1 - zajście p jest (=1) wystarczające => dla zajścia ~q
Stąd:
A1B2: p<=>q = (A1: p=>q)*(B2: ~p=>~q)=1*1=1
Na mocy powyższej definicji sterowanie kierownicą działa tu tak:
A1: p=>q =1
Jeśli kręcę kierownicą w prawo to samochód na 100% => skręca w prawo
B2: ~p=>~q=1
Jeśli kręcę kierownicą w lewo (~p = nie w prawo) to samochód na 100% => skręca w lewo
Natomiast!
Sterowanie kierownicą zrealizowane przy pomocy implikacji prostej p|=>q działałoby tak:
Definicja implikacji prostej p|=>q:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B2: ~p=>~q=0 - zajście p nie jest (=0) wystarczające => dla zajścia ~q
Stąd:
A1B2: p|=>q = (A1: p=>q)*~(B2: ~p=>~q)=1*~(0)=1*1=1
Na mocy powyższej definicji sterowanie kierownicą jest następujące:
A1: p=>q =1
Jeśli kręcę kierownicą w prawo to samochód na 100% => skręca w prawo
ALE!
B2: ~p=>~q =0
Jeśli kręcę kierownicą w lewo (~p=nie w prawo) to komputer sterujący kierownicą „rzuca sobie moneta”:
Orzełek - skręcam w lewo zgodnie z życzeniem kierowcy
Raszka - skręcam w prawo mając w dupie życzenia kierowcy
Orzełek i reszka to opis „wolnej woli” ze świata żywego, to fundament działania wszelkich istot żywych, które nie może mieć miejsca w świecie techniki np. w samochodzie.
cnd
Ostatnio zmieniony przez rafal3006 dnia Pon 9:49, 04 Kwi 2022, w całości zmieniany 8 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Sob 9:45, 02 Kwi 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność |
Tak. I pytam o co innego.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:27, 02 Kwi 2022 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność |
Tak. I pytam o co innego. |
Nie wiem o co ci chodzi, możesz to jasno napisać?
Co do wytłuszczonego, nie mogłem kiedykolwiek pisać o innych operatorach logicznych niż wyżej wymienione, bo tylko te są legalne (plus chaos p|~~q>) w algebrze Kubusia - tak więc wykluczone jest bym pisał o jakichś tam "innych" operatorach.
Czy to jest dla ciebie zrozumiałe?
... bo myślę, że nie rozumiesz co do ciebie po polsku piszę.
Co do czerwonego:
Zapytaj po polsku o co pytasz to ci odpowiem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Sob 11:57, 02 Kwi 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność |
Tak. I pytam o co innego. |
Nie wiem o co ci chodzi, możesz to jasno napisać? |
Chodzi m. in. o to, byś pisał na temat a nie napierdzielał megabajty tekstu o czymś, o co nikt cię nie pytał.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 13:04, 02 Kwi 2022 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność |
Tak. I pytam o co innego. |
Nie wiem o co ci chodzi, możesz to jasno napisać? |
Chodzi m. in. o to, byś pisał na temat a nie napierdzielał megabajty tekstu o czymś, o co nikt cię nie pytał. |
Jednym słowem:
Nie masz więcej pytań, czyli na wszystkie twoje pytania odpowiedziałem.
Dziękuję, wspaniale.
Ja z kolei mam takie pytanie:
Czy zgadzasz się na pogrom ziemskiej logiki matematycznej dokonany przeze mnie w tym poście?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653885
| rafal3006 napisał: | Prawo Irbisola dla zdarzeń!
Czy ktoś ma nadzieję iż Irbisol kiedykolwiek powie na mocy dyskusji ze mną:
Rozumiem algebrę Kubusia!
Jest bajecznie prosta i piękna!
Ja mam taką nadzieję, nadzieja umiera ostatnia.
Ćwiczenie 2.
| Kod: |
S4 Schemat S4
===================
B Pokój Zuzi
______
------o o-----------
| =================== |
| |
S | A Pokój Jasia |
------------- | ______ |
-----| Żarówka |-------------o o----------|
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------------------
|
W pokoju Jasia siedzi Jaś mając do dyspozycji przycisk A sterujący żarówką
W pokoju Zuzi siedzi Zuzia mając do dyspozycji przycisk B widząca duplikat żarówki S
Oboje nie wiedzą o wzajemnym istnieniu, jak również nie znają schematu S4, jednak z zapałem każde z nich przyciska swój przycisk usiłując rozszyfrować schemat ideowy sterowania żarówką
Co może stwierdzić Jaś?
Jaś stwierdza, że zawsze gdy wciśnie przycisk A to żarówka świeci się.
Natomiast jeśli przycisk A nie jest wciśnięty to żarówka miga w sposób losowy tzn. raz świeci, a raz nie świeci.
Na mocy powyższej analizy matematycznej stwierdzamy iż mamy tu do czynienia z implikacją prostą A|=>S.
Definicja implikacji prostej A|=>S:
A1: A=>S=1 - wciśnięcie A jest (=1) warunkiem wystarczającym => dla świecenia się żarówki S
B1: A~>S=0 - wciśnięcie A nie jest (=0) warunkiem koniecznym ~> dla świecenia się żarówki S
Stąd mamy:
A|=>S = (A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
Prawą stronę czytamy:
Wciśnięcie przycisku A jest (=1) warunkiem wystarczającym => (A1) dla świecenia się żarówki S, ale nie jest (=0) warunkiem koniecznym ~> (B1) dla świecenia się żarówki S
Końcowe wnioskowanie Jasia:
Gdzieś w obwodzie, poza moją kontrolą, musi istnieć krasnoludek (czytaj Zuzia z przyciskiem B) którego przycisk jest podłączony równolegle do mojego przycisku A
cnd
Zauważmy, że w ćwiczeniu 2 nie ma szans na definicję równoważności A<=>S bowiem Jaś nie wie nic o istnieniu Zuzi tzn. nie może przejąć kontroli nad jej przyciskiem B.
Fundamentalnie inaczej byłoby w układzie S4 w 100% jawnym (bez Zuzi) gdzie bez żadnych problemów równoważność W<=>S mogłaby być zrealizowana poprzez zapisanie funkcji logicznej przycisku zastępczego W.
W = A+B
co w logice jedynek oznacza:
W=1 <=> A=1 lub B=1
W ten oto sposób, na przykładzie, udowodniliśmy prawo Irbisola dla zdarzeń.
Prawo Irbisola dla zdarzeń:
Logika matematyczna dla zdarzeń w 100% wiadomych nie ma przełożenia 1:1 dla zdarzeń gdzie takiej pewności nie mamy.
Pogrom logiki matematycznej ziemskich matematyków stał się faktem bo:
Absolutnie wszyscy ziemscy matematycy mylnie twierdzą (zawdzięczają to KRZ), że implikacja prosta A|=>S to jest to samo co implikacja odwrotna A|~>S zatem pojęcie implikacji odwrotnej A|~>S jest w logice matematycznej zbędne.
Cóż, życzę powodzenia najwybitniejszemu ziemskiemu matematykowi w przekonywaniu pana od fizyki że sterowanie żarówki dwoma przyciskami A i B połączonymi szeregowo (schemat S3 - implikacja odwrotna A|~>S) to jest to samo co sterowanie żarówki dwoma przyciskami A i B połączonymi równolegle (schemat S4 - implikacja prosta A|=>S)
Wniosek:
Miejsce Klasycznego Rachunku Zdań który twierdzi iż implikacja odwrotna A|~>S jest w logice matematycznej zbędna bo wystarczy implikacja prosta A|=>S jest w piekle na wiecznych piekielnych mękach
Kluczowe pytanie do Irbisola:
Czy ty również Irbisolu, identycznie jak absolutnie wszyscy ziemscy matematycy jesteś pewien, że implikacja odwrotna A|~>S jest w logice matematycznej zbędna? |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Sob 13:13, 02 Kwi 2022 Temat postu: |
|
|
|
Nadal nie odpowiedziałeś na pytanie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 13:41, 02 Kwi 2022 Temat postu: |
|
|
Czy Irbisol zdoła zapisać pytanie o które mu chodzi?
Czy jest ktoś kto wierzy, iż Irbisol jasno i klarownie zdoła zapisać pytanie o które mu chodzi?
| Irbisol napisał: | | Nadal nie odpowiedziałeś na pytanie. |
Jakie pytanie, czy możesz jasno i klarownie zapisać pytanie o które ci chodzi?
Irbisolu, fakty są takie:
W tym poście sprecyzowałeś pytanie o które ci chodzi:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653757
| Irbisol napisał: |
Cofnij się tylko do ostatniego.
Dopóki nie odpowiesz, nawet nie czytam co dalej piszesz. |
Oczywiście odnalazłem to pytanie na które wyczerpująco ci odpowiedziałem:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653767
Finał odpowiedzi na to twoje ostatnie pytanie był zaskakujący w postaci rozniesienia w puch ziemskiej logiki matematycznej, co dokonało się w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653885
| rafal3006 napisał: | Prawo Irbisola dla zdarzeń!
Prawo Irbisola dla zdarzeń:
Logika matematyczna dla zdarzeń w 100% wiadomych nie ma przełożenia 1:1 dla zdarzeń gdzie takiej pewności nie mamy.
Pogrom logiki matematycznej ziemskich matematyków stał się faktem bo:
Absolutnie wszyscy ziemscy matematycy mylnie twierdzą (zawdzięczają to KRZ), że implikacja prosta A|=>S to jest to samo co implikacja odwrotna A|~>S zatem pojęcie implikacji odwrotnej A|~>S jest w logice matematycznej zbędne.
Cóż, życzę powodzenia najwybitniejszemu ziemskiemu matematykowi w przekonywaniu pana od fizyki że sterowanie żarówki dwoma przyciskami A i B połączonymi szeregowo (schemat S3 - implikacja odwrotna A|~>S) to jest to samo co sterowanie żarówki dwoma przyciskami A i B połączonymi równolegle (schemat S4 - implikacja prosta A|=>S)
Wniosek:
Miejsce Klasycznego Rachunku Zdań który twierdzi iż implikacja odwrotna A|~>S jest w logice matematycznej zbędna bo wystarczy implikacja prosta A|=>S jest w piekle na wiecznych piekielnych mękach
Kluczowe pytanie do Irbisola:
Czy ty również Irbisolu, identycznie jak absolutnie wszyscy ziemscy matematycy jesteś pewien, że implikacja odwrotna A|~>S jest w logice matematycznej zbędna?
|
Teraz ja poproszę o odpowiedź na kluczowe pytanie ciut wyżej.
Ostatnio zmieniony przez rafal3006 dnia Sob 13:50, 02 Kwi 2022, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Nie 8:47, 03 Kwi 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | Nadal nie odpowiedziałeś na pytanie. |
Jakie pytanie, czy możesz jasno i klarownie zapisać pytanie o które ci chodzi? |
Mogę, ale nie chcę. A dlaczego nie chcę, już wyjaśniałem wielokrotnie.
| Cytat: | | Irbisol napisał: |
Cofnij się tylko do ostatniego.
Dopóki nie odpowiesz, nawet nie czytam co dalej piszesz. |
Oczywiście odnalazłem to pytanie na które wyczerpująco ci odpowiedziałem |
Błędnie zinterpretowałeś "te" w tym pytaniu. Zgubiłeś kontekst.
I o tym też ci pisałem, ale do ciebie nic nie dociera.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:05, 03 Kwi 2022 Temat postu: |
|
|
Czy ktoś ma nadzieję, że Irbisol wskaże błąd w mojej odpowiedzi na jego „te”?
| Irbisol napisał: |
| Cytat: | | Irbisol napisał: |
Cofnij się tylko do ostatniego.
Dopóki nie odpowiesz, nawet nie czytam co dalej piszesz. |
Oczywiście odnalazłem to pytanie na które wyczerpująco ci odpowiedziałem |
Błędnie zinterpretowałeś "te" w tym pytaniu. Zgubiłeś kontekst.
I o tym też ci pisałem, ale do ciebie nic nie dociera. |
Po pierwsze Irbisolu, wszyscy widzą twoje manipulacje poniżej pasa.
Przytaczasz cytat gdzie odpowiadasz na jakieś tam „te” z punktu widzenia czytelnika „z dupy wziętego”.
Dlaczego nie zapisałeś jednego zdania w którym definiujesz o jakie „te” ci chodzi i czego to „te” dotyczy? - skąd czytelnik ma to wiedzieć?
Tego pytania:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653307
| Irbisol napisał: |
Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć?
|
Wskaż błąd w mojej odpowiedzi na to twoje „te”, żadnego kontekstu nie zgubiłem - dowód masz w końcu postu.
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
Moja odpowiedź:
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
Z faktu że ty o tym nie wiedziałeś, z faktu że nie wie o tym autor wpisu nie wynika, iż malunek nie opisuje dokładnie tego co opisuje jak wyżej.
Na pocieszenie dodam Irbisolu, że ja też jeszcze kilka postów wcześniej o tym nie wiedziałem, dowiedziałem się o tym i rozszyfrowałem o co tu chodzi dopiero w tym poście.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
| rafal3006 napisał: | Spójnik implikacji odwrotnej p|~>q w zbiorach minimalnych!
Brawa dla Irbisola - za znajdowanie ciekawych cytatów w Wikipedii
| Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Irbisolu, sam jestem zaskoczony.
Zawsze twierdziłem, że z logiką jest jak z tabliczką mnożenia, aby sprawnie mnożyć dowolnie duże liczby trzeba poznać tabliczkę mnożenia do 100.
Przekładając to na logikę twierdziłem, że aby poznać logikę matematyczną na zbiorach nieskończonych potrzeba i wystarcza poznać logikę matematyczną na zbiorach minimalnych potrzebnych do zbudowania danego spójnika logicznego.
Twój cytat jest dowodem, iż nie jest to prawdą, owszem jak się zna logikę matematyczną operującą na zbiorach nieskończonych to można ją łatwo zrozumieć operując zbiorami minimalnymi - jednak odwrotnie to nie zachodzi, czego dowodem twój cytat, za który dziękuję. |
Dokładnie po to jest mi potrzebna dyskusja z ziemianami by takie przypadki wyłapywać i rozszyfrowywać. Ja nie będę żył wiecznie, mam bliżej niż dalej. Mam jednak nadzieję, że ziemscy matematycy wzorując się na naszej dyskusji sami będą podobne przypadki rozszyfrowywać na bazie Algebry Kubusia, której wszyscy jesteśmy naturalnymi ekspertami bo po prostu pod nią podlegamy i nie mamy żadnych szans by się od niej uwolnić.
Czekam Irbisolu kiedy zrozumiesz, że największą tragedią ziemskich matematyków (łącznie z tobą jak widzę) jest nieznajomość prawdy matematycznej w temacie co opisuje malunek z Wikipiedii.
Autorowi wpisu się nie dziwię bo on po prostu do tej pory tego nie wie, ale ty na 100% już wiesz i wszystko rozumiesz - więc dlaczego rękami i nogami bronisz się przed prawdą matematyczną? |
W moim ostatnim cytacie masz odpowiedź szczegółową na to twoje „te”.
Uważaj po raz pierwszy:
Dzięki tobie doszło do odkrycia ważnego dla logiki matematycznej prawa Irbisola - wcześniej o prawie Irbisola nie miałem bladego pojęcia, czego dowód w cytacie wyżej.
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych.
Uważaj po raz drugi:
Począwszy od mojego postu wyżej, kasuję wszystko co napisałem złego w temacie znalezionego przez ciebie cytatu z angielskiej Wikipedii, zaś autora cytatu przeprosiłem za nazwanie go tłukiem.
Podsumowując:
Żadnego kontekstu nie zgubiłem, po prostu kasuję wszystko co przed tym postem napisałem na temat wiadomego cytatu z Wikipedii.
Przyjmiesz to do wiadomości czy dalej będziesz twierdził że „zgubiłem kontekst”?
Ostatnio zmieniony przez rafal3006 dnia Nie 10:20, 03 Kwi 2022, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Nie 11:20, 03 Kwi 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Dlaczego nie zapisałeś jednego zdania w którym definiujesz o jakie „te” ci chodzi i czego to „te” dotyczy? - skąd czytelnik ma to wiedzieć? |
Napisałem wcześniej. Trzeba było odpowiadać na pytania a nie pierdzielić o czym innym.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 12:30, 03 Kwi 2022 Temat postu: |
|
|
Czy ktoś ma nadzieję, że Irbisol wskaże błąd w mojej odpowiedzi na jego „te”?
| Irbisol napisał: | | rafal3006 napisał: | | Dlaczego nie zapisałeś jednego zdania w którym definiujesz o jakie „te” ci chodzi i czego to „te” dotyczy? - skąd czytelnik ma to wiedzieć? |
Napisałem wcześniej. Trzeba było odpowiadać na pytania a nie pierdzielić o czym innym. |
Odpowiedziałem ci super precyzyjnie na twoje pytanie o to twoje „te”, cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#654017
| rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653307
| Irbisol napisał: |
Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć?
|
Wskaż błąd w mojej odpowiedzi na to twoje „te”, żadnego kontekstu nie zgubiłem - dowód masz w końcu postu.
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
Moja odpowiedź:
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
Z faktu że ty o tym nie wiedziałeś, z faktu że nie wie o tym autor wpisu nie wynika, iż malunek nie opisuje dokładnie tego co opisuje jak wyżej.
Na pocieszenie dodam Irbisolu, że ja też jeszcze kilka postów wcześniej o tym nie wiedziałem, dowiedziałem się o tym i rozszyfrowałem o co tu chodzi dopiero w tym poście.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
| rafal3006 napisał: |
| Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Irbisolu, sam jestem zaskoczony.
Zawsze twierdziłem, że z logiką jest jak z tabliczką mnożenia, aby sprawnie mnożyć dowolnie duże liczby trzeba poznać tabliczkę mnożenia do 100.
Przekładając to na logikę twierdziłem, że aby poznać logikę matematyczną na zbiorach nieskończonych potrzeba i wystarcza poznać logikę matematyczną na zbiorach minimalnych potrzebnych do zbudowania danego spójnika logicznego.
Twój cytat jest dowodem, iż nie jest to prawdą, owszem jak się zna logikę matematyczną operującą na zbiorach nieskończonych to można ją łatwo zrozumieć operując zbiorami minimalnymi - jednak odwrotnie to nie zachodzi, czego dowodem twój cytat, za który dziękuję. |
Dokładnie po to jest mi potrzebna dyskusja z ziemianami by takie przypadki wyłapywać i rozszyfrowywać. Ja nie będę żył wiecznie, mam bliżej niż dalej. Mam jednak nadzieję, że ziemscy matematycy wzorując się na naszej dyskusji sami będą podobne przypadki rozszyfrowywać na bazie Algebry Kubusia, której wszyscy jesteśmy naturalnymi ekspertami bo po prostu pod nią podlegamy i nie mamy żadnych szans by się od niej uwolnić.
Czekam Irbisolu kiedy zrozumiesz, że największą tragedią ziemskich matematyków (łącznie z tobą jak widzę) jest nieznajomość prawdy matematycznej w temacie co opisuje malunek z Wikipiedii.
Autorowi wpisu się nie dziwię bo on po prostu do tej pory tego nie wie, ale ty na 100% już wiesz i wszystko rozumiesz - więc dlaczego rękami i nogami bronisz się przed prawdą matematyczną? |
W moim ostatnim cytacie masz odpowiedź szczegółową na to twoje „te”.
Uważaj po raz pierwszy:
Dzięki tobie doszło do odkrycia ważnego dla logiki matematycznej prawa Irbisola - wcześniej o prawie Irbisola nie miałem bladego pojęcia, czego dowód w cytacie wyżej.
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych.
Uważaj po raz drugi:
Począwszy od mojego postu wyżej, kasuję wszystko co napisałem złego w temacie znalezionego przez ciebie cytatu z angielskiej Wikipedii, zaś autora cytatu przeprosiłem za nazwanie go tłukiem.
Podsumowując:
Żadnego kontekstu nie zgubiłem, po prostu kasuję wszystko co przed tym postem napisałem na temat wiadomego cytatu z Wikipedii.
Przyjmiesz to do wiadomości czy dalej będziesz twierdził że „zgubiłem kontekst”? |
Wyróżniłem ci na niebiesko moją, superprecyzyjną odpowiedź.
Ty musisz ją wziąć jako pierwszą i jedyną odpowiedź na twoje pytanie, bez żadnego wcześniejszego kontekstu bo ten twój kontekst odciąłem grubą kreską, nie ma go!
Przed tą grubą kreską obaj nie znaliśmy poprawnej odpowiedzi na twoje pytanie - ty i ja, stąd konieczność grubej kreski, czyli odcięcie się od wszystkiego co wcześniej sądziliśmy w temacie cytatu z angielskiej Wikipedii.
Po tym moim wyjaśnieniu czas, byś pokazał błąd w mojej odpowiedzi na to twoje „te”.
Powtórzę:
Nie ma żadnego wcześniejszego kontekstu!
Jedyną moją odpowiedzią na to twoje „te” jest powyższy cytat, wyróżniony na niebiesko.
Czy rozumiesz co do ciebie piszę?
Ostatnio zmieniony przez rafal3006 dnia Nie 12:35, 03 Kwi 2022, 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: 14163
Przeczytał: 19 tematów
|
| Wysłany: Nie 13:16, 03 Kwi 2022 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Dlaczego nie zapisałeś jednego zdania w którym definiujesz o jakie „te” ci chodzi i czego to „te” dotyczy? - skąd czytelnik ma to wiedzieć? |
Napisałem wcześniej. Trzeba było odpowiadać na pytania a nie pierdzielić o czym innym. |
Odpowiedziałem ci super precyzyjnie na twoje pytanie o to twoje „te” |
To nie były żadne "moje te", lecz inne.
Na pytanie o moje nie odpowiedział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: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 13:44, 03 Kwi 2022 Temat postu: |
|
|
Czy Irbisol jest zdolny do sensownej dyskusji?
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Dlaczego nie zapisałeś jednego zdania w którym definiujesz o jakie „te” ci chodzi i czego to „te” dotyczy? - skąd czytelnik ma to wiedzieć? |
Napisałem wcześniej. Trzeba było odpowiadać na pytania a nie pierdzielić o czym innym. |
Odpowiedziałem ci super precyzyjnie na twoje pytanie o to twoje „te” |
To nie były żadne "moje te", lecz inne.
Na pytanie o moje nie odpowiedziałeś. |
Irbisolu, na początek sprecyzujmy o czym niedawno dyskutowaliśmy, czyli ustalmy wspólny punkt odniesienia.
W naszej dyskusji możemy wyodrębnić dwa równoległe tematy:
1.
Dyskusja ogólna:
Dyskutujemy co diagram Venna opisuje poprawnie a co błędnie
2.
Dyskusja szczególna (dla konkretnego przypadku):
Dyskutujemy o tym dla jakich przypadków podpis pod diagramem Venna z angielskiej Wikipedii jest poprawny a dla jakich błędny.
Czy możesz wybrać na początek który temat mam powtórzyć: 1 albo 2?
… bo na oba te tematy dyskutowaliśmy w niedalekiej przeszłości, co zamierzam ci udowodnić.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Nie 20:40, 03 Kwi 2022 Temat postu: |
|
|
Najpierw odpowiedz na pytanie. Bez tego nic nie ruszy.
Że musisz się do niego dokopywać - to wyłącznie twoja zasługa.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 0:59, 04 Kwi 2022 Temat postu: |
|
|
Kiedy Irbisol zrozumie, że nie ma odpowiedzi na jego prywatne bredzenie!
Po stronie Irbisola leży dowód, iż choćby jeden „operator” który ma na myśli istnieje w naszym Wszechświecie.
Czas START Irbisolu.
| Irbisol napisał: | Najpierw odpowiedz na pytanie. Bez tego nic nie ruszy.
Że musisz się do niego dokopywać - to wyłącznie twoja zasługa. |
Odpowiedziałem na twoje pytanie (niebieski tekst w cytacie niżej), krótko i superprecyzyjnie.
W logice matematycznej dotyczącej zdań warunkowych „Jeśli p to q” nie ma żadnych innych operatorów poza wymienionymi w mojej niebieskiej odpowiedzi niżej.
Zatem to twoje zdanie:
| Irbisol napisał: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś). |
To twoje prywatne bredzenie bez sensu, chyba że udowodnisz iż w logice matematycznej obsługującej zdania warunkowe „Jeśli p to q” są jakieś inne operatory poza wymienionymi w mojej niebieskiej odpowiedzi.
Pomijam tu chaos p|~~>q bo tego cytat z angielskiej Wikipedii nie dotyczy.
Zatem piłeczka jest w twoim ogródku - to ty masz teraz udowodnić, że cytat z angielskiej Wikipedii dotyczy jakichś tam twoich wyimaginowanych operatorów innych niż w niebieskim cytacie.
Jeśli udowodnisz, że choć jeden taki twój wyimaginowany operator istnieje w naszym Wszechświecie to kasuję calusieńką algebrę Kubusia.
Czekam kiedy zrozumiesz, że ja nie jestem w stanie odpowiedzieć na twoje prywatne bredzenie!
Czy rozumiesz co to znaczy „bredzenie”?
Odpowiedziałem ci super precyzyjnie na twoje pytanie o to twoje „te”, cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#654017
| rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653307
| Irbisol napisał: |
Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć?
|
Wskaż błąd w mojej odpowiedzi na to twoje „te”, żadnego kontekstu nie zgubiłem.
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
Moja odpowiedź:
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
|
|
Ostatnio zmieniony przez rafal3006 dnia Pon 1:37, 04 Kwi 2022, w całości zmieniany 9 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: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 1:53, 04 Kwi 2022 Temat postu: |
|
|
Znaczące uproszczenie interpretacji spójników logicznych z angielskiej Wikipedii!
Dotyczące zbiorów nieskończonych.
Jak wszyscy widzą, dyskusja z Irbisolem zrobiła się bez sensu.
Irbisol ubzdurał sobie jakiś tam nieistniejący w naszym Wszechświecie operator logiczny i chce o nim dyskutować.
Na moje pytanie o definicję tego wyimaginowanego operatora nigdy nie odpowie - dokładnie dlatego sprowadza dyskusję do rynsztoka.
Przytaczam mu zatem po raz kolejny poprawne definicje trzech spójników logicznych:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
podane poprawnie matematycznie w angielskiej Wikipedii pod warunkiem, że dyskutujemy o zbiorach skończonych.
Jeśli chodzi o zbiory nieskończone, to znalazłem znaczące uproszczenie opisu, dlatego po poniższym cytacie jeszcze raz zajmę się tym problemem.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#654119
| rafal3006 napisał: | Prawo Irbisola dla zbiorów!
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych.
Pytanie do Irbisola:
Czy zgadzasz się na prawo Irbisola, dzięki tobie odkryte?
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
W algebrze Kubusia w zbiorach zachodzi tożsamość pojęć:
Warunek wystarczający A1: p=>q = relacja podzbioru A1: p=>q = twierdzenie proste A1: p=>q=~p+q
##
Warunek konieczny B1: p~>q = relacja nadzbioru B1: p~>q = twierdzenie odwrotne B3: q=>p=~q+p
bo prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
| Irbisol napisał: |
Cofnij się tylko do ostatniego.
Dopóki nie odpowiesz, nawet nie czytam co dalej piszesz. |
ok
Cofam się do ostatniego twojego pytania.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653307
| Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653731
| Irbisol napisał: |
Słynny na cały już Wszechświat, kapitalny cytat Irbisola z Wikipedii:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
Drugie wejście smoka to znalezienia wiadomego cytatu w angielskiej Wikipedii, gdzie autor na bazie diagramu Venna zapisał słownie poprawnie matematycznie trzy różne definicje spójników logicznych, tylko o tym nie wie.
1:
Implikacja prosta p|=>q:
A1: p=>q=1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
stąd:
p|=>q=(A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Wikipedia, cytat 1:
Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne
Implikacja prosta p|=>q dla cytatu z Wikipedii została szczegółowa omówiona tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653293
##
2:
Implikacja odwrotna p|~>q:
A1: p=>q=0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q=1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
p|~>q=~(A1: p=>q)*(B1: p~>q)=~(0)*1=1*1=1
Wikipedia, cytat 2:
Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy
Spójnik implikacji odwrotnej p|~>q na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653415
##
3:
Równoważność p<=>q:
A1: p=>q=1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Wikipedia, cytat 3:
Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
Równoważność dokładnie na tym samym układzie zbiorów omówiliśmy tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#653663
Gdzie:
## - różne na mocy definicji
|
Udowodnienie iż dowolne zdanie x wchodzi w skład spójnika logicznego X (np. p<=>q) jest tożsame z udowodnieniem iż zdanie x wchodzi w skład operatora logicznego X (np. p|<=>q)).
Jeśli tego nie rozumiesz to chętnie ci wyjaśnię - zapytaj.
Podsumowując mój cytat wyżej.
W zbiorach skończonych fantastyczny malunek z Wikipedii (diagram Venna z opisem) znaleziony przez Irbisola doskonale opisuje trzy i tylko trzy spójniki logiczne:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
ale nie jest w stanie opisać ostatniego ze spójników logicznych, spójnika chaosu p|~~>q.
Definicja spójnika chaosu p|~~>q:
Chaos p|~~>q to cztery zbiory niepuste mające element wspólny każdy z każdym, uzupełniające się do wspólnej dziedziny D
D = p*q+p*~q+~p*q+~p*~q = p*(q+~q)*~p*(q+~q) = p+~p=1
Innymi słowy:
Chaos p|~~>q to nie zachodzenie ani warunku wystarczającego => (A1), ani też koniecznego ~> (B1) między dowolnymi punktami i w tym samym kierunku
A1: p=>q=0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q=0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
stąd:
p|~~>q = ~(A1: p=>q)*~(B1: p~>q) =~(0)*~(0)=1*1=1
Przykład spójnika chaosu p|~~>q w zbiorach.
Definicja chaosu P8|~~>P3:
Chaos P8|~~>P3 to nie zachodzenie ani warunku wystarczającego =>, ani też koniecznego ~> między tymi samymi punktami i w tym samym kierunku:
A1: P8=>P3 =0 - podzielność dowolnej liczby przez 8 nie jest (=0) warunkiem wystarczającym =>
dla jej podzielności przez 3, bo zbiór P8 nie jest (=0) podzbiorem => P3
B1: P8~>P3 =0 - podzielność dowolnej liczby przez 8 nie jest (=0) warunkiem koniecznym ~>
dla jej podzielności przez 3, bo zbiór P8 nie jest (=0) nadzbiorem ~> P3
Stąd:
P8|~~>P3 = ~(A1: P8=>P3)*~(B1: P8~>P3) = ~(0)*~(0) =1*1 =1
Zbadajmy tabelę prawdy dla spójnika chaosu P8|~~>P3:
| Kod: |
CH
Tabela prawdy spójnika chaosu P8|~~>P8
przez wszystkie możliwe przeczenia p i q
A: P8~~> P3= P8* P3=1 - bo zbiory P8 i P3 mają element wspólny ~~> np. 24
B: P8~~>~P3= P8*~P3=1 - bo zbiory P8 i ~P3 mają element wspólny ~~> np. 8
C:~P8~~>~P3=~P8*~P3=1 - bo zbiory ~P8 i ~P3 mają element wspólny ~~> np. 2
D:~P8~~> P3=~P8* P3=1 - bo zbiory ~P8 i P3 mają element wspólny ~~> np. 3
|
cnd
Zauważmy że:
W tabeli prawdy CH nie ma ani jednego kontrprzykładu fałszywego, co wyklucza występowanie tu warunku wystarczającego => a tym samym koniecznego ~>
cnd
Podsumowując:
Najsłynniejszy malunek z angielskiej Wikipedii (diagram Venna z opisem) nie jest w stanie opisać spójnika chaosu p|~~>q, bowiem do jego opisu są konieczne cztery zbiory niepuste gdzie każdy z każdym ma co najmniej jeden element wspólny (patrz tabela prawdy CH), natomiast w diagramie Venna mamy tylko dwa zbiory różne i niepuste A i B, mające co najmniej jeden element wspólny (w sumie trzy zbiory).
cnd
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
| Kod: |
Diagram Venna z uwzględnieniem wspólnej dziedziny D
------------------------------------------------
| Wspólna dziedzina D=A+B |
------------------------------------------------
---------------------------------
| B |
------------------------------------------------
| A |
------------------------------------------------
| A*~B | A*B | B*~A |
------------------------------------------------
|
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych
Dowód na przykładzie:
Część I
Dla tych samych zbiorów skończonych A i B diagram Venna opisuje poprawnie trzy spójniki logiczne:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
oraz nie opisuje spójnika chaosu:
p|~~>q - chaos
Dowód w niniejszym poście.
Część II
Dla zbiorów nieskończonych diagram Venna opisuje poprawnie tylko i wyłącznie przypadek 3 z poniższego przykładu
Przykład:
Niech będą dane dwa zbiory niepuste i nieskończone:
Am - zbiór liczb podzielnych przez m
Bn - zbiór liczb podzielnych przez n
Oznaczmy:
Cx - nieskończony zbór wynikowy Am*Bn
Cx=Am*Bn
Gdzie:
x=m*n
Prawo teorii zbiorów:
Am*Bn=C(m*n)
Iloczyn logiczny zbiorów Am*Bn może tworzyć tylko i wyłącznie następujące trzy konfiguracje.
1.
Zbiór Cx jest podzbiorem => wyłącznie zbioru Am i nie jest tożsamy z Am
W tym przypadku zbiór Bn*~Am jest zbiorem pustym []
Wniosek:
Dla zbiorów nieskończonych ten przypadek nie podlega pod diagram Venna bo w diagramie Venna zbiór Bn*~Am jest zbiorem niepustym.
cnd
Przykład:
Am=P2
Bn=P8
Cx=P8*P2=P8
Definicja implikacji prostej P8|=>P2:
A1: P8=>P2=1 - zbiór P8=[8,16,24..] jest (=1) podzbiorem => P2=[2,4,6,8..]
B1: P8~>P2=0 - zbiór P8=[8,16,24..] nie jest (=0) nadzbiorem ~> P2=[2,4,6,8..]
stąd:
P8|=>P2=(A1: P8=>P2)*~(B1: P8~>P2)=1*~(0)=1*1=1
W tym przypadku jeden ze zbiorów w diagramie Venna jest pusty, zatem diagram Venna jest tu fałszem:
Bn*~Am=P8*~P2=[8,16,24..]*[1,3,5,7..] =[] =0
cnd
(dowód przez pokazanie)
2.
Zbiór Cx jest podzbiorem => zbioru Am i jest tożsamy ze zbiorem Am
Wniosek:
Dla zbiorów nieskończonych ten przypadek nie pasuje do diagramu Venna, bo w diagramie Venna mamy:
Cx ## Am ## Bn
gdzie:
## - zbiory różne na mocy definicji
Przykład:
Am=P2
Bn=P2
Cx=P2*P2=P2
Definicja równoważności P2<=>P2:
A1: P2=>P2=1 - zbiór P2=[2,4,6..] jest podzbiorem => P2=[2,4,6..]
B1: P2~>P2=1 - zbiór P2=[2,4,6..] jest nadzbiorem ~> P2=[2,4,6..]
Stąd:
P2<=>P2 = (A1: P2=>P2)*(B1: P2~>P2)=1*1 =1
Dowód:
Każdy zbiór/ pojęcie jest zarówno podzbiorem => jak i nadzbiorem ~> siebie samego
cnd
3.
Dla nieskończonych zbiorów Am i Bn diagram Venna opisuje poprawnie tylko i wyłącznie następujący przypadek.
1.
Cx=>Am=1 - zbiór Cx jest podzbiorem => Am i nie jest tożsamy ze zbiorem Am
2.
Cx=>Bn=1 - zbiór Cx jest podzbiorem => Bn i nie jest tożsamy ze zbiorem Bn
Uwaga!
Dla zbiorów nieskończonych wyłącznie ten przypadek pasuje do diagramu Venna w 100%
Przykład:
Am=P2
Bn=P3
Cx=P2*P3=P6
Wykorzystane prawo teorii zbiorów:
Am*Bn=C(m*n)
W tym przypadku mamy:
1.
Implikacja prosta P6|=>P2:
Cx=Am*Bn=P6 => Am=P2 =1 - P6=[6,12,18..] jest podzbiorem => P2=[2,4,6..] i nie jest tożsamy z P2
2.
Implikacja prosta P6|=>P3:
Cx=Am*Bn=P6 => Bn=P3 =1 - P6=[6,12,18..] jest podzbiorem => P3=[3,6,9,12..] i nie jest tożsamy z P3
cnd
(dowód przez pokazanie)
Wniosek:
Dla zbiorów nieskończonych wyłącznie przypadek 3 opisany jest poprawnie diagramem Venna
cnd
Podsumowanie niniejszego postu to prawo Irbisola dla zbiorów.
Prawo Irbisola dla zbiorów:
Logika matematyczna zbiorów skończonych nie ma przełożenia 1:1 na logikę matematyczną zbiorów nieskończonych
cnd
P.S.
Zobaczmy co na temat ostatnich tu wykładów ma do powiedzenia Wikipedia
[link widoczny dla zalogowanych]
| Wikipdia napisał: |
Warunek konieczny i warunek wystarczający
Jeżeli ze zdania p wynika zdanie q, to mówimy, że p jest warunkiem wystarczającym dla q, a q jest warunkiem koniecznym dla p.
Warunek wystarczający nazywany jest też warunkiem dostatecznym.
Przykład 1.
a)
Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym i wystarczającym podzielności tej liczby przez 6.
b)
Podzielność liczby całkowitej przez 10 jest warunkiem wystarczającym podzielności tej liczby przez 5.
|
Zauważmy, ze ziemscy matematycy nie potrafią dziecku w szkole podstawowej wytłumaczyć algorytmu dowodów tych twierdzeń bo nie znają algebry Kubusia!
Ad.1a
Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym i wystarczającym podzielności tej liczby przez 6.
P2*P3 = P6 - prawo teorii zbiorów
Dowód:
Prawo Irbisa:
Każda tożsamość zbiorów/pojęć p=q definiuje równoważność p<=>q i odwrotnie
P2*P3=P6 <=> (A1: P2*P3=>P6)*(B1: P2*P3~>P6)= P2*P3<=>P6
Dopiero stąd mamy dokładnie to co pisze w podręczniku matematyki dla szkoły podstawowej.
Środek czytamy:
Podzielność liczby całkowitej przez 2 i przez 3 jest warunkiem koniecznym ~> (B1) i wystarczającym => (A1) podzielności tej liczby przez 6.
cnd
Ad. 1b
Jeśli dowolna liczba jest podzielna przez 10 to jest podzielna przez 5
P10=>P5 =1
Innymi słowy:
Podzielność liczby całkowitej przez 10 jest warunkiem wystarczającym podzielności tej liczby przez 5.
P10=>P5 =1
Podzielność dowolnej liczby całkowitej przez 10 jest warunkiem wystarczającym => dla jej podzielności przez 5 wtedy i tylko wtedy gdy zbiór P10=[10,20,30 ..] jest podzbiorem => zbioru P5=[5,10,15,20 ..]
Zauważmy że:
Aby udowodnić prawdziwość zdania 1b potrzeba i wystarcza udowodnić iż zbiór P10=[10,20,30..] jest podzbiorem => zbioru P5=[5,10,15,20..] co każdy matematyk bez trudu udowodni.
Zauważmy, że gdyby ziemscy matematycy znali algebrę Kubusia to wykład w temacie warunków wystarczających => i koniecznych ~> byłby banalnie prosty i jasny także dla ucznia szkoły podstawowej!
Oczywiście fałszem jest dogmat Irbisola jakoby zachodziła tożsamość pojęć:
Implikacja rodem z KRZ (zdanie 1b) = warunek wystarczający => (zdanie 1b)
Dokładnie dlatego miejsce Klasycznego Rachunku Zdań jest w piekle na wiecznych piekielnych mękach.
Czy irbisol się z tym zgadza? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1300.html#636141
| Irbisol napisał: |
W angielskiej Wikipedii masz:
1: Bycie w obszarze fioletowym jest wystarczające do bycia w A, ale nie jest konieczne. 2: Bycie w A jest konieczne, aby znaleźć się w fioletowym regionie, ale nie wystarczy. 3: Bycie w A i bycie w B jest konieczne i wystarczające, aby znaleźć się w fioletowym regionie
[link widoczny dla zalogowanych] |
Na czym polega uproszczenie definicji spójników logicznych z Wikipedii dla zbiorów nieskończonych?
Odpowiedź:
Na skorzystaniu z poniższego prawa teorii zbiorów:
Am*Bn=C(m*n)
Wyjaśniam na przykładzie:
Niech będą dane dwa zbiory niepuste i nieskończone:
Am - zbiór liczb podzielnych przez m
Bn - zbiór liczb podzielnych przez n
Oznaczmy:
Cx - nieskończony zbór wynikowy Am*Bn
Cx=Am*Bn
Gdzie:
x=m*n
Prawo teorii zbiorów:
Am*Bn=C(m*n)
O czym mówi prawo teorii zbiorów?
Z prawa teorii zbiorów wynika, że znajomość dwóch dowolnych zbiorów wymusza znajomość trzeciego.
Zobaczmy to na przykładowych zadankach z I klasy LO póki co, w 100-milowym lesie.
Zadanie 1
Udowodnij prawdziwość poniższego zdania:
Jeśli dowolna liczba naturalna jest podzielna przez 8 to jest podzielna przez 2
Czy analizę tego zdania da się przedstawić w postaci diagramu Venna?
Odpowiedź Jasia:
A1.
Jeśli dowolna liczba naturalna jest podzielna przez 8 to jest podzielna przez 2
P8=>P2 =1
Podzielność dowolnej liczby naturalnej przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
cnd
(dowód przez pokazanie)
Prawo teorii zbiorów:
Am*Bn=C(m*n)
Nanoszę analizę tego zdania na diagram Venna:
A=P2
C=P8 - zbiór P8 jest podzbiorem P2
Stąd:
B=C/A = P8/P2 = P4
Warunek poprawności diagramu Venna:
A ## B
jest tu spełniony.
Gdzie:
## - zbiory różne na mocy definicji
Kiedy diagram Venna jest tu błędny?
Odpowiedź:
Gdy nie znamy tabliczki mnożenia do 10 i odpowiemy w ostatnim zadaniu na przykład tak.
B=C/A=P8/P2 = P6?!
Zadanie 2.
Na diagramie Venna dane są dwa zbiory:
A=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
B=P3=[3,6,9,12..] - zbiór liczb podzielnych przez 3
Oblicz wspólną część C powyższych zbiorów.
Odpowiedź Jasia:
Prawo teorii zbiorów:
Am*Bn=C(m*n)
Stąd mamy:
C = P2*P3 = P6
cnd
Kiedy diagram Venna jest tu błędny?
Odpowiedź:
Gdy nie znamy tabliczki mnożenia do 10 i odpowiemy w ostatnim zadaniu na przykład tak.
C=P2*P3=P8?!
Na zakończenie podaję dwa przykłady na zbiorach nieskończonych w których diagram Venna jest błędny tzn. nie pasuje do poniższych przykładów.
Zadanie 3.
Udowodnij prawdziwość poniższego zdania:
Jeśli dowolna liczba jest podzielna przez 4 to jest podzielna przez 2
Czy analizę tego zdania da się przedstawić w postaci diagramu Venna?
Rozwiązanie Jasia:
A1.
Jeśli dowolna liczba naturalna jest podzielna przez 4 to jest podzielna przez 2
P4=>P2=1
Podzielność dowolnej liczby naturalnej przez 4 jest warunkiem wystarczającym => dla jej podzielności przez 2 bo zbiór P4=[4,8,12,16..] jest podzbiorem => zbioru P2=[2,4,6,8..]
cnd
(dowód przez pokazanie)
Tego przykładu nie da się nanieść na diagram Venna bo:
Prawo teorii zbiorów:
Am*Bn=C(m*n)
Mamy:
A=P2=[2,4,6,8..]
C=P4=[4,8,12..] - zbiór P4 jest podzbiorem => zbioru P2
Stąd:
B=C/A = P4/P2=P2=[2,4,6,8..]
Wniosek:
Analizy tego zdania nie da się przedstawić w postaci diagramu Venna bo nie jest spełniony warunek poprawności diagramu Venna
A ## B
Gdzie:
## - zbiory różne na mocy definicji
Zadanie 4.
Zbadaj czy twierdzenie Pitagorasa da się nanieść na diagram Venna?
Rozwiązanie:
A1
Jeśli trójkąt jest prostokątny (TP) to zachodzi w nim suma kwadratów (SK)
TP=>SK =1
Twierdzenie proste Pitagorasa udowodniono wieki temu.
Ten dowód oznacza że:
Bycie trójkątem prostokątnym (TP) jest warunkiem wystarczającym => do tego, aby zachodziła w nim suma kwadratów (SK) wtedy i tylko wtedy gdy zbiór TP jest podzbiorem SK
Badamy twierdzenie odwrotne Pitagorasa:
B3.
Jeśli w trójkącie zachodzi suma kwadratów (SK) to ten trójkąt jest prostokątny (TP)
SK=>TP=1
Twierdzenie odwrotne Pitagorasa udowodniono wieki temu.
Ten dowód oznacza że:
Bycie trójkątem ze spełnioną sumą kwadratów (SK) jest warunkiem wystarczającym do tego, by ten trójkąt był prostokątny (TP) wtedy i tylko wtedy gdy zbiór SK jest podzbiorem => TP
Zauważmy, że A1 i B3 definiują tożsamość zbiorów TP=SK znaną każdemu matematykowi:
TP=SK <=> (A1: TP=>SK)*(B3: SK=>TP)= TP<=>SK
cnd
Wniosek:
Równoważności Pitagorasa TP<=>SK nie da się nanieść na diagram Venna bo zachodzi tożsamość zbiorów:
TP=SK
Podsumowując:
Mam nadzieję, że wkrótce także w I klasie LO w ziemskich podręcznikach matematyki znajdą się tego typu prościutkie zadanka z logiki matematycznej dotyczące zbiorów nieskończonych.
Ostatnio zmieniony przez rafal3006 dnia Pon 7:28, 04 Kwi 2022, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Pon 10:25, 04 Kwi 2022 Temat postu: |
|
|
|
Nie o to pytałem. I już ci pisałem, że nie o to pytałem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32733
Przeczytał: 43 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 10:44, 04 Kwi 2022 Temat postu: |
|
|
| Irbisol napisał: | | Nie o to pytałem. I już ci pisałem, że nie o to pytałem. |
To napisz prosto i klarownie o co ci chodzi, bo na twoje pytanie odpowiedziałem krótko i treściwie w tym cytacie:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#654115
| rafal3006 napisał: | Kiedy Irbisol zrozumie, że nie ma odpowiedzi na jego prywatne bredzenie!
Po stronie Irbisola leży dowód, iż choćby jeden „operator” który ma na myśli istnieje w naszym Wszechświecie.
Czas START Irbisolu.
| Irbisol napisał: | Najpierw odpowiedz na pytanie. Bez tego nic nie ruszy.
Że musisz się do niego dokopywać - to wyłącznie twoja zasługa. |
Odpowiedziałem na twoje pytanie (niebieski tekst w cytacie niżej), krótko i superprecyzyjnie.
W logice matematycznej dotyczącej zdań warunkowych „Jeśli p to q” nie ma żadnych innych operatorów poza wymienionymi w mojej niebieskiej odpowiedzi niżej.
Zatem to twoje zdanie:
| Irbisol napisał: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś). |
To twoje prywatne bredzenie bez sensu, chyba że udowodnisz iż w logice matematycznej obsługującej zdania warunkowe „Jeśli p to q” są jakieś inne operatory poza wymienionymi w mojej niebieskiej odpowiedzi.
Pomijam tu chaos p|~~>q bo tego cytat z angielskiej Wikipedii nie dotyczy.
Zatem piłeczka jest w twoim ogródku - to ty masz teraz udowodnić, że cytat z angielskiej Wikipedii dotyczy jakichś tam twoich wyimaginowanych operatorów innych niż w niebieskim cytacie.
Jeśli udowodnisz, że choć jeden taki twój wyimaginowany operator istnieje w naszym Wszechświecie to kasuję calusieńką algebrę Kubusia.
Czekam kiedy zrozumiesz, że ja nie jestem w stanie odpowiedzieć na twoje prywatne bredzenie!
Czy rozumiesz co to znaczy „bredzenie”?
Odpowiedziałem ci super precyzyjnie na twoje pytanie o to twoje „te”, cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1625.html#654017
| rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1600.html#653307
| Irbisol napisał: |
Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć?
|
Wskaż błąd w mojej odpowiedzi na to twoje „te”, żadnego kontekstu nie zgubiłem.
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć? |
Twój malunek z Wikipedii perfekcyjnie tłumaczy trzy spójniki logiczne p|=>q, p|~>q i p<=>q, a tym samym trzy operatory logiczne p||=>q, p||~>q i p|<=>q co cały czas ci udowadniam, choćby w ostatnim poście, cytuję: |
Ale ja nie pytam, jakie operatory tłumaczy. Pytam, dlaczego uznałeś, że ten malunek miał za zadanie te operatory tłumaczyć ("te" oznacza inne niż napisałeś).
A jeżeli jeszcze się powtarzasz i spamujesz wielkimi cytatami, o które nikt nie pytał, to tym bardziej dalej nie czytam. |
Moja odpowiedź:
„te” oznacza tu „te” i tylko „te” spójniki logiczne jak niżej, bo w rzeczywistości, w naszym Wszechświecie malunek z Wikipedii perfekcyjnie, w sposób jasny i klarowny dla każdego ucznia szkoły podstawowej tłumaczy sens następujących spójników:
p|=>q - implikacja prosta
p|~>q - implikacja odwrotna
p<=>q - równoważność
|
|
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14163
Przeczytał: 19 tematów
|
| Wysłany: Pon 12:25, 04 Kwi 2022 Temat postu: |
|
|
|
Miałeś napisane jasno i klarownie, to zacząłeś pierdzielić na tematy, o które nikt cię nie pytał.
|
|
| 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
