ŚFiNiA

rafal3006

Algebra Kubusia
Biblia logiki matematycznej

Autor: Kubuś, stwórca naszego Wszechświata

Dziękuję wszystkim, którzy dyskutując z Rafałem3006(medium) przyczynili się do odkrycia algebry Kubusia:
Wuj Zbój, Miki, Volrath, Macjan, Irbisol, Makaron czterojajeczny, Quebab, Windziarz, Fizyk, Idiota, Sogors, Fiklit, Yorgin, Pan Barycki, Zbigniewmiller, Mar3x, Wookie, Prosiak, Lucek, Andy72 i inni.

Wstęp:
Od 11 lat Kubuś każde pojęcie z zakresu logiki matematycznej ziemian wywraca do góry nogami, bowiem wtedy i tylko wtedy lądujemy w poprawnej logice matematycznej opisującej nasz Wszechświat żywy i martwy - Algebrze Kubusia.
Fiklit: „Wszystko czego Kubuś dotknie zamienia w absurd”
To zdanie najlepiej ilustruje skalę rewolucji w logice matematycznej jaka wkrótce nastąpi. Dzięki Fiklicie za 5 letnią dyskusję, bez Ciebie AK nigdy by nie powstała, znaczy jej zalążki umarłyby w mrokach historii, nie zauważone przez matematyków. Mleko się rozlało, nie jest możliwe aby ziemscy matematycy koniec końców nie załapali algebry Kubusia, logiki matematycznej 5-cio latków, logiki matematycznej pod którą podlega cały nasz Wszechświat, żywy i martwy.

Spis treści
1.0 Najważniejsze prawa logiki matematycznej 2
1.1 Prawa Kubusia i prawa Tygryska 4
2.0 Algebra zbiorów 6
2.1 Podstawowe operacje na zbiorach 7
2.2 Znaczenie przecinka w algebrze zbiorów 9
2.3 Prawa Prosiaczka 10
2.4 Prawo rozpoznawalności pojęcia 11
2.5 Aksjomatyka zbioru dwuelementowego 12
2.6 Właściwości algebry zbiorów 14
2.7 Relacje zbiorów 17
2.8 Właściwości relacji zbiorów 19
3.0 Operatory jednoargumentowe 19
3.1 Operator transmisji 21
3.2 Operator negacji 24
3.3 Operator chaosu 28
3.4 Operator śmierci 29
3.5 Zestawienie jednoargumentowych operatorów logicznych 30
3.6 Operatory jednoargumentowe a technika cyfrowa 30
3.7 Prawo Rekina 31

1.0 Najważniejsze prawa logiki matematycznej

Najważniejsze prawa logiki matematycznej dotyczą operatorów implikacyjnych zapewniających matematyczną obsługę wszelkich zdań warunkowych „Jeśli p to q”. Zdania warunkowe „Jeśli p to q” to fundament logiki matematycznej.

Definicja zdania warunkowego „Jeśli p to q”:
Jeśli zajdzie p to zajdzie q
Gdzie:
p - poprzednik (fragment zdania po „Jeśli ..”)
q - następnik (fragment zdania po „to ..”)

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach =>, ~>, ~~>
1.
Warunek wystarczający =>:
p=>q =1 - warunek wystarczający => spełniony gdy zbiór p jest podzbiorem => q (inaczej p=>q=0)
2.
Warunek konieczny ~>:
p~>q =1 - warunek konieczny ~> spełniony gdy zbiór p jest nadzbiorem ~> q (inaczej p~>q=0)
3.
Kwantyfikator mały ~~>:
p~~>q = p*~q =1 - definicja kwantyfikatora małego spełniona gdy zbiór p ma co najmniej jeden element wspólny ze zbiorem q (inaczej p~~>q=0)

Uwaga!
Żadne inne znaczki w obsłudze zdań warunkowych „Jeśli p to q” nie są używane.

Definicja podzbioru =>:
Jeśli każdy element zbioru p należy do zbioru q to mówimy iż zbiór p jest podzbiorem => zbioru q i zapisujemy
p=>q

Definicja warunku wystarczającego =>:
Jeśli zajdzie p to zajdzie q
p=>q
Matematycznie:
Warunek wystarczający => = definicja podzbioru =>
Zajście p jest warunkiem wystarczającym => dla zajścia q
Wymuszam dowolne p i musi pojawić się q
Innymi słowy:
Jeśli wylosuję dowolny element ze zbioru p to ten element na 100% będzie w zbiorze q

rafal3006

Spis treści
4.0 Operatory logiczne dwuargumentowe 1
4.1 Operator OR(|+) 5
4.1.1 Od definicji zero-jedynkowej do definicji symbolicznej operatora OR(|+) 7
4.1.2 Od definicji symbolicznej do definicji zero-jedynkowej operatora OR(|+) 11
4.1.3 Operator OR(|+) w zbiorach 14
4.2 Operator AND(|*) 17
4.2.1 Od definicji zero-jedynkowej do definicji symbolicznej operatora AND(|*) 19
4.2.2 Od definicji symbolicznej do definicji zero-jedynkowej operatora AND(|*) 23
4.1.3 Operator AND(|*) w zbiorach 26
4.3 Równania alternatywno-koniunkcyjne i koniunkcyjno-alternatywne 29
4.3.1 Równania alternatywno-koniunkcyjne, logika człowieka 31
4.3.1 Równania koniunkcyjno-alternatywna, logika kosmity 32

4.0 Operatory logiczne dwuargumentowe

Zacznijmy tym razem od techniki cyfrowej.

Definicja sygnału cyfrowego:
Sygnał cyfrowy to zmiany zmiennej binarnej w funkcji czasu

Definicja zmiennej binarnej:
Zmienna binarna to zmienna która może przyjmować w osi czasu wyłącznie dwa stany logiczne 1 i 0.
Zmienna binarna = zmienna dwustanowa (0 i 1)

W technice cyfrowej (TTL) są to stany:
H - wysoki poziom logiczny, napięcie 2,4 do 5,0V
L - niski poziom logiczny, napięcie 0,0 do 0,4V
W logice dodatniej przyporządkowanie tych stanów do logicznego zera i logicznej jedynki jest następujące:
H = 1
L = 0

Definicja bramki logicznej:
Bramka logiczna to obiekt o n-wejściach binarnych i tylko jednym wyjściu binarnym Y.
Odpowiedź bramki logicznej Y na te same wymuszenia na wejściach (p,q,r,s..) jest zawsze identyczna.

Definicja operatora logicznego:
Operator logiczny Y to kompletna odpowiedź bramki logicznej na wszystkie możliwe kombinacje zero-jedynkowe na jej wejściach.
Y = f(p,q,r,s..)
W operatorach dwuargumentowych mamy dwa wejście p i q oraz jedno wyjście Y.

Prawo rozpoznawalności pojęcia:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p
p<=>~P = (p=>~p)*(~p=>p)
Z prawa rozpoznawalności pojęcia wynika że w zero-jedynkowych definicjach operatorów logicznych musimy uwzględniać sygnały zanegowane [~p,~q,~Y]

Postępujemy tu identycznie jak w przypadku bramki jednoargumentowej (punkt 3.6).
Na początku definiujemy wszystkie możliwe odpowiedzi operatora dwuargumentowego w postaci serii dwóch kolumn będących wzajemną negacją

rafal3006

Spis treści
5.0 Operatory implikacyjne 1
5.1 Definicje spójników implikacyjnych =>, ~> i ~~> 2
5.2 Prawa Kubusia i prawa Tygryska 5
5.3 Implikacja prosta |=> 8
5.3.1 Od definicji zero-jedynkowej do definicji symbolicznej implikacji prostej p|=>q 9
5.3.2 Od definicji symbolicznej do definicji zero-jedynkowej implikacji prostej p|=>q 10
5.3.3 Operator implikacji prostej p|=>q w zbiorach 12
5.4 Implikacja odwrotna p|~>q 13
5.4.1 Od definicji zero-jedynkowej do definicji symbolicznej implikacji odwrotnej p|~>q 14
5.4.2 Od definicji symbolicznej do definicji zero-jedynkowej implikacji odwrotnej p|~>q 16
5.4.3 Operator implikacji odwrotnej p|~>q w zbiorach 17
5.5 Równoważność p<=>q 19
5.5.1 Od definicji zero-jedynkowej do definicji symbolicznej równoważności <=> 21
5.5.2 Od definicji symbolicznej do definicji zero-jedynkowej równoważności <=> 23
5.5.3 Operator równoważności p<=>q w zbiorach 24
5.6 Operator chaosu |~~> 25
5.6.1 Od definicji zero-jedynkowej do definicji symbolicznej operatora chaosu |~~> 25
5.6.2 Od definicji symbolicznej do definicji zero-jedynkowej operatora chaosu |~~> 26
5.6.3 Operator chaosu |~~> w zbiorach 27

5.0 Operatory implikacyjne

Operatory implikacyjne zapewniają matematyczną obsługę wszelkich zdań warunkowych „Jeśli p to q”. Zdania warunkowe „Jeśli p to q” to fundament logiki matematycznej.

Definicja zdania warunkowego „Jeśli p to q”:
Jeśli zajdzie p to zajdzie q
Gdzie:
p - poprzednik (fragment zdania po „Jeśli ..”)
q - następnik (fragment zdania po „to ..”)

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach =>, ~>, ~~>
1.
Warunek wystarczający =>:
p=>q =1 - warunek wystarczający => spełniony gdy zbiór p jest podzbiorem => q (inaczej p=>q=0)
2.
Warunek konieczny ~>:
p~>q =1 - warunek konieczny ~> spełniony gdy zbiór p jest nadzbiorem ~> q (inaczej p~>q=0)
3.
Kwantyfikator mały ~~>:
p~~>q = p*~q =1 - definicja kwantyfikatora małego spełniona gdy zbiór p ma co najmniej jeden element wspólny ze zbiorem q (inaczej p~~>q=0)

Uwaga!
Żadne inne znaczki w obsłudze zdań warunkowych „Jeśli p to q” nie są używane.

5.1 Definicje spójników implikacyjnych =>, ~> i ~~>

Definicja podzbioru =>:
Jeśli każdy element zbioru p należy do zbioru q to mówimy iż zbiór p jest podzbiorem => zbioru q i zapisujemy
p=>q

Definicja warunku wystarczającego =>:
Jeśli zajdzie p to zajdzie q
p=>q
Matematycznie:
Warunek wystarczający => = definicja podzbioru =>
Zajście p jest warunkiem wystarczającym => dla zajścia q
Wymuszam dowolne p i musi pojawić się q
Innymi słowy:
Jeśli wylosuję dowolny element ze zbioru p to ten element na 100% będzie w zbiorze q

rafal3006

Spis treści
6.0 Obietnice i groźby 1
6.1 Obietnica 1
6.1.1 Obietnica w równaniach logicznych 10
6.1.2 Obietnica w spójnikach „lub”(+) i „i”(*) 13
6.2 Groźba 18
6.2.1 Groźba w równaniach logicznych 24
6.2.2 Groźba w spójnikach „lub”(+) i „i”(*) 25

6.0 Obietnice i groźby

Definicja obietnicy:
Obietnica to warunek wystarczający p=>q wchodzący w skład implikacji prostej p|=>q na mocy definicji, tu nic a nic nie musimy udowadniać.
p|=>q =(p=>q)*~(p~>q)
A.
Jeśli dowolny warunek to nagroda
W=>N =1
Warunek wystarczający => A wchodzi w skład definicji implikacji prostej W|=>N

Definicja groźby:
Groźba to warunek konieczny p~>q wchodzący w skład implikacji odwrotnej p|~>q na mocy definicji, tu nic a nic nie musimy udowadniać.
p|~>q = (p~>q)*~(p=>q)
A.
Jeśli dowolny warunek to kara
W~>K
Warunek konieczny ~> A wchodzi w skład definicji implikacji odwrotnej W|~>K

6.1 Obietnica

Zacznijmy od przypomnienia sobie teorii ogólnej.

Definicja zdania warunkowego „Jeśli p to q”:
Jeśli zajdzie p to zajdzie q
Gdzie:
p - poprzednik (fragment zdania po „Jeśli ..”)
q - następnik (fragment zdania po „to ..”)

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach =>, ~>, ~~>
1.
Warunek wystarczający =>:
p=>q =1 - warunek wystarczający => spełniony gdy zbiór p jest podzbiorem => q (inaczej p=>q=0)
2.
Warunek konieczny ~>:
p~>q =1 - warunek konieczny ~> spełniony gdy zbiór p jest nadzbiorem ~> q (inaczej p~>q=0)
3.
Kwantyfikator mały ~~>:
p~~>q = p*~q =1 - definicja kwantyfikatora małego spełniona gdy zbiór p ma co najmniej jeden element wspólny ze zbiorem q (inaczej p~~>q=0)

Uwaga:
Żadne inne znaczki w obsłudze zdań warunkowych „Jeśli p to q” nie są używane.

rafal3006

Spis treści
6.3 Obietnice i groźby w ujęciu filozoficznym 1
6.4 Rodzaje obietnic 3
6.5 Analiza złożonej obietnicy 4
6.6 Analiza złożonej groźby 5
7.0 Największa tajemnica operatorów implikacyjnych 7

6.3 Obietnice i groźby w ujęciu filozoficznym

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

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

Zdanie wypowiedziane:
A.
Jeśli zdasz egzamin dostaniesz komputer
E=>K
Implikacja prosta bo dobrowolnych obietnic musimy dotrzymywać
Gwarancja w implikacji prostej:
E=>K
Jeśli zdasz egzamin to na pewno => dostaniesz komputer z powodu że zdałeś egzamin, poza tym wszystko może się zdarzyć - tylko tyle i aż tyle gwarantuje operator implikacji prostej w obietnicy.

Analiza matematyczna:
A.
Jeśli zdasz egzamin to na pewno => dostaniesz komputer
E=>K =1
Zdanie egzaminu jest warunkiem wystarczającym dla otrzymania komputera.
stąd:
B.
Jeśli zdasz egzamin to na pewno => nie dostaniesz komputera
E=>~K =0 - dobrowolnych obietnic musimy dotrzymywać
… a jeśli nie zdam egzaminu ?
Prawo Kubusia:
E=>K = ~E~>~K
czyli:
C.
Jeśli nie zdasz egzaminu to możesz ~> nie dostać komputera
~E~>~K =1
Nie zdanie egzaminu jest warunkiem koniecznym dla nie dostania komputera. O tym czy będzie to warunek konieczny i wystarczający decyduje nadawca.
LUB
D.
Jeśli nie zdasz egzaminu to możesz ~~> dostać komputer
~E~~>K =1 - akt miłości
Prawo nadawcy do wręczenia nagrody, mimo że odbiorca nie spełnił warunku nagrody (tu nie zdał egzaminu).

Matematyczna wolna wola:
Matematyczna wolna wola to warunek konieczny ~>.

W przypadku nie zdania egzaminu, nadawca może nie dać komputera (C) lub dać komputer (D) co zależy tylko i wyłącznie od jego „widzi mi się” czyli wolnej woli.
W skrajnym przypadku może wyjąć monetę i rzucać:
orzełek - dam komputer
reszka - nie dam komputera
… i nie ma szans na zostanie kłamcą.
„Rzucanie monetą” jest matematyczną wolną wolą, ale nie jest wolną wolą człowieka !
Człowiek rzucający monetą staje się maszyną, wobec której nie można mówić o „wolnej woli”.

Wolna wola człowieka:
Wolna wola człowieka to świadoma decyzja negatywna lub pozytywna, nadawca powinien umieć uzasadnić decyzję.

Decyzja negatywna:
Nie zdałeś egzaminu, nie dostaniesz komputera
oczywiście domyślne jest tu „z powodu że nie zdałeś egzaminu”, nadawca może to rozwinąć np. bo kompletnie się nie uczyłeś itp.

Decyzja pozytywna (akt miłości):
Nie zdałeś egzaminu, dostajesz komputer, bo cie kocham, bo widziałem że się uczyłeś ale miałeś pecha itp.

Prawdopodobieństwo zajścia „aktu miłości” w obietnicy:
1.
Zauważmy, że nadawca dobrowolnie obiecuje nagrodę, czyli chce tą nagrodę dać. Jeśli zobaczy że odbiorca starał się ale mu nie wyszło to z reguły i tak wręczy nagrodę (akt miłości).
2.
Obietnice „szyte są na miarę” odbiorcy, czyli nadawca nie daje obietnic gdzie spełnienie warunku nagrody jest niemożliwe lub bardzo mało prawdopodobne. Stąd najczęściej odbiorca spełnia warunek nagrody, nadawca wręcza nagrodę … i wszyscy są szczęśliwi.

Oczywiście obietnice to przyszłość której nie znamy, jednak jeśli obietnica wypowiedziana jest między przyjaciółmi, znajomymi czy nawet miedzy osobami obcymi to z reguły jest dotrzymywana. Czyli prawdopodobieństwo iż nagroda znajdzie się u nadawcy jest tu bardzo wysokie, myślę że na poziomie 90% lub wyższym.

Odrębnym zagadnieniem jest składanie fałszywych obietnic wobec wrogów których chcemy zniszczyć, tu podstęp i fałsz jest na porządku dziennym w myśl zasady, wszystkie chwyty dozwolone byleby zniszczyć wroga. Zauważmy jednak, że nasz wróg dał się złapać w pułapkę dzięki temu że spodziewa się nagrody, czyli również doskonale zna symboliczna algebrę Kubusia.

Każde żywe stworzenie, chce mieć jak najmniej wrogów i jak najwięcej przyjaciół, zatem w powodzi wypowiedzianych obietnic te fałszywe stanowią margines. Zauważmy, że stworzenia żywe żyją w grupach w ramach swojego gatunku. Tu również działa algebra Kubusia, człowiek nie jest tu żadnym wyjątkiem.

Zauważmy, że jeśli przyjmiemy „akt miłości” i „akt łaski” za dobro i wykluczymy linie fałszywe w groźbach i obietnicach to otrzymamy taki wynik:
Dobro-Zło = 4:2
Zatem matematycznie nasz Wszechświat ustawiony jest na dobro.

Weźmy na koniec typowa groźbę.

Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L
Gwarancja w implikacji odwrotnej wynika z prawa Kubusia:
B~>L = ~B=>~L
czyli:
Jeśli przyjdziesz w czystych spodniach to na pewno => nie dostaniesz lania
~B=>~L
... z powodu czystych spodni - tylko tyle i aż tyle gwarantuje operator implikacji odwrotnej.

Równanie jest absolutnie genialne:
B~>L = ~B=>~L

Po prawej stronie mamy 100% determinizm.
Po lewej stronie mamy matematyczna wolną wolę człowieka, czyli jeśli syn przyjdzie w brudnych spodniach to nadawca może go nawet zabić albo darować lanie (gwarancja wolnej woli) ... i nie ma szans na zostanie kłamcą. Tożsamość to tożsamość, z matematyką się nie dyskutuje.

Determinizm filozoficzny i fizyczny:

Determinizm w ujęciu filozoficznym można sprowadzić do jednego zdania:
Jeśli ktokolwiek zna moje myśli z wyprzedzeniem to moja wolna wola leży w gruzach, mój Wszechświat jest zdeterminowany.

Determinizm w ujęciu fizycznym opisuje genialna implikacja. W jednej połówce implikacji zarówno prostej jak i odwrotnej mamy 100% determinizm (=>), zaś w drugiej "rzucania monetą” ( ~>)

Oczywiście determinizm fizyczny to również równoważność p<=>q, ale ta występuje głównie w matematyce, w świecie rzeczywistym króluje implikacja.

6.4 Rodzaje obietnic

1.
Obietnica z natychmiastową wykonalnością:
Jeśli zdasz egzamin dostaniesz komputer
E=>K
… a jak nie zdam egzaminu.
Prawo Kubusia:
E=>K = ~E~>~K
czyli jeśli syn nie zda egzaminu to mogę mu tego komputera nie kupić lub kupić i nie mam szans na zostanie kłamcą.
Po egzaminie następuje rozstrzygnięcie

2.
Obietnica z odroczoną wykonalnością:
Kto przyjdzie jutro dostanie gotowca
J=>G
… a jak przyjdę pojutrze ?
J=>G = ~J~>~G
Oczywiście jak ktoś przyjdzie później, byle przed egzaminem to też może dostać gotowca ale nie musi. Po egzaminie ta obietnica traci sens.

3.
Obietnica w której spełnienie warunku obietnicy jest bardzo mało prawdopodobne:
Jeśli wygram milion w TOTKA to kupię ci samochód
W=>S
… a jak nie wygram w TOTKA ?
Prawo Kubusia:
W=>S = ~W~>~S
Jeśli nie wygram w TOTKA to mogę ci nie kupić samochodu lub kupić i nie mam szans na zostanie kłamcą.

6.5 Analiza złożonej obietnicy

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N = ~W~>~N

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K = ~W=>~K

A.
Jeśli posprzątasz pokój i nie będziesz bił siostry to dostaniesz czekoladę i obejrzysz dobranockę
p=>q
P*~B=>C*D=1
Posprzątanie pokoju i nie bicie siostry jest warunkiem wystarczającym dla dostania czekolady i obejrzenia dobranocki.
B.
p~~>~q
~q=~(C*B)=~C+~D
Jeśli posprzątasz pokój i nie będziesz bił siostry to możesz ~~> nie dostać czekolady lub nie obejrzysz dobranocki
P*~B~~>~C+~D =0
Zakaz karania z powodu spełnienia warunku nagrody.
Rozpisujemy następnik przez definicje spójnika „lub”(+):
p+q = p*q+p*~q+~p*q
~C+~D
Możliwe kary
A: ~C*~D=0 - to jest 100% kary
B: ~C*D =0 - tu też jest element kary (~C)
C: C*~D=0 - tu również jest kara (~D)
Zatem suma logiczna:
A+B+C = 0+0+0=0 - zakaz wykonywania jakiejkolwiek kary w przypadku spełnienia warunku nagrody

… a jeśli nie spełnię warunku nagrody ?
Prawo Kubusia:
p=>q = ~p~>~q
Czyli negujemy zmienne w równaniu A i odwracamy operatory - prawo Kubusia na skróty.
Mamy zdanie A:
P*~B=>C*D
stąd:
~P+B~>~C+~D
Oczywiście w tym przypadku mamy do czynienia z groźbą ~>.
czyli:
C.
Jeśli nie posprzątasz pokoju lub będziesz bił siostrę to możesz nie dostać czekolady lub nie obejrzeć dobranocki
~p~>~q
~P+B~>~C+~D=1
Warunki ukarania, analiza poprzednika:
Definicja spójnika „lub”(+):
p+q = p*q + p*~q + ~p*q
stąd:
~P+B = ~P*B+~P*~B+P*B
D: ~P*B=1 - warunek kary spełniony
E: ~P*~B=1 - warunek ukarania spełniony
F: P*B=1 - warunek ukarania spełniony
Równanie kary:
D+E+F = x+x+x=x
Jeśli dowolny warunek spełniony to mama ma 100% wolnej woli.
Zdanie C pozwala na częściowe darowanie kary, natomiast łącznie ze zdaniem D (niżej) kara może być darowana w 100% !
Jeśli warunek ukarania jest spełniony to mama może wybrać dowolny z poniższych przypadków:
~C+~D
Możliwe kary
A: ~C*~D=1 - to jest 100% kary
B: ~C*D =1 - tu też jest element kary (~C)
C: C*~D=1 - tu również jest kara (~D)
LUB
D.
Jeśli nie posprzątasz pokoju lub będziesz bił siostrę to dostaniesz czekoladę i obejrzysz dobranockę
~p~~>q=1
~P+B~~>C*D=1
W tej linii jest prawo do darowania kary w 100%

6.6 Analiza złożonej groźby

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

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

A.
Jeśli nie posprzątasz pokoju lub będziesz bił siostrę to nie dostaniesz czekolady i nie obejrzysz dobranocki
p~>q
~P+B~>~C*~D
Warunek kary mamy określony w poprzedniku.
Analiza poprzednika na mocy definicji spójnika „lub”(+):
p+q = p*q + p*~q + ~p*q
stąd:
~P+B = ~P*B + ~P*~B + P*B
stąd:
1: ~P*B=1*1=1 - nie posprzątałem pokoju i biłem siostrę, warunek kary spełniony
lub
2: ~P*~B=1*1=1 - nie posprzątałem pokoju i nie bilem siostry, warunek kary spełniony
lub
3: P*B=1*1=1 - posprzątałem pokój i biłem siostrę, warunek kary spełniony
Wystarczy, że którykolwiek warunek kary jest spełniony i już mama może wykonać karę w 100%, czyli brak czekolady i zakaz obejrzenia dobranocki.
Oczywiście na mocy definicji implikacji odwrotnej mama może wykonać karę w 100% (zdanie A), wykonać karę częściową (zdanie B), lub nawet całkowicie zrezygnować z wykonania jakiejkolwiek kary (zdanie B).

Przekształcenie pomocnicze w celu uzyskania ~q dla:
p~~>~q
~q:
~(~C*~B)= C+D
stąd:
B.
Jeśli nie posprzątasz pokoju lub będziesz bił siostrę to dostaniesz czekoladę lub obejrzysz dobranockę
p~~>~q
~P+B~~>C+D
Rozwijamy następnik na mocy definicji spójnika „lub”(+):
p+q = p*q+~p*q+p*~q
stąd:
C+D = C*D+C*~D+~C*D
1: C*D=1 - dostaniesz czekoladę i obejrzysz dobranockę, 100% darowanie kary
2: C*~D=1 - dostaniesz czekoladę i nie obejrzysz dobranocki, częściowe darowanie kary
3: ~C*D=1 - nie dostaniesz czekolady i obejrzysz dobranockę, częściowe darowanie kary
Mamy tu akt łaski, mama może darować karę całkowicie lub częściowo, cokolwiek nie zrobi to nie ma szans na zostanie kłamcą, czyli ma 100% wolnej woli.

… a jeśli posprzątam pokój i nie będę bił siostry ?
Mamy równanie A:
~P+B~>~C*~D
Przechodzimy do logiki ujemnej poprzez negacje zmiennych i wymianę operatorów, czyli prawo Kubusia uzyskane metoda na skróty:
P*~B=>C+D
stąd:
C.
Jeśli posprzątasz pokój i nie będziesz bił siostry to na pewno => dostaniesz czekoladę lub obejrzysz dobranockę
~P=>~q
P*~B=>C+D
Rozwinięcie sumy logicznej C+D mamy wyżej.
Oczywiście tu nie może być mowy o najmniejszej nawet karze bowiem warunek groźby nie został spełniony.
Mamy zatem:
C+D = C*D+C*~D+~C*D
C*D=1 - dostaniesz czekoladę i obejrzysz dobranockę, 100% darowanie kary
C*~D=0 - dostaniesz czekoladę i nie obejrzysz dobranocki, bo zakaz karania
~C*D=0 - nie dostaniesz czekolady i obejrzysz dobranockę, bo zakaz karania
W tym przypadku mama nie ma prawa na wykonanie choćby najmniejszej kary, zatem musi dać czekoladę i pozwolić na obejrzenie bajki.
stąd:
D.
Jeśli posprzątasz pokój i nie będziesz bił siostry to możesz ~~> nie dostać czekolady i nie obejrzysz dobranocki
~p=>q=0
P*~B=>~C*~D=0
Całkowity zakaz karania, bowiem warunek kary nie został spełniony

7.0 Największa tajemnica operatorów implikacyjnych

Prawo Kameleona to jedno z kluczowych praw logiki matematycznej.

Prawo Kameleona:
Identyczność słowna dwóch zdań warunkowych „Jeśli p to q” nie gwarantuje tożsamości matematycznej tych zdań.

Największą tajemnicę operatorów implikacyjnych najłatwiej zrozumieć analizując definicję równoważności.
Zacznijmy od przypomnienia sobie teorii ogólnej.

Definicja zdania warunkowego „Jeśli p to q”:
Jeśli zajdzie p to zajdzie q
Gdzie:
p - poprzednik (fragment zdania po „Jeśli ..”)
q - następnik (fragment zdania po „to ..”)

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach =>, ~>, ~~>
1.
Warunek wystarczający =>:
p=>q =1 - warunek wystarczający => spełniony gdy zbiór p jest podzbiorem => q (inaczej p=>q=0)
2.
Warunek konieczny ~>:
p~>q =1 - warunek konieczny ~> spełniony gdy zbiór p jest nadzbiorem ~> q (inaczej p~>q=0)
3.
Kwantyfikator mały ~~>:
p~~>q = p*~q =1 - definicja kwantyfikatora małego spełniona gdy zbiór p ma co najmniej jeden element wspólny ze zbiorem q (inaczej p~~>q=0)

Uwaga:
Żadne inne znaczki w obsłudze zdań warunkowych „Jeśli p to q” nie są używane.