ŚFiNiA

[rafal3006]

… wszystko co chcecie, żeby ludzie wam czynili, wy też im podobnie czyńcie …
Ewangelia Mateusza 7:12


Podręcznik w oryginale:
Algebra Kubusia: Elementarz logiki człowieka

Szczególne podziękowania dla:
www.śfinia.fora.pl
Wuja Zbója - znakomitego nauczyciela małego Kubusia, dzięki któremu Kubuś nauczył się poprawnie patrzeć na algebrę Boole’a od strony matematycznej.
Volratha - za decydującą o wszystkim dyskusję
Macajna - za ciekawą dyskusję podczas której jako jedyny Ziemianin podał poprawną, matematyczną definicję warunku wystarczającego.

[link widoczny dla zalogowanych]
Fizyka, Windziarza i Sogorsa - za długą i ciekawą dyskusję
Quebaba - za fantastyczną, finałową dyskusję

[link widoczny dla zalogowanych]
Daggera, dzięki któremu postawiona została zawsze najważniejsza, kropka nad „i”.
Na forum [link widoczny dla zalogowanych] zapisano po raz pierwszy ogólne definicje znaczków =>, ~> i ~~>.


Kim jest Kubuś?

Kubuś, to wirtualny Internetowy Miś, teleportowany do ziemskiego Internetu przez zaprzyjaźnioną cywilizację z innego Wszechświata. Zadaniem Kubusia na Ziemi było rozpracowanie matematycznych fundamentów logiki człowieka. Po sześciu latach zmagań, z wielką pomocą przyjaciół ze śfinii.fora.pl, [link widoczny dla zalogowanych] i [link widoczny dla zalogowanych] zadanie zostało wykonane. Elementarz logiki człowieka to podręcznik matematyki do I klasy LO w 100-milowym lesie, mam nadzieję, że wkrótce trafi także do ziemskich szkół.

Uczeń powinien znać matematyczne definicje:
p=>q - warunku wystarczającego
p~>q - warunku koniecznego
p=>q = ~p~>~q - implikacji prostej
p~>q = ~p=>~q - implikacji odwrotnej
p<=>q = (p=>q)*(~p=>~q) - równoważności
Współczesna matematyka nie odróżnia warunku wystarczającego (kwantyfikatora dużego) od implikacji prostej, co jest błędem czysto matematycznym:
Warunek wystarczający: p=>q ## implikacja prosta: p=>q=~p~>~q
gdzie:
## - różne na mocy definicji

Interpretacja tabel zero-jedynkowych operatorów logicznych w algebrze Kubusia jest totalnie inna niż obowiązująca we współczesnej logice. Algebra Kubusia to także nowa teoria zbiorów opisana operatorami logicznymi, gdzie zbiory mają wartości logiczne 0 (zbiór pusty) albo 1 (zbiór niepusty).
Podręcznik składa się z trzech części. Humanistom i przedszkolakom wystarczy Elementarz plus "Algebra Kubusia w służbie lingwistyki", ale tylko ta najprostsza, bez zdań złożonych. Naturalnymi ekspertami algebry Kubusia są wszyscy ludzie na Ziemi, od 5-cio latka po profesora.
To jedyny dział matematyki, którego nie musimy się uczyć!
Czyż nie jest to piękne?

Myślę, że nikt nie umrze z powodu spojrzenia na logikę człowieka z punktu odniesienia Kosmitów, fundamentalnie innego niż aktualnie obowiązujący.

Przyjaciel Ziemian,
Kubuś - kosmita


Spis treści:

Część I
Algebra Kubusia: Elementarz logiki człowieka

1.0 Notacja
1.1 O co chodzi w algebrze Kubusia?

2.0 Zdania zdeterminowane i niezdeterminowane
2.1 Zdania proste

3.0 Kubusiowa teoria zbiorów
3.1 Operacje na zbiorach
3.2 Właściwości zbiorów

4.0 Operatory OR i AND w zbiorach
4.1 Operatory OR i AND w pigułce
4.2 Spójniki „i”(*) i „lub”(+)
4.3 Operator OR w zbiorach
4.4 Operator AND w zbiorach

5.0 Implikacja i równoważność w zbiorach
5.1 Implikacja i równoważność w pigułce
5.2 Implikacja prosta w zbiorach
5.3 Kwantyfikatory
5.4 Implikacja odwrotna w zbiorach
5.5 Równoważność
5.6 Aksjomatyczne definicje operatorów logicznych
5.7 Prawo kontrapozycji
5.8 Prawo eliminacji implikacji
5.9 Gwarancje matematyczne w implikacji i równoważności
5.10 Operator chaosu
5.11 Operator śmierci
5.12 Operatory logiczne w świecie zdeterminowanym

6.0 Nietypowe problemy logiki
6.1 Nietypowa równoważność
6.2 Wynikanie równoważnościowe |-
6.3 Samodzielny warunek wystarczający

Część II
Algebra Kubusia: Nie tylko dla Orłów

7.0 Równania algebry Kubusia
7.1 Tworzenie równań algebry Kubusia
7.2 Minimalizacja funkcji logicznych
7.3 Osiem równań opisujących operator OR
7.4 Osiem równań opisujących operator AND
7.5 Logika zero

8.0 Pozostałe operatory algebry Kubusia
8.1 Abstrakcyjny model operatora logicznego
8.2 Operatory logiczne ~~> i N(~~>)
8.3 Operatory transmisji P i Q
8.4 Operatory negacji NP i NQ

9.0 Algebra zbiorów rozłącznych
9.1 Operator XOR
9.2 Nietypowe warunki wystarczające

10.0 Definicje operatorów w bramkach logicznych
10.1 Algebra Kubusia - czyż nie jest piękna?

Część III
Algebra Kubusia w służbie lingwistyki

11.0 Złożone zdania naturalnego języka mówionego
11.1 Zdanie złożone ze spójnikiem „lub”(+)
11.2 Złożona implikacja prosta
11.3 Złożona implikacja odwrotna
11.4 Zdania złożone typu p+(q*r)
11.5 Zdania złożone typu p*(q+r)

12.0 Obietnice i groźby
12.1 Obietnica
12.2 Groźba
12.3 Obietnica w równaniach logicznych
12.4 Groźba w równaniach logicznych
12.5 Analiza złożonej obietnicy
12.6 Analiza złożonej groźby
12.7 Obietnice i groźby w ujęciu filozoficznym
12.8 Rodzaje obietnic


1.0 Notacja

Algebra Kubusia to algebra dwuelementowa gdzie znane są tylko dwie cyferki 0 i 1

Zmienna binarna:
Zmienna binarna to zmienna mogąca w osi czasu przyjmować wyłącznie dwie wartości 0 albo 1
Przykłady: p, q, r

~ - symbol przeczenia NIE
Fundament algebry Kubusia:
~1=0
~0=1
Wnioski:
Jeśli p=0 to ~p=1
Jeśli p=1 to ~p=0

Prawo podwójnego przeczenia:
p=~(~p)

Zera i jedynki w algebrze Kubusia oznaczają:
1 - zbiór niepusty (zbiór istnieje, sytuacja możliwa), zdanie prawdziwe
0 - zbiór pusty (zbiór nie istnieje, sytuacja niemożliwa), zdanie fałszywe
Zdanie w sensie matematycznym, to zdanie któremu da się przypisać prawdę lub fałsz.

Przykład:
Jutro będzie padało
Matematycznie powyższe zdanie jest równoważne zdaniu:
Jutro na pewno => będzie padało
J=>P =?
To nie jest zdanie w sensie matematycznym, bo nie da się określić jego prawdziwości.
Zbiór „będzie padło” może okazać się zbiorem pustym (gdy nie będzie padać), albo zbiorem niepustym (gdy będzie padać).
To zdanie może więc być albo prawdziwe, albo fałszywe.

ale!

Jutro może padać
J~~>P=1
To jest zdanie prawdziwe w sensie matematycznym
~~> - naturalny spójnik „może”, wystarczy sama możliwość zaistnienia.

# - różne
Zbiór niepusty # zbiór pusty
Prawda # Fałsz
1 # 0

## - różne na mocy definicji

Prawa de’Morgana:
Prawa de’Morgana to pełne definicje operatorów OR i AND zapisane w równaniach algebry Kubusia.
p+q = ~(~p*~q) ## p*q = ~(~p+~q)
Definicja operatora OR ## Definicja operatora AND

Prawa Kubusia:
Prawa Kubusia to pełne definicje operatorów implikacji prostej i odwrotnej zapisane w równaniach algebry Kubusia.
p=>q = ~p~>~q ## p~>q = ~p=>~q
Definicja operatora implikacji prostej ## Definicja operatora implikacji odwrotnej

Po obu stronach znaku ## mamy do czynienia z izolowanymi układami logicznymi pomiędzy którymi nie zachodzą żadne tożsamości matematyczne.

= - znak tożsamości

Tożsamość zbiorów:
A = B - identyczne elementy w zbiorach A i B

Tożsamość bramek logicznych:
Y = p*q = ~(~p+~q) - identyczne bramki logiczne
W dowolnym układzie logicznym w miejsce bramki:
Y=p*q
można wstawić bramkę:
Y = ~(~p+~q)
Takie bramki z punktu widzenia logiki są nierozróżnialne (tożsame), czyli generują identyczne tabele zero-jedynkowe (funkcje logiczne).

:= - symbol redukcji do funkcji minimalnej
Dla zbiorów rozłącznych p i q zachodzi:
p*~q := p

Spójniki logiczne w algebrze Kubusia
W całej matematyce mamy zaledwie sześć spójników logicznych.
Operatory OR i AND:
* - spójnik „i” w mowie potocznej
+ - spójnik „lub” w mowie potocznej
Operatory implikacji i równoważności:
=> - warunek wystarczający, spójnik „musi” w całym obszarze matematyki
~> - warunek konieczny, spójnik „może” w implikacji
[~>] - wirtualny warunek konieczny w równoważności, nie jest to spójnik „może”
~~> - naturalny spójnik „może” wystarczy pokazać jeden przypadek prawdziwy
<=> - wtedy i tylko wtedy

Notacja szczególna w implikacji:
W implikacji prostej zbiór p musi zawierać się w zbiorze q
stąd:
Definicja warunku wystarczającego:
A: p=>q = p*q =p
B: p~~>~q = p*~q =0 - bo zbiory p i ~q są rozłączne
Zapis A oznacza, że warunek wystarczający => zachodzi dla dowolnego elementu zbioru p*q=p

Kolejność wykonywania działań:
nawiasy, „i”(*), „lub”(+), =>, ~>, ~~>
W spójnikach =>, ~>, ~~> kolejność nie ma znaczenia bo są to operatory wyłącznie dwuargumentowe, czyli po lewej i prawej stronie tego znaku może być wyłącznie funkcja logiczna ze spójnikami „i”(*) oraz „lub”(+)

Zdanie:
Zdanie w algebrze Kubusia to poprawne lingwistycznie zdanie sensowne któremu można przypisać prawdę lub fałsz, zrozumiałe dla człowieka.

Zdanie warunkowe:
Jeśli p to q
gdzie:
p - poprzednik
q - następnik
W algebrze Kubusia w zdaniu „Jeśli p to q” poprzednik musi być powiązany z następnikiem warunkiem wystarczającym => lub koniecznym ~> albo naturalnym spójnikiem „może” ~~>, wystarczy pokazać jeden przypadek prawdziwy. Inaczej zdanie jest fałszywe.

Symboliczna definicja operatora logicznego:
Operator logiczny to odpowiedź układu na wszystkie możliwe przeczenia p i q

Prawo Sowy:
W świecie totalnie zdeterminowanym, gdzie znamy z góry wartości logiczne p i q, dowolny operator logiczny ulega redukcji do operatora AND.
Prawo Sowy wynika bezpośrednio z symbolicznej definicji operatora logicznego.

Definicje operatorów logicznych zapisane są dla świata totalnie niezdeterminowanego, gdzie nie znamy z góry wartości logicznej ani p, ani też q. Wynika to bezpośrednio definicji operatora i prawa Sowy.

Definicja algebry Kubusia:
Algebra Kubusia to matematyczny opis otaczającej nas rzeczywistości, w tym nieznanej przyszłości.

Zmienna binarna:
Zmienna binarna to zmienna mogąca przyjmować w osi czasu wyłącznie dwie wartości 0 albo 1.
Przykłady zmiennych binarnych:
p, q, Y

Funkcja logiczna:
Funkcja logiczna (Y - wyjście cyfrowe w układzie logicznym) to funkcja n-zmiennych binarnych połączonych spójnikami „i”(*) albo „lub”(+) mogąca w osi czasu przyjmować wyłącznie 0 albo 1 w zależności od aktualnej wartości zmiennych binarnych.
Y - funkcja logiczna
Przykład:
Y=p*q+p*~q+~p*q

Definicja logiki dodatniej i ujemnej:
W operatorach OR i AND, funkcja logiczna Y zapisana jest w logice dodatniej wtedy i tylko wtedy gdy nie jest zanegowana.
Y=p*q - logika dodatnia bo Y
~Y=p*q - logika ujemna bo ~Y
W operatorach implikacji funkcja logiczna p=>q zapisana jest w logice dodatniej gdy q jest niezanegowane.
p=>q - logika dodatnia bo q
~p~>~q - logika ujemna bo ~q

Prawo przejścia do logiki przeciwnej:
Negujemy zmienne i wymieniamy spójniki na przeciwne
1.
Y=p+q
~Y=~p*~q
2.
p=>q
~p~>~q
3.
(p+q) => (r*s)
(~p*~q)~>(~r+~s)

Fundament algebry Kubusia:
p+~p=1
p*~p=0

Kubusiowa teoria zbiorów:

W algebrze Kubusia rozróżniamy:
p=[1,2,3,4]
Konkretny zbiór z wyszczególnieniem wszystkich jego elementów ujętych w nawias kwadratowy.

od wartości logicznej zbioru!

W algebrze Kubusia zbiory mają wartość logiczną:
p=1 - zbiór niepusty, zawierający przynajmniej jeden element
p=0 - zbiór pusty, nie zawierający żadnego elementu

Wartość logiczna zbioru to cyferki 0 albo 1, podane bez nawiasów kwadratowych.

p=[] - zbiór pusty, nie zawierający żadnego elementu
p=0 - wartość logiczna zbioru pustego
p=[1,2,3,4] - zbiór niepusty, zawierający przynajmniej jeden element
p=1 - wartość logiczna zbioru niepustego

Dziedzina:
Zbiór który spełnia fundament algebry Kubusia:
p+~p=1
p*~p=0

p=[1,2,3,4] - zbiór niepusty, zawierający przynajmniej jeden element

Dziedzina: Zbiór liczb naturalnych
p=[1,2,3,4]
~p = [5->oo]
5->oo - zbiór liczb naturalnych od 5 do nieskończoności

p+~p = 1+1 = 1 - zbiór pełny, tu zbiór liczb naturalnych
Zbiory p i ~p istnieją (p=1 i ~p=1), zbiór ~p jest dopełnieniem do dziedziny zbioru liczb naturalnych, stąd w wyniku 1
p*~p = 1*1 = 0 - iloczyn logiczny zbiorów rozłącznych jest zbiorem pustym
Zbiory p i ~p istnieją (p=1 i ~p=1), ale są rozłączne, stąd wynik iloczynu logicznego jest równy 0

Nasz Wszechświat:
P= pies (zbiór jednoelementowy)
Dziedzina: Zbiór wszystkich zwierząt

P - zbiór psów
~P - zbiór pozostałych zwierząt (kura, wąż, słoń …)
P+~P=1 - zbiór wszystkich zwierząt
Zbiory P i ~P istnieją (P=1 i ~P=1), zbiór ~P jest dopełnieniem zbioru P do dziedziny zbioru wszystkich zwierząt
P*~P=0 - iloczyn logiczny psów i NIE psów jest równy 0, zbiory rozłączne


1.1 O co chodzi w algebrze Kubusia?

W dzisiejszej logice matematycznej króluje Klasyczny Rachunek Zdań i Predykatów (KRZiP).
Fundamentem KRZiP jest Klasyczny Rachunek Zdań (KRZ).
KRZ techniczny tylko i wyłącznie to prawa rachunku zero-jedynkowego („przemiatanie” tabel zero-jedynkowych) bez żadnej interpretacji zer i jedynek w stylu:
1=prawda
0=fałsz
Dowolne prawo KRZ musi mieć swój dowód w rachunku zero-jedynkowym.
KRZ jest w 100% zgodny z algebrą Kubusia, ale chodzi w nim wyłącznie o sprzęt (hardware), natomiast naturalna logika człowieka to program (software), czyli poprawna interpretacja zer i jedynek w operatorach logicznych. Sprzęt bez oprogramowania to tylko nikomu niepotrzebna kupa złomu. Z punktu widzenia sprzętu (KRZ) wszystkie operatory logiczne są zbędne za wyjątkiem jednego, NAND (albo NOR, =>, ~>). Szczegóły poznamy w punkcie. 5.7.

Definicje implikacji w algebrze Kubusia.
Definicja implikacji prostej:
p=>q = ~p~>~q
Definicja implikacji odwrotnej:
p~>q = ~p=>~q
gdzie:
=> - warunek wystarczający, spójnik „na pewno” („musi”) w całym obszarze matematyki
~> - warunek konieczny, w implikacji spójnik „może” („rzucanie monetą”)

Nie ma implikacji ani prostej, ani odwrotnej, bez najzwyklejszego rzucania monetą, czyli warunku koniecznego ~>, spójnika „może”.

KRZiP o tym nie wie.
Dla niego logika matematyczna to wyłącznie: musi, musi, musi …
a to oznacza matematykę generującą zdania prawdziwe w stylu:
Jeśli krowa szczeka to Księżyc krąży wokół Ziemi
KS=>KK =1
Szczekanie krowy jest warunkiem wystarczającym na to, aby Księżyc krążył dookoła Ziemi.
Autentyczny dowód w wykonaniu eksperta KRZiP:
… udowodnij że w innym Wszechświecie to niemożliwe
… a widzisz, nie potrafisz, dlatego to zdanie jest prawdziwe

Nie ma logiki matematycznej bez operatorów implikacji prostej i odwrotnej!

Przykład z przedszkola, będący dowodem iż 5-cio latki doskonale posługują się matematyką ścisłą o której największym matematykom się nie śniło.

Pani w przedszkolu:
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P
gdzie:
~> - warunek konieczny, w implikacji spójnik „może”.

Jasiu czy chmury są warunkiem koniecznym ~> aby jutro padało?
Jaś:
Tak proszę Pani, chmury są konieczne ~> aby jutro padło bo jak nie będzie pochmurno to na pewno => nie będzie padać
Prawo Kubusia:
CH~>P = ~CH=>~P
gdzie:
=> - warunek wystarczający, spójnik „na pewno” między p i q

KRZiP nie rozumie poprawnej logiki matematycznej, tzn. nie zna poprawnej budowy ani jednego operatora logicznego!

KRZiP:
1 = prawda
0 = fałsz

Poprawnie musi być jak w algebrze Kubusia:
1 = zbiór niepusty, zdanie prawdziwe
0 = zbiór pusty, zdanie fałszywe

Operatory logiczne działają fundamentalnie inaczej niż to jest w KRZiP!

Nie chodzi tu o tabele zero-jedynkowe wszystkich możliwych operatorów logicznych (bo te są identyczne w KRZiP i AK), ale o poprawną interpretację tych zer i jedynek. Operatory logiczne to banalnie prosta algebra zbiorów, którą poznamy w tym podręczniku.

Nie ma poprawnej logiki matematycznej bez dwóch spójników implikacyjnych umieszczanych między p i q w zdaniach „Jeśli p to q”
=> - „na pewno” (warunek wystarczający), ten spójnik jest domyślny i nie musi być wypowiedziany.
~> - „może” (warunek konieczny)

Dzisiejsza definicja matematyki musi ulec zmianie.
Matematyka musi akceptować wszystkie spójniki logiczne używane w naturalnej logice człowieka.

Spójniki logiczne w algebrze Kubusia, naturalnej logice człowieka:
W całej matematyce mamy zaledwie sześć spójników logicznych.
Operatory OR i AND:
„*” - spójnik „i” w mowie potocznej
„+” - spójnik „lub” w mowie potocznej
Operatory implikacji i równoważności:
=> - warunek wystarczający, spójnik „musi” w całym obszarze matematyki
~> - warunek konieczny, spójnik „może” w implikacji
[~>] - wirtualny warunek konieczny w równoważności, nie jest to spójnik „może”
~~> - naturalny spójnik „może” wystarczy pokazać jeden przypadek prawdziwy
<=> - wtedy i tylko wtedy


2.0 Zdania zdeterminowane i niezdeterminowane

Rozważmy zdanie:
A.
Pies jest różowy

Zdanie oczywiście fałszywe.
… czy to zdanie może być kiedykolwiek prawdziwe?
Nigdy, bo nie ma różowych psów

Definicja zbioru pustego:
Zbiór pusty, to zbiór który nie zawiera żadnych elementów

Zbiór psów różowych jest zbiorem pustym, dlatego zdanie A jest fałszywe.

Weźmy teraz inne zdanie:
B.
Pies nie jest różowy

Zdanie oczywiście prawdziwe.
… czy to zdanie może być kiedykolwiek fałszywe?
Nigdy, bo zbiór psów które nie są różowe nie jest pusty.

Definicja zbioru niepustego:
Zbiór niepusty, to zbiór który zawiera przynajmniej jeden element.

Zdania A i B są zdeterminowane, bowiem możemy określić z góry ich prawdziwość/fałszywość.

Zdaniu które jest prawdziwe (zbiór niepusty) przypisujemy cyferkę 1, natomiast zdaniu które jest fałszywe (zbiór pusty) przypisujemy cyferkę 0.

Weźmy kolejne zdanie:
C.
To jest pies

To zdanie może być albo prawdziwe (gdy będę pokazywał psa), albo fałszywe (gdy będę pokazywał zwierzę inne niż pies).

Nie jesteśmy w stanie powiedzieć z góry czy to zdanie jest prawdziwe/fałszywe. Takie zdania nazywamy zdaniami niezdeterminowanymi.

Podsumowanie:
1.
Zera i jedynki w algebrze Kubusia oznaczają:
1 - zbiór niepusty (zbiór istnieje, sytuacja możliwa), zdanie prawdziwe
0 - zbiór pusty (zbiór nie istnieje, sytuacja niemożliwa), zdanie fałszywe
Zdanie w sensie matematycznym, to zdanie któremu da się przypisać prawdę lub fałsz.
2.
Zdania zdeterminowane i niezdeterminowane
Zdanie jest zdeterminowane wtedy i tylko wtedy gdy znamy z góry jego wartość logiczną.
Zdanie jest niezdeterminowane gdy nie znamy z góry jego wartości logicznej.


2.1 Zdania proste

Zacznijmy od zdania prostego, bez spójnika logicznego.
A.
Jutro pójdę do kina
Y = K
To zdanie nie jest zdeterminowane bo jutro wszystko może się zdarzyć:
K=1 - jutro pójdę do kina
~K=1 - jutro nie pójdę do kina
Oczywiście skłamię jeśli jutro nie pójdę do kina (~K=1)
Oba te zdarzenia (zbiory) mogą wystąpić, zatem ich wartość logiczna może być równa 1 (zbiór niepusty).

Zdanie A matematycznie oznacza:
A.
Dotrzymam słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdę do kina (K=1)
Y = K
Y=1 <=> K=1

… a kiedy skłamię?
Prawo przejścia do logiki przeciwnej poprzez dwustronną negację równania A:
B.
~Y =~K
Co matematycznie oznacza:
B.
Skłamię (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdę do kina (~K=1)
~Y=~K
~Y=1 <=> ~K=1
Czytamy!
Prawdą jest (=1), że skłamię (~Y) wtedy i tylko wtedy gdy jutro nie pójdę do kina (~K=1).

Podsumowanie:
Y=1 - dotrzymam słowa
~Y=1 - skłamię
K=1 - jutro pójdę do kina
~K=1 - jutro nie pójdę do kina

Wszystkie te zdarzenia mają szansę jutro wystąpić, dzisiaj nie wiemy co się stanie jutro, jednak już dzisiaj możemy odpowiedzieć na pytanie kiedy dotrzymam słowa (Y=1) a kiedy skłamię (~Y=1).


3.0 Kubusiowa teoria zbiorów

Aksjomatyczne, zero-jedynkowe definicje operatorów logicznych to pełna teoria zbiorów w algebrze Kubusia, uwzględniająca wszystkie możliwe przypadki wzajemnego położenia zbiorów.

Algebra Kubusia respektuje wszystkie prawa Klasycznego Rachunku Zdań. Prawa te dotyczą jednak wyłącznie sprzętu (hardware) nie nadając żadnego znaczenia przemiatanym zerom i jedynkom. Prawa te mówią między innymi jak sprzętowo zbudować dowolny operator logiczny przy pomocy innego operatora.
Przykład:
p=>q = ~p+q
Operator implikacji prostej => to operator OR z zanegowanym wejściem p.
Tabele zero-jedynkowe po obu stronach tożsamości są identyczne.
Co oznaczają te zera i jedynki?
To już zupełnie inna bajka, czyli software.

Interpretacja zer i jedynek w operatorach logicznych to programowanie (software), coś fundamentalnie innego niż sprzęt (hardware). Sprzęt bez oprogramowania to tylko nikomu nie potrzebna, kupa złomu.

Znaczenie zerom i jedynkom w operatorach logicznych nadaje Klasyczny Rachunek Zdań i Predykatów:
1 - prawda
0 - fałsz
oraz konkurencyjna algebra Kubusia.

Znaczenie 0 i 1 w Kubusiowej teorii zbiorów:
1 - zbiór niepusty (zbiór istnieje, sytuacja możliwa), zdanie prawdziwe
0 - zbiór pusty (zbiór nie istnieje, sytuacja niemożliwa), zdanie fałszywe
Zdanie w sensie matematycznym, to zdanie któremu da się przypisać prawdę lub fałsz.

W tabelach zero-jedynkowych po stronie wejścia p i q mamy:
1 - zmienna z nagłówka tabeli niezanegowana
0 - zmienna z nagłówka tabeli zanegowana

Korzystając z prawa algebry Kubusia:
Jeśli p=0 to ~p=1
Jeśli q=0 to ~q=1
sprowadzamy zmienne p i q do jedynek, czyli do teorii zbiorów.

[rafal3006]

4.4 Operator AND w zbiorach

Wyprowadzenie definicji operatora AND w zbiorach z aksjomatycznej definicji zero-jedynkowej:

[rafal3006]

5.5 Równoważność

Definicja równoważności w zbiorach
Zbiór p zawiera się w całości w zbiorze q i jest tożsamy ze zbiorem q
p<=>q = (p=>q)*(~p=>~q)

Wyprowadzenie definicji równoważności w zbiorach z aksjomatycznej definicji zero-jedynkowej:

[rafal3006]

5.8 Prawo eliminacji implikacji

Znane ziemskim matematykom prawo eliminacji implikacji.
[link widoczny dla zalogowanych]
Prawo eliminacji implikacji:
p=>q = ~p+q
Jest doskonałe ale wyłącznie jeśli chodzi o hardware.
Pokazuje ono jak fizycznie zbudować operator implikacji prostej przy pomocy bramki OR.
Bierzemy bramkę OR:
Y=p+q
Negujemy wejście p i otrzymujemy tabelę zero-jedynkową implikacji prostej bez żadnej interpretacji zer i jedynek.
p=>q = ~p+q

Zupełnie czym innym jest sprzętowa budowa operatora (hardware), a poprawna interpretacja otrzymanej tabeli zero-jedynkowej (software).
W operatorach implikacji nie zachodzi przemienność argumentów, natomiast w operatorach OR i AND zachodzi przemienność argumentów.
Prawo eliminacji implikacji przy pomocy operatora OR można więc miedzy bajki włożyć, tu chodzi wyłącznie o wygenerowanie tabeli zero-jedynkowej implikacji prostej przy pomocy bramki OR i negatora.
Teoretycznie z punktu odniesienia sprzętu wszystkie operatory logiczne są zbędne z wyjątkiem bramki NAND (albo NOR, =>, ~>), tylko że kompletnie nie o to chodzi w logice matematycznej.

Dla przykładu zrealizujmy operatory logiczne OR i AND z wykorzystaniem operatora implikacji prostej.
Mamy budowę operatora implikacji prostej przy pomocy bramki OR:
p=>q = ~p+q
Negujemy dwustronnie p i mamy bramkę OR (operator OR) zbudowaną przy pomocy operatora implikacji prostej:
p+q = ~p=>q
Prawo de’Morgana:
p*q = ~(~p+~q)
Stąd bramka AND (operator AND):
p*q = ~(p=>~q)
itd.


5.9 Gwarancje matematyczne w implikacji i równoważności

Zacznijmy od równoważności.

Diagram równoważności:

Definicja równoważności:
p<=>q = (p=>q)*(~p=>~q)
Zbiór p zawiera w sobie zbiór q i jest tożsamy ze zbiorem q

[rafal3006]

7.0 Równania algebry Kubusia

Równania algebry Kubusia to naturalna logika człowieka.


7.1 Tworzenie równań algebry Kubusia

Poznamy teraz banalną technikę tworzenia równań algebry Kubusia z dowolnej tabeli zero-jedynkowej, na przykładzie operatora OR.

Zero-jedynkowa definicja operatora OR:

[rafal3006]

11.0 Złożone zdania naturalnego języka mówionego

Człowiek w swoim naturalnym języku mówionym z reguły używa zdań prostych, łatwych w analizie matematycznej.

Co więcej, już 5-cio latki operują wyłącznie funkcjami minimalnymi.

Żaden 5-cio latek nie wypowiada zdań jak niżej:
A.
Pies ma cztery łapy lub szczeka
P=>4L+S =0 - zdanie fałszywe na mocy prawa Sowy.
B.
Pies ma cztery łapy lub nie szczeka
P=>4L+~S=0 - zdanie fałszywe na mocy prawa Sowy.

Dlaczego?
Oba powyższe zdania to błąd czysto matematyczny na mocy prawa Sowy.

Definicja operatora logicznego:
Operator logiczny to odpowiedź układu na wszystkie możliwe przeczenia p i q

Prawo Sowy:
W świecie totalnie zdeterminowanym, gdzie znamy z góry wartości logiczne p i q, dowolny operator logiczny ulega redukcji do operatora AND.
Prawo Sowy wynika bezpośrednio z definicji operatora logicznego.

W naturalnym języku mówionym odpowiada to redukcji spójnika „lub”(+) do spójnika „i”(*).
Zdania A i B to świat totalnie zdeterminowany bo znamy z góry wartości logiczne p i q.
Dla psa mamy:
4L=1, ~4L=0
S=1, ~S=0

Pełna definicja spójnika „lub”(+):
p+q = p*q +p*~q + ~p*q
Podstawiamy nasz przykład:
4L+S = (4L*S=1*1=1) + (4L*~S=1*0=0) + (~4L*S=0*1=0) := 4L*S
gdzie:
:= - symbol redukcji funkcji logicznej na mocy definicji spójnika „lub”(+)

Jedynym zdaniem prawdziwym będzie tu zdanie:
C.
Pies ma cztery łapy i szczeka
P=>4L*S=1*1=1
Wszelkie inne formy tego zdania będą matematycznie fałszywe.

Twierdzenie:
Dowolne zdanie z naturalnego języka mówionego musimy sprowadzić do zdania logicznie prawdziwego jak to zrobiono ze zdaniami A i B wyżej. Wtedy i tylko wtedy wolno nam stosować jakiekolwiek prawa logiczne.

Prawo Sowy jest tu brzytwą Ockhama, bezlitośnie obcinającą wszelkie zdaniowe śmiecie z naturalnego języka mówionego. Oczywiście wszyscy ludzie znają banalna algebrę Kubusia, dlatego możliwe są językowe niedomówienia, dowcip, porównania, przenośnie itd.

Prawo Sowy jest oczywistością, bo jak znamy w 100% rozwiązanie to składniki tego rozwiązania muszą być prawdziwe i połączone spójnikiem „i”.

Zdanie:
Jeśli Jan był w Warszawie to mógł zamordować
W~>Z
… a jeśli Jan nie był w Warszawie ?
Prawo Kubusia:
W~>Z = ~W=>~Z
Jeśli Jan nie był w Warszawie to na pewno nie zabił
~W=>~Z

Tego typu zdania są sensowne wyłącznie jeśli nie wiemy czy Jan jest mordercą.
Wtedy implikacjami w stylu jak wyżej dochodzimy prawdy.

Jeśli znamy prawdę „Jan nie był w Warszawie” to poprawne lingwistycznie zdanie jest wówczas takie:
Jan nie był w Warszawie i nie zamordował
J=>~W*~Z

Oczywiście sednem jest tu morderstwo, zatem po końcowym uproszczeniu:
Jan nie jest mordercą
J=>~M


11.1 Zdanie złożone ze spójnikiem „lub”(+)

Rozważmy zdanie:
A.
Dowolny kraj leży w Europie, Azji lub Afryce
Y=E+Az+Af
Dla uproszczenia celowo pominięto pozostałe kontynenty

Ogólna definicja spójnika „lub”(+) dla trzech zmiennych:
A.
Y=p+q+r
Y - wystąpi prawda, logika dodatnia bo Y
Y=1 <=> p=1 lub q=1 lub r=1
To samo w rozpisce szczegółowiej na podstawie szczegółowej definicji spójnika „lub”(+)
B.
Y=p+q+r = p*q*r+p*q*~r+p*~q*r+p*~q*~r+~p*q*r+~p*q*~r+~p*~q*r
… a kiedy wystąpi fałsz?
Przejście ze zdaniem A do logiki ujemnej poprzez negacje zmiennych i wymianę operatorów
C.
~Y=~p*~q*~r
~Y - wystąpi fałsz, logika ujemna bo ~Y
Wyłącznie ta sekwencja iloczynu nie ma prawa pojawić się w równaniu B, pozostałe przypadki muszą być w równaniu B uwzględnione!

Wróćmy do naszego przykładu.
A.
Dowolny kraj leży w Europie, Azji lub Afryce
Y=E+Az+Af

Na mocy definicji spójnika „lub”(+) dla trzech zmiennych zdanie A będzie prawdziwe jeśli:
1: E*Az*Af =Y
lub
2: E*Az*~AF=Y
lub
3: E*~Az*Af=Y
lub
4: E*~Az*~Af=Y
lub
5: ~E*Az*Af=Y
lub
6: ~E*Az*~Af=Y
lub
11. ~E*~Az*Af=Y
… a kiedy zdanie A będzie fałszywe ?
Przechodzimy do logiki ujemnej poprzez negacje zmiennych i wymianę argumentów
8. ~E*~Az*~Af= ~Y

Zauważmy, że dowolny kraj musi gdzieś leżeć, zatem linia 8 będzie zawsze fałszem dla dowolnego, wylosowanego kraju

Losujemy kraj: Polska

Oczywiście w tym przypadku wyłącznie linia 4 będzie prawdziwa:
4.
Polska leży w Europie i nie leży w Azji i nie leży w Afryce
Y = E*~Az*~Af
Y=1 <=> E=1 i ~Az=1 i ~Af=1 = 1*1*1 =1
Ten punkt odniesienia determinuje:
E=1, ~E=0
~Az=1, Az=0
~Af=1, Af=0

Tabela zero-jedynkowa dla tego przypadku przybierze postać:
Y = E+Az+Af
czyli:
1: E*Az*Af =Y
1*0* 0 =0
lub
2: E*Az*~AF=Y
0*0*1=0
lub
3: E*~Az*Af=Y
0*1*0 =0
lub
Jedyne zdanie prawdziwe:
4: E*~Az*~Af=Y
1 1 1 =1
lub
5: ~E*Az*Af=Y
0*0*0 =0
lub
6: ~E*Az*~AF=Y
0*0*1 =0
lub
7. ~E*~Az*Af=Y
0*1*0 =0
… a kiedy zdanie A będzie fałszywe ?
Przechodzimy do logiki ujemnej poprzez negacje zmiennych i wymianę argumentów
8. ~E*~Az*~Af= ~Y
0*1*1 =0

Polska leży wyłącznie na jednym kontynencie, zatem otrzymaliśmy wyżej tabelę zero-jedynkową operatora AND dla zdania wypowiedzianego 4.

Prawo Sowy:
W świecie zdeterminowanym, gdzie wartości logiczne zmiennych są znane, dowolny operator logiczny ulega redukcji do operatora AND.

Dowód:
W przypadku spójnika „lub”(+) tylko i wyłącznie jedno zdanie może być prawdziwe spośród:
2^n-1
różnych zdań.
gdzie:
2^n - dwa do potęgi n
n - ilość zmiennych
Dla trzech zmiennych mamy:
2^n-1 = 2^3-1 = 8-1 = 7
Co jest zgodne z przykładem wyżej.

Z powyższego wynika, że jedynki w spójniku „lub” (zdania 1-7) wyrażają samą możliwość zajścia, że nie są to prawdy twarde, zachodzące zawsze, bez wyjątków.

Losujemy kraj: Rosja

Oczywiście w tym przypadku będzie prawdziwe wyłącznie zdanie 2.

Rosja leży w Europie i leży w Azji i nie leży w Afryce
Y=E*Az*~Af

Wszystkie pozostałe zdania będą tu fałszywe.
Mózg człowieka genialnie minimalizuje wszelkie funkcje logiczne.

Każde dziecko wypowie zdanie:
Dowolny kraj leży w Europie lub w Azji lub w Afryce
Y=E+Az+Af
(w celu uproszczenia ograniczamy liczbę kontynentów)

… ale już dla konkretnego kraju absolutnie nikt nie powie:
Polska leży w Europie lub w Azji lub w Afryce
P=E+Az+Af
bo doskonale wszyscy wiemy gdzie leży Polska.

W zagadkach takie zdanie jest jak najbardziej sensowne, ale przy znajomości rozwiązania jest bez sensu. Informacja precyzyjna po minimalizacji tej funkcji w sposób wyżej pokazany generuje jedynie słuszne zdanie:

Polska leży w Europie i nie leży w Azji i nie leży w Afryce
P = E*~Az*~Af
P=1 <=> E=1 i ~Az=1 i ~Af=1

Zauważmy, że takiego zdania również nikt nie wypowie z powodu znajomości rozwiązania.
W powyższym równaniu prawdy powstałe z negacji fałszu (~Az=1, ~AF=1) są bezwartościowe i każdy normalny człowiek je zignoruje wypowiadając zdanie precyzyjnie.

Polska leży w Europie
P=E

Zauważmy, że przy znajomości rozwiązania uwzględnianie w równaniu prawd powstałych z negacji fałszu jest bez sensu bo takich „prawd” jest nieskończenie wiele.

Przykład:
Polska leży w Europie i Polska to nie rzeka i Polska to nie wąsy dziadka ….
P = E * ~R * ~WD …
Formalnie to zdanie jest prawdziwe, tyle że sensu w tym nie ma.


11.2 Złożona implikacja prosta

A.
Jeśli zwierzę jest psem lub kotem to na pewno ma cztery łapy i nie ćwierka
P+K=>4L*~C
To jest oczywiście zdanie intuicyjnie sensowne.
Zastanówmy się dlaczego!

Zajmijmy się na początek poprzednikiem.
Definicja spójnika „lub”(+):
p+q = p*q + p*~q + ~p*q
stąd:
P+K = P*K + P*~K + ~P*K
A: P*K = 1*1= 0
Zbiory P i K istnieją (P=1 i K=1), ale są rozłączne co wymusza w wyniku zero (zbiór pusty).
B: P*~K = P
Wspólną częścią zbiorów P i ~K jest zbiór psów
C: ~P*K = K
Wspólną częścią zbiorów ~P i K jest zbiór kotów
stąd:
P+K = P*K + P*~K + ~P*K = P+K
Poprzednika nie da się zminimalizować, ta funkcja jest minimalna.
A.
Jeśli zwierzę jest psem lub kotem to na pewno ma cztery łapy i nie ćwierka
P+K=>4L*~C

Następnik jest oczywiście prawdziwy, ale w iloczynie logicznym zawiera bezwartościową dla psa i kota prawdę powstałą z negacji fałszu. Ćwierkanie nie jest cechą ani psa, ani kota. Taką prawdę możemy usunąć, ale nie musimy tego robić.

Przeanalizujmy to zdanie w oryginale, bez minimalizacji następnika.

p=(P+K), q=(4L*~C), ~p=(~P*~K), ~q=(~4L+C)
A.
Jeśli zwierzę jest psem lub kotem to na pewno ma cztery łapy i nie ćwierka
P+K=>4L*~C=1 bo pies, kot
p=>q=1
Bycie psem lub kotem wystarcza aby mieć cztery łapy i nie ćwierkać
Zbiory:
(P+K)*(4L*~C)=1*1=1
Oba zbiory istnieją [(P+K)=1 i (4L*~C)=1) i mają cześć wspólną, co wymusza w wyniku jeden.

Obliczenie ~q:
q=4L*~C
Przejście do logiki ujemnej poprzez negację sygnałów i wymianę spójników na przeciwne
~q = ~4L+C
stąd:
B.
Jeśli zwierzę jest psem lub kotem to może ~~> nie mieć czterech łap lub ćwierkać
P+K ~~> ~4L+C =0
p~~>~q=0
Dla psa lub kota mamy tu determinizm:
~4L=0 i C=0
co wymusza w wyniku zero (zbiór pusty).
Zbiory:
(P+K)*(~4L+C)=1*1=0
Oba zbiory istnieją [(P+K)=1 i (~4L+C)=1] ale są rozłączne, co wymusza w wyniku zero (zbiór pusty).

... a jeśli zwierzę nie jest psem i nie jest kotem?
Przejście ze zdaniem A do logiki ujemnej poprzez negację zmiennych i wymianę spójników na przeciwne.
Mamy A:
P+K => 4L*~C
stąd:
~P*~K~>~4L+C
To jest oczywiście prawo Kubusia:
p=>q = ~p~>~q
uzyskane metodą na skróty:
Mamy:
p=(P+K), q=(4L*~C), ~p=(~P*~K), ~q=(~4L+C)
~p~>~q = ~P*~K ~> ~4L+C
C.
Jeśli zwierzę nie jest psem i nie jest kotem to może ~> nie mieć czterech łap lub ćwierkać
~P*~K~>~4L+C =1 bo kura, wąż (~4L=1), wróbelek (C=1)
~p~>~q=1
Nie bycie psem i nie bycie kotem jest warunkiem koniecznym aby nie mieć czterech łap lub ćwierkać
Zauważmy że jak wylosujemy zwierzaka i stwierdzimy iż nie ma czterech łap:
~4L=1
to już mamy pewność że to ani pies, ani kot, sprawdzać czy ćwierka nie musimy
Podobnie, jeśli wylosowany zwierzak ćwierka:
C=1
to już mamy pewność że to ani pies, ani kot, sprawdzać czy nie ma czterech łap nie musimy.
Dokładnie tak musi działać suma logiczna, spójnik „lub”(+)!
Zbiory:
(~P*~K)*(~4L+C)=1*1=1
Oba zbiory istnieją [(~P*~K)=1 i (~4L+C)=1] i mają część wspólną, co wymusza w wyniku jeden.
lub
D.
Jeśli zwierzę nie jest psem i nie jest kotem to może ~~> mieć cztery łapy i nie ćwierkać
~P*~K~~>4L*~C=1 bo słoń, koń, hipopotam...
~p~~>q=1
Zbiory:
(~P*~K)*(4L*~C)=1*1=1
Oba zbiory istnieją [(~P*~K)=1 i (4L*~C)=1] i mają część wspólną, co wymusza w wyniku jeden.

W zdaniu D nie zachodzi warunek konieczny bo prawo Kubusia nie może być zgwałcone:
D: (~P*~K)~>(4L*~C) = B: (P+K) => (~4L+C) =0
Zdanie B jest fałszem zatem w zdaniu D nie zachodzi warunek konieczny ~>.
Zdanie D jest prawdziwe na mocy naturalnego spójnika „może”~~>, wystarczy pokazać jeden przypadek prawdziwy.

Dla kodowania zgodnego ze zdaniem wypowiedzianym A:
p=1, ~p=0
q=1, ~q=0
mamy zero-jedynkową definicję operatora implikacji prostej.