 |
Ś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: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Wto 15:10, 27 Maj 2025 Temat postu: |
|
|
Biedny Irbisol, schizofrenia zwana KRZ nie pozwala mu zrozumieć kto tu przed kim ucieka!
| Irbisol napisał: | | Dostałeś odpowiedź, żebyś nie uciekał od tematu. |
Ty uciekasz od tematu, twardy dowód masz w moim poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843735
i cytacie niżej!
Schizofrenia zwana KRZ trzyma cię mocno - cóż, współczuję.
Najpierw zdefiniujmy sedno naszego konfliktu - nie czas żałować róż gdy płoną lasy.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843695
| rafal3006 napisał: | Nie czas żałować róż gdy płoną lasy!
| Irbisol napisał: | | Od kilkuset postów uciekasz od tematu. Tylko i wyłącznie. |
Irbisolu,
Nie czas żałować róż gdy płoną lasy!
Irbisolu, w logicznym rozumowaniu to AI bije cię na głowę, niestety:
AI
"Nie czas żałować róż, gdy płoną lasy" to polskie przysłowie, które oznacza, że w sytuacjach kryzysowych należy skupić się na ważniejszych sprawach, a nie na drobiazgach. Wartość tego przysłowia polega na tym, że przypomina nam o konieczności priorytetowania w trudnych momentach, gdy trzeba bronić to, co najważniejsze, a nie martwić się drobiazgami, które w obliczu większych zagrożeń tracą na znaczeniu.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843689
| rafal3006 napisał: | Czy zgadzasz się na poniższą definicję naszego sporu?
Irbisolu,
Od kilkuset postów bijemy się o analizę banalnej obietnicy A1 pani przedszkolanki.
A1.
Jutro pójdziemy do kina
Nasza fundamentalna różnica to:
1.
Irbisol twierdzi, że zmienną binarną w obietnicy A1 jest całe zdanie:
A1.
Jutro pójdziemy do kina
1a.
Irbisol twierdzi, że do obsługi powyższej obietnicy nie jest mu potrzebna definicja funkcji logicznej algebry Boole'a:
Y=f(x)
Dla f(x)=K
Mamy kodowanie zdania A1 poprawne w algebrze Kubusia:
Y=K
1b.
Irbisol twierdzi że 1a to wymysł schizofrenika Rafała3006 bo on ma w dupie konieczność użycia definicji funkcji logicznej:
Y=K
w obsłudze obietnicy A1
2.
Rafał3006 twierdzi, że zmienną binarną w obietnicy A1 jest rzeczownik K(kino) w którym to kinie jutro możemy być (K=1) albo nie być (~K=1)
Czy zgadzasz się na powyższą definicję naszego sporu?
TAK/NIE |
|
Ostatnio zmieniony przez rafal3006 dnia Wto 15:13, 27 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Wto 15:20, 27 Maj 2025 Temat postu: |
|
|
|
Nie widzę tam żadnego dowodu, że to ja uciekam od tematu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 15:26, 27 Maj 2025 Temat postu: |
|
|
| Irbisol napisał: | | Nie widzę tam żadnego dowodu, że to ja uciekam od tematu. |
Cóż, w schizofrenii to jest standard - czyli wszyscy widzą, że uciekasz od tematu, a ty tego nie widzisz
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843635
| rafal3006 napisał: | Irbisolu, czekam kiedy zrozumiesz, że robisz z siebie Osiołka!
| Irbisol napisał: | | To sobie czekaj. Najpierw dokańczasz bieżące tematy. Im dłużej będziesz je dokańczał, tym dłużej będziesz czekał. |
Czekam kiedy zrozumiesz, że w oczach ludzi normalnych, 5-cio latków i humanistów robisz z siebie Osiołka, bo wszyscy dookoła rozumieją banalny cytat niżej ... a ty NIE!
[link widoczny dla zalogowanych]
"Osoba cierpiąca na schizofrenię nie wie, że jest chora. To największy problem"
W Polsce na schizofrenię leczy się 187 tys. osób. - Zdiagnozowanych jest dwa razy więcej. Problem polega na tym, że wszyscy dookoła dostrzegają chorobę, a sam pacjent - NIE - wyjaśniała dr Maja Polikowska z Kliniki Psychiatrii Warszawskiego Uniwersytetu Medycznego i Instytutu Amici. Gościem "Wieczoru RDC" była również Magda Bojarska z Fundacji "Hej, Koniku".
Irbisolu, czekam kiedy znajdziesz błąd w kompletnej teorii obsługi bezwarunkowych obietnic n-argumentowych raptem 3-stronicowej tu wyłożonej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625
Tu masz kluczowy fragment, krócej i prościej nie da się wytłumaczyć:
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a
Spis treści
1.19.2 Najprostsza obietnica bezwarunkowa 2
1.19.3 Lokalizacja zmiennych binarnych w obietnicach 3
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~Y=1) = (Y=0)
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~K=1) = (K=0)
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Gdzie:
## - zdarzenia różne na mocy definicji
1.19.3 Lokalizacja zmiennych binarnych w obietnicach bezwarunkowych
Jak widzimy, w naszym przykładzie wyżej zmienną binarną jest rzeczownik K(kino), czyli „jutro możemy gdzieś być”. Czasownik „pójdziemy do” jest tu kwiatkiem do kożucha.
Drugą możliwą zmienną binarną w obietnicach bezwarunkowych jest czasownik, czyli „jutro możemy coś robić”.
Pani w przedszkolu:
A2.
Jutro będziemy grać w piłkę
Y=GP
Tu zmienna binarna GP oznacza fakt grania w piłkę, rzeczownik „piłka” jest tu kwiatkiem do kożucha.
Analiza matematyczna:
A2.
Jutro będziemy grać w piłkę
Y=GP
Zapis tożsamy na mocy prawa Irbisa:
Y<=>GP
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> GP=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro będziemy grać w piłkę (GP=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A2 stronami:
B2.
~Y<=>~GP
Co w logice jedynek oznacza:
~Y=1 <=> ~GP=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie będziemy grać w piłkę (~GP=1)
Znaczenie zmiennych binarnych Y i GP:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
GP - będziemy grać w piłkę (GP=1)
##
~GP - nie będziemy grać w piłkę (~GP=1)
Prawo Prosiaczka:
(~GP=1) = (GP=0)
Gdzie:
## - zdarzenia różne na mocy definicji
|
|
Ostatnio zmieniony przez rafal3006 dnia Śro 1:45, 28 Maj 2025, 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: 17084
Przeczytał: 5 tematów
|
| Wysłany: Wto 15:41, 27 Maj 2025 Temat postu: |
|
|
|
Więc wskaż fragment, który dowodzi iż uciekam od tematu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 17:21, 27 Maj 2025 Temat postu: |
|
|
Biedny Irbisol, w panicznym strachu ucieka przed 5-cio latkiem i huamnistą!
| Irbisol napisał: | | Więc wskaż fragment, który dowodzi iż uciekam od tematu. |
Irbisolu, w panicznym strachu uciekasz nie przede mną tyko przed 5-cio latkiem i humanistą.
Dowód:
Jaś (lat 5) do Irbisola:
Irbisolu, poniższy cytat to w 100% moja logika matematyczna, którą ja się posługuję na co dzień, którą posługuje się na co dzień każdy humanista.
W związku z tym mam do ciebie pytanie:
Czy twoja logika zwana Klasycznym Rachunkiem Zdań jest w 100% zgodna z moją logiką w cytacie niżej przedstawioną?
TAK/NIE
Jaś (lat 5):
Tu masz kluczowy fragment o co chodzi w mojej logice matematycznej, krócej i prościej nie da się wytłumaczyć:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a
Spis treści
1.19.2 Najprostsza obietnica bezwarunkowa 2
1.19.3 Lokalizacja zmiennych binarnych w obietnicach 3
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~Y=1) = (Y=0)
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~K=1) = (K=0)
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Gdzie:
## - zdarzenia różne na mocy definicji
1.19.3 Lokalizacja zmiennych binarnych w obietnicach bezwarunkowych
Jak widzimy, w naszym przykładzie wyżej zmienną binarną jest rzeczownik K(kino), czyli „jutro możemy gdzieś być”. Czasownik „pójdziemy do” jest tu kwiatkiem do kożucha.
Drugą możliwą zmienną binarną w obietnicach bezwarunkowych jest czasownik, czyli „jutro możemy coś robić”.
Pani w przedszkolu:
A2.
Jutro będziemy grać w piłkę
Y=GP
Tu zmienna binarna GP oznacza fakt grania w piłkę, rzeczownik „piłka” jest tu kwiatkiem do kożucha.
Analiza matematyczna:
A2.
Jutro będziemy grać w piłkę
Y=GP
Zapis tożsamy na mocy prawa Irbisa:
Y<=>GP
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> GP=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro będziemy grać w piłkę (GP=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A2 stronami:
B2.
~Y<=>~GP
Co w logice jedynek oznacza:
~Y=1 <=> ~GP=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie będziemy grać w piłkę (~GP=1)
Znaczenie zmiennych binarnych Y i GP:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
GP - będziemy grać w piłkę (GP=1)
##
~GP - nie będziemy grać w piłkę (~GP=1)
Prawo Prosiaczka:
(~GP=1) = (GP=0)
Gdzie:
## - zdarzenia różne na mocy definicji
|
Ostatnio zmieniony przez rafal3006 dnia Śro 1:45, 28 Maj 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Wto 17:35, 27 Maj 2025 Temat postu: |
|
|
|
Miałeś wskazać fragment dowodzący, że to ja uciekam.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 17:57, 27 Maj 2025 Temat postu: |
|
|
Czy Irbisol potrafi myśleć abstrakcyjnie?
Pytanie retoryczne:
Ma kto taką nadzieję?
| Irbisol napisał: | | Miałeś wskazać fragment dowodzący, że to ja uciekam. |
Nie ze mną teraz dyskutujesz, ale z Jasiem (lat 5).
Potrafisz myśleć abstrakcyjnie?
Załóż sobie że mnie nie ma i nigdy na śfinii nie było.
Od tej chwili jesteś ty i Jaś (lat 5).
Jaś ci zadał konkretne pytanie a twoim psim obowiązkiem jest odpowiedzieć na to pytanie.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12575.html#843763
| rafal3006 napisał: | Biedny Irbisol, w panicznym strachu ucieka przed 5-cio latkiem i humanistą!
| Irbisol napisał: | | Więc wskaż fragment, który dowodzi iż uciekam od tematu. |
Irbisolu, w panicznym strachu uciekasz nie przede mną tyko przed 5-cio latkiem i humanistą.
Dowód:
Jaś (lat 5) do Irbisola:
Irbisolu, poniższy cytat to w 100% moja logika matematyczna, którą ja się posługuję na co dzień, którą posługuje się na co dzień każdy humanista.
W związku z tym mam do ciebie pytanie:
Czy twoja logika zwana Klasycznym Rachunkiem Zdań jest w 100% zgodna z moją logiką w cytacie niżej przedstawioną?
TAK/NIE
Jaś (lat 5):
Tu masz kluczowy fragment o co chodzi w mojej logice matematycznej, krócej i prościej nie da się wytłumaczyć:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a
Spis treści
1.19.2 Najprostsza obietnica bezwarunkowa 2
1.19.3 Lokalizacja zmiennych binarnych w obietnicach 3
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~Y=1) = (Y=0)
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~K=1) = (K=0)
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Gdzie:
## - zdarzenia różne na mocy definicji
1.19.3 Lokalizacja zmiennych binarnych w obietnicach bezwarunkowych
Jak widzimy, w naszym przykładzie wyżej zmienną binarną jest rzeczownik K(kino), czyli „jutro możemy gdzieś być”. Czasownik „pójdziemy do” jest tu kwiatkiem do kożucha.
Drugą możliwą zmienną binarną w obietnicach bezwarunkowych jest czasownik, czyli „jutro możemy coś robić”.
Pani w przedszkolu:
A2.
Jutro będziemy grać w piłkę
Y=GP
Tu zmienna binarna GP oznacza fakt grania w piłkę, rzeczownik „piłka” jest tu kwiatkiem do kożucha.
Analiza matematyczna:
A2.
Jutro będziemy grać w piłkę
Y=GP
Zapis tożsamy na mocy prawa Irbisa:
Y<=>GP
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> GP=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro będziemy grać w piłkę (GP=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A2 stronami:
B2.
~Y<=>~GP
Co w logice jedynek oznacza:
~Y=1 <=> ~GP=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie będziemy grać w piłkę (~GP=1)
Znaczenie zmiennych binarnych Y i GP:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
GP - będziemy grać w piłkę (GP=1)
##
~GP - nie będziemy grać w piłkę (~GP=1)
Prawo Prosiaczka:
(~GP=1) = (GP=0)
Gdzie:
## - zdarzenia różne na mocy definicji
|
|
Ostatnio zmieniony przez rafal3006 dnia Śro 1:44, 28 Maj 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Wto 20:50, 27 Maj 2025 Temat postu: |
|
|
Schizofreniku, dyskutuję z tobą.
Wskaż fragment dowodzący, że to ja uciekam od tematu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 21:15, 27 Maj 2025 Temat postu: |
|
|
| Irbisol napisał: | Schizofreniku, dyskutuję z tobą.
Wskaż fragment dowodzący, że to ja uciekam od tematu. |
Każdy mój post to dowód, iz z przerażeniem w oczach uciekasz od tematu ... co każdy widzi, z wyjątkem schizofrenika.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12575.html#843741
| rafal3006 napisał: | Biedny Irbisol, schizofrenia zwana KRZ nie pozwala mu zrozumieć kto tu przed kim ucieka!
| Irbisol napisał: | | Dostałeś odpowiedź, żebyś nie uciekał od tematu. |
Ty uciekasz od tematu, twardy dowód masz w moim poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843735
i cytacie niżej!
Schizofrenia zwana KRZ trzyma cię mocno - cóż, współczuję.
Najpierw zdefiniujmy sedno naszego konfliktu - nie czas żałować róż gdy płoną lasy.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843695
| rafal3006 napisał: | Nie czas żałować róż gdy płoną lasy!
| Irbisol napisał: | | Od kilkuset postów uciekasz od tematu. Tylko i wyłącznie. |
Irbisolu,
Nie czas żałować róż gdy płoną lasy!
Irbisolu, w logicznym rozumowaniu to AI bije cię na głowę, niestety:
AI
"Nie czas żałować róż, gdy płoną lasy" to polskie przysłowie, które oznacza, że w sytuacjach kryzysowych należy skupić się na ważniejszych sprawach, a nie na drobiazgach. Wartość tego przysłowia polega na tym, że przypomina nam o konieczności priorytetowania w trudnych momentach, gdy trzeba bronić to, co najważniejsze, a nie martwić się drobiazgami, które w obliczu większych zagrożeń tracą na znaczeniu.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843689
| rafal3006 napisał: | Czy zgadzasz się na poniższą definicję naszego sporu?
Irbisolu,
Od kilkuset postów bijemy się o analizę banalnej obietnicy A1 pani przedszkolanki.
A1.
Jutro pójdziemy do kina
Nasza fundamentalna różnica to:
1.
Irbisol twierdzi, że zmienną binarną w obietnicy A1 jest całe zdanie:
A1.
Jutro pójdziemy do kina
1a.
Irbisol twierdzi, że do obsługi powyższej obietnicy nie jest mu potrzebna definicja funkcji logicznej algebry Boole'a:
Y=f(x)
Dla f(x)=K
Mamy kodowanie zdania A1 poprawne w algebrze Kubusia:
Y=K
1b.
Irbisol twierdzi że 1a to wymysł schizofrenika Rafała3006 bo on ma w dupie konieczność użycia definicji funkcji logicznej:
Y=K
w obsłudze obietnicy A1
2.
Rafał3006 twierdzi, że zmienną binarną w obietnicy A1 jest rzeczownik K(kino) w którym to kinie jutro możemy być (K=1) albo nie być (~K=1)
Czy zgadzasz się na powyższą definicję naszego sporu?
TAK/NIE |
|
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Wto 21:23, 27 Maj 2025 Temat postu: |
|
|
|
Czyli wg ciebie, jeżeli rozmawiamy na jakiś temat, ty temat zmieniasz na inny, a ja nie chcę tej zmiany, to ja uciekam od tematu, a nie ty?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 0:32, 28 Maj 2025 Temat postu: |
|
|
Tonący brzytwy się chwyta!
| Irbisol napisał: | | Czyli wg ciebie, jeżeli rozmawiamy na jakiś temat, ty temat zmieniasz na inny, a ja nie chcę tej zmiany, to ja uciekam od tematu, a nie ty? |
Tonący brzytwy się chwyta.
Wszystko ci się pokićkało - to algebra Kubusia, logika 5-cio latków i humanistów cię goni, a twoje gówno zwane KRZ z przerażeniem w oczach ucieka szybciej niż struś Pędziwiatr.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843653
| rafal3006 napisał: | Irbisolu, czekam kiedy zrozumiesz, że robisz z siebie Osiołka!
| Irbisol napisał: | | Już ci na to odpowiedziałem. |
Odpowiedź ma być krótka.
Czy akceptujesz w 100% i bez żadnych zastrzeżeń poniższy fragment algebry Kubusia ... doskonale rozumiany przez każdego 3-latka!
TAK/NIE
Zauważ, że akceptacja poniższego fragmentu AK wymusza na tobie akceptację i zrozumienie definicji funkcji logicznych algebry Boole'a w logice dodatniej (bo Y) i ujemnej (bo ~Y)
Czy akceptujesz te definicje (jako pierwszy ziemianin! - sic!)?
TAK/NIE
Irbisolu, czekam kiedy znajdziesz błąd w kompletnej teorii obsługi bezwarunkowych obietnic n-argumentowych raptem 3-stronicowej tu wyłożonej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625
Tu masz kluczowy fragment, krócej i prościej nie da się wytłumaczyć:
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a
Spis treści
1.19.2 Najprostsza obietnica bezwarunkowa 2
1.19.3 Lokalizacja zmiennych binarnych w obietnicach 3
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Gdzie:
## - zdarzenia różne na mocy definicji
1.19.3 Lokalizacja zmiennych binarnych w obietnicach bezwarunkowych
Jak widzimy, w naszym przykładzie wyżej zmienną binarną jest rzeczownik K(kino), czyli „jutro możemy gdzieś być”. Czasownik „pójdziemy do” jest tu kwiatkiem do kożucha.
Drugą możliwą zmienną binarną w obietnicach bezwarunkowych jest czasownik, czyli „jutro możemy coś robić”.
Pani w przedszkolu:
A2.
Jutro będziemy grać w piłkę
Y=GP
Tu zmienna binarna GP oznacza fakt grania w piłkę, rzeczownik „piłka” jest tu kwiatkiem do kożucha.
Analiza matematyczna:
A2.
Jutro będziemy grać w piłkę
Y=GP
Zapis tożsamy na mocy prawa Irbisa:
Y<=>GP
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> GP=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro będziemy grać w piłkę (GP=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A2 stronami:
B2.
~Y<=>~GP
Co w logice jedynek oznacza:
~Y=1 <=> ~GP=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie będziemy grać w piłkę (~GP=1)
Znaczenie zmiennych binarnych Y i GP:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
GP - będziemy grać w piłkę (GP=1)
##
~GP - nie będziemy grać w piłkę (~GP=1)
Prawo Prosiaczka:
(~GP=1) = (GP=0)
Gdzie:
## - zdarzenia różne na mocy definicji
|
|
Ostatnio zmieniony przez rafal3006 dnia Śro 1:40, 28 Maj 2025, w całości zmieniany 10 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 4:59, 28 Maj 2025 Temat postu: |
|
|
|
Ty spierdalasz nawet od pytania o spierdalanie
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 7:07, 28 Maj 2025 Temat postu: |
|
|
| Irbisol napisał: | | Ty spierdalasz nawet od pytania o spierdalanie |
Masz nadzieję, że żaden ziemski matematyk nie zrozumie kto tu kogo ściga?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625
| rafal3006 napisał: | Kompletna teoria obietnic bezwarunkowych to zaledwie 3 strony tekstu!
Zrozumiałego dla każdego 3-latka (na przykładach oczywiście)!
Pytanie retoryczne:
Czy ma kto nadzieję, że Irbisol kiedykolwiek ją zrozumie?
Do 5-cio latków i humanistów:
Jesteście szczęśliwymi, zdrowymi ludźmi tylko i wyłącznie dlatego że nikt wam jeszcze nie prał mózgu gównem zwanym KRZ.
Pamiętajcie:
Jak kiedykolwiek usłyszycie termin Klasyczny Rachunek Zdań to weźcie rozpęd i zdecydowanym kopnięciem wywalcie to gówno w kosmos – nawet nie próbujcie tego zrozumieć bo na 100% zarazicie się schizofrenią zwaną KRZ, czyli stracicie kontakt z otaczającą was rzeczywistością.
Dowód:
Czym jest współczesna logika matematyczna dla przeciętnego studenta celnie ujął dr hab. Krzysztof A. Wieczorek we wstępie do swojej książki „Logika dla opornych”:
[link widoczny dla zalogowanych]
Krzysztof A. Wieczorek
Logika dla opornych
Wszystko co powinniście wiedzieć o logice, ale nie uważaliście na zajęciach
WSTĘP
Celem tego podręcznika nie jest systematyczny wykład logiki. Książek takich jest już wystarczająco dużo, więc osoba głębiej zainteresowana tym przedmiotem na pewno nie będzie miała kłopotu ze znalezieniem czegoś odpowiedniego dla siebie. Niniejsza pozycja przeznaczona jest przede wszystkim dla tych, którzy pobieżnie zetknąwszy się z logiką, na przykład jako z przedmiotem wykładanym podczas krótkiego kursu na wyższej uczelni, z przerażeniem stwierdzili, że nic z tego nie rozumieją. Przyświeca mi cel pokazania takim osobom, że wbrew pozorom logika wcale nie jest taka trudna, jak by się to mogło początkowo wydawać, a jej nauka nie musi przypominać drogi przez mękę.
Większość tradycyjnych podręczników logiki najeżona jest technicznymi terminami, sucho brzmiącymi definicjami i twierdzeniami oraz skomplikowanymi wzorami. Brakuje im natomiast przykładów ilustrujących zawarty materiał teoretyczny i wyjaśniających bardziej złożone zagadnienia w sposób zrozumiały dla osób uważających się za „humanistów”, a nie „ścisłowców”. Sytuacja ta sprawia, że po zapoznaniu się z treścią takiego podręcznika lub po wysłuchaniu wykładu opracowanego na jego podstawie, adept logiki ma trudności z rozwiązaniem nawet bardzo prostych zdań umieszczanych na końcach rozdziałów lub w specjalnych zbiorach ćwiczeń z logiki. Taki stan rzeczy przyprawia o mdłości i ból głowy zarówno wielu wykładowców logiki zrozpaczonych rzekomą całkowitą niezdolnością do poprawnego myślenia okazywaną przez ich studentów, jak i tych ostatnich, zmuszonych do zaliczenia przedmiotu, z którego niemal nic nie rozumieją.
Doświadczenie zdobyte przeze mnie podczas lat nauczania logiki na różnych kierunkach uniwersyteckich wskazuje jednakże, iż najczęściej nieumiejętność rozwiązywania zadań z logiki nie jest wynikiem jakichkolwiek braków umysłowych studentów ani nawet ich lenistwa, ale po prostu przerażenia wywoływanego przez gąszcz niezrozumiałych dla nich wzorów, twierdzeń i definicji. Panika ta widoczna jest szczególnie u osób obdarzonych bardziej humanistycznym typem umysłowości, alergicznie reagujących na wszystko, co kojarzy im się z matematyką.
Można oczywiście ubolewać nad tym, że tak wielu młodych ludzi nie chce pokonać w sobie uprzedzeń do logiki i zmuszać ich „dla ich dobra” do przyswajania tej wiedzy w tradycyjnej formie. Czy ma to jednak większy sens? Da się oczywiście sprawić, że uczeń poświęci tydzień czasu przed egzaminem (często wspomagając się przy tym różnego rodzaju chemicznymi „środkami dopingującymi”) na pamięciowe wykucie kilkudziesięciu twierdzeń i 7 praw, a następnie nauczy się ich mechanicznego stosowania. Nie zmieni to jednak faktu, iż student taki w dalszym ciągu nie będzie rozumiał istoty tego, co robi, ani jaki jest właściwie cel wykonywanych przez niego operacji.
[link widoczny dla zalogowanych]
| Wikipedia napisał: |
Matematyk – osoba zajmująca się zawodowo matematyką.
Matematycy są jak zakochani. Podaruj takiemu najskromniejszą przesłankę, a uczepi się jej i wyprowadzi z tego wnioski, które będziesz musiał zaakceptować.
Autor: Bernard Fontenelle
Matematycy to gatunek Francuzów: mówisz coś do nich, a oni przekładają to na swój język i proszę: robi się z tego coś zupełnie innego.
Autor: Johann Wolfgang von Goethe
Matematyk to ślepiec w ciemnym pokoju szukający czarnego kota, którego tam w ogóle nie ma.
Autor: Karol Darwin
Matematyk to taka maszyna do zamieniania kawy w teorie.
Autor: Paul Erdős
Prawie że nie widziałem matematyka, który byłby zdolny do rozumowania.
Autor: Platon
W swojej pracy [matematyka i filozofa] starałem się łączyć prawdę i piękno, lecz gdy musiałem wybierać, wybierałem piękno.
Autor: Hermann Weyl |
| Irbisol napisał: | Mówimy o przypisywaniu znaczenia do symbolu matematycznego, a nie o niejednoznacznościach w języku.
"Tylko i wyłącznie" w AK znaczy "różnie bywa" |
Czekam Irbisolu, kiedy zrozumiesz zaledwie 3 strony tekstu niżej, będące kompletnym wykładem w temacie obietnic bezwarunkowych n-argumentowych!
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a
Spis treści
1.19 Obietnice bezwarunkowe 1
1.19.1 Prawo Mrówkojada 1
1.19.2 Najprostsza obietnica bezwarunkowa 2
1.19.3 Lokalizacja zmiennych binarnych w obietnicach 3
1.19 Obietnice bezwarunkowe
Najważniejszym zastosowaniem funkcji logicznych algebry Boole’a jest obsługa obietnic bezwarunkowych które szczegółowo omówiono w rozdziałach:
20.9 Obietnica jednoargumentowa
20.10 Obietnica dwuargumentowa
20.11 Obietnica n-argumentowa
1.19.1 Prawo Mrówkojada
Definicję równoważności p<=>q wraz z kolumnowym i międzykolumnowym prawem Irbisa poznamy za chwilkę (2.9.1)
Definicja obietnicy bezwarunkowej n-argumentowej to tożsamość pojęć:
f(x) - treść obietnicy = f(x) - wyrażenie algebry Boole’a
Prawo Mrówkojada:
Dowolna obietnica bezwarunkowa zapisana w formie wyrażenia algebry Boole’a f(x) jest częścią operatora równoważności Y|<=>f(x), który daje odpowiedzi na dwa kluczowe pytania.
1.
Kiedy nadawca dotrzyma słowa (Y)?
Y=f(x) – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>f(x)
To samo w zapisie formalnym:
p<=>q
Czytamy:
Nadawca dotrzyma słowa (Y) wtedy i tylko wtedy gdy zajdzie wyrażenie f(x)
[=]
2.
Kiedy nadawca nie dotrzyma słowa (~Y)?
Negujemy funkcję logiczną 1 stronami.
~Y=~f(x) – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~f(x)
To samo w zapisie formalnym:
~p<=>~q
Czytamy:
Nadawca nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy zajdzie wyrażenie ~f(x)
Międzykolumnowe prawo Irbisa (2.9.1):
p<=>q [=] ~p<=>~q
Gdzie:
[=] – tożsamość logiczna
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony
Znaczenie zmiennej binarnej Y we wszelkich obietnicach bezwarunkowych jest identyczne:
Y - nadawca dotrzyma słowa (Y=1)
##
~Y – nadawca nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1)=(Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji ##
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Gdzie:
## - zdarzenia różne na mocy definicji
1.19.2 Najprostsza obietnica bezwarunkowa
Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Gdzie:
## - zdarzenia różne na mocy definicji
1.19.3 Lokalizacja zmiennych binarnych w obietnicach bezwarunkowych
Jak widzimy, w naszym przykładzie wyżej zmienną binarną jest rzeczownik K(kino), czyli „jutro możemy gdzieś być”. Czasownik „pójdziemy do” jest tu kwiatkiem do kożucha.
Drugą możliwą zmienną binarną w obietnicach bezwarunkowych jest czasownik, czyli „jutro możemy coś robić”.
Pani w przedszkolu:
A2.
Jutro będziemy grać w piłkę
Y=GP
Tu zmienna binarna GP oznacza fakt grania w piłkę, rzeczownik „piłka” jest tu kwiatkiem do kożucha.
Analiza matematyczna:
A2.
Jutro będziemy grać w piłkę
Y=GP
Zapis tożsamy na mocy prawa Irbisa:
Y<=>GP
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> GP=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro będziemy grać w piłkę (GP=1)
... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A2 stronami:
B2.
~Y<=>~GP
Co w logice jedynek oznacza:
~Y=1 <=> ~GP=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie będziemy grać w piłkę (~GP=1)
Znaczenie zmiennych binarnych Y i GP:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Gdzie:
## - zdarzenia różne na mocy definicji
2.
Jutro może zajść zdarzenie:
GP - będziemy grać w piłkę (GP=1)
##
~GP - nie będziemy grać w piłkę (~GP=1)
Prawo Prosiaczka:
(~GP=1) = (GP=0)
Gdzie:
## - zdarzenia różne na mocy definicji
|
|
Ostatnio zmieniony przez rafal3006 dnia Śro 7:20, 28 Maj 2025, 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: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 7:46, 28 Maj 2025 Temat postu: |
|
|
O matematyków się nie przejmuj - widac, jak bardzo są zachwyceni twoją algebrą.
Ale już niedługo ... I tak od 20 lat
Ostatnio zmieniony przez Irbisol dnia Śro 8:33, 28 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 8:49, 28 Maj 2025 Temat postu: |
|
|
Rozwiązanie Irbisolowej kwadratury koła!
| Irbisol napisał: | O matematyków się nie przejmuj - widać, jak bardzo są zachwyceni twoją algebrą.
Ale już niedługo ... I tak od 20 lat |
Irbisolu, kwadraturę koła z którą tak zaciekle walczysz rozwiązałem na samiutkim początku algebry Kubusia
Dzięki (serio), że tak dzielnie walczysz z ... wiatrakami
| Algebra Kubusia napisał: |
1.0 Nowa algebra Boole’a
Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).
Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym
Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.11 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodnimy za chwilkę (pkt. 1.7.4, 1.7.6, 1.8.1 – poziom 5-cio latka)
W algebrze Kubusia rozróżniamy cztery rozłączne działy logiki matematycznej:
0.
Dział definiowania pojęć w języku potocznym (12.0)
1.
Dział obietnic bezwarunkowych (1.19, 20.9-20.11)
2.
Dział obietnic i gróźb warunkowych definiowanych zdaniami warunkowymi "Jeśli p to q" (3.6, 4.6)
3.
Dział opisu świata martwego (w tym matematyki i fizyki) – to jest clou algebry Kubusia
Działy 0 do 3 to rozłączne działy logiki matematycznej na tej samej zasadzie jak rozłączne jest w matematyce rozwiązywanie równań liniowych od równań kwadratowych.
Łatwo zauważyć, że trywialne obietnice bezwarunkowe (1.19) opisywane funkcjami logicznym algebry Boole'a Y=f(x) do matematyczny odpowiednik równań liniowych (banał), zaś obietnice i groźby warunkowe opisywane zdaniami warunkowymi "Jeśli p to q" to odpowiednik matematycznych równań kwadratowych (które już banałem nie są).
|
Ostatnio zmieniony przez rafal3006 dnia Śro 9:03, 28 Maj 2025, 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: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 9:07, 28 Maj 2025 Temat postu: |
|
|
|
Ty nawet nie rozumiesz, o co cię pytam.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 9:17, 28 Maj 2025 Temat postu: |
|
|
Teoria definiowania pojęć w języku potocznym!
W algebrze Kubusia rozróżniamy cztery rozłączne działy logiki matematycznej:
0.
Dział definiowania pojęć w języku potocznym (12.0)
1.
Dział obietnic bezwarunkowych (1.19, 20.9-20.11)
2.
Dział obietnic i gróźb warunkowych definiowanych zdaniami warunkowymi "Jeśli p to q" (3.6, 4.6)
3.
Dział opisu świata martwego (w tym matematyki i fizyki) – to jest clou algebry Kubusia
Działy 0 do 3 to rozłączne działy logiki matematycznej na tej samej zasadzie jak rozłączne jest w matematyce rozwiązywanie równań liniowych od równań kwadratowych.
Łatwo zauważyć, że trywialne obietnice bezwarunkowe (1.19) opisywane funkcjami logicznym algebry Boole'a Y=f(x) do matematyczny odpowiednik równań liniowych (banał), zaś obietnice i groźby warunkowe opisywane zdaniami warunkowymi "Jeśli p to q" to odpowiednik matematycznych równań kwadratowych (które już banałem nie są).
| Irbisol napisał: | | Ty nawet nie rozumiesz, o co cię pytam. |
Pytasz o teorię definiowania pojęć w języku potocznym której żaden ziemski matematyk nie zna - nie dziwota więc że ty również jej nie znasz.
Oto ona!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#707763
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
12.0 Kubusiowa teoria zbiorów
Spis treści
12.0 Kubusiowa teoria zbiorów 1
12.1 Elementarne działania logiczne na zbiorach 3
12.1.1 Suma logiczna zbiorów 3
12.1.2 Iloczyn logiczny zbiorów 3
12.1.3 Różnica (-) zbiorów 4
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów 4
12.2.1 Definicja pojęcia 4
12.2.2 Definicja elementu zbioru 5
12.2.3 Definicja zbioru 5
12.2.4 Definicja Uniwersum U 5
12.2.5 Definicja zbioru pustego [] w sensie absolutnym 5
12.3 Dziedzina 6
12.3.1 Zaprzeczenie zbioru 6
12.3.2 Nazwa własna zbioru 7
12.3.3 Dziedzina użyteczna w języku potocznym 7
12.4 Definicja definicji 8
12.4.1 Dowód iż każdy 5-cio latek zna definicję Uniwersum 10
12.0 Kubusiowa teoria zbiorów
Punkty 1.0 do 11.0 dotyczą teorii zdarzeń, czyli logiki matematycznej którą w praktyce rozumie każdy 5-cio latek na przykładach stosownych do jego wieku np. o chmurce i deszczu.
Teoria zbiorów dla potrzeb logiki matematycznej opisana w punktach 12.0 do 18.0 jest analogiczna do teorii zdarzeń.
Algebra Kubusia z definicji nie rozpoznaje pojęć którym mózg człowieka nadaje znaczenie.
W tym sensie algebra Kubusia jest głupsza niż ustawa przewiduje, czyli jest niezależna od jakiegokolwiek języka.
Dokładnie to jest powodem konieczności wprowadzenia do logiki matematycznej definicji „pojęcia matematycznego”
Definicja „pojęcia matematycznego” w algebrze Kubusia:
„Pojęcie matematyczne” w algebrze Kubusia to jednoznaczny ciąg znaczków, niekoniecznie liter.
Przykładowo może to być malarstwo jaskiniowe:
[link widoczny dla zalogowanych]
Przykłady jednoznacznych „pojęć matematycznych” widzianych oczami algebry Kubusia:
dziecko
##
kura
##
bleble
##
asfdtuesdff
Gdzie:
## - „pojęcia matematyczne” różne na mocy definicji ## definiowane indywidualnym, dowolnym ciągiem znaków.
Z punktu odniesienia człowieka świat wygląda inaczej.
Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka
Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]
Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]
Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)
Prawa Prosiaczka
Prawa Prosiaczka omówiono szczegółowo w punkcie 1.4
I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji
Przykład 1.
(p=1) = (~p=0)
1.
[pies]=1 - prawdą jest (=1) iż wiem co znaczy pojęcie pies
Prawo Prosiaczka:
(p=1) = (~p=0)
Nasz przykład:
(pies=1) = (~pies=0) - na mocy prawa Prosiaczka
stąd zdanie tożsame do 1:
~pies=0 - fałszem jest (=0), że nie wiem (~) co znaczy pojęcie [pies]
Przykład 2.
(~p=1) = (p=0)
2.
agstd=0 - fałszem jest (=0) iż wiem co znaczy pojęcie „agstd”
Prawo Prosiaczka:
(agstd=0) = (~agstd=1)
stąd zdanie tożsame do 2:
~agstd=1 - prawdą jest (=1), że nie wiem (~) co znaczy pojęcie agstd
Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie
Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze
Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka
Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.
Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka
12.1 Elementarne działania logiczne na zbiorach
Elementarne działania na zbiorach to:
(+) - suma logiczna zbiorów
(*) - iloczyn logiczny zbiorów
(-) - różnica logiczna zbiorów
12.1.1 Suma logiczna zbiorów
Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń
Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
Zdefiniujmy dwa zbiory p i q:
p=[K, T] =1 - bo zbiór niepusty
q=[T, P] =1 - bo zbiór niepusty
Y=p+q=[K,T]+[T,P]=[K,T,T,P] = [K+T+T+P] = [K+T+P] = [K,T,P] =1 - bo zbiór wynikowy niepusty
Bo prawo Algebry Boole’a:
p+p =p
Uwaga:
Przecinek przy wyliczaniu elementów zbioru jest tożsamy ze spójnikiem „lub”(+) z algebry Boole’a co pokazano i udowodniono wyżej.
12.1.2 Iloczyn logiczny zbiorów
Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Y = p*q =1 - gdy zbiory p i q mają (=1) co najmniej jeden element wspólny (zbiór wynikowy jest niepusty)
Y = p*q =0 - gdy zbiory p i q nie mają (=0) elementu wspólnego (są rozłączne)
Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
S - Słoń
Zdefiniujmy zbiory p, q, r:
p=[K,T] =1 - bo zbiór niepusty
q=[T,P] =1 - bo zbiór niepusty
r=[P,S] =1 - bo zbiór niepusty
Y=p*q=[K,T]*[T,P]=[T] =1 - zbiory p i q mają (=1) co najmniej jeden element wspólny
Y=p*r=[K,T]*[P,S] =[] =0 - zbiory p i r nie mają (=0) elementu wspólnego
Identyczne wyniki można uzyskać poprzez wymnażanie logiczne zbiorów.
Przykład:
p*q = [K+T]*[T+P] = K*T + K*P + T*T + T*P =[] + [] + T + [] = T
bo:
K*T+ K*P + T*P =[]+[]+[] =0+0+0 =0 - iloczyn logiczny „*” zbiorów (pojęć) rozłącznych jest zbiorem pustym []
T*T =T
bo prawo algebry Boole’a:
p*p =p
Jak widzimy, przy wyliczaniu elementów zbioru przecinek jest tożsamy ze spójnikiem „lub”(+) rodem z algebry Boole’a.
12.1.3 Różnica (-) zbiorów
Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q
Oznaczmy:
K - Kubuś
T - Tygrysek
p=[K,T] =1 - bo zbiór niepusty
q=[T] =1 - bo zbiór niepusty
Stąd:
Y=p-q = [K,T]-[T] =[K+T-T] =[K] =1 - bo zbiór wynikowy niepusty
Y=q-p =[K]-[K,T]=[K-(K+T)]=[K-K-T]= [] + [-T] =[-T] =[] =0 - bo zbiór wynikowy pusty
Prawo odejmowania zbiorów:
Jeśli w operacji odejmowania zbiorów wynikowy zbiór jest z minusem {-} to taki zbiór zamieniamy na zbiór pusty [].
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów
Przypomnijmy znane już definicje podstawowe.
12.2.1 Definicja pojęcia
Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka
Przykłady pojęć zrozumiałych:
p = [pies, miłość, krasnoludek, ZWZ, LN ...]
Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]
Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)
Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie
12.2.2 Definicja elementu zbioru
Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze
12.2.3 Definicja zbioru
Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka
Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.
Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka
12.2.4 Definicja Uniwersum U
Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)
Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 40 lat temu pojęcie „Internet” było zbiorem pustym, nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.
Uniwersum lokalne:
Uniwersum lokalne to zbiór pojęć związanych z konkretną gałęzią wiedzy np. medycznej, elektronicznej etc. gdzie znane każdemu człowiekowi niektóre słówka znaczą co innego.
Przykład:
Bramka w teorii bramek logicznych to co innego niż bramka na boisku piłkarskim
W rzadkich przypadkach w dowolnym języku mogą występować dwa słowa identyczne, ale znaczące co innego.
Przykład:
W języku polskim morze i może
Tu różnice są rozpoznawalne albo w pisowni (jak wyżej) albo w kontekście użycia tego słówka:
Może pojedziemy nad morze?
Z reguły dla najpopularniejszych słówek mamy sporo synonimów, co w logice jest bez znaczenia.
Podsumowując:
Przedstawiona wyżej definicja Uniwersum jest pojęciem rzeczywistym łatwym do zrozumienia przez każdego ucznia I klasy LO.
12.2.5 Definicja zbioru pustego [] w sensie absolutnym
Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)
Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego (wyjaśnienie w pkt. 12.9):
[]=>[] =1
0=>0 =1
12.3 Dziedzina
Definicja dziedziny:
Dziedzina to dowolnie wybrany zbiór na którym operujemy
Ograniczeniem górnym w definiowaniu dziedziny jest Uniwersum (zbiór wszystkich pojęć zrozumiałych dla człowieka)
Zbiór pusty [] to zbiór pojęć niezrozumiałych dla człowieka, zatem na tym zbiorze nie możemy operować.
Wniosek:
Z definicji nie możemy przyjąć zbioru pustego za dziedzinę.
12.3.1 Zaprzeczenie zbioru
Definicja zaprzeczenia (~) zbioru:
Zaprzeczeniem (~) zbioru p nazywamy uzupełnienie zbioru p do dziedziny D
~p=[D-p]
Matematycznie zachodzi tożsamość:
Zaprzeczenie zbioru (~) = Negacja zbioru (~)
Uwaga:
Aby zapisać zbiór ~p będący negacją zbioru p musimy określić wspólną dziedzinę dla zbiorów p i ~p
Definicja dziedziny:
p+~p =D =1 - zbiór ~p jest uzupełnieniem zbioru p do wspólnej dziedziny D
p*~p =[] =0 - zbiory p i ~p są rozłączne, iloczyn logiczny zbiorów jest zbiorem pustym []
Przykłady:
1.
Przykład na poziomie 5-cio latka:
K = Kubuś
T = Tygrysek
p=[K] - definiujemy zbiór p
D=[K,T] - definiujemy dziedzinę
Stąd:
~p=[D-p] = [(K+T)-K]=[T]
2.
Przykład na poziomie ucznia I klasy LO:
K - zbiór wszystkich kobiet
M - zbiór wszystkich mężczyzn
C (człowiek) - zbiór wszystkich ludzi (wspólna dziedzina dla M i K)
C=M+K - zbiór człowiek to suma logiczna zbiorów M i K
Stąd:
~M=[C-M]=[M+K-M]=K
~K=[C-K]=[M+K-K]=M
Stąd:
K=~M - zbiór kobiet (K) to zanegowany zbiór mężczyzn (~M) w dziedzinie C (człowiek)
M=~K - zbiór mężczyzn (M) to zanegowany zbiór kobiet (~K) w dziedzinie C (człowiek)
12.3.2 Nazwa własna zbioru
Rozróżniamy dwa rodzaje zbiorów ze względu na nazwę:
- zbiory mające nazwę własną
- zbiory nie mające nazwy własnej
Definicja nazwy własnej zbioru:
Nazwa własna zbioru to nazwa jednoznacznie opisująca dany zbiór w sposób zrozumiały dla wszystkich ludzi
Przykład zbioru mającego nazwę własną:
ZWZ - zbiór wszystkich zwierząt
Przykład zbioru nie mającego nazwy własnej:
p = [ZWZ, miłość, samolot]
W języku potocznym z oczywistych względów użyteczne są wyłącznie dziedziny mające nazwy własne, zrozumiałe dla wszystkich, gdzie nie trzeba wypisywać wszystkich pojęć zawartych w dziedzinie.
12.3.3 Dziedzina użyteczna w języku potocznym
Definicja dziedziny użytecznej w języku potocznym:
Dziedzina użyteczna w języku potocznym do dowolny zbiór na którym operujemy mający nazwę własną nie będący Uniwersum.
Uniwersum - zbiór wszelkich pojęć zrozumiałych dla człowieka.
W języku potocznym nikt nie używa pojęcia Uniwersum w przeciwieństwie do np. zbioru wszystkich zwierząt.
Rozważmy poniższe dziedziny [ZWZ, ZWS] mające nazwy własne:
Weźmy zbiór jednoelementowy:
P=[pies] - zbiór P zawiera tylko jeden element [pies].
Uwaga:
Nie jest tu istotne że różnych psów jest bardzo dużo bo:
pies Jasia = pies Zuzi = po prostu [pies]
[pies]+[pies] = [pies] - prawo algebry Boole’a (p+p=p)
Pojęcia [pies] są tożsame, nieistotne jest, że jeden pies jest kundelkiem a drugi jamnikiem, że jeden należy do Jasia a drugi do Zuzi.
[pies]*[pies] = [pies] - prawo algebry Boole’a (p*p=p)
ZWZ.
Dla zbioru P=[pies] przyjmijmy dziedzinę:
ZWZ - zbiór wszystkich zwierząt
Stąd mamy zbiór ~P:
~P=[ZWZ-P] - zbiór wszystkich zwierząt minus jeden element P=[pies]
ZWS.
Dla zbioru P=[pies] przyjmijmy dziedzinę:
ZWS - zbiór wszystkich ssaków
Stąd mamy zbiór ~P:
~P=[ZWS-P] - zbiór wszystkich ssaków minus jeden element P=[pies]
Wnioski:
Przyjęte dziedziny ZWZ i ZWS mają poprawne nazwy własne należące do Uniwersum, które nie są tożsame z Uniwersum, zatem te dziedziny są poprawne matematycznie i są to dziedziny użyteczne.
a)
Dziedzina ZWZ wskazuje nam, że interesuje nas wyłącznie zbiór wszystkich zwierząt, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWZ są dla nas puste z definicji.
b)
Dziedzina ZWS mówi nam że operujemy na zbiorze wszystkich ssaków, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWS są dla nas puste z definicji.
Przykład:
Twierdzenie proste Pitagorasa dla trójkątów prostokątnych:
A1.
Jeśli trójkąt jest prostokątny (TP) to na 100% => zachodzi w nim suma kwadratów (SK)
TP=>SK =1
W twierdzeniu Pitagorasa dziedziną użyteczną i minimalną jest:
ZWT - zbiór wszystkich trójkątów
Dziedzina ZWT wskazuje nam, że interesują nas wyłącznie trójkąty, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWT są dla nas puste z definicji
Nikt nie będzie brał do ręki koła i sprawdzał czy zachodzi w nim suma kwadratów.
12.4 Definicja definicji
Definicja definicji:
W świecie człowieka (bo tylko on świadomie definiuje) definicja dowolnego pojęcia jest matematycznie poprawna wtedy i tylko wtedy jest jednoznaczna w Uniwersum człowieka.
Innymi słowy:
Definicja dowolnego pojęcia jest matematycznie poprawna wtedy i tylko wtedy gdy jest jedyna w całym obszarze Uniwersum.
Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)
Przykład poprawnej definicji:
Pies to zwierzę domowe, szczekające.
P = ZD*S=1*1=1
To jest minimalna, jednoznaczna definicja psa rozumiana przez każdego 5-cio latka.
Oznacza to że pojęcia P oraz ZD*S są matematycznie tożsame P=ZD*S, czyli są w relacji równoważności P<=>ZD*S w całym obszarze Uniwersum
Przykład błędnej definicji z filmu „Rejs”:
[link widoczny dla zalogowanych]
Zwierzę domowe, hodowlane, występujące nad Wisłą - podać jego odgłos
Inny przykład:
Prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
p=q <=> A1B2: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Prawo Kubusia:
B1: p~>q = B2: ~p=>~q
Stąd mamy:
Tożsame prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
p=q <=> A1B2: p<=>q = (A1: p=>q)*(B2: ~p=>~q) =1*1=1
Podstawmy:
p=K (krasnoludek)
q=K (krasnoludek)
Przyjmijmy dziedzinę:
D=U (Uniwersum)
Obliczmy przeczenia p i q rozumiane jako uzupełnienia p i q do wspólnej dziedziny (u nas Uniwersum).
~p = ~K = [U-K] -zbiór wszystkich pojęć zrozumiałych dla człowieka minus jedno pojęcie "krasnoludek"
~q = ~K = [U-K] -zbiór wszystkich pojęć zrozumiałych dla człowieka minus jedno pojęcie "krasnoludek"
Definicja równoważności A1B2 generująca tabelę zero-jedynkową równoważności:
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
Zachodzi tożsamość pojęć:
Warunek wystarczający => = relacja podzbioru =>
Podstawmy nasz przykład:
A1B2: K<=>K = (A1: K=>K)*(B2: [U-K]=>[U-K]) =?
A1: K=>K =1 - bo każdy zbiór jest podzbiorem => siebie samego
B2: [U-K]=>[U-K] =1 - bo każdy zbiór jest podzbiorem => siebie samego
stąd mamy:
A1B2: K<=>K = (A1: K=>K)*(B2: [U-K]=>[U-K]) =1*1=1
cnd
12.4.1 Dowód iż każdy 5-cio latek zna definicję Uniwersum
Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Dowód iż każdy 5-cio latek zna w praktyce definicję Uniwersum, niezależnie od swego języka ojczystego jest banalny.
Udajmy się do przedszkola.
Scenka 1.
Pani przedszkolanka wydaje polecenie:
Drogie dzieci narysujcie człowieka.
Pamięć człowieka (w tym pamięć 5-cio latków) jest pamięcią fotograficzną, czyli nasz mózg przywołuje w tym przypadku jakąś panią albo jakiegoś pana i na tej podstawie dzieci wykonują rysunek.
Tu każdy 5-co latek podświadomie rozstrzyga, że człowiekiem nie może być cokolwiek innego w całym obszarze Uniwersum, bo inaczej nie mógłby jednoznacznie rozstrzygnąć co ma narysować.
C =[C] (człowiek) - ten obiekt 5-cio latek rysuje
Zaprzeczenie pojęcia człowiek w obszarze U Uniwersum to:
~C = [U-C]=[zwierzę, krasnoludek, koło ..] - Uniwersum U z wykluczeniem pojęcia C (człowiek)
Matematycznie musi zachodzić:
C+~C =U
C*~C =[]
Inaczej 5-cio latek nie będzie wiedział co ma narysować
cnd
Scenka 2.
Pani przedszkolanka wydaje kolejne polecenie:
Drogie dzieci narysujcie swoją mamę
Pamięć człowieka (w tym pamięć 5-cio latków) jest pamięcią fotograficzną, czyli mózg 5-cio latka przywołuje w tym przypadku swoją mamę i na tej podstawie wykonuje rysunek.
Tu przykładowy Jaś (lat 5) podświadomie rozstrzyga, że mamę ma tylko i wyłącznie jedną i ją rysuje.
Zauważmy, że mama Jasia jest jedyną w całym obszarze Uniwersum, bo inaczej Jaś nie mógłby jednoznacznie narysować swojej mamy.
MJ =[MJ] - mama Jasia, tą mamę Jaś rysuje
Zaprzeczenie pojęcia mama Jasia w obszarze U Uniwersum to:
~MJ = [U-MJ] =[mama Zuzi, tata Jasia, zwierzę, krasnoludek, koło …] - Uniwersum U z wykluczeniem pojęcia mama Jasia MJ.
Matematycznie musi zachodzić:
MJ+~MJ =U
MJ*~MJ =[]
Inaczej 5-cio latek nie będzie wiedział co ma narysować
cnd
|
Ostatnio zmieniony przez rafal3006 dnia Śro 10:04, 28 Maj 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 9:23, 28 Maj 2025 Temat postu: |
|
|
Widzę, że najlepiej ci się gada z samym sobą.
Tkwij w swoim szaleństwie - skoro ci tak wygodnie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 9:34, 28 Maj 2025 Temat postu: |
|
|
Co jest szaleństwem w opisie języka potocznego?
Poprawna odpowiedź:
Szaleństwem w opisie języka potocznego jest totalnie cała, ziemska logika matematyczna, mająca z tym opisem zero wspólnego.
| Irbisol napisał: | Widzę, że najlepiej ci się gada z samym sobą.
Tkwij w swoim szaleństwie - skoro ci tak wygodnie. |
Dzięki za dyskusję.
Co jest szleństwem to niebawem się okaże, jak matematycy zrozumieją algebrę Kubusia.
Dla nich ją napisałem!
Algebra Kubusia
Matematyka języka potocznego
2025-03-17 Wersja przedpremierowa
Autor:
Kubuś ze 100-milowego lasu
Ziemia Obiecana - biblijne miejsce, do którego Mojżesz prowadził Izraelitów po wyprowadzeniu ich z Egiptu i przeprowadzeniu przez Morze Czerwone
Algebra Kubusia – miejsce, do którego Kubuś ze 100-milowego lasu prowadził ziemskich matematyków po wyprowadzeniu ich z Klasycznego Rachunku Zdań
Rozszyfrowali:
Rafal3006 i przyjaciele
Wstęp do AK:
Motto Rafała3006:
Napisać algebrę Kubusia w taki sposób, by ziemski matematyk był w stanie ją zrozumieć i zaakceptować, mimo iż na starcie nie zna ani jednej definicji obowiązującej w AK.
Algebra Kubusia to jedyna poprawna logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy.
Najważniejsze zastosowanie algebry Kubusia w świecie żywym to matematyczna obsługa obietnic i gróźb będąca fundamentem działania wszelkich istot żywych (nie tylko człowieka).
Naturalnymi ekspertami algebry Kubusia są 5-cio latki i humaniści.
Algebra Kubusia to podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Rozszyfrowanie algebry Kubusia to 20 lat dyskusji na forum filozoficznym w Polsce, to ponad 40 000 postów napisanych przez Rafała3006 wyłącznie w temacie "Logika matematyczna"
Pełna historia rozszyfrowywania algebry Kubusia dostępna jest na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,60/
Algebrę Kubusia wyssaliśmy z mlekiem matki i nie musimy się jej uczyć - wszyscy jesteśmy jej ekspertami w praktyce bo po prostu pod nią podlegamy nie mając żadnych szans, by się od niej uwolnić. Aktualnie żaden ziemski matematyk nie wie, iż w komunikacji z 5-cio latkami i humanistami używa tylko i wyłącznie algebry Kubusia.
Matematyczna wersja algebry Kubusia jest tak samo potrzebna do szczęścia 5-cio latkowi i humaniście jak gramatyka języka polskiego, której nigdy nie znałem i nie znam, a mimo to po polsku piszę. Pewne elementy algebry Kubusia można nauczać już w przedszkolu w formie zabawy, bowiem 5-cio latki doskonale ją znają nie wiedząc, że to jest matematyka ścisła opisująca otaczającą nas rzeczywistość co udowodniono w punkcie 28.0 w zabawie z pluszowymi zwierzątkami.
Weryfikowalność algebry Kubusia:
Z racji wykształcenia (elektronika na Politechnice Warszawskiej) jestem ekspertem bramek logicznych od zawsze, mając pewność absolutną, że algebra Kubusia jest w 100% zgodna z teorią bramek logicznych - gdybym tej pewności nie miał, to o żadnej logice bym nie dyskutował.
Algebrę Kubusia w bramkach logicznych wyłożono w punkcie:
11.0 Algebra Kubusia w bramkach logicznych
Co zawiera "Algebra Kubusia"?
1.0 Nowa algebra Boole'a w wersji nieznanej ziemskim matematykom
2.0 Kompendium algebry Kubusia
Kompendium algebry Kubusia to matematyczna obsługa zdań warunkowych „Jeśli p to q”
definiowanych warunkami wystarczającymi => i koniecznymi ~>.
To jest absolutna nowość w logice matematycznej póki co, nieznana żadnemu ziemskiemu
matematykowi.
3.0 do 9.0 Podstawowa teoria zdarzeń w zdaniach warunkowych "Jeśli p to q",
czyli logika matematyczna którą w praktyce rozumie każdy 5-cio latek.
10.0 Algebra Kubusia w tabelach zero-jedynkowych
11.0 Algebra Kubusia w bramkach logicznych - twardy dowód jej poprawności matematycznej.
12.0 Kubusiowa teoria zbiorów
13.0 Algebra Kubusia w zbiorach
14.0 do 19.0 Podstawowa teoria zbiorów analogiczna do teorii zdarzeń, poziom I klasy LO.
20.0 Zero-jedynkowe tajemnice algebry Boole’a
21.0 Rachunek zero-jedynkowy w obsłudze zdań warunkowych "Jeśli p to q".
22.0 Operatory implikacyjne w językach programowania komputerów
23.0 Ćwiczenia z prawa Grzechotnika
24.0 Obietnice i groźby złożone
25.0 Kompromitacja ziemskiej matematyki w 5 klasie Szkoły Podstawowej
26.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej.
27.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej
27.5 Równoważność A<=>S na gruncie fizyki teoretycznej
28.0 Przedszkole algebry Kubusia
28.7 Implikacja prosta p|=>q i odwrotna p|~>q w przedszkolu
Najważniejszą częścią algebry Kubusia są pierwsze dwa rozdziały (zaledwie 150 stron), gdzie kompletna teoria algebry Kubusia wyłożona jest od poziomu zerowego, gdzie czytelnik nie ma pojęcia co to jest „logika matematyczna”, do poziomu pozwalającego na biegłe posługiwania się w praktyce algebrą Kubusia. Ta część zawiera minimalną ilość doskonałych przykładów na poziomie 5-cio latka, pozwalających zrozumieć algebrę Kubusia bez dużego wysiłku umysłowego w sposób jasny i klarowny.
Pierwsze dwa rozdziały to:
1.0 Nowa algebra Boole’a w wersji nieznanej ziemskim matematykom
2.0 Kompendium algebry Kubusia
Kompendium algebry Kubusia to matematyczna obsługa zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Kluczowe jest tu omówienie podstawowych operatorów logicznych (pkt. 2.12 do 2.16) oraz takich pojęć w logice matematycznej jak twarde jedynki i twarde zera (2.16.3) miękkie jedynki i miękkie zera (2.16.4). Bardzo ważny jest też dowód czysto matematyczny, iż wszelkie zero-jedynkowe definicje spójników logicznych wynikają z naturalnej logiki matematycznej 5-cio latka, co zostało pokazane na przykładzie wyprowadzenia zero-jedynkowej definicji warunku wystarczającego => (2.17.1)
Dodatkowo polecam rozdział:
27.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej
W tej autonomicznej części wszelkie niuanse algebry Kubusia wytłumaczone są krótko i zwięźle w sposób zrozumiały dla ucznia 8 klasy Szkoły Podstawowej
Ostatnio zmieniony przez rafal3006 dnia Śro 9:44, 28 Maj 2025, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 9:38, 28 Maj 2025 Temat postu: |
|
|
To nie była dyskusja, tylko twoje notoryczne spierdalanie od tematu.
Najważniejsze, że matematycy NIEBAWEM przejdą na twoją algebrę - póki co to "niebawem" trwa 20 lat
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 9:47, 28 Maj 2025 Temat postu: |
|
|
| Irbisol napisał: | To nie była dyskusja, tylko twoje notoryczne spierdalanie od tematu.
Najważniejsze, że matematycy NIEBAWEM przejdą na twoją algebrę - póki co to "niebawem" trwa 20 lat |
Czas jest tu bez znaczenia - na 100% przejdą!
Myślę, że w dobie Internetu i AI zajmie im to nieporównywalnie mniej czasu, niż ich 2000 lat walki ze zrozumieniem banalnych (w dniu dzisiejszym) liczb ujemnych.
Co ma do powiedzenia AI w temacie liczb ujemnych?
Liczby ujemne zostały po raz pierwszy formalnie wprowadzone w Chinach około II wieku p.n.e. w dziele "Matematyka w dziewięciu księgach" (Jiuzhang suanshu). Chociaż wcześniej, w różnych kulturach, pojawiały się już pewne koncepty związane z liczbami ujemnymi, to właśnie w tym chińskim tekście zostały one po raz pierwszy systematycznie opisane i zastosowane.
Szczegóły:
Początki w Chinach:
"Matematyka w dziewięciu księgach" to zbiór rozwiązań problemów matematycznych, w którym liczby ujemne były używane do reprezentowania długów lub strat.
Brak powszechnej akceptacji:
Mimo że liczby ujemne pojawiały się w Chinach, ich akceptacja w innych częściach świata, zwłaszcza w Europie, zajęła dużo czasu.
Dopiero w późniejszych wiekach, głównie w XVI i XVII wieku, liczby ujemne zaczęły być bardziej powszechnie akceptowane i używane w Europie. Wprowadzono je m.in. w pracach takich matematyków jak Chuquet i Cardan.
Koniec XVII wieku: Kartezjusz wprowadził termin "liczby ujemne".
Znaczenie dla rozwoju matematyki:
Choć początkowo kontrowersyjne, liczby ujemne stały się kluczowym elementem w rozwoju algebry i innych dziedzin matematyki.
Ostatnio zmieniony przez rafal3006 dnia Śro 9:53, 28 Maj 2025, 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: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 10:05, 28 Maj 2025 Temat postu: |
|
|
|
Nie przejdą, bo masz u siebie błędy jak u przedszkolaka. I co najwyżej przedszkolaki przejdą na AK, której zresztą są ekspertami
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 10:17, 28 Maj 2025 Temat postu: |
|
|
Irbisolu, spróbuj zrozumieć poniższy cytat z AK
| Irbisol napisał: | | Nie przejdą, bo masz u siebie błędy jak u przedszkolaka. I co najwyżej przedszkolaki przejdą na AK, której zresztą są ekspertami |
Na 100% przejdą.
Na dzień dzisiejszy matematyczna obsługa zdań warunkowych to "ciemna strona księżyca" w ziemskiej logice matematycznej.
Tymczasem to jest poziom 5-cio latków.
Irbisolu, spróbuj zrozumieć poniższy cytat z AK punktując to, co jest wedle ciebie "matematyczną brednią"
Dasz radę?
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
2.0 Kompendium algebry Kubusia
Spis treści
2.0 Kompendium algebry Kubusia 1
2.1 Skorowidz definicji implikacyjnych algebry Kubusia 1
2.2 Elementarne spójniki implikacyjne w zdarzeniach 2
2.2.1 Definicja zdarzenia możliwego ~~> 2
2.2.2 Definicja warunku wystarczającego => w zdarzeniach 2
2.2.3 Definicja warunku koniecznego ~> w zdarzeniach 4
2.2.4 Definicja kontrprzykładu w zdarzeniach 5
2.0 Kompendium algebry Kubusia
Niniejszy punkt to kompendium algebry Kubusia zawierające zawierająca wszystkie potrzebne definicje i prawa algebry Kubusia konieczne i wystarczające do zrozumienia matematycznej obsługi zdań warunkowych "Jeśli p to q" zarówno na gruncie teorii zdarzeń, jak i na gruncie teorii zbiorów.
2.1 Skorowidz definicji implikacyjnych algebry Kubusia
Definicja spójnika implikacyjnego:
Spójnik implikacyjny to spójnik związany z obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>
Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
1.
Elementarne spójniki logiczne w zdarzeniach:
~~> - spójnik zdarzenia możliwego (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Elementarne spójniki logiczne w zbiorach:
~~> - element wspólny zbiorów (2.3.1)
=> - warunek wystarczający tożsamy z relacją podzbioru =>(2.3.2)
~> - warunek konieczny tożsamy z relacją nadzbioru ~>(2.3.3)
2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12)
|~> - implikacja odwrotna (2.13)
<=> - równoważność (2.14)
|~~> - chaos (2.15)
3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi
||=> - operator implikacji prostej (2.12.1)
||~> - operator implikacji odwrotnej (2.13.1)
|<=> - operator równoważności (2.14.1)
||~~> - operator chaosu (2.15.1)
2.2 Elementarne spójniki implikacyjne w zdarzeniach
Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech elementarnych znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń/zbiorów p i q
Formalna budowa zdania warunkowego:
Jeśli p to q
p – poprzednik, część zdania po „Jeśli …”
q – następnik, część zdania po „to…”
2.2.1 Definicja zdarzenia możliwego ~~>
Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q =p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q.
Inaczej:
p~~>q=p*q =[] =0
Decydujący w powyższej definicji jest znaczek zdarzenia możliwego ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
Uwaga:
Na mocy definicji zdarzenia możliwego ~~> badamy możliwość zajścia jednego zdarzenia, nie analizujemy tu czy między p i q zachodzi warunek wystarczający => czy też konieczny ~>.
| Kod: |
Zero-jedynkowa definicja zdarzenia możliwego ~~>:
p q p~~>q = p*q + p*~q + ~p*~q + ~p*q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =1
Interpretacja:
p~~>q=p*q=1 - wtedy i tylko wtedy
gdy możliwe jest jednoczesne ~~> zajście zdarzeń p i q
Inaczej:
p~~>q=p*q=0
|
Przykład:
Jeśli jutro będzie pochmurno (CH) to może ~~> nie padać (~P)
CH~~>~P=CH*~P =1
Możliwe jest (=1) zdarzenie: są chmury (CH) i nie pada (~P)
2.2.2 Definicja warunku wystarczającego => w zdarzeniach
Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q
Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH =1
Padanie jest (=1) warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury
W zapisie formalnym mamy tu:
p=P (pada)
q=CH (chmurka)
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")
Podsumowując:
| Kod: |
Definicja warunku wystarczającego =>:
Zapis formalny:
A1: p=>q =~p+q
Zapis aktualny (przykład):
A1: p=P
A1: q=CH
A1: P=>CH=~P+CH
|
Można łatwo udowodnić, iż zdarzenie P (pada) jest podzbiorem => zdarzenia CH (chmury).
Dowód:
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = relacja podzbioru =>
p=>q
1.
Prawo algebry Boole'a:
p=p*1
q=q*1
Stąd mamy:
p*1=>q*1
2.
Korzystamy z definicji wspólnej dziedziny dla p i q:
p+~p=D =1
q+~q=D =1
Stąd mamy wyprowadzone.
Prawo Orła:
p*(q+~q) => q*(p+~p)
3.
Wymnażamy wielomiany logiczne:
p*q + p*~q => p*q + ~p*q
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Nasz przykład:
p=P(pada)
q=CH(chmury)
Podstawiając do 3 mamy:
4.
P*CH + P*~CH => P*CH + ~P*CH
Badamy możliwość ~~> wystąpienia wszystkich zdarzeń:
P*CH=1 - możliwe jest (=1) zdarzenie: P(pada) i są CH(chmury)
P*~CH=0 - niemożliwe jest (=0) zdarzenie: P(pada) i nie ma chmur (~CH)
~P*CH=1 - możliwe jest (=1) zdarzenie: nie pada (~P) i są chmury (CH)
Stąd:
P*CH => P*CH + ~P*CH
bo x+0=x - prawo algebry Boole'a
Doskonale tu widać, że zdarzenie P*CH jest podzbiorem => zdarzenia (P*CH + ~P*CH)
2.2.3 Definicja warunku koniecznego ~> w zdarzeniach
Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
Przykład:
B1.
Jeśli jutro będzie pochmurno (CH) to może ~> padać (P)
CH~>P =1
Chmury (CH) są (=1) konieczne ~> dla padania (P), bo padać może wyłącznie z chmurki.
W zapisie formalnym mamy tu:
p=CH (chmurka)
q=P (pada)
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")
Podsumowując:
| Kod: |
Definicja warunku koniecznego ~>:
Zapis formalny:
B1: p~>q = p+~q
Zapis aktualny (przykład):
B1: p=CH
B1: q=P
B1: CH~>P=CH+~P
|
Można łatwo udowodnić, iż zdarzenie CH (chmury) jest nadzbiorem ~> zdarzenia P (pada)
Dowód:
Matematycznie zachodzi tożsamość:
Warunek konieczny ~> = relacja nadzbioru ~>
p~>q
1.
Prawo algebry Boole'a:
p=p*1
q=q*1
Stąd mamy:
p*1~>q*1
2.
Korzystamy z definicji wspólnej dziedziny dla p i q:
p+~p=D =1
q+~q=D =1
stąd mamy wyprowadzone.
Prawo Orła:
p*(q+~q) ~> q*(p+~p)
3.
Wymnażamy wielomiany logiczne:
p*q + p*~q ~> p*q + ~p*q
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Nasz przykład:
p=CH(chmury)
q=P(pada)
Podstawiając do 3 mamy:
4.
CH*P + CH*~P ~> CH*P + ~CH*P
Badamy możliwość ~~> wystąpienia wszystkich zdarzeń:
CH*P=1 - możliwe jest (=1) zdarzenie: są chmury (CH) i pada (P)
CH*~P=1 - możliwe jest (=1) zdarzenie: są chmury (CH) i nie pada (~P)
~CH*P=0 - niemożliwe jest (=0) zdarzenie: nie ma chmur (~CH) i pada (P)
Stąd mamy:
5.
CH*P + CH*~P ~> CH*P
bo x+0=x
Doskonale tu widać, że zdarzenie (CH*P + CH*~P) jest nadzbiorem ~> zdarzenia CH*P
2.2.4 Definicja kontrprzykładu w zdarzeniach
Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wymusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wymusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)
Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH=1
Padanie jest warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury
Na mocy definicji kontrprzykładu prawdziwy warunek wystarczający A1: P=>CH=1 wymusza fałszywość kontrprzykładu A1' (i odwrotnie)
A1'
Jeśli jutro będzie padało (P) to może ~~> nie być pochmurno (~CH)
P~~>~CH = P*~CH=0
Dowód wprost:
Niemożliwe jest (=0) zdarzenie ~~>: pada (P) i nie jest pochmurno (~CH)
Dowód "nie wprost":
Na mocy definicji kontrprzykładu tego faktu nie musimy udowadniać, ale możemy, co wyżej uczyniliśmy.
Uwaga na standard w algebrze Kubusia:
Kontrprzykład dla warunku wystarczającego => A1 oznaczamy A1’
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 17084
Przeczytał: 5 tematów
|
| Wysłany: Śro 10:31, 28 Maj 2025 Temat postu: |
|
|
|
Należy zacząć od tego, że u ciebie K jest tylko i wyłącznie zmienną oznaczającą "kino", tudzież "będziemy w kinie", ale jest też stałą
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 10:57, 28 Maj 2025 Temat postu: |
|
|
Irbisolu, nie udawaj idioty bo nim nie jesteś!
| Irbisol napisał: | | Należy zacząć od tego, że u ciebie K jest tylko i wyłącznie zmienną oznaczającą "kino", tudzież "będziemy w kinie", ale jest też stałą |
To jest proste jak cep.
We wszelkich obietnicach bezwarunkowych K (kino) jest tylko i wyłącznie zmienną binarną.
Poza obietnicami K (kino) może być stałą binarną o wartości logicznej równej 1 ... czyli to pojęcie jest totalnie bezużyteczne dla matematycznej obsługi obietnicy bezwarunkowej
Podobnie:
Załóżmy, że znasz teorię równań liniowych
Co z tego że znasz, skoro ta teoria jest totalnie bezużyteczna w rozwiązywaniu równań kwadratowych.
Irbisolu, nie udawaj idioty bo nim nie jesteś.
Na 100% wiem że rozumiesz poniższą analizę matematyczną 3-argumentowej obietnicy bezwarunkowej, tylko gówno zwane KRZ nie pozwala ci się do poniższego banału przyznać.
Zgadza się?
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#727801
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
20.0 Zero-jedynkowe tajemnice algebry Boole’a
Spis treści
20.11 Obietnica bezwarunkowa n-argumentowa 1
20.11.1 Miękkie jedynki i twarde zera w logice matematycznej 2
20.12 Rodzaje obietnic ze względu na kryterium zrealizowania 3
20.11 Obietnica bezwarunkowa n-argumentowa
Analiza na przykładzie obietnicy bezwarunkowej 3-argumentowej
Zadanie 3
Dana jest obietnica bezwarunkowa 3 argumentowa:
1
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
Analiza matematyczna:
1.
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
Y =B+ K*~T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y <=> B+ K*~T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> B=1 lub K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy <=> gdy jutro:
1a: B=1 - pójdziemy na Basen (B=1)
„lub”(+)
1b: K*~T = K=1 i ~T=1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
Jeśli jutro zajdzie dowolne z powyższych zdarzeń to pani dotrzyma słowa (Y=1).
Miękka jedynka opisująca nieznaną przyszłość.
Jak sprawdzić pojutrze czy pani dotrzymała słowa?
Tu 5-cio latek sprawdza pojutrze, czy prawdziwy jest którykolwiek człon spójnika „lub”(+)
1a: B=1 - byliśmy na basenie (B=1)
„lub”(+)
1b: K*~T = K=1 i ~T=1 – byliśmy w kinie (K=1) i nie byliśmy w teatrze (~T=1)
Jeśli wczoraj zaszło dowolne z powyższych zdarzeń to pani dotrzymała słowa (Y=1).
Twarda jedynka opisująca znaną przeszłość.
[=]
Aby odpowiedzieć na pytanie kiedy jutro pani nie dotrzyma (~Y) musimy dwustronnie zanegować funkcję logiczną 1
~Y = ~(B+(K*~T))
Minimalizacja prawej strony na mocy prawa Wuja Zbója – negujemy zmienne i wymieniamy spójniki na przeciwne:
~Y = ~B*(~K+T)
Tu musimy przejść do czystej funkcji alternatywno-koniunkcyjnej, gdyż tylko w niej jedynki są domyślne (pkt. 1.13)
2.
~Y = ~B*~K + ~B*T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y <=> ~B*~K + ~B*T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~B=1 i ~K=1 lub ~B=1 i T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy <=> gdy jutro:
2a: ~B*~K = ~B=1 I ~K=1 – nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
”lub”(+)
2b: ~B*T = ~B=1 I T=1 – nie pójdziemy na basen (~B=1) i pójdziemy do teatru (T=1)
Jeśli jutro zajdzie którekolwiek z powyższych zdarzeń to pani nie dotrzyma słowa (~Y).
Miękka jedynka opisująca nieznaną przyszłość.
Jak sprawdzić pojutrze czy pani skłamała (= nie dotrzymała słowa ~Y)?
Tu 5-cio latek sprawdza pojutrze, czy prawdziwy jest którykolwiek człon spójnika „lub”(+)
2a: ~B*~K = ~B=1 I ~K=1 – nie byliśmy na basenie (~B=1) i nie byliśmy w kinie (~K=1)
”lub”(+)
2b: ~B*T = ~B=1 I T=1 – nie byliśmy na basenie (~B=1) i byliśmy w teatrze (T=1)
Jeśli wczoraj zaszło którekolwiek z powyższych zdarzeń to pani nie dotrzymała słowa (~Y).
Twarda jedynka opisująca znaną przeszłość.
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
20.11.1 Miękkie jedynki i twarde zera w logice matematycznej
Zauważmy, że opisując nieznaną przyszłość (obietnica pani przedszkolanki) mamy do czynienia z miękkimi jedynkami.
1.
Kiedy jutro pani dotrzyma słowa (Y=1)?
Y <=> B+ K*~T
2.
Kiedy jutro pani nie dotrzyma słowa (~Y=1)?
~Y <=> ~B*~K + ~B*T
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd zapis tożsamy ostatniego pytania:
2.
Kiedy jutro pani nie dotrzyma słowa (Y=0)?
Zauważmy, że jutro pani może dotrzymać słowa (Y=1) albo nie dotrzymać słowa (~Y=1)
Trzeciej możliwości brak
Stąd mamy.
Definicja miękkiej jedynki w logice matematycznej:
Miękka jedynka w logice matematycznej to jedynka która może stać się twardym zerem.
Miękkie jedynki w naszym przykładzie to jedynki opisujące nieznaną przyszłość:
1.
Kiedy jutro pani dotrzyma słowa (Y=1)?
2.
Kiedy jutro pani nie dotrzyma słowa (~Y=1)?
Oczywistym jest, że pojutrze wyłącznie jedna z dwóch występujących w naszym przykładzie miękkich jedynek ulegnie transformacji do jedynki twardej.
Druga z miękkich jedynek ulegnie transformacji do twardego zera, bo pani nie może jednocześnie dotrzymać słowa (Y=1) i nie dotrzymać słowa (~Y=1)
20.12 Rodzaje obietnic ze względu na kryterium zrealizowania
Wszelkie obietnice ze względu na kryterium zrealizowania dzielimy na:
1.
Obietnice żywe tzn. wypowiedziane, ale jeszcze niezrealizowane
2.
Obietnice martwe tzn. wypowiedziane i już zrealizowane
Oczywistym jest, że wyłącznie w stosunku do obietnic martwych każdy człowiek ma prawo włóczyć się po naszej planecie komentując:
- w obietnicy X nadawca dotrzymał słowa
- w obietnicy Y nadawca nie dotrzymał słowa
KONIEC!
Żadne inne rozstrzygnięcia w obszarze ziemskich obietnic martwych matematycznie nie są możliwe.
Jest oczywistym, że znając wynik działania dowolnej obietnicy X albo Y nie możemy spowodować cofnięcia czasu i zmienić zaistniały i znany wynik (X albo Y), zatem takie rozstrzygnięcia są poza definicją logiki matematycznej (pkt. 1.2.6)
|
Ostatnio zmieniony przez rafal3006 dnia Śro 11:14, 28 Maj 2025, w całości zmieniany 5 razy
|
|
| 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
