 |
Ś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: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Wto 1:03, 14 Lut 2023 Temat postu: |
|
|
Dowód iż gówno-definicja implikacji Irbisola to błąd czysto matematyczny na gruncie poprawnego KRZ!
| Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: |
Dowód już dostałem i zadałem ci pytanie odnośnie tego dowodu. |
Dostałeś ten dowód na gruncie algebry Kubusia.
Teraz rozmawiamy o tym samym dowodzie na gruncie Klasycznego Rachunku Zdań. |
Właśnie nie. Jeszcze nie skończyliśmy tamtego tematu.
I owszem - jestem uparty. Tak jak i ty. Tylko że ja uparcie chcę skończyć jeden temat, a ty uparcie od niego uciekasz. |
.. na pożegnanie:
Definicja Klasycznego Rachunku Zdań:
Klasyczny Rachunek Zdań to zbiór wszystkich możliwych praw logiki matematycznej wynikających z rachunku zero-jedynkowego, operującego na 16 znanych matematykom definicjach spójników logicznych.
Definicja algebry Kubusia jest identyczna:
Algebra Kubusia to zbiór wszystkich możliwych praw logiki matematycznej wynikających z rachunku zero-jedynkowego, operującego na 16 znanych matematykom definicjach spójników logicznych.
Stąd, dla powyższych definicji mamy tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Pytanie:
Dlaczego Ziemscy matematycy, mając 2500 lat czasu (od Sokratesa) nie rozszyfrowali Algebry Kubusia, której ekspertami są wszystkie 5-cio latki?
Odpowiedź:
[link widoczny dla zalogowanych]
| Wkipedia napisał: |
Paradygmat – w rozumieniu wprowadzonym przez filozofa Thomasa Kuhna w książce Struktura rewolucji naukowych (The Structure of Scientific Revolutions) opublikowanej w 1962 roku – to zbiór pojęć i teorii tworzących podstawy danej nauki. Teorii i pojęć tworzących paradygmat raczej się nie kwestionuje, przynajmniej tak długo, jak długo paradygmat pozostaje twórczy poznawczo – tzn. za jego pomocą można tworzyć teorie szczegółowe zgodne z danymi doświadczalnymi (historycznymi), którymi zajmuje się dana nauka.
Paradygmat w nauce:
W 13 rozdziałach Kuhn dowodzi, że nauka nie jest jednostajnym, kumulatywnym pozyskiwaniem wiedzy. Zamiast tego nauka jest serią spokojnych okresów przerywanych przez gwałtowne intelektualne rewolucje, po których jeden koncepcyjny światopogląd jest zamieniany przez inny. Kuhn spopularyzował w tym kontekście termin paradygmat, opisywany przez niego jako w istocie zbiór poglądów podzielanych przez naukowców, zestaw porozumień o pojmowaniu zagadnień. Pomimo tego krytycy zarzucali mu brak precyzji w stosowaniu tego terminu.
Zgodnie z poglądami Kuhna paradygmat jest istotny dla badań naukowych, gdyż „żadna nauka przyrodnicza nie może być wyjaśniana bez zastosowania splecionych teoretycznych i metodologicznych poglądów pozwalających na wybór, ocenę i krytykę”. Paradygmat kieruje wysiłkiem badawczym społeczności naukowych i jest tym kryterium, które najbardziej ściśle identyfikuje obszary nauk. Fundamentalnym argumentem Kuhna jest to, że dla dojrzałej nauki typową drogą rozwojową jest kolejne przechodzenie w procesie rewolucji od jednego do innego paradygmatu. Gdy ma miejsce zmiana paradygmatu, „świat naukowy zmienia się jakościowo i jest jakościowo wzbogacany przez fundamentalnie nowe zarówno fakty, jak i teorie”.
Kuhn utrzymywał także, że – wbrew obiegowym opiniom – typowi naukowcy nie są obiektywnymi i niezależnymi myślicielami, a są konserwatystami, którzy godzą się z tym, czego ich nauczono i stosują tę naukę (wiedzę) do rozwiązywania problemów zgodnie z dyktatem wyuczonej przez nich teorii. Większość z nich w istocie jedynie składa układanki, celując w odkrywaniu tego, co i tak już jest im znane – „Człowiek, który usiłuje rozwiązać problem zdefiniowany przez istniejącą wiedzę i technikę nie ma szerszych horyzontów. Wie on co chce osiągnąć, i w zgodzie z tym projektuje swoje narzędzia i kieruje swoimi myślami”.
Paradygmat a rewolucja naukowa:
W czasach nauki instytucjonalnej (określenie również wprowadzone przez Kuhna) podstawowym zadaniem naukowców jest doprowadzenie uznanej teorii i faktów do najściślejszej zgodności. W konsekwencji naukowcy mają tendencję do ignorowania odkryć badawczych, które mogą zagrażać istniejącemu paradygmatowi i spowodować rozwój nowego, konkurencyjnego paradygmatu.
Na przykład Ptolemeusz spopularyzował pogląd, że Słońce obiega Ziemię, i to przekonanie było bronione przez stulecia nawet w obliczu obalających je dowodów. Jak zaobserwował Kuhn, w trakcie rozwoju nauki „nowości wprowadzane są z trudem i z towarzyszącym mu, zgodnym z oczekiwaniami, jawnym oporem”. I tylko młodzi uczeni, nie tak głęboko indoktrynowani przez uznane teorie – jak Newton, Lavoisier lub Einstein – mogą dokonać odrzucenia starego paradygmatu.
Takie rewolucje naukowe następują tylko po długich okresach nauki instytucjonalnej, tradycyjnie ograniczonej ramami, w których musiała się ona (nauka) znajdować i zajmować się badaniami, zanim mogła te ramy zniszczyć”. Zresztą kryzys zawsze niejawnie tai się w badaniach, ponieważ każdy problem, który nauka instytucjonalna postrzega jako łamigłówkę, może być ujrzany z innej perspektywy, jako sprzeczność (wyłom), a zatem źródło kryzysu – jest to „istotne obciążenie” badań naukowych.
Kryzysy w nauce
Kryzysy są wyzwalane, gdy uczeni uznają odkryte sprzeczności za anomalię w dopasowaniu istniejącej teorii z naturą. Wszystkie kryzysy są rozwiązywane na trzy sposoby:
1.
Nauka instytucjonalna może udowodnić zdolność do objęcia kryzysowego problemu, i w tym przypadku wszystko wraca do „normalności”.
2.
Alternatywnie, problem pozostaje, jest zaetykietowany, natomiast postrzega się go jako wynik niemożności użycia niezbędnych przyrządów do rozwiązania go, więc uczeni pozostawiają go przyszłym pokoleniom z ich bardziej rozwiniętymi (zaawansowanymi) przyborami.
3.
W niewielu przypadkach pojawia się nowy kandydat na paradygmat, i wynika bitwa o jego uznanie będąca w istocie wojną paradygmatów.
Kuhn argumentuje, że rewolucje naukowe są nieskumulowanym epizodem rozwojowym, podczas którego starszy paradygmat jest zamieniany w całości lub po części przez niezgodny z nim paradygmat nowszy. Ale nowy paradygmat nie może być zbudowany na poprzedzającym go, a raczej może go tylko zamienić, gdyż „instytucjonalna tradycja naukowa wyłaniająca się z rewolucji naukowej jest nie tylko niezgodna, ale też nieuzgadnialna z tą, która pojawiła się przed nią”.
Rewolucja kończy się całkowitym zwycięstwem jednego z dwóch przeciwnych obozów.
|
Algebra Kubusia to zdecydowanie punkt 3.
Wojna o nowy paradygmat w logice matematycznej toczy się już od 17 lat i pewne jest, że zakończy się pogromem starej logiki matematycznej zbudowanej na gównie wszech czasów zwanym "implikacja materialna"
Dlaczego będzie to pogrom starego KRZ?
Bo 100% definicji w algebrze Kubusia jest innych niż w aktualnym, Klasycznym Rachunku Zdań
Jeśli ziemscy matematycy zaakceptują algebrę Kubusia to zapewne wielu z nich uzna jej rozszyfrowanie za największe wydarzenie nie tylko w dziejach matematyki, ale także w dziejach ludzkości.
| Kod: |
T0
Nieznany matematykom fundament KRZ dla 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
|
Z faktu że matematycy póki co nie znają dokładnej tabeli T0 (znają pewien jej fragment) nie wynika, że ona nie obowiązuje w KRZ!
http://www.sfinia.fora.pl/forum-kubusia,12/asymetria-idem-per-idem-w-definicji-implikacji,22535.html#703583
| Irbisol napisał: | | rafal3006 napisał: |
Fałszywa jest twoja tożsamość:
Implikacja p=>q = warunek wystarczający p=>q
Bo w definicji implikacji wyskoczy ci błąd "idem per idem"
Dowód:
Przy twojej gówno-tożsamości będziesz miał …
Irbisolowa gówno-definicja implikacji:
Implikacja to implikacja zachodząca wyłącznie w jedną stronę
|
Pytanie zasadnicze - dlaczego powyższy "dowód" (bo jest on błędny z innych względów, ale na razie skupiam się na jednym aspekcie) "udowadnia", iż to KRZ-owska implikacja jest błędna, a nie AK-owska, skoro można AK-owskiej przedstawić dokładnie ten sam zarzut:
Kubusiowa gówno-definicja implikacji:
Implikacja to implikacja mogąca zachodzić również w drugą stronę
|
Wiem, że to będzie rzucanie grochem o ścianę, ale wyjaśnię ci tą twoją ostatnią brednię w twoim cytacie.
Irbisolowa gówno-definicja implikacji:
Implikacja => (nie ważne jaka) = warunek wystarczający =>
Natomiast w algebrze Kubusia jest tak:
Implikacja (prosta p|=>q, albo odwrotna p|~>q) ## warunek wystarczający =>
Gdzie:
## - różne na mocy definicji
Dowód:
Definicja implikacji prostej p|=>q:
Implikacja prosta p|=>q to spełniony wyłącznie warunek wystarczający => między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - wtedy i tylko wtedy gdy zajście p nie jest (=0) konieczne ~> dla zajścia q
Stąd:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Definicja w rachunku zero-jedynkowym:
Y = (p|=>q) = ~p*q
Prawo Tygryska:
B1: p~>q = B3: q=>p
Stąd na gruncie poprawnego KRZ masz:
Implikacja prosta p|=>q to warunek wystarczający A1: p=>q zachodzący wyłącznie w jedną stronę
A1B3: p|=>q = (A1: p=>q)*~(B3: q=>p) = 1*~(0)=1*1=1
Gdzie:
A1: p=>q =~p+q ## B3: q=>p=~q+p - różne na mocy definicji ##
##
Definicja implikacji odwrotnej p|~>q:
Implikacja odwrotna p|~>q to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =0 - wtedy i tylko wtedy gdy zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) =~(0)*1=1*1=1
Definicja w rachunku zero-jedynkowym:
Y = (p|~>q)=p*~q
Prawo Tygryska:
B1: p~>q = B3: q=>p
Stąd na gruncie poprawnego KRZ masz:
Implikacja odwrotna p|~>q to warunek wystarczający B3: q=>p zachodzący wyłącznie w jedną stronę:
A1B3: p|~>q = ~(A1: p=>q)*(B3: q=>p)=~(0)*1=1*1=1
Gdzie:
A1: p=>q =~p+q ## B3: q=>p=~q+p - różne na mocy definicji ##
##
Definicja warunku wystarczającego p=>q w rachunku zero-jedynkowym:
Y = (A1: p=>q) = ~p+q
[=]
Y = (A1: p=>q) = (A3: q~>p) = q+~p
##
Definicja warunku koniecznego p~>q w rachunku zero-jedynkowym:
Y = (B1: p~>q) = p+~q
[=]
Y = (B1: p~>q) = (B3: q=>p) = ~q+p
Gdzie:
[=] - tożsamość logiczna
## - różne na mocy definicji
cnd
P.S.
… tylko po co ja to piszę?
Wszyscy za chwilkę zobaczą, iż Irbisol napisze:
| Irbisol napisał: |
Nie zamówionych wykładów nie czytam
Odnieś się do tego co napisałem
|
Ostatnio zmieniony przez rafal3006 dnia Wto 11:55, 14 Lut 2023, w całości zmieniany 12 razy
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 22:17, 15 Lut 2023 Temat postu: |
|
|
Z dedykacją dla Irbisola!
W podziękowaniu za 16 letnie "obalanie" algebry Kubusia.
Każdy programista wie, jak bezcenny jest tester nowego, dużego programu komputerowego np. WIN11 - tu Irbisol spisał się celująco tzn. zmuszał moje szare komórki, bezskutecznie usiłujące wytłumaczyć mu AK, do pracy na najwyższych obrotach.
Najcenniejszą cechą Irbisola był fakt, że nie jest matematykiem.
Podlegając z definicji pod algebrę Kubusia (jak każdy 5-cio latek) myślał naturalną logika matematyczną każdego człowieka, algebrą Kubusia ... będąc "pewnym" że taki jest właśnie KRZ.
Z zawodowym matematykiem podobna dyskusja byłaby wykluczona, bo zawodowiec zna KRZ i przykładowy dogmat Irbisola niżej dla każdego zawodowca jest prostym FAŁSZEM z definicji
Irbisolowa gówno-definicja implikacji w KRZ:
Implikacja (nie ważne jaka) = Warunek wystarczający =>
Przed chwilką wychodząc od definicji ogólnej Klasycznego Rachunku Zdań wyprowadziłem algebrę Kubusia ... oczywiście aktualny KRZ wraz ze swoim fundamentem "implikacja materialną" został posłany do piekła na wieczne piekielne męki.
http://www.sfinia.fora.pl/forum-kubusia,12/porzucone-wersje-bata-algebry-kubusia,17539-50.html#707735
| rafal3006 napisał: | 12.0 Od Klasycznego Rachunku Zdań do algebry Kubusia
Spis treści
12.0 Od Klasycznego Rachunku Zdań do algebry Kubusia 1
12.1 Geneza tragedii ziemskiej logiki matematycznej 3
12.2 Algorytm przejścia od Klasycznego Rachunku Zdań do algebry Kubusia 5
12.2.1 Algorytm dojścia do algebry Kubusia 6
12.3 Wstęp do największej rewolucji w historii matematyki 8
12.3.1 Definicja zdarzenia możliwego ~~> 8
12.3.2 Definicja warunku wystarczającego => w zdarzeniach 9
12.3.3 Definicja warunku koniecznego ~> w zdarzeniach 9
12.3.4 Definicja kontrprzykładu w zdarzeniach 9
12.4 Największa rewolucja w historii matematyki 10
12.4.1 Rachunek zero-jedynkowy warunków wystarczających => i koniecznych ~> 10
12.5 Matematyczne związki warunku wystarczającego => i koniecznego ~> 13
12.5.1 Definicje znaczków # i ## 14
12.5.2 Prawo Grzechotnika - Armagedon rachunku zero-jedynkowego ziemian! 15
12.6 Podstawowe spójniki implikacyjne 15
12.6.1 Prawo Puchacza 17
|
Ostatnio zmieniony przez rafal3006 dnia Pią 12:07, 24 Lut 2023, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Pią 5:14, 17 Lut 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Z dedykacją dla Irbisola! |
A gdzież to wymiękł ten sochaczewski burak? Już czwarty dzień go nie ma po tym jak dostał tu karczemny łomot. Nieźle go sponiewierałeś
Ostatnio zmieniony przez fedor dnia Pią 7:24, 10 Mar 2023, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Pon 7:05, 20 Lut 2023 Temat postu: |
|
|
| fedor napisał: | | rafal3006 napisał: | | Z dedykacją dla Irbisola! |
A gdzież to wymiękł ten sochaczewski burak? Już czwarty dzień go nie ma po tym jak dostał tu karczemny łomot. Nieźle go sponiewierałeś |
Rafał, troll właśnie znalazł sobie wykręt do tego żeby ogłosić czemu tu wymiękł zaledwie po miesiącu czołgania przez ciebie:
"U Rafała czekam na odpowiedź na temat"
http://www.sfinia.fora.pl/gwiezdne-wojny,61/swiatopoglad-fedora-jana-lewandowskiego,12107-2050.html#706847
Mówisz, że 16 lat czołgałeś trolla? To ja mu teraz zrobię kolejne 16 lat czołgania. Razem to już 32 lata. Nawet w pierdlu tyle się nie siedzi co on tu będzie musiał przesiedzieć bez żadnego sensu i celu. Bo przecież jego parszywe ateistyczne życie robaka żadnego sensu i celu nie ma i w tym czasie zamiast robić sobie dobrze to będzie musiał tracić tu czas na bezsensowne aportowanie po kijki jakie mu rzucamy. Jakie to słodkie
Ostatnio zmieniony przez fedor dnia Pią 7:24, 10 Mar 2023, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 22:17, 01 Mar 2023 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/dyskusja-na-temat-algebry-kubusia,21825-275.html#708601
Finałowa wersja algebry Kubusia!
Po 17 latach zaciętych dyskusji, napisaniu około 30 000 postów wyłącznie w temacie "Logika matematyczna", diabeł (KRZ) pilnujący by ludzkość nigdy nie zrozumiała logiki matematycznej pod którą podlega poddał się wywieszając białą flagę.
Link do "Kompendium algebry Kubusia" na śfinii:
http://www.sfinia.fora.pl/forum-kubusia,12/kompendium-algebry-kubusia,21937.html#680041
Dostępna jest algebra Kubusia w finałowym liftingu w wersji pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/vr2fus8e97iqq1v/Kompendium%20AK%20w%20pdf.pdf?dl=0
Ostatni lifting: 2023-03-08
Co nowego?
Poprawiono część teoretyczną zawartą w punktach 2.0 i 13.0
Zmodyfikowano algebrę Kubusia w zbiorach zawartą w rozdziale 14.0
"Kompendium algebry Kubusia" jest kompletne i wystarczające - nic więcej nie trzeba czytać. Pełna algebra Kubusia zawiera całą masę mało istotnych szczególików, które powstawały na bieżąco na bazie aktualnej dyskusji.
Coś takiego już w historii przerabiałem.
Po skończeniu elektroniki na Politechnice Warszawskiej zdałem sobie sprawę iż w rzeczywistości wykorzystuję w praktyce sterowań w technice mikroprocesorowej z 5% wiedzy którą wpajano mi na studiach.
W roku 1984 królowały zabawki w postaci ZX Spektrum, Atari, Commodore 64.
Zabawki dlatego, że niczego nie uczyły - zapewniały tylko rozrywkę w postaci gier komputerowych.
Zdając sobie z tego faktu sprawę, postanowiłem napisać najlepsze na świecie podręczniki do nauki elektroniki i praktycznego programowanie sterowników mikroprocesorowych. Zajęło mi to około 2 lat, ale zamierzony cel osiągnąłem.
Mój CA80 jest dziś legendą wśród starszej daty elektroników, doczekał się nawet debiutu w Krzemowej Dolinie.
Link do konferencji (pozycja 46):
[link widoczny dla zalogowanych]
Prezentacja komputerka CA80 w Computer History Museum, Mountain View, 6-7 Sierpień 2022
https://youtu.be/RKOvcejgb_0
| Kris 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.
Kris |
Proszę zauważyć, że Kris złożył mojego CA80 w wieku 14 lat!
Istotą CA80 nie był sam sterownik umożliwiający pisanie i uruchamianie własnych programów sterujących, ale przede wszystkim jego 10 tomowa dokumentacja ucząca elektroniki i pisania programów w asemblerze mikroprocesora Z80 od zera absolutnego, czyli od takich pojęć jak prąd, napięcie, prawo Ohma.
Skany wszystkich podręczników napisanych przeze mnie prawie 40 lat temu są dostępne w Internecie dzięki Andrzejowi Liskowi:
[link widoczny dla zalogowanych]
*https://www.elektroda.pl/rtvforum/topic2697585-30.html#14414635
W MIK11 od strony 172 zamieszczono 117 autentycznych recenzji CA80:
[link widoczny dla zalogowanych]
*https://drive.google.com/file/d/0B4zjoHzC482_bjRMLURzYlZfZjQ/view?usp=sharing
P.S.
Znalazłem w sieci fajne video z wystawy zabytkowych komputerów w Krzemowej Dolinie, jak mały Japończyk wklepuje ręcznie kod programu do komputerka CA80 (mojego autorstwa) po czym go uruchamia - efekt to migająca dioda LED.
https://www.youtube.com/watch?v=zh_pjpe64sw
Ostatnio zmieniony przez rafal3006 dnia Pon 21:19, 06 Mar 2023, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 7:27, 08 Mar 2023 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/dyskusja-na-temat-algebry-kubusia,21825-275.html#709583
Jak sprzedać algebrę Kubusia ziemskim matematykom?
2023-03-08
Moja propozycja:
1.
Przetłumaczyć na język angielski kluczowe fragmenty "Kompendium algebry Kubusia" opartej na punktach:
1.0 Nowa algebra Boole'a
2.0 Algebra Kubusia w zdarzeniach
13.0 Algebra Kubusia w zbiorach
Całość kluczowych fragmentów z przykładami nie powinna przekraczać 200-300 stron.
2.
Wydać to w przyzwoitej, internetowej wersji pdf podobnej np. do tej publikacji.
[link widoczny dla zalogowanych]
Uwagi:
100% definicji w algebrze Kubusia jest innych, niż w jakiejkolwiek logice matematycznej ziemskich matematyków.
ALE!
Algebra Kubusia to logika 5-cio latków, zatem wszystkie definicje w niej zawarte są łatwo przetłumaczalne na dowolny język obcy. Przykładowo kluczowe definicje AK: warunek wystarczający =>, warunek konieczny ~>, zdarzenie możliwe ~~>, element wspólny zbiorów ~~> (w teorii zbiorów), to definicje wyssane z mlekiem matki przez każdego malucha.
3.
Zaatakować powyższą publikacją jak najwięcej światowych forów matematycznych i filozoficznych przykładowym pismem przewodnim jak niżej.
4.
Problem ze sprzedażą AK matematykom polega na tym, że w pierwszym zdaniu wstępu jest informacja iż 100% definicji w algebrze Kubusia jest innych, niż w jakiejkolwiek logice matematycznej ziemskich matematyków. Myślę, że w tym momencie 99% ziemskich matematyków zamknie AK nie czytając dalszej części - mnie chodzi o ten 1% matematyków, zdolnych do przeczytania i zrozumienia algebry Kubusia, to wystarczy!
P.S.
Nie znam języka angielskiego dlatego szukam kogoś kto mi przetłumaczy AK - może być za odpłatnością (proszę o wiadomość na PW).
Profesjonale wydanie jestem w stanie zlecić zawodowej firmie w tym zakresie.
Algebra Kubusia - matematyka języka potocznego
2023-??-?? Premiera
"Kompendium algebry Kubusia" w pdf
[link widoczny dla zalogowanych]
Ostatni lifting: 2023-03-08
Co nowego?
Poprawiono część teoretyczną zawartą w punktach 2.0 i 13.0
Zmodyfikowano algebrę Kubusia w zbiorach zawartą w rozdziale 14.0
Dzień dobry,
Nazywam się Stanisław Gardynik (nick: Rafał3006)
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.
Rozszyfrowanie algebry Kubusia to 17 lat dyskusji na forum filozoficznym w Polsce, to około 30 000 postów napisanych wyłącznie w temacie "Logika matematyczna"
Czym jest algebra Kubusia?
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 ~>.
Co zawiera "Kompendium algebry Kubusia"?
Punkty 1.0 do 12.0 dotyczą wyłącznie 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 13.0 do 14.0 jest analogiczna do teorii zdarzeń, ale znacznie trudniejsza bowiem twierdzenia matematyczne operują wyłącznie na zbiorach nieskończonych. W praktyce komunikacyjnej ludzkości nikt nie sypie twierdzeniami matematycznymi typu twierdzenie Pitagorasa, co nie znaczy, że algebra Kubusia tu nie obowiązuje.
Zrozumienie teorii zdarzeń w algebrze Kubusia gwarantuje zrozumienie ciut trudniejszej teorii zbiorów nieskończonych w tej algebrze np. równoważności Pitagorasa.
Istota równoważności Pitagorasa nieznana ziemskim matematykom:
Równoważność Pitagorasa TP<=>SK definiuje tożsamość zbiorów nieskończonych TP=SK
Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach:
=> - warunek wystarczający
~> - warunek konieczny
~~> zdarzenie możliwe ~~> albo element wspólny zbiorów ~~>
Moja misja na Ziemi:
Przekonywać do algebry Kubusia ziemskich matematyków, dopóki żył będę.
Reszty ludzkości nie muszę przekonywać.
Dlaczego?
Wszyscy, od 5-cio latka poczynając, jesteśmy naturalnymi ekspertami algebry Kubusia w praktyce, bowiem pod nią podlegamy, nie mając żadnych szans, by się od niej uwolnić.
Oczywiście ziemscy matematycy też są naturalnymi ekspertami algebry Kubusia w praktyce, tylko póki co, o tym nie wiedzą.
Kim jestem?
Jestem absolwentem elektroniki na Politechnice Warszawskiej, Instytut Automatyki, rok 1980.
Po skończeniu elektroniki zdałem sobie sprawę iż w praktyce sterowań w technice mikroprocesorowej (moja specjalizacja) wykorzystuję około 5% wiedzy którą wpajano mi na studiach.
W roku 1984 królowały zabawki w postaci ZX Spektrum, Atari, Commodore 64.
Zabawki dlatego, że niczego nie uczyły - zapewniały tylko rozrywkę w postaci gier komputerowych.
Wpadłem wówczas na pomysł napisania serii podręczników do nauki elektroniki dla hobbystów przy założeniu, że odbiorca nie zna prawa Ohma, czyli z założenia były to podręczniki dla I klasy LO, gdzie po łagodnej równi pochyłej czytelnik był prowadzony od takich pojęć jak napięcie, prąd, prawo Ohma … poprzez elektronikę klasyczną, bramki, układy scalone średniej skali integracji, układy mikroprocesorowe, do praktycznego programowania różnych sterowań w języku asemblera mikroprocesora Z80 przy pomocy opracowanego przeze mnie sterownika o nazwie CA80.
Zajęło mi to dwa lata, ale zamierzony cel osiągnąłem.
Mój CA80 jest dziś legendą wśród starszej daty elektroników, doczekał się nawet debiutu w Krzemowej Dolinie.
Link do konferencji (pozycja 46):
[link widoczny dla zalogowanych]
Prezentacja komputerka CA80 w Computer History Museum, Mountain View, 6-7 Sierpień 2022
https://youtu.be/RKOvcejgb_0
https://www.youtube.com/watch?v=zh_pjpe64sw
| Kris 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.
Kris |
Proszę zauważyć, że Kris złożył mojego CA80 w wieku 14 lat!
Istotą CA80 nie był sam sterownik umożliwiający pisanie i uruchamianie własnych programów sterujących, ale przede wszystkim jego 10 tomowa dokumentacja ucząca elektroniki i pisania programów w asemblerze mikroprocesora Z80 od zera absolutnego, czyli od takich pojęć jak napięcie, prąd, prawo Ohma.
Ostatnio zmieniony przez rafal3006 dnia Śro 10:58, 08 Mar 2023, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Pią 7:25, 10 Mar 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Z dedykacją dla Irbisola! |
Gdzie wymiękł ten troll?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 11:12, 11 Mar 2023 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/asymetria-idem-per-idem-w-definicji-implikacji,22535.html#710121
| Irbisol napisał: |
To nie jest odpowiedź na moje pytanie. |
Widzę Irbisolu, że znów zaczynasz swój taniec "w koło Macieju"
Zatem jeszcze raz:
http://www.sfinia.fora.pl/forum-kubusia,12/asymetria-idem-per-idem-w-definicji-implikacji,22535.html#703583
| Irbisol napisał: | | rafal3006 napisał: |
Fałszywa jest twoja tożsamość:
Implikacja p=>q = warunek wystarczający p=>q
Bo w definicji implikacji wyskoczy ci błąd "idem per idem"
Dowód:
Przy twojej gówno-tożsamości będziesz miał …
Irbisolowa gówno-definicja implikacji:
Implikacja to implikacja zachodząca wyłącznie w jedną stronę
|
Pytanie zasadnicze - dlaczego powyższy "dowód" (bo jest on błędny z innych względów, ale na razie skupiam się na jednym aspekcie) "udowadnia", iż to KRZ-owska implikacja jest błędna, a nie AK-owska, skoro można AK-owskiej przedstawić dokładnie ten sam zarzut:
Kubusiowa gówno-definicja implikacji:
Implikacja to implikacja mogąca zachodzić również w drugą stronę |
Ustalmy po kolei.
Po pierwsze i najważniejsze:
Czy podtrzymujesz swoje twierdzenie jakoby w KRZ zachodziła tożsamość:
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
TAK/NIE
Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności.
Dziękuję, za twój wkład włożony w rozszyfrowanie algebry Kubusia, ale dalsza dyskusja z twoim oślim uporem "w koło Macieju" mnie już nie interesuje.
P.S.
Prosty wykład w temacie "Czym jest wynikanie logiczne" masz w wykładzie wykładowcy logiki matematycznej K.A. Wieczorka tu:
https://www.youtube.com/watch?v=b3Hz72rgUpo&t=292s
Na mocy tego wykładu, twoja tożsamość niżej jest FAŁSZEM na gruncie KRZ!
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
Czy rozumiesz przynajmniej to?
Ostatnio zmieniony przez rafal3006 dnia Sob 11:36, 11 Mar 2023, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów
|
| Wysłany: Nie 12:21, 12 Mar 2023 Temat postu: |
|
|
| rafal3006 napisał: | Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności. |
To nie jest odpowiedź na moje pytanie. Bo nie jest.
To ty się pętlisz, pytając w nieskończoność o inne rzeczy.
Jeżeli odpowiesz na moje pytanie, to żadnego "w koło Macieju" nie będzie. Spróbuj kiedyś, raz w życiu, odpowiedzieć na temat i wtedy sam się przekonasz, jak będzie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Nie 12:53, 12 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności. |
To nie jest odpowiedź na moje pytanie. Bo nie jest.
To ty się pętlisz, pytając w nieskończoność o inne rzeczy.
Jeżeli odpowiesz na moje pytanie, to żadnego "w koło Macieju" nie będzie. Spróbuj kiedyś, raz w życiu, odpowiedzieć na temat i wtedy sam się przekonasz, jak będzie. |
Znowu oszukujesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 13:02, 12 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności. |
To nie jest odpowiedź na moje pytanie. Bo nie jest.
To ty się pętlisz, pytając w nieskończoność o inne rzeczy.
Jeżeli odpowiesz na moje pytanie, to żadnego "w koło Macieju" nie będzie. Spróbuj kiedyś, raz w życiu, odpowiedzieć na temat i wtedy sam się przekonasz, jak będzie. |
Irbisolu, to ty spróbuj choć raz w życiu odpowiedzieć na pytanie które roznosi w puch twoją FAŁSZYWĄ wizję KRZ.
Dowód:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2375.html#710141
| rafal3006 napisał: | Ustalmy po kolei.
Po pierwsze i najważniejsze:
Czy podtrzymujesz swoje twierdzenie jakoby w KRZ zachodziła tożsamość:
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
TAK/NIE
P.S.
Prosty wykład w temacie "Czym jest wynikanie logiczne" masz w wykładzie wykładowcy logiki matematycznej K.A. Wieczorka tu:
https://www.youtube.com/watch?v=b3Hz72rgUpo&t=292s
Na mocy tego wykładu, twoja tożsamość niżej jest FAŁSZEM na gruncie KRZ!
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
Czy rozumiesz przynajmniej to? |
Prawda jest taka Irbisolu, ze ty nie masz pojęcia czym jest KRZ co udowodniłem w cytacie wyżej.
Ty od zawsze mieszasz algebrę Kubusia (bo pod nią podlegasz) z twoim prywatnym KRZ, gdzie tylko tobie wydaje się, że mówisz o KRZ.
Podsumowując:
Najpierw obroń tą swoją FAŁSZYWĄ wizję KRZ, czego dowód jest w cytacie i dopiero po tym fakcie możemy podyskutować - oczywiście nie o KRZ o którym nie masz najmniejszego pojęcia, a o algebrze Kubusia której jesteś naturalnym ekspertem, jak każdy 5-cio latek!
Ostatnio zmieniony przez rafal3006 dnia Nie 13:04, 12 Mar 2023, 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Nie 17:23, 12 Mar 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności. |
To nie jest odpowiedź na moje pytanie. Bo nie jest.
To ty się pętlisz, pytając w nieskończoność o inne rzeczy.
Jeżeli odpowiesz na moje pytanie, to żadnego "w koło Macieju" nie będzie. Spróbuj kiedyś, raz w życiu, odpowiedzieć na temat i wtedy sam się przekonasz, jak będzie. |
Irbisolu, to ty spróbuj choć raz w życiu odpowiedzieć na pytanie które roznosi w puch twoją FAŁSZYWĄ wizję KRZ. |
Już na twoje pytania odpowiadałem. Ty od moich uciekasz.
Czekam zatem na odpowiedź NA TEMAT.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Nie 17:49, 12 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności. |
To nie jest odpowiedź na moje pytanie. Bo nie jest.
To ty się pętlisz, pytając w nieskończoność o inne rzeczy.
Jeżeli odpowiesz na moje pytanie, to żadnego "w koło Macieju" nie będzie. Spróbuj kiedyś, raz w życiu, odpowiedzieć na temat i wtedy sam się przekonasz, jak będzie. |
Irbisolu, to ty spróbuj choć raz w życiu odpowiedzieć na pytanie które roznosi w puch twoją FAŁSZYWĄ wizję KRZ. |
Już na twoje pytania odpowiadałem. Ty od moich uciekasz.
Czekam zatem na odpowiedź NA TEMAT. |
Znowu kłamiesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 18:14, 12 Mar 2023 Temat postu: |
|
|
Czy Irbisol kiedykolwiek zrozumie algebrę Kubusia?
Logikę matematyczną, której sam jest naturalnym ekspertem - identycznie jak każdy 5-cio latek.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Jeśli znów się zapętlisz stwierdzeniem:
"To nie jest odpowiedź na moje pytanie"
To ja kończę z tobą dyskusję, bo znając cię wiem, że cokolwiek dalej nie napiszę ty będziesz uprawiał swój taniec "w koło Macieju" do nieskończoności. |
To nie jest odpowiedź na moje pytanie. Bo nie jest.
To ty się pętlisz, pytając w nieskończoność o inne rzeczy.
Jeżeli odpowiesz na moje pytanie, to żadnego "w koło Macieju" nie będzie. Spróbuj kiedyś, raz w życiu, odpowiedzieć na temat i wtedy sam się przekonasz, jak będzie. |
Irbisolu, to ty spróbuj choć raz w życiu odpowiedzieć na pytanie które roznosi w puch twoją FAŁSZYWĄ wizję KRZ. |
Już na twoje pytania odpowiadałem. Ty od moich uciekasz.
Czekam zatem na odpowiedź NA TEMAT. |
| rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2375.html#710141
| rafal3006 napisał: | Ustalmy po kolei.
Po pierwsze i najważniejsze:
Czy podtrzymujesz swoje twierdzenie jakoby w KRZ zachodziła tożsamość:
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
TAK/NIE
P.S.
Prosty wykład w temacie "Czym jest wynikanie logiczne" masz w wykładzie wykładowcy logiki matematycznej K.A. Wieczorka tu:
https://www.youtube.com/watch?v=b3Hz72rgUpo&t=292s
Na mocy tego wykładu, twoja tożsamość niżej jest FAŁSZEM na gruncie KRZ!
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
Czy rozumiesz przynajmniej to? |
Prawda jest taka Irbisolu, ze ty nie masz pojęcia czym jest KRZ co udowodniłem w cytacie wyżej.
Ty od zawsze mieszasz algebrę Kubusia (bo pod nią podlegasz) z twoim prywatnym KRZ, gdzie tylko tobie wydaje się, że mówisz o KRZ.
Podsumowując:
Najpierw obroń tą swoją FAŁSZYWĄ wizję KRZ, czego dowód jest w cytacie i dopiero po tym fakcie możemy podyskutować - oczywiście nie o KRZ o którym nie masz najmniejszego pojęcia, a o algebrze Kubusia której jesteś naturalnym ekspertem, jak każdy 5-cio latek! |
Twoja ostatnia odpowiedź była taka.
Ja Irbisol podtrzymuję moją wizję KRZ gdzie matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => w KRZ = implikacja logiczna z KRZ =>
Co więcej, nazwałeś wszystkich którzy się z twoją tożsamością nie zgadzają matematycznymi matołami.
Innymi słowy Irbisolu, nazwałeś matołem wykładowcę logiki matematycznej dr. hab. K.A Wieczorka:
https://www.youtube.com/watch?v=b3Hz72rgUpo&t=292s
Ciekawe czy zrozumiesz to co niżej.
W algebrze Kubusia twoja "tożsamość" wygląda tak:
Warunek wystarczający =>:
p=>q = ~p+q
Jest różny na mocy definicji ## od pojęć zdefiniowanych w cytacie niżej, czyli:
p=>q=~p+q ## p|=>q=~p*q ## p|~>q=p*~q ## p<=>q=p*q+~p*~q ## p|~~>q =1
Gdzie:
## - różne na mocy definicji
| Algebra Kubusia napisał: |
2.8 Podstawowe spójniki implikacyjne
| 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
|
I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji
Definicja podstawowego spójnika implikacyjnego:
Podstawowy spójnik implikacyjny to spójnik definiowany kolumną A1B1 w matematycznych związkach warunku wystarczającego => i koniecznego ~> dający odpowiedź na pytanie o p:
Co się stanie jeśli zajdzie p?
A1: p=>q =? - czy zajście p jest wystarczające => dla zajścia q? TAK=1/NIE=0
B1: p~>q =? - czy zajście p jest konieczne ~> dla zajścia q? TAK=1/NIE=0
A1B1: p?q = (~)(A1: p=>q)*(~)(B1: p~>q)
Gdzie:
? - symbol spójnika implikacyjnego
(~) - symbol negacji który może wystąpić, ale nie musi, w zależności od wartości logicznej A1 i B1
Z definicji spójnika implikacyjnego wynika, że możliwe są cztery podstawowe spójniki implikacyjne:
1.
Implikacja prosta p|=>q:
Implikacja prosta p|=>q to zachodzenie wyłącznie warunku wystarczającego => między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
;
Definicja warunku wystarczającego => w spójnikach "i"(*) i "lub"(+)
p=>q = ~p+q
Definicja warunku koniecznego ~> w spójnikach "i"(*) i "lub"(+)
p~>q = p+~q
Definicja implikacji prostej p|=>q:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)
Korzystając z definicji znaczków => i ~> mamy:
Y = (p|=>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) =~p*~p*q+q*~p*q = ~p*q+~p*q=~p*q
Kolejność wykonywania działań w algebrze Kubusia:
Negacja (~), nawiasy, "i"(*), "lub"(+)
Wykorzystane prawa algebry Kubusia:
1. ~(p+~q) = ~p*q - prawo De Morgana
2. mnożenie wielomianu
3. x*x=x - prawo algebry Boole'a
Do zapamiętania:
Definicja implikacji prostej p|=>q w spójnikach "i"(*) i "lub"(+):
Y = (p|=>q) = ~p*q
##
2.
Implikacja odwrotna p|~>q:
Implikacja odwrotna p|~>q to zachodzenie wyłącznie warunku koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
p|~>q = ~(A1: p=>q)*(B1: p~>q)=1*1=1
;
Definicja warunku wystarczającego => w spójnikach "i"(*) i "lub"(+)
p=>q = ~p+q
Definicja warunku koniecznego ~> w spójnikach "i"(*) i "lub"(+)
p~>q = p+~q
Definicja implikacji odwrotnej p|~>q:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)
Korzystając z definicji znaczków => i ~> mamy:
Y = (p|~>q) = ~(~p+q)*(p+~q) = (p*~q)*(p+~q) =(p*~q)*p + (p*~q)*~q = p*~q+p*~q = p*~q
Kolejność wykonywania działań w algebrze Kubusia:
Negacja (~), nawiasy, "i"(*), "lub"(+)
Wykorzystane prawa algebry Kubusia:
1. ~(~p+q) = p*~q - prawo De Morgana
2. mnożenie wielomianu
3. x*x=x - prawo algebry Boole'a
Do zapamiętania:
Definicja implikacji odwrotnej p|~>q w spójnikach "i"(*) i "lub"(+):
Y = (p|~>q) = p*~q
##
3.
Równoważność p<=>q:
Równoważność p<=>q to zachodzenie zarówno warunku wystarczającego => jak i koniecznego ~> miedzy tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
;
Definicja warunku wystarczającego => w spójnikach "i"(*) i "lub"(+)
p=>q = ~p+q
Definicja warunku koniecznego ~> w spójnikach "i"(*) i "lub"(+)
p~>q = p+~q
Stąd mamy:
Y = p<=>q = (A1: p=>q)*(B1: p~>q) = (~p+q)*(p+~q) = ~p*p + ~p~q + q*p + q*~q = p*q+~p*~q
Do zapamiętania:
Definicja równoważności p<=>q w spójnikach "i"(*) i "lub"(+):
Y = p<=>q = p*q + ~p*~q
##
4.
Chaos p|~~>q:
Chaos p|~~>q to nie zachodzenie ani warunku wystarczającego =>, ani też koniecznego ~> miedzy tymi samymi punktami i w tym samym kierunku
A1: p=>q =0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
p|~~>q = ~(A1: p=>q)*~(B1: p~>q)=~(0)*~(0)=1*1=1
;
Definicja chaosu w spójnikach "lub"(+) i "i"(*):
Chaos p|~~>q to zdanie zawsze prawdziwe przez wszystkie możliwe przeczenia p i q
Y = p*q+~p*q + p*~q + ~p*~q = q*(p+~p)+~q*(p+~p) = q+~q =1
Szczegóły na temat chaosu p|~~>q znajdziemy w punkcie 1.17.1
Do zapamiętania:
Definicja chaosu p|~~>q w spójnikach "lub"(+) i "i"(*):
Y = p*q+~p*q + p*~q + ~p*~q =1
Gdzie:
## - różne na mocy definicji
|
Pytanie na serio:
Czy kwestionujesz cokolwiek z cytatu wyżej?
Jeśli czegoś nie rozumiesz to pytaj - dokładnie na tym polega rzeczowa dyskusja.
Ostatnio zmieniony przez rafal3006 dnia Nie 18:55, 12 Mar 2023, w całości zmieniany 13 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów
|
| Wysłany: Nie 21:09, 12 Mar 2023 Temat postu: |
|
|
|
Normalnie nie wierzę. Ty gadasz o czymś totalnie innym niż to, 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: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 0:14, 13 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Normalnie nie wierzę. Ty gadasz o czymś totalnie innym niż to, o co cię pytam. |
Mój post wyżej jest dokładnie na temat.
Mój post wyżej to dowód iż w algebrze Kubusia nie ma mowy o błędzie "idem per idem", który ewidentnie jest w TWOIM KRZ.
Irbisolu, zapisałeś matematyczne brednie:
http://www.sfinia.fora.pl/forum-kubusia,12/asymetria-idem-per-idem-w-definicji-implikacji,22535.html#703583
| Irbisol napisał: |
Kubusiowa gówno-definicja implikacji:
Implikacja to implikacja mogąca zachodzić również w drugą stronę |
W moim poście wyżej masz wyjaśnienie twoich bredni.
W algebrze Kubusia jest tak:
W jedną stronę zachodzi implikacja prosta p|=>q:
p|=>q = ~p*q
Natomiast w drugą stronę zachodzi implikacja odwrotna p|~>q:
p|~>q = p*~q
Relacja matematyczna tu zachodząca to:
p|=>q =~p*q ## p|~>q = p*~q
Gdzie:
## - różne na mocy definicji
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji ##.
Moja konkluzja jest następująca:
Dyskusja między nami byłaby sensowna, gdybyś mi mówił czego w moich postach nie rozumiesz a nie zapętlał się w swoim "w koło Macieju"
Kurde:
Ja ci udowadniam iż piszesz brednie w temacie AK a ty tego nie raczysz przeczytać ze zrozumieniem ... innymi słowy gadam do słupa.
... ile można?
P.S.
W matematyce jest tak:
W jedną stronę zachodzi twierdzenie proste p=>q, natomiast w druga stronę zachodzi twierdzenie odwrotne q=>p
Między tymi twierdzeniami zachodzi relacja różne na mocy definicji ##
p=>q = ~p+q ## q=>p=~q+p
Gdzie:
## - różne na mocy definicji
Czy rozumiesz przynajmniej to?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pon 1:27, 13 Mar 2023, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 10:40, 13 Mar 2023 Temat postu: |
|
|
Wykłady z logiki matematycznej
Lekcja Nr.1
Poprawna definicja równoważności p<=>q
Mam nadzieję Irbisolu, że zaczniesz czytać …
13.12.5 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 - matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - matematyczne twierdzenie odwrotne (w odniesieniu do A1)
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
Weźmy równoważność Pitagorasa:
A1B3: TP<=>SK = (A1: TP=>SK)*(B3: SK=>TP) =1*1=1
Lewą stronę czytamy:
Trójkąt jest prostokątny (TP) wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów (SK)
Na mocy prawa Słonia prawa strona równoważności Pitagorasa definiuje tożsamość zbiorów TP=SK.
Definicja tożsamości zbiorów p=q:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru p i jednocześnie zbiór q jest podzbiorem => zbioru p
p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Matematyczna definicja równoważności p<=>q (używana w matematyce):
Równoważność p<=>q to jednoczesna prawdziwość twierdzenia prostego A1: p=>q i twierdzenia odwrotnego B3: q=>p
A1B3: p<=>q = (A1: p=>q)*(B3:q=>p) =1*1=1
Na mocy definicji zachodzi:
A1: p=>q =~p+q ## B3: q=>p =~q+p
Gdzie:
## - różne na mocy definicji
Tożsame definicje równoważności:
1.
Równoważność to jednoczesna prawdziwość matematycznego twierdzenia prostego A1 i twierdzenia odwrotnego B3
A1B3: p<=>q = (A1: p=>q)*(B3:q=>p) =1*1=1
2.
Równoważność to warunek wystarczający => zachodzący w dwie strony
A1B3: p<=>q = (A1: p=>q)*(B3:q=>p) =1*1=1
3.
Równoważność to wynikanie => w dwie strony
A1B3: p<=>q = (A1: p=>q)*(B3:q=>p) =1*1=1
4.
Równoważność to relacja podzbioru => zachodząca w dwie strony
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1=1
Prawo Tygryska:
B3: q=>p = B1: p~>q
Stąd mamy tożsamą definicję równoważności znaną każdemu człowiekowi (w tym matematykom)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Przełóżmy to na równoważność Pitagorasa:
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK)=1*1=1
Prawą stronę czytamy:
Bycie trójkątem prostokątnym (TP) jest konieczne ~> (B1) i wystarczające => (A1) by zachodziła w nim suma kwadratów (SK)
Innymi słowy.
Do tego aby w trójkącie zachodziła suma kwadratów (SK) potrzeba ~> (B1) i wystarcza => (A1) by ten trójkąt był prostokątny
Klikamy na googlach:
"konieczne i wystarczające"
Wyników 13 000
"potrzeba i wystarcza"
Wyników: 3 800
Prawo Zająca:
Do poprawnego matematycznie zdefiniowania równoważności potrzebne i wystarczające są trzy różne na mocy definicji ## pojęcia:
1.
Równoważność <=>
p<=>q = p*q + ~p*~q
##
2
matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
3.
Matematyczne twierdzenie odwrotne
B3: q=>p = ~q+p
Gdzie:
## - różna na mocy definicji
Dwa pytania do Irbisola:
1.
Czy rozumiesz niniejszy post?
2.
Czy zgadzasz się na prawo Zająca?
Uważaj Irbisolu:
Prawo Zająca jest kluczowe dla udowodnienia błędu "idem per idem" w twojej wizji KRZ gdzie twoim zdaniem zachodzi tożsamość:
Warunek wystarczający => w KRZ = implikacja logiczna => w KRZ
Ostatnio zmieniony przez rafal3006 dnia Pon 12:38, 13 Mar 2023, 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Wto 16:03, 14 Mar 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | Normalnie nie wierzę. Ty gadasz o czymś totalnie innym niż to, o co cię pytam. |
(...)
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji |
Ale też w KRZ nie używam definiowania jednej implikacji drugą. To tobie się coś popierdzieliło i wrzuciłeś do przestrzeni definicji KRZ definicję z AK. Po czym sam, na własne życzenie, użyłeś do definiowania jednej implikacji pojęcia drugiej implikacji, w dodatku nie odróżniając, która jest która. Żeby było śmieszniej, zdefiniowałeś tam swoją przy pomocy KRZ-owskiej. I ci wyszło "idem per idem".
| Cytat: | Moja konkluzja jest następująca:
Dyskusja między nami byłaby sensowna, gdybyś mi mówił czego w moich postach nie rozumiesz a nie zapętlał się w swoim "w koło Macieju" |
A moja jest taka, że dyskusja między nami byłaby sensowna, gdybyś odpowiadał na temat, a nie wklejał pierdyliard razy te same wykłady, które mnie nie interesują i nie mają nic wspólnego z tematem, a które służą jedynie zaspokajaniu twojej chęci pokazania, jaki to niby jesteś mądry. Jeżeli jesteś taki mądry, to odpowiadaj na niewygodne pytania, zamiast uciekać w spamowanie. Ja na każde niewygodne pytanie dotyczące KRZ jesteś w stanie odpowiedzieć.
Nauczysz się kończyć jeden temat, to możemy rozpocząć następny.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Wto 16:06, 14 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Normalnie nie wierzę. Ty gadasz o czymś totalnie innym niż to, o co cię pytam. |
(...)
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji |
Ale też w KRZ nie używam definiowania jednej implikacji drugą. To tobie się coś popierdzieliło i wrzuciłeś do przestrzeni definicji KRZ definicję z AK. Po czym sam, na własne życzenie, użyłeś do definiowania jednej implikacji pojęcia drugiej implikacji, w dodatku nie odróżniając, która jest która. Żeby było śmieszniej, zdefiniowałeś tam swoją przy pomocy KRZ-owskiej. I ci wyszło "idem per idem".
| Cytat: | Moja konkluzja jest następująca:
Dyskusja między nami byłaby sensowna, gdybyś mi mówił czego w moich postach nie rozumiesz a nie zapętlał się w swoim "w koło Macieju" |
A moja jest taka, że dyskusja między nami byłaby sensowna, gdybyś odpowiadał na temat, a nie wklejał pierdyliard razy te same wykłady, które mnie nie interesują i nie mają nic wspólnego z tematem, a które służą jedynie zaspokajaniu twojej chęci pokazania, jaki to niby jesteś mądry. Jeżeli jesteś taki mądry, to odpowiadaj na niewygodne pytania, zamiast uciekać w spamowanie. Ja na każde niewygodne pytanie dotyczące KRZ jesteś w stanie odpowiedzieć.
Nauczysz się kończyć jeden temat, to możemy rozpocząć następny. |
Znowu oszukujesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 23:42, 14 Mar 2023 Temat postu: |
|
|
Dlaczego Irbisolowa wizja KRZ jest wystarczająca w świecie techniki?
Armagedon wszelkich ziemskich logik matematycznych:
Po 17 latach zaciętych dyskusji, napisaniu około 30 000 postów wyłącznie w temacie "Logika matematyczna", diabeł (KRZ) pilnujący by ludzkość nigdy nie zrozumiała logiki matematycznej pod którą podlega poddał się, wywieszając białą flagę.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Normalnie nie wierzę. Ty gadasz o czymś totalnie innym niż to, o co cię pytam. |
(...)
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji |
Ale też w KRZ nie używam definiowania jednej implikacji drugą. To tobie się coś popierdzieliło i wrzuciłeś do przestrzeni definicji KRZ definicję z AK. Po czym sam, na własne życzenie, użyłeś do definiowania jednej implikacji pojęcia drugiej implikacji, w dodatku nie odróżniając, która jest która. Żeby było śmieszniej, zdefiniowałeś tam swoją przy pomocy KRZ-owskiej. I ci wyszło "idem per idem". |
Myślę Irbisolu, że cię zaskoczę.
Twoją wizją KRZ świat techniki posługuje się od zawsze, mając w dupie rzeczywisty KRZ obowiązujący w świecie matematyki.
O co chodzi?
Twoja tożsamość:
Warunek wystarczający = implikacja
jest w świecie techniki dobra i stosowana zawsze, bez wyjątku.
Sam znajdowałeś dużo przykładów (linków) że tak jest w istocie - oczywiście wszystkie pochodziły z uczelni technicznych, żaden z nich nie pochodził z Uniwersytetu stricte matematycznego.
Dlaczego?
Implikacja rodem z algebry Kubusia opisuje "wolą wolę" wszelkich istot żywych, co wyklucza jej zastosowanie w jakimkolwiek urządzeniu technicznym - od igły po prom kosmiczny.
Definicje są tu takie:
Definicja świata żywego:
W zdaniach warunkowych „Jeśli p to q” mamy do czynienia ze światem żywym wtedy i tylko wtedy gdy prawdziwość/fałszywość poprzednika p lub następnika q zależy od „wolnej woli” istoty żywej.
Definicja "wolnej woli" istot żywych:
"Wolna wola" to zdolność do gwałcenia wszelkich praw logiki matematycznej wyznaczanych przez świat martwy (w tym przez matematykę)
Oczywiście definicja wolnej woli dotyczy wyłącznie istot żywych.
Świat martwy (w tym matematyka) nie jest w stanie zgwałcić logiki matematycznej (algebry Kubusia) którą sam wyznacza i pod którą sam podlega.
Wiem że jesteś ze świata techniki (nie jesteś matematykiem) bo rozmawialiśmy na śfińskim spotkaniu i twoja prywatna KRZ wygląda tak.
warunek wystarczający = implikacja prosta = matematyczne twierdzenie proste A1: p=>q = relacja podzbioru p=>q (p jest podzbiorem => q)
##
warunek konieczny = implikacja odwrotna = matematyczne twierdzenie odwrotne B3: q=>p (q jest podzbiorem => p)
Gdzie:
## - różne na mocy definicji
(Od strony czysto matematycznej powyższy zapis jest nie do obrony, ale mniejsza z tym)
Dowodem jest tu definicja równoważności p<=>q i jej interpretacja którą zaakceptowałeś:
A1BB3: p<=>q = (A1: p=>q)(B3: q=>p) =1*1=1
Gdzie:
A1: p=>q - matematyczne twierdzenie prosta (np. TP=>SK - TP jest podzbiorem => SK)
B3: q=>p - matematyczne twierdzenie odwrotne (np. SK=>TP - SK jest podzbiorem => TP)
Zgodziłeś się także, że każda równoważność p<=>q w zbiorach definiuje tożsamość zbiorów p=q.
Definicja tożsamości zbiorów p=q:
Dwa zbiory p i q są tożsame wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q i jednocześnie zbiór q jest podzbiorem => zbioru p
p=q <=> (A1: p=>q)*(B3: q=>p) =1*1 =1
Przykład:
Równoważność Pitagorasa definiująca tożsamość zbiorów TP=SK (z tym się zgodziłeś!)
A1B3: TP<=>SK = (A1: TP=>SK)*(B3: SK=>TP) =1*1=1
A1: TP=>SK - twierdzenie proste Pitagorasa
B3: SK=>TP - twierdzenie odwrotne Pitagorasa
Podsumowując:
Czy możesz przestać się wygłupiać swoim dogmatem w koło Macieju: "nie zamówionych wykładów nie czytam - odpowiedz na moje pytanie" i napisać co napisałem źle w TWOJEJ wizji KRZ?
Ostatnio zmieniony przez rafal3006 dnia Śro 10:26, 15 Mar 2023, 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: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 23:57, 14 Mar 2023 Temat postu: |
|
|
Przed chwilą opublikowałem końcową wersję algebry Kubusia, mocno przebudowaną, z której jestem wreszcie zadowolony (w dużej mierze dzięki Irbisolowi) - z zawodowym matematykiem podobna dyskusja byłaby wykluczona, bo z tego punktu widzenia Irbisol wypisuje głupoty
http://www.sfinia.fora.pl/forum-kubusia,12/kompendium-algebry-kubusia,21937.html#680041
| rafal3006 napisał: | Kompendium algebry Kubusia
Matematyka języka potocznego 5-cio latków
2022-12-24 Premiera
Ostatni lifting: 2023-03-14
Link do "Kompendium algebry Kubusia" w pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/vr2fus8e97iqq1v/Kompendium%20AK%20w%20pdf.pdf?dl=0
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów
|
| Wysłany: Śro 14:36, 15 Mar 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji |
Ale też w KRZ nie używam definiowania jednej implikacji drugą. To tobie się coś popierdzieliło i wrzuciłeś do przestrzeni definicji KRZ definicję z AK. Po czym sam, na własne życzenie, użyłeś do definiowania jednej implikacji pojęcia drugiej implikacji, w dodatku nie odróżniając, która jest która. Żeby było śmieszniej, zdefiniowałeś tam swoją przy pomocy KRZ-owskiej. I ci wyszło "idem per idem". |
Myślę Irbisolu, że cię zaskoczę.
Twoją wizją KRZ świat techniki posługuje się od zawsze, mając w dupie rzeczywisty KRZ obowiązujący w świecie matematyki.
O co chodzi?
Twoja tożsamość:
Warunek wystarczający = implikacja
jest w świecie techniki dobra i stosowana zawsze, bez wyjątku. |
Może i tak - ale nie o tym teraz jest mowa.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 103 tematy
Płeć: Mężczyzna
|
| Wysłany: Śro 14:46, 15 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji |
Ale też w KRZ nie używam definiowania jednej implikacji drugą. To tobie się coś popierdzieliło i wrzuciłeś do przestrzeni definicji KRZ definicję z AK. Po czym sam, na własne życzenie, użyłeś do definiowania jednej implikacji pojęcia drugiej implikacji, w dodatku nie odróżniając, która jest która. Żeby było śmieszniej, zdefiniowałeś tam swoją przy pomocy KRZ-owskiej. I ci wyszło "idem per idem". |
Myślę Irbisolu, że cię zaskoczę.
Twoją wizją KRZ świat techniki posługuje się od zawsze, mając w dupie rzeczywisty KRZ obowiązujący w świecie matematyki.
O co chodzi?
Twoja tożsamość:
Warunek wystarczający = implikacja
jest w świecie techniki dobra i stosowana zawsze, bez wyjątku. |
Może i tak - ale nie o tym teraz jest mowa. |
Znowu oszukujesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 31 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 16:15, 15 Mar 2023 Temat postu: |
|
|
Czy ktoś ma nadzieję, że Irbisol podejmie rzeczową dyskusję?
| Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
Zatem w AK nie ma żadnego błędu "idem per idem", natomiast w Twoim prywatnym KRZ JEST, bo ty nie masz dwóch implikacji różnych na mocy definicji |
Ale też w KRZ nie używam definiowania jednej implikacji drugą. To tobie się coś popierdzieliło i wrzuciłeś do przestrzeni definicji KRZ definicję z AK. Po czym sam, na własne życzenie, użyłeś do definiowania jednej implikacji pojęcia drugiej implikacji, w dodatku nie odróżniając, która jest która. Żeby było śmieszniej, zdefiniowałeś tam swoją przy pomocy KRZ-owskiej. I ci wyszło "idem per idem". |
Myślę Irbisolu, że cię zaskoczę.
Twoją wizją KRZ świat techniki posługuje się od zawsze, mając w dupie rzeczywisty KRZ obowiązujący w świecie matematyki.
O co chodzi?
Twoja tożsamość:
Warunek wystarczający = implikacja
jest w świecie techniki dobra i stosowana zawsze, bez wyjątku. |
Może i tak - ale nie o tym teraz jest mowa. |
Wszystko co piszę jest na temat "idem per idem" - problem w tym że ty nie chcesz zrozumieć banałów matematycznych - ja do ciebie piszę matematyką ścisłą, czyli równaniami logicznymi prowadzącymi do udowodnienia ci gdzie robisz błąd "idem per idem" a ty mi odpowiadasz że to co piszę masz w dupie, że muszę ci odpowiedzieć zgodnie z twoim (błędnym matematycznie) "widzi mi się"
Ciekaw jestem czy zrozumiesz to co niżej:
| Rafal3006 napisał: |
Wiem że jesteś ze świata techniki (nie jesteś matematykiem) bo rozmawialiśmy na śfińskim spotkaniu i twoja prywatna KRZ wygląda tak.
warunek wystarczający = implikacja prosta = matematyczne twierdzenie proste A1: p=>q = relacja podzbioru p=>q (p jest podzbiorem => q)
##
warunek konieczny = implikacja odwrotna = matematyczne twierdzenie odwrotne B3: q=>p (q jest podzbiorem => p)
Gdzie:
## - różne na mocy definicji
(Od strony czysto matematycznej powyższy zapis jest nie do obrony, ale mniejsza z tym)
|
Zauważ, że wyznając relację różna na mocy definicji ## z pojęciami tożsamymi jak w cytacie automatycznie wpadasz w "idem per idem".
Część I dowodu:
Wprowadźmy kluczowe (najważniejsze) symbole dla twojego opisu znaczka różne na mocy definicji ## z cytatu:
=> - warunek wystarczający
~> - warunek konieczny
Zacznijmy od definicji równoważności powszechnie używanej:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Gdzie:
A1: p=>q ## B1: p~>q
## - różne na mocy definicji
Co w opisie słownym oznacza:
Równoważność p<=>q jest prawdziwa wtedy i tylko wtedy gdy zajście p jest konieczne ~> (B1) i wystarczające => (A1) dla zajścia q
Innymi słowy:
Do tego by zaszło q potrzeba ~> (B1) i wystarcza => (A1) by zaszło p
Dowód iż tą wersję równoważności znają absolutnie wszyscy (łącznie z matematykami).
Klikamy na googlach:
"konieczne i wystarczające"
Wyników: 12 400
"potrzeba i wystarcza"
Wyników: 3 820
cnd
Dla B1 zastosujmy prawo Tygryska które znacz:
B1: p~>q = B3: q=>p
Stąd mamy tożsamą definicje równoważności p<=>q:
A1B3: p<=>1 = (A1: p=>q)*(B3: q=>p) =1*1 =1
Gdzie:
A1: p=>q ## B3: q=>p
## - różne na mocy definicji
Czytamy:
Równoważność to warunek wystarczający => zachodzący w dwie strony.
Teraz wykładam kawę na ławę, czyli zapisują ci prawa rachunku zero-jedynkowego (który znasz) wiążące warunek wystarczający => i konieczny ~> - to są prawa zarówno AK jak i KRZ!
| 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
|
Podsumowując:
Wytłumaczę ci gdzie robisz błąd "dem per idem" w swojej wizji KRZ jak zaakceptujesz prawa z tabeli T0.
Oczywiście możesz nie zaakceptować, ale wtedy twoim obowiązkiem jest wytłumaczyć które prawo z tabeli T0 nie obowiązuje w KRZ - oczywiście z dowodem obalającym.
O co mi chodzi?
Przede wszystkim o to byś zrozumiał definicję znaczka różne na mocy definicji ##.
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne Y w logice dodatniej (bo Y) są różne na mocy definicji wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q:
p - w logice dodatniej (bo p)
oraz
q - w logice dodatniej (bo q)
mają różne kolumny wynikowe Y
Na mocy powyższej definicji relacja między warunkiem wystarczającym p=>q i koniecznym p~>q to relacja znaczka różne na mocy definicji ##.
Dowód:
Definicja warunku wystarczającego => w spójnikach "lub"(+) i "i"(*):
Y = p=>q = ~p+q
##
Definicja warunku koniecznego ~> w spójnikach "lub"(+) i "i"(*):
Y = p~>q = p+~q
Gdzie:
## - różne na mocy definicji
Poprawność definicji znaczka różne na mocy definicji ## można łatwo sprawdzić w laboratorium bramek logicznych.
Jeśli w laboratorium bramek logicznych zbudujemy dwa układy w bramkach logicznych Y=~p+q oraz Y=p+~q i połączymy galwanicznie ich wyjścia Y to zobaczymy kupę "dymu i smrodu".
Ten "dym i smród" to właśnie fizyczny dowód poprawności matematycznej znaczka różne na mocy definicji ## zachodzącej między warunkiem wystarczającym p=>q i koniecznym p~>q.
Uważaj Irbisolu:
Bez twojego potwierdzenia iż rozumiesz i akceptujesz znaczek różne na mocy definicji ## dalsza dyskusja nie ma większego sensu.
Ostatnio zmieniony przez rafal3006 dnia Śro 16:18, 15 Mar 2023, 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Śro 17:22, 15 Mar 2023 Temat postu: |
|
|
|
Czyli jak dam p=q=1 dla warunku koniecznego i dla wystarczającego, to dostanę różne wyniki na wyjściu, bo te 2 warunki są ## ?
|
|
| 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
