ŚFiNiA

Irbisol

Nie czytam tego dowodu. Zresztą wszystkie twoje dowody są do obalenia - i na ten przyjdzie czas.
Ale po kolei. Teraz moja manipulacja. Nie uciekniesz od tego.

rafal3006

Algebra Kubusia
Algebra Kubusia – kwintesencja największej rewolucji w historii matematyki

Link do "Algebry Kubusia" w pdf:
[link widoczny dla zalogowanych]
*https://www.dropbox.com/s/vr2fus8e97iqq1v/Kompendium%20AK%20w%20pdf.pdf?dl=0

Autor:
Kubuś ze 100-milowego lasu

Rozszyfrowali:
Rafal3006 i przyjaciele

Dziękuję wszystkim, którzy dyskutując z Rafałem3006 przyczynili się do odkrycia algebry Kubusia (cytuję w kolejności zaistnienia):
Wuj Zbój, Miki (vel Lucek), Volrath, Macjan, Irbisol, Makaron czterojajeczny, Quebab, Windziarz, Fizyk, Idiota, Sogors (vel Dagger), Słupek, Fiklit, Yorgin, Exodim, FlauFly, Pan Barycki, Zbigniewmiller, Mar3x, Wookie, Prosiak, Andy72, Michał Dyszyński, Szaryobywatel, Jan Lewandowski, MaluśnaOwieczka, Zefciu i inni.

Kluczowi przyjaciele Kubusia, którzy wnieśli największy wkład w rozszyfrowanie algebry Kubusia to: Rafal3006, Wuj Zbój, Volrath, Macjan, Irbisol, Fiklit (kolejność chronologiczna).

1
"Wszyscy wiedzą, że czegoś nie da się zrobić, aż znajdzie się taki jeden, który nie wie, że się nie da, i on to robi."
2.
"Historia wynalazków naukowych i technicznych uczy nas, że rasa ludzka uboga jest w niezależną myśl twórczą i wyobraźnię... człowiek musi niejako dosłownie potknąć się o rzecz samą, aby mu zakwitła Idea."
3.
"Jedyną pewną metodą unikania porażek jest nie mieć żadnych, nowych pomysłów."
Albert Einstein

Ad.1
Dopiero 26 lat po ukończeniu elektroniki na Politechnice Warszawskiej (rok 1980) po raz pierwszy w życiu usłyszałem termin Klasyczny Rachunek Zdań, tak więc z definicji nie wiedziałem, że u ziemskich matematyków KRZ jest nie do obalenia.
Ad.2
Moje potknięcie o KRZ to wyjaśnienia Wuja Zbója, że ateiści mogą do tego samego nieba co wierzący na mocy definicji implikacji która w technice jest idiotyzmem bo opisuje "wolną wolę" istot żywych.
Świat martwy z definicji "wolnej woli" nie ma i nigdy mieć nie może (wyjaśnienie w punkcie 3.7)
Ad.3
Mój nowy pomysł po bliższym zapoznaniu się z KRZ to wniosek, iż KRZ to gwałt na rozumku każdego 5-cio latka zatem musi być fałszem, co zostało udowodnione na pierwszych 16 stronach algebry Kubusia w postaci prawa Grzechotnika.

Dowód iż KRZ to gwałt na rozumku każdego 5-cio latka to przykładowe zdania tu prawdziwe:
1: Jeśli 2+2=5 to jestem papieżem
2: Jeśli pies ma 8 łap to Księżyc krąży wokół Ziemi
3: Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.

Dowód na serio prawdziwości zdania 1 znajdziemy tu:
[link widoczny dla zalogowanych]
Dowód na serio prawdziwości zdania 2 znajdziemy w podręczniku matematyki do I klasy LO:
[link widoczny dla zalogowanych]
Komentarz do zdania 3 znajdziemy w Delcie'2013:
[link widoczny dla zalogowanych]

Spis treści:
1.0 Nowa algebra Boole'a

Wstęp:

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 18 lat dyskusji na forum filozoficznym w Polsce, to około 33 000 postów napisanych wyłącznie w temacie "Logika matematyczna"
Cechą charakterystyczną algebry Kubusia jest fakt, że czytając ją od A do Z nie powinniśmy się spotkać z pojęciem, które wcześniej nie byłoby zdefiniowane i wyjaśnione na przykładzie.

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 ~>.
Kwintesencję algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q” zawarto w punkcie 2.0.

Co zawiera "Algebra Kubusia"?
1.0 Nowa algebra Boole'a będąca podzbiorem algebry Kubusia.
2.0 Kompendium algebry Kubusia dla teorii zdarzeń i teorii zbiorów zawierające wszystkie definicje
i prawa logiki matematycznej obowiązujące w obsłudze zdań warunkowych „Jeśli p to q”
3.0 do 9.0 Podstawowa teoria zdarzeń w zdaniach warunkowych "Jeśli p to q", czyli logika matematyczna którą w praktyce rozumie każdy 5-cio latek.
10.0 Odpowiedź na pytanie: Skąd biorą się tabele zero-jedynkowe spójników logicznych?
11.0 Dowód poprawności algebry Kubusia w laboratorium bramek logicznych.
12.0 Kubusiowa teoria zbiorów
13.0 Kompendium algebry Kubusia dla teorii zbiorów zawierające wszystkie definicje
i prawa logiki matematycznej obowiązujące w obsłudze zdań warunkowych „Jeśli p to q”
14.0 do 19.0 Podstawowa teoria zbiorów analogiczna do teorii zdarzeń, poziom I klasy LO.
20.0 Rachunek zero-jedynkowy w obsłudze zdań warunkowych "Jeśli p to q".
21.0 Teoria jednoargumentowych spójników logicznych wytłumaczona w 100% na poziomie
tabel zero-jedynkowych. Zrozumienie punktu 21.0 gwarantuje zrozumienie
algebry Kubusia w tabelach zero-jedynkowych.
22.0 Dowód wewnętrznej sprzeczności KRZ w obsłudze zdań warunkowych "Jeśli p to q"
23.0 Armagedon wszelkich ziemskich logik matematycznych

Moja propozycja czytania algebry Kubusia dla matematyków jest następująca:

1. Proponuję na początek skupić się na pierwszych 16 stronach algebry Kubusia od punktu 1.0 do punktu 1.5.8 zawierającego dowód formalny (ogólny) wewnętrznej sprzeczności ziemskiej algebry Boole’a w postaci prawa Grzechotnika, wraz z niezbędnymi definicjami i prawami logiki matematycznej.
2. Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
3. W punkcie 1.7 mamy potwierdzenie poprawności prawa Grzechotnika w języku potocznym zrozumiałym dla każdego 5-cio latka.
4. W punkcie 1.9 (sterowanie windą) mamy dowód, iż wszystkie 5-cio latki doskonale posługują się w praktyce logiką dodatnią (bo Y) i ujemną (bo ~Y)
5. Zrozumienie pierwszych 16 stron algebry Kubusia jest warunkiem koniecznym dla zrozumienia dalszej części tego rewolucyjnego podręcznika logiki matematycznej.

Spis treści
1.0 Nowa algebra Boole’a 4
1.1 Definicje elementarne algebry Boole'a 5
1.1.1 Definicja negacji 5
1.2 Prawa Prosiaczka 7
1.2.1 Dowód praw Prosiaczka na gruncie fizyki 8
1.3 Definicja wyrażenia algebry Boole'a 9
1.3.1 Definicja funkcji logicznej algebry Boole'a: 9
1.3.2 Prawo negacji funkcji logicznej Y 11
1.4 Definicja funkcji logicznej jednoargumentowej Y=x 11
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x 11
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 12
1.5 Prawo Grzechotnika 12
1.5.1 Definicja funkcji transmisji Y=p w logice dodatniej (bo Y) 12
1.5.2 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y) 13
1.5.3 Relacja matematyczna między funkcjami Y=p oraz Y=~p 13
1.5.4 Definicja operatora transmisji Y|=p 14
1.5.5 Definicja operatora negacji Y|=~p 14
1.5.6 Relacja matematyczna między operatorami Y|=p a Y|=~p 15
1.5.7 Prawo Grzechotnika dla funkcji logicznych jednoargumentowych 16
1.5.8 Prawo Grzechotnika dla dowolnych funkcji n-argumentowych 16
1.6 Definicja standardu dodatniego w języku potocznym 18
1.7 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka 19
1.7.1 Dowód prawa Grzechotnika na poziomie przedszkola 20
1.7.2 Definicja poprawnej budowy funkcji logicznej Y 21
1.8 Aksjomatyka algebry Boole’a 22
1.8.1 Aksjomatyka minimalna algebry Boole'a 24
1.9 Sterowanie windą autorstwa 5-cio latków 27

1.0 Nowa algebra Boole’a

Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).

Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.

Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym

Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.9 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodnimy za chwilkę (pkt. 1.5.7 i 1.5.8)

1.1 Definicje elementarne algebry Boole'a

1 = prawda
0 = fałsz

Gdzie:
1##0
Prawda (1) jest różna na mocy definicji ## od fałszu (0)

Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) – negacja

Innymi słowy:
Prawda (1) to zaprzeczenie (~) fałszu (0)
Fałsz (0) to zaprzeczenie (~) prawdy (1)

Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)

Pani w przedszkolu:
Pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 - zdanie zawsze prawdziwe
Pójdziemy do kina (K) i nie pójdziemy do kina (~K)
Y = K*~K =0 - zdanie zawsze fałszywe
Gdzie:
Y - stała binarna

Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1.

Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa

1.1.1 Definicja negacji

Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.

W szczególnym przypadku symbol w nagłówku kolumny może być stałą binarną gdy w kolumnie są same jedynki albo same zera.

rafal3006

Irbisol

Kolejność obowiązuje.
Najpierw moja rzekoma manipulacja.

rafal3006

Irbisol

Najpierw to, co zostało zgłoszone najpierw.
Era twoich wiecznych ucieczek od tematu skończyła się definitywnie.

rafal3006

Irbisol

Nie uciekniesz od tematu.
Wszystkie twoje bzdury jest dziecinnie łatwo obalić. Już zresztą kilka razy wycofywałeś się z kasowania AK ("jak znajdziesz błąd to kasuję całą AK").
Jedyna trudność z tobą to to, że ciągle zmieniasz temat. I dlatego ze mną już tematu nie zmienisz.

Czekam na dowód mojej manipulacji.

rafal3006

Irbisol

Ty znowu o sraczce, a temat bieżący jest o manipulacji.
Tylko uciekać potrafisz - jak widać.

rafal3006

Jeszcze raz, do skutku nieuku!

Irbisol

Trzeba było wcześniej się orientować, że jakiś błąd dyskwalifikuje moje posty później. Przy założeniu, że w ogóle ten błąd występuje - bo na to jest jedynie twoja deklaracja.
Póki co bieżącym tematem jest moja rzekoma manipulacja.
Ciekawe, kiedy się zorientujesz, że innej opcji nie ma.

rafal3006

Irbisol

Nic z tego.
Najpierw manipulacja - i to konkretna.
Za dużo razy uciekłeś od tematu, żebym ci odpuścił.

rafal3006

Irbisol

Ale najpierw zacząłem temat, żebyś wyjaśnił moją konkretną manipulację.
Więc obowiązuje kolejność.
Jak już z tym sobie poradzisz, to ja od żadnych tematów uciekał na pewno nie będę.

rafal3006

Irbisol

Ale jednak dalej czytałeś i zarzuciłeś mi manipulację.
Sam to zrobiłeś z własnej, nieprzymuszonej woli. Więc kontynuuj.

rafal3006

Irbisolu, ustalmy fakty
Czy kto ma nadzieję, że Irbisol wie co udowodnił?

Irbisol

Nie zajmuję się tym teraz.
Udowadniaj moja manipulację.

rafal3006

Irbisol

Już pisałem, jaki. Wielokrotnie.

rafal3006

Kiedy Irbisol zrozumie matematyczne banały na poziomie I klasy LO, które dla niego są „ciemną stroną Księżyca”?

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

lucek