ŚFiNiA

[rafal3006]

Ostateczna wersja podrącznika:
BIBLIA: Algebra Kubusia - logika naszego Wszechświata

Ta wersja jest wersją Beta!
Archiwum ciekawostek, czyli wykasowanych wersji pośrednich algebry Kubusia - od tego postu:
http://www.sfinia.fora.pl/metodologia,12/logika-naszego-wszechswiata-beta-1-0-archiwum,6261.html#176303

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

Przyjaciele Kubusia to wszyscy interlokutorzy biorący udział w 6 letniej dyskusji.

Kim jest Kubuś?
Kubuś to wirtualny Internetowy Miś, teleportowany do ziemskiego Internetu przez zaprzyjaźnioną cywilizację z innego Wszechświata.

Podręcznik w oryginale:
BIBLIA: Algebra Kubusia - logika naszego Wszechświata

Szczególne podziękowania dla:
www.sfinia.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ę


Wstęp

Każdy człowiek, od 5-cio latka po profesora, doskonale zna algebrę Kubusia i posługuje się nią na co dzień w naturalnym języku mówionym.
Algebra Kubusia obowiązuje w całym naszym Wszechświecie, zarówno martwym, jak i żywym, dlatego to jest matematyka naszego Wszechświata.
Nie ma żadnych wyjątków, algebra Kubusia opisuje naturalny język mówiony człowieka i jego logikę, działa doskonale także w obszarze matematyki.

Definicja algebry Kubusia:
Algebra Kubusia = Algebra zbiorów => Definicje spójników logicznych => Definicje operatorów logicznych => Algebra bramek logicznych
Definicje spójników logicznych => Algebra naturalnego języka mówionego => Logika człowieka

Fundamentem algebry Kubusia jest pełna, zero-jedynkowa lista operatorów logicznych zapisana w formie równań algebry Kubusia (Boole’a!). Równania te wyprowadzone zostały z aksjomatycznych, zero-jedynkowych definicji operatorów logicznych, oraz niezależnie z nowej teorii zbiorów. Nowa teoria zbiorów jest w 100% zgodna z aksjomatycznymi, zero-jedynkowymi definicjami operatorów logicznych. Nowa teoria zbiorów to fundamentalnie inne diagramy graficzne niż obowiązujące diagramy Venna.

Algebra Kubusia jest zgodna z teorią i praktyką bramek logicznych, jest więc weryfikowalna doświadczalnie.


Spis treści:

Część I
Algebra Kubusia - logika naszego Wszechświata

1.0 Notacja

2.0 Algebra Kubusia w pigułce
2.1 Spójniki „i”(*) i „lub”(+)
2.2 Operator OR
2.3 Operator AND
2.4 Warunki wystarczający => i konieczny ~>
2.5 Operator implikacji prostej
2.6 Operator implikacji odwrotnej
2.7 Operator równoważności
2.8 Zdanie prawdziwe w sensie matematycznym
2.9 Równoważność w bramkach logicznych

3.0 Aksjomatyka algebry Kubusia
3.1 Podstawowe definicje algebry Kubusia

4.0 Nowa teoria zbiorów
4.1 Podstawowe działania na zbiorach
4.2 Nowa teoria zbiorów w operatorach logicznych

5.0 Operatory OR i AND
5.1 Spójniki „i”(*) i „lub”(+)
5.2 Operator OR w zbiorach
5.3 Operator AND w zbiorach
5.4 Minimalizacja funkcji logicznych

5.5 Równania logiczne dla operatora OR
5.5.1 Operator OR w bramkach logicznych

5.6 Równania logiczne dla operatora AND
5.6.1 Operator AND w bramkach logicznych

5.7 Osiem równań opisujących operator OR
5.8 Osiem równań opisujących operator AND
5.9 Logika zero
5.10 Właściwości operatorów OR i AND

6.0 Matematyczna historia powstania naszego Wszechświata
6.1 Warunki wystarczający i konieczny
6.2 Równoważność
6.3 Implikacja prosta
6.4 Implikacja odwrotna
6.5 Operator chaosu
6.6 Operator śmierci

7.0 Operatory implikacji i równoważności

7.1 Implikacja prosta w zbiorach
7.1.1 Implikacja prosta w bramkach logicznych

7.2 Implikacja odwrotna w zbiorach
7.2.1 Implikacja odwrotna w bramkach logicznych

7.3 Właściwości operatorów implikacji

7.4 Równoważność w zbiorach
7.4.1 Wirtualny warunek konieczny [~>]
7.4.2 Równoważność w bramkach logicznych

7.5 Najważniejsze definicje równoważności i implikacji
7.5.1 Definicje w warunkach wystarczających i koniecznych
7.5.2 Definicje w gwarancjach matematycznych
7.5.3 Definicje wykorzystujące przemienność argumentów
7.5.4 Definicje wykorzystujące ilość zbiorów

8.0 Dowodzenie twierdzeń matematycznych
8.1 Schemat dowodzenia twierdzeń matematycznych
8.2 Dowodzenie warunku wystarczającego
8.3 Dowodzenie warunku koniecznego

9.0 Pozostałe operatory algebry Kubusia
9.1 Abstrakcyjny model operatora logicznego
9.2 Operatory logiczne ~~> i N(~~>)
9.3 Operatory transmisji P i Q
9.4 Operatory negacji NP i NQ

10.0 Algebra zbiorów rozłącznych
10.1 Operator XOR
10.2 Zbiory minimalne w implikacji i równoważności

11.0 Katastrofalne błędy w KRZiP
11.1 Punkt odniesienia, kluczowe pojęcie w logice matematycznej
11.2 Najważniejszy błąd w KRZiP
11.3 Tragiczna logika Ziemian
11.4 Gówno zwane KRZiP

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

12.0 Złożone zdania naturalnego języka mówionego
12.1 Zdanie złożone ze spójnikiem „lub”(+)
12.2 Złożona implikacja prosta
12.3 Złożona implikacja odwrotna
12.4 Zdania złożone typu p+(q*r)
12.5 Zdania złożone typu p*(q+r)

13.0 Obietnice i groźby
13.1 Obietnica
13.2 Groźba
13.3 Obietnica w równaniach logicznych
13.4 Groźba w równaniach logicznych
13.5 Analiza złożonej obietnicy
13.6 Analiza złożonej groźby
13.7 Obietnice i groźby w ujęciu filozoficznym
13.8 Rodzaje obietnic


1.0 Notacja

~ - symbol przeczenia NIE

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

1.0.2
Zera i jedynki w dowolnym operatorze logicznym 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.
Wyjaśnienie w do powyższej definicji w pkt. 2.8

1.0.3
# - różne
Prawda # Fałsz
1 # 0

## - różne na mocy definicji

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

1.0.5
Prawa Kubusia:
Prawa Kubusia to pełne definicje operatorów implikacji prostej i odwrotnej zapisane w równaniach algebry Boole’a.
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.

1.0.6
= - 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, czyli generują identyczne tabele zero-jedynkowe (funkcje logiczne).

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

1.0.8
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

1.0.9
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”(+)

1.0.10
Zdanie:
Zdanie w algebrze Kubusia to poprawne lingwistycznie zdanie sensowne któremu można przypisać wartość fałsz lub prawda, 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 jedna prawda. Inaczej zdanie jest fałszywe.

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

1.0.12
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.

1.0.13
Definicja algebry Kubusia:
Algebra Kubusia to algebra równań logicznych zgodna z techniczną algebrą Boole’a o definicji operatora jak wyżej.

1.0.14
Zmienna binarna:
Zmienna binarna (wejście cyfrowe w układzie logicznym) to zmienna mogąca przyjmować w osi czasu wyłącznie dwie wartości 0 albo 1.
Przykłady zmiennych binarnych:
p, q

1.0.15
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

1.0.16
Prawo przejścia do logiki przeciwnej:
Negujemy zmienne i wymieniamy spójniki na przeciwne

Przykład 1.
Y=p+q
~Y=~p*~q
Przykład 2.
(p+q) => (r*s)
(~p*~q)~>(~r+~s)

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


2.0 Algebra Kubusia w pigułce

2.0.1
Cała algebra Kubusia (najważniejsze definicje) to zaledwie kilka stron tekstu, zawarte w tym punkcie. Zaczynamy od trzęsienia Ziemi, czyli od obalenia KRZiP, a później napięcie będzie rosło. Algebra Kubusia ma identyczne tabele zero-jedynkowe operatorów logicznych jak w KRZ, identycznie działa rachunek zero-jedynkowy, fundament KRZ.
KRZ - Klasyczny Rachunek Zdań, rozumiany jako rachunek zero-jedynkowy, bez żadnej interpretacji zer i jedynek jest w matematyce poprawny i identyczny jak w algebrze Kubusia.
Dokładnie z tej definicji korzystają inżynierowie, nie znając znaczenia zer i jedynek jak:
1 = prawda
0 = fałsz

2.0.2
Znaczenie zer i jedynek jak wyżej nadaje w matematyce:
KRZiP - klasyczny rachunek zdań i predykatów

Interpretacja zer i jedynek w KRZiP jest błędna, czego banalny dowód będzie w tym punkcie.
Pewne jest jedno:
Gdyby ludzie posługiwali się badziewiem zwanym KRZiP, będącym w totalnej sprzeczności z naturalną logiką człowieka, to o komputerach moglibyśmy tylko pomarzyć.
Żaden programista nie posługuje się KRZiP!
Wszyscy posługują się naturalną logika człowieka, algebrą Kubusia, znając ją doskonale od momentu narodzin, aż do śmierci.

2.0.3
Błędna interpretacja zer i jedynek dotyczy każdego operatora logicznego rodem z KRZiP, wszystko trzeba wywrócić do góry nogami, aby świat był normalny, tzn. zgodny z naturalną logiką człowieka, algebrą Kubusia.

Algebra Kubusia ma zero punktów wspólnych z KRZiP. Dosłownie każde pojęcie i każda definicja jest wywrócona do góry nogami, totalnie nic tu nie pasuje. Wynika z tego, że jakiekolwiek próby opisu algebry Kubusia przy pomocy środków dostępnych w KRZiP skazane są na zagładę. Warunkiem koniecznym zrozumienia algebry Kubusia jest wyzerowanie w mózgu wszelkiej wiedzy rodem z KRZiP i zaczęcie od zupełnego zera.


2.1 Spójniki „i”(*) i „lub”(+)

2.1.1
Definicja spójnika „i” (*) - koniunkcji.
Iloczyn logiczny (spójnik „i”(*) ) n-zmiennych binarnych jest równy 1 wtedy i tylko wtedy gdy wszystkie zmienne są równe 1
Y = (A1*A2*...An)=1 <=> A1=1 i A2=1 i ...An=1
Analogia w celu łatwego zapamiętania:
1*1*1…*1 =1
1*0*1…*1 =0
Zauważmy że mamy tu 100% analogię do mnożenia znanego ze szkoły podstawowej, stąd nazwa „iloczyn logiczny”. Oczywiście znaczek „*” nie ma nic wspólnego z mnożeniem, to po prostu symbol spójnika „i” z naturalnego języka mówionego.

Dla dwóch zmiennych p i q mamy:
Y=p*q
Co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Stąd tabela zero-jedynkowa spójnika „i”(*):

[rafal3006]

4.1 Podstawowe działania na zbiorach

Znaczenie 0 i 1 w 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

4.1.1
Zbiory tożsame to zbiory identyczne
Zbiór trójkątów równobocznych = Zbiór trójkątów o równych kątach

4.1.2
Iloczyn logiczny zbiorów (koniunkcja) to wspólna cześć zbiorów bez powtórzeń
Y=p*q
gdzie:
* - spójnik „i”(*) z naturalnej logiki człowieka
Przykład:
p=[1,2,3,4], q=[1,2,5,6]
Y=p*q=[1,2]

4.1.3
Suma logiczna zbiorów (alternatywa) to wszystkie elementy zbiorów bez powtórzeń
Y=p+q
gdzie:
+ - spójnik „lub”(+) z naturalnej logiki człowieka
Przykład:
p=[1,2,3,4], q=[1,2,5,6]
Y=p+q = [1,2,3,4,5,6]

4.1.4
Różnica zbiorów:
Różnica zbiorów p-q to elementy zbioru p pomniejszone o część wspólną zbiorów p i q
Y=p-q
p=[1,2,3,4], q=[1,2,5,6]
Y= p-q = [3,4]
Y= q-p = [5,6]

4.1.5
Zbiór pusty to zbiór zawierający zero elementów
Stąd:
Iloczyn logiczny zbioru pustego z czymkolwiek jest zbiorem pustym

Zbiór pusty to brak wspólnej części zbiorów w operacji iloczynu logicznego (koniunkcji).
p=[1,2], q=[3,4]
Y=p*q=1*1=0
Zbiory p i q istnieją (p=1 i q=1), ale są rozłączne co wymusza w wyniku zero (zbiór pusty).

4.1.6
Zbiór pusty jest zbiorem rozłącznym z dowolnym zbiorem niepustym
@ - zbiór pusty
Prawa algebry Kubusia:
p+@ = p+0 = p
p*@ = p*0 = 0

W algebrze Kubusia zbiór pusty @ to po prostu logiczne zero.
Nie jest nam potrzebny specjalny znaczek zbioru pustego @.

4.1.7
Przykład.
Słońce nie jest czarne
1 - zbiór niepusty, Bowiem w zbiorze „nie czarnych słońc” znajduje się zbiór „słońce jest żółte”, zdanie prawdziwe
Słońce jest czarne
0 - zbiór pusty, nie istnieje zbiór „słońce czarne”, zdanie fałszywe

4.1.8
Przykład:
A.
Mickiewicz był polakiem lub napisał Pana Tadeusza
Y=MP+PT
Mamy tu świat totalnie zdeterminowany gdzie wartości logiczne p i q znamy z góry
MP=1, ~MP=0
PT=1, ~PT=0
Definicja spójnika „lub”(+):
p+q = p*q + p*~q + ~p*q
stąd:
MP+PT = (MP*PT=1*1=1) + (MP*~PT=1*0=0) + (~MP*PT=0*1=0) := MP*PT
gdzie:
:= - symbol redukcji do funkcji minimalnej na mocy definicji spójnika „lub”(+)

Na mocy prawa Sowy, jedynym zdaniem prawdziwym będzie tu zdanie:
B.
Mickiewicz był polakiem i napisał Pana Tadeusza
Y=MP*PT
Za każde inne zdanie różne od B, ekspert algebry Kubusia, ten straszny polonista, postawi pałę.

Interpretacja:
Mickiewicz był polakiem
MP=1 - zbiór niepusty, zdanie prawdziwe
Mickiewicz nie był polakiem
~MP=0 - zbiór pusty, zdanie fałszywe
Mickiewicz napisał Pana Tadeusza
PT=1 - zbiór niepusty, zdanie prawdziwe
Mickiewicz nie napisał Pana Tadeusza
~PT=0 - zbiór pusty, zdanie fałszywe


4.2 Nowa teoria zbiorów w operatorach logicznych

Każdy człowiek, od 5-cio latka po profesora operuje na zbiorach opisywalnych aksjomatycznymi operatorami logicznymi.

Znaczenie 0 i 1 w nowej 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

4.2.1
1.
Definicja operatora OR w równaniach algebry Kubusia:
Operator OR to złożenie spójnika „lub”(+) w logice dodatniej (bo Y) ze spójnikiem „i”(*) w logice ujemnej (bo ~Y)
Y = p+q = p*q + p*~q +~p*q
~Y=~p*~q
Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y = ~(~Y) - prawo podwójnego przeczenia
Stąd definicja równoważna:
Y = p+q = ~(~p*~q) - prawo de’Morgana

Definicja spójnika „lub”(+) w logice dodatniej (bo Y):


Zbiory p i q mają część wspólną (p*q) lecz żaden z nich nie zawiera się w drugim.
W: Y = p+q = p*q + p*~q +~p*q

Definicja spójnika „i”(*) w logice ujemnej (bo ~Y):

D: ~Y=~p*~q

Dla kodowania zgodnego ze zdaniem wypowiedzianym W otrzymujemy zero-jedynkową definicję operatora OR.

[rafal3006]

5.6.1 Operator AND w bramkach logicznych

Prawo de’Morgana:
Y=p*q = ~(~p+~q)
Z prawa de’Morgana wynika układ zastępczy bramki AND w technice cyfrowych układów logicznych:
Negujemy wejścia p i q oraz wyjście Y bramki OR otrzymując bramkę AND.

Doświadczenie
Zbudować poniższy układ logiczny i sprawdzić zgodność świata fizycznego z tabelami zero-jedynkowymi operatora AND przedstawionymi wyżej.



Z punktu widzenia świata zewnętrznego nie jesteśmy w stanie odróżnić który układ logiczny jest fizycznie zrealizowany, bowiem oba układy dają identyczną tabele zero-jedynkową operatora AND.
Oczywiście dla wejścia p i q oraz wyjścia:
Y=p*q = ~(~p+~q)

Zero-jedynkowa definicja bramki AND (operatora AND):

[rafal3006]

7.2 Implikacja odwrotna w zbiorach

7.2.1
Definicja zero-jedynkowa implikacji odwrotnej:

[rafal3006]

7.5 Najważniejsze definicje równoważności i implikacji

Całą logikę matematyczną w zakresie implikacji i równoważności można sprowadzić do badania dwóch banalnych warunków wystarczających.

Definicja warunku wystarczającego w logice dodatniej (bo q):

[rafal3006]

11.0 Katastrofalne błędy w KRZiP

I tak jak obłęd, w wyższym tego słowa znaczeniu, jest początkiem wszelkiej mądrości, tak schizofrenia jest początkiem wszelkiej sztuki, wszelkiej fantazji.
Herman Hesse.

Logika to fundament wszystkiego, także matematyki.
Bez logiki nie byłoby matematyki, nie byłoby naszego Wszechświata.

Czym jest algebra Kubusia?
To śmiertelny cios dla całej aktualnej logiki matematycznej.

Leży i kwiczy dosłownie wszystko:
1. Twierdzenie Godla - obalone, oczywiście Godel ma rację na gruncie gówna zwanego KRZiP
2. Aksjomaty Zermelo-Fraenkela - fałszywy jest aksjomat równoważności (równoważność to dwa rozłączne zbiory a nie jeden) i brak aksjomatu implikacji
3. Teoria mnogości - jest ewidentnie fałszywa ze względu na powyższe
4. KRZiP - największe gówno jakie w swej historii stworzył człowiek
5. KRZ - bo nie rozpoznaje poprawnej budowy ani jednego operatora logicznego

Algebra Kubusia to największa matematyczna rewolucja w historii ludzkości, podobna wyłącznie do rewolucji Lavoisiera, tylko nieporównywalnie większa i ważniejsza ... ze względów „ideologicznych” - skąd przyszliśmy, i dokąd zmierzamy.

Algebra Kubusia, to fizyka a nie matematyka. Człowiek podlega pod prawa fizyki, czy mu się to podoba czy nie ...

Cytat pochodzi z książki Luc'a Burgin - "Błędy Nauki"

Ludzie mają widocznie skłonność do przedwczesnego i negatywnego oceniania perspektyw rozwojowych pewnych dziedzin nauki. Niektóre rewolucyjne odkrycia lub idee przez lata bojkotowano i zwalczano tylko dlatego, że dogmatycznie nastawieni luminarze nauki nie umieli odrzucić swych ulubionych, choć przestarzałych i skostniałych idei i przekonań. Jednym słowem: „Niemożliwe!" hamowali postęp nauki, a przykładami można dosłownie sypać jak z rękawa:

• Gdy w XVIII wieku Antoine-Laurem de Lavoisier zaprzeczył istnieniu „flogistonu" – nieważkiej substancji, która wydziela się w trakcie procesu spalania i w którą wierzyli wszyscy ówcześni chemicy – i po raz pierwszy sformułował teorię utleniania, świat nauki zatrząsł się z oburzenia. „Observations sur la Physique", czołowy francuski magazyn naukowy, wytoczył przeciwko Lavoisierowi najcięższe działa, a poglądy uczonego upowszechniły się dopiero po zażartych walkach.


11.1 Punkt odniesienia, kluczowe pojęcie w logice matematycznej

Świętość algebry Kubusia:
Dowolną tabelę zero-jedynkową można jednoznacznie opisać równaniami algebry Boole’a i odwrotnie.

Aksjomatyczne definicje operatorów logicznych w algebrze Boole’a i algebrze Kubusia:

[rafal3006]

12.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


12.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
7. ~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.


12.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 na pewno nie ma 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.
stąd:

p=(P+K), q=(4L*~C), ~p=(~P*~K), ~q=(~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.

[rafal3006]

Dodatek A
Z dedykacją dla Quebaba, który przez dwa lata dzielnie wspomagał Kubusia w walce z Szatanem, KRZiP.

[link widoczny dla zalogowanych]

[rafal3006]

...

[rafal3006]

......

[rafal3006]

1

[rafal3006]

2.

[rafal3006]

3

[rafal3006]

4

[rafal3006]

5

[rafal3006]

7

[rafal3006]

8

[rafal3006]

9.

[rafal3006]

10