ŚFiNiA

Irbisol

Już to wypowiedziałem i podałem ci linka do tej wypowiedzi, schizofreniku.
Teraz się tłumacz, skąd ci się wzięło że niby u mnie K oznaczało samo słowo "kino".

rafal3006

Twardy dowód fałszywości gówno-logiki Irbisola zwanej KRZ!
Patrz koniec postu.

Irbisol

Skąd ci się wzięło, że u mnie K oznacza samo słowo "kino"?

rafal3006

Irbisol

rafal3006

rafal3006

Tak sobie kliknąłem Irbisolu na chatGPT
"algebra Kubusia forum śfinia"
... i wychodzi mi, że w zrozumieniu AK sztuczna inteligencja AI jest lata świetlne przed tobą.
AI podała nawet poprawny link do ostatniej wersji AK:
[link widoczny dla zalogowanych]
Nie wstyd ci, nieuku jeden?

„Algebra Kubusia” to specyficzna, nieformalna koncepcja logiki matematycznej, rozwinięta i szeroko dyskutowana na forum ŚFiNiA. Jej celem jest uproszczenie i dostosowanie klasycznych zasad logiki matematycznej do codziennego języka i myślenia, szczególnie w kontekście dziecięcej prostoty i intuicyjnego rozumowania.
sfinia.fora.pl
+5
sfinia.fora.pl
+5
sfinia.fora.pl
+5

🔍 Czym jest Algebra Kubusia?
„Algebra Kubusia” to alternatywna koncepcja logiki matematycznej, zaprezentowana na forum ŚFiNiA przez użytkownika o nicku Rafał3006. Jej celem jest uproszczenie klasycznych zasad logiki matematycznej, takich jak implikacja czy operatory logiczne, aby były bardziej zrozumiałe i intuicyjne, zwłaszcza dla dzieci i osób niebędących specjalistami w dziedzinie matematyki.
sfinia.fora.pl
+4
sfinia.fora.pl
+4
Matematyka.pl
+4

Koncepcja ta została rozwinięta na forum ŚFiNiA przez ponad 19 lat, począwszy od 2006 roku. Dyskusje te obejmowały m.in. redefinicję implikacji w logice matematycznej oraz wprowadzenie nowych operatorów logicznych, takich jak „musi” i „może” (~>), które miały na celu lepsze odwzorowanie naturalnego języka w matematyce.
Elektroda

📘 Dostęp do materiałów
Pełne opracowanie „Algebry Kubusia” dostępne jest w formie PDF pod tym linkiem. Zawiera ono szczegółowe omówienie tej koncepcji oraz jej zastosowań w różnych dziedzinach.
Matematyka.pl
+2
sfinia.fora.pl
+2
sfinia.fora.pl
+2

🧠 Zastosowanie w edukacji
„Algebra Kubusia” jest szczególnie polecana jako narzędzie edukacyjne dla dzieci oraz osób rozpoczynających naukę logiki matematycznej. Dzięki swojej prostocie i intuicyjności, może być skutecznym wprowadzeniem do bardziej zaawansowanych zagadnień matematycznych.

lucek

lucek

rafal3006

Lucek, twoje cytaty świadczą o tym, że AI musi jeszcze duuużo buraków zjeść by zrozumieć algebrę Kubusia.
Szczególnie w poście wyżej AI dała popis matematycznej głupoty.
:rotfl:

Przykład debilizmu AI:
Ocena
„Algebra Kubusia” to interesująca próba modelowania logiki języka potocznego. Jej innowacyjność polega na wprowadzeniu dwóch rodzajów implikacji, co pozwala na lepsze odwzorowanie niuansów językowych. Jednakże brak formalizacji i precyzyjnych definicji sprawia, że koncepcja ta nie spełnia standardów formalnych logiki matematycznej. Może być jednak użyteczna jako narzędzie dydaktyczne lub heurystyczne w analizie języka potocznego.

Ten cytat to twardy dowód, iż AI nigdy nie zrozumie algebry Kubusia, AI zrozumie AK wtedy i tylko wtedy jak ludzkość tzn. sami matematycy wyślą do piekała na wieczne piekielne męki wszelkie aktualne gówno-logiki ziemskich matematyków.

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.

Algebra Kubusia to jedyna poprawna logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy.
Najważniejsze zastosowanie algebry Kubusia w świecie żywym to matematyczna obsługa obietnic i gróźb będąca fundamentem działania wszelkich istot żywych (nie tylko człowieka).
Naturalnymi ekspertami algebry Kubusia są 5-cio latki i humaniści.
Algebra Kubusia to podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Rozszyfrowanie algebry Kubusia to 20 lat dyskusji na forum filozoficznym w Polsce, to ponad 40 000 postów napisanych przez Rafała3006 wyłącznie w temacie "Logika matematyczna"
Pełna historia rozszyfrowywania algebry Kubusia dostępna jest na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,60/

