ŚFiNiA

Irbisol

W tabelce masz błędy - na szybko znalazłem:
D-2
A-6
B-6
C-6

fedor

rafal3006

Irbisol

A jakie "co z tego ma wynikać"? Stwierdziłeś, że to gówno-równanie, więc wskazuj błąd.

rafal3006

fedor

Irbisol

fedor

rafal3006

Irbisol

Udowadniaj błąd, a nie zadajesz w kółko te same pytania.

fedor

rafal3006

Czy Irbisol obali gówno-dowód równoważności Pitagorasa?
Mój typ:
Irbisol zacznie teraz uciekać od niniejszego postu szybciej niż Struś Pędziwiatr .. o czym za chwilkę wszyscy się przekonają.

Irbisol

Ale ty nic nie udowodniłeś, a jedynie znowu pytasz.

fedor

rafal3006

Irbisol

fedor

rafal3006

Gdzie Irbisol popełnia fundamentalny błąd w logice matematycznej?

Chętnie by mu to wytłumaczył na poziomie matematycznym co najwyżej ucznia I klasy LO ... problem w tym że Irbisol wie swoje, nie chce czytać banalnego dowodu na poziomie I klasy LO, mimo iż pewne jest, że by go zrozumiał, gdyby przeczytał ... i mamy Irbisolowe "w koło Macieju", czyli w moich postach gadam do słupa a słup swoje, on wie lepiej.

Irbisol

No właśnie: GDZIE?

fedor

rafal3006

Metodologia dowodzenia równoważności p<=>q dla zbiorów
Uwaga:
Bez odwoływania się do jakiegokolwiek konkretnego przykładu np. równoważności Pitagorasa.

Prawo Absolutu:
Każdy, kto zrozumie teorię ogólną równoważności p<=>q na 100% zrozumie metodologię dowodzenia dowolnej równoważności p<=>q np. równoważności Pitagorasa

Kto nie zrozumie niniejszego wykładu na zawsze pozostanie biednym człowiekiem z potwornie wypranym mózgiem gównem zwanym KRZ, któremu należy współczuć, ale nie należy zmuszać go na siłę do zrozumienia algebry Kubusia.

Niech sobie ci biedni ludzie umrą w spokoju z okrzykiem na ustach:
"Moim bogiem jest KRZ, zaś algebra Kubusia to potwornie śmierdzące gówno"

Algebra Kubusia to logika matematyczna przyszłych pokoleń matematyków!

Czy Irbisol zdoła zrozumieć niniejszy wykład na poziomie I klasy LO?
Na 100% TAK!
Czy Irbisol przyzna się że zrozumiał?
Na 99% nigdy się do tego nie przyzna … i w tym jest sęk.
https://www.youtube.com/watch?v=JGVOtZjtY-s

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2925.html#720851

Irbisol

To gdzie ten błąd?

fedor

rafal3006

Kwintesencja algebry Kubusia
16.4 Mutacje definicji równoważności p<=>q w zbiorach

Spis treści
16.0 Kwintesencja algebry Kubusia 1
16.1 Elementarne spójniki implikacyjne w zbiorach 3
16.1.1 Definicja elementu wspólnego zbiorów ~~> 3
16.1.2 Definicja warunku wystarczającego => w zbiorach 3
16.1.3 Definicja warunku koniecznego ~> w zbiorach 4
16.1.4 Definicja kontrprzykładu w zbiorach 5
16.1.5 Nietrywialny błąd podstawienia ### 5
16.2 Rachunek zero-jedynkowy warunków wystarczających => i koniecznych ~> 7
16.3 Prawa algebry Kubusia wynikłe z rachunku zero-jedynkowego 10
16.3.1 Definicje znaczków # i ## 11
16.4 Fundamentalne prawa logiki matematycznej 12
16.4.1 Prawa Sowy 13
16.4.2 Definicja dowodu "nie wprost" 13
16.4.3 Prawo Kłapouchego 13
16.4.4 Prawo Puchacza 13
16.5 Algorytm Puchacza 16
16.6 Mutacje definicji równoważności p<=>q w zbiorach 17
16.6.1 Diagram równoważności p<=>q w zbiorach 20
16.7 Definicja równoważności p<=>q w zbiorach 21
16.7.1 Operator równoważności p|<=>q 23

16.0 Kwintesencja algebry Kubusia

Niniejszy punkt to kwintesencja algebry Kubusia która wkrótce stanie się niekwestionowaną przez nikogo Królową logiki matematycznej ziemian.
Bezdyskusyjnie najcenniejszą definicją w całym obszarze matematyki jest definicja równoważności p<=>q której istoty póki co, ziemscy matematycy nie rozumieją.
Z tego powodu w niniejszym punkcie zamieszczam komplet definicji i praw algebry Kubusia, koniecznych i wystarczających do zrozumienia istoty równoważności p<=>q.

Aktualnie obowiązująca definicja równoważności p<=>q w ziemskiej logice matematycznej to pośmiewisko w całym naszym Wszechświecie, wykluczające jakiekolwiek wynikanie między p i q
Dowód:
[link widoczny dla zalogowanych]

Równoważność zdań
Zdanie złożone postaci: p wtedy i tylko wtedy, gdy q nazywamy równoważnością zdań i zapisujemy p<=>q. Zdania p, q nazywamy członami tej równoważności. Równoważność p<=>q jest zdaniem prawdziwym tylko wtedy, gdy oba jej człony mają tę samą wartość logiczną, a więc gdy są jednocześnie zdaniami prawdziwymi lub jednocześnie fałszywymi.

