Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 67, 68, 69 ... 265, 266, 267  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 21:34, 08 Maj 2022    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-3850.html#658479

Prezent od Kubusia

Wczoraj i dzisiaj dostałem prezent imieninowy od Kubusia w postaci dwóch kluczowych punktów na końcu podręcznika.

12.2 Dowód wewnętrznej sprzeczności KRZ
12.4 Diagram Venna - katastrofa ziemskiej logiki matematycznej

Po 16 latach dyskusji powstała końcowa wersja "Algebry Kubusia" z której jestem zadowolony.
Teraz czas na solidny odpoczynek ... czyli zajecie się firmą, bo muszę zmodyfikować kluczowy, firmowy program.

Link do wersji w pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/61wb5f86lm2i5dv/Algebra%20Kubusia%2017-04-2022.pdf?dl=0


Ostatnio zmieniony przez rafal3006 dnia Sob 9:48, 21 Maj 2022, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Wto 15:42, 24 Maj 2022    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/logika-wg-irbisola-coz-to-jest,20631-700.html#661271

Michał Dyszyński do Irbisola napisał:

Zdaję sobie sprawę, że pewnie teraz będziesz miał ochotę napisać coś w stylu, że przecież "to tak jest", że jak Ty ogłaszasz co "jest tematem dyskusji", to przecież to rzeczywiście (obiektywnie) jest temat dyskusji. A jak ja ogłaszam, że coś jest "tematem dyskusji", to (według Ciebie) po prostu się mylę.
Pozwolę sobie zauważyć, że nie przyjmuję do wiadomości tej konwencji niezależnie od tego, czy Ci się to podoba, czy nie.

To samo miałem w algebrze Kubusia, gdzie Irbisol arbitralnie ogłosił iż dyskutujemy tylko i wyłącznie o gołych tabelach zero-jedynkowych na gruncie Klasycznego Rachunku Zdań nie przyjmując do wiadomości, że na logikę matematyczną można spojrzeć z FUNDAMETALNIE innego poziomu, z poziomu warunku wystarczającego => i koniecznego ~> definiowanych tabelami zero-jedykowymi.

Definicja zero-jedynkowa warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja zero-jedynkowa warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji

Kluczowe prawa logiki matematycznej to prawa Kubusia:
I. p=>q = ~p~>~q
II. p~>q = ~p=>~q

Dowód I prawa Kubusia:
~p~>~q = ~p+~(~q) = ~p+q = p=>q
##
Dowód II prawa Kubusia:
~p=>~q = ~(~p)+~q = p+~q = p~>q
Gdzie:
## - różne na mocy definicji

Michale, nie miej nadziei, że Irbisol kiedykolwiek zgodzi się spojrzeć na dowolny problem z innego punktu odniesienia niż z jego arbitralnie ogłoszonego jedynie słusznego punktu odniesienia, który jego zdaniem jest świętością bo to jest JEGO punkt odniesienia.

P.S.
Irbisolu, czy zgadzasz się na prawa Kubusia jak wyżej, czy też dalej będziesz z nimi walczył na gruncie twoich gówno-tabel zero-jedynkowych?


Ostatnio zmieniony przez rafal3006 dnia Wto 20:06, 24 Maj 2022, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 7:08, 28 Maj 2022    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-3850.html#661903

Pytanie typu pikuś z matematyki.pl
Poprawną odpowiedź zna każdy uczeń I klasy LO, póki co w 100-milowym lesie

[link widoczny dla zalogowanych]
Autor: Jakub Gurak » 28 maja 2022, o 01:08
Na ile sposobów można udowodnić formalnie dane twierdzenie.
Jakub Gurak napisał:

Z ciekawości pytam:

Mamy dane twierdzenie logiki formalnej, udowodnione. Na ile innych sposobów można je udowodnić ? Czy nawet na nieskończenie wiele (przeliczalnie wiele) sposobów, gdyż rozumowania można dowolnie komplikować?? Nie wiem, ktoś wie

Po prostu jestem ciekaw.

Na ile sposobów można udowodnić formalnie dane twierdzenie?...

Odpowiedź w zapisach formalnych (ogólnych) jest następująca:
Dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym "Jeśli p to q" można udowodnić na pięć i tylko pięć tożsamych sposobów.

Dowód wymaga znajomości fundamentów algebry Kubusia:

Matematyczne związki warunku wystarczającego => i koniecznego w zapisie skróconym:
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:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - 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


Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)

Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q twierdzenie proste =>
##
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - twierdzenie odwrotne =>
bo prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia

Definicja dowodu „nie wprost” w algebrze Kubusia:
Dowód „nie wprost” w algebrze Kubusia to dowód warunku koniecznego ~> lub wystarczającego => (twierdzenie matematyczne „Jeśli p to q”) z wykorzystaniem praw logiki matematycznej (prawa Kubusia, prawa Tygryska, prawa kontrapozycji dla warunku wystarczającego =>, prawa kontrapozycji dla warunku koniecznego) plus definicja kontrprzykładu.

Na ile sposobów można udowodnić formalnie dane twierdzenie?...

Odpowiedź w zapisach formalnych (ogólnych) jest następująca:
Dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym "Jeśli p to q" można udowodnić na pięć i tylko pięć tożsamych sposobów.

Dowód:
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:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - 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

Dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym „Jeśli p to q” to relacja podzbioru A1: p=>q, co wynika z prawa Słonia.

Z tabeli T0 widzimy, że dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym „Jeśli p to q” można udowodnić na cztery tożsame sposoby, co wynika z linii Ax w tabeli T0
Dodatkowo, dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym A1: p=>q można udowodnić korzystając z definicji kontrprzykładu.

Razem, na pytanie postawione przez Jakuba Guraka mamy precyzyjną odpowiedź:
Dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym „Jeśli p to q” można udowodnić na pięć i tylko pięć tożsamych sposobów

P.S.
Dlaczego z powyższą odpowiedzią nie idę na forum matematyka.pl?
Odpowiadam:
Żaden ziemski matematyk nie zna algebry Kubusia, z czego wynika, że aby zrozumieć moją odpowiedź musiałby najpierw zrozumieć algebrę Kubusia.
AK jest ciągle udoskonalana, dlatego wyjście z AK na matematykę.pl w tym momencie byłoby moim błędem - najpierw muszę do perfekcji dopracować AK.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Wto 23:02, 07 Cze 2022    Temat postu:

[link widoczny dla zalogowanych]
Jakub Gurak napisał:

Z ciekawości pytam:
Mamy dane twierdzenie logiki formalnej, udowodnione. Na ile innych sposobów można je udowodnić? Czy nawet na nieskończenie wiele (przeliczalnie wiele) sposobów, gdyż rozumowania można dowolnie komplikować?? Nie wiem, ktoś wie?
Po prostu jestem ciekaw.

[link widoczny dla zalogowanych]
Rafal3006 napisał:

Odpowiedź w zapisach formalnych (ogólnych) jest następująca:
Dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym "Jeśli p to q" można udowodnić na pięć i tylko pięć tożsamych sposobów.

[link widoczny dla zalogowanych]
Jakub Gurak napisał:

5 ma się tak do logiki formalnej, to tak jakby powiedzieć, że Polska to jest Rzeszów - co prawda jest to miasto Polski, ale co w nim szczególnego?
A na poważnie: mam prawo nie ufać tej odpowiedzi.

Podtrzymuję co napisałem:
Dowolne twierdzenie matematyczne wyrażone zdaniem warunkowym "Jeśli p to q" można udowodnić na pięć i tylko pięć tożsamych sposobów.

Chętnie wyjaśnię ci skąd wzięło się to 5, ale to wymaga przyjęcia trzech definicji zero-jedynkowych w nieznanej matematykom interpretacji:
1. definicja warunku wystarczającego
##
2. definicja warunku koniecznego
##
3. definicja elementu wspólnego zbiorów lub zdarzenia możliwego
Gdzie:
## - różne na mocy definicji

Na bazie powyższych definicji można udowodnić w rachunku zero-jedynkowym iż dowolne twierdzenia matematyczne "Jeśli p to q" można udowodnić na 5 i tylko 5 tożsamych sposobów tzn. cztery wynikają z rachunku zero-jedynkowego, natomiast piąty dowód wynika z definicji kontrprzykładu, innej niż w aktualnej logice matematyków.

P.S.
Jestem przybyszem ze świata techniki - w 1980 roku skończyłem elektronikę na Politechnice Warszawskiej.
Wszystko co wyżej napisałem mogę udowodnić w laboratorium techniki cyfrowej, ściślej mówiąc w laboratorium bramek logicznych na I roku elektroniki.

Bliższe przedstawienie tego co napisałem nie nadaje się do żadnego działu regulaminowego forum matematyka.pl (na przykład tego), bowiem interpretacja zero-jedynkowych definicji których używam (1,2,3) nie jest znana matematykom.
Ściślej mówiąc 100% definicji w temacie logika matematyczna mamy sprzecznych.
Jak się zorientowałem jedynym sensownym działem matematyki.pl gdzie moglibyśmy podyskutować jest kawiarnia Szkocka.

Kawiarnia Szkocka
Projekty i prace naukowe i badawcze. Nowatorskie idee matematyczne. Literatura specjalistyczna


Wkrótce zwrócę się do admina matematyki.pl z prośbą o pozwolenie na przedstawienie nieznanej matematykom teorii matematycznej obsługującej wszelkie zdania warunkowe "Jeśli p to q"
Dla opisu kompletnej teorii obsługującej wszelkie zdania warunkowe "Jeśli p to q" potrzebuję zaledwie trzech zero-jedynkowych definicji znaczków jak wyżej (1,2,3).


Ostatnio zmieniony przez rafal3006 dnia Czw 8:58, 09 Cze 2022, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 21:22, 12 Cze 2022    Temat postu:

Przed chwilką dopisałem nowy rozdział do algebry Kubusia, wyjaśniający problem n-elementowego spójnika "albo"($)

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-17-04-2022,20453.html#655299

Algebra Kubusia - matematyka języka potocznego
9.9 Definicja n-argumentowego spójnika „albo”($)

Definicja n-argumentowego spójnika „albo”($):
Definicja n-argumentowego spójnika „albo”($) p$q...$n jest spełniona (=1) wtedy i tylko wtedy gdy w obrębie danej dziedziny D funkcja logiczna zbiorów/zdarzeń:
Y=p$q..$n
opisuje zbiory/zdarzenia niepuste i rozłączne gdzie iloczyn logiczny dowolnego zbioru/zdarzenia z innym zbiorem/zdarzeniem jest zbiorem pustym [].

Wtedy na mocy teorii zbiorów zachodzi tożsamość logiczna:
Y = p+q…+n := p$q..$n
Gdzie:
:= - redukcja funkcji logicznej na mocy teorii zbiorów/zdarzeń

Oznacza to, że przy spełnionej definicji n-argumentowego spójnika „albo”(+) możemy stosować wymiennie spójnik „albo”($) albo spójnik „lub”(+). Obie formy zapisu są matematycznie poprawne, choć bezpieczniejszy jest spójnik „lub”(+), dlatego ten spójnik jest (podświadomie) zdecydowanie częściej używany przez człowieka.

Potoczna definicja spójnika „albo”($) dla dwóch argumentów:
Spójnik „albo”($) to wybór jednej z dwóch możliwości (trzeciej możliwości brak)

Przykłady dla n=2 mamy w punktach 9.7 i 9.8.

Przykład z punktu 9.7:
Dowolny człowiek jest mężczyzną (M) „albo”($) kobietą (K)
M$K = (A1: M=>~K)*(B1: M~>~K) = M<=>~K
Tu praktycznie każdy człowiek użyje spójnika „lub”(+) zamiast spójnika „albo”($) i to nie jest błąd matematyczny - wolno mu, co wyjaśnimy za chwilkę.

Na mocy teorii zbiorów zachodzi tożsamość zdań:
Dowolny człowiek jest mężczyzną „lub”(+) kobietą := Dowolny człowiek jest mężczyzną „albo”($) kobietą
M+K := M$K
Gdzie:
:= - tożsamość matematyczna na mocy teorii zbiorów.

Uwaga:
Nie zawsze w miejsce spójnika „lub”(+) możemy użyć spójnika „albo”(+) co pokażemy w punkcie 9.12, dlatego spójnik „lub”(+) jest bezpieczniejszy.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Śro 20:36, 15 Cze 2022    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/logika-wg-irbisola-coz-to-jest,20631-775.html#665877

Najważniejszy rozdział w algebrze Kubusia!
... to oczywiście rozdział 1.0 - początek AK.

Irbisol napisał:
No i znamienne, jakiego sobie sojusznika zyskałeś (po raz kolejny to podkreślam)

Irbisolu,
Bardzo lubisz nazywać wszystkich którzy myślą inaczej niż ty debilami.
Uwzględniając twoje upodobanie podaję ci definicję matematycznego debila.

Definicja matematycznego debila:
Dowolny ziemski matematyk który nie zrozumie teorii operatorów jednoargumentowych wyłożonej na początku algebry Kubusia, jest matematycznym debilem.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-17-04-2022,20453.html#636063
rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
1.0 Operatory jednoargumentowe


Warunkiem sine qua non zrozumienia logiki matematycznej jest zrozumienie bajecznie prostej teorii operatorów jednoargumentowych w powyższym linku opisanej, o której póki co, najwybitniejsi ziemscy matematycy nie mają bladego pojęcia - ani me, ani be, ani kukuryku.

W przeciwieństwie do w/w matematyków eksperci algebry Kubusia, 5-cio latki (a nawet 3-latki rozumiejący prawo Prosiaczka) perfekcyjnie znają w praktyce teorię jednoargumentowych operatorów logicznych - dowód tego faktu masz w linku wyżej.

W dniu dzisiejszym zacząłem czytać od początku AK, powoli i dokładnie, nanosząc sporo istotnych poprawek do punktu 1.0 - szczególnie chodzi tu o wytłumaczenie czytelnikowi teorii zdania zawsze prawdziwego:
A3: Y=p+~p=1
Jak również teorii zdania zawsze fałszywego:
A4: Y=p*~p=0

Wyszło mi fantastycznie, wszystko gra jak w szwajcarskim zegarku.
Amen


Ostatnio zmieniony przez rafal3006 dnia Śro 20:56, 15 Cze 2022, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 19:12, 18 Cze 2022    Temat postu:

18-06-2022 Decyzja o pisaniu algebry Kubusia od nowa!

Link do najnowszej wersji AK (w trakcie pisania):
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-18-06-2022,21351.html#666349

Maksyma:
Nietrywialny program komputerowy powinien być zbiorem dobrze przemyślanych procedur.
Im dłużej się myśli tym lepsze procedury można wymyśleć.
Myślenie w nieskończoność nie ma sensu

Identycznie jest z algebrą Kubusia, jej przekaz (bo rozszyfrowana jest w 100%) można udoskonalać w nieskończoność – dokładnie to jest powodem mojej decyzji pisania AK od początku w sensie doskonalenia przekazu algebry Kubusia.
Dążę do tego, aby po otworzeniu AK na dowolnej stronie lektura dla mnie była prosta i przyjemna – oczywiście w moim subiektywnym odczuciu.
Dopóki takie modyfikacje AK powstają nie ma sensu bym z AK wychodził poza śfinię np. na matematykę.pl.
Mam nadzieję, że wkrótce dojdę do wniosku, że przekaz AK jest doskonały i nie da się go ulepszyć.
Dopiero w tym momencie jest sens wyjścia z AK poza śfinię np. na matematykę.pl, bowiem fakt iż dla mnie algebra Kubusia jest bajecznie prosta, dosłownie na poziomie 5-cio latka nie oznacza, że takie same odczucia odniesie zawodowy, ziemski matematyk.

Ostateczny szlif AK możliwy jest wyłącznie w dyskusji z ziemskimi matematykami gdzie będę wyjaśniał i rozwiewał wszelkie ich wątpliwości w temacie AK – mam nadzieję że do takiej dyskusji dojdzie tzn. że nie zrobią tego co zwykle ze mną robili, czyli ban na wieki bez prawa powrotu z uzasadnieniem na przykład jak niżej.

[link widoczny dla zalogowanych]
silicium2002 napisał:

To nie ma sensu. Czy ktoś czytał co za brednie powypisywał na tym forum do którego podał linki. Równie dobrze możemy założyć że 2≠2 i zacząć pisać nową matematykę. Jestem przeciwny takiemu zaśmiecaniu forum.

[link widoczny dla zalogowanych]
miodzio1988 napisał:

Znowu te brednie? Realne zastosowania poprosimy. Postaw problem i rozwiąż go za pomocą tego co napisałeś tutaj. Tylko konkrety poproszę.

[link widoczny dla zalogowanych]
miodzio1988 napisał:

No i na żadne pytanie nie odpowiedziałeś. Żadnego problemu nie postawiłeś . Żadnego problemu nie rozwiązałeś. Wniosek? Nic ta Twoja teoria nie jest warta. Musiałeś trafić na mnie żeby się do tego przekonać No, ale uświadomiłem Cię. Zajmij się czymś pożytecznym . Ekstrema umiesz liczyć? Całki?

Jeśli następny Twoj post nie będzie odpowiedzią na poprzednie pytania to stworzymy algebrę Miodzia. I ta algebra będzie równie absurdalna i równie nieprzydatna jak Twoja algebra.

[link widoczny dla zalogowanych]
miodzio1988 napisał:

rafal3006 napisał:

Jeśli liczba jest naturalna to może być parzysta
N~>P
... to jest właśnie implikacja, sam sobie odpowiedziałeś na pytanie co jest warta implikacja w matematyce i technice. :)

Znowu te brednie? Realne zastosowania poprosimy. Postaw problem i rozwiąż go za pomocą tego co napisałeś tutaj. Tylko konkrety poproszę.
Brednie, brednie i jeszcze raz brednie.


Ostatnio zmieniony przez rafal3006 dnia Nie 0:06, 19 Cze 2022, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Wto 10:03, 21 Cze 2022    Temat postu:

Algebra Kubusia – vacatio legis!
Przwidywany termin premiery: po wakacjach

Link do wersji finalnej algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-18-06-2022,21351.html#666349
rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
20-06-2022 Vacatio legis
Przewidywany termin premiery: po wakacjach

Link do wersji pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/s74gibv9m7wuomv/Algebra%20Kubusia%2020-06-2022.pdf?dl=0


Ostatnie trzy dni to napisanie algebry Kubusia „od nowa”, czyli uważne czytanie i korekty oraz dopisanie kilku nowości np. prawo Puchacza w pkt 6.0 czy n-argumentowy spójnik „albo”($) w pkt. 9.9