Algebrę Kubusia wyssaliśmy z mlekiem matki i nie musimy się jej uczyć - wszyscy jesteśmy jej ekspertami w praktyce bo po prostu pod nią podlegamy nie mając żadnych szans, by się od niej uwolnić. Aktualnie żaden ziemski matematyk nie wie, iż w komunikacji z 5-cio latkami i humanistami używa tylko i wyłącznie algebry Kubusia.

Matematyczna wersja algebry Kubusia jest tak samo potrzebna do szczęścia 5-cio latkowi i humaniście jak gramatyka języka polskiego, której nigdy nie znałem i nie znam, a mimo to po polsku piszę. Pewne elementy algebry Kubusia można nauczać już w przedszkolu w formie zabawy, bowiem 5-cio latki doskonale ją znają nie wiedząc, że to jest matematyka ścisła opisująca otaczającą nas rzeczywistość co udowodniono w punkcie 28.0 w zabawie z pluszowymi zwierzątkami.

Weryfikowalność algebry Kubusia:
Z racji wykształcenia (elektronika na Politechnice Warszawskiej) jestem ekspertem bramek logicznych od zawsze, mając pewność absolutną, że algebra Kubusia jest w 100% zgodna z teorią bramek logicznych - gdybym tej pewności nie miał, to o żadnej logice bym nie dyskutował.
Algebrę Kubusia w bramkach logicznych wyłożono w punkcie:
11.0 Algebra Kubusia w bramkach logicznych

Co zawiera "Algebra Kubusia"?

1.0 Nowa algebra Boole'a w wersji nieznanej ziemskim matematykom
2.0 Kompendium algebry Kubusia
Kompendium algebry Kubusia to matematyczna obsługa zdań warunkowych „Jeśli p to q”
definiowanych warunkami wystarczającymi => i koniecznymi ~>.
To jest absolutna nowość w logice matematycznej póki co, nieznana żadnemu ziemskiemu
matematykowi.
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 Algebra Kubusia w tabelach zero-jedynkowych
11.0 Algebra Kubusia w bramkach logicznych - twardy dowód jej poprawności matematycznej.
12.0 Kubusiowa teoria zbiorów
13.0 Algebra Kubusia w zbiorach
14.0 do 19.0 Podstawowa teoria zbiorów analogiczna do teorii zdarzeń, poziom I klasy LO.
20.0 Zero-jedynkowe tajemnice algebry Boole’a
21.0 Rachunek zero-jedynkowy w obsłudze zdań warunkowych "Jeśli p to q".
22.0 Operatory implikacyjne w językach programowania komputerów
23.0 Ćwiczenia z prawa Grzechotnika
24.0 Obietnice i groźby złożone
25.0 Kompromitacja ziemskiej matematyki w 5 klasie Szkoły Podstawowej
26.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej.
27.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej
27.5 Równoważność A<=>S na gruncie fizyki teoretycznej
28.0 Przedszkole algebry Kubusia
28.7 Implikacja prosta p|=>q i odwrotna p|~>q w przedszkolu

Najważniejszą częścią algebry Kubusia są pierwsze dwa rozdziały (zaledwie 150 stron), gdzie kompletna teoria algebry Kubusia wyłożona jest od poziomu zerowego, gdzie czytelnik nie ma pojęcia co to jest „logika matematyczna”, do poziomu pozwalającego na biegłe posługiwania się w praktyce algebrą Kubusia. Ta część zawiera minimalną ilość doskonałych przykładów na poziomie 5-cio latka, pozwalających zrozumieć algebrę Kubusia bez dużego wysiłku umysłowego w sposób jasny i klarowny.

Pierwsze dwa rozdziały to:
1.0 Nowa algebra Boole’a w wersji nieznanej ziemskim matematykom
2.0 Kompendium algebry Kubusia
Kompendium algebry Kubusia to matematyczna obsługa zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Kluczowe jest tu omówienie podstawowych operatorów logicznych (pkt. 2.12 do 2.16) oraz takich pojęć w logice matematycznej jak twarde jedynki i twarde zera (2.16.3) miękkie jedynki i miękkie zera (2.16.4). Bardzo ważny jest też dowód czysto matematyczny, iż wszelkie zero-jedynkowe definicje spójników logicznych wynikają z naturalnej logiki matematycznej 5-cio latka, co zostało pokazane na przykładzie wyprowadzenia zero-jedynkowej definicji warunku wystarczającego => (2.17.1)