Przykład z komentarzem równoważności prawdziwej w KRZ znajdziemy w Delcie'2013:
[link widoczny dla zalogowanych]

Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.
Komentarz Marka Kordosa:
Oczywiście, zdanie to jest prawdziwe, ale czy ma sens? Przecież między pewnym faktem arytmetycznym a innym faktem geograficznym żadnego związku nie ma. Dlaczego więc chcemy twierdzić (ba, uczyć tego), że te dwa zdania są równoważne?

Najgorszy w tym wszystkim jest fakt, że idiotycznymi definicjami rodem z KRZ pierze się mózgi naszym dzieciom w I klasie LO.
Dowód:
https://www.youtube.com/watch?v=69mxNcONL-4

Dlaczego zaakceptowanie algebry Kubusia będzie największym wydarzeniem w historii matematyki?
… a może i ludzkości?

Tak sobie przeglądam różne głupoty typu …
Logika pierwszego rzędu:
[link widoczny dla zalogowanych]
Logika modalna:
[link widoczny dla zalogowanych]
Logiki relewantne:
[link widoczny dla zalogowanych]
Logika intuicjonistyczna:
[link widoczny dla zalogowanych]
… i mam pewność, że po zaakceptowaniu "Algebry Kubusia" przez ziemskich matematyków wszystko co wyżej zawali się, czyli zostanie wysłane do piekła na wieczne piekielne męki.

Dokładnie z tego powodu opór fanatyków KRZ będzie niezwykle zacięty - liczę jednak na matematyków "przy zdrowych zmysłach", to od nich zależy czy ludzkość (tzn. matematycy) zaakceptuje bajecznie prostą algebrę Kubusia, logikę matematyczną której ekspertami jesteśmy wszyscy, od 5-cio latków poczynając (z fanatykami KRZ włącznie).

Dlaczego niniejszy punkt jest kluczowy w całej algebrze Kubusia?

We wstępie do AK pisze, że 100% definicji w algebrze Kubusia jest innych niż w jakiejkolwiek logice matematycznej ziemskich matematyków.
Po takim zdaniu poczęstowanie ziemskiego matematyka kompletną algebrą Kubusia w ilości 650 stron, może go zrazić do przeczytania choćby jednego zdania z algebry Kubusia.
Mam nadzieję, że "Kwintesencję algebry Kubusia" (niniejszy punkt) każdy matematyk przeczyta z zaciekawieniem bo jest krótka (24 strony) i zawiera kluczowe definicje i prawa logiki matematycznej bez problemu zrozumiałe dla przeciętnego, ziemskiego ucznia I klasy LO.

16.1 Elementarne spójniki implikacyjne w zbiorach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zbiorów p i q.

16.1.1 Definicja elementu wspólnego zbiorów ~~>

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q =p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q= p*q= [] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>

Decydujący w powyższej definicji jest znaczek elementu wspólnego zbiorów ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
W operacji iloczynu logicznego zbiorów p*q poszukujemy jednego wspólnego elementu, nie wyznaczamy kompletnego zbioru p*q.
Jeśli zbiory p i q mają element wspólny ~~> to z reguły błyskawicznie go znajdujemy:
p~~>q=p*q =1
co na mocy definicji kontrprzykładu (poznamy za chwilkę) wymusza fałszywość warunku wystarczającego =>:
p=>~q =0 (i odwrotnie)

Przykład:
Jeśli dowolna liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3 = P8*P3 =1
Istnieje (=1) wspólny element zbiorów P8=[8,16,24..] i P3=[3,6,9..24..] np. 24

16.1.2 Definicja warunku wystarczającego => w zbiorach

Definicja podzbioru => w algebrze Kubusia:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek wystarczający => = relacja podzbioru =>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Przykład:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2
P8=>P2 =1
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Udowodnić relację podzbioru P8=>P2 potrafi każdy matematyk.

Podsumowując:

rafal3006

Dlaczego Irbisol jest moim bezcennym partnerem w dyskusji?

Odpowiedź:
Bo dzięki niemu powstają posty jak wyżej.

Na skutek dyskusji z Irbisolem postanowiłem napisać kwintesencję algebry Kubusia na przykładzie równoważności.
Efekt to post wyżej.

Dlaczego to jest dobre?
We wstępie do AK pisze że 100% definicji w algebrze Kubusia jest innych niż w jakiejkolwiek logice matematycznej ziemskich matematyków.
Po takim zdaniu poczęstowanie ziemskiego matematyka kompletną algebrą Kubusia w ilości 650 stron, może go zrazić do przeczytania choćby jednego zdania z algebry Kubusia.
Mam nadzieję, że "Kwintesencję algebry Kubusia" (post wyżej) każdy matematyk przeczyta z zaciekawieniem bo jest krótka i zawiera definicje i prawa logiki matematycznej bez problemu zrozumiałe dla przeciętnego, ziemskiego ucznia I klasy LO z dziewiczym mózgiem tzn. niezatopionego w gównie wszech czasów zwanym Klasycznym Rachunkiem Zdań.
Na szczęście nie wszyscy matematycy są fanatykami KRZ i w nich cała nadzieja na zaistnienie algebry Kubusia w podręcznikach matematyki do I klasy LO.

Myślę, że niebotycznie łatwiej przekonać do algebry Kubusia ucznia I klasy LO który nigdy nie słyszał terminu KRZ, niż fanatyka KRZ (na przykład Irbisola) którego mózg jest niestety obetonowany twierdzą zwaną KRZ.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2900.html#719719