Ś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.
: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/

40.0 Geneza rozszyfrowywania algebry Kubusia
W tym punkcie opisano genezę rozszyfrowania algebry Kubusia, która została odkryta totalnie przypadkowo, poprzez „przypadkowy” zbieg okoliczności

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?