Myślę, że osiągnąłem dokładnie to co chciałem, czyli:
Otwieram AK na dowolnym rozdziale, czytam … i wszystko jest bajecznie proste, oczywiście w moim subiektywnym odczuciu.
Mam również nadzieję, że podobne odczucia odniosą czytelnicy.
Dlaczego?
Wszystkie definicje i prawa algebry Kubusia wraz z przykładami zawarte są w punkcie 6.0.

Oczywiście powyżej pkt. 6.0 mógłbym każde zagadnienie omawiać zakładając że czytelnik zna na pamięć wszystkie definicje i prawa algebry Kubusia.
Biorąc jednak po uwagę że 100% definicji w AK jest sprzecznych z KRZ (dosłownie!), przyjąłem taktykę przypominania na początku nowego rozdziału definicji i praw algebry Kubusia potrzebnych do jego zrozumienia.
To było łatwe do zrealizowania, bowiem definicji i praw algebry Kubusia na których ona jest zbudowana jest „tyle co kot napłakał” – patrz punkt 6.0

Na razie myślę jak wyjść z algebrą Kubusia poza śfinię … może ma kto jaki pomysł, bo to jest problem jako że 100% definicji w AK jest sprzecznych z jakąkolwiek logiką matematyczną ziemskich matematyków (dosłownie!).

Cytuję wstęp do algebry Kubusia.

Wstęp:

Algebra Kubusia to nowa idea matematyczna, to spojrzenie na logikę matematyczną z dziewiczej strony, nieznanej ziemskim matematykom.
Z punktu widzenia zawodowego matematyka najważniejszym punktem w algebrze Kubusia jest punkt „1.0 Operatory jednoargumentowe”, bowiem to od niego zależy czy matematyk będzie czytał dalej czy też wyrzuci AK do kosza.
Punkt 1.0 jest kluczowy dla zaistnienia algebry Kubusia w sercach ziemskich matematyków bowiem zawiera wszystko co najważniejsze w logice matematycznej czyli definiuje logikę dodatnią (bo Y) i ujemną (bo ~Y) udowadniając iż bez tych pojęć ziemski rachunek zero-jedynkowy jest wewnętrznie sprzeczny na poziomie funkcji logicznych algebry Boole’a.
Poza tym są tu zdefiniowane kluczowe prawa logiki matematycznej: prawa Prosiaczka i prawa Puchacza wraz z dowodami, których nie sposób nie zrozumieć.
Algebra Kubusia to przede wszystkim matematyczna obsługa zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Kręgosłup algebry Kubusia w tym zakresie tzn. wszystkie definicje i prawa algebry Kubusia wraz z przykładami zawarto w punktach 6.0 i 7.0
W algebrze Kubusia 100% znaczków ma inne definicje niż w jakiejkolwiek logice matematycznej ziemskich matematyków (dowód w pkt. 0.3)

Ziemskim matematykom znającym algebrę Boole’a na początek rekomenduję przeczytanie „Algebry Kubusia” w wersji minimalnej zawartej w punktach 1.0, 2.0, 3.0, 6.0, 7.0
W wersji minimalnej zwarto wszystkie definicje i prawa algebry Kubusia wraz z przykładami.

Formalnie algebry Kubusia nie musimy się uczyć bo po prostu pod nią polegamy nie mając żadnych szans, aby się od niej uwolnić. Wynika z tego, że ekspertem algebry Kubusia jest każdy człowiek (od 5-cio latka poczynając) tylko póki co, o tym nie wie.
Algebra Kubusia to również podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Dowód iż każdy 5-cio latek jest ekspertem algebry Kubusia i potrafi zaprojektować poprawne sterowanie windą w bramkach logicznych zarówno w logice dodatniej (bo J) jak i ujemnej bo (~J) znajdziemy w punkcie 2.4.1

Po co komu algebra Kubusia skoro wszyscy jesteśmy jej ekspertami?
Pytania analogiczne to:
Po co komu znajomość gramatyki języka polskiego, skoro 5-cio latek biegle posługuje się językiem ojczystym nie znając formalnej gramatyki języka?
Kto na co dzień dokonuje rozbioru gramatycznego każdego wypowiedzianego zdania?

Osobiście nigdy nie znałem i nie znam formalnej gramatyki języka polskiego tzn. nie wiem co to jest jakiś tam podmiot, orzeczenie, przysłówek etc. … a po polsku potrafię pisać.
Mam nadzieję, że koniec końców ziemscy matematycy zaakceptują algebrę Kubusia jako jedyną poprawną logikę matematyczną obowiązującą w naszym świecie żywym i martwym (w tym w matematyce).

Możliwe scenariusze przyszłości:
Na dzień dzisiejszy (20-06-2022) możliwe są dwa scenariusze przyszłości:
1.
Ja, Rafal3006 zostanę uznany za wariata, zaś algebra Kubusia umrze razem ze mną i zostanie zapomniana
2.
Algebra Kubusia zostanie zrozumiana i zaakceptowana przez ziemskich matematyków jako oficjalna logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy.
W tym przypadku rozszyfrowanie algebry Kubusia przez wielu zostanie uznane za największe wydarzenie w dziejach ludzkości, bo to jest mniej więcej tak, jakby komputer zrozumiał algebrę Boole’a, dzięki której działa. Zauważmy, że z punktu odniesienia komputera człowiek jest jego Bogiem, ale czy komputer ma szansę to zrozumieć?

Dowód iż są na ziemi matematycy świadomi bezsensu Klasycznego Rachunku Zdań znajdziemy tu:
[link widoczny dla zalogowanych]
*http://www.deltami.edu.pl/temat/matematyka/logika/2013/02/28/Logika_sens_i_watpliwosci/
Marek Kordos, Delta 2013
Czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat?


Ostatnio zmieniony przez rafal3006 dnia Wto 11:02, 21 Cze 2022, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Czw 22:02, 23 Cze 2022    Temat postu:

Najważniejsza wojna w naszym Wszechświecie!
.. wkrótce stanie się faktem.

Ja, Rafał3006, cały czas myślę nad sposobem podboju ziemskiej logiki matematycznej ... bo wszystko tu jest do bani.
W marzeniach widzę kwiaty rzucane przez ziemskich matematyków na czołgi najeźdźców tzn. wojsk 5-cio latków pod dowództwem Kubusia.
Mam nadzieję, że nie spotka mnie los Putina.

Póki co myślę, może taka bomba atomowa byłaby dobra?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-20-06-2022,21351.html#666349
Link do wersji pdf:
[link widoczny dla zalogowanych]

01-10-2022 Algebra Kubusia – premiera
Algebra Kubusia to nowa idea matematyczna, to spojrzenie na logikę matematyczną z dziewiczej strony, nieznanej ziemskim matematykom.
Twardym dowodem poprawności algebry Kubusia jest jej 100% zgodność z teorią bramek logicznych, co udowodniono w punkcie 14.0.

Dzień dobry,
Jestem absolwentem elektroniki (Instytut Automatyki) na Politechnice Warszawskiej (1980r).
Logiką matematyczną zainteresowałem się przypadkowo 16 lat temu.
Algebra Kubusia to efekt 16-letniej dyskusji głównie na forum śfinia, to około 30 tys. postów wyłącznie na temat logiki matematycznej.
Mam nadzieję, że przeczyta pan przynajmniej wstęp oraz punkt:
0.0 Kwintesencja algebry Kubusia
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 14:50, 26 Cze 2022    Temat postu:

Odezwa do ziemskich matematyków!

26-06-2022
Zdecydowanie poprawiłem punkt 14.0 oraz dopisałem nowy punkt 14.5

Na ten moment jedynym sensownym działaniem jest moim zdaniem poniższa odezwa do ziemskich matematyków.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-20-06-2022,21351.html#666349
Link do wersji pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/s74gibv9m7wuomv/Algebra%20Kubusia%2020-06-2022.pdf?dl=0
01-10-2022 Premiera nowej idei matematycznej:
Algebra Kubusia – matematyka języka potocznego

Dzień dobry,
Jestem absolwentem elektroniki (Instytut Automatyki) na Politechnice Warszawskiej (1980r).
Logiką matematyczną zainteresowałem się przypadkowo 16 lat temu.
Algebra Kubusia to efekt 16-letniej dyskusji głównie na forum śfinia, to około 30 tys. postów wyłącznie na temat logiki matematycznej.
Mam nadzieję, że przeczyta pan przynajmniej wstęp oraz punkt:
0.0 Kwintesencja algebry Kubusia

Algebra Kubusia to nowa idea matematyczna, to spojrzenie na logikę matematyczną z dziewiczej strony, nieznanej ziemskim matematykom.
Tabele zero-jedynkowe operatorów dwuargumentowych używane w algebrze Kubusia znane są ziemskim matematykom, jednak ich interpretacja jest fundamentalnie inna.
Wynika z tego, że 100% definicji w algebrze Kubusia jest sprzecznych z Klasycznym Rachunkiem Zdań (dowód w pkt.0.3)
Twardym dowodem poprawności algebry Kubusia jest jej 100% zgodność z teorią bramek logicznych, co udowodniono w punkcie 14.0.
Wisienką na torcie jest udowodnienie fałszywości ziemskiego rachunku zero-jedynkowego na poziomie funkcji logicznych algebry Boole’a Y=f(x) w laboratorium bramek logicznych (pkt. 14.5)

Rafał3006

P.S.
Poza powyższą odezwą (jak ją rozpowszechnić?) sensowne jest jeszcze wyjście z AK na fora matematyczne.

Tu wszystko może się zdarzyć:
1.
Na wielu z nich (podejrzewam, że prawie na wszystkich) wiadomość iż 100% definicji w algebrze Kubusia jest sprzecznych z Klasycznym Rachunkiem Zdań, będzie wiadomością wystarczającą by zbanować mnie na wieki, bez prawa powrotu.
2.
Wierzę jednak że istnieją ziemskie fora matematyczne gdzie admin pozwoli mi na zaprezentowanie algebry Kubusia i jej rzeczową obronę np. matematyka.pl


Ostatnio zmieniony przez rafal3006 dnia Wto 8:31, 28 Cze 2022, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Wto 22:33, 05 Lip 2022    Temat postu:

Armagedon Klasycznego Rachunku Zdań

Odkrycie przypadkowe w delegacji, w hotelu Orion w Sosnowcu …

W tym momencie nie mam wyjścia:
Nie wolno mi wychodzić z algebrą Kubusia poza śfinię, dopóki tego rodzaju pomysły przychodzą mi do głowy.

Dlaczego:
Jest absolutnie pewne (wiem z doświadczenia), że każde wyjście z AK poza sfinię skończy się potworną bijatyką z fanatykami gówna wszech czasów zwanego Klasycznym Rachunkiem Zdań.
Skutek byłby taki (przy niepełnym rozszyfrowaniu AK), że prędzej wylądowałbym w zakładzie zamkniętym bez klamek niż przekonał fanatyków KRZ do algebry Kubusia.
Jeśli AK będzie w 100% rozszyfrowana to pewne jest że matematycy na poziomie ją zrozumieją – w tym momencie fanatycy KRZ mogą sobie machać łapkami i wrzeszczeć że AK to gówno (niczym Irbisol), to mnie kompletnie nie interesuje.
Irbisol to bezcenny dar od Kubusia, bo czyż można sobie wymarzyć lepszego testera algebry Kubusia, zaciekle „obalającego” AK od 15 lat na każdym etapie jej rozszyfrowywania?
Dzięki Irbisolu, za twoje „obalanie” AK oczywiście.
Jak Irbisol „obalał” AK mamy tu:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663.html#505427

Spis treści
1.0 Definicja wspólnej dziedziny w zdaniach warunkowych „Jeśli p to q” 1
1.1 Prawo Słonia - najważniejsze prawo w logice matematycznej 2
1.1.1 Prawo Słonia dla zbiorów 3
1.2 Przykłady zdań „Jeśli p to q” ze spełnioną definicją wspólnej dziedziny 3
1.2.1 Zdanie warunkowe ze spełnioną definicja wspólnej dziedziny „Jeśli P8 to P2” 3
1.2.2 Zdanie warunkowe ze spełnioną definicją wspólnej dziedziny „Jeśli SK to TP” 4



1.0 Definicja wspólnej dziedziny w zdaniach warunkowych „Jeśli p to q”

Definicja wspólnej dziedziny dla zdań warunkowych „Jeśli p to q”:
Dowolne zdanie warunkowe „Jeśli p to q” jest prawdziwe wtedy i tylko wtedy gdy operuje na wspólnej dziedzinie dla p i q.
Innymi słowy:
Po stronie poprzednika p musi być spełniona definicja dziedziny D:
D=p+~p=1 – zbiór/zdarzenie ~p jest uzupełnieniem do dziedziny dla zbioru/zdarzenia p
p*~p=0 – zbiory/zdarzenia p i ~p są rozłączne
Po stronie następnika q musi być spełniona definicja dokładnie tej samej dziedziny D:
D=q+~q=1 – zbiór/zdarzenie ~q jest uzupełnieniem do dziedziny dla zbioru/zdarzenia q
q*~q=0 – zbiory/zdarzenia q i ~q są rozłączne
Inaczej:
Dowolne zdanie warunkowe „Jeśli p to q” jest fałszywe

Przykład zdania warunkowego z niespełnioną definicją wspólnej dziedziny:
A1.
Jeśli dowolna liczba naturalna jest podzielna przez 8 to dowolny trójkąt jest prostokątny
P8=>TP =0
Powyższe zdanie warunkowe jest fałszywe nie dlatego że poprzednik jest fałszywy i następnik jest fałszywy, ale dlatego, że nie jest tu spełniona definicja wspólnej dziedziny w zdaniu warunkowym „Jeśli p to q”.

Dowód:
Dziedzina dla poprzednika to:
LN=[1,2,3,4,5,6,7,8,9..] – zbiór liczb naturalnych
Oczywiście zachodzi tu definicja dziedziny w obrębie poprzednika:
1.
LN=P8+~P8 =1
Zbiór ~P8=[1,2,3,4,5,6,7..9..] jest uzupełnieniem do dziedziny dla zbioru P8=[8,16,24..]
stąd mamy:
~P8=[LN-P8]=[1,2,3,4,5,6,7..9..]- zbiór liczb niepodzielnych przez 8
Matematycznie zachodzi:
P8*~P8=[]=0 – zbiory P8 i ~P8 są rozłączne
2.
Podobnie:
Zachodzi tu definicja dziedziny w obrębie następnika.
Dziedzina dla następnika to:
ZWT – zbiór wszystkich trójkątów
Oczywiście zachodzi tu definicja dziedziny w obrębie następnika:
ZWT=TP+~TP =1
Zbiór trójkątów nieprostokątnych ~TP jest uzupełnieniem do dziedziny dla zbioru trójkątów prostokątnych TP
Stąd mamy:
~TP=[ZWT-TP]=~TP
Matematycznie zachodzi:
TP*~TP=[] =0 – zbiory TP i ~TP są rozłączne
Podsumowując:
Oczywistym nawet dla matematycznego jełopa jest, że dziedzina LN jest rozłączna z dziedziną ZWT
Stąd na mocy definicji wspólnej dziedziny w zdaniu warunkowych „Jeśli p to q” zdanie A1 jest fałszywe
cnd


1.1 Prawo Słonia - najważniejsze prawo w logice matematycznej

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
## - 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

Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy

1.1.1 Prawo Słonia dla zbiorów

Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q twierdzenie proste =>
##
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - twierdzenie odwrotne =>
bo prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia

Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.

Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów

Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwość dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą "nie wprost"


1.2 Przykłady zdań „Jeśli p to q” ze spełnioną definicją wspólnej dziedziny

W nawiązaniu do punktu 1.0 mamy dwa zdania podobne, ale ze spełnioną definicją wspólnej dziedziny.

1.2.1 Zdanie warunkowe ze spełnioną definicją wspólnej dziedziny „Jeśli P8 to P2”

Przykłady zdań podobnych do zdania A1 mających wspólną dziedzinę.
B1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => ta sama liczba jest podzielna przez 2
P8=>P2 =1
Na mocy prawa Słonia zapisujemy:
Podzielność dowolnej liczby przez 8 (P8) jest warunkiem wystarczającym => dla jej podzielności przez 2 (P2) wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Udowodnić iż zbiór P8 jest podzbiorem => P2 potrafi każdy matematyk
cnd
Wspólna dziedzina minimalna dla p i q jest spełniona:
LN=[1,2,3,4,5,6,7,8,9..] – zbiór liczb naturalnych
Stąd mamy:
p=P8=[8,16,24..]
q=P2=[2,4,6,8..]
~p=~P8=[LN-P8]=[1,2,3,4,5,6,7..9..]
~q=~P2=[LN-P2]=[1,3,5,7,9..]
cnd

1.2.2 Zdanie warunkowe ze spełnioną definicją wspólnej dziedziny „Jeśli SK to TP”

Twierdzenie odwrotne Pitagorasa:
B2.
Jeśli w dowolnym trójkącie zachodzi suma kwadratów (SK) to na 100% => ten sam trójkąt jest prostokątny (TP)
SK=>TP =1
To jest znane wszytki twierdzenie odwrotne Pitagorasa, stąd zapis formalny (ogólny) to:
q=>p=1
Twierdzenie odwrotne Pitagorasa ludzkość udowodniła wieki temu
Stąd na mocy prawa Słonia zapisujemy:
W dowolnym trójkącie spełnienie sumy kwadratów (SK) jest warunkiem wystarczającym => do tego aby ten trójkąt był prostokątny (TP) wtedy i tylko wtedy gdy zbiór trójkątów ze spełniona sumą kwadratów (SK) jest podzbiorem => zbioru trójkątów prostokątnych (TP).

Wspólna dziedzina dla p i q jest spełniona:
ZWT – zbiór wszystkich trójkątów
Stąd mamy:
q=SK
p=TP
~q=~SK=[ZWT-SK]=~SK
~p=~TP=[ZWT-TP]=~TP
cnd


Ostatnio zmieniony przez rafal3006 dnia Wto 22:59, 05 Lip 2022, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 11:21, 11 Lip 2022    Temat postu:

Jaki jest cel algebry Kubusia?

W dniu 10-07-2022 publikuję najnowszą wersję algebry Kubusia podporządkowaną odpowiedzią na tytułowe pytanie.
Nowy wstęp jest skromy, zaś dotychczasowa AK zmieniła się w tak wielu fragmentach, że musiałem napisać ją od nowa tzn. z licznymi modyfikacjami

