ŚFiNiA

[rafal3006]

http://www.sfinia.fora.pl/wiezienie-script-src-http-wujzboj-com-sfinia-hideu-js-script,20/mord-na-sprawiedliwym-i-jego-zmartwychwstanie,4928-39600.html#655721

[rafal3006]

Zefciu odpowiedział na moją odpowiedź na PW cytowaną wyżej.
Sorry za cytat z PW.
Proponuję Zefciowi dyskusję na temat jego warunków mojego powrotu na ateistę.pl na jawnym forum śfinia, by pokazać wszystkim klasę moderatorów ateisty.pl.

[rafal3006]

[rafal3006]

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

[rafal3006]

Przyłożyłem się do punktu 1.0 wprowadzając do niego wiele poprawek uściślających.

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

[rafal3006]

Dlaczego nie warto się spieszyć z wyjściem AK poza śfinię?

Czytam wiele razy AK i za każdym razem cos poprawiam, coś upraszczam.
Dziś rano radykalnie ulepszyłem prawo Kłapouchego - stare było dobre, ale po modyfikacji jest dużo lepsze!

Cytuję aktualną AK:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-17-04-2022,20453.html#649275

Spis treści
6.7 Prawo Kłapouchego 21
6.7.1 Prawo Kameleona 26


6.7 Prawo Kłapouchego

Prawo Kłapouchego:
Domyślny punkt odniesienia dla zdań warunkowych „Jeśli p to q”:
W zapisie aktualnym zdań warunkowych (w przykładach) po „Jeśli…” mamy zdefiniowany poprzednik p zaś po „to..” mamy zdefiniowany następnik q z pominięciem przeczeń.

Przykład:
Zbadaj, w skład jakiego operatora logicznego wchodzi zdanie wypowiedziane:
W.
Jeśli jutro będzie pochmurno to może nie padać
CH~~>~P = CH*~P=1
Możliwe jest (=1) zdarzenie ~~>: są chmury (CH) i nie pada (~P)

Na mocy prawa Kłapouchego zapis formalny zdania W to:
p~~>~q = p*~q =1
Gdzie:
p=CH (chmury)
q=P (pada)

Rozwiązanie tego typu zadań poznamy w niedalekiej przyszłości, tu skupiamy się na prawie Kłapouchego, dzięki któremu matematyk A dogada się z matematykiem B.

[rafal3006]

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

[rafal3006]

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

[rafal3006]

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

Twardy dowód na „istnienie Boga”!

http://www.sfinia.fora.pl/wiezienie-script-src-http-wujzboj-com-sfinia-hideu-js-script,20/mord-na-sprawiedliwym-i-jego-zmartwychwstanie,4928-40050.html#657683

[rafal3006]

Vacatio legis!

Prapremiera "Algebry Kubusia" to dzień 17-04-2022.
Od tego czasu kilkakrotne przeczytałem AK za każdym razem nanosząc uproszczenia mające na celu lepsze dotarcie do ziemskich matematyków, bo tylko o nich tu chodzi, to od nich zależy czy algebra Kubusia zaistnieje na naszej ziemi.

Dzisiaj 03-05-2022 publikuję AK ze sporą ilością poprawek, tak więc ponownie zachęcam do czytania AK od początku.
Wszystkim, którzy ściągnęli sobie AK w pdf zalecam skasowanie starej wersji i ściągnięcie nowej z dnia 03-05-2022.

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

[rafal3006]

Ile potrwa vacatio legis?

Myślę, że właśnie dopisałem ostatni rozdział „Algebry Kubusia” (punkt 12.0):
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-17-04-2022,20453-25.html#658061

W dopisanym punkcie 12.0 wyjaśniam matematykom którzy kiedykolwiek napisali samodzielnie program komputerowy fundamentalną różnicę miedzy operatorem równoważności p|<=>q gdzie nie ma mowy o jakimkolwiek „rzucaniu monetą” w sensie „na dwoje babka wróżyła” a operatorami implikacji prostej p||=>q i odwrotnej p||~>q gdzie „rzucanie monetą” obligatoryjnie występuje.

Wniosek:
Operatory implikacji prostej p||=>q i odwrotnej p||~>q są idiotyzmem w świecie techniki i nigdy nie znajdą tu zastosowania.
To tłumaczy fakt, dlaczego ziemscy matematycy, mając 2500 lat czasu (od Sokratesa) do tej pory nie odkryli poprawnych definicji operatorów implikacji prostej p||=>q i odwrotnej p||~>q.

Ile potrwa vacatio legis?

Moja odpowiedź brzmi:
Nie wiem

Nie mam się do czego spieszyć bo wiem, że na forach matematycznych czekają na mnie krwiożerczy fanatycy Klasycznego Rachunku Zdań i ataki ad personam, zamiast rzeczowej dyskusji na temat „Algebry Kubusia” i definicji tu występujących.
Przykłady:
[link widoczny dla zalogowanych]

[rafal3006]

Znalazłem ten słynny dowód Irbisola jakoby w języku polskim zachodziła tożsamość:
Nigdy nie = zawsze tak!
Czyli:
Nigdy nie chodzę do kina = zawsze chodzę do kina

http://www.sfinia.fora.pl/forum-kubusia,12/elementarz-algebry-boole-a-irbisol-macjan-str-10,2605-25.html#44613
Wysłany: Nie 11:51, 28 Paź 2007

[rafal3006]

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

[rafal3006]

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

[rafal3006]

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.

[rafal3006]

[link widoczny dla zalogowanych]

[rafal3006]

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.

[rafal3006]

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.

[rafal3006]

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]

[rafal3006]

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]

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

[rafal3006]

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

[rafal3006]

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

[rafal3006]

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.

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
9.3 Przedszkole równoważności p<=>q

Spis treści
9.3 Przedszkole równoważności p<=>q 1
9.3.1 Największa tragedia ziemskiej matematyki 3
9.4 Podstawowa teoria równoważności p<=>q 6
9.4.1 Diagram równoważności p<=>q w zbiorach/zdarzeniach 7
9.4.2 Szybka analiza równoważności p<=>q 8
9.5 Równoważności p<=>q w zbiorach minimalnych 9
9.5.1 Operator równoważności p|<=>q w zbiorach minimalnych 11
9.5.3 Związek teorii zbiorów minimalnych z teorią zbiorów nieskończonych 15



9.3 Przedszkole równoważności p<=>q

Przypomnijmy sobie definicje podstawowe: