ŚFiNiA

rafal3006

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

Algebra Kubusia
Autorzy: Kubuś i Przyjaciele

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

Podręcznik w oryginale:
Algebra Kubusia
Najważniejsze definicje:
Kompendium algebry Kubusia
Podręcznik w wersji skróconej zawierający wyłącznie część I:
Algebra Kubusia - nowa teoria zbiorów

Algebra Kubusia to końcowy efekt siedmioletniej dyskusji na forach sfinia.fora.pl, [link widoczny dla zalogowanych], [link widoczny dla zalogowanych] i [link widoczny dla zalogowanych]. Dziękuję wszystkim, którzy dyskutując z Kubusiem przyczynili się do jej powstania. Szczególne podziękowania dla: Rafała3006(medium), Wuja Zbója, Voratha, Macjana, Quebaba, Windziarza, Fizyka, Sogorsa, Fiklita i Yorgina.

Wstęp.

Algebra Kubusia to matematyka pod którą podlega cały nasz Wszechświat, żywy i martwy, człowiek nie jest tu wyjątkiem. Fundamentem algebry Kubusia jest nowa teoria zbiorów. Z punktu widzenia logiki teoria zbiorów to zaledwie dwa zbiory p i q we wszystkich możliwych wzajemnych położeniach z których wynikają zero-jedynkowe definicje znanych człowiekowi operatorów logicznych.

Aksjomat to założenie które przyjmuje się bez dowodu.

W świecie techniki inżynierowie przyjmują za aksjomat zero-jedynkowe definicje operatorów logicznych plus banalny rachunek zero-jedynkowy z którego wynikają wszelkie prawa logiczne.
Takie podejście jest poprawne jeśli interesuje nas fizyczne zbudowanie komputera (hardware), jednak sprzęt bez oprogramowania (software) to tylko bezużyteczna kupa złomu. Software (naturalna logika człowieka) to zupełnie co innego niż hardware, mimo że w obu przypadkach fundamentem jest ta sama, symboliczna algebra Boole’a (algebra Kubusia).

Jest oczywistym, że jeśli istnieje matematyka pod którą podlega człowiek, to musi być ona absolutnie banalna, na poziomie 5-cio latka. Ta maksyma przyświecała Kubusiowi od samego początku walki o rozszyfrowanie matematycznych podstaw naturalnej logiki człowieka.

W nowej teorii zbiorów znaczenie zer i jedynek wewnątrz operatorów logicznych jest inne niż w aktualnej logice matematycznej. Algebra Kubusia jest totalnie odwrotna w stosunku do logiki matematycznej Ziemian. Z tego powodu praktycznie niemożliwa jest dyskusja na rzeczowe argumenty. Warunkiem koniecznym zrozumienia nowej teorii zbiorów i algebry Kubusia jest odłożenie na półkę wszelkiej wiedzy z logiki matematycznej uczonej w ziemskich szkołach i zaczęcie wszystkiego od zera.

Nowa teoria zbiorów jest banalna bo tu nigdy nie wychodzimy poza trzy podstawowe operacje na zbiorach, alternatywę zbiorów, koniunkcję zbiorów i różnicę zbiorów. Naturalna logika człowieka to tyko i wyłącznie to, absolutnie nic więcej.

Techniczna algebra Boole’a to już zupełnie inna bajka, tu trzeba czuć dwuelementową algebrę Boole’a a to jest bardzo trudne dla matematyka przyzwyczajonego do funkcji liniowych, kwadratowych etc. Oczywistym szokiem dla przeciętnego matematyka będzie zabranie mu tych nieskończonych zbiorów i pozostawienie zaledwie dwu cyferek 0 i 1. Na szczęście techniczna algebra Boole’a to w obecnej chwili czasy epoki kamiennej, nie jest potrzebna nikomu, ani matematykom, ani inżynierom. Ci ostatni w dniu dzisiejszym operują wyłącznie w technice mikroprocesorowej gdzie nie ma śladu fizycznych bramek logicznych. Tak więc techniczną algebrę Boole’a można traktować jako ciekawostkę. Polecam ją czytelnikom których pasjonuje matematyka, mam nadzieję, że napisana jest prostym i łatwym do zrozumienia językiem.

Najśmieszniejsze sytuacje w historii 7-letniej walki o rozszyfrowanie matematycznych fundamentów naturalnej logiki człowieka to te, w których bardzo dobrzy ziemscy matematycy próbowali udowadniać Kubusiowi iż się myli, powołując się na analogię do klasycznych funkcji operujących na nieskończonych zbiorach liczb. Problem w tym, że tu nie ma żadnej analogii.
Matematyka klasyczna to fundamentalnie co innego niż algebra Boole’a. Fundamentalnie inna jest wizualizacja funkcji logicznych. W matematyce klasycznej mamy układ kartezjański który w algebrze Boole’a jest najzwyklejszym idiotyzmem. Wykresy funkcji logicznych w algebrze Boole’a to fundamentalnie co innego, to zmiany zmiennych binarnych w funkcji czasu. Przykładowe, piękne wykresy czasowe mamy w tym [link widoczny dla zalogowanych] Aby zrozumieć symboliczną algebrę Boole’a (algebrę Kubusia) trzeba szukać analogii do naturalnej logiki 5-cio Latków, a nie do matematyki klasycznej, co Kubuś przez te lata czynił.

Jakie jest największe marzenie Kubusia?
Mam nadzieję że kiedyś będzie to podstawowy podręcznik logiki matematycznej w I klasach LO.
Nie może być tak jak to jest w dniu dzisiejszym, iż niewinnym dzieciom pierze się mózgi z naturalnej logiki człowieka zdaniami prawdziwymi typu.

[link widoczny dla zalogowanych]
Jeśli pies ma osiem łap, to Księżyc krąży wokół Ziemi
Zdanie prawdziwe w dzisiejszej „matematyce”.

Pisząc ten podręcznik starałem się aby zupełnie nowa wiedza, jaką jest algebra Kubusia, została podana po równi pochyłej od najprostszych pojęć poczynając. Proszę o sygnały w którym miejscu są ewentualne schody, będziemy je wspólnie likwidować.

Spis treści:

Część I
Nowa teoria zbiorów

1.0 Notacja

2.0 Aksjomatyka algebry Kubusia
2.1 Techniczna algebra Boole’a
2.2 Definicje operatorów logicznych w zbiorach

3.0 Nowa teoria zbiorów
3.1 Podstawowe operacje na zbiorach
3.2 Prawo podwójnego przeczenia
3.3 Zdanie w algebrze Kubusia
3.4 Czym różni się zdanie twierdzące od zdania warunkowego?

4.0 Operatory jednoargumentowe
4.1 Abstrakcyjna budowa operatora logicznego
4.2 Operator transmisji w zbiorach
4.3 Operator negacji w zbiorach

5.0 Operatory implikacji i równoważności
5.1 Operator chaosu w zbiorach
5.2 Implikacja prosta w zbiorach
5.3 Najważniejsze prawa algebry Kubusia
5.3.1 Prawa Prosiaczka
5.3.2 Geneza praw Prosiaczka
5.3.3 Zastosowanie praw Prosiaczka
5.3.4 Czym różni się tożsamość od równoważności?
5.3.5 Budowa tabeli prawdy w algebrze Kubusia
5.4 Implikacja odwrotna w zbiorach
5.5 Równoważność w zbiorach
5.6 Prawa kontrapozycji w implikacji na gruncie NTZ
5.7 Alternatywne definicje implikacji i równoważności
5.8 Równania Fiklita
5.9 Matematyczna historia powstania naszego Wszechświata

6.0 Operatory OR i AND
6.1 Operator OR w zbiorach
6.2 Operator AND w zbiorach
6.3 Prawo przejścia do logiki przeciwnej
6.4 Operator XOR
6.5 Nietypowa równoważność
6.6 Nietypowa implikacja prosta
6.7 Samodzielny warunek wystarczający
6.8 Pseudo-operator Słonia
6.9 Obietnice i groźby

Cześć II
Techniczna algebra Boole’a

7.0 Techniczna algebra Boole’a
7.1 Pełna lista operatorów dwuargumentowych w algebrze Boole’a
7.2 Rachunek zero-jedynkowy w algebrze Boole’a
7.3 Najważniejsze prawa technicznej algebry Boole’a

8.0 Równania algebry Boole’a
8.1 Tworzenie równań logicznych z tabel zero-jedynkowych
8.2 Tworzenie równań logicznych w logice zero
8.3 Osiem równań opisujących operator OR
8.4 Osiem równań opisujących operator AND
8.5 Definicje operatorów w bramkach logicznych
8.6 Operatory jednoargumentowe w tabeli operatorów dwuargumentowych

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

9.0 Obietnice i groźby
9.1 Definicje obietnicy i groźby
9.2 Obietnica
9.3 Groźba
9.4 Obietnica w równaniach logicznych
9.5 Groźba w równaniach logicznych
9.6 Analiza złożonej obietnicy
9.7 Analiza złożonej groźby
9.8 Obietnice i groźby w ujęciu filozoficznym
9.9 Rodzaje obietnic

10.0 Złożone zdania naturalnego języka mówionego
10.1 Zdanie złożone ze spójnikiem „lub”(+)
10.2 Złożona implikacja prosta
10.3 Złożona implikacja odwrotna
10.4 Zdania złożone typu p+(q*r)
10.5 Zdania złożone typu p*(q+r)

Część IV
Kompendium algebry Kubusia

Część V
Definicje czworokątów w algebrze Kubusia

Część I
Nowa teoria zbiorów

1.0 Notacja

Zera i jedynki w nowej teorii zbiorów (NTZ) oznaczają:
1 - zbiór niepusty (zbiór istnieje)
0 - zbiór pusty (zbiór nie istnieje)

~ - symbol negacji

= - tożsamość
Zbiory:
p=q - zbiór p jest tożsamy ze zbiorem q
Rachunek zero-jedynkowy:
Kolumny wynikowe w tabeli zero-jedynkowej są tożsame (identyczne)
p<=>q = ~p<=>~q

# - różne
Zbiory:
p#q - zbiór p jest różny od zbioru q
Rachunek zero-jedynkowy:
Kolumny wynikowe w tabeli zero-jedynkowej są różne
p=>q = ~p~>~q =1 # p~>q = ~p=>~q =0
Po obu stronach znaku # musimy mieć to samo p i q

## - różne na mocy definicji
Implikacja prosta ## Implikacja odwrotna
p=>q = ~p~>~q =1 ## p~>q = ~p=>~q =1
Po obu stronach znaku ## możemy mieć dowolne p i q
W przypadku implikacji zdanie po drugiej stronie znaku ## będzie prawdziwe wtedy i tylko wtedy gdy zamienimy miejscami p i q.

Spójniki logiczne w algebrze Kubusia:
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 „na pewno” 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
$ - spójnik „albo” z naturalnej logiki człowieka

Matematyczny fundament nowej teorii zbiorów:

Definicja znaczka ~~> (naturalny spójnik „może”)
~~> - zbiór na podstawie wektora ~~> musi mieć co najmniej jeden element wspólny ze zbiorem wskazywanym przez strzałkę wektora ~~>

Definicja znaczka => (warunek wystarczający):
=> - zbiór na podstawie wektora => musi zawierać się w zbiorze wskazywanym przez strzałkę wektora =>

Definicja znaczka ~> (warunek konieczny):
~> - zbiór na podstawie wektora ~> musi zawierać w sobie zbiór wskazywany przez strzałkę wektora ~>

2.0 Aksjomatyka algebry Kubusia

Aksjomat to założenie które przyjmuje się bez dowodu.

Aksjomatyka algebry Kubusia to zero-jedynkowe definicje operatorów logicznych plus banalne zasady rachunku zero-jedynkowego. Symboliczna algebra Boole’a (algebra Kubusia) to zero-jedynkowe definicje operatorów logicznych zapisane w równaniach algebry Boole’a (nowa 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

Prawa Prosiaczka:
I. p=0 <=> ~p=1
II. p=1 <=> ~p=0
stąd:
Jeśli p=0 to ~p=1
Jeśli ~p=0 to p=1
<=> - wtedy i tylko wtedy
Prawa Prosiaczka umożliwiają:
A.
Utworzenie równania algebry Boole’a z dowolnej tabeli zero-jedynkowej
B.
Utworzenie tabeli zero-jedynkowej z dowolnego równania algebry Boole’a

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

Przykład:
A: Jestem uczciwy
A: U
B: Jestem nieuczciwy
B: ~U
C: Nieprawdą jest ~(…) że jestem nieuczciwy
C: ~(~U) = A: U
Zdania A i C znaczą dokładnie to samo
cnd

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.

Znaczenie 0 i 1 w nowej teorii zbiorów:
1 - zbiór niepusty (zbiór istnieje)
0 - zbiór pusty (zbiór nie istnieje)

W tabelach zero-jedynkowych operatorów logicznych 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 Prosiaczka:
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

Zauważmy, iż na powyższym diagramie definicja znaczka => spełniona jest wyłącznie w linii A, zatem tu i tylko tu mamy go prawo użyć:
A: p=>q = p*q = p =1
Podobnie, definicja znaczka ~> spełniona jest wyłącznie w linii C, zatem tu i tylko tu mamy prawo go użyć:
C: ~p~>~q = ~p*~q = ~q =1
W pozostałych przypadkach (linie B i D) musimy użyć znaczka ~~> bo nic innego nie mamy już do dyspozycji:
B: p~~>~q = p*~q =1*1 =0 - bo zbiory p i ~q istnieją, ale są rozłączne
D: ~p~~>q = ~p*q =1*1 =1 - wystarczy pokazać jeden element wspólny zbiorów ~p i q.

Definicja warunku wystarczającego w logice dodatniej (bo q):
A: p=>q = p*q = p =1
B: p~~>~q = p*~q =0

Dla punktu odniesienia ustawionym na zdaniu A mamy zero-jedynkową definicję warunku wystarczającego w logice dodatniej (bo q):
A: p=>q
p=1, ~p=0
q=1, ~q=0

rafal3006

Definicja warunku koniecznego ~> w równaniu algebry Boole’a:
p~>q = ~p=>~q
Zamiast dowodzić trudny w dowodzeniu warunek konieczny p~>q możemy udowodnić łatwy w dowodzeniu warunek wystarczający ~p=>~q. Prawdziwość prawej strony tożsamości gwarantuje prawdziwość lewej strony tożsamości. Warunek wystarczający => dowodzi się dużo prościej ze względu na kontrprzykład.

Definicja warunku wystarczającego => w logice ujemnej (bo ~q):
C: ~p=>~q= ~p*~q = ~p =1 - zbiory ~p i ~q mają część wspólną (~q)
D: ~p~~>q= ~p*q = 1*1 =0 - zbiory ~p i q istnieją, ale są rozłączne co wymusza w wyniku 0

~p=>~q
Jeśli zajdzie ~p to na pewno => zajdzie ~q
Z czego wynika że zbiór ~p musi zawierać się w zbiorze ~q

Metodyka dowodzenia warunku wystarczającego w logice ujemnej (bo ~q):
1.
C: ~p=>~q
Sprawdzamy czy każdy element zbioru ~p zawiera się w zbiorze ~q
Jeśli tak to:
~p=>~q= ~p*~q = ~p =1
cnd
2.
Szukamy kontrprzykładu czyli jednego elementu należącego do zbiorów ~p i q:
D: ~p~~>q= ~p*q = 1*1 =1
Kontrprzykład znaleziony to:
C: ~p=>~q =0
cnd
Kontrprzykład wykluczony to:
C: ~p=>~q =1
cnd

Prosty przykład implikacji odwrotnej w zbiorach:

Rozważmy dwa zbiory:
p=[1,2,3,4]]
q=[1,2]
Ustalmy dziedzinę:
D=[1,2,3,4,5,6]
Stąd otrzymujemy:
~p=[5,6]
~q=[3,4,5,6]

Zbiór p zawiera w sobie zbiór q i nie jest tożsamy ze zbiorem q.
Na mocy definicji musi to być implikacja odwrotna.

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

Analiza naszego przykładu:
A.
Jeśli zajdzie p to może zajść q
p~>q
Zbiory:
p~>q = p*q = [1,2,3,4]*[1,2] =[1,2] =p
p~>q = p*q = 1*1 =1
Oba zbiory istnieją (~p=1 i ~q=1) i mają część wspólną, co wymusza w wyniku 1
[1,2,3,4]~>[1,2] =1
Zbiór p zawiera w sobie zbiór q.

Ogólna definicja znaczka ~> (warunku koniecznego) jest następująca:
p~>q
~> - zbiór wskazywany przez podstawę wektora ~> musi zawierać w sobie zbiór wskazywanym przez strzałkę wektora ~>.
p~>q
[1,2,3,4]~>[1,2]
Doskonale widać, iż definicja warunku koniecznego w zdaniu A jest spełniona.
Zajście p jest konieczne dla zajścia q
Zabieram p i musi zniknąć q
Jeśli dodatkowo zbiór p nie jest tożsamy ze zbiorem q to na mocy definicji mamy do czynienia z implikacją odwrotną - nasz przykład.

B.
Jeśli zajdzie p to może ~~> zajść ~q
p~~>~q =1
Zbiory:
p~~>~q = p*~q = [1,2,3,4]*[3,4,5,6]= [3,4] =1
p~~>~q = p*~q=1*1=1
Oba zbiory istnieją (p=1 i ~q=1) i mają część wspólną, co wymusza w wyniku 1
p~~>~q
[1,2,3,4]~~>[3,4,5,6]
Doskonale widać, ze zbiór p nie zawiera w sobie zbioru q, zatem nie zachodzi warunek konieczny ~> w zdaniu B
p~>~q =0
Zdanie B jest prawdziwe na mocy naturalnego spójnika „może”:
~~> - naturalny spójnik „może”, wystarczy znaleźć jeden wspólny element zbiorów p i ~q.

… a jeśli zajdzie ~p?
Prawo Kubusia:
p~>q = ~p=>~q - będące jednocześnie definicją implikacji odwrotnej
C.
Jeśli zajdzie ~p to na pewno => zajdzie ~q
~p=>~q =1
Zbiory:
~p=>~q = ~p*~q = [5,6]*[3,4,5,6] = [5,6]= 1
~p=>~q = ~p*~q=1*1=1
Oba zbiory istnieją (~p=1 i ~q=1) i mają część wspólną, co wymusza w wyniku 1

Ogólna definicja znaczka => (warunku wystarczającego):
p=>q
=> - zbiór na podstawie wektora => musi zawierać się w zbiorze wskazywanym przez strzałkę wektora =>.

W zdaniu C warunek wystarczający jest spełniony:
~p=>~q
[5,6]=>[3,4,5,6]
Zbiór ~p zawiera się w zbiorze ~q
Zajście ~p jest warunkiem wystarczającym dla zajścia ~q.
Dodatkowo widzimy iż zbiór ~p nie jest tożsamy ze zbiorem ~q, co na mocy definicji wymusza nam implikację prostą w logice ujemnej (bo ~q), jeśli za punkt odniesienia przyjmiemy zdanie C.
C: ~p=>~q = p~>q

Ostatnia możliwość przeczeń p i q to:
D.
Jeśli zajdzie ~p to może ~~> zajść q
~p~~>q =0
Zbiory:
~p~~>q = ~p*q = [5,6]*[1,2] = [] =0
~p~~>q = ~p*q = 1*1=0
Oba zbiory istnieją (~p=1 i q=1) ale są rozłączne, co wymusza w wyniku 0

Dla punktu odniesienia ustawionym na zdaniu A otrzymujemy zero-jedynkową definicję operatora implikacji odwrotnej w logice dodatniej (bo q).
A: p~>q
p=1, ~p=0
q=1, ~q=0

rafal3006

5.8 Matematyczna historia powstania naszego Wszechświata

... z przymrużeniem oka, czyli prosty sposób na zapamiętanie najważniejszych definicji operatorów logicznych.

Na początku było:

rafal3006

Część II
Techniczna algebra Boole’a

7.0 Techniczna algebra Boole’a

Podstawowym zadaniem sprzętowej algebry Boole’a (technicznej algebry Boole’a) jest fizyczna realizacja operatora X na wszelkie możliwe sposoby, w szczególności przy pomocy innych operatorów. Dawno temu budowano złożone automaty cyfrowe w bramkach logicznych i tu zadaniem technicznej algebry Boole’a było: minimalizacja złożonych funkcji logicznych, walka z wyścigami i hazardem. W dobie mikroprocesorów (kosztujących tyle co najprostsza bramka logiczna), te umiejętności nie są do niczego potrzebne.

W technicznej algebrze Boole’a nie interesuje nas wewnętrzna budowa poszczególnych operatorów logicznych, którą poznaliśmy wyżej.

Operujemy tu kompletnymi tabelami zero-jedynkowymi operatorów logicznych oraz banalnym rachunkiem zero-jedynkowym. Możemy sobie generować tysiące praw logicznych gdzie o zachodzeniu dowolnego prawa decyduje tożsamość kolumn wynikowych.

7.1 Pełna lista operatorów dwuargumentowych w algebrze Boole’a

Aksjomatyka technicznej algebry Boole’a to po prostu wszystkie możliwe zero-jedynkowe definicje operatorów logicznych plus banalny rachunek zero-jedynkowy.

rafal3006 · Raj, 2013-05-05

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

9.0 Obietnice i groźby

Najważniejszymi definicjami w świecie istot żywych są definicje obsługujące obietnice i groźby.
Podlegają pod nie wszystkie stworzenia żywe od bakterii poczynając.
Zwierzątka które nie posługują się w praktyce tymi definicjami dawno wyginęły.

9.1 Definicje obietnicy i groźby

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N = ~W~>~N
Implikacja prosta na mocy definicji
Gwarancja w obietnicy:
W=>N
Jeśli spełnisz warunek nagrody (W=1) to na pewno => dostaniesz nagrodę (N=1) z powodu że spełniłeś warunek nagrody (W=1)

Znaczenie znaczków => i ~>:
W=>N - obietnica =>, spójnikiem domyślnym jest tu spójnik „na pewno” =>
Jeśli spełnisz warunek nagrody to na pewno => dostaniesz nagrodę, z powodu że spełniłeś warunek nagrody
~W~>~N - groźba ~>, spójnikiem domyślnym jest tu spójnik „może” ~>
Jeśli nie spełnisz warunku nagrody to możesz ~> nie dostać nagrody lub możesz ~~> dostać nagrodę
Spójniki domyślne nie muszą być wypowiadane.

W obietnicy nadawca ma nadzieję (marzenie), że odbiorca spełni warunek nagrody i będzie mógł wręczyć nagrodę. Jeśli odbiorca nie spełni warunku nagrody to nadawca może dać nagrodę lub nie dać, zgodnie ze swoim „widzi mi się”, czyli wolną wolą.
Po stronie odbiorcy występuje nadzieja (marzenie), że nawet jeśli nie spełni warunku nagrody to może otrzymać nagrodę (akt miłości). Odbiorca może zwolnić nadawcę z obietnicy np. w przypadkach losowych.

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K = ~W=>~K
Implikacja odwrotna na mocy definicji
Gwarancja w groźbie:
~W=>~K
Jeśli nie spełnisz warunku kary (~W=1) to na pewno => nie zostaniesz ukarany (~K=1) z powodu że nie spełniłeś warunku kary (~W=1)
Jak widzimy znaczenie znaczka => jest identyczne w obu definicjach.

Znaczenie znaczków ~> i =>:
W~>K - groźba ~>, spójnikiem domyślnym jest tu spójnik „może” ~>
Jeśli spełnisz warunek kary to możesz ~> zostać ukarany, lub możesz ~~> nie zostać ukarany.
~W=>~K - obietnica =>, spójnikiem domyślnym jest tu spójnik „na pewno” =>
Jeśli nie spełnisz warunku kary to na pewno => nie zostaniesz ukarany, z powodu że nie spełniłeś warunku kary
Spójniki domyślne nie muszą być wypowiadane.

W groźbie nadawca ma nadzieję (marzenie), że odbiorca nie spełni warunku kary i nie będzie musiał karać. Jeśli odbiorca spełni warunek kary to nadawca może wykonać karę lub ją darować zgodnie ze swoim „widzi mi się”, czyli wolną wolą.
Po stronie odbiorcy również występuje nadzieja (marzenie), że nawet jeśli spełni warunek kary to nadawca nie wykona kary (akt łaski). W groźbie decyzję o darowaniu kary podejmuje wyłącznie nadawca, odbiorca nie ma tu nic do powiedzenia.

Wyprowadzenie definicji groźby

Definicja obietnicy jest we współczesnej logice poprawna i bezdyskusyjna:
Obietnica = implikacja prosta
To jest nasz pierwszy aksjomat.

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N = ~W~>~N
Implikacja prosta na mocy definicji

Aksjomaty znane ludziom od tysiącleci:
1.
Nagroda to brak kary
N=>~K
Oczywiście w odwrotną stronę tez zachodzi:
~K=>N
stąd:
N<=>~K = (N=>~K)*(~K=>N)=1*1=1 - równoważność

2.
Kara to brak nagrody
K=>~N
Oczywiście w odwrotną stronę tez zachodzi:
~N=>K
stąd:
K<=>~N = (K=>~N)*(~N=>K)=1*1=1 - równoważność

Z powyższego mamy:
N=~K
K=~N

Definicja obietnicy:
W=>N = ~W~>~N

Transformujemy definicję obietnicy do definicji groźby:
1.
Zamieniamy w następniku nagrodę na karę
N=~K
~N=K
stąd:
1: W=>~K = ~W~>K

2.
Zamieniamy w poprzedniku warunek dostania nagrody na warunek wykonania kary.
W obietnicy odbiorca pragnie spełnienia warunku W, bo to jest warunek wystarczający => dla otrzymania nagrody.
W groźbie odbiorca pragnie NIE spełnienia warunku W, bo to jest warunek wystarczający => uniknięcia kary.
Stąd mamy:
W (obietnicy) = ~W (groźby)
Wynika z tego że w naszej niedokończonej definicji 1 musimy zanegować W.
~W=>~K = ~(~W)~>K
~W=>~K = W~>K

Stąd:
Definicja groźby:
Jeśli dowolny warunek to kara
W~>K = ~W=>~N
Implikacja odwrotna na mocy definicji

9.2 Obietnica

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N = ~W~>~N
Implikacja prosta na mocy definicji
Gwarancja w obietnicy:
W=>N
Jeśli spełnisz warunek nagrody (W=1) to na pewno => dostaniesz nagrodę (N=1) z powodu że spełniłeś warunek nagrody (W=1)

Typowa obietnica:
A.
Jeśli będziesz grzeczny dostaniesz czekoladę
G=>C =1 - gwarancja matematyczna
Bycie grzecznym jest warunkiem wystarczającym => dla otrzymania czekolady.
stąd:
B.
Jeśli będziesz grzeczny to możesz ~~> nie dostać czekolady
G~~>~C =0 - złamanie obietnicy

… a jak będę niegrzeczny ?
Prawo Kubusia:
G=>C = ~G~>~C

C.
Jeśli będziesz niegrzeczny to nie dostaniesz czekolady
~G~>~C
W groźbach spójnik „może” ~> jest domyślny i z reguły jest pomijany.

Matematyczne znaczenie zdania C jest oczywiście takie:
C.
Jeśli będziesz niegrzeczny to możesz ~> nie dostać czekolady
~G~>~C =1
Bycie niegrzecznym jest warunkiem koniecznym ~>, aby nie dostać czekolady.
LUB
D.
Jeśli będziesz niegrzeczny to możesz ~~> dostać czekoladę
~G~~>C =1 - akt miłości = akt łaski
To jest święte prawo nadawcy do darowania dowolnej kary zależnej od niego.
Oczywiście może ~~> darować, ale nie musi => darować.

9.3 Groźba

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K = ~W=>~K
Implikacja odwrotna na mocy definicji
Gwarancja w groźbie:
~W=>~K
Jeśli nie spełnisz warunku kary (~W=1) to na pewno => nie zostaniesz ukarany (~K=1) z powodu że nie spełniłeś warunku kary (~W=1)

Przykład:
Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L = ~B=>~L - implikacja odwrotna bo groźba
Brudne spodnie są warunkiem koniecznym lania z powodu brudnych spodni. O tym czy będzie to warunek konieczny i wystarczający decyduje nadawca.

W groźbach naturalny spójnik implikacji odwrotnej „może” ~> jest z reguły pomijany bo osłabiałby groźbę. Nie prowadzi to do niejednoznaczności, gdyż definicje groźby i obietnicy są bardzo proste i precyzyjne.

Analiza:
A:
Jeśli ubrudzisz spodnie to dostaniesz lanie
B~>L =1
Brudne spodnie są warunkiem koniecznym dla dostania lania z powodu brudnych spodni!
LUB
B:
Jeśli ubrudzisz spodnie to możesz ~~> nie dostać lania
B ~~> ~L =1 - prawo do darowania kary (akt łaski)
Zdanie prawdziwe na mocy naturalnego spójnika „może” ~~>.
Nadawca ma prawo do darowania dowolnej kary (akt łaski) zależnej od niego!
Przykład:
JPII i Ali Agca

… a jeśli nie ubrudzę spodni ?
B~>L = ~B => ~L - prawo Kubusia

C:
Jeśli nie ubrudzisz spodni to na pewno => nie dostaniesz lania
~B => ~L =1 - twarda prawda, gwarancja matematyczna
Jeśli nie ubrudzisz spodni to na pewno => nie dostaniesz lania z powodu czystych spodni. Poza tym wszystko może się zdarzyć. Tylko tyle i aż tyle gwarantuje warunek wystarczający =>.
stąd:
D:
Jeśli nie ubrudzisz spodni to możesz ~~> dostać lanie
~B ~~> L =0 - twardy fałsz, zakaz karania niewinnego z powodu czystych spodni

W obietnicach i groźbach bardzo dobrze widać sens logiki dodatniej i ujemnej w operatorach implikacji prostej i odwrotnej.

Definicja logiki dodatniej i ujemnej w operatorach implikacji prostej i odwrotnej:
Implikacja wypowiedziana jest w logice dodatniej jeśli po stronie q nie występuje negacja, inaczej mamy do czynienia z logiką ujemną.

Obietnica:
W=>N = ~W~>~N - prawo zamiany obietnicy => na równoważną groźbę ~>
Obietnica => w logice dodatniej (N) jest równoważna groźbie ~> w logice ujemnej (~N)

Groźba:
W~>K = ~W=>~K - prawo zamiany groźby ~> na równoważną obietnicę =>
Groźba ~> w logice dodatniej (K) jest równoważna obietnicy => w logice ujemnej (~K)

Piękna jest też następująca interpretacja obietnicy i groźby.

rafal3006

Część IV
Kompendium algebry Kubusia

Spis treści:

1.0 Notacja

2.0 Aksjomatyka algebry Kubusia
2.1 Techniczna algebra Boole’a
2.2 Definicje operatorów logicznych w zbiorach

3.0 Nowa teoria zbiorów
3.1 Podstawowe operacje na zbiorach
3.2 Prawo podwójnego przeczenia
3.3 Zdanie w algebrze Kubusia
3.4 Czym różni się zdanie twierdzące od zdania warunkowego?

4.0 Kompendium algebry Kubusia

1.0 Notacja

Zera i jedynki w nowej teorii zbiorów (NTZ) oznaczają:
1 - zbiór niepusty (zbiór istnieje)
0 - zbiór pusty (zbiór nie istnieje)

Spójniki logiczne w algebrze Kubusia:
W całej matematyce mamy zaledwie osiem różnych 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
$ - spójnik „albo” z naturalnej logiki człowieka

2.0 Aksjomatyka algebry Kubusia

Aksjomat to założenie które przyjmuje się bez dowodu.

Aksjomatyka algebry Kubusia to zero-jedynkowe definicje operatorów logicznych plus banalne zasady rachunku zero-jedynkowego. Symboliczna algebra Boole’a (algebra Kubusia) to zero-jedynkowe definicje operatorów logicznych zapisane w równaniach algebry Boole’a (nowa 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
Stąd:
Jeśli p=1 to ~p=0
Jeśli p=0 to ~p=1
Odwrotnie też zachodzi, stąd jedno z najważniejszych praw algebry Boole’a niezbędne dla tworzenia równań algebry Boole’a z dowolnej tabeli zero-jedynkowej.
Prawa Prosiaczka:
p=1 <=> ~p=0
p=0 <=> ~p=1
gdzie:
<=> - wtedy i tylko wtedy

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

Przykład:
A: Jestem uczciwy
A: U
B: Jestem nieuczciwy
B: ~U
C: Nieprawdą jest ~(…) że jestem nieuczciwy
C: ~(~U) = A: U
Zdania A i C znaczą dokładnie to samo
cnd

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.

Znaczenie 0 i 1 w nowej teorii zbiorów:
1 - zbiór niepusty (zbiór istnieje)
0 - zbiór pusty (zbiór nie istnieje)

W tabelach zero-jedynkowych operatorów logicznych 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 Prosiaczka:
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

Część V
Definicje czworokątów w algebrze Kubusia

Wstęp:
Każda nowa idea potrzebuje jakiegoś spektakularnego zastosowania. Z algebrą Kubusia jest ten kłopot że nie jest w stanie nikogo zaskoczyć, bowiem algebrę Kubusia doskonale znają wszyscy ludzie na Ziemi od 5-cio latka po profesora. Myślę, że nowe definicje czworokątów w algebrze Kubusia w 100% jednoznaczne, oraz prawa matematyczne zachodzące pomiędzy tymi definicjami to piękny przykład realnego zastosowania algebry Kubusia, który mam nadzieję przekona wielu matematyków.

Spis treści:

1.0 Notacja

2.0 Ścisłe definicje czworokątów w algebrze Kubusia

3.0 Grupy równoległoboków, trapezów, prostokątów i rombów
3.1 Grupa trapezów
3.2 Grupa równoległoboków
3.3 Grupa prostokątów
3.4 Grupa rombów

4.0 Grupa deltoidów
5.0 Twierdzenie prostokątów
6.0 Równoważnościowe definicje grup czworokątów

7.0 Dowód poprawności definicji operatora i prawa Sowy w AK
8.0 Beznadziejna logika Ziemian w definiowaniu czworokątów
9.0 Kwadratura koła dla Ziemskich matematyków

1.0 Notacja

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
~~> - naturalny spójnik „może” wystarczy pokazać jeden przypadek prawdziwy
<=> - wtedy i tylko wtedy

Komentarz:
Logika matematyczna naszego Wszechświata jest jedna. Nie może być tak że do obsługi matematycznej zbiorów w matematyce obowiązuje logika X, a poza matematyką zbiory obsługiwane są logiką Y.

Podejrzyjmy zatem jak zbiory obsługują eksperci algebry Kubusia, humaniści i 5-cio latki … bo nie ma nic prostszego pod słońcem.

Dziedzina: Zbiór zwierząt
Kryterium tworzenia zbiorów: Ilość nóg

Zwierzęta dzielimy na zwierzęta bez nóg (wąż..), z dwiema nogami (kura ..), z czterema nogami (pies, kot ..) i pozostałe (np. mrówka)

Zwierzęta z czterema łapami to:
pies, kot, słoń i pozostałe
Implikacja prosta:
Jeśli zwierzę jest psem, kotem lub słoniem to na pewno => ma cztery łapy
P+K+S =>4L
Definicja znaczka => spełniona bo:
Zbiór P+K+S zawiera się w zbiorze zwierząt z czterema łapami
Każdy pies zawiera się w zbiorze zwierząt z czterema łapami
Każdy pies ma cztery łapy
Każdy kot zawiera się w zbiorze zwierząt z czterema łapami
Każdy kot ma cztery łapy

Prawo Kłapouchego:
W implikacjach bezczasowych implikacja prosta po zamianie argumentów przechodzi w implikację odwrotną (i odwrotnie).

Implikacja odwrotna:
Jeśli zwierzę ma cztery łapy to może ~> być psem, kotem lub słoniem
Definicja znaczka ~> spełniona bo:
Zbiór zwierząt z czterema łapami zawiera w sobie ~> zbiór P+K+L
4L~>P+K+S

Zbiór psów, zbiór kotów i zbiór słoni to zbiory rozłączne.
Pies nie jest podzbiorem kota, ani odwrotnie.
Pies nie jest szczególnym przypadkiem kota ani odwrotnie.
Nie istnieje zwierzę pieso-kot, które by było jednocześnie psem i kotem.

Identycznie mamy w matematyce, co za chwilę zobaczymy.

2.0 Ścisłe definicje czworokątów w algebrze Kubusia

Znaczenie zmiennych:
KR = wszystkie kąty równe (grupa prostokątów)
~KR - nie wszystkie kąty równe
BR - wszystkie boki równe (grupa rombów)
~BR - nie wszystkie boki równe
PBPRiR - przeciwległe boki parami równe i równoległe (grupa równoległoboków)
JPBRiNR - jedna para boków równoległych ale nie równych (trapez - definicja ścisła)
PKP - przekątne przecinają się pod katem prostym (grupa deltoidów)

Grupa czworokątów:
Czworokąt to wielokąt o czterech bokach i o czterech kątach wewnętrznych.
CZ = kwadrat + prostokąt + romb + równoległobok + trapez + deltoid + pozostałe czworokąty
gdzie:
Pozostałe czworokąty to np. czworokąty o losowej długości boków

Ścisłe definicje czworokątów w algebrze Kubusia

Kwadrat
Kwadrat to czworokąt mający wszystkie kąty równe i wszystkie boki równe
KW=KR*BR
W logice Ziemian mamy precyzyjnie zdefiniowany kwadrat którego nie sposób pomylić z innym czworokątem. Możemy go zatem łatwo użyć do utworzenia ścisłej definicji prostokąta i rombu.

Prostokąt
Prostokąt to kwadrat o nie równych bokach
PR =KR*~BR

Romb
Romb to kwadrat o nie równych kątach
ROMB = ~KR*BR

Równoległobok
Równoległobokiem nazywamy czworokąt, w którym przeciwległe boki są parami równe i równoległe, który nie ma kątów równych i nie ma boków równych
RÓWNOLEGŁOBOK = PBPRiR*~KR*~BR
PBPRiR - przeciwległe boki parami równe i równoległe

Trapez
Trapezem nazywamy taki czworokąt, który ma dokładnie jedną parę boków równoległych, ale nie równych.
Trapez = JPBRiNR*~KR*~BR
JPBRiNR - jedna para boków równoległych ale nie równych
Zauważmy, że dołożyliśmy tu nieszkodliwy człon ~KR*~BR bowiem dla trapezu zachodzi:
~KR=1 i ~BR=1

Deltoid
Deltoid to czworokąt w którym przekątne przecinają się pod kątem prostym, nie mający wszystkich kątów równych i nie mający wszystkich boków równych
Deltoid=PKP*~KR*~BR

3.0 Grupy równoległoboków, trapezów, prostokątów i rombów

Ziemska definicja równoległoboku:
[link widoczny dla zalogowanych]
Równoległobok
Równoległobokiem nazywamy czworokąt, w którym przeciwległe boki są parami równe i równoległe.

Ziemska definicja równoległoboku to definicja GRUPY równoległoboków a nie konkretnego, tego jedynego w swoim rodzaju równoległoboku o definicji INNEJ niż pozostałych równoległoboków.

Powinno być!
GRUPA równoległoboków
Grupa równoległoboków to czworokąty w których przeciwległe boki są parami równe i równoległe.

Definicja GRUPY równoległoboków w równaniu algebry Boole’a:
GR = ROWNOLEGŁOBOK + kwadrat + prostokąt + romb
GR = PBPRiR*~KR*~BR + BR*KR + ~BR*KR + BR*~KR
PBPRiR - przeciwległe boki parami równe i równoległe

Definicja równoległoboku (tego jedynego o definicji INNEJ niż pozostałe czworokąty):
Równoległobok
Równoległobok to czworokąt w którym przeciwległe boki są parami równe i równoległe, nie mający kątów prostych i nie mający boków równych
ROWNOLEGŁOBOK = PBPRiR*~KR*~BR

Oczywiście równanie algebry Boole’a opisujące grupę równoległoboków mamy prawo zminimalizować.

Zadanie na poziomie I klasy LO:
Zminimalizować funkcję logiczną opisującą grupę równoległoboków

GR = PBPRiR*~KR*~BR + BR*KR + ~BR*KR + BR*~KR
Znaczenie zmiennych:
KR = wszystkie kąty równe
~KR - nie wszystkie kąty równe
BR - wszystkie boki równe
~BR - nie wszystkie boki równe
PBPRiR - przeciwległe boki parami równe i równoległe

Podstawmy:
r = PBPRiR
p=KR
q=BR
stąd nasze równanie przybiera postać:
GR = r*~p*~q + p*q +p*~q +~p*q
GR = r*~p*~q + p*(q+~q) + ~p*q
Zastosowane prawo algebry Boole’a: wyciągnięcie zmiennej przed nawias
GR = r*~p*~q + p + ~p*q
Użyte prawa:
q+~q=1
p*1=p
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników. Oczywiście możemy to prawo stosować lokalnie, co wyjaśni dalsze działanie Kubusia o bardzo małym rozumku.
W powyższym równaniu zajmiemy się na razie dwoma ostatnimi wyrażeniami.
~GR = ~(r*~p*~q)*[~p*(p+~q)]
~GR = ~(r*~p*~q)*[~p*p+~p*~q]
Prawo: mnożenie zmiennej przez wielomian
~GR = ~(r*~p*~q)*[~p*~q]
Wykorzystane prawa:
p*~p=0
p+0=p
… a teraz to sobie ruszymy ten pierwszy człon.
~GR = [~r+p+q]*[~p*~q]
… i mnożymy zmienną ~p*~q przez wielomian.
~GR = ~r*~p*~q + p*~p*~q + q*~p*~q
~GR = ~r*~p*~q
Wykorzystane prawa:
p*~p=0
0*p=0
0+x=x
Przechodzimy do logiki przeciwnej:
GR = r + p + q

Przywracając znaczenie zmiennych:
GR = PPBRiR + KR + BR
Znaczenie zmiennych:
KR = wszystkie kąty równe
~KR - nie wszystkie kąty równe
BR - wszystkie boki równe
~BR - nie wszystkie boki równe
PBPRiR - przeciwległe boki parami równe i równoległe

Jak działa genialna, techniczna algebra Boole’a?
GR = PBPRiR + KR + BR
Matematycznie to równanie oznacza:
GR=1 <=> PBPRiR=1 lub KR=1 lub BR=1
1.
Losujemy dowolny czworokąt: równoległobok
ROWNOLEGŁOBOK = PBPRiR*~KR*~BR
Stwierdzamy:
PBPRiR=1
STOP!
Dalszych zmiennych nie musimy sprawdzać!
Równoległobok (ten konkretny, jedyny w swoim rodzaju!) należy do grupy równoległoboków
2.
Losujemy: kwadrat lub prostokąt
Stwierdzamy:
KR=1
STOP!
Nic więcej nie musimy sprawdzać!
Kwadrat i prostokąt należy do grupy równoległoboków!
3.
Losujemy: romb lub kwadrat
Stwierdzamy:
BR=1
STOP!
Nic więcej nie musimy sprawdzać!
Kwadrat i romb należy do grupy równoległoboków!
4.
Losujemy: Trapez
Stwierdzamy:
DPBRiR=0
KR=0
BR=1
Trapez należy do grupy równoległoboków?!
Czy trapez ma przeciwległe boki parami równe i równoległe?

W ostatnim przypadku od razu wyszła tragiczna definicja trapezu w logice Ziemian.
[link widoczny dla zalogowanych]
Trapez:
Trapezem nazywamy taki czworokąt, który ma przynajmniej jedną parę boków równoległych.

Poprawna definicja trapezu rozumiana jako ten JEDYNY w swoim rodzaju czworokąt różny od innych czworokątów musi być taka.

Algebra Kubusia:
Trapez
Trapezem nazywamy taki czworokąt, który ma DOKŁADNIE jedną parę boków równoległych, ale nie równych.
Trapez = JPBRiNR
JPBRiNR - jedna para boków równoległych ale nie równych

Dopiero przy tej definicji nasza matematyczna definicja grupy równoległoboków jest GENIALNA!

Powtórzmy punkt 4.
4A.
Losujemy: Trapez
Stwierdzamy:
DPBRiR=0
KR=0
BR=0
Czyli:
Wszystkie boki równe = 0

Ziemska definicja trapezu tego nie wyklucza, czyli wedle Ziemian trapez może być:
kwadratem, prostokątem, rombem, równoległobokiem, trapezem

Ziemska definicja trapezu:

[link widoczny dla zalogowanych]
Trapez:
Trapezem nazywamy taki czworokąt, który ma przynajmniej jedną parę boków równoległych.

Jak widzimy, jak bumerang wraca tu koszmar ziemskich matematyków.

Trapez to:
kwadrat, prostokąt, romb, równoległobok, trapez

Czyli:
Trapez to trapez

Oczywiście chodzi tu o grupę trapezów!

Grupa trapezów to:
kwadrat, prostokąt, romb, równoległobok, trapez

Zapis grupy trapezów w równaniu algebry Boole’a:
GT = kwadrat + prostokąt + romb + równoległobok + trapez
czyli:
GT = KR*BR + KR*~BR + ~KR*BR + PBPRiR*~KR*~BR + JPBRiNR*~KR*~BR

Do definicji trapezu z AK dokładamy człon: ~KR*~BR
oczywiście to jest człon nieszkodliwy bo dla trapezu zachodzi:
~KR=1
~BR=1
Wolno nam!
stąd końcowe równanie grupy trapezów jest takie:
GT = KR*BR + KR*~BR + ~KR*BR + (PBPRiR + JPBRiNR)*~KR*~BR

Jest oczywistością że po minimalizacji równanie logiczne dla GRUPY trapezów przyjmie postać!
GT = PBPRiR + KR + BR + JPBRiNR
czyli:
GT = GRUPA równoległoboków + trapez (ten konkretny trapez= JPBRiNR!)

5.
Losujemy: równoległobok
Sprawdzamy:
PBPRiR=1
STOP!
Nic więcej nie musimy sprawdzać!
Równoległobok należy do grupy trapezów!
6.
Losujemy: trapez
Sprawdzamy:
JPBRiNR=1
JPBRiNR - jedna para boków równoległych ale nie równych
STOP!
Nic więcej nie musimy sprawdzać!
Trapez (ten konkretny trapez!) należy do grupy trapezów!

Czyż algebra Kubusia nie jest genialna?

Oczywiście nie Kubuś jest jej autorem bo … algebra Kubusia działała już w chwili Wielkiego Wybuchu!

Twierdzenie:
Autorem żadnego z praw fizyczno- matematycznych nie jest człowiek, człowiek to tylko odkrywca.

Czy człowiek mógłby odkryć jakiekolwiek prawo fizyczno-matematyczne gdyby nie działało ono od zawsze?
… czyli od wystarczająco długiego okresu.

Czy możliwy byłby Internet bez praw fizycznych działających od zawsze?

3.1 Grupa trapezów

I.
Grupa trapezów:
Trapez
Trapezem nazywamy taki czworokąt, który ma przynajmniej jedną parę boków równoległych.
Definicja grupy trapezów: JPBR
JPBR - jedna para boków równoległych
Grupa trapezów to:
GT = kwadrat, prostokąt, romb, równoległobok, trapez
GT = KR*BR + KR*~BR + ~KR*BR + PBPRiR*~KR*~BR + JPBR*~KR*~BR
W powyższym równaniu mamy zdefiniowane ściśle konkretne czworokąty będące trapezami:
Każdy kwadrat (KR*BR) jest trapezem (w znaczeniu iż należy do grupy trapezów: JPBR)
Każdy prostokąt (KR*~BR) jest trapezem ( w znaczeniu iż należy do grupy trapezów: JPBR)
Każdy trapez (ten konkretny: JPBR*~KR*~BR) jest trapezem (w znaczeniu iż należy do grupy trapezów: JPBR)
itd.

Równanie logiczne dla grupy trapezów po minimalizacji przyjmuje postać:
GT = KR + BR + PBPRiR (równoległobok) + JPBR (trapez)
gdzie:
Prostokąt (grupa prostokątów):
KR - wszystkie kąty równe (kwadrat, prostokąt)
Romb (grupa rombów):
BR - wszystkie boki równe (kwadrat, romb)
Równoległobok (grupa równoległoboków):
PBPRiR - przeciwległe boki parami równoległe i równe (kwadrat, prostokąt, romb, równoległobok)
Trapez (grupa trapezów):
JPBR - przynajmniej jedna para boków równoległych (kwadrat, prostokąt, romb, równoległobok, trapez)

Zauważmy, że mimo iż w definicji grupy trapezów użyliśmy liczby pojedynczej (trapez) to matematycznie musimy tą definicję rozumieć jako grupę trapezów (więcej niż jeden), na co jednoznacznie wskazuje treść definicji. Podobnie mamy z prostokątem, rombem i równoległobokiem.

Algebra Kubusia dopuszcza uproszczone, powszechnie używane skróty myślowe:
1.
Prostokąt jest trapezem
co matematycznie oznacza:
Prostokąt (ten jednoznacznie zdefiniowany: KR*~BR) należy do grupy trapezów (o definicji JPBR)
2.
Trapez jest trapezem
Trapez (ten jednoznacznie zdefiniowany: JPBR*~KR*~BR) należy do grupy trapezów (o definicji JPBR)
itd
Jeśli uczeń zdaje sobie sprawę ze stosowanych skrótów myślowych to wszystko jest w porządku.

Mamy tu przypadek identyczny jak w implikacji:
A.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
To też jest powszechnie używany skrót myślowy który matematycznie oznacza:
B.
/\x P8(x)=>P2(x)
Dla dowolnej liczby naturalnej x, jeśli liczba x jest podzielna przez 8 to na pewno => liczba x jest podzielna przez 2
Matematycznie zdania A i B są tożsame.

3.2 Grupa równoległoboków

II.
Grupa równoległoboków:
Równoległobok
Równoległobokiem nazywamy czworokąt, w którym przeciwległe boki są parami równe i równoległe
Definicja grupy równoległoboków: PBPRiR
PBPRiR - przeciwległe boki parami równe i równoległe
Grupa równoległoboków to:
GR = kwadrat, prostokąt, romb, równoległobok
GR = KR*BR + KR*~BR + ~KR*BR + PBPRiR*~KR*~BR
W powyższym równaniu mamy zdefiniowane ściśle konkretne czworokąty będące równoległobokami:
Każdy kwadrat (KR*BR) jest równoległobokiem (w znaczeniu iż należy do grupy równoległoboków: PBPRiR)
Każdy prostokąt (KR*~BR) jest równoległobokiem ( w znaczeniu iż należy do grupy równoległoboków: PBPRiR)
Każdy równoległobok (ten konkretny: PBPRiR*~KR*~BR) jest równoległobokiem (w znaczeniu iż należy do grupy równoległoboków: PBPRiR)
itd

Równanie logiczne dla grupy równoległoboków po minimalizacji przyjmuje postać:
GR = KR + BR + PBPRiR (równoległobok)
gdzie:
Prostokąt (grupa prostokątów):
KR - wszystkie kąty równe (kwadrat, prostokąt)
Romb (grupa rombów):
BR - wszystkie boki równe (kwadrat, romb)
Równoległobok (grupa równoległoboków):
PBPRiR - przeciwległe boki parami równoległe i równe (kwadrat, prostokąt, romb, równoległobok)

Matematycznie zachodzi.
Implikacja prosta:
Jeśli czworokąt jest kwadratem (KR*BR), prostokątem (KR*~BR), rombem (~KR*BR) lub równoległobokiem (PBPRiR*~KR*~BR) to na pewno => zawiera się w grupie równoległoboków (PBPRiR)
KR*BR + KR*~BR + ~KR*BR + PBPRiR*~KR*~BR => PBPRiR

Każdy kwadrat (KR*BR) należy do grupy równoległoboków (PBPRiR)
Każdy kwadrat (KR*BR) jest równoległobokiem (PBPRiR)
Każdy prostokąt (KR*~BR) należy do grupy równoległoboków (PBPRiR)
Każdy prostokąt (KR*~BR) jest równoległobokiem (PBPRiR)
Każdy równoległobok (ten ściśle zdefiniowany: PBPRiR*~KR*~BR) zawiera się w grupie równoległoboków (PBPRiR)
Każdy równoległobok (ten ściśle zdefiniowany: PBPRiR*~KR*~BR) jest równoległobokiem (PBPRiR)

Implikacja odwrotna:
Jeśli czworokąt jest równoległobokiem (PBPRiR) może [~>] być kwadratem (KR*BR), prostokątem (KR*~BR), rombem (~KR*BR) lub równoległobokiem (PBPRiR*~KR*~BR)

Oczywiście zbiory równoległoboków ściśle zdefiniowanych są rozłączne:
Kwadrat ## prostokąt ## romb ## równoległobok
KR*BR ## KR*~BR ## ~KR*BR ## PBPRiR*~KR*~BR
gdzie:
## - różne na mocy definicji
Przykładowy dowód dla kwadratu i prostokąta:
Badamy czy istnieje część wspólna kwadratu (KR*BR) i prostokąta (KR*~BR)
Część wspólna = kwadrat * prostokąt = (KR*BR)*(KR*~BR) = KR*BR*~BR = KR*0 =0
Wykorzystane prawa algebry Boole’a:
p*p=p
p*~p=0
p*0=0
Brak części wspólnej kwadratu i prostokąta jest dowodem iż te czworokąty są rozłączne.
Identycznie dowodzimy rozłączność wszystkich pozostałych równoległoboków.

Wynika z tego że:
Zbiór kwadratów (KR*BR) jest rozłączny ze zbiorem prostokątów (KR*~BR)
Nic co jest kwadratem (KR*BR) nie ma prawa być prostokątem (KR*~BR) i odwrotnie.
Kwadrat (KR*BR) nie jest szczególnym przypadkiem prostokąta (KR*~BR) i odwrotnie.
itd.

3.3 Grupa prostokątów

III.
Grupa prostokątów
Prostokąt
Prostokątem nazywamy czworokąt, którego wszystkie kąty wewnętrzne to kąty proste.
Definicja alternatywna:
Prostokąt to czworokąt o wszystkich kątach równych
Cechy charakterystyczne:
Wszystkie kąty proste
Definicja grupy prostokątów:
GP=KR
Grupa prostokątów to:
GP = kwadrat + prostokąt
GP = KR*BR + KR*~BR
W powyższym równaniu mamy zdefiniowane ściśle konkretne czworokąty będące prostokątami (należące do grupy prostokątów).
Kwadrat to czworokąt o kątach równych i bokach równych
Kwadrat = KR*BR
Prostokąt to czworokąt o kątach równych i nie równych bokach
Prostokąt = KR*~BR

Równanie logiczne opisujące grupę prostokątów po minimalizacji to:
GP=KR
Dowód:
GP = kwadrat + prostokąt = KR*BR + KR*~BR = KR*(BR+~BR) = KR*1 = KR
Wykorzystane prawa algebry Boole’a:
Wyciagnięcie zmiennej przed nawias
p+~p=1
p*1=p

Zauważmy, że mimo iż w definicji grupy prostokątów użyliśmy liczby pojedynczej (prostokąt) to matematycznie musimy tą definicję rozumieć jako grupę prostokątów (więcej niż jeden), na co jednoznacznie wskazuje treść definicji.

Każdy kwadrat (KR*BR) jest prostokątem (w znaczeniu iż należy do grupy prostokątów o definicji: KR)
Każdy prostokąt (ten ściśle zdefiniowany: KR*~BR) jest prostokątem (w znaczeniu iż należy do grupy prostokątów o definicji: KR)

Algebra Kubusia dopuszcza uproszczone, powszechnie używane skróty myślowe:
1.
Każdy kwadrat jest prostokątem
co matematycznie oznacza:
Kwadrat (ten jednoznacznie zdefiniowany: KR*BR) należy do grupy prostokątów (o definicji: KR)
2.
Każdy prostokąt jest prostokątem
co matematycznie oznacza:
Prostokąt (ten jednoznacznie zdefiniowany: KR*~BR) należy do grupy prostokątów (o definicji: KR)
3.
Dopuszczalne jest także stwierdzenie (choć to jest bardzo naciągane):
Kwadrat jest szczególnym przypadkiem prostokąta
co matematycznie oznacza:
Kwadrat (ten jednoznacznie zdefiniowany: KR*BR) należy do grupy prostokątów (o definicji: KR)

Nigdy nie może być!
Kwadrat (ten jednoznacznie zdefiniowany: KR*BR) jest podzbiorem prostokąta (tego jednoznacznie zdefiniowanego: KR*~BR)
bo to są zbiory rozłączne!
Dowód:
badamy czy istnieje część wspólna tych zbiorów:
Kwadrat* prostokąt = (KR*BR)*(KR*~BR) = KR*BR*~BR = KR*0 =0
bo prawa algebry Boole’a:
p*p=p
p*~p=0
p*0=0
Brak części wspólnej jest dowodem rozłączności ściśle zdefiniowanych czworokątów: kwadratu i prostokąta

Jeśli uczeń zdaje sobie sprawę ze stosowanych skrótów myślowych jak wyżej to wszystko jest w porządku.

3.4 Grupa rombów

IV.
Grupa rombów
Romb
Rombem nazywamy czworokąt, którego wszystkie boki są równe.
Cechy charakterystyczne:
Boki równe, przekątne przecinają się pod kątem prostym
Definicja grupy rombów:
GR=BR
Grupa rombów to:
GR = kwadrat, romb
GR = KR*BR + ~KR*BR
W powyższym równaniu mamy zdefiniowane ściśle konkretne czworokąty należące do grupy rombów.
Kwadrat to czworokąt o kątach równych i bokach równych
Kwadrat = KR*BR
Romb to czworokąt o kątach nie równych i równych bokach
Romb = ~KR*BR

Równanie logiczne opisujące grupę rombów po minimalizacji to:
GR=BR
Dowód:
GR = kwadrat + romb = KR*BR + ~KR*BR = BR*(KR+~KR) = BR*1 = BR
Wykorzystane prawa algebry Boole’a:
Wyciagnięcie zmiennej przed nawias
p+~p=1
p*1=p

Zauważmy, że mimo iż w definicji grupy rombów użyliśmy liczby pojedynczej (romb) to matematycznie musimy tą definicję rozumieć jako grupę rombów (więcej niż jeden czworokąt), na co jednoznacznie wskazuje treść definicji.

Każdy kwadrat (KR*BR) jest rombem (w znaczeniu iż należy do grupy rombów o definicji: BR)
Każdy romb (ten ściśle zdefiniowany: ~KR*BR) jest rombem (w znaczeniu iż należy do grupy rombów o definicji: BR)

Oczywiście zbiory kwadratów (KR*BR) i rombów (~KR*BR) są rozłączne
czyli:
Nic co jest kwadratem (KR*BR) nie ma prawa być rombem (KR*~BR) i odwrotnie.
Kwadrat (KR*BR) nie jest szczególnym przypadkiem rombu (~KR*BR).
Romb zdefiniowany ściśle (~KR*BR) nie jest też szczególnym przypadkiem równoległoboku ściśle zdefiniowanego (PBPRiR*~KR*~BR)
gdzie:
PBPRiR - przeciwległe boki parami równe i równoległe
Dowód:
Badamy czy istnieje cześć wspólna:
ROMB*równoległobok = (~KR*BR)*(PBPRiR*~KR*~BR) = 0
bo prawo algebry Boole’a:
p*~p=0
0*x =0
cnd

Romb zdefiniowany ściśle (~KR*BR) zawiera się w grupie równoległoboków o definicji.
Grupa równoległoboków:
GR = kwadrat, prostokąt, romb, równoległobok
GR = KR*BR + KR*~BR + ~KR*BR + PBPRiR*~KR*~BR
Po minimalizacji:
GR = KR + BR + PBPRiR (równoległobok)

Możemy zatem powiedzieć że:
Każdy romb (~KR*BR) zawiera się w grupie (zbiorze) równoległoboków (o definicji: KR+BR+PBPRiR)
W skrócie:
Każdy romb (~KR*BR) jest równoległobokiem (o definicji: KR+BR+PBPRiR)

Zauważmy także że:
1.
Grupa rombów (o definicji: BR) zawiera się w zbiorze (grupie) równoległoboków (o definicji: KR+BR+PBPRiR)
W żargonie:
Każdy romb (BR) jest równoległobokiem (KR+BR+PBPRiR)
2.
Grupa prostokątów (o definicji: KR) zawiera się w zbiorze (grupie) równoległoboków (o definicji: KR+BR+PBPRiR)
W żargonie:
Każdy prostokąt (KR) jest równoległobokiem (KR+BR+PBPRiR)

4.0 Grupa deltoidów

[link widoczny dla zalogowanych]

rafal3006

7.0 Dowód poprawności definicji operatora i prawa Sowy w AK

W tym punkcie udowodnimy na przykładzie definicji czworokątów poprawność definicji operatora logicznego i prawa Sowy w algebrze Kubusia.

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.

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
~~> - naturalny spójnik „może” wystarczy pokazać jeden przypadek prawdziwy
<=> - wtedy i tylko wtedy

Znaczenie zmiennych:
KR = wszystkie kąty równe (grupa prostokątów)
~KR - nie wszystkie kąty równe
BR - wszystkie boki równe (grupa rombów)
~BR - nie wszystkie boki równe
PBPRiR - przeciwległe boki parami równe i równoległe (grupa równoległoboków)
JPBRiNR - jedna para boków równoległych ale nie równych (trapez - definicja ścisła)
PKP - przekątne przecinają się pod katem prostym (grupa deltoidów)

Grupa czworokątów:
Czworokąt to wielokąt o czterech bokach i o czterech kątach wewnętrznych.
CZ = kwadrat + prostokąt + romb + równoległobok + trapez + deltoid + pozostałe czworokąty
gdzie:
Pozostałe czworokąty to np. czworokąty o losowej długości boków

Ścisłe definicje czworokątów w algebrze Kubusia

Kwadrat
Kwadrat to czworokąt mający wszystkie kąty równe i wszystkie boki równe
KW=KR*BR

Prostokąt
Prostokąt to czworokąt o kątach równych o nie równych bokach
PR =KR*~BR

Romb
Romb to czworokąt o nie równych kątach i równych bokach
ROMB = ~KR*BR

Równoległobok
Równoległobokiem nazywamy czworokąt, w którym przeciwległe boki są parami równe i równoległe, który nie ma kątów równych i nie ma boków równych
RÓWNOLEGŁOBOK = PBPRiR*~KR*~BR
PBPRiR - przeciwległe boki parami równe i równoległe

Trapez
Trapezem nazywamy taki czworokąt, który ma dokładnie jedną parę boków równoległych, ale nie równych.
Trapez = JPBRiNR*~KR*~BR
JPBRiNR - jedna para boków równoległych ale nie równych
Zauważmy, że dołożyliśmy tu nieszkodliwy człon ~KR*~BR bowiem dla trapezu zachodzi:
~KR=1 i ~BR=1

Deltoid
Deltoid to czworokąt w którym przekątne przecinają się pod kątem prostym, nie mający wszystkich kątów równych i nie mający wszystkich boków równych
Deltoid=PKP*~KR*~BR

Definicja równoważności:
p<=>q = (p=>q)*(~p=>~q)

Rozważmy twierdzenie:
AR.
Czworokąt jest kwadratem wtedy i tylko wtedy gdy ma kąty równe i boki równe
KW<=>KR*BR = (KW=>KR*BR)*[~KW=>~(KR*BR)] = (KW=>KR*BR)*[~KW=>(~KR+~BR)]
bo prawo De Morgana:
~(p*q) = ~p+~q
KW<=>KR*BR = (KW=>KR*BR)*[~KW=>(~KR+~BR)]
Prawo algebry Boole’a:
p<=>q = ~p<=>~q
stąd:
~KW<=>~(KR*BR)
~KW<=>(~KR+~BR) = [~KW=>(~KR+~BR)]*(KW=>KR*BR)

Analiza matematyczna przez wszystkie możliwe przeczenia p i q:
AR.
KW<=>KR*BR = (KW=>KR*BR)*[~KW=>(~KR+~BR)]
Zbiory tożsame: KW = KR*BR
A.
Jeśli czworokąt jest kwadratem to na pewno => ma kąty równe i boki równe
KW=>KR*BR =1
Definicja znaczka => spełniona z powodu tożsamości zbiorów:
KW = KR*BR
Wymuszam dowolne KW i pojawia mi się KR*BR
Kodowanie zero-jedynkowe zgodne z KW:
KW=1 => KR*BR
KW: (KR=1)*( BR=1) =>1*1=1
Kodowanie zero-jedynkowe niezgodne z KW:
PR: (KR=1)*( BR=0) => 1*0=0
ROMB: (KR=0)*( BR=1)=>0*1=0
INNE: (KR=0)*(BR=0) =>0*0 =0
B.
Jeśli czworokąt jest kwadratem to może ~~> nie mieć kątów równych lub nie mieć boków równych
KW~~>(~KR+~BR) =0
Kodowanie zero-jedynkowe zgodne z KW:
KW=1 ~~> ~KR+~BR
KW: (~KR=0)+(~BR=0) =>0+0=0
Zbiór kwadratów nie mających kątów równych (~KR) jest zbiorem pustym, stąd ~KR=0
Zbiór kwadratów nie mających boków równych (~BR) jest zbiorem pustym, stąd ~BR=0
Kodowanie zero-jedynkowe niezgodne z KW:
PR: (~KR=0)+(~BR=1) =>0+1=1
ROMB: (~KR=1)+(~BR=0) => 1+0=1
INNE: (~KR=1)+(~BR=1) =>1+1=1

… a jeśli czworokąt nie jest kwadratem?
~KW<=>(~KR+~BR) = [~KW=>(~KR+~BR)]*(KW=>KR*BR)
Zbiory tożsame: ~KW = ~KR+~BR
C.
~KW=>(~KR+~BR)
Jeśli czworokąt nie jest kwadratem to na pewno => nie ma kątów równych lub nie ma boków równych
~KW=>(~KR+~BR) =1
Definicja znaczka => spełniona z powodu tożsamości zbiorów:
~KW = (~KR+~BR)
Kodowanie zero-jedynkowe zgodne z ~KW:
~KW=1 => ~KR+~BR
PR: (~KR=0)+(~BR=1) =>0+1 =1
ROMB: (~KR=1)+(~BR=0) => 1+0 =1
INNE: (~KR=1)+(~BR=1) =>1+1=1
Zbiór prostokątów nie mających kątów równych (~KR) jest zbiorem pustym, stąd ~KR=0
Zbiór prostokątów nie mających boków równych (~BR) jest zbiorem niepustym, stąd ~BR=1
Zbiór rombów nie mających kątów równych (~KR) jest zbiorem niepustym, stąd ~KR=1
Zbiór rombów nie mających boków równych (~BR) jest zbiorem pustym, stąd ~BR=0
itd.
Kodowanie zero-jedynkowe niezgodne z ~KW:
KW: (~KR=0)+(~BR=0) =>0+0=0
D.
Jeśli czworokąt nie jest kwadratem to może ~> mieć kąty równe i boki równe
~KW~~>(KR*BR) =0
Kodowanie zero-jedynkowe zgodne z ~KW:
~KW=1 ~~> KR* BR
PR: (KR=1)*(BR=0) => 1*0 =0
ROMB: (KR=0)*(BR=1) => 0*1=0
INNE: (KR=0)*(BR=0) => 0*0 =0
Kodowanie zero-jedynkowe niezgodne z ~KW:
KW: (KR=1)*(BR=1) =>1*1=1

Obszary fioletowe wykopujemy w kosmos bo są niezgodne z poprzednikiem i nie mają wpływu na wartość logiczną danego zdania.

Zróbmy to!

Analiza matematyczna przez wszystkie możliwe przeczenia p i q:
AR.
KW<=>KR*BR = (KW=>KR*BR)*[~KW=>(~KR+~BR)]
Zbiory tożsame: KW = KR*BR
A.
Jeśli czworokąt jest kwadratem to na pewno => ma kąty równe i boki równe
KW=>KR*BR =1
Definicja znaczka => spełniona z powodu tożsamości zbiorów:
KW = KR*BR
Wymuszam dowolne KW i pojawia mi się KR*BR
Kodowanie zero-jedynkowe zgodne z KW:
KW=1 => KR*BR
KW: (KR=1)*( BR=1) =>1*1=1
B.
Jeśli czworokąt jest kwadratem to może ~~> nie mieć kątów równych lub nie mieć boków równych
KW~~>(~KR+~BR) =0
Kodowanie zero-jedynkowe zgodne z KW:
KW=1 ~~> ~KR+~BR
KW: (~KR=0)+(~BR=0) =>0+0=0

… a jeśli czworokąt nie jest kwadratem?
~KW<=>(~KR+~BR) = [~KW=>(~KR+~BR)]*(KW=>KR*BR)
Zbiory tożsame: ~KW = ~KR+~BR
C.
~KW=>(~KR+~BR)
Jeśli czworokąt nie jest kwadratem to na pewno => nie ma kątów równych lub nie ma boków równych
~KW=>(~KR+~BR) =1
Definicja znaczka => spełniona z powodu tożsamości zbiorów:
~KW = (~KR+~BR)
Kodowanie zero-jedynkowe zgodne z ~KW:
~KW=1 => ~KR+~BR
PR: (~KR=0)+(~BR=1) =>0+1 =1
ROMB: (~KR=1)+(~BR=0) => 1+0 =1
INNE: (~KR=1)+(~BR=1) =>1+1=1
D.
Jeśli czworokąt nie jest kwadratem to może ~> mieć kąty równe i boki równe
~KW~~>(KR*BR) =0
Kodowanie zero-jedynkowe zgodne z ~KW:
~KW=1 ~~> KR* BR
PR: (KR=1)*(BR=0) => 1*0 =0
ROMB: (KR=0)*(BR=1) => 0*1=0
INNE: (KR=0)*(BR=0) => 0*0 =0

Dla kodowania zgodnego ze zdaniem AR otrzymujemy zero-jedynkową definicję równoważności:
KW<=>KR*BR
KW=1, ~KW=0
KR*BR=1, (~KR+~BR)=0

rafal3006

rafal3006