Link do najnowszej wersji algebry Kubusia opublikowanej w dniu 10-07-2022:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-10-07-2022,21473.html#669585

Link do wersji pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/w2rgzig53tup4wq/Algebra%20Kubusia%2010-07-2022.pdf?dl=0

Wstęp:

Algebra Kubusia to podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Algebra Kubusia to przede wszystkim matematyczna obsługa zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Kręgosłup algebry Kubusia w tym zakresie tzn. wszystkie definicje i prawa algebry Kubusia wraz z przykładami zawarto w punktach 6.0 i 7.0

Formalnie algebry Kubusia nie musimy się uczyć bo po prostu pod nią polegamy nie mając żadnych szans, aby się od niej uwolnić. Wynika z tego, że ekspertem algebry Kubusia jest każdy człowiek (od 5-cio latka poczynając) tylko póki co, o tym nie wie. Dowód iż każdy 5-cio latek jest ekspertem algebry Kubusia i potrafi zaprojektować poprawne sterowanie windą w bramkach logicznych zarówno w logice dodatniej (bo J) jak i ujemnej bo (~J) znajdziemy w punkcie 2.4.1

Po co komu algebra Kubusia skoro wszyscy jesteśmy jej ekspertami?
Pytania analogiczne to:
Po co komu znajomość gramatyki języka polskiego, skoro 5-cio latek biegle posługuje się językiem ojczystym nie znając formalnej gramatyki języka?
Kto na co dzień dokonuje rozbioru gramatycznego każdego wypowiedzianego zdania?

Algebra Kubusia to nowa idea matematyczna, to spojrzenie na logikę matematyczną z dziewiczej strony, nieznanej ziemskim matematykom.
Tabele zero-jedynkowe operatorów dwuargumentowych używane w algebrze Kubusia znane są ziemskim matematykom, jednak ich interpretacja jest fundamentalnie inna.
Wynika z tego, że 100% definicji w algebrze Kubusia jest sprzecznych z Klasycznym Rachunkiem Zdań - dowód tego faktu znajdziemy w punkcie 15.0
Algebra Kubusia jest w 100% zgodna z teorią bramek logicznych, co udowodniono w punkcie 13.0

6.8.2 Jaki jest cel algebry Kubusia?

Celem logiki matematycznej (algebry Kubusia) jest przyporządkowanie dowolnego zdania warunkowego „Jeśli p to q” z języka potocznego (także fałszywego = fałszywy kontrprzykład) do jednego z pięciu możliwych operatorów implikacyjnych.

Typowe zadanie z algebry Kubusia to zacytowanie dowolnego zdania warunkowego „Jeśli p to q” z języka potocznego, gdzie uczeń ma rozstrzygnąć:
1.
Czy zdanie polega pod algebrę Kubusia
2.
Jeśli podlega to należy rozstrzygnąć o jego prawdziwości/fałszywości oraz podać w skład jakiego operatora implikacyjnego wchodzi badane zdanie.
3.
Prawo Puchacza:
Dowolne zdanie warunkowe „Jeśli p to q” może wchodzić w skład jednego i tylko jednego operatora implikacyjnego.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Wto 21:57, 19 Lip 2022    Temat postu:

Przedszkole algebry Kubusia!

Dzisiaj postanowiłem uzupełnić podstawowy wykład algebry Kubusia o ... "Przedszkole algebry Kubusia"
Inauguracyjny wykład zamieszczam tu:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-3850.html#670559

Powód:
Matematyka działa na zbiorach nieskończonych. Cała dotychczasowa algebra Kubusia w zbiorach również oparta była na zbiorach nieskończonych.
Dla manie to rybka czy mówię o zbiorach nieskończonych, czy minimalnych.
Myślę, że ta rybka dla wielu uczniów I klasy LO (to im dedykuję AK) może okazać się potworem.
Tymczasem calusieńką AK można doskonale zrozumieć operując na zbiorach minimalnych doskonale rozumianych przez wszystkie 5-cio latki.

W przedszkolu postanowiłem ograniczyć dziedzinę do czterech elementów:
D (dziedzina) = [K+P+T+S]
D = [Kubuś + Prosiaczek + Tygrysek + Słoń]
Wyżej wymienione elementy są potrzebne i wystarczające dla 100% wyjaśnienia algebry Kubusia w zbiorach i wszystkich jej niuansów.

Mam nadzieję że to posunięcie przekona do algebry Kubusia każdego matematyka .. byle nie był fanatykiem gówna zwanego Klasycznym Rachunkiem Zdań - ci prawdopodobnie nigdy nie zrozumieją AK.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 5:59, 31 Lip 2022    Temat postu:

Ziemska teoria mnogości to sztuka dla sztuki, mająca zero wspólnego z logiką matematyczną, której nikt nie rozumie, z wyjątkiem małej grupki matematyków.
Dowód:
[link widoczny dla zalogowanych]

Najbardziej śmierdzącym gównem w teorii mnogości są liczby kardynalne (moc zbioru).
Po co komu (w logice matematycznej) informacja że zbiór typu mydło i powidło jest równoliczny z innym zbiorem typu mydło i powidło?
p=[miłość, krasnoludek]
q=[rower, ogórek]
Po co komu informacja że zbiory p i q sa równoliczne?
r=[miłość, krasnoludek, słońce]
q=[rower, ogórek]
Po co komu informacja, że zbiory r i q nie są równoliczne?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 6:28, 01 Sie 2022    Temat postu:

Algebra Kubusia - matematyka języka potocznego
Link na śfinię:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-08-01,21473.html#669585

2022-08-01 Vacatio legis
Przewidywany termin premiery: po wakacjach

Link do najnowszej wersji AK w pdf (2022-08-01):
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/w2rgzig53tup4wq/Algebra%20Kubusia%2010-07-2022.pdf?dl=0

Autor:
Kubuś ze 100-milowego lasu

Rozszyfrowali:
Rafal3006 i przyjaciele

W ciągu ostatniego miesiąca naniosłem dużo zmian mających na celu lepsze dotarcie do ziemskich matematyków, zgodnie z poniższym motto.

Motto Rafała3006:
Napisać algebrę Kubusia w taki sposób, by ziemski matematyk nie miał szans na jej niezrozumienie, mimo iż na starcie nie zna ani jednej definicji obowiązującej w AK.



Wstęp:

Algebra Kubusia to podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Algebra Kubusia to przede wszystkim matematyczna obsługa zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Kręgosłup algebry Kubusia w tym zakresie tzn. wszystkie definicje i prawa algebry Kubusia wraz z przykładami zawarto w punktach 6.0 i 7.0

Formalnie algebry Kubusia nie musimy się uczyć bo po prostu pod nią polegamy nie mając żadnych szans, aby się od niej uwolnić. Wynika z tego, że ekspertem algebry Kubusia jest każdy człowiek (od 5-cio latka poczynając) tylko póki co, o tym nie wie. Dowód iż każdy 5-cio latek jest ekspertem algebry Kubusia i potrafi zaprojektować poprawne sterowanie windą w bramkach logicznych zarówno w logice dodatniej (bo J) jak i ujemnej bo (~J) znajdziemy w punkcie 2.4.1

Po co komu algebra Kubusia skoro wszyscy jesteśmy jej ekspertami?
Pytania analogiczne to:
Po co komu znajomość gramatyki języka polskiego, skoro 5-cio latek biegle posługuje się językiem ojczystym nie znając formalnej gramatyki języka?
Kto na co dzień dokonuje rozbioru gramatycznego każdego wypowiedzianego zdania?

Algebra Kubusia to nowa idea matematyczna, to spojrzenie na logikę matematyczną z dziewiczej strony, nieznanej ziemskim matematykom.
Tabele zero-jedynkowe operatorów dwuargumentowych używane w algebrze Kubusia znane są ziemskim matematykom, jednak ich interpretacja jest fundamentalnie inna.
Wynika z tego, że 100% definicji w algebrze Kubusia jest sprzecznych z Klasycznym Rachunkiem Zdań - dowód tego faktu znajdziemy w punkcie 16.0

Z powyższego wynika, że wszyscy ziemianie, nawet zawodowi matematycy powinni zacząć swoją przygodę z algebrą Kubusia od przedszkola algebry Kubusia wyłożonego w punkcie 12.0
W przełożeniu na matematykę klasyczną to jest odpowiednik nauki tabliczki mnożenia do 100 w IV klasie szkoły podstawowej. W przedszkolu algebry Kubusia będziemy operować na zbiorach minimalnych, dzięki czemu wzajemne relacje wszystkich możliwych zbiorów {p, q, ~p, ~q} będziemy dowodzić w trywialny sposób (dosłownie na poziomie 5-cio latka), mający jednak przełożenie 1:1 na zbiory nieskończone których z definicji nie da się iterować element po elemencie.

Jaki jest cel algebry Kubusia poza matematycznym opisem języka potocznego?

Celem logiki matematycznej (algebry Kubusia) jest precyzyjne przyporządkowanie dowolnego zdania warunkowego „Jeśli p to q” (także fałszywego = fałszywy kontrprzykład) z dowolnie zaprzeczonymi p i q do jednego z pięciu rozłącznych operatorów implikacyjnych.
Szczegóły w punkcie 6.15.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 22:37, 07 Sie 2022    Temat postu:

Algebra Kubusia - matematyka języka potocznego
2022-08-07 Vacatio legis
Przewidywany termin premiery: po wakacjach

Link do najnowszej wersji AK na sfinii:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-08-07,21473.html#669585

Link do najnowszej wersji AK w pdf (2022-08-07):
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/w2rgzig53tup4wq/Algebra%20Kubusia%2010-07-2022.pdf?dl=0

Autor:
Kubuś ze 100-milowego lasu

Rozszyfrowali:
Rafal3006 i przyjaciele

Motto Rafała3006:
Napisać algebrę Kubusia w taki sposób, by ziemski matematyk nie miał szans na jej niezrozumienie, mimo iż na starcie nie zna ani jednej definicji obowiązującej w AK.


2022-08-07
Doprowadzanie AK do perfekcji
Gruntownie przejrzałem rozdziały 1.0-5.0 nanosząc poprawki.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Czw 20:10, 11 Sie 2022    Temat postu:

Zdecydowanie największy przełom w algebrze Kubusia!

Dlaczego największy - bo ostatni z możliwych.

Na czym polega ostatni "największy przełom"?
Na rozszyfrowaniu problemu zdania zawsze prawdziwego Y=p+~p=1 i zdania zawsze fałszywego Y=p*~p=0.
Od strony matematycznej wszystko było dla mnie jasne od dawna, czego dowodem są prawa Prosiaczka znane w AK od kilkunastu lat.
Problemem było tu przełożenie w najprostszy możliwy sposób matematycznego powiązania z językiem potocznym funkcji Y=p+~p=1 i Y = p*~p=0.
W starej wersji próbowałem to powiązanie znaleźć, ale to nie było dobre, bo po pierwsze było za bardzo skomplikowane, a po drugie i najważniejsze matematycznie niepoprawne.

Dopiero dziś rano dostałem od Kubusia natchnienie i rozwiązałem wyżej wymieniony problem w sposób zrozumiały dla każdego 5-cio latka.
To już jest koniec rozszyfrowywania algebry Kubusia - padł jej ostatni bastion! - szczegóły w punkcie 1.5.3 i 1.5.4.
W tym momencie jedyną obroną ziemskich matematyków przed algebrą Kubusia jest metoda strusia, czyli schowanie głowy w piasek i udawanie, że nigdy o czymś takim jak AK nie słyszeli.

Dlaczego ziemscy fanatycy KRZ będą się zaciekle bronić przed AK?

Odpowiedź na to pytanie podał matematyk z matematyki.pl już w 2009 roku.
http://www.sfinia.fora.pl/forum-kubusia,12/dyskusja-z-matematyki-pl-matematyka-pl,4259.html#89707
rafal3006 napisał:
Cytat z:
[link widoczny dla zalogowanych]
*https://matematyka.pl/viewtopic.php?p=505263&sid=da4c145809ecfb7163e0bab057ff64b5#p505263
autor: silicium2002 » 4 sie 2009, o 12:02
silicium2002 napisał:
To nie ma sensu. Czy ktoś czytał co za brednie powypisywał na tym forum do którego podał linki. Równie dobrze możemy założyć że 2 # 2 i zacząć pisać nową matematykę. Jestem przeciwny takiemu zaśmiecaniu forum.

... dokładnie tego się spodziewałem, to jest "potworność" dla współczesnej matematyki :think:

Podsumowując:
Jeśli ziemscy matematycy zrozumieją i zaakceptują algebrę Kubusia jako jedyną poprawną logikę matematyczną w naszym Wszechświecie to cały dział współczesnej "logiki matematycznej" zbudowanej na gównie zwanym Klasycznym Rachunkiem Zdań wyląduje w śmietniku historii tak jak to spotkało średniowieczną teorię geocentryczną.


Ostatnio zmieniony przez rafal3006 dnia Nie 9:52, 14 Sie 2022, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 14:59, 19 Sie 2022    Temat postu:

No i stało się ...
Stworzony przeze mnie 37 lat temu mikroprocesorowy sterownik edukacyjny CA80 (na Z80) z dokumentacją zakładającą iż wiedza wstępna czytelnika jest zerowa (czyli nie zna prawa Ohma) doczekał się debiutu w Krzemowej Dolinie, na konferencji zabytkowych komputerów w dniu 06-08-2022r.

[link widoczny dla zalogowanych]
avkris napisał:
Ja składałem mojego CA80 jak miałem 14 lat, do dziś działa.

W przyszły weekend będę tego naszego CA80 pokazywał w "Krzemowej Dolinie" w ramach konferencji "Vintage Computer Festival West 2022", jeśli ktoś jest w okolicy to zapraszam do Computer History Museum w Mountain View 6-7 Sierpien 2022.

avkris napisał:
No is sie udalo, już po konferencji. Kolega za bloga Zegar, podzielił się swoim demo wiec mialem ladna animacje. Moje stanowisko i CA80 odwiedziło kilku sławnych ludzi, między innymi Ken Shirriff (slawany youtuber / blogger) i Leonard Tramiel - syn Jacka Tramiela od Commodore / Atari.

https://youtu.be/RKOvcejgb_0

[link widoczny dla zalogowanych][link widoczny dla zalogowanych][link widoczny dla zalogowanych]


Ostatnio zmieniony przez rafal3006 dnia Pią 21:27, 19 Sie 2022, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 21:38, 22 Sie 2022    Temat postu:

Jak przekazać algebrę Kubusia jej wrogowi, fanatykowi KRZ?

Czy to jest możliwe?
Wierzę, że tak.

Jak to zrobić?
To już przerabiałem 37 lat temu gdy pisałem serię podręczników do nauki elektroniki i programowania procesorów przy założeniu, że wiedza wstępna odbiorcy, ucznia I klasy LO jest równa zeru, czyli nie zna prawa Ohma. Tu w każdej chwili czasowej trzeba wyobrazić siebie jako odbiorcę mającego zerowe pojęcie o elektronice.

Jak to kiedyś robiłem pokażę na aktualnym przykładzie:
Jako ekspert algebry Kubusia napisałem punkt 2.7 w ciągu kilku godzin.
Ten punkt wyglądał tak:
http://www.sfinia.fora.pl/forum-kubusia,12/porzucone-wersje-bata-algebry-kubusia,17539-25.html#673969

Patrząc na ten szybko napisany punkt wczułem się w odbiorcę który ma zerowe pojęcie o algebrze Kubusia, widząc w tym przekazie wiele mankamentów.
Dopracowanie punktu 2.7 zajęło mi z 3 tygodnie.

Po dopracowaniu punkt 2.7 wygląda tak:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-08-22,21473.html#669591

Moim zdaniem nowy punkt 2.7 jest niebotycznie lepszy.
Pisząc podręczniki do elektroniki 37 lat temu miałem zakaz zaglądania do jakiejkolwiek literatury elektronicznej, oczywiście z wyjątkiem katalogów.
W przypadku algebry Kubusia takiego samego zakazu nie musiałem wprowadzać, bowiem od samego początku (od 17 lat), kiedy tylko dowiedziałem się jaki jest fundament KRZ byłem absolutnie pewien, że to jest potwornie śmierdzące gówno - nigdy tego gówna nie zamierzałem poznawać, choć mimochodem poznałem je w dyskusji z ziemianami.

Najgorsze jest to, że gówno zwane KRZ zaczęło wkraczać do I klasy LO - za moich czasów (rok 1969) w moim podręczniku do nauki matematyki do I klasy technikum były gołe tabele zero-jedynkowe i kilka praw algebry Boole'a, wszystko zajmowało z pół strony podręcznika.

W dniu dzisiejszym, o zgrozo, gówno zwane KRZ pierze mózgi biednych uczniów I klasy LO w pełnej krasie - temu mówię stanowcze NIE!
Jak to robi?
TAK!

[link widoczny dla zalogowanych]
Podręcznik matematyki do I klasy LO napisał:

Implikacja
Oznaczmy r jako zdanie „Jeżeli będziesz grzeczny, to dostaniesz czekoladę”. Zdanie to jest implikacją. Zdanie to składa się z dwóch zdań prostych:
• zdania p: „Będziesz grzeczny”
• zdania q: „Dostaniesz czekoladę”
Implikację zdań oznaczamy za pomocą spójnika , a w tym przypadku przez . Pozostaje zastanowić się, kiedy zdanie r będzie prawdą, a kiedy kłamstwem. Załóżmy, że zdanie to wypowiedziała mama do swojego syna. Jeśli syn był grzeczny i dostał czekoladę, mama nie skłamała. Jeśli syn był niegrzeczny i nie dostał czekolady, mama także nie skłamała. Jeśli syn był grzeczny, a nie dostał czekolady, oznacza to, że został okłamany. Okazuje się także, że gdyby syn był niegrzeczny i także dostał czekoladę, mama by nie skłamała. Dlaczego? Ponieważ, mama nie stwierdziła, co go spotka, jeśli będzie niegrzeczny. Powiedziała jedynie, co go spotka jeśli będzie grzeczny. Dlatego też o zdaniu p mówimy, że jest warunkiem wystarczającym do tego, by zaszło q, a o q, że jest warunkiem koniecznym do tego, by zaszło p

Powróćmy znowu do przykładu przedstawionego w poprzednim podrozdziale. Otóż było tam zdanie „jeśli pies ma osiem łap, to Księżyc krąży wokół Ziemi”. To zdanie złożone możemy podzielić na dwa proste zdania:
p: „pies ma osiem łap”,
q: „Księżyc krąży wokół Ziemi”.
Wiemy, że pierwsze p jest fałszywe, a zdanie q jest prawdziwe. Zatem wartość logiczna zdania p ⇒ q wynosi 0 ⇒ 1. Otrzymana wartość logiczna tego zdania wynosi 1.

Cały ten fragment podręcznika do I klasy LO to jeden wielki stek bzdur, wszystko jest tu fałszem, od A do Z bowiem KRZ wymaga znajomości z góry wartości logicznych poprzednika i następnika by na podstawie tabeli zero-jedynkowej rozstrzygnąć o prawdziwości/fałszywości zdania warunkowego "Jeśli p to q"
W algebrze Kubusia mamy absolutny zakaz określania z góry wartości logicznych poprzednika i następnika, bo p i q to w algebrze Kubusia zmienne binarne (a nie stałe binarne jak w KRZ), bo zabija to jakąkolwiek sensowną logikę matematyczną tzn. robi z logiki gówno jak w cytacie.

Dowód na gruncie programowania komputerów:
Niech najwybitniejszy programista napisze najprostszy program komputerowy mając do dyspozycji wyłącznie stałe binarne, o wartości logicznej z góry znanej.
Oczywiście programiści wiedzą, ze to jest niemożliwe, natomiast fanatycy KRZ piszą takie programy - wychodzi im z tego potwornie śmierdzące gówno jak w próbce zdań prawdziwych w KRZ niżej.

Próbka zdań prawdziwych w KRZ:
1.
Jeśli 2+2=4 to Płock leży nad Wisłą
2.
Jeśli 2+2=5 to 2+2=4
3.
Jeśli 2+2=5 to jestem papieżem
Dowód na serio prawdziwości zdania 3 znajdziemy tu:
[link widoczny dla zalogowanych]
*https://www.salon24.pl/u/disamis/540547,falsum-sequitur-quodlibet

Podsumowując:
To jest gorzej niż szpital psychiatryczny, bowiem pacjenci tego szpitala nie mają aż tak spranych mózgów jak fanatycy KRZ, tzn. nie wypowiadają tego typu zdań.

P.S.
Jak fanatycy KRZ będą walczyć z algebrą Kubusia?
Tak!

[link widoczny dla zalogowanych]
miodzio1988 z matematyki.pl napisał:

No i na żadne pytanie nie odpowiedziałeś. Żadnego problemu nie postawiłeś . Żadnego problemu nie rozwiązałeś. Wniosek? Nic ta Twoja teoria nie jest warta. Musiałeś trafiić na mnie żeby się do tego przekonać No, ale uświadomiłem Cie. Zajmij się czymś pożytecznym . Ekstrema umiesz liczyć? Całki?

[link widoczny dla zalogowanych]
miodzio1988 napisał:

Znowu te brednie? Realne zastosowania poprosimy. Postaw problem i rozwiąż go za pomocą tego co napisałeś tutaj. Tylko konkrety poproszę.
Brednie, brednie i jeszcze raz brednie.

[link widoczny dla zalogowanych]
silicium2002 z matematyki.pl napisał:
To nie ma sensu. Czy ktoś czytał co za brednie powypisywał na tym forum do którego podał linki. Równie dobrze możemy założyć że 2 # 2 i zacząć pisać nową matematykę. Jestem przeciwny takiemu zaśmiecaniu forum.

http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-225.html#310261
idiota napisał:
Chyba ostatecznie przegrzaliśmy rafałowi pozostałości mózgu.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2000.html#299283
idiota napisał:
Boże, co za bzdury...
To niesamowite jak rafał swoim nierozumieniem niczego potrafi sobie w głowie posklejać co się da i zrobić to jakoś odnoszące się do jego idee fixe...
Przecież tego nie ma sensu nawet wyjaśniać, bo widać tu raczej symptomy choroby, a nie rozumowanie.

http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
Irbisol napisał:
Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1050.html#415439
Irbisol napisał:
Po prostu nie mam już słów na wyrażenie stopnia twojego upośledzenia, które nie pozwala ci tego pojąć.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1150.html#418651
Irbisol napisał:
Debil by zrozumiał, dlatego nie nazywam cię debilem, żeby debili nie obrażać.

http://www.sfinia.fora.pl/forum-kubusia,12/dowod-debila-oparty-na-dwoch-sprzecznych-zalozeniach,14695.html#484965
Irbisol napisał:
Znajdźcie mi takiego drugiego debila.
Płaskoziemcy to profesorzy przy nim.

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2400.html#526961
Irbisol napisał:
Jestem tu tylko dlatego, żeby zobaczyć, jakiego jeszcze większego debila będziesz z siebie robił. Zawsze mam wrażenie, że sięgnąłeś dna - i zawsze się mylę - tam niżej jeszcze coś jest i ty to odkrywasz.


Ostatnio zmieniony przez rafal3006 dnia Śro 10:06, 24 Sie 2022, w całości zmieniany 8 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Czw 12:50, 25 Sie 2022    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/skad-teista-wie-ze-w-ogole-istnieje,21615.html#674201

Semele do Michała napisał:
Ty też nie rozumiesz. Piszę o tym, ze dyskusja może być piękna i podniecają, inspirująca a nie dołująca. Użyłam porównania muzycznego.

Dyskusja nie musi być kłótnią i wzajemnym niszczeniem siebie.

Nawet gdy nie znasz osoby, z którą rozmawiasz w necie możesz traktować ja jak człowieka.

Nawet gdyby to był jednak bot, nic nie tracisz.

Poza tym nikt nie twierdzi, że musisz dyskutować tak czy siak.
Ja tylko przedstawiam swoje wyobrażenia i marzenia.

Dobre spostrzeżenia.
Przykład:
Rozszyfrowywanie algebry Kubusia trwało 17 lat.
Wszyscy atakowali mnie Klasycznym Rachunkiem Zdań, gdzie ja od samego początku byłem absolutnie pewien, że KRZ to gówno.
Oczywiście na początku popełniałem błędy, bo z definicji odrzucałem wszystko co było niezgodne z językiem potocznym człowieka.

Najśmieszniejszy mój fałszywy krok to kwestionowania prawa kontrapozycji bo:
A1.
Jesli jutro będzie padało to na 100% => otworzę parasol
P=>OP =1
Prawo kontrapozycji:
(P=>OP) = (~OP=>~P)
stąd na mocy prawa kontrapozycji mamy pozorną głupotę:
A3.
Jeśli jutro nie otworzę parasola to na 100% => nie będzie padało
~OP=>~P =1

Dopiero zapisanie prawa transformacji rozwiązało ten pozorny problem

Prawo transformacji:
Dowolna obietnica po zamianie p i q transformuje się do czasu przeszłego
Stąd mamy:
A3'.
Jeśli wczoraj nie otworzyłem parasola to na 100% => nie padało
~OP=>~P =1
... i wszystko pięknie gra i buczy.

Przez 17 lat dyskusja między mną a resztą świata była niesłychanie zacięta, ale to była dyskusja twórcza, jak choćby przykład wyżej.

Jednym z ciekawszych dyskutantów w wojnie AK vs KRZ był fanatyk KRZ - Irbisol.
Irbisol, jak sam przyznał, nie jest matematykiem dlatego w naszej dyskusji w wielu miejscach obalał KRZ o tym nie wiedząc.

Najbardziej tragiczna pomyłka Irbisola, obalająca totalnie KRZ to zapis tożsamości:
Implikacja p=>q rodem z KRZ = warunek wystarczający p=>q

Pewnie do tej pory Irbisol nie pojmuje, że powyższą tożsamością obalił KRZ, co mówił mu otwarcie zdecydowanie najlepszy ziemski logik z jakim dyskutowałem, Fiklit.

Dowód iż powyższa tożsamość to obalenie KRZ jest na poziomie 5-cio latka.
Irbisol:
Jeśli 2+2=5 to Płock leży nad Wisła
225=>PNW =1

Powyższe zdanie to implikacja prawdziwa w KRZ.
Zgodnie z tożsamością Irbisola wyżej 2+2=5 jest warunkiem wystarczającym => do tego aby Płock leżał nad Wisła

Wniosek:
Tożsamość Irbisola robi z człowieka idiotę.
Tożsamość Irbisoal to gorzej jak szpital psychiatryczny bowiem pacjenci tego szpitala nie bredzą tak, jak bredzi KRZ swoimi gówno zdaniami warunkowymi "Jeśli p to q" (przykład wyżej)
cnd

Podsumowując:
Irbisol był dla mnie bezcenny, bo był znakomitym testerem AK, szukał w niej błędów i czasami znajdował, jak choćby moja walka z prawem kontrapozycji.

Równie często Irbisol przekładał AK na KRZ twierdząc, że nic nowego nie odkryłem bo to co piszę to jest KRZ ... problem w tym, że to był prywatny KRZ Irbisola (czyli algebra Kubusia pod którą sam podlega, nie wiedząc o tym) z matematycznym KRZ mający zero wspólnego.


Ostatnio zmieniony przez rafal3006 dnia Czw 21:42, 25 Sie 2022, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Czw 19:02, 01 Wrz 2022    Temat postu:

Udoskonalanie przekazu algebry Kubusia po raz n-ty!

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473.html#669585
Najnowsza wersja AK napisał:

Algebra Kubusia - matematyka języka potocznego
2022-09-01 Vacatio legis
Przewidywany termin premiery: po wakacjach

Link do najnowszej wersji AK w pdf (2022-09-01):
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/w2rgzig53tup4wq/Algebra%20Kubusia%2010-07-2022.pdf?dl=0

Czytam po raz n-ty algebrę Kubusia od początku i po raz n-ty nanoszę udoskonalenia.
Po zapisaniu kluczowego punktu 2.7 będącego nauką czytania znaczków algebry Kubusia udoskonaleniu uległ kolejny rozdział 4.0

Wystarczy porównać starą wersję punktu 4.0:
http://www.sfinia.fora.pl/forum-kubusia,12/porzucone-wersje-bata-algebry-kubusia,17539-25.html#674409
z najnowszą wersją punktu 4.0:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473.html#669595

Oczywiście tego typu udoskonalenia można tworzyć w nieskończoność, tak jak każdy potężny program komputerowy można udoskonalać w nieskończoność np. WINx.

Myślę, że popularyzacja algebry Kubusia to nieporównywalnie trudniejsze zadanie niż rozwijanie WINx bo algebry Kubusia póki co nie zna żaden ziemski matematyk, bowiem 100% definicji w obszarze "logika matematyczna" mamy sprzecznych. Dokładnie dlatego nie spieszę się z publikowaniem końcowej wersji algebry Kubusia.

Podsumowując:
Koniec końców będę musiał wejść z algebrą Kubusia na ziemskie fora matematyczne, inaczej AK umrze wraz ze mną i zostanie zapomniana

Jak zostanę tam przywitany zależy od tego, jak skutecznie zrealizują moje motto.

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.


Ostatnio zmieniony przez rafal3006 dnia Czw 19:08, 01 Wrz 2022, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Pią 8:33, 02 Wrz 2022    Temat postu:

rafal3006 napisał:
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.
Niemożliwe! Masz zamiar przestać nazywa„ funkcje „znaczkami”, przypisywać znane prawa fikcyjnym zwierzątkom, skakać z tematu na temat, czy odmawiać dyskusji, bo Ci czegoś Kubuś nie objawił?

Nie. Nie zrobisz tego. Dalej będziesz robił to co robisz. Dalej będziesz bełkotał, bo tylko to możesz. Gdyby sensowna „logika Kubusia” istniała, to byś ją przedstawił bez sztuczek, słowotoków i ataków personalnych.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 19:40, 02 Wrz 2022    Temat postu:

zefciu napisał:
rafal3006 napisał:
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.
Niemożliwe! Masz zamiar przestać nazywa„ funkcje „znaczkami”, przypisywać znane prawa fikcyjnym zwierzątkom, skakać z tematu na temat, czy odmawiać dyskusji, bo Ci czegoś Kubuś nie objawił?

Nie. Nie zrobisz tego. Dalej będziesz robił to co robisz. Dalej będziesz bełkotał, bo tylko to możesz. Gdyby sensowna „logika Kubusia” istniała, to byś ją przedstawił bez sztuczek, słowotoków i ataków personalnych.

Zefciu drogi,
Personalnie nigdy nikogo nie zaatakowałem na żadnym forum bo miałem świadomość, że na ateiście.pl czy matematyce.pl tylko czekają na taki atak by w majestacie prawa zbanować mnie na wieki.
Moje bany na ateiście.pl i matematyce.pl nie mają związku z jakimkolwiek moim atakiem personalnym, czego dowód masz w poniższych linkach:
Powód bana na matematyce.pl
[link widoczny dla zalogowanych]
Powód bana na ateista.pl
[link widoczny dla zalogowanych]

Zeficu drogi,
Fundament algebry Kubusia zawarty w punkcie 1.0 to gwóźdź do trumny z napisem Klasyczny Rachunek Zdań, dowód w linku niżej:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473.html#669587

Jaki jest cel algebry Kubusia poza matematycznym opisem języka potocznego?
Celem logiki matematycznej (algebry Kubusia) jest precyzyjne przyporządkowanie dowolnego zdania warunkowego „Jeśli p to q” (także fałszywego = fałszywy kontrprzykład) z dowolnie zaprzeczonymi p i q do jednego z pięciu rozłącznych operatorów implikacyjnych.
Szczegóły w punkcie 6.15.

Prawo Lwa:
Warunkiem koniecznym zrozumienia algebry Kubusia jest zrozumienie istoty działania operatorów jednoargumentowych (4 sztuki) opisanych w punkcie 1.0. W szczególności należy zwrócić uwagę na prawa Prosiaczka, prawo Puchacza oraz dowód wewnętrznej sprzeczności ziemskiego rachunku zero-jedynkowego na poziomie funkcji logicznych.

Prawo Puchacza:
Dowolna funkcja logiczna jednoargumentowa może należeć do jednego i tylko jednego operatora logicznego jednoargumentowego

Odezwa do Zeficia:
Czy możesz przeczytać króciutki punkt 1.0 i znaleźć w nim najmniejszy błąd czysto matematyczny?
Zamiast arbitralnie krzyczeć:
zefciu napisał:
Niemożliwe!

http://www.sfinia.fora.pl/forum-kubusia,12/paradoks-warunku-wystarczajacego,3164-25.html#241180
rafal3006 napisał:

Błędy nauki
Autor: Luc Bürgin

Ludzie mają widocznie skłonność do przedwczesnego i negatywnego oceniania perspektyw rozwojowych pewnych dziedzin nauki. Niektóre rewolucyjne odkrycia lub idee przez lata bojkotowano i zwalczano tylko dlatego, że dogmatycznie nastawieni luminarze nauki nie umieli odrzucić swych ulubionych, choć przestarzałych i skostniałych idei i przekonań. Jednym słowem: „Niemożliwe!" hamowali postęp nauki, a przykładami można dosłownie sypać jak z rękawa:

• Gdy w XVIII wieku Antoine-Laurem de Lavoisier zaprzeczył istnieniu „flogistonu" – nieważkiej substancji, która wydziela się w trakcie procesu spalania i w którą wierzyli wszyscy ówcześni chemicy – i po raz pierwszy sformułował teorię utleniania, świat nauki zatrząsł się z oburzenia. „Observations sur la Physique", czołowy francuski magazyn naukowy, wytoczył przeciwko Lavoisierowi najcięższe działa, a poglądy uczonego upowszechniły się dopiero po zażartych walkach.

P.S.
Widać po twoich postach Zefciu, po twojej arbitralnej wrogości do algebry Kubusia ... że masz zerowe doświadczenie w projektowaniu czegokolwiek w bramkach logicznych, tymczasem algebra Kubusia to po prostu teoria bramek logicznych po raz pierwszy w historii ludzkości poprawnie matematycznie zapisana tu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473-25.html#670881
Spróbuj cokolwiek obalić z algebry Kubusia w bramkach logicznych w powyższym linku przedstawionej.
... a widzisz, nie potrafisz.
cnd


Ostatnio zmieniony przez rafal3006 dnia Pią 20:31, 02 Wrz 2022, w całości zmieniany 17 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 5:57, 10 Wrz 2022    Temat postu:

Tragedia ziemskiej "logiki matematycznej" zaczyna się na poziomie elementarnym!

Cytat z matematyki.pl:
[link widoczny dla zalogowanych]
rafal3006 napisał:

MateuszWojnarowski napisał:

Tak, nie jest to spójnik logiczny. Można go spotkać w różnych tekstach. Jak go wtedy rozumieć? Dla przykładu:
Bogdan Buczkows napisał:

"Koszty te są nieproporcjonalnie wysokie dla MŚP, które nie mają z reguły wyspecjalizowanej w odzyskiwaniu długów kadry i musi to robić właściciel i/lub wynajęta firma".
Bogdan Buczkows: Rozwiązywanie problemu opóźniania płatności w transakcjach handlowych w Unii Europejskiej, 2000

To długi odzyskuje właściciel lub firma, czy właściciel i firma, czy może właściciel albo firma?

To jest skutek braku elementarnej wiedzy czysto matematycznej na temat spójnika "lub"(+) - to wina szkółki która tego nie uczy.
W cytowanym zdaniu wystarczy "lub"(+), natomiast "i"(*) jest tu zbędne.

Wynika to z definicji spójnika "lub"(+) w zdarzeniach rozłącznych:
p+q = p*q + p* ~q + ~p*q

Przykład:
Zdanie:
Jutro pójdziemy do kina lub do teatru
znaczy dokładnie to samo co zdanie:
Jutro pójdziemy do kina i do teatru lub pójdziemy do kina i nie pójdziemy do teatru lub nie pójdziemy do kina i pójdziemy do teatru
K+T = K*T + K* ~T + ~K * T
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 0:23, 11 Wrz 2022    Temat postu:

Cytat z matematyki.pl:
[link widoczny dla zalogowanych]
rafal3006 napisał:

Dowód tego co wyżej napisałem:
p+q=p*q+p* ~q+ ~p*q

Minimalizujemy prawą stronę:
Y = p*(q+ ~q)+ ~p *q - wyciągnięcie zmiennej p przed nawias
Y = p+ (~p *q)
Na mocy:
q+ ~q=1 - prawo algebry Boole'a
p*1=p - prawo algebry Boole'a

Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = ~p*(p+ ~q)
Wymnożenie wielomianu logicznego:
~Y = ~p*p + ~p* ~q
~Y = ~p* ~q
Na mocy:
~p*p=0 - prawo algebry Boole'a
0+x = x - prawo algebry Boole'a

Powrót do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianą spójników:
Y = p+q
c.n.d.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 67, 68, 69 ... 265, 266, 267  Następny
Strona 68 z 267

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin