ŚFiNiA

rafal3006

Końcowa wersja algebry Kubusia:
Algebra Kubusia: Logika człowieka

… 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, Sogorsa i Quebaba - za długą i ciekawą dyskusję

[link widoczny dla zalogowanych]
Daggera, Ducha i Fiklita - za najważniejszą, bo stawiającą kropkę nad „i” dyskusję
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.

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

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
3.3 Diagramy Kubusia

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

5.0 Równania algebry Kubusia
5.1 Tworzenie równań algebry Kubusia
5.2 Minimalizacja funkcji logicznych
5.3 Osiem równań opisujących operator OR
5.4 Osiem równań opisujących operator AND
5.5 Logika zero

6.0 Kompendium operatorów OR i AND
6.1 Kompendium operatora OR
6.2 Kompendium operatora AND
6.3 Logika dodatnia i ujemna
6.4 Spójniki „lub”, „i”, „albo”
6.5 Obalenie logiki Ziemian w operatorach OR i AND

7.0 Najprostsze operatory algebry Kubusia
7.1 Abstrakcyjny model operatora logicznego
7.2 Operatory logiczne ~~> i N(~~>)
7.3 Operatory transmisji P i Q
7.4 Operatory negacji NP i NQ

8.0 Implikacja i równoważność w zbiorach
8.1 Implikacja i równoważność w pigułce
8.2 Implikacja prosta w zbiorach
8.3 Kwantyfikatory
8.4 Implikacja odwrotna w zbiorach
8.5 Równoważność
8.6 Gwarancje matematyczne w implikacji i równoważności
8.7 Prawo eliminacji implikacji
8.8 Obalenie prawa kontrapozycji w implikacji
8.9 Prawa przejścia do logiki przeciwnej

9.0 Algebra zbiorów rozłącznych i problemy nietypowe
9.1 Operator XOR
9.2 Nietypowe warunki wystarczające
9.3 Nietypowa równoważność
9.4 Wynikanie równoważnościowe |-
9.5 Samodzielny warunek wystarczający

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

Część II
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.

# - 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

Kiedy w algebrze Kubusia używamy znaku „=” a kiedy <=>?
Zgodnie ze standardem w technicznej algebrze Boole’a wszelkie funkcje logiczne opisujemy znakiem tożsamości:
Y=p+q
Do opisu dowolnej, wybranej linii z tabeli zero-jedynkowej stosujemy znak <=>:
Y=1 <=> p=1 lub q=1

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

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 negacje zmiennych i wymianę spójników logicznych na przeciwne (tu ich nie ma):
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

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)

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

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.3 Operator AND w zbiorach

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

rafal3006

6.5 Obalenie logiki Ziemian w operatorach OR i AND

Dokonało się na forum Yrizona.

[link widoczny dla zalogowanych]

rafal3006

8.4 Implikacja odwrotna w zbiorach

Definicja implikacji odwrotnej w zbiorach
p~>q = ~p=>~q
p~>q
Zbiór p zawiera w sobie zbiór q i nie jest tożsamy ze zbiorem q

Wyprowadzenie definicji implikacji odwrotnej w zbiorach z aksjomatycznej definicji zero-jedynkowej:

rafal3006

8.8 Obalenie prawa kontrapozycji w implikacji

Dokonało się na forum Yrizona:
[link widoczny dla zalogowanych]

Logika dodatnia i ujemna w operatorach OR i AND

Analogia do matematyki klasycznej:
2#-2
Prawo podwójnego przeczenia:
2=~(~2)

Definicja operatora OR:

rafal3006

10.0 Definicje operatorów w bramkach logicznych

Definicja operatora OR:

Odpowiedź na pytanie kiedy dotrzymam słowa (Y=1) mamy w punkcie:
Y=p+q = p*q + p*~q + ~p*q
Odpowiedź na pytanie kiedy skłamię ( ~Y=1) mamy w punkcie:
~Y=~p*~q

rafal3006 · Raj, 2012-10-10

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.

rafal3006

vpprof

Kubusiu, czy szykuje się jakaś zwięzła książkowa wersja wykładu twojej logiki? Chętnie bym kupił. Może uda się zainteresować tym jakieś wydawnictwo?

vpprof

I jeszcze jedno:

rafal3006

Na razie mam fantastyczna dyskusje z fiklitem, biegłym w KRZ i KRZiP na Yrizonie.
[link widoczny dla zalogowanych]

AK jest pisana od 7 lat, po dyskusji z fiklitem jest szansa że dobry matematyk ja zrozumie.

Nie wiem kiedy skończę na razie z fiklitem rozgryzamy klojna probemy w sposob zrozumiały dla Ziemian ... mam nadzieję :think:

Zs spodniami sprawa jest prosta.

Jeśli zdasz egzamin dostaniesz komputer
E=>K
oczywiście na mocy definicji to jest obietnica którą kodujemy implikacja prostą - jest tego milony w Internecie.

Dalej masz czysta matematykę.
Prawo Kubusia:
E=>K = ~E ~> ~K

Oczywiście po prawej stronie masz groźbę, mozesz nie dostac komputera.

Zatem wszelkie groźby musimy kodować operatorem implikajcji odwrotnej, inaczej algebra Boole'a lezy w gruzach.

Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L = ~B=>~L
Reszta w podpisie

vpprof

rafal3006