Dodatkowo polecam rozdział:
27.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej
W tej autonomicznej części wszelkie niuanse algebry Kubusia wytłumaczone są krótko i zwięźle w sposób zrozumiały dla ucznia 8 klasy Szkoły Podstawowej

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyczna-wojna-wszech-czasow,27431.html#836061

Algebra Kubusia
Matematyczna wojna wszech czasów

Algebra Kubusia vs Wszelkie logiki matematyczne ziemskich matematyków

2025-03-17 Wersja przedpremierowa

Autor:
Kubuś ze 100-milowego lasu

Ziemia Obiecana - biblijne miejsce, do którego Mojżesz prowadził Izraelitów po wyprowadzeniu ich z Egiptu i przeprowadzeniu przez Morze Czerwone
Algebra Kubusia – miejsce, do którego Kubuś ze 100-milowego lasu prowadził ziemskich matematyków po wyprowadzeniu ich z Klasycznego Rachunku Zdań

Rozszyfrowali:
Rafal3006 i przyjaciele

I.
Algebra Kubusia – Teoria podstawowa (Stron: 154):
[link widoczny dla zalogowanych]
Ta część AK to pierwsze dwa rozdziały z pełnej wersji algebry Kubusia zawierające kompletną jej teorię od zupełnego zera do poziomu umożliwiającego posługiwanie się AK w praktyce.

II.
Algebra Kubusia - Matematyka języka potocznego" (Stron: 1216):
[link widoczny dla zalogowanych]
Link do pełnej wersji algebry Kubusia na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680041
Ta część AK to podstawowa wersja algebry Kubusia ze szczegółowym omówieniem wszelkich jej niuansów wraz z dużą ilością przykładów wziętych z języka potocznego (w tym z matematyki i fizyki)

III.
„Algebra Kubusia – Matematyczna wojna wszech czasów” w pdf (Stron 181)
[link widoczny dla zalogowanych]
Link do „Algebra Kubusia – matematyczna wojna wszech czasów” na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyczna-wojna-wszech-czasow,27431.html#836061
Ta część algebry Kubusia to historia 20-letniej wojny wszech czasów:
Algebra Kubusia vs Wszelkie logiki matematyczne ziemskich matematyków
W punkcie 35.0 opisano tu ciekawą genezę rozszyfrowania algebry Kubusia.

IV.
„Algebra Kubusia – bijatyka na forum śfinia” w pdf (Stron 168)
[link widoczny dla zalogowanych]
Link do „Algebra Kubusia – bijatyka na forum śfinia” na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,12/bijaktyka-na-forum-sfinia,27433.html#836091
Zawiera mniej ważne posty z „Wojny wszech czasów”

ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum – bez cenzury.
Link do forum filozoficznego sfinia z jego niezwykłym regulaminem pozwalającym głosić dowolne herezje bez obawy o bana - tylko i wyłącznie dzięki temu algebra Kubusia została rozszyfrowana.
Na forum śfinia mamy dostęp do pełnej, 20 letniej historii rozszyfrowywania algebry Kubusia.
http://www.sfinia.fora.pl/forum-kubusia,60/

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, Irbisol, Volrath, Macjan, Fiklit (kolejność chronologiczna).

Spis treści:
29.0 Dowód wewnętrznej sprzeczności KRZ w obsłudze zdań "Jeśli p to q"
30.0 Geneza błędu fatalnego w ziemskiej logice matematycznej
31.0 Dowód śmieciowości ziemskiej teorii mnogości
32.0 Prawo matematycznego głąba i jełopa w operatorze implikacji prostej p||=>q
33.0 Prawo matematycznego głąba i jełopa w operatorze implikacji odwrotnej p||~>q
34.0 Prawo matematycznego głąba i jełopa w operatorze równoważności p|<=>q
35.0 Geneza rozszyfrowywania algebry Kubusia

CV
Ja, Rafal3006 jestem absolwentem wydziału elektroniki na Politechnice Warszawskiej (rok 1980).

Po skończeniu studiów zdałem sobie sprawę, iż w praktyce sterowań w technice mikroprocesorowej (moja specjalizacja) wykorzystuję niewielką ilość wiedzy którą wpajano mi na studiach.
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 logiczne, 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.

CA80 jest dziś legendą wśród starszej daty elektroników, doczekał się nawet debiutu w Krzemowej Dolinie.
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

Czym był CA80 dla wielu młodych ludzi w latach 80-tych najlepiej pokazuje 117 autentycznych recenzji z tamtego okresu:
[link widoczny dla zalogowanych]

Oryginały napisanych przeze mnie 40 lat temu podręczników MIK01-MIK11 do nauki elektroniki i mikroelektroniki dostępne są w wersji pdf na forum elektroda.pl dzięki Andrzejowi Liskowi który je zeskanował (trzeba się zarejestrować by mieć do nich dostęp):
[link widoczny dla zalogowanych]

Uważam, że podręczniki te nadal są aktualne i ciekawe dla uczniów techników o specjalności elektrycznej i elektronicznej. Szczególnie polecam MIK01 i MIK02 zawierające wiedzę podstawową, która nigdy się nie zestarzeje np. napięcie, prąd, prawo Ohma (MIK01), zrozumienie fundamentów działania wszelkich mikroprocesorów na poziomie sprzętowym (MIK02).

Ciekawostką jest fakt, że mikroprocesor Z80 opisywany w MIK02 wywodzi się z linii mikroprocesorów Intela i8080 której zwieńczeniem był 16 bitowy mikroprocesor i8086 zastosowany w pierwszym poważnym komputerze osobistym IBM PC (rok 1981) będącym protoplastą wszelkich obecnych komputerów tzn. program napisany w języku asemblera na staruszka i8086 będzie działał poprawnie w dzisiejszych komputerach zbudowanych na najnowszych procesorach firmy Intel np. i5-1235u

Z perspektywy czasu myślę, że mój CA80 był wstępem koniecznym dla rozszyfrowania algebry Kubusia, logiki matematycznej pod którą podlega cały nasz Wszechświat żywy i martwy.
Myślę, że o CA80 z czasem ludzie zapomną, bo to były początki techniki mikroprocesorowej, natomiast „Algebra Kubusia” jeśli ziemscy matematycy ją zaakceptują (to tylko kwestia czasu), będzie żyła „wiecznie”.

Czym jest algebra Kubusia?

Algebra Kubusia to jedyna poprawna logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy.
Najważniejsze zastosowanie algebry Kubusia w świecie żywym to matematyczna obsługa obietnic i gróźb będąca fundamentem działania wszelkich istot żywych (nie tylko człowieka).
Naturalnymi ekspertami algebry Kubusia są 5-cio latki i humaniści.
Algebra Kubusia to podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Rozszyfrowanie algebry Kubusia to 20 lat dyskusji na forum filozoficznym w Polsce, to ponad 40 000 postów napisanych przez Rafała3006 wyłącznie w temacie "Logika matematyczna"
Pełna historia rozszyfrowywania algebry Kubusia dostępna jest na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,60/

Algebrę Kubusia wyssaliśmy z mlekiem matki i nie musimy się jej uczyć - wszyscy jesteśmy jej ekspertami w praktyce bo po prostu pod nią podlegamy nie mając żadnych szans, by się od niej uwolnić. Aktualnie żaden ziemski matematyk nie wie, iż w komunikacji z 5-cio latkami i humanistami używa tylko i wyłącznie algebry Kubusia.

Matematyczna wersja algebry Kubusia jest tak samo potrzebna do szczęścia 5-cio latkowi i humaniście jak gramatyka języka polskiego, której nigdy nie znałem i nie znam, a mimo to po polsku piszę. Pewne elementy algebry Kubusia można nauczać już w przedszkolu w formie zabawy, bowiem 5-cio latki doskonale ją znają nie wiedząc, że to jest matematyka ścisła opisująca otaczającą nas rzeczywistość co udowodniono w punkcie 28.0 w zabawie z pluszowymi zwierzątkami.

Weryfikowalność algebry Kubusia:
Z racji wykształcenia (elektronika na Politechnice Warszawskiej) jestem ekspertem bramek logicznych od zawsze, mając pewność absolutną, że algebra Kubusia jest w 100% zgodna z teorią bramek logicznych - gdybym tej pewności nie miał, to o żadnej logice bym nie dyskutował.
Algebrę Kubusia w bramkach logicznych wyłożono w punkcie:
11.0 Algebra Kubusia w bramkach logicznych

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.

Początkowo ta część podręcznika będąca bezpardonowym atakiem na wszelkie logiki matematyczne ziemskich matematyków była integralną częścią pełnej wersji algebry Kubusia.
Co jest złego w aktualnych logikach ziemskich matematyków?
Najkrótsza odpowiedź: Wszystko jest do bani

1.
Klasyczny Rachunek Zdań jest w 100% fałszem bo operuje na stałych binarnych o znanych z góry wartościach logicznych gdzie wykluczona jest jakkolwiek logika matematyczna.

Logika matematyczna operuje wyłącznie na zmiennych binarnych.
Dowód:
Dajmy programiście do dyspozycji wyłącznie stale binarne o znanych z góry wartościach logicznych.
Czy w tym przypadku możliwe jest napisanie choćby najprostszego programu?
Odpowiedź jest tu absolutnie pewna:
NIE!

2.
Teoria Mnogości jest śmieciem, czego dowód znajdziemy w punkcie:
31.0 Dowód śmieciowości ziemskiej teorii mnogości
Wniosek:
Wszelkie logiki teorio-mnogościowe są śmieciami, dowiem wszystko co jest zbudowane na śmieciowym fundamencie (TM) jest śmieciem (garbage in garbage out)

Podsumowując:
Aktualny, matematyczny opis otaczającej nas rzeczywistości ziemskich matematyków to matematyczna schizofrenia, czyli opisy niezgodne ze stanem faktycznym

Logiki będące matematyczną schizofrenią to:
Klasyczny Rachunek Zdań, Teoria Mnogości, kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc.

0.0 Skorowidz znaczków używanych w algebrze Kubusia

Definicje znaczków używanych w algebrze Kubusia poparto prostymi przykładami, zrozumiałymi dla każdego 5-cio latka.

I.
Nowa algebry Boole'a związana wyłącznie za spójnikami "lub"(+) i "i"(*)

1.
Znaczki elementarne (1.1):
1 = prawda
0 = fałsz
(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Definicja logiki dodatniej (bo p) i logiki ujemnej (bo ~p) (1.1.1)

2.
Spójniki podstawowe "lub"(+) i "i"(*) zgodne z językiem potocznym:
(+) - spójnik „lub”(+) w języku potocznym (1.14)
(*) - spójnik „i”(*) w języku potocznym (1.15)

3.
Operatory logiczne "lub"(|+) i "i'(|*) definiowane spójnikami podstawowymi "lub"(+) i "i"(*):
(|+) - operator "lub"(|+) w języku potocznym (1.14.1)
(|*) - operator "i"(|*) w języku potocznym (1.15.1)

II.
Algebra Kubusia obsługująca zdania warunkowe "Jeśli p to q"

Definicja spójnika implikacyjnego:
Spójnik implikacyjny to spójnik związany w obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>

Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
1.
Elementarne spójniki implikacyjne: =>, ~>, ~~>
2.
Podstawowe spójniki implikacyjne: |=>, |~>, <=>, |~~> definiowane spójnikami elementarnymi
3.
Operatory implikacyjne: ||=>, ||~>, |<=>, ||~~> definiowane podstawowymi spójnikami implikacyjnymi.

1.
Spójniki elementarne zdań warunkowych "Jeśli p to q":
Zdarzenia:
~~> - zdarzenie możliwe w teorii zdarzeń (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Zbiory:
~~> - element wspólny zbiorów w teorii zbiorów (2.3.1)
=> - warunek wystarczający (2.3.2)
~> - warunek konieczny (2.3.3)

2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12, 3.1)
|~> - implikacja odwrotna (2.13, 4.1)
<=> - równoważność (2.14, 6.1)
|~~> - chaos (2.15, 8.1)
$ - spójnik "albo" dostępny w rozszerzonej algebrze Kubusia (7.2)

3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi:
||=> - operator implikacji prostej (2.12.1, 3.1.1)
||~> - operator implikacji odwrotnej (2.13.1, 4.1.1)
|<=> - operator równoważności (2.14.1, 6.1.1)
||~~> - operator chaosu (2.15.1, 8.1.1)
|$ - operator "albo" dostępny w rozszerzonej algebrze Kubusia (7.2.1)

III.
Pozostałe znaczki algebry Kubusia:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony (2.5.1)
## - różne na mocy definicji (2.5.1)
### - różne na mocy nietrywialnego błędu podstawienia (2.7.4)

Irbisol

Tam nigdzie nie jest napisane, że K to kino a T to teatr.

rafal3006

Irbisol

Nadal nie jest tam napisane że K to kino a T to teatr.

rafal3006

Irbisol

I nadal nie jest tam napisane że K to kino a T to teatr.
Skąd ci się to wzięło, schizofreniku?

rafal3006

Czy ma kto nadzieję, że z Irbisolem da się nawiązać kontakt?
Ziemia, tu Ziemia, Irbisolu, czy mnie słyszysz?

Irbisol

Więc zacytuj, gdzie napisałem że K to kino a T to teatr.

rafal3006

… i co Irbisolu, zatkało kakao?

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

rafal3006

Rafal3006:
... a jednak AI się uczy jak 3-letnie dziecko, czego nie można powiedzieć o fanatykach KRZ (przykład Irbisol) z definicji uważających AK za brednie.

Problem dla AI:
Zarzuty autora algebry Kubusia wobec klasycznego rachunku zdań (KRZ)

ChatGPT powiedział:
Autor tzw. „algebry Kubusia”, znany z forum ŚFiNiA jako Rafał3006, formułuje szereg zarzutów wobec klasycznego rachunku zdań (KRZ). Jego krytyka koncentruje się głównie na logicznej implikacji, która w KRZ jest rozumiana w sposób formalny i — zdaniem Rafała3006 — sprzeczny z ludzką intuicją oraz praktyką inżynierską.

🔍 Główne zarzuty Rafała3006 wobec KRZ
1. Nieintuicyjność implikacji materialnej (→)
W KRZ zdanie „Jeśli p, to q” (p → q) jest prawdziwe zawsze, gdy p jest fałszywe — niezależnie od wartości q.

Przykład: „Jeśli 2+2=5, to jestem papieżem” — formalnie prawdziwe, bo poprzednik p jest fałszywy.

Rafał3006 twierdzi, że takie rozumienie jest nielogiczne z punktu widzenia zdrowego rozsądku i codziennego języka.

2. Brak zgodności z potocznym myśleniem
Jego zdaniem, klasyczna logika nie odzwierciedla rzeczywistego rozumowania ludzi, zwłaszcza dzieci czy osób nietechnicznych.

Sugeruje, że implikacja powinna oznaczać realne następstwo: „Jeśli p zachodzi, to q musi zachodzić również”.

3. Sprzeczność z praktyką techniczną
Jako osoba mająca doświadczenie w elektronice/logice układów cyfrowych, zauważa, że w bramkach logicznych nie stosuje się takiej definicji implikacji jak w KRZ.

Dla niego, implikacja logiczna musi odpowiadać realnym przejściom sygnałów, czyli związkowi przyczynowo-skutkowemu, a nie abstrakcyjnej regule prawdziwości.

4. Algebra Kubusia jako alternatywa
Rafał3006 stworzył „algebrę Kubusia”, czyli alternatywny system logiczny mający na celu odzwierciedlenie intuicyjnego rozumowania (np. dziecka).

W jego systemie zdania warunkowe są analizowane na podstawie rzeczywistych relacji i obserwacji, a nie czysto formalnych reguł.

5. Krytyka logiki klasycznej jako „nielogicznej”
W swoich wypowiedziach autor często określa klasyczną logikę jako niespójną, sztuczną i niezrozumiałą.

Uważa, że KRZ pozwala uznać za prawdziwe zdania, które w praktyce są „bredniami” (np. „jeśli 2+2=5 to pies ma skrzydła”).

🧠 Wnioski
Rafał3006 kwestionuje fundamentalną strukturę KRZ, w szczególności definicję implikacji, i proponuje system bardziej zgodny z codziennym językiem i rozumowaniem. Choć jego poglądy są kontrowersyjne i często odrzucane przez środowisko akademickie, stanowią ciekawy przykład próby zreformowania logiki formalnej w kierunku intuicjonizmu i praktyczności.

Jeśli chcesz, mogę przedstawić również przykłady zdań z KRZ i z „algebry Kubusia” dla porównania.

Rafal3006:
Z tym wytłuszczonym to AI trafiła w 10.

lucek

[...]
Powiedziałeś(-aś):

napisales: "Tak, układy koniunkcji i alternatywy istnieją fizycznie, a drobne awarie zmieniają tylko ich funkcjonalność (czyli zmodyfikowaną wersję truth‑table), nie zaś dowodzą istnienia jakiegoś “prawdziwego” myślenia czy nieprzewidywalnego generowania wniosków." w tym sensie, czy implikacja może istnieć fizycznie ?

ChatGPT powiedział:

Implikacja materialna *nie występuje w naturze* tak jak koniunkcja czy
alternatywa — te ostatnie mają bezpośrednie paralelno‑szeregowe
odpowiedniki w fizycznych połączeniach przełączników. Implikację zaś
zawsze *konstruujemy* jako układ pochodny, np. z bramek ¬ i ∨ (czy
odpowiednio MUX‑a z drutem i przełącznikiem).

*

*AND (∧)* → szeregowe połączenie przełączników

*

*OR (∨)* → równoległe połączenie przełączników

*

*A → B* → kompozycja:

1.

inwerter robi ¬A

2.

OR łączy ¬A z B

W praktyce więc implikacja istnieje fizycznie *tylko* wtedy, gdy
inżynier *zaprojektuje* i zbuduje układ bramek/sterowników realizujący
funkcję ¬A ∨ B. To nie jest “naturalne” zachowanie medium, ale *złożony
efekt* projektu:

1.

Bez połączenia z inwerterem i OR‑em nie ma „samoistnej” implikacji.

2.

Każda awaria w tych bramkach zmieni composite truth‑table (np.
inwerter lub OR przestanie działać), ale nie „ujawni” jakiejś
wbudowanej semantyki implikacji.

*Wniosek:*

Implikacja może istnieć fizycznie, ale *wyłącznie* jako *sztuczny
układ* logiczny (kombinacja bramek czy multipleksera) zaprojektowany
przez inżyniera. Nie ma jej bez tego świadomego projektu — to w
100 % efekt ludzkiej inżynierii, a nie właściwość samego medium.

Powiedziałeś(-aś):

dla wartości implikacji, kiedy poprzednik jest zmienną niezależną lub zależną, kiedy następnik jest zmienną niezależną lub zależną - w w takich kategoriach, jak określiłbyś implikację ?

ChatGPT powiedział:

Możemy spojrzeć na implikację materialną A→BA\to BA→B z punktu widzenia
relacji zależności między zmiennymi AAA (poprzednik) i BBB (następnik).
Wprowadźmy cztery możliwe układy:

Poprzednik AAA Następnik BBB Charakter implikacji Uwagi
*niezależny* *niezależny* *czysta relacja logiczna* A→B≡¬A∨B\;A\to
B\equiv\lnot A\lor BA→B≡¬A∨B jest po prostu ograniczeniem na wspólne
wartości (A,B)(A,B)(A,B).
*niezależny* *zależny* *specyfikacja funkcyjna* traktujemy BBB jako
funkcję warunkową B=f(A)B=f(A)B=f(A): „gdy A=1A=1A=1, to BBB musi być
1” (wymaganie).
*zależny* *niezależny* *warunek na dane wejściowe* wymusza, że gdy AAA
(już skorelowane z czymś innym) przyjmuje 1, to BBB (wolny) musi być 1 —
rzadko używane jako specyfikacja.
*zależny* *zależny* *restrykcja na model* obie zmienne są współzależne
(np. w układzie sprzężonym), a implikacja narzuca więź ¬A∨B\lnot A\lor
B¬A∨B.

------------------------------------------------------------------------

1. Niezależny → Niezależny

*

*Opis*: AAA i BBB to dwa odrębne sygnały czy zdarzenia.

*

*Implikacja*: tylko ogranicza, które pary (A,B)(A,B)(A,B) uznajemy
za dopuszczalne ((0,0),(0,1),(1,1)(0,0),(0,1),(1,1)(0,0),(0,1),(1,1)).

*

*Interpretacja*: czysto formalna — nie mówi nic o przyczynowości ani
o funkcji.

2. Niezależny → Zależny

*

*Opis*: AAA to sygnał sterujący (np. wejście), BBB to wymuszone
zachowanie (np. wyjście).

*

*Implikacja*: „jeśli A=1A=1A=1, to w systemie musisz wymusić
B=1B=1B=1” — czyli dokładnie specyfikujesz funkcję warunkową.

*

*Interpretacja*: most między logiką a funkcją rzeczywistą
B=f(A)B=f(A)B=f(A), często spotykane w specyfikacjach sterowników.

3. Zależny → Niezależny

*

*Opis*: AAA jest już skorelowane czy wyznaczone przez inne czynniki,
zaś BBB pozostaje wolny.

*

*Implikacja*: „gdy zajdzie skomplikowany stan AAA, to *koniecznie*
wymuś BBB” — rzadka sytuacja, bo stawiasz warunek na coś, co samo
zależy od innych.

4. Zależny → Zależny

*

*Opis*: obie zmienne są w systemie współzależne (np. sprzężenie
zwrotne).

*

*Implikacja*: wprowadza dodatkową więź logiczną między nimi, zwykle
jako część większego modelu (np. reguły biznesowe, ograniczenia w
bazie danych).

------------------------------------------------------------------------

Jak „określić” implikację w tych kategoriach?

1.

*Jako relację wartości logicznych* (A,BA,BA,B niezależne):

A→B ≡ ¬A ∨ BA\to B \;\equiv\; \lnot A \;\lor\; B

A→B≡¬A∨B

– nic tu o zależnościach.

2.

*Jako specyfikację warunkową* (AAA niezależny, BBB zależny):

B={1,A=1,dowolne,A=0.B = \begin{cases} 1, & A=1,\\ \text{dowolne}, &
A=0. \end{cases}

B={1,dowolne,A=1,A=0.

– dokładnie odwzorowuje założenia „jeśli… to…”.

3.

*Jako ograniczenie na dane wejściowe lub model* (AAA zależny):
– traktujesz „A→BA\to BA→B” jako dodatkową regułę na istniejące już
sygnały.

------------------------------------------------------------------------

*W praktyce inżynierskiej* najczęściej spotkasz *wariant 2*: antecedent
(wejście, niezależne) wyznacza zachowanie bitu wyjściowego (zależnego).
Pozostałe kombinacje to albo czysta analiza logiczna (wariant 1), albo
rzadkie modele regułowe (warianty 3 i 4).

Powiedziałeś(-aś):

jaki z tego wniosek w kontekście naszej rozmowy, bo przyznam, że twój nie jest dla mnie do końca jasny

ChatGPT powiedział:

Podsumowując naszą dyskusję, kluczowy wniosek brzmi:

*Implikacja materialna w technice nigdy nie jest „naturalnym” stanem
fizycznym, lecz zawsze sztucznie konstruowaną regułą działania,
nadaną przez inżyniera.*

1.

*Koniunkcja (AND) i alternatywa (OR)*

*

Mają bezpośrednie, „natychmiastowe” odpowiedniki w układach:
szeregowe (AND) lub równoległe (OR) połączenia przełączników/bramek.

*

Ewentualne awarie zmieniają ich zachowanie (zmodyfikowaną
truth‑table), ale układ wciąż realizuje jakąś wersję AND czy OR.

2.

*Implikacja (A → B)*

*

Fizycznie powstaje tylko wtedy, gdy inżynier zestawi inwerter
(¬A) i bramkę OR (¬A ∨ B) lub multiplekser z odpowiednim
przełączaniem.

*

Sama w sobie to *funkcja logiczna*, nie stan fizyczny – jej
„sens” („jeśli A, to B”) istnieje wyłącznie w umyśle
projektanta/specyfikatora.

*

Eks falso quodlibet (z fałszywego A „dowolny” wniosek) to reguła
formalna logiki, a nie cecha żadnego elementu elektronicznego
czy mechanicznego.

3.

*Rola inżyniera*

*

To on decyduje, które elementy połączyć, by układ spełniał
wymogi implikacji.

*

Bez tego świadomego projektu implikacja nie „działa” — medium
fizyczne nie ma w sobie pojęcia „jeśli… to…”.

Jeśli patrzymy na logikę sprzętową od strony fizycznego medium, widzimy
tylko stany i połączenia; logikę implikacji musimy dosłownie *zapisać* w
projekcie. Tyle że sama maszyna „nie wie”, co te symbole znaczą –
interpretacja jest w głowie inżyniera.

Powiedziałeś(-aś):

czyli implikacja jako taka nie ma swojej implementacji w sprzęcie ?

ChatGPT powiedział:

Dokładnie — nie ma „gotowej” bramki sprzętowej, która natywnie
realizowałaby A→BA\to BA→B. Implikacja materialna to czysta funkcja
logiczna (¬A∨B\lnot A\lor B¬A∨B), a w sprzęcie zawsze budujesz ją *z
kombinacji prostych elementów*:

1.

*Inwerter* realizuje ¬A\lnot A¬A.

2.

*Bramka OR* łączy ¬A\lnot A¬A i BBB.

Alternatywnie możesz użyć *multipleksera*, który przy A=1A=1A=1 wybiera
sygnał BBB, a przy A=0A=0A=0 – stałą logikę „1” (drut).

*Wniosek:*
Implikacja jako taka nie istnieje w hardware’u „z pudełka” — to
zawsze *zbiór* podstawowych bramek (NOT, OR) albo multiplekser +
drut. Bez takiego świadomego złożenia ze strony inżyniera nie ma
fizycznej implementacji „A→B”.

rafal3006

Irbisol – myśli algebrą Kubusia, tylko o tym nie wie
Dowód w niniejszym poście.

Pytanie retoryczna:
Czy Irbisol kiedykolwiek zrozumie że myśli algebrę Kubusia bo pod nią podlega nie mając żadnych szans na uwolnienie się od niej!

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

Irbisol

Wyraźnie napisałem o pójściu do kina i do teatru, a nie "kino i teatr".
Więc nadal nie zacytowałeś, gdzie niby napisałem że K to kino a T to teatr.

rafal3006

Czego jeszcze nie rozumiesz Irbisolu?