Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - bramy Raju (Beta 1.0)

 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 16:24, 26 Lip 2016    Temat postu: Algebra Kubusia - bramy Raju (Beta 1.0)

Algebra Kubusia - bramy Raju

Część I
Część II i III w kolejnych postach.

Autorzy:
Kubuś i przyjaciele

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

Gdzie powstawała algebra Kubusia?
Forum śfinia.fora.pl to hlefik Kubusia, zawierający pełną historię powstawania AK:
http://www.sfinia.fora.pl/forum-kubusia,60/
Forum ateista.pl:
[link widoczny dla zalogowanych]
Forum yrizzona.freeforums.org:
[link widoczny dla zalogowanych]
Forum matematyka.pl:
[link widoczny dla zalogowanych]

Algebra Kubusia to końcowy efekt dziesięcioletniej dyskusji na forach sfinia.fora.pl, ateista.pl, yrizona.freeforums.org i matematyka.pl. Warunkiem koniecznym powstania algebry Kubusia było wolne od wszelkiej cenzury forum śfinia oraz kluczowe dyskusje z Rafalem3006, Wujem Zbójem i Fiklitem. Śfinia to hlefik Kubusia z zapisem pełnej historii narodzin algebry Kubusia.

Dziękuję wszystkim, którzy dyskutując z Kubusiem przyczynili się do powstania algebry Kubusia:
Rafał3006(medium), 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.
Kubuś

Wstęp:
Algebra Kubusia to największe wydarzenie w historii ludzkości.
Dlaczego?
Algebra Kubusia to logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy (z matematyką włącznie). W znanym nam Wszechświecie martwym to mniej więcej tak, jakby komputer zrozumiał logikę matematyczną, dzięki której działa.
Wszystkie definicje w algebrze Kubusia są sprzeczne z aktualną logiką matematyczną Ziemian. Matematycy proszeni są zatem o skasowanie (na czas czytania) wszystkiego, czego uczono ich w szkole.

Spis treści
1.0 Notacja 2
2.0 Kompendium algebry Kubusia 4
2.1 Spójniki „lub”(+) i „i”(*) 4
2.2 Operatory OR(|+) i AND(|*) 4
2.3 Prawa Prosiaczka dla dowolnej zmiennej binarnej 6
2.4 Spójniki implikacyjne 6
2.5 Definicje operatorów implikacyjnych 8
2.6 Prawo Kobry 9
3.0 Definicje podstawowe 9
3.1 Podstawowe operacje na zbiorach 10
3.2 Rodzaje tożsamości w logice matematycznej 10
3.2.1 Tożsamość definiująca i wartościująca 10
3.2.2 Tożsamość logiczna „=” (inaczej zwana równoważnością <=>) 10
3.2.3 Tożsamość logiczna vs tożsamość klasyczna 11
3.3 Definicja definicji 13
3.3.1 Definicja minimalna 13
3.4 Podstawowe działania na zbiorach 14
3.4.1 Iloczyn logiczny zbiorów 14
3.4.2 Suma logiczna zbiorów 15
3.4.3 Różnica zbiorów p-q 15
3.4.4 Zaprzeczenie zbioru 15
4.0 Prawa Prosiaczka 16
4.1 Prawa Prosiaczka w zbiorach 18
4.2 Prawa Prosiaczka w logice 3-latka 19
4.3 Prawa Prosiaczka w przedszkolu 20
5.0 Operatory logiczne 21
5.1 Definicje spójników „lub”(+) i „i”(*) 23
5.2 Operator OR(|+) w spójnikach „lub”(+) i „i”(*) 24
5.3 Operator AND(|*) w spójnikach „lub”(+) i „i”(*) 26
5.4 Klasyczny rachunek zero-jedynkowy 28
5.5 Równania alternatywno-koniunkcyjne i koniunkcyjno-alternatywne 33



1.0 Notacja

1 = prawda
0 = fałsz

(~) - symbol negacji, przeczenia (~p=NIE p)

Spójniki „lub”(+) i „i”(*) z naturalnej logiki człowieka:
(+) - spójnik „lub”(+)
(*) - spójnik „i”(*)

Definicje operatorów OR(|+) i AND(|*) w spójnikach „lub”(+) i „i”(*):

(|+) - operator OR
Y=p+q
~Y=~p*~q

(|*) - operator AND
Y=p*q
~Y=~p+~q

Definicje spójników implikacyjnych ~~>, => i ~>:
Niech będą dane dwa zbiory lub zdarzenia p i q operujące na wspólnej dziedzinie

1.
p~~>q = p*q - kwantyfikator mały ~~>

Zdarzenia:
Możliwe jest jednoczesne zajście zdarzeń p i q
Zbiory:
Istnieje wspólny element zbiorów p i q

2.
p=>q - warunek wystarczający =>

Zdarzenia:
Wymuszam dowolne p i musi pojawić się q
Zbiory:
Zbiór p jest podzbiorem => zbioru q

3.
p~>q - warunek konieczny ~>

Zdarzenia:
Zabieram wszystkie p i znika mi q
Zbiory:
Zbiór p jest nadzbiorem ~> zbioru q

Definicje operatorów implikacyjnych w spójnikach implikacyjnych:

p|=>q - operator implikacji prostej
p=>q=1
p~>q=0
p~~>q=1
Definicja:
p|=>q=(p=>q)*~(p~>q) = 1*~(0) =1*1 =1

p|~>q - operator implikacji odwrotnej
p=>q =0
p~>q =1
p~~>q =1
Definicja:
p|~>q = (p~>q)*~(p=>q) = 1*~(0) =1*1 =1

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

p|~~>q - operator chaosu
p=>q =0
p~>q =0
p~~>q =1
Definicja:
p|~~>q = (p~~>q)*~(p=>q)*~(p~>q) = 1*~(0)*~(0) = 1*1*1 =1


2.0 Kompendium algebry Kubusia

1 = prawda
0 = fałsz

„~” - symbol przeczenia np. ~p (nie p)

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

Spójniki „i” i „lub”:
1.
„*” - spójnik „i”(*) z naturalnej logiki człowieka
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
2.
„+” - spójnik „lub”(+) z naturalnej logiki człowieka
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1

2.2 Operatory OR(|+) i AND(|*)

1.
„|+” - operatora OR(|+) opisany jest układem równań logicznych w spójnikach „lub”(+) i „i”(*)

A.
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
… a kiedy zajdzie ~Y?
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
B.
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y
Y = ~(~Y)
Podstawiając A i B mamy prawo De Morgana w logice dodatniej (bo Y)
Y = p+q = ~(~p*~q)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
Logika ujemna (bo ~Y) to zanegowana logika dodatnie (bo Y)
~Y = ~(Y)
Podstawiając A i B mamy prawo De Morgana w logice ujemnej (bo ~Y)
~Y = ~p*~q = ~(p+q)
Uwaga:
Przejście do logiki przeciwnej jest odpowiednikiem wzorów skróconego mnożenia znanych z matematyki klasycznej.
Zapis tożsamy takiego przejścia to po prostu negacja dwustronna tożsamości logicznej:
Y=p+q
~Y = ~(p+q) = ~p*~q - na mocy prawa De Morgana

Pani w przedszkolu:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)

… a kiedy pani skłamie?
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników
~Y=~K*~T
B.
Prawdą jest (=1), że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Znaczenie symboli:
Y - pani dotrzyma słowa
~Y - pani skłamie

2.
„|*” - operator AND(|*) opisany jest układem równań logicznych w spójnikach „lub”(+) i „i”(*)

A.
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
B.
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y
Y = ~(~Y)
Podstawiając A i B mamy prawo De Morgana w logice dodatniej (bo Y)
Y = p*q = ~(~p+~q)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y)
Logika ujemna (bo ~Y) to zanegowana logika dodatnie (bo Y)
~Y = ~(Y)
Podstawiając A i B mamy prawo De Morgana w logice ujemnej (bo ~Y)
~Y = ~p+~q = ~(p*q)

Pani w przedszkolu:
A.
Jutro pójdziemy do kina i do teatru
Y=K*T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie?
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników
~Y=~K+~T
B.
Prawdą jest (=1), że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1

Znaczenie symboli:
Y - pani dotrzyma słowa
~Y - pani skłamie

2.3 Prawa Prosiaczka dla dowolnej zmiennej binarnej

I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
II Prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Prawa Prosiaczka możemy stosować do dowolnej zmiennej binarnej (także do funkcji logicznych) bez żadnych ograniczeń.


2.4 Spójniki implikacyjne

Definicje spójników implikacyjnych ~~>, => i ~>:
Niech będą dane dwa zbiory lub zdarzenia p i q operujące na wspólnej dziedzinie

1.
p~~>q = p*q - kwantyfikator mały ~~>

Zdarzenia:
Możliwe jest jednoczesne zajście zdarzeń p i q w tej samej dziedzinie.
Zbiory:
Istnieje wspólny element zbiorów p i q

Przykład:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 2
P8~~>P2=P8*P2 =1 bo 8
Zdanie A pod kwantyfikatorem małym prawdziwe, bo istnieje wspólny element zbiorów P8=[8,16,24..] i P2=[2,4,6,8..]. Wystarczy pokazać jeden wspólny element zbiorów P8 i P2 i już zdanie A jest prawdziwe, dalsze działania są nieistotne.
B.
Jeśli liczba jest podzielna przez 8 to może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =0
Zdanie B pod kwantyfikatorem małym ~~> jest fałszywe bo zbiory P8=[8,16,24..] i ~P2=[1,3,5,7,9..] są rozłączne.

2.
p=>q - warunek wystarczający =>

Zdarzenia:
Wymuszam dowolne p i musi pojawić się q
Zbiory:
Zbiór p jest podzbiorem => zbioru q

Przykład:
A.
Jeśli jutro będzie padało to na pewno => będzie pochmurno
P=>CH =1
Definicja warunku wystarczającego => spełniona bo zawsze gdy pada (P=1), są chmury (CH=1)
Wymuszam stan „pada” (P=1) i na 100% muszą być „chmury” (CH=1)
B.
Jeśli jutro będzie pochmurno to na pewno => będzie padać
CH=>P =0
Zdanie fałszywe bo wymuszam chmury i wcale nie musi padać

3.
p~>q - warunek konieczny ~>

Zdarzenia:
Zabieram wszystkie p i znika mi q
Zbiory:
Zbiór p jest nadzbiorem ~> zbioru q

Przykład:
A.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P =1
Definicja warunku koniecznego ~> spełniona bo zabieram „chmury” wykluczając „padanie”.
Chmury (CH=1) są warunkiem koniecznym ~> dla padania (P=1) bo jak nie ma chmur (~CH=1) to na pewno => nie pada (~P=1)
W sposób naturalny odkryliśmy tu prawo Kubusia wiążące warunek konieczny ~> z warunkiem wystarczającym =>:
CH~>P = ~CH=>~P
co matematycznie oznacza:
(CH=1)~>(P=1) = (~CH=1) => (~P=1)

Prawo Kubusia w zapisie formalnym:
p~>q = ~p=>~q
co matematycznie oznacza:
(p=1)~>(q=1) = (~p=1) => (~q=1)

Znaczenie prawa Kubusia (tożsamości logicznej <=>):
CH~>P <=> ~CH=>~P
Prawdziwość dowolnej strony tożsamości logicznej <=> wymusza prawdziwość drugiej strony.
Fałszywość dowolnej strony tożsamości logicznej <=> wymusza fałszywość drugiej strony

Matematycznie zachodzi:
Tożsamość logiczna <=> = Tożsamość klasyczna „=”
Stąd znaczki <=> i „=” można używać zamiennie i zwykle tak się robi dla poprawienia czytelności zapisu.

Prawa Kubusia wiążące warunek wystarczający => i konieczny ~>:
p=>q = ~p~>~q
p~>q = ~p=>~q


2.5 Definicje operatorów implikacyjnych

p|=>q - operator implikacji prostej:
p=>q=1
p~>q=0
p~~>q=1

p|~>q - operator implikacji odwrotnej:
p=>q =0
p~>q =1
p~~>q =1

p|~~>q - operator chaosu:
p=>q =0
p~>q =0
p~~>q =1

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

Przykład:
Zbadaj w skład jakiego operatora logicznego wchodzi twierdzenie Pitagorasa.
TP.
Jeśli trójkąt jest prostokątny to na pewno => zachodzi suma kwadratów
TP=>SK =1
Definicja warunku wystarczającego => spełniona bo zbiór TP jest podzbiorem => zbioru SK
TP~>SK =1
Definicja warunku koniecznego ~> spełniona bo zbiór TP jest nadzbiorem ~> zbioru SK
Oczywistość z powodu tożsamości zbiorów TP=SK
Stąd mamy odpowiedź:
Twierdzenie Pitagorasa jest częścią operatora równoważności:
TP<=>SK = (TP=>SK)*(TP~>SK) = 1*1 =1


2.6 Prawo Kobry

Prawo Kobry:
Warunkiem koniecznym prawdziwości dowolnego zdania warunkowego „Jeśli p to q” jest jego prawdziwość pod kwantyfikatorem małym ~~>

Prawo Kobry roznosi w puch całą współczesną logikę matematyczną Ziemian.
Przykład działania prawa Kobry:
A.
Jeśli jutro będzie pochmurno to może padać
CH~>P =1
Zdanie B jest prawdziwe na mocy definicji warunku koniecznego ~> bo zabieram chmury wykluczając padanie.
CH~~>P = CH*P =1
Zdanie B jest też prawdziwe na mocy definicji kwantyfikatora małego ~~>, możliwe jest zdarzenie „są chmury” i „pada”
Przykład zdania fałszywego z warunkiem koniecznym ~>:
B.
Jeśli jutro będzie padało to może ~> być pochmurno
P~>CH =0
Definicja warunku koniecznego ~> nie jest spełniona bo zabieram stan „pada” nie wykluczając stanu „pochmurne niebo”


3.0 Definicje podstawowe

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć z obszaru Uniwersum

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka

Definicja dziedziny:
Dziedzina to dowolny zbiór na którym operujemy, nic spoza dziedziny nas nie interesuje
W szczególności dziedziną może być Uniwersum.

Definicja zbioru niepustego i pustego:
Zbiór jest niepusty gdy zawiera co najmniej jeden element
p =[x] - zbiór niepusty
Zbiór jest pusty gdy nie zawiera żadnych elementów
p =[] - zbiór pusty

Wartości logiczne:
1 = prawda
0 = fałsz

Zbiory mają wartości logiczne:
p =[x] =1 - zbiór niepusty
p =[] =0 - zbiór pusty


3.1 Podstawowe operacje na zbiorach

„~” - symbol negacji (przeczenia), słówko „NIE” z naturalnego języka mówionego człowieka

Podstawowe operacje na zbiorach:

„-„ - różnica zbiorów p-q
Y=p-q - wszystkie elementy zbioru p pomniejszone o elementy zbioru q

„i”(*) - symbol iloczynu logicznego zbiorów p*q, spójnik „i”(*) w naturalnej logice człowieka
Y=p*q - wspólna część zbiorów p*q

„lub”(+) - symbol sumy logicznej zbiorów p+q, spójnik „lub”(+) w naturalnej logice człowieka
Y=p+q - wszystkie elementy zbiorów p i q bez powtórzeń

Wartościowanie podstawowych operacji na zbiorach:
1 (prawda) - zbiór wynikowy jest niepusty
0 (fałsz) - zbiór wynikowy jest pusty


3.2 Rodzaje tożsamości w logice matematycznej

W logice matematycznej mamy do czynienia z trzema rodzajami tożsamości:
1. Tożsamość definiująca
2. Tożsamość wartościująca
3. Tożsamość logiczna (tożsama z równoważnością)

Pojęcie tożsamości w logice jest wystarczająco precyzyjne, bowiem rodzaj tożsamości wynika z konkretnego zapisu matematycznego.


3.2.1 Tożsamość definiująca i wartościująca

Zbiory:
p =[x] =1
Pierwsza tożsamość (=[x]) definiuje zbiór, (tożsamość definiująca) natomiast druga (=1) przypisuje temu zbiorowi wartość logiczną (tożsamość wartościująca).
Przykład:
p =[pies, kot] =1
p - nazwa zbioru
[pies, kot] - zawartość zbioru, wypisujemy elementy zbioru
=1 - wartość logiczna zbioru 1, bo zbiór niepusty


3.2.2 Tożsamość logiczna „=” (inaczej zwana równoważnością <=>)

Definicja warunku koniecznego ~>:
p~>q - warunek konieczny ~>, zabieram wszystkie p i znika q

Definicja warunku wystarczającego =>:
p=>q - warunek wystarczający => (gwarancja matematyczna =>), wymuszam dowolne p i pojawia się q

Przykład:
A.
Jeśli jutro będzie pochmurno (CH=1) to może ~> padać (P=1)
CH~>P =1*1 =1
Warunek konieczny ~> spełniony (=1) bo zabieram chmury (CH=1) i znika mi możliwość padania (P=1)
Chmury są warunkiem koniecznym ~> dla deszczu bo jak nie będzie chmur (~CH=1) to mamy gwarancję matematyczną => iż nie będzie padać (~P=1).
W naturalnej logice 5-cio latka odkryliśmy tu matematyczny związek między warunkiem koniecznym ~> i wystarczającym =>.
Prawo Kubusia:
CH~>P = ~CH=>~P
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony.
Na mocy prawa Kubusia mamy matematyczną pewność prawdziwości zdania C.
C.
Jeśli jutro nie będzie pochmurno (~CH=1) to na pewno => nie będzie padało (~P=1)
~CH=>~P =1*1 =1
Definicja warunku wystarczającego => spełniona bo jak nie będzie chmur (~CH=1) to mamy gwarancję matematyczną => iż nie będzie padać (~P=1)

Doskonale tu widać poprawność prawa Kubusia:
Prawdziwość zdania A: CH~>P daje nam gwarancję matematyczną => prawdziwości zdania C: ~CH=>~P i odwrotnie.

Prawa Kubusia w zapisie ogólnym:
p=>q = ~p~>~q
p~>q = ~p=>~q
gdzie:
„=” - tożsamość logiczna

Definicja tożsamości logicznej „=”:
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony.
p=>q = ~p~>~q
W logice matematycznej tożsamość logiczna „=” jest tożsama z równoważnością <=>:
„=” = „<=>”

Prawa Kubusia możemy więc zapisać w sposób matematycznie tożsamy:
p=>q <=> ~p~>~q
p~>q <=> ~p=>~q


3.2.3 Tożsamość logiczna vs tożsamość klasyczna

Prawo Słonia:
Każda tożsamość klasyczna jest tożsamością logiczną (i odwrotnie).

Dowód:
Definicja równoważności:
Równoważność to warunek wystarczający => zachodzący w dwie strony
p<=>q = (p=>q)*(~p=>~q)
Dla p=q otrzymujemy:
p<=>p = (p=>p)*(~p=>~p) =1*1 =1
gdzie:
p - dowolne pojęcie z obszaru Uniwersum

Matematycznie zachodzi:
Tożsamość klasyczna p=p jest dokładnie tym samym co tożsamość logiczna p<=>p
Kod:

Tożsamość klasyczna   =  Tożsamość logiczna
p=p                   =  p<=>p


Przykład:
Rozważmy tożsamość klasyczną:
pies=pies
Przyjmijmy dziedzinę:
U = Uniwersum (dowolne pojęcie zrozumiałe dla człowieka)
Wyznaczenie zbioru „nie pies” (~P=1)
~P=[U-P] - zbiór wszelkich pojęć z obszaru Uniwersum z wykluczeniem „psa”

Warunek wystarczający prosty p=>p:
A.
Jeśli coś jest psem to na pewno => jest psem
P=>P =1
Definicja warunku wystarczającego => spełniona bo:
Każdy zbiór jest podzbiorem => samego siebie

Warunek wystarczający odwrotny ~p=>~p:
C.
Jeśli coś nie jest psem to na pewno => nie jest psem
~P=>~P =1
Po podstawieniu zbioru ~P mamy:
[U-P] => [U-P] =1
Definicja warunku wystarczającego => spełniona bo:
Każdy zbiór jest podzbiorem => samego siebie

Stąd prawdziwa jest równoważność:
Zwierzę jest psem wtedy i tylko wtedy gdy jest psem
P<=>P = (P=>P)*(~P=>~P) =1*1 =1
Zauważmy, że dziedzina jest tu nieistotna, byleby zawierała w sobie zbiór wszystkich psów.

W naszym przykładzie przyjęliśmy najszerszą możliwą dziedzinę:
D=Uniwersum (zbiór wszelkich pojęć zrozumiałych dla człowieka)
Równie dobrze moglibyśmy przyjąć dziedzinę:
D = ZWZ - zbiór wszystkich zwierząt
Doskonale widać, że matematycznie to bez znaczenia.

Na mocy powyższego przykładu prawdziwe są zdania z logiki matematycznej, używane czasami przez człowieka dla podkreślenia „istoty rzeczy”:
pies to pies
koń to koń, jaki jest każdy widzi
dolar to dolar
Jeśli kocha to kocha, nie ucieknie
etc


3.3 Definicja definicji

Definicja definicji:
Pojęcie definiowane = właściwa definicja pojęcia definiowanego

Prawa strona tożsamości to opis lewej strony przy pomocy innych pojęć.

Definicja psa:
Pies = zwierzę domowe, mające cztery łapy, szczekające
… a nawet.
Pies = zwierzę domowe, szczekające
gdzie:
„=” - tożsamość definicyjna

Dla każdego człowieka ta definicja jest wystarczająca.
Lewa strona znaku „=” to pojęcie definiowane.
Właściwa definicja pojęcia definiowanego to wyłącznie prawa strona.
Na mocy tej definicji (prawa strona) każdy człowiek jednoznacznie rozpozna tu psa, od 5-cio latka poczynając. Ta definicja definicji obowiązuje także w matematyce.

Przykład błędnej definicji:
Zwierzę domowe, hodowlane, występujące nad Wisłą, podać jego odgłos.
http://youtu.be/K0uwEbIxhQw


3.3.1 Definicja minimalna

Definicja psa:
A.
Pies to zwierzę domowe, szczekające, przyjaciel człowieka
P = ZD*S*PC =1
Pojęcia ZD, S i PC to stałe symboliczne których wartość logiczna w odniesieniu do psa jest nam znana, w naszym przypadku wartość logiczna tych stałych symbolicznych to 1 (wszystkie pasują do psa).
Czy pies jest zwierzęciem domowym?
TAK (ZD =1)
Czy pies szczeka?
TAK (S =1)
Czy pies jest przyjacielem człowieka?
TAK (PC =1)

Definicja stałej symbolicznej:
Stała symboliczna to nazwa symboliczna której wartość logiczna jest nam z góry znana i której nie jesteśmy w stanie zmienić.

Definicja „pojęcia”:
Dowolne „pojęcie” w naszym Wszechświecie definiowane jest iloczynem logicznym stałych symbolicznych o wartości logicznej równej 1.

Definicja definicji minimalnej:
Definicja jest definicją minimalną, jeśli usunięcie dowolnego członu w definicji powoduje matematyczną niejednoznaczność, czyli kolizję z innym „pojęciem”.

Definicja wystarczająco jednoznaczna:
Definicja wystarczająco jednoznaczna to definicja zrozumiała dla drugiego człowieka

Zauważmy, że można przyjąć nawet taką definicję minimalną psa:
B.
Pies to zwierzę szczekające, przyjaciel człowieka
P = S*PC =1*1 =1
Tu również nikt nie ma wątpliwości że chodzi o psa.
Zauważmy, że zabierając jedno pojęcie lądujemy w niejednoznaczności, zatem ta definicja złożona zaledwie z dwóch elementów jest definicją minimalną.

Przykład definicji nadmiarowej sprowadzonej do absurdu:
Pies to zwierzę szczekające, przyjaciel człowieka, nie będące kurą, nie będące drzewem, nie będące galaktyką … etc
P = S*PC*~K*~D*~G … =1
W iloczynie logicznym, definiującym pojęcie „pies” łatwo można dodać nieskończoną ilość pojęć prawdziwych w stosunku do psa, będących zaprzeczeniem fałszu:
Pies to nie kura
TAK (P*~K =1)
Pies to nie drzewo
TAK (P*~D =1)
etc


3.4 Podstawowe działania na zbiorach

W logice matematycznej dostępne są zaledwie cztery podstawowe operacje na zbiorach.

3.4.1 Iloczyn logiczny zbiorów

Iloczyn logiczny zbiorów p*q to wspólna część tych zbiorów
p*q
Wartościowanie:
p*q =1 - jeśli zbiór wynikowy jest niepusty
p*q =0 - jeśli zbiór wynikowy jest pusty

Przykład:
p=[1,2,3,4]
q=[3,4,5,6]
r=[7,8]
p*q =q*p =[1,2,3,4]*[3,4,5,6] = [3,4] =1 - bo zbiór wynikowy niepusty
p*r =r*p =[1,2,3,4]*[7,8] =[] =0 - bo zbiór wynikowy jest pusty
Wnioski:
1.
Jeśli iloczyn logiczny zbiorów p i q jest zbiorem pustym to zbiory p i q są rozłączne (i odwrotnie)
2.
Iloczyn logiczny zbiorów jest przemienny: p*q = q*p


3.4.2 Suma logiczna zbiorów

Suma logiczna zbiorów p+q to wszystkie elementy zbiorów p i q bez powtórzeń
p+q
Wartościowanie:
1 - jeśli zbiór wynikowy jest niepusty
Z IV aksjomatu Kubusia (punkt 4.2) wnioskujemy, iż wynikiem sumy logicznej zbiorów może być wyłącznie zbiór niepusty.

Przykład:
p=[1,2,3,4]
q=[3,4,5,6]
p+q = [1,2,3,4]+[3,4,5,6] = [1,2,3,4,5,6] =1 - bo zbiór wynikowy niepusty


3.4.3 Różnica zbiorów p-q

Różnica zbiorów p-q to wszystkie elementy zbioru p pomniejszone o elementy zbioru q
p-q
Wartościowanie:
p-q =1 - jeśli zbiór wynikowy jest niepusty
p-q =0 - jeśli zbiór wynikowy jest pusty

Przykład:
Zdefiniujmy zbiory:
p=[1,2,3,4] =1 - zbiór wejściowy niepusty
q=[3,4,5,6] =1 - zbiór wejściowy niepusty
r=[1,2] =1 - zbiór wejściowy niepusty
s=[1,2] =1 - zbiór wejściowy niepusty
p-q = [1,2,3,4]-[3,4,5,6] =[1,2] =1 - bo zbiór wynikowy niepusty
q-p =[3,4,5,6]-[1,2,3,4] =[5,6] =1 - bo zbiór wynikowy niepusty
p-r =[1,2,3,4]-[1,2] =[3,4] =1 - bo zbiór wynikowy niepusty
r-p =[1,2]-[1,2,3,4] =[] =0 - bo zbiór wynikowy pusty
r-s =[1,2]-[1,2] =[] =0
Wnioski:
1.
Jeśli zbiory p i q są nie są tożsame ~[p=q] to różnica zbiorów nie jest przemienna, bo zbiór wynikowy p-q jest różny od q-p
Jeśli zbiory p i q nie są tożsame ~[p=q] to nie jest wszystko jedno który zbiór nazwiemy p a który q
2.
Jeśli zbiory p i q są tożsame [p=q] to różnica zbiorów p-q jest zbiorem pustym [] (i odwrotnie)
p-q = q-p =[]
Jeśli zbiory p i q są tożsame [p=q] to różnica zbiorów jest przemienna, co oznacza iż wszystko jedno jest który zbiór nazwiemy p a który q.


3.4.4 Zaprzeczenie zbioru

Definicja dziedziny:
Dziedzina to dowolny zbiór na którym operujemy, nic spoza dziedziny nas nie interesuje

Definicja zaprzeczenia zbioru:
Zaprzeczenie zbioru to różnica dziedziny D i dowolnego zbioru x wewnątrz dziedziny (w tym D)
Oznaczmy:
D - dziedzina
Zaprzeczenie dziedziny to zbiór pusty []:
~D=[D-D] =[] =0 - zbiór pusty
Zaprzeczenie zbioru pustego to dziedzina:
~[] = D =1 - zbiór pełny (dziedzina)

Przykład:
Przyjmijmy dziedzinę:
D=[1,2,3,4,5,6] =1 - zbiór pełny
p=[1,2,3,4] =1 - zbiór wejściowy niepusty
~p =[D-p] =[1,2,3,4,5,6]-[1,2,3,4] =[5,6] =1 - bo zbiór wynikowy niepusty

Nazwa tożsama „zaprzeczenia zbioru”
Nazwa tożsama „zaprzeczenia zbioru” to „uzupełnienie zbioru do wybranej dziedziny”
W naszym przykładzie zbiór ~p=[5,6] jest uzupełnieniem do dziedziny D=[1,2,3,4,5,6] dla zbioru p=[1,2,3,4]


4.0 Prawa Prosiaczka

Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący przyjmować wyłącznie dwie wartości logiczne 0 albo 1
p=[0,1]
Zmienna binarna = Zmienna dwuwartościowa

Definicja negacji:
Negacją „~” zmiennej binarnej p nazywamy jej przeciwny stan zero-jedynkowy
Kod:

   p ~p
A: 1  0
B: 0  1
   1  2
„~” - symbol negacji

Wyprowadzenie I prawa Prosiaczka:
Opis linii A12:
A.
Jeśli p=1 to na pewno => ~p=0
(p=1)=>(~p=0)
Jeśli ~p=0 to na pewno => p=1
(~p=0)=>(P=1)
Definicja równoważności:
p<=>q = (p=>q)*(q=>p)
Podstawiamy:
p=(p=1)
q=(~p=0)
Stąd mamy:
(p=1)<=>(~p=0) = [(p=1)=>(~p=0)]*[(~p=0)=>(p=1)] = 1*1 =1

Stąd mamy:
I prawo Prosiaczka:
(p=1) <=> (~p=0)
Równoważność oznacza tu matematyczną tożsamość logiczną:
(p=1) = (~p=0)

Wyprowadzenie II prawa Prosiaczka:
Opis linii B12:
B.
Jeśli p=0 to na pewno => ~p=1
(p=0)=>(~p=1)
Jeśli ~p=1 to na pewno => p=0
(~p=1)=>(p=0)
Definicja równoważności:
p<=>q = (p=>q)*(q=>p)
Podstawiamy:
p=(~p=1)
q=(p=0)
Stąd mamy:
(p=0)<=>(~p=1) = [(p=0)=>(~p=1)]*[(p=0)=>(~p=1)] = 1*1 =1

Stąd mamy:
II prawo Prosiaczka:
(p=0) <=> (~p=1)
Równoważność oznacza tu matematyczną tożsamość logiczną:
(p=0) = (~p=1)

Definicja tożsamości logicznej:
p<=>p
Zapis tożsamy:
p=p
Prawda po dowolnej stronie znaku tożsamości logicznej „=” wymusza prawdę po stronie przeciwnej
Fałsz po dowolnej stronie tożsamości logicznej „=” wymusza fałsz po stronie przeciwnej

Tożsamość logiczna ma wszelkie cechy tożsamości klasycznej, dlatego możemy tu użyć znaku tożsamości klasycznej.

Przykład:
2=2
Zapis matematycznie tożsamy:
2<=>2
dowód:
Definicja równoważności:
p<=>q = (p=>q)*(~p=>~q)
2<=>2 = (2=>2)*(~2=>~2) = 1*1 =1
Dziedzina jest tu bez znaczenia, może być:
Uniwersum - wszelkie możliwe pojęcia zrozumiałe dla człowieka

Definicja logiki dodatniej i ujemnej:
Dowolna zmienna binarna wyrażona jest w logice dodatniej gdy nie jest zanegowana, inaczej mamy do czynienia z logiką ujemną.

Stąd mamy końcową definicję praw Prosiaczka.

I prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo q) jest tożsama z fałszem (=0) w logice ujemnej (bo ~q)
(p=1) = (~p=0)

II prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)


4.1 Prawa Prosiaczka w zbiorach

Kod:

-------------
|P          |
|     p=1   |
|    ~p=0   |
-------------

I prawo Prosiaczka dla zbiorów:
(p=1) = (~p=0)
Zdanie:
Prawdą jest (=1) że to jest zbiór p
(p=1)
jest tożsame ze zdaniem:
Fałszem jest (=0) że to jest zbiór ~p
(~p=0)
stąd:
(p=1) = (~p=0)

Kod:

-------------
|~P         |
|    ~p=1   |
|     p=0   |
-------------

II Prawo Prosiaczka dla zbiorów
(~p=1) = (p=0)
Zdanie:
Prawdą jest (=1) że to jest zbiór ~p
(~p=1)
jest tożsame ze zdaniem:
Fałszem jest (=0) że to jest zbiór p
p=0
Stąd:
(~p=1) = (p=0)


4.2 Prawa Prosiaczka w logice 3-latka

I prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo q) jest tożsama z fałszem (=0) w logice ujemnej (bo ~q)
(p=1) = (~p=0)

II prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)

Prawa Prosiaczka doskonale znają w praktyce wszyscy ludzie na ziemi, od 3-latka poczynając na prof. matematyki kończąc.

Tata i synek Jaś (lat 3) na spacerze w ZOO

Jaś pokazując paluszkiem słonia mówi:
A.
Popatrz tata, to jest słoń!
S=1
Matematycznie:
Prawdą jest (=1) że to jest słoń (S)

Tata:
… a może to nie jest słoń?
Jaś:
B.
Fałszem jest (=0) że to nie jest słoń (~S)
~S=0

Zdania A i B są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.
I prawo Prosiaczka:
A: (S=1) = B: (~S=0)

Jaś pokazuje paluszkiem kozę i mówi:
C.
Popatrz tata, to nie jest słoń
~S=1
Matematycznie:
Prawdą jest (=1), że to nie jest słoń

Tata:
… a może to jednak słoń?
Jaś:
D.
Fałszem jest (=0) że to jest słoń
S=0
Zdania C i D są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.
II prawo Prosiaczka
C: (~S=1) = D: (S=0)


4.3 Prawa Prosiaczka w przedszkolu

Świat niezdeterminowany, matematyczny opis nieznanej przyszłości.
Pani:
A.
Jutro pójdziemy do kina
Y=K
co matematycznie oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Y=K
co matematycznie oznacza:
Y=1 <=> K=1
… a kiedy pani skłamie?
Negujemy zdanie A stronami:
~Y=~K
co matematycznie oznacza:
~Y=1 <=> ~K=1
stąd:
B.
Prawdą jest (=1) że pani skłamie (~Y), wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
~Y=~K
co matematycznie oznacza:
~Y=1 <=> ~K=1

To jest matematyczny opis przyszłości, pani mająca wolną wolę jutro może dotrzymać słowa (Y=1), ale równie dobrze może skłamać (~Y=1).


Świat zdeterminowany:
Załóżmy że jest pojutrze i wiemy, że wczoraj byliśmy w kinie.


Mamy zdeterminowaną i znaną przeszłość.

Zaszło zdarzenie:
K=1 - wczoraj byliśmy w kinie
Zdanie A jest tu prawdziwe:
AP1.
Prawdą jest (=1), że pani dotrzymała słowa (Y) bo wczoraj byliśmy w kinie (K=1)
Y=K
co matematycznie oznacza:
Y=1 <=> K=1

Zastosujmy prawo Prosiaczka:
(Y=1) =(~Y=0)
Zdanie tożsame do AP:
AP2.
Fałszem jest (=0), że pani skłamała (~Y) bo wczoraj byliśmy w kinie (K=1)
(~Y=0) <=> K=1)

Matematycznie zachodzi tożsamość zdań:
AP1 = AP2

W równaniach algebry Boole’a zmienne binarne sprowadzone są do jedynek na mocy praw Prosiaczka (patrz AP1=AP2). W logice matematycznej jedynki są domyślne, możemy je pominąć nic nie tracąc na jednoznaczności, co widać w równaniu AP1. Równania AP2 nie da się zapisać w postaci równania algebry Boole’a izolowanego od wszelkich zer i jedynek, jak to zrobiono w równaniu AP1.

Zdanie B jest dla naszego zdeterminowanego przypadku (K=1) fałszywe.
Dowód:
Mamy przyszłość opisaną zdaniem B.
B.
Prawdą jest (=1) że pani skłamie (~Y), wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
~Y=~K
co matematycznie oznacza:
~Y=1 <=> ~K=1

Wczoraj zaszło:
(K=1)=(~K=0) - byliśmy w kinie (prawo Prosiaczka)

Do równania B z prawej strony możemy zatem podstawić:
K=1 albo ~K=0

Podstawiamy (K=1)
~Y=1 <=> K=1
Równoważność <=> to tożsamość logiczna „=”:
Prawa strona K=1 wymusi tu zatem:
Y=1 <=> K=1
czyli:
Pani dotrzymała słowa Y=1.

Podstawmy drugi możliwy wariant z prawej strony (~K=0), co wymusi (~Y=0)
Czyli:
(~Y=0) <=> (~K=0)
Lewą stronę czytamy:
Fałszem jest (=0) że pani skłamała (~Y).

Podsumowując:
Doskonale widać, że prawa Prosiaczka działają fenomenalnie zarówno w świecie niezdeterminowanym, jak i zdeterminowanym. Możemy je zatem stosować wszędzie, do dowolnej zmiennej binarnej (także do dowolnej funkcji logicznej), bez żadnych ograniczeń.


5.0 Operatory logiczne

Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący przyjmować wyłącznie dwie wartości logiczne 0 albo 1
p=[0,1]
Zmienna binarna = Zmienna dwuwartościowa

Definicja układu logicznego:
Układ logiczny to obiekt o n-wejściach binarnych i tylko jednym wyjściu binarnym Y
Kod:

        ------------------
p0 -----|                |
        |                |
p1 -----| f(p1,p2..pn)=? |------> Y=f(p1,p2..pn)
.....   |                |
pn -----|                |
        ------------------


Definicja operatora logicznego:
Operator logiczny to jednoznaczna odpowiedź układu zwana funkcją logiczną Y na wszystkie możliwe wymuszenia na wejściach układu.

Innymi słowy:
Odpowiedź operatora, to pojawienie się konkretnego stanu na wyjściu w odpowiedzi na stan na wejściach. Odpowiedź na dany stan jest zawsze taka sama. Zestawienie wszystkich możliwych stanów na wejściach oraz przypisanych im odpowiedzi opisuje operator.

Na wejściach [p1,p2..pn] mogą pojawiać się tylko i wyłącznie sygnały 0 albo 1
Na wyjściu Y również mogą się pojawiać tylko i wyłącznie sygnały 0 albo 1

W naszym Wszechświecie dostępne są wyłącznie operatory jednoargumentowe i dwuargumentowe, co odpowiada logice jednowartościowej i dwuwartościowej.

Operatory 3-ardumentowe i większe to czysta abstrakcja, bez związku z dostępną nam rzeczywistością, warta mniej więcej tyle co teoria o nieskończonej ilości Wszechświatów (skala makro) lub teoria strun (skala mikro). Obie te teorie mają tylko jedną zaletę, żadnej z nich nie da się zweryfikować, czyli obalić - na zawsze pozostaną one w sferze bajek (wierzeń).

Tablica dwuargumentowych operatorów logicznych:
Kod:

Najważniejsze, dwuargumentowe operatory logiczne
       |Operator   |Operator   |Implikacja   |Implikacja    |Równoważność
       |OR(|+)     |AND(|*)    |prosta p|=>q |odwrotna p|~>q|p<=>q
       |Y=  ~Y=    |Y=  ~Y=    |Y=   ~Y=     |Y=   ~Y=      |Y=    ~Y=
   p q |p+q ~(p+q) |p*q ~(p*q) |p=>q ~(p=>q) |p~>q ~(p~>q)  |p<=>q ~(p<=>q)
A: 1 1 | =1    =0  | =1    =0  | =1     =0   | =1     =0    |  =1      =0
B: 1 0 | =1    =0  | =0    =1  | =0     =1   | =1     =0    |  =0      =1
C: 0 1 | =1    =0  | =0    =1  | =1     =0   | =0     =1    |  =0      =1
D: 0 0 | =0    =1  | =0    =1  | =1     =0   | =1     =0    |  =1      =0
   1 2    a     b     c     d     e      f      g      h        i       j

Kod:

Pozostałe, dwuargumentowe operatory logiczne
       |Operator      |Operator       |Operator
       |transmisji(P) |transmisji (Q) |dziedziny (D)
       |Y=  ~Y=       |Y=   ~Y=       |D=    ~D=
   p q |pPq ~(pPq)    |pQq  ~(pQq)    |Y+~Y  ~(Y+~Y)=Y*~Y
A: 1 1 | =1    =0     | =1     =0     | =1     =0
B: 1 0 | =1    =0     | =0     =1     | =1     =0
C: 0 1 | =0    =1     | =1     =0     | =1     =0
D: 0 0 | =0    =1     | =0     =1     | =1     =0
   1 2    k     l        m      n        o      p

Matematycznie dla funkcji logicznych w logice dodatniej (bo Y) zachodzi:
Y=p+q ## Y=p*q ## Y=(p=>q) ## Y=(p~>q) ## Y=(p<=>q)
gdzie:
Funkcja logiczna Y to kompletna kolumna wynikowa Y powiązana z wejściami p i q.
## - różne na mocy definicji

Wewnątrz dowolnego operatora logicznego zachodzi:
Y # ~Y
gdzie:
# - różne w znaczeniu iż pojęcia (zbiory) Y i ~Y są rozłączne

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia to zanegowana logika ujemna:
Y = ~(~Y)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
Logika ujemna to zanegowana logika dodatnia:
~Y=~(Y)

Dowolny operator spełnia definicję dziedziny:
D = Y+~Y =1
~D = ~(Y+~Y) = Y*~Y =0 (prawo De Morgana)
co doskonale widać w tablicy operatorów logicznych.

Ciekawostka:
Powyższa tabela przedstawia funkcję logiczną Y w logice spójników logicznych zgodnych z naturalną logiką matematyczną człowieka. Możliwy jest matematycznie tożsamy zestaw funkcji Y w logice totalnie przeciwnej do naturalnej logiki człowieka (spójniki NOR i NAND), który z oczywistych względów nas nie interesuje.


5.1 Definicje spójników „lub”(+) i „i”(*)

Definicja spójnika „lub”(+) w operatorze dwuargumentowym:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1

Definicja spójnika „lub”(+) w zapisie ogólnym (n-argumentowym):
Y = F1 + F2 + … Fn
co matematycznie oznacza:
Y=1 <=> F1=1 lub F2=1 lub … Fn=1
gdzie:
Fx - dowolnie złożona funkcja logiczna, byleby była skończona.

W szczególnym przypadku funkcje F1, F2..Fn mogą być pojedynczymi zmiennymi binarnymi A1, A2 .. An - to bez znaczenia.

Definicja spójnika „i”(*) w operatorze dwuargumentowym:
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

Definicja spójnika „i”(*) w zapisie ogólnym (n-argumentowym):
Y = F1 * F2 * … Fn
co matematycznie oznacza:
Y=1 <=> F1=1 i F2=1 i … Fn=1
gdzie:
Fx - dowolnie złożona funkcja logiczna, byleby była skończona.

W szczególnym przypadku funkcje F1, F2..Fn mogą być pojedynczymi zmiennymi binarnymi A1, A2 .. An - to bez znaczenia.


5.2 Operator OR(|+) w spójnikach „lub”(+) i „i”(*)

Zero-jedynkowa definicja operatora OR(|+) w równaniach algebry Boole’a:
Kod:

Definicja operatora OR(|+) w spójnikach „lub”(+) i „i”(*):
   p  q ~p ~q  Y=p+q ~Y=~(p+q) ~Y=~p*~q Y=~(~p*~q)
A: 1  1  0  0   1      0         0       1
B: 1  0  0  1   1      0         0       1
C: 0  1  1  0   1      0         0       1
D: 0  0  1  1   0      1         1       0
   1  2  3  4   5      6         7       8

Klasyczna definicja zero-jedynkowa operatora OR(|+) to kompletna tabela ABCD125.
Z definicji klasycznej ABCD125 wynika kompletna tabela zero-jedynkowa ABCD123456
Dlaczego?
Wszystkie sygnały zanegowane i niezanegowane muszą istnieć na mocy prawa rozpoznawalności pojęcia p, najważniejszego prawa w logice matematycznej.

Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p

Dowód na przykładzie:
Wyobraźmy sobie że żyjemy w innym Wszechświecie gdzie panuje idealna temperatura (obojętnie jaka). W takim Wszechświecie pojęcia ciepło-zimno są nierozpoznawalne, bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur. W takim Wszechświecie nawet na poziomie abstrakcyjnym nie będziemy w stanie wyobrazić sobie, a tym samym zdefiniować pojęć ciepło-zimno, bo te pojęcia nie są dostępne w tym Wszechświecie.

Z prawa rozpoznawalności pojęcia wynika, że kompletna tabela operatora OR(|+) to nie tylko tabela znana Ziemianom ABCD125, ale także kompletna tabela ABCD12345678 opisująca wszystkie możliwe związki między sygnałami niezanegowanymi i zanegowanymi.

Stąd mamy:
Kompletna definicja operatora OR(|+) w spójnikach „lub”(+) i „i”(*) to układ równań logicznych:
1.
Tożsamość kolumn: 5=8
Y= p+q = ~(~p*~q)
2.
Tożsamość kolumn: 6=7
~Y= ~(p+q)=~p*~q

Doskonale tu widać, że spójnik „lub”(+) w nagłówku kolumny 5 to nie jest operator OR(|+) bo nagłówek ten opisuje wyłącznie wynikowe jedynki w tabeli ABCD125, obszar ABC125.
1
ABC125:
Logika dodatnia (bo Y)
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
Wniosek:
Nagłówek tabeli ABCD125 (Y=p+q) opisuje wyłącznie wynikowe jedynki w tej tabeli.

Prawo Prosiaczka:
(p=1)=(~p=0)
Na mocy prawa Prosiaczka linia D125 jest tożsama z linią D347.
Linia D125=D347 opisuje spójnik logiczny „i”(*) co doskonale widać w tabeli ABCD347
Z nagłówka kolumny 7 odczytujemy:
2.
D347:
Logika ujemna (bo ~Y)
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1
Wniosek:
Nagłówek tabeli ABCD347 (~Y=~p*~q) opisuje wyłącznie wynikowe jedynki w tej tabeli.

Stąd mamy.
Prawo Sowy
Nagłówek dowolnej tabeli zero-jedynkowej opisuje wyłącznie wynikowe jedynki w tej tabeli

Wszystkie sygnały zanegowane i niezanegowane są ze sobą w matematycznym związku.

Związek logiki dodatniej (bo Y) z logiką ujemną (bo ~Y):
Logika dodatnia to zanegowana logika ujemna:
Y = ~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = p+q = ~(~p*~q)
Potwierdza to tożsamość kolumn 5=8

Związek logiki ujemnej (bo ~Y) z logiką dodatnią (bo Y):
Logika ujemna to zanegowana logika dodatnia:
~Y = ~(Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y = ~(p+q) = ~p*~q
Potwierdza to tożsamość kolumn 6=7

Stąd mamy prawo przejścia do logiki przeciwnej będące odpowiednikiem wzorów skróconego mnożenia w matematyce klasycznej.

Prawo przejścia do logiki przeciwnej:
Negujemy zmienne i wymieniamy spójniki na przeciwne
1: Y=p*q
2: ~Y=~p+~q

Przykład 5.2
Pani w przedszkolu:
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
… a kiedy pani skłamie?
Negujemy równanie stronami:
~Y=~(K+T) = ~K*~T
W naturalnej logice człowieka wyłącznie równania alternatywo-koniunkcyjne są bez problemu zrozumiałe. Takim równaniem jest w tym przypadku.
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
Odczytujemy:
2.
Prawdą jest (=1), że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1


5.3 Operator AND(|*) w spójnikach „lub”(+) i „i”(*)

Zero-jedynkowa definicja operatora AND(|*) w spójnikach „lub”(+) i „i”(*):
Kod:

Definicja operatora AND(|*) w równaniach logicznych:
   p  q ~p ~q  Y=p*q ~Y=~(p*q) ~Y=~p+~q Y=~(~p+~q)
A: 1  1  0  0   1      0         0       1
B: 1  0  0  1   0      1         1       0
C: 0  1  1  0   0      1         1       0
D: 0  0  1  1   0      1         1       0
   1  2  3  4   5      6         7       8

Klasyczna definicja zero-jedynkowa operatora AND(|*) to kompletna tabela ABCD125.
Z definicji klasycznej ABCD125 wynika kompletna tabela zero-jedynkowa ABCD123456

Kompletna definicja operatora AND(|*) w spójnikach „lub”(+) i „i”(*) to układ równań logicznych:
1.
Tożsamość kolumn: 5=8
Y= p*q = ~(~p+~q)
2.
Tożsamość kolumn: 6=7
~Y= ~(p*q)=~p+~q

Doskonale tu widać, że spójnik „i”(*) w nagłówku kolumny 5 to nie jest operator AND(|*) bo nagłówek ten opisuje wyłącznie wynikową jedynkę w tabeli ABCD125, linia A125.
1
Linia A125:
Logika dodatnia (bo Y)
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Wniosek:
Nagłówek tabeli ABCD125 (Y=p*q) opisuje wyłącznie wynikową jedynkę w tej tabeli.

Prawo Prosiaczka:
(p=1)=(~p=0)
Na mocy prawa Prosiaczka linia B125 jest tożsama z linią B347.
Także linia C125 jest tożsama z linią C347, zaś D125 jest tożsama z linią D347

Z nagłówka kolumny 7 odczytujemy funkcję logiczną ~Y:
2.
BCD347:
Logika ujemna (bo ~Y)
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Wniosek:
Nagłówek tabeli ABCD347 (~Y=~p+~q) opisuje wyłącznie wynikowe jedynki w tej tabeli.

Stąd mamy.
Prawo Sowy
Nagłówek dowolnej tabeli zero-jedynkowej opisuje wyłącznie wynikowe jedynki w tej tabeli

Wszystkie sygnały zanegowane i niezanegowane są ze sobą w matematycznym związku.

Związek logiki dodatniej (bo Y) z logiką ujemną (bo ~Y):
Logika dodatnia to zanegowana logika ujemna:
Y = ~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = p*q = ~(~p+~q)
Potwierdza to tożsamość kolumn 5=8

Związek logiki ujemnej (bo ~Y) z logiką dodatnią (bo Y):
Logika ujemna to zanegowana logika dodatnia:
~Y = ~(Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y = ~(p*q) = ~p+~q
Potwierdza to tożsamość kolumn 6=7

Stąd mamy prawo przejścia do logiki przeciwnej będące odpowiednikiem wzorów skróconego mnożenia w matematyce klasycznej.

Prawo przejścia do logiki przeciwnej:
Negujemy zmienne i wymieniamy spójniki na przeciwne
1: Y=p+q
2: ~Y=~p*~q

Przykład 5.3
Pani w przedszkolu:
1.
Jutro pójdziemy do kina i do teatru
Y=K*T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)
… a kiedy pani skłamie?
Negujemy równanie stronami:
~Y=~(K*T) = ~K+~T
W naturalnej logice człowieka wyłącznie równania alternatywo-koniunkcyjne są bez problemu zrozumiałe. Takim równaniem jest w tym przypadku.
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1
Odczytujemy:
2.
Prawdą jest (=1), że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1


5.4 Klasyczny rachunek zero-jedynkowy

Definicje podstawowe.

Zmienna binarna (techniczna algebra Boole’a):
Zmienna mogąca przyjmować w osi czasu wyłącznie dwie wartości 0 albo 1
Przykłady:
p, q, ~r

Funkcja logiczna (techniczna algebra Boole’a):
Funkcja przyjmująca w osi czasu wyłącznie dwie wartości 0 albo 1 w zależności od aktualnego stanu zmiennych binarnych i użytego operatora logicznego.
Przykłady funkcji logicznych:
Y=p*q+~r
p=>q
gdzie:
„*”, „+”, => - spójniki logiczne

Funkcja logiczna opisana spójnikami „i”(*) i „lub”(+):
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 wejściowych zmiennych binarnych.
Y - funkcja logiczna
Przykład:
Y=p*q+p*~q+~p*q

Definicja logiki dodatniej i ujemnej w operatorach w spójnikach „lub”(+) i „i”(*):
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

Kod:

Definicja spójnika „lub”(+) dla potrzeb klasycznego rachunku zero-jedynkowego
   p  q   Y=p+q
A: 1  1   =1
B: 1  0   =1
C: 0  1   =1
D: 0  0   =0
   1  2    3

Definicja spójnika „lub”(+):
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
Definicja spójnika „lub”(+) to wyłącznie obszar ABC123, co doskonale widać w powyższej tabeli.
Linia D123 to tylko uzupełnienie definicji spójnika „lub”(+) do pełnego operatora logicznego OR(|+).

Prawo Sowy:
Nagłówek dowolnej tabeli zero-jedynkowej opisuje wyłącznie wynikowe jedynki w tej tabeli.

Kod:

Definicja spójnika „i”(*) dla potrzeb klasycznego rachunku zero-jedynkowego
   p  q   Y=p*q
A: 1  1   =1
B: 1  0   =0
C: 0  1   =0
D: 0  0   =0
   1  2    3

Definicja spójnika „i”(*):
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Definicja spójnika „i”(*) to wyłącznie linia A123.
Obszar BCD123 to wyłącznie uzupełnienie definicji spójnika „i”(*) do pełnego operatora logicznego AND(|*)

Prawo Sowy:
Nagłówek dowolnej tabeli zero-jedynkowej opisuje wyłącznie wynikowe jedynki w tej tabeli.

W klasycznym rachunku zero-jedynkowym nie interesuje nas wewnętrzna budowa operatora logicznego, czyli nie interesują nas cząstkowe równania logiczne opisujące poszczególne linie operatora, które niebawem poznamy.

Najważniejsze prawa algebry Boole’a

Definicja zero-jedynkowa (maszynowa) operatora OR:
Kod:

   p q Y=p+q
A: 1 1  =1
B: 1 0  =1
C: 0 1  =1
D: 0 0  =0
   1 2   3


Prawa zero-jedynkowe wynikające z definicji operatora OR:
1+1 =1
1+0 =1
0+1 =1
0+0 =0

Prawa algebry Boole’a wynikające z definicji operatora OR:
p+0 =p
p+1 =1
p+p =p
p+~p =1

Dowody formalne:
Kod:

   p ~p 1 0 p+1 p+0 p+~p
A: 1  0 1 0  1   1   1
B: 0  1 1 0  1   0   1
   1  2 3 4  5   6   7


Poprawność wszystkich praw algebry Boole’a widać jak na dłoni.
W szczególności:
p+0=p
czego dowodem jest tożsamość kolumn 1 i 6.

Definicja zero-jedynkowa (maszynowa) operatora AND:
Kod:

   p q Y=p*q
A: 1 1  =1
B: 1 0  =0
C: 0 1  =0
D: 0 0  =0
   1 2   3

Prawa zero-jedynkowe wynikające z definicji operatora AND:
1*1 =1
1*0 =0
0*1 =0
0*0 =0

Prawa algebry Boole’a wynikające z definicji operatora AND:
p*1 =p
p*0 =0
p*p =p
p*~p=0

Dowody formalne:
Kod:

   p ~p 1 0 p*1 p*0 p*~p
A: 1  0 1 0  1   0   0
B: 0  1 1 0  0   0   0
   1  2 3 4  5   6   7

Poprawność wszystkich praw algebry Boole’a widać jak na dłoni.
W szczególności:
p*1=p
czego dowodem jest tożsamość kolumn 1 i 5.

Fundament algebry Boole’a:
p*~p =0
p+~p =1

Przydatne prawa dodatkowe

Łączność:
p+(q+r) = (p+q)+r
p*(q*r)=(p*q)*r

Przemienność:
p+q=q+r
p*q=q*r

Mnożenie logiczne wielomianów:
(p+q)*(r+s) = p*r+p*s+q*r+q*s

Wyciąganie zmiennej przed nawias:
p*q+p*r = p*(q+r)

Najważniejszym prawem algebry Boole’a jest prawo przejścia do logiki przeciwnej.

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

Przykład:
Y=p+q(r+~s)

Algorytm Wuja Zbója:
A.
Uzupełniamy brakujące nawiasy i spójniki
Y = p+[q*(r+~s)]
co matematycznie oznacza:
Y=1 <=> p=1 lub [q=1 i (r=1 lub ~s=1)]
B.
Negujemy zmienne i wymieniamy spójniki na przeciwne, „lub”(+) na „i”(*) i odwrotnie
~Y = ~p*[~q+(~r*s)]
C.
Opuszczamy zbędne nawiasy
~Y = ~p*(~q+~r*s)
Powyższe równanie to postać koniunkcyjno-alternatywna, sprzeczna z naturalną logiką człowieka, co wkrótce udowodnimy. Mnożąc zmienną ~p przez wielomian otrzymamy postać alternatywno-koniunkcyjną, zgodną z naturalną logiką człowieka.
D.
~Y = ~p*~q + ~p*~r*s
co matematycznie oznacza:
~Y=1 <=> (~p*~q)=1 lub (~p*~r*s)=1

Kolejność wykonywania działań zarówno w logice dodatniej jak i ujemnej:
Nawiasy, „i”(*), „lub”(+)

Związek logiki dodatniej i ujemnej:
Y=~(~Y)
Podstawiając A i C mamy prawo De Morgana dla naszej funkcji logicznej A.
Y = p+q*(r+~s) = ~[~p*(~q+~r*s)]

Przykład minimalizacji funkcji logicznej:
Y = p+q = p*q + p*~q + ~p*q
Dowód tożsamości:
0. Y = p*q + p*~q + ~p*q
1. Y = p(q+~q) + ~p*q
2. Y = p*1 + ~p*q
3. Y = p+~p*q
Wykorzystane prawa:
1. Wyciągniecie zmiennej p przed nawias
2. q+~q=1
3. p*1=p
Mamy:
3. Y=p+(~p*q)
Przejście do logiki ujemnej poprzez negacje zmiennych i wymianę spójników:
4. ~Y = ~p*(p+~q)
5. ~Y = p*~p + ~p*~q
6. ~Y = 0 + ~p*~q
7. ~Y = ~p*~q
Wykorzystane prawa
4. Przejście do logiki ujemnej
5. Mnożenie zmiennej ~p przez wielomian
6. p*~p=0
7. 0+x=x
Mamy funkcję minimalną w logice ujemnej (bo ~Y):
~Y=~p*~q
Przechodząc do logiki przeciwnej mamy funkcje minimalną w logice dodatniej (bo Y)
Y = p+q
cnd

Układ równań minimalnych:
Y=p+q
~Y=~p*~q
to nic innego jak definicja operatora OR w algebrze Kubusia.

Twierdzenie przydatne w minimalizacji równań logicznych.

Twierdzenie:
Dowolny fragment funkcji logicznej wolno nam wydzielić i zapisać jako niezależną funkcję logiczną, którą po minimalizacji możemy z powrotem wstawić do układu.

Przydatność tego twierdzenia poznamy na przykładzie:

Zminimalizuj funkcję logiczną Y metodą równań algebry Boole’a:
A: Y = ~p*q*~r + ~p*~q*r + ~p*~q*~r
Rozwiązanie:
Y = ~p*q*~r + ~p*~q(r+~r) /wyciągnięcie ~p*~q przed nawias
Y = ~p*q*~r + ~p*~q /r+~r=1; ~p*~q*1 =~p*~q
Y = ~p(q*~r+~q) /wyciągnięcie ~p przed nawias
B: Y = ~p*(z) / Podstawienie: z=q*~r+~q
-----------------------------------------------------------------
z=(q*~r) + ~q
Przejście do logiki ujemnej (bo ~z) poprzez negację zmiennych i wymianę spójników
~z = (~q+r)*q
~z = ~q*q + r*q /po wymnożeniu wielomianu
~z = r*q /~q*q=0; 0+r*p = r*p
~z = q*r
Powrót do logiki dodatniej poprzez negację zmiennych i wymianę spójników
z = ~q + ~r / Funkcja logiczna „z” po minimalizacji
------------------------------------------------------------------
B: Y = ~p*(z) /Przepisanie równania B
C: Y = ~p*(~q + ~r) / Podstawienie zminimalizowanej funkcji „z”
Po wymnożeniu zmiennej przez wielomian mamy:
D: Y = ~p*~q + ~p*~r
Funkcje C i D to funkcje minimalne, których nie da się dalej minimalizować.


5.5 Równania alternatywno-koniunkcyjne i koniunkcyjno-alternatywne

Zobaczmy o co tu chodzi na przykładzie poniższej tabeli zero-jedynkowej:
Kod:

Tabela zero-jedynkowa |Opis tabeli w układzie równań cząstkowych
                      |opisujących wyłącznie jedynki w tabeli ABCD123456
   p  q ~p ~q  Y  ~Y  |          |co matematycznie oznacza
A: 1  1  0  0  1   0  | Ya= p* q | Ya=1<=> p=1 i  q=1
B: 1  0  0  1  0   1  |~Yb= p*~q |~Yb=1<=> p=1 i ~q=1
C: 0  0  1  1  1   0  | Yc=~p*~q | Yc=1<=>~p=1 i ~q=1
D: 0  1  1  0  0   1  |~Yd=~p* q |~Yd=1<=>~p=1 i  q=1
   1  2  3  4  5   6    a   b  c   d       e      f

Tabela zero-jedynkowa ABCD123456 pokazuje wszystkie możliwe związki między sygnałami zanegowanymi i niezanegowanymi.
Dokładnie ta sama tabela opisania równaniami algebry Boole’a to obszar ABCDabcdef.

Z tabeli symbolicznej ABCDabc odczytujemy:
1.
Y = Ya+Yc
Y=A: p*q+ C: ~p*~q
co matematycznie oznacza:
Y=1 <=> A: (p=1 i q=1) lub C: (~p=1 i ~q=1)
To równanie opisuje wynikowe jedynki w tabeli zero-jedynkowej ABCD125

Z tabeli ABCDabc odczytujemy także:
2.
~Y= ~Yb+~Yc
~Y = B: p*~q + D: ~p*q
co matematycznie oznacza:
~Y=1 <=> B: (p=1 i ~q=1) lub D: (~p=1 i q=1)
To równanie opisuje wynikowe jedynki w tabeli zero-jedynkowej ABCD346

Równania 1 i 2 to równania alternatywno-koniunkcyjne (alternatywa koniunkcji).
Jak wyglądają i skąd się biorą równania koniunkcyjno-alternatywne (koniunkcja alternatyw)?
Odpowiedź:
Z dwustronnej negacji równań 1 i 2

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

2.
~Y = B: (p*~q) + D: (~p*q)
Prawo przejścia do logiki przeciwnej:
Negujemy zmienne i wymieniamy spójniki na przeciwne
4.
Y= B: (~p+q) * D: (p+~q)

Matematycznie zachodzi:
1: Y = 4: Y
Y = A: p*q + C: ~p*~q = B: (~p+ q) * D: (p+~q)

Matematycznie zachodzi także:
2: ~Y = 3: ~Y
~Y = B: (p*~q) + D: (~p*q) = A: (~p+~q) * D: (p+q)

Ciekawostka:
Równania koniunkcyjno-alternatywne otrzymamy bezpośrednio z tabeli zero-jedynkowej ABCD123456 opisując zera w tej tabeli stosując w wierszach spójnik „lub”(+) natomiast w kolumnach przy opisie funkcji logicznej w tej samej polaryzacji spójnik „i”(*).
Wynika to bezpośrednio z powyższych rozważań czysto matematycznych, z banalnego przejścia od równań alternatywno-koniunkcyjnych (1 i 2) do równań koniunkcyjno-alternatywnych (3 i 4).

Dlaczego to jest ciekawostka?
Równań koniunkcyjno-alternatywnych nie zrozumie żaden człowiek, bo to jest logika totalnie przeciwna do jego logiki - wyssanej z mlekiem matki.
Naturalną logiką matematyczną człowieka są wyłącznie równania alternatywno-koniunkcyjne, dowolnie złożone, które zrozumie bez problemu każdy 5-cio latek
Dowód na przykładzie niżej.
Kod:

Tabela zero-jedynkowa |Opis tabeli w układzie równań cząstkowych
                      |opisujących wyłącznie zera w tabeli ABCD123456
   p  q ~p ~q  Y  ~Y  |          |co matematycznie oznacza
A: 1  1  0  0  1   0  |~Ya=~p+~q |~Ya=0<=>~p=0 lub ~q=0
B: 1  0  0  1  0   1  | Yb=~p+ q | Yb=0<=>~p=0 lub  q=0
C: 0  0  1  1  1   0  |~Yc= p+ q |~Yc=0<=> p=0 lub  q=0
D: 0  1  1  0  0   1  | Yd= p+~q | Yd=0<=> p=0 lub ~q=0
   1  2  3  4  5   6    a   b  c   d       e        f

Z tabeli symbolicznej ABCDabc odczytujemy:
3.
~Y=~Ya*~Yc
~Y= A: (~p+~q)* C: (p+q)
oraz:
4.
Y=Yb*Yd
Y = B: (~p+q)* D: (p+~q)

Matematycznie zachodzi:
1: Y = 4: Y
Y = A: p*q + C: ~p*~q = B: (~p+ q) * D: (p+~q)

Przykład 2.3
Pani w przedszkolu:
1.
Jutro pójdziemy do kina i do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y=K*T + ~K*~T
co matematycznie oznacza:
Y=1 <=> (K*T)=1 lub (~K*~T)=1
Na mocy definicji spójnika „lub”(+) wystarczy że jutro zajdzie którekolwiek z powyższych zdarzeń i już pani dotrzyma słowa. Dalsze jej działania będą bez znaczenia.

Matematycznie zachodzi:
Y= 1: p*q + ~p*~q = 4: (~p+q)*(p+~q)
stąd mamy zdanie matematycznie tożsame 4:
1A.
Jutro nie pójdziemy do kina (~K=1) lub pójdziemy do teatru (T=1) i pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
Po pierwsze:
Kolejność wykonywania działań w logice:
„i”(*), „lub”(+)
Stąd zdanie wyżej musimy zakodować tak:
Y = ~K+T*K+~T
Oczywistym jest że to jest zupełnie inne zdanie niż zdanie 1.

Nawet jak wiemy o co chodzi i w zdaniu 1A postawimy nawiasy to i tak żaden człowiek nie pojmie iż to jest zdanie tożsame ze zdaniem 1.
1A
Jutro (nie pójdziemy do kina (~K=1) lub pójdziemy do teatru (T=1)) i (pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1))
Y = (~K+T)*(K+~T)

Pokażcie mi człowieka który zrozumie intuicyjnie tożsamość zdań:
1=1A
Nie ma takiego człowieka z prof. matematyki na czele.
Matematycznie można przejść w banalny sposób od równania 1A do równia 1, wystarczy wymnożyć wielomiany

Dowód:
1A.
Y= (~p+q)*(p+~q)
Y = ~p*p + ~p*~q + q*p + q*~q
stąd mamy:
1.
Y = p*q + ~p*~q
cnd

Prawo Bociana:
Naturalną logiką każdego człowieka są równania alternatywno-koniunkcyjne

Wróćmy do naszego zdania wypowiedzianego:
Pani w przedszkolu:
1.
Jutro pójdziemy do kina i do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y=K*T + ~K*~T
co matematycznie oznacza:
Y=1 <=> (K*T)=1 lub (~K*~T)=1
Na mocy definicji spójnika „lub”(+) wystarczy że jutro zajdzie którekolwiek z powyższych zdarzeń i już pani dotrzyma słowa. Dalsze jej działania będą bez znaczenia.

… a kiedy pani skłamie?
Nasze zdanie w zapisie formalnym:
Y=(p*q)+(~p*~q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y=(~p+~q)*(p+q)
Wymnażamy wielomian by otrzymać postać alternatywno-koniunkcyjną, zrozumiałą dla człowieka.
~Y = ~p*p + ~p*q + ~q*p + ~q*q
~Y = p*~q + ~p*q
Stąd mamy odpowiedź:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1) lub nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
~Y = K*~T + ~K*T
co matematycznie oznacza:
~Y=1 <=> K=1 i ~T=1 lub ~K=1 i T=1


Ostatnio zmieniony przez rafal3006 dnia Nie 7:27, 14 Sie 2016, w całości zmieniany 54 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 16:25, 26 Lip 2016    Temat postu:

Algebra Kubusia - bramy Raju

Część II
Operatory implikacyjne |=>, |~>, <=>,|~~>

Spis treści
6.0 Definicje spójników implikacyjnych =>, ~> i ~~> 1
6.1 Kwantyfikatory 4
6.2 Definicje operatorów logicznych implikacyjnych |=>, |~>, <=>, |~~> 4
7.0 Rozróżnianie operatorów implikacyjnych 6
7.1 Implikacja prosta 6
7.2 Implikacja odwrotna p|~>q 7
7.3 Równoważność p<=>q 7
7.4 Operator chaosu p|~~>q 8
8.0 Operatory implikacyjne w zbiorach 9
8.1 Operator implikacji prostej p|=>q 9
8.2 Operator implikacji odwrotnej p|~>q 13
8.3 Operator równoważności p<=>q 17
8.4 Operator chaosu p|~~>q 23
9.0 Operatory implikacyjne w praktyce 23
9.1 Operatory implikacji prostej p|=>q i odwrotnej p|~>q 23
9.2 Operator równoważności p<=>q 29


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

Definicja podzbioru:
p=>q
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
Przykład:
P8=>P2
Zbiór P8=[8,16,24..] jest podzbiorem zbioru P2=[2,4,6,8..]

Definicja nadzbioru ~>:
p~>q
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
Przykład:
P2~>P8
Zbiór P2=[2,4,6,8..] jest nadzbiorem ~> zbioru P8=[8,16,24..]

Definicja zdania warunkowego "Jeśli p to q":
Jeśli zajdzie przyczyna p to zajdzie skutek q

Fundament algebry Kubusia dla zdań warunkowych „Jeśli p to q”:
Poprzednik p i następnik q muszą należeć do tej samej dziedziny

Podstawowe definicje algebry Kubusia:
Niech będą dane dwa zbiory lub zdarzenia p i q operujące na wspólnej dziedzinie.

Spójniki implikacyjne =>, ~> i ~~>:

1.
p~~>q = p*q - kwantyfikator mały ~~>

Zdanie pod kwantyfikatorem małym ~~> jest prawdziwe wtedy i tylko wtedy gdy:
Zdarzenia:
Możliwe jest jednoczesne zajście zdarzeń p i q w tej samej dziedzinie.
Zbiory:
Istnieje wspólny element zbiorów p i q
Inaczej zdanie jest fałszywe.

Przykład:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 2
P8~~>P2=P8*P2 =1 bo 8
Zdanie A pod kwantyfikatorem małym prawdziwe, bo istnieje wspólny element zbiorów P8=[8,16,24..] i P2=[2,4,6,8..]. Wystarczy pokazać jeden wspólny element zbiorów P8 i P2 i już zdanie A jest prawdziwe, dalsze działania są nieistotne.
B.
Jeśli liczba jest podzielna przez 8 to może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =0
Zdanie B pod kwantyfikatorem małym ~~> jest fałszywe bo zbiory P8=[8,16,24..] i ~P2=[1,3,5,7,9..] są rozłączne.

Definicja zdania (sjp):
Uporządkowana grupa wyrazów, która zawiera zrozumiałą informację

Zdanie fałszywe spełnia definicję zdania wtedy i tylko wtedy gdy jest zrozumiałe przez odbiorcę, bowiem wtedy i tylko wtedy może on rozstrzygnąć o jego prawdziwości/fałszywości, jak to pokazano w zdaniach A (prawdziwe) i B (fałszywe).

Pewne jest, że normalny człowiek nie zrozumie bredni współczesnych matematyków gdzie w dowolnym zdaniu warunkowym „Jeśli p to q” poprzednik i następnik to dwa totalnie niezależne zdania twierdzące o z góry znanej wartości logicznej:
Jeśli 2+2=5 to 2+2=4
Jeśli Napoleon był kobietą to urzędujący prezydent Polski jest jego ciotką
Jeśli w trójkącie prostokątnym zachodzi suma kwadratów to kwadrat ma wszystkie kąty proste i boki równe

Definicja zdania prawdziwego:
Zdanie prawdziwe to zdanie spełniające definicję
(Zdanie A)

Definicja zdania fałszywego:
Zdanie fałszywe to zdanie nie spełniające definicji
(zdanie B)

2.
p=>q - warunek wystarczający =>

Zdanie ze spełnionym warunkiem wystarczającym jest prawdziwe wtedy i tylko wtedy gdy:
Zdarzenia:
Wymuszam dowolne p i musi pojawić się q
Zbiory:
Zbiór p jest podzbiorem => zbioru q
Inaczej zdanie jest fałszywe.

Przykład:
A.
Jeśli jutro będzie padało to na pewno => będzie pochmurno
P=>CH =1
Definicja warunku wystarczającego => spełniona bo zawsze gdy pada (P=1), są chmury (CH=1)
Wymuszam stan „pada” (P=1) i na 100% muszą być „chmury” (CH=1)

3.
p~>q - warunek konieczny ~>

Zdanie ze spełnionym warunkiem koniecznym ~> jest prawdziwe wtedy i tylko wtedy gdy:
Zdarzenia:
Zabieram wszystkie p i znika mi q
Zbiory:
Zbiór p jest nadzbiorem ~> zbioru q
Inaczej zdanie jest fałszywe.

Przykład:
A.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P =1
Definicja warunku koniecznego ~> spełniona bo zabieram „chmury” wykluczając „padanie”.
Chmury (CH=1) są warunkiem koniecznym ~> dla padania (P=1) bo jak nie ma chmur (~CH=1) to na pewno => nie pada (~P=1)
W sposób naturalny odkryliśmy tu prawo Kubusia wiążące warunek konieczny ~> z warunkiem wystarczającym =>:
CH~>P = ~CH=>~P
co matematycznie oznacza:
(CH=1)~>(P=1) = (~CH=1) => (~P=1)

Prawo Kubusia w zapisie formalnym:
p~>q = ~p=>~q
co matematycznie oznacza:
(p=1)~>(q=1) = (~p=1) => (~q=1)

Znaczenie prawa Kubusia (tożsamości logicznej <=>):
CH~>P <=> ~CH=>~P
Prawdziwość dowolnej strony tożsamości logicznej <=> wymusza prawdziwość drugiej strony.
Fałszywość dowolnej strony tożsamości logicznej <=> wymusza fałszywość drugiej strony

Matematycznie zachodzi:
Tożsamość logiczna <=> = Tożsamość klasyczna „=”
Stąd znaczki <=> i „=” można używać zamiennie i zwykle tak się robi dla poprawienia czytelności zapisu.

Prawa Kubusia wiążące warunek wystarczający => i konieczny ~>:
p=>q = ~p~>~q
p~>q = ~p=>~q

Na mocy definicji zachodzi:
p~~>q ## p~>q ## p=>q
gdzie:
## - różne na mocy definicji


6.1 Kwantyfikatory

Niech będą dane dwa zbiory p i q.
Definicja zdania pod kwantyfikatorem małym \/:
Istnieje takie x \/x które należy jednocześnie do zbiorów p(x) i q(x)
\/x p(x)*q(x)

Wszelkie definicje w logice matematycznej mówią wyłącznie o zdaniach prawdziwych:
\/x p(x)*q(x) =1
Oczywiście jeśli nie istnieje x spełniające definicję kwantyfikatora małego to zdanie pod kwantyfikatorem małym jest fałszywe:
\/x p(x)*q(x) =0

Definicja kwantyfikatora dużego w zbiorach:
/\x p(x) => q(x)
Dla każdego x, jeśli x należy do zbioru p(x) to na 100% należy => do zbioru q(x)

Wniosek:
Kwantyfikator duży to po prostu definicja podzbioru.
Prawdziwość kwantyfikatora dużego dla zbiorów p(x) i q(x) jest dowodem czysto matematycznym, iż zbiór p(x) jest podzbiorem => zbioru q(x).

Kwantyfikator duży można zbudować korzystając z definicji kwantyfikatora małego.

Wystarczy brać kolejno elementy zbioru p(x) i zadawać pytanie o prawdziwość zdania pod kwantyfikatorem małym:
\/x p(x)*q(x)

Jeśli dla wszystkich zapytań dostaniemy wartość logiczną 1, to mamy dowód iż zdanie pod kwantyfikatorem dużym jest prawdziwe:
/\x p(x)=>q(x) =1
czyli mamy dowód iż zbiór p(x) jest podzbiorem => zbioru q(x)
To jest koniec nieprawdopodobnie banalnej teorii ogólnej dla kwantyfikatorów małych \/ i dużych /\.


6.2 Definicje operatorów logicznych implikacyjnych |=>, |~>, <=>, |~~>

1.
Definicja implikacji prostej p|=>q


Definicja implikacji prostej p|=>q w spójnikach implikacyjnych =>, ~> i ~~>:
1A: p=>q =1
1B: p~>q =0
1C: p~~>q=1
Tożsamości matematyczne:
1A: p=>q = ~p~>~q = q~>p = ~q=>~p =1
1B: p~>q = ~p=>~q = q=>p = ~q~>~p =0
1C: p~~>q =1

Definicja implikacji prostej p|=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q, co matematycznie zapisujemy ~[p=q]
p|=>q = (p=>q)*~[p=q]

Definicja tożsama implikacji prostej p|=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest nadzbiorem ~> zbioru q
p|=>q = (p=>q)*~(p~>q) = 1*~(0) = 1*1 =1

2.
Definicja implikacji odwrotnej p|~>q


Definicja implikacji odwrotnej p|~>q w spójnikach implikacyjnych ~>, => i ~~>:
2A: p~>q =1
2B: p=>q =0
2C: p~~>q=1
Tożsamości matematyczne:
2A: p~>q = ~p=>~q = q=>p = ~q~>~p =1
2B: p=>q = ~p~>~q = q~>p = ~q=>~p =0
2C: p~~>q =1

Definicja implikacji odwrotnej p|~>q w zbiorach:
Zbiór p jest nadzbiorem ~> zbioru q i nie jest tożsamy ze zbiorem q, co matematycznie zapisujemy ~[p=q]
p|~>q = (p~>q)*~[p=q]

Definicja tożsama implikacji odwrotnej p|~>q w zbiorach:
Zbiór p jest nadzbiorem => zbioru q i nie podzbiorem => zbioru q
p|~>q = (p~>q)*~(p=>q) = 1*~(0) = 1*1 =1

3.
Definicja równoważności p<=>q


Definicja równoważności p<=>q w spójnikach implikacyjnych =>, ~> i ~~>:
3A: p=>q =1
3B: p~>q =1
3C: p~~>q =1
Tożsamości matematyczne:
3A: p=>q = ~p~>~q = q~>p = ~q=>~p =1
3B: p~>q = ~p=>~q = q=>p = ~q~>~p =1
3C: p~~>q =1

Definicja równoważności p<=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i jest tożsamy ze zbiorem q, co matematycznie zapisujemy ~[p=q]
p<=>q = (p=>q)*[p=q]

Definicja tożsama równoważności p<=>q:
Zbiór p jest jednocześnie podzbiorem => zbioru q i nadzbiorem ~> zbioru q
p<=>q = (p=>q)*(p~>q) = 1*1 =1

Podstawiając 3A i 3B uzyskamy 16 tożsamych definicji równoważności.
Oto one:
p<=>q = (p=>q)*(p~>q) = (p=>q)*(~p=>~q) = (p=>q)*(q=>p) = (p=>q)*(~q~>~p)
p<=>q = (~p~>~q)*(p~>q) = (~p~>~q)*(~p=>~q) = (~p~>~q)*(q=>p) = (~p~>~q)*(~q~>~p)
p<=>q = (q~>p)*(p~>q) = (q~>p)*(~p=>~q) = (q~>p)*(q=>p) = (q~>p)*(~q~>~p)
p<=>q = (~q=>~p)*(p~>q) = (~q=>~p)*(~p=>~q) = (~q=>~p)*(q=>p) = (~q=>~p)*(~q~>~p)

4.
Definicja operatora chaosu p|~~>q (zdanie zawsze prawdziwe)


Definicja operatora chaosu p|~~>q w spójnikach implikacyjnych =>, ~> i ~~>:
4A: p=>q =0
4B: p~>q =0
4C: p~~>q =1
Tożsamości matematyczne:
4A: p=>q = ~p~>~q = q~>p = ~q=>~p =0
4B: p~>q = ~p=>~q = q=>p = ~q~>~p =0
4C: p~~>q =1

Definicja operatora chaosu p|~~>q w zbiorach:
Zbiór p ma część wspólną ze zbiorem q i żaden z nich nie zawiera się w drugim
p|~~>q = (p~~>q)*~(p=>q)*~(q=>p) =1*~(0)*~(0) = 1*1*1=1


Na mocy definicji zachodzi:
p|=>q ## p|~>q ## p<=>q ## p|~~>q
gdzie:
## - różne na mocy definicji


7.0 Rozróżnianie operatorów implikacyjnych

7.1 Implikacja prosta

Dane jest zdanie prawdziwe pod kwantyfikatorem małym ~~>:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 2
P8~~>P2 = P8*P2 =1 bo 8
Zdanie pod kwantyfikatorem małym ~> prawdziwe bo istnieje co najmniej jeden wspólny element zbiorów P8=[8,16,24..] i P2=[2,4,6,8..]
Zbadaj w skład jakiego operatora wchodzi to zdanie nie zmieniając położenia p i q.
Implikacja prosta p|=>q i odwrotna p|~>q nie jest przemienna, natomiast kwantyfikator mały ~~> jest przemienny stąd powyższe zastrzeżenie.

Rozwiązanie:
B.
Badamy warunek wystarczający P8=>P2:
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2 =1
Definicja warunku wystarczającego => spełniona bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
C.
Badamy warunek konieczny P8~>P2:
Jeśli liczba jest podzielna przez 8 to może ~> być podzielna przez 2
P8~>P2 =0
Warunek konieczny ~> nie jest spełniony bo zbiór P8=[8,16,24..] nie jest nadzbiorem zbioru P2=[2,4,6,8..]

Wniosek:
Zdania prawdziwe A i B wchodzą w skład definicji implikacji prostej P8|=>P2
Matematycznie zachodzi:
P8|=>P2=1
Wykluczone jest aby zdania A i B wchodziły w skład jakiegokolwiek innego operatora logicznego, stąd:
P8|~>P2 =0
P8<=>P2 =0
P8|~~>P2 =0


7.2 Implikacja odwrotna p|~>q

Dane jest zdanie prawdziwe pod kwantyfikatorem małym ~~>:
A.
Jeśli liczba jest podzielna przez 2 to może ~~> być podzielna przez 8
P2~~>P8 = P2*P8 =1 bo 8
Zdanie pod kwantyfikatorem małym ~> prawdziwe bo istnieje co najmniej jeden wspólny element zbiorów P8=P2=[2,4,6,8..] i P8=[8,16,24..]
Zbadaj w skład jakiego operatora wchodzi to zdanie nie zmieniając położenia p i q.
Implikacja prosta p|=>q i odwrotna p|~>q nie jest przemienna, natomiast kwantyfikator mały ~~> jest przemienny stąd powyższe zastrzeżenie.

Rozwiązanie:
B.
Badamy warunek wystarczający P2=>P8:
Jeśli liczba jest podzielna przez 2 to na pewno => jest podzielna przez 8
P2=>P8 =0
Definicja warunku wystarczającego => nie jest spełniona bo zbiór P2=[2,4,6,8..] nie jest podzbiorem => zbioru P8=[8,16,24..]
C.
Badamy warunek konieczny P2~>P8:
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8 =1
Warunek konieczny ~> jest spełniony bo zbiór P2=[2,4,6,8..] jest nadzbiorem ~> zbioru P8=[8,16,24..]

Wniosek:
Zdania prawdziwe A i C wchodzą w skład definicji implikacji odwrotnej P2|~>P8
Matematycznie zachodzi:
P2|~>P8 =1
Wykluczone jest aby zdania A i C wchodziły w skład jakiegokolwiek innego operatora logicznego, stąd:
P2|=>P8 =0
P2<=>P8 =0
P2|~~>P8=0


7.3 Równoważność p<=>q

Dane jest zdanie prawdziwe pod kwantyfikatorem małym ~~>:
A.
Jeśli trójkąt jest prostokątny to może ~~> zachodzić suma kwadratów
TP~~>SK = TP*SK =1
Dal prawdziwości zdania pod kwantyfikatorem małym ~~> wystarczy pokazać jeden taki trójkąt np. [3,4,5].
Zbadaj w skład jakiego operatora wchodzi to zdanie nie zmieniając położenia p i q.
Implikacja prosta p|=>q i odwrotna p|~>q nie jest przemienna, natomiast kwantyfikator mały ~~> jest przemienny stąd powyższe zastrzeżenie.

Rozwiązanie:
B.
Badamy warunek wystarczający TP=>SK:
Jeśli trójkąt jest prostokątny to na pewno => zachodzi suma kwadratów
TP=>SK =1
Definicja warunku wystarczającego => spełniona bo wymuszam dowolny trójkąt prostokątny (TP=1) i musi w nim zachodzić suma kwadratów (SK=1)
Oczywistość z powodu tożsamości zbiorów TP=SK wymuszającej tożsamość zbiorów ~TP=~SK
C.
Badamy warunek konieczny TP~>SK:
Jeśli trójkąt jest prostokątny to na pewno => zachodzi suma kwadratów
TP~>SK =1
Definicja warunku koniecznego ~> spełniona bo zabieram zbiór TP i znika mi zbiór SK.
Oczywistość z powodu tożsamości zbiorów TP=SK wymuszającej tożsamość zbiorów ~TP=~SK

Wniosek:
Zdania prawdziwe A, B i C wchodzą w skład definicji równoważności TP<=>SK:
Matematycznie zachodzi:
TP<=>SK = (TP=>SK)*(TP~>SK) = 1*1 =1
Wykluczone jest aby zdania A, B i C wchodziły w skład jakiegokolwiek innego operatora logicznego, stąd:
TP|=>SK =0
TP|~>SK =0
TP|~~>SK=0


7.4 Operator chaosu p|~~>q

Dane jest zdanie prawdziwe pod kwantyfikatorem małym ~~>:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3 = P8*P3 =1 bo 24
Zdanie pod kwantyfikatorem małym ~> prawdziwe bo istnieje co najmniej jeden wspólny element zbiorów P8=[8,16,24..] i P3=[3,6,9..24..]
Zbadaj w skład jakiego operatora wchodzi to zdanie nie zmieniając położenia p i q.
Implikacja prosta p|=>q i odwrotna p|~>q nie jest przemienna, natomiast kwantyfikator mały ~~> jest przemienny stąd powyższe zastrzeżenie.

Rozwiązanie:
B.
Badamy warunek wystarczający P8=>P3:
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 3
P8=>P3 =0
Definicja warunku wystarczającego => nie jest spełniona bo zbiór P8=[8,16,24..] jest nie podzbiorem => zbioru P3=[3,6,9..]
C.
Badamy warunek konieczny P8~>P3:
Jeśli liczba jest podzielna przez 8 to może ~> być podzielna przez 3
P8~>P3 =0
Warunek konieczny ~> nie jest spełniony bo zbiór P8=[8,16,24..] nie jest nadzbiorem ~> zbioru P3=[3,6,9..]

Wniosek:
Zdanie prawdziwe A wchodzi w skład definicji operatora chaosu P8|~~>P3:
Matematycznie zachodzi:
P8|~~>P3 =1
Wykluczone jest aby zdanie A wchodziło w skład jakiegokolwiek innego operatora logicznego, stąd:
P8|=>P3 =0
P8|~>P3 =0
P8<=>P3 =0


8.0 Operatory implikacyjne w zbiorach

8.1 Operator implikacji prostej p|=>q

Definicja operatora implikacji prostej |=> w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q, co matematycznie zapisujemy ~[p=q]
p|=>q = (p=>q)*~[p=q]
Przykład:
A.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2 =1
Definicja warunku wystarczającego => spełniona bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..].
Dodatkowo zbiory P8 i P2 nie są tożsame co jest dowodem iż zdanie A jest częścią operatora implikacji prostej:
P8|=>P2 = (P8=>P2)*~[P8=P2] = 1*~(0) = 1*1 =1

Definicja operatora implikacji prostej |=> w zdarzeniach:
Zajście zdarzenia p jest warunkiem wystarczającym => dla zajścia zdarzenia q i nie jest tożsame ze zdarzeniem q, co matematycznie zapisujemy ~[p=q]
p|=>q = (p=>q)*~[p=q]
Przykład:
A.
Jeśli jutro będzie padało to na pewno => będzie pochmurno
P=>CH =1
Definicja warunku wystarczającego => spełniona bo zawsze gdy pada, jest pochmurno
Wymuszam stan „pada” i na 100” pojawi się stan „chmury”
Dodatkowo pojęcia „pada” i „chmury” nie są tożsame bo nie zawsze gdy są chmury, pada.
Wniosek:
Warunek wystarczający A wchodzi w skład operatora implikacji prostej |=>:
P|=>CH = (P=>CH)*~[P=CH] = 1* ~(0) = 1*1 =1

Diagram implikacji prostej |=> w zbiorach:


Definicję symboliczną operatora implikacji prostej odczytujemy z diagramu:
A.
Jeśli zajdzie p to na pewno => zajdzie q
p=>q =1
Definicja warunku wystarczającego => spełniona bo zbiór p jest podzbiorem zbioru q
p=>q = [p*q=p] =1
Prawdziwość warunku wystarczającego A wymusza fałszywość kontrprzykładu B (i odwrotnie)
B.
Jeśli zajdzie p to może ~~> zajść ~q
p~~>~q = p*~q =0
Definicja kwantyfikatora małego ~~> nie jest spełniona bo zbiory p i ~q są rozłączne
… a jeśli zajdzie ~p?
Prawo Kubusia:
p=>q = ~p~>~q
C.
Jeśli zajdzie ~p to może ~> zajść ~q
~p~>~q = [~p*~q=~q] =1
Definicja warunku koniecznego ~> spełniona bo zbiór ~p jest nadzbiorem ~> zbioru ~q
lub
D.
Jeśli zajdzie ~p to może zajść q
~p~~>q = ~p*q =1
Definicja kwantyfikatora małego ~~> spełniona bo istnieje co najmniej jeden element wspólny zbiorów ~p i q
Warunek konieczny ~p~>q tu nie zachodzi bo prawo Kubusia:
~p~>q = p=>~q = p*~q =0 - bo zbiory p i ~q są rozłączne

Definicja kontrprzykładu:
Kontrprzykładem dla warunku wystarczającego A: p=>q nazywamy zdanie B: p~~>~q z zanegowanym następnikiem kodowane kwantyfikatorem małym ~~>
A: p=>q
B: p~~>~q
Rozstrzygnięcia:
Fałszywość kontrprzykładu B: p~~>~q =0 wymusza prawdziwość warunku wystarczającego A: p=>q =1 (i odwrotnie)
Prawdziwość kontrprzykładu B: p~~>~q =1 wymusza fałszywość warunku wystarczającego A: p=>q =0 (i odwrotnie)

Zauważmy, że w implikacji prostej p|=>q po stronie p mamy gwarancję matematyczną =>:
A.
Jeśli zajdzie p to na 100% => zajdzie q
p=>q =1
Natomiast po stronie ~p mamy najzwyklejsze „rzucanie monetą”:
Jeśli zajdzie ~p to może ~> zajść ~q (zdanie C) lub może ~~> zajść q (zdanie D)

Przykład:
A.
Jeśli jutro będzie padało (P=1) to na pewno => będzie pochmurno (CH=1)
P=>CH = P*CH =1
W zapisie formalnym:
p=>q = p*q =1
co matematycznie oznacza:
(p=1)=>(q=1) =1
Definicja warunku wystarczającego => spełniona bo wymuszam padanie i na pewno pojawią się chmury
Padanie daje nam gwarancję matematyczną => istnienia chmur
Prawdziwość warunku wystarczającego A wymusza fałszywość kontrprzykładu B
B.
Jeśli jutro będzie padało (P=1) to może ~~> nie być pochmurno (~CH=1)
P~~>~CH = P*~CH =0 - sytuacja niemożliwa
W zapisie formalnym:
p~~>~q = p*~q =0
co matematycznie oznacza:
(p=1) ~~> (~q=1) =0
… a jeśli jutro nie będzie padało?
Prawo Kubusia:
P=>CH = ~P~>~CH
C.
Jeśli jutro nie będzie padało (~P=1) to może ~> nie być pochmurno (~CH=1)
~P~>~CH = ~P*~CH =1
W zapisie formalnym:
~p~>~q = ~p*~q =1
co matematycznie oznacza:
(~p=1)~>(~q=1) =1
Brak opadów jest warunkiem koniecznym ~> aby nie było pochmurno bo jak są opady to na pewno => są chmury
Zauważmy że prawo Kubusia samo nam tu wyskoczyło:
C: ~P~>~CH = A: P=>CH
lub
D.
Jeśli jutro nie będzie padało (~P=1) to może ~~> być pochmurno (CH=1)
~P~~>CH = ~P*CH =1 - sytuacja możliwa
W zapisie formalnym:
~p~~>q = ~p*q =1
co matematycznie oznacza:
(~p=1)~~>(q=1) =1
Warunek konieczny ~> nie jest tu spełniony bo prawo Kubusia:
~P~>CH = P=>~CH = P*~CH =0
Prawa strona jest fałszem zatem w zdaniu D nie zachodzi warunek konieczny ~>.

Logika matematyczna człowieka ma tą piękną cechę, że przekłada się w stosunku 1:1 na zapisy formalne (zwyczajowo p, q i Y) niezależne od konkretnego zdania.
Dla naszego przykładu wystarczy podstawić:
p=P
q=CH
i lądujemy w zapisach formalnych.

Kodowanie zero-jedynkowe analizy symbolicznej implikacji prostej p|=>q:
Kod:

IP: Implikacja prosta p|=>q
                 Y ~Y  p  q ~p ~q  p=>q ~p~>~q |Co matematycznie oznacza
A: p=> q = p* q =1  0  1  1  0  0   =1    =1   |( p=1)=> ( q=1) =1
B: p~~>~q= p*~q =0  1  1  0  0  1   =0    =0   |( p=1)~~>(~q=1) =0
C:~p~>~q =~p*~q =1  0  0  0  1  1   =1    =1   |(~p=1)~> (~q=1) =1
D:~p~~>q =~p* q =1  0  0  1  1  0   =1    =1   |(~p=1)~~>( q=1) =1
   1   2   a  b  3  c  4  5  6  7    8     9      d        e     f
Y=(p|=>q)

Definicję symboliczną operatora implikacji prostej ABCD123 możemy zakodować z dwóch różnych punktów odniesienia.

1.
Kodowanie implikacji prostej p|=>q w spójnikach „lub”(+) i „i”(*)


Prawo Sowy:
Nagłówek kolumny wynikowej w dowolnej tabeli zero-jedynkowej wyrażonej spójnikami „lub”(+) i „i”(*) opisuje wyłącznie wynikowe jedynki w tej kolumnie.

Z tabeli symbolicznej ABCDab3c odczytujemy:
Tabela ABCDab3:
Y=(p|=>q) = A: p*q + C: ~p*~q + D: ~p*q
co matematycznie oznacza:
Y=1 <=> A: (p=1 i q=1) lub C: (~p=1 i ~q=1) lub D: (~p=1 i q=1)
Tabela ABCDabc:
~Y=(~p|=>q) = B: p*~q
co matematycznie oznacza:
~Y=1 <=> B: (p=1 i ~q=1)

Operator logiczny implikacji prostej p|=>q to wszystkie cztery linie A, B, C, D a nie jedna, wybrana.
Implikacja prosta będzie prawdziwa p|=>q =1 gdy prawdziwe będzie jedno ze zdań A, C lub D
Inaczej implikacja prosta będzie fałszywa p|=>q =0 (zdanie B)

2.
Kodowanie implikacji prostej p|=>q wyrażonej spójnikami implikacyjnymi =>, ~>, ~~>


Prawo Puchacza:
Nagłówek kolumny wynikowej w operatorze implikacyjnym opisuje wybrany punkt odniesienia względem którego kodujemy tabelę symboliczną.

Kodowanie zero-jedynkowe definicji symbolicznej ABCD123

Ustalmy punkt odniesienia na warunku wystarczającym =>:
A: p=>q =1
co matematycznie oznacza:
A: (p=1) => (q=1)
Kodowanie poprzednika:
(p=1) = (p=1)
(~p=1)=(p=0) - prawo Prosiaczka
Kodowanie następnika:
(q=1) = (q=1)
(~q=1) = (q=0) - prawo Prosiaczka
Efekty kodowania dla punktu odniesienia A: p=>q widać w tabeli zero-jedynkowej ABCD458

Ustalmy kolejny punkt odniesienia na warunku koniecznym ~>:
C: ~p~>~q =1
co matematycznie oznacza:
C: (~p=1)~>(~q=1)
Kodowanie poprzednika:
(~p=1) = (~p=1)
(p=1) = (~p=0) - prawo Prosiaczka
Kodowanie następnika:
(~q=1) = (~q=1)
(q=1) = (~q=0) - prawo Prosiaczka
Efekty kodowania dla punktu odniesienia C: ~p~>~q widać w tabeli zero-jedynkowej ABCD679

Operator logiczny implikacji prostej p|=>q to wszystkie cztery linie A, B, C, D a nie jedna, wybrana.
Implikacja prosta będzie prawdziwa p|=>q =1 gdy prawdziwe będzie jedno ze zdań A, C lub D
Inaczej implikacja prosta będzie fałszywa p|=>q =0 (zdanie B)

Tożsamość kolumn wynikowych 8=9 jest dowodem formalnym prawa Kubusia:
p=>q = ~p~>~q

Prawo Kubusia to tożsamość logiczna (równoważność) o znaczeniu:
p=>q = ~p~>~q
Prawdziwość dowolnej strony tożsamości logicznej wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej wymusza fałszywość drugiej strony

Logika dodatnia i ujemna w implikacji:
p=>q = ~p~>~q
Warunek wystarczający => lub konieczny ~> wyrażony jest w logice dodatniej p=>q wtedy i tylko wtedy gdy następnik nie jest zanegowany (q)
Warunek wystarczający => lub konieczny ~> wyrażony jest w logice ujemnej ~p~>~q wtedy i tylko wtedy gdy następnik jest zanegowany (~q)

Zauważmy, że w tabeli symbolicznej ABCDdef występujące tu jedynki możemy odczytać z wejściowej matrycy zero-jedynkowej ABCD4567.


8.2 Operator implikacji odwrotnej p|~>q

Definicja operatora implikacji odwrotnej |~> w zbiorach:
Zbiór p jest nadzbiorem ~> zbioru q i nie jest tożsamy ze zbiorem q, co matematycznie zapisujemy ~[p=q]
p|~>q = (p~>q)*~[p=q]
Przykład:
A.
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8 =1
Definicja warunku koniecznego ~> spełniona bo zbiór P2=[2,4,6,8..] jest nadzbiorem ~> zbioru P8=[8,16,24..]
Zbiór P2 jest konieczny ~> dla zbudowania zbioru P8
Zabieram zbiór P2 i znika mi zbiór P8
Dodatkowo zbiory P2 i P8 nie są tożsame co wymusza przynależność warunku wystarczającego A do operatora implikacji odwrotnej:
P2|~>P8 = (P2~>P8)*~[P2=P8] = 1*~(0) = 1*1 =1

Definicja operatora implikacji odwrotnej |~> w zdarzeniach:
Zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q i nie jest tożsame ze zdarzeniem q, co matematycznie zapisujemy ~[p=q]
p|~>q = (p~>q)*~[p=q]
Przykład:
A.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P =1
Definicja warunku koniecznego ~> spełniona bo zabieram chmury wykluczając padanie
Dodatkowo pojęcie „chmury” nie jest tożsame z pojęciem „pada” bo nie zawsze gdy są chmury, pada.
Stąd mamy dowód, iż warunek wystarczający => A jest częścią operatora implikacji odwrotnej |~>:
CH|~>P = (CH~>P)*~[CH=P] = 1*~(0) = 1*1 =1

Diagram implikacji odwrotnej |~> w zbiorach:


Symboliczną definicję implikacji odwrotnej p|~>q odczytujemy z diagramu:
A.
Jeśli zajdzie p to może ~> zajść q
p~>q =[p*q=q] =1
Zajście p jest warunkiem koniecznym ~> dla zajścia q bo zbiór p jest nadzbiorem ~> zbioru q
Zabieram zbiór p i znika mi zbiór q
lub
B.
Jeśli zajdzie p to może ~~> zajść ~q
p~~>~q = p*~q =1
Definicja kwantyfikatora małego ~~> spełniona bo istnieje co najmniej jeden element wspólny zbiorów p i ~q.
Zajście p nie jest warunkiem koniecznym ~> dla zajścia ~q bo prawo Kubusia:
p~>~q = ~p=>q = ~p*q =0 - bo zbiory ~p i q są rozłączne
… a jeśli zajdzie ~p?
Prawo Kubusia:
p~>q = ~p=>~q
C.
Jeśli zajdzie ~p to na pewno => zajdzie ~q
~p=>~q = [~p*~q=~p] =1
Zajście ~p jest warunkiem wystarczającym => dla zajścia ~q bo zbiór ~p jest podzbiorem => zbioru ~q
Wymuszam dowolny element ze zbioru ~p i ten element na 100% będzie w zbiorze ~q
Prawdziwość warunku wystarczającego C wymusza fałszywość kontrprzykładu D.
D.
Jeśli zajdzie ~p to może ~~> zajść q
~p~~>q = ~p*q =0
Bo zbiory ~p i q są rozłączne

Definicja kontrprzykładu:
Kontrprzykładem dla warunku wystarczającego C: ~p=>~q nazywamy zdanie D: ~p~~>q z zanegowanym następnikiem kodowane kwantyfikatorem małym ~~>
C: ~p=>~q
D: ~p~~>q
Rozstrzygnięcia:
Fałszywość kontrprzykładu D: ~p~~>q =0 wymusza prawdziwość warunku wystarczającego C: ~p=>~q =1 (i odwrotnie)
Prawdziwość kontrprzykładu D: ~p~~>q =1 wymusza fałszywość warunku wystarczającego C: ~p=>~q =0 (i odwrotnie)

Zauważmy, że w implikacji odwrotnej p|~>q po stronie p mamy „rzucanie monetą”:
Jeśli zajdzie p to może ~> zajść q (zdanie A) lub może ~~> zajść ~q (zdanie B)
Natomiast po stronie ~p mamy gwarancję matematyczną =>:
C.
Jeśli zajdzie ~p to na 100% => zajdzie ~q
~p=>~q =1

Zauważmy, że w implikacji prostej było dokładnie odwrotnie i to jest ta fundamentalna różnica między implikacją prostą p|=>q i odwrotną p|~>q.
Gdzie ta różnica znajduje zastosowanie?
Obsługa wszelkich obietnic to na mocy definicji implikacja prosta p|=>q
Obsługa wszelkich gróźb to na mocy definicji implikacja odwrotna p|~>q
Szczegóły poznamy niebawem.

Przykład:
A.
Jeśli jutro będzie pochmurno (CH=1) to może ~> padać (P=1)
CH~>P = CH*P =1
W zapisie formalnym:
p~>q = p*q =1
co matematycznie oznacza:
(p=1)~>(q=1) =1
Chmury są konieczne ~> aby jutro padało bo jak nie będzie chmur to na pewno => nie będzie padać
W naturalny sposób odkryliśmy tu prawo Kubusia:
CH~>P = ~CH=>~P
lub
B.
Jeśli jutro będzie pochmurno (CH=1) to może ~~> nie padać (~P=1)
CH~~>~P = CH*~P =1
W zapisie formalnym:
p~~>~q = p*~q =1
co matematycznie oznacza:
(p=1)~~>(~q=1) =1
Kwantyfikator mały ~~> spełniony bo możliwa ~~> jest sytuacja są chmury (CH=1) i nie pada (~P=1)
… a jeśli nie będzie pochmurno?
Prawo Kubusia:
CH~>P = ~CH=>~P
C.
Jeśli jutro nie będzie pochmuro (~CH=1) to na pewno => nie będzie padało (~P=1)
~CH=>~P = ~CH*~P =1
W zapisie formalnym:
~p=>~q = ~p*~q =1
co matematycznie oznacza:
(~p=1)=>(~q=1) =1
Definicja warunku wystarczającego => bo brak chmur wymusza => brak opadów
Spełniony warunek wystarczający => C wymusza fałszywość kontrprzykładu D.
D.
Jeśli jutro nie będzie pochmurno to może ~~> padać
~CH~~>P = ~CH*P =0 - sytuacja niemożliwa
W zapisie formalnym:
~p~~>q = ~p*q =0
co matematycznie oznacza:
(~p=1)~~>(q=1) =1

Przechodzimy na zapis formalny podstawiając:
p=CH
q=P

Kodowanie zero-jedynkowe analizy symbolicznej implikacji odwrotnej p|~>q:
Kod:

IO: Implikacja odwrotna p|~>q
                 Y ~Y  p  q ~p ~q  p~>q ~p=>~q |Co matematycznie oznacza
A: p~> q = p* q =1  0  1  1  0  0   =1    =1   |( p=1)~> ( q=1) =1
B: p~~>~q= p*~q =1  0  1  0  0  1   =1    =1   |( p=1)~~>(~q=1) =1
C:~p=>~q =~p*~q =1  0  0  0  1  1   =1    =1   |(~p=1)=> (~q=1) =1
D:~p~~>q =~p* q =0  1  0  1  1  0   =0    =0   |(~p=1)~~>( q=1) =0
   1   2   a  b  3  c  4  5  6  7    8     9      d        e     f
Y=(p|~>q)

Definicję symboliczną operatora implikacji odwrotnej ABCD123 możemy zakodować z dwóch różnych punktów odniesienia.

1.
Kodowanie implikacji odwrotnej p|~>q w spójnikach „lub”(+) i „i”(*)


Prawo Sowy:
Nagłówek kolumny wynikowej w dowolnej tabeli zero-jedynkowej wyrażonej spójnikami „lub”(+) i „i”(*) opisuje wyłącznie wynikowe jedynki w tej kolumnie.

Z tabeli symbolicznej ABCDab3c odczytujemy:
Tabela ABCDab3:
Y=(p|~>q) = A: p*q + B: p*~q + C: ~p*~q
co matematycznie oznacza:
Y=1 <=> A: (p=1 i q=1) lub B: (p=1 i ~q=1) lub C: (~p=1 i ~q=1)
Tabela ABCDabc:
~Y=(~p|~>q) = D: ~p*q
co matematycznie oznacza:
~Y=1 <=> D: (~p=1 i q=1)

Operator logiczny implikacji odwrotnej p|~>q to wszystkie cztery linie A, B, C, D a nie jedna, wybrana.
Implikacja odwrotna będzie prawdziwa p|~>q =1 gdy prawdziwe będzie jedno ze zdań A, B lub C
Inaczej implikacja odwrotna będzie fałszywa p|~>q =0 (zdanie D)

2.
Kodowanie implikacji prostej p|=>q wyrażonej spójnikami implikacyjnymi =>, ~>, ~~>


Prawo Puchacza:
Nagłówek kolumny wynikowej w operatorze implikacyjnym opisuje wybrany punkt odniesienia względem którego kodujemy tabelę symboliczną.

Kodowanie zero-jedynkowe definicji symbolicznej ABCD123

Ustalmy punkt odniesienia na warunku koniecznym ~>:
A: p~>q =1
co matematycznie oznacza:
A: (p=1) ~> (q=1)
Kodowanie poprzednika:
(p=1) = (p=1)
(~p=1)=(p=0) - prawo Prosiaczka
Kodowanie następnika:
(q=1) = (q=1)
(~q=1) = (q=0) - prawo Prosiaczka
Efekty kodowania dla punktu odniesienia A: p~>q widać w tabeli zero-jedynkowej ABCD458

Ustalmy kolejny punkt odniesienia na warunku wystarczającym ~>:
C: ~p=>~q =1
co matematycznie oznacza:
C: (~p=1)=>(~q=1)
Kodowanie poprzednika:
(~p=1) = (~p=1)
(p=1) = (~p=0) - prawo Prosiaczka
Kodowanie następnika:
(~q=1) = (~q=1)
(q=1) = (~q=0) - prawo Prosiaczka
Efekty kodowania dla punktu odniesienia C: ~p=>~q widać w tabeli zero-jedynkowej ABCD679

Operator logiczny implikacji odwrotnej p|~>q to wszystkie cztery linie A, B, C, D a nie jedna, wybrana.
Implikacja odwrotna będzie prawdziwa p|~>q =1 gdy prawdziwe będzie jedno ze zdań A, B lub C
Inaczej implikacja odwrotna będzie fałszywa p|~>q =0 (zdanie D)

Tożsamość kolumn wynikowych 8=9 jest dowodem formalnym prawa Kubusia:
p~>q = ~p=>~q

Zauważmy, że w tabeli symbolicznej ABCDdef występujące tu jedynki możemy odczytać z wejściowej matrycy zero-jedynkowej ABCD4567.


8.3 Operator równoważności p<=>q

Zacznijmy od definicji implikacji prostej p|=>q:


Definicja implikacji prostej p|=>q w zbiorach:
p|=>q =(p=>q)*~[p=q]
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q

Definicja równoważności w zbiorach:
p<=>q = (p=>q)*[p=q]
Zbiór p jest podzbiorem => zbioru q i jest tożsamy ze zbiorem q

Z definicji równoważności wynika, że powyższy diagram będzie pasował do równoważności wtedy i tylko wtedy gdy zlikwidujemy obszar niebieski.

Obszar niebieski zniknie wtedy i tylko wtedy będzie zachodziła tożsamość zbiorów p=q
która wymusza tożsamość zbiorów ~p=~q.


Stąd mamy:
Definicja równoważności w zbiorach:
Równoważność to dwa i tylko dwa zbiory niepuste w obrębie dowolnej dziedziny

Doskonale widać, że przy tożsamości zbiorów p=q znika obszar niebieski. Niebieską obwódkę, ślad po zbiorze występującym w implikacji, pozostawiono dla celów edukacyjnych.

Przykładowa, fizyczna realizacja zlikwidowania obszaru niebieskiego, jedna z wielu możliwych, jest następująca.

Obszar niebieski zlikwidujemy wtedy i tylko wtedy gdy:
p=>q - zbiór p będzie podzbiorem => zbioru q
i jednocześnie:
~p=>~q - zbiór ~p będzie podzbiorem => zbioru ~q

Stąd mamy aksjomatyczną definicję równoważności dającą w wyniku tabelę zero-jedynkową równoważności w sposób bezpośredni.

Aksjomatyczna definicja równoważności w logice dodatniej (bo q):
p<=>q = (p=>q)*(~p=>~q)

Symetryczna definicja w logice ujemnej (bo ~q):
~p<=>~q = (~p=>~q)*(p=>q)

Doskonale widać, że w tej definicji obszar niebieski znika.

Zapiszmy symbolicznie definicję równoważności w zbiorach odczytaną z powyższego diagramu.
Kod:

RA:                 p<=>q=(p=>q)*(~p=>~q)
A: p=> q = p* q = p =1 - zbiór p jest podzbiorem => q
B: p~~>~q= p*~q     =0 - zbiory p i ~q są rozłączne
RC:                ~p<=>~q=(~p=>~q)*(p=>q)
C:~p=>~q =~p*~q =~p =1 - zbiór ~p jest podzbiorem => ~q
D:~p~~>q =~p* q     =0 - zbiory ~p i q są rozłączne

Dla kodowania definicji symbolicznej z punktem odniesienia ustawionym na zdaniu A: p=>q otrzymujemy zero-jedynkową definicję równoważności w logice dodatniej (bo q):
RA: p<=>q = (p=>q)*(~p=>~q)
Punkt odniesienia:
A: p=>q
Kodowanie definicji symbolicznej dla p
(p=1) = (p=1)
(~p=1) = (p=0) - prawo Prosiaczka
Kodowanie definicji symbolicznej dla q
(q=1) = (q=1)
(~q=1) = (q=0) - prawo Prosiaczka

Dla kodowania definicji symbolicznej z punktem odniesienia ustawionym na zdaniu C: ~p=>~q otrzymujemy zero-jedynkową definicję równoważności w logice ujemnej (bo ~q):
RC: ~p<=>~q = (~p=>~q)*(p=>q)
Punkt odniesienia:
C: ~p=>~q
Kodowanie definicji symbolicznej dla ~p
(~p=1) = (~p=1)
(p=1) = (~p=0) - prawo Prosiaczka
Kodowanie definicji symbolicznej dla q
(~q=1) = (~q=1)
(~q=1) = (q=0) - prawo Prosiaczka
Kod:

Definicja symboliczna |Matryca     |Kodowanie        |Kodowanie
równoważności p<=>q   |wejściowa   |dla A: p=>q      |dal C: ~p=>~q
                      |            | p<=>q           |~p<=>~q
                p<=>q | p  q ~p ~q | =(p=>q*(~p=>~q) | =(~p=>~q)*(p=>q)
A: p=> q = p* q =1    | 1  1  0  0 |  =1             |  =1
B: p~~>~q= p*~q =0    | 1  0  0  1 |  =0             |  =0
C:~p=>~q =~p*~q =1    | 0  0  1  1 |  =1             |  =1
D:~p~~>q =~p* q =0    | 0  1  1  0 |  =0             |  =0
   a   b   c  d  e      1  2  3  4     5                 6

Tożsamość kolumn wynikowych 5=6 jest dowodem formalnym prawa algebry Boole’a:
p<=>q = ~p<=>~q

Zauważmy, że obszaru niebieskiego w implikacji prostej p|=>q pozbędziemy się również w ten sposób.
Obszar niebieski zniknie wtedy i tylko wtedy gdy:
zbiór p jest nadzbiorem ~> zbioru q
i
Zbiór ~p jest nadzbiorem ~> zbioru ~q
Stąd mamy tożsamą definicję równoważności:
p<=>q = (p~>q)*(~p~>~q)

Definicja symboliczna równoważności przyjmie tu postać:
Kod:

RA:                 p<=>q=(p~>q)*(~p~>~q)
A: p~> q = p* q = p =1 - zbiór p jest nadzbiorem ~> q
B: p~~>~q= p*~q     =0 - zbiory p i ~q są rozłączne
RC:                ~p<=>~q=(~p~>~q)*(p~>q)
C:~p~>~q =~p*~q =~p =1 - zbiór ~p jest nadzbiorem ~> ~q
D:~p~~>q =~p* q     =0 - zbiory ~p i q są rozłączne

Zauważmy, że w równoważności p<=>q warunek konieczny ~> oznacza identyczną pewność matematyczną jaką mamy w warunku wystarczającym =>, bo linie B i D są twardym fałszem

Warunek konieczny ~> wchodzący w skład równoważności możemy zapisać tak:
A.
Jeśli zajdzie p to na pewno ~> zajdzie q
p~>q =1
Zajście p jest warunkiem koniecznym ~> dla zajścia q bo zbiór p jest nadzbiorem ~> zbioru q
Oczywistość wobec tożsamości zbiorów p=q

Warunek wystarczający => wchodzący w skład równoważności zapisujemy tak:
B.
Jeśli zajdzie p to na pewno => zajdzie q
p=>q =1
Zajście p jest warunkiem wystarczającym => dla zajścia q bo zbiór p jest podzbiorem => zbioru q
Oczywistość wobec tożsamości zbiorów p=q

Zauważmy, że w zapisie słownym zdania A i B brzmią identycznie oznaczając co innego jeśli chodzi o matematykę ścisłą.

Matematycznie zachodzi bowiem:
Warunek wystarczający => ## warunek konieczny ~>
gdzie:
## - różne na mocy definicji

Popularna definicja równoważności:
Równoważność <=> to jednoczesne zachodzenie warunku wystarczającego => i koniecznego ~> między dowolnymi dwoma punktami
p<=>q = (p=>q)*(p~>q) = 1*1 =1

Wyprowadziliśmy wyżej prawo algebry Boole’a:
R1: p<=>q = ~p<=>~q
Inne trywialne zapisy umożliwiające pozbycie się obszaru niebieskiego w implikacji są następujące:
R2: p<=>q = (p=>q)*(~p=>~q)
R3: ~p<=>~q = (~p=>~q)*(p=>q)
R4: p<=>q = (p=>q)*(q=>p)
R5: ~p<=>~q = (~p=>~q)*(~q=>~p)
Z R1 i R5 wynika R6:
R1: p<=>q = ~p<=>~q
R5: ~p<=>~q = (~p=>~q)*(~q=>~p)
R6: p<=>q = (~p=>~q)*(~q=>~p)

Z R2 i R6 wynika I prawo kontrapozycji poprawne w równoważności:
R2: p<=>q = (p=>q)*(~p=>~q)
R6: p<=>q = (~p=>~q)*(~q=>~p)
p=>q = ~q=>~p

Z R2 i R4 wynika II prawo kontrapozycji poprawne w równoważności:
R2: p<=>q = (p=>q)*(~p=>~q)
R4: p<=>q = (p=>q)*(q=>p)
q=>p = ~p=>~q

Kolejne definicje równoważności:
R7.
Obszar niebieski zniknie jeśli zbiór p będzie podzbiorem => zbioru q i jednocześnie zbiór p będzie nadzbiorem ~> zbioru q
R7: p<=>q = (p=>q)*(p~>q)

Definicja symetryczna.
R8.
Obszar niebieski zniknie jeśli zbiór ~p będzie podzbiorem => zbioru ~q i jednocześnie zbiór ~p nadzbiorem ~> zbioru ~q
R8: p<=>q = (~p=>~q)*(~p~>~q)

Z R2 i R8 mamy I prawo Kubusia w równoważności:
R2: p<=>q = (p=>q)*(~p=>~q)
R8: p<=>q = (~p=>~q)*(~p~>~q)
p=>q = ~p~>~q

Z R2 i R7 mamy II prawo Kubusia w równoważności:
R2: p<=>q = (p=>q)*(~p=>~q)
R7: p<=>q = (p=>q)*(p~>q)
p~>q = ~p=>~q

Twierdzenie Pitagorasa.



Twierdzenie Pitagorasa:
Trójkąt jest prostokątny wtedy i tylko wtedy gdy zachodzi suma kwadratów
TP<=>SK = (TP=>SK)*(~TP=>~SK)
Zbiory TP i SK są tożsame co wymusza definicję równoważności.
RA.
TP<=>SK = (TP=>SK)*(~TP=>~SK)
TP=>SK
Warunek wystarczający w logice dodatniej (bo SK) to wyłącznie linia A:
A.
Jeśli trójkąt jest prostokątny to zachodzi suma kwadratów
TP=>SK=1
Bycie trójkątem prostokątnym wystarcza => do tego, aby zachodziła suma kwadratów.
Zbiory:
TP=>SK = [TP*SK = TP] =[TP=TP] =1
Definicja warunku wystarczającego => spełniona bo:
Zbiór TP jest podzbiorem => zbioru SK .
Oczywistość wobec tożsamości zbiorów TP=SK.
Kontrprzykładem dla warunku wystarczającego A jest zdanie B.
B.
Jeśli trójkąt jest prostokątny to może ~~> nie zachodzić suma kwadratów
TP~~>~SK=0 - twardy fałsz wynikły wyłącznie z A
Zbiory:
TP~~>~SK = [TP*~SK] =[]=0
Zbiory TP i ~SK są rozłączne, co wymusza w wyniku 0

RC.
~TP<=>~SK = (~TP=>~SK)*(TP=>SK)
~TP=>~SK
Warunek wystarczający w logice ujemnej bo (~SK) to wyłącznie linia C:
C.
Jeśli trójkąt nie jest prostokątny to na pewno => nie zachodzi suma kwadratów
~TP=>~SK =1
Nie bycie trójkątem prostokątnym wystarcza => do tego, aby nie zachodziła suma kwadratów.
Zbiory:
~TP=>~SK = [~TP*~SK = ~TP] =[~TP=~TP] =1
Definicja warunku wystarczającego spełniona bo:
Zbiór ~TP jest podzbiorem => zbioru ~SK
Oczywistość wobec tożsamości zbiorów ~TP=~SK.
Kontrprzykładem dla warunku wystarczającego C jest zdanie D.
D.
Jeśli trójkąt nie jest prostokątny to może ~~> zachodzić suma kwadratów
~TP~~>SK=0 - twardy fałsz wynikły wyłącznie z C
Zbiory:
~TP~~>SK = [~TP*SK] =[]=0
Zbiory ~TP i SK są rozłączne, co wymusza w wyniku 0

Definicja równoważności:
TP<=>SK = (TP=>SK)*(~TP=>~SK) =1*1=1
Z prawej strony mamy do czynienia wyłącznie z warunkami wystarczającymi o definicjach w A i C.
To nie są operatory logiczne, to zaledwie „połówki” operatora równoważności.


8.4 Operator chaosu p|~~>q


Definicja operatorów chaosu p|~~>q w zbiorach:
Zbiór p ma część wspólną ~~> ze zbiorem q i żaden z nich nie zawiera się w drugim
p|~~>q = (p~~>q)*~(p=>q)*~(q=>p)

Operator chaosu |~~> jest mało ciekawy bo nie ma tu żadnej gwarancji matematycznej =>, omówimy go zatem wyłącznie na przykładzie.

Przykład z matematycznego przedszkola:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3=1 bo 24

Analiza matematyczna przez wszystkie możliwe przeczenia p i q:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3 = P8*P3 =1 bo 24
p~~>q=p*q =1
B.
Jeśli liczba jest podzielna przez 8 to może ~~> nie być podzielna przez 3
P8~~>~P3 = P8*~P3 =1 bo 8
p~~>~q =p*~q =1
C.
Jeśli liczba nie jest podzielna przez 8 to może ~~> nie być podzielna przez 3
~P8~~>~P3 = ~P8*~P3 =1 bo 5
~p~~>~q = ~p*~q =1
D.
Jeśli liczba nie jest podzielna przez 8 to może ~~> być podzielna przez 3
~P8~~>P3 = ~P8*P3 =1 bo 3
~p~~>q = ~p*q =1

Wystarczy znaleźć po jednym elemencie wspólnym dla A, B, C, D i mamy rozstrzygnięcie.
Zdanie A jest zawsze prawdziwe, niezależnie od przeczeń p i q, zatem jest to matematyczny śmieć, bez żadnej gwarancji matematycznej.


9.0 Operatory implikacyjne w praktyce

9.1 Operatory implikacji prostej p|=>q i odwrotnej p|~>q
Kod:

IP:
Definicja implikacji prostej p|=>q w spójnikach implikacyjnych: =>,~>,~~>
Wejścia:      |Definicja zero-jedynkowe |Definicje symboliczne
p,q,~p,~q     |spójników => i ~> w IP   |w spójnikach =>, ~> i ~~>
   p  q ~p ~q | p=>q ~p~>~q q~>p ~q=>~p |              Y                 Y
A: 1  1  0  0 |  1     1     1     1    | p=> q = p* q=1 | q~> p = q* p =1
B: 1  0  0  1 |  0     0     0     0    | p~~>~q= p*~q=0 |~q~~>p =~q* p =0
C: 0  0  1  1 |  1     1     1     1    |~p~>~q =~p*~q=1 |~q=>~p =~q*~p =1
D: 0  1  1  0 |  1     1     1     1    |~p~~>q =~p* q=1 | q~~>~p= q*~p =1
   1  2  3  4    5     6     7     8      a   b   c  d e    f  g   h  i  j
Matematycznie zachodzi:
p=>q = ~p~>~q == q~>p = ~q=>~p
Symboliczną definicję implikacji prostej p|=>q (ABCDabcde) poznaliśmy wyżej.
Tabela ABCDfghij pokazuje sytuację po zamianie argumentów p i q.
Zauważmy, że kontrprzykład przed zamianą argumentów B: p~~>~q =0 (Babcde) przechodzi w kontrprzykład B: ~q~~>p =0 (Bfghij) po zamianie argumentów.
To jest kluczowe spostrzeżenie, bowiem fałszywy kontrprzykład B: ~q~~>p =0 wymusza prawdziwy warunek wystarczający C: ~q=>~p =1.
Z kolei prawdziwy warunek wystarczający C: ~q=>~p =1 wymusza prawdziwy warunek konieczny A: q~>p =1 na mocy prawa Kubusia:
C: ~q=>~p = A: q~>p
Ostatnia linia D: q~~>~p =1 to zdanie prawdziwe pod kwantyfikatorem małym ~~>.
Prawdziwość linii D decyduje o tym iż mamy do czynienia z operatorem implikacji odwrotnej q|~>p:
- „rzucanie monetą” (warunek konieczny ~>) po stronie q (realizują zdania A: q~>p =1 i D: q~~>~p =1)
- gwarancja matematyczna (warunek wystarczający =>) po stronie ~q (realizują zdania C: ~q=>~p=1 i B: ~q~~>p =0)

Wniosek:
Implikacja prosta p|=>q w logice dodatniej (bo q) opisana tabelą symboliczną ABCDabcde po zamianie argumentów przeszła w implikację odwrotną q|~>p w logice dodatniej (bo p) opisaną tabelą symboliczną ABCDfghij.

Nasza analiza jest dowodem prawdziwości równania w spójnikach implikacyjnych => i ~> dla implikacji prostej p|=>q:
IP: p=>q = ~p~>~q == q~>p = ~q=>~p
Dowodem formalnym tej tożsamości w rachunku zero-jedynkowym jest tożsamość kolumn 5678.

Definicja zdania warunkowego p=>q:
Jeśli zajdzie przyczyna p to na pewno => zajdzie skutek q
IP: p=>q = ~p~>~q
Po zamianie argumentów implikacja prosta transformuje się do czasu przeszłego:
Jeśli zaszedł skutek q to mogła ~> zajść przyczyna p
IO: q~>p = ~q=>~p
Stąd mamy:
IP: p=>q = ~p~>~q == q~>p = ~q=>~p
gdzie:
== - znak transformacji

Prawo transformacji dla implikacji prostej p|=>q:
Niezdeterminowana przyszłość:
p=>q = ~p~>~q
przechodzi w zdeterminowaną, lecz nieznaną przeszłość:
q~>p = ~q=>~p
Wbrew pozorom przeszłość może być nieznana np. poszukiwanie mordercy.
Jeśli przeszłość jest znana to logika nie jest nam do niczego potrzebna.
Przykładowo, jeśli złapaliśmy mordercę to po co komu logika prowadząca do jego złapania?
Wiemy wszystko i matematycznie nic więcej nie jesteśmy w stanie się dowiedzieć.

Przyszłość to fundamentalnie co innego niż przeszłość.
Istoty żywe na przyszłość mają wpływ, mogą ją abstrakcyjnie kształtować wedle swych marzeń.
Realizując marzenia tworzymy zdeterminowaną przeszłość.
Na przeszłość nie mamy żadnego wpływu, co się stało to się nie odstanie.

Definicja teraźniejszości:
Teraźniejszość to nieskończenie krótki odcinek czasowy oddzielający niezdeterminowaną przyszłość od zdeterminowanej przeszłości.

Zróbmy to samo dla implikacji odwrotnej p|~>q.
Kod:

IO:
Definicja implikacji odwrotne p|~>q w spójnikach implikacyjnych: ~>,=>
Wejścia:      |Definicja zero-jedynkowe |Definicje symboliczne
p,q,~p,~q     |spójników ~> i => w IO   |w spójnikach ~>, => i ~~>
   p  q ~p ~q | p~>q ~p=>~q q=>p ~q~>~p |
A: 1  1  0  0 |  1     1     1     1    | p~> q = p* q=1 | q=> p = q* p =1
B: 1  0  0  1 |  1     1     1     1    | p~~>~q= p*~q=1 |~q~~>p =~q* p =1
C: 0  0  1  1 |  1     1     1     1    |~p=>~q =~p*~q=1 |~q~>~p =~q*~p =1
D: 0  1  1  0 |  0     0     0     0    |~p~~>q =~p* q=0 | q~~>~p= q*~p =0
   1  2  3  4    5     6     7     8      a   b   c  d e   f   g   h  i  j
Matematycznie zachodzi:
p~>q = ~p=>~q == q=>p = ~q~>~p

Tu także zaczynamy analizę od fałszywego kontrprzykładu D: q~~>~p =0 w tabeli symbolicznej ABCDfghij.
Fałszywy kontrprzykład D: q~~>~p =0 wymusza prawdziwy warunek wystarczający A: q=>p =1
Na mocy prawa Kubusia:
A: q=>p = C: ~q~>~p
w linii C zachodzi warunek konieczny C: ~q~>~p =1
Linia B: ~q~~>p =1 to zdanie prawdziwe pod kwantyfikatorem małym ~~>.
Prawdziwość linii B decyduje o tym iż mamy do czynienia z operatorem implikacji prostej q|=>p w logice dodatniej (bo p):
- gwarancja matematyczna (warunek wystarczający =>) po stronie q (realizują zdania A: q=>p=1 i D: q~~>~p =0)
- „rzucanie monetą” (warunek konieczny ~>) po stronie ~q (realizują zdania C: ~q~>~p =1 i B: ~q~~>p =1)

Wniosek:
Implikacja odwrotna p|~>q w logice dodatniej (bo q) opisana tabelą symboliczną ABCDabcde po zamianie argumentów przeszła w implikację prostą q|=>p w logice dodatniej (bo p) opisaną tabelą symboliczną ABCDfghij.

Nasza analiza jest dowodem prawdziwości równania w spójnikach implikacyjnych => i ~> dla implikacji odwrotnej p|~>q:
IO: p~>q = ~p=>~q == q=>p = ~q~>p
Dowodem formalnym tej tożsamości w rachunku zero-jedynkowym jest tożsamość kolumn 5678.

Definicja zdania warunkowego:
Jeśli zajdzie przyczyna p to może ~> zajść zajdzie skutek q
IO: p~>q = ~p=>~q
Po zamianie argumentów implikacja odwrotna transformuje się do czasu przeszłego:
Jeśli zaszedł skutek q to na pewno => zaszła przyczyna p
IP: q=>p = ~q~>~p
Stąd mamy:
IO: p~>q = ~p=>~q == q=>p = ~q=>~p
gdzie:
== - znak transformacji

Prawo transformacji dla implikacji odwrotnej p|~>q:
Niezdeterminowana przyszłość:
p~>q = ~p=>~q
przechodzi w zdeterminowaną, lecz nieznaną przeszłość:
q=>p = ~q~>~p
Wbrew pozorom przeszłość może być nieznana np. poszukiwanie mordercy.
Jeśli przeszłość jest znana to logika nie jest nam do niczego potrzebna.
Przykładowo, jeśli złapaliśmy mordercę to po co komu logika prowadząca do jego złapania?
Wiemy wszystko i matematycznie nic więcej nie jesteśmy w stanie się dowiedzieć.

Przyszłość to fundamentalnie co innego niż przeszłość.
Istoty żywe na przyszłość mają wpływ, mogą ją abstrakcyjnie kształtować wedle swych marzeń.
Realizując marzenia tworzymy zdeterminowaną przeszłość.
Na przeszłość nie mamy żadnego wpływu, co się stało to się nie odstanie.

Definicja teraźniejszości:
Teraźniejszość to nieskończenie krótki odcinek czasowy oddzielający niezdeterminowaną przyszłość od zdeterminowanej przeszłości.

Zauważmy, że na mocy definicji zachodzi:
Kod:

Implikacja prosta p|=>q      ## Implikacja odwrotna p|~>q
p|=>q=(p=>q)*~[p=q]          ## p|~>q=(p~>q)*~[p=q]
Prawa w spójnikach => i ~>   ## Prawa w spójnikach ~> i =>
IP: p=>q=~p~>~q==q~>p=~q=>~p ## IO: p~>q=~p=>~q==q=>p=~q~>~p
Gdzie:
## - różne na mocy definicji
== - znak transformacji przyszłości (lewa strona) do przeszłości (prawa strona)


Przykład:
A1.
Jeśli jutro będzie padało to na pewno => będzie pochmurno
P=>CH =1
Definicja warunku wystarczającego => spełniona bo wymuszam padanie (P=1) i na 100% pojawią się chmury
Definicja implikacji prostej p|=>q w zdarzeniach:
Zdarzenie p wymusza => zdarzenie q i nie jest tożsame z q
p|=>q = (p=>q)*~[p=q]
Dla naszego przykładu ta definicja jest spełniona:
P|=>CH = (P=>CH)*~[P=CH] = 1*~(0) = 1*1 =1
Stąd mamy pewność, że warunek wystarczający A wchodzi w skład definicji implikacji prostej p|=>q.
Dalsza analiza to formalność dla byle komputera.

… a jeśli jutro nie będzie padało?
Prawo Kubusia:
P=>CH = ~P~>~CH
stąd:
C1.
Jeśli jutro nie będzie padało to może ~> nie być pochmurno
~P~>~CH =1
Brak opadów jest warunkiem koniecznym ~> dla braku chmur bo jak są chmury to na pewno => pada
~P~>~CH = P=>CH
lub
D1.
Jeśli jutro nie będzie padało to może ~~> być pochmurno
~P~~>CH = ~P*CH =1 - sytuacja możliwa
Prawdziwość zdania D1 jest dowodem, iż mamy do czynienie z implikacją prostą p|=>q opisaną równaniem w spójnikach implikacyjnych => i ~>:
IP: p=>q = ~p~>~q == q~>p = ~q=>~p

Po zamianie argumentów mamy zdeterminowaną przeszłość:
AO1:
Jeśli wczoraj było pochmurno to mogło ~> padać
CH~>P =1
Chmury są warunkiem koniecznym ~> dla deszczu bo jak nie ma chmur to na pewno => nie pada
Prawo Kubusia samo nam tu wyskoczyło:
CH~>P = ~CH=>~P
stąd:
CO1.
Jeśli wczoraj nie było pochmurno to na pewno => nie padało
~CH=>~P =1
Brak chmur jest warunkiem wystarczającym => dla braku opadów

Zauważmy, że po udowodnieniu iż zdanie A1: P=>CH jest częścią operatora implikacji prostej P|=>CH nie musimy dowodzić prawdziwości jakiegokolwiek innego zdania wchodzącego w skład definicji implikacji prostej p|=>q, mówi o tym równanie implikacji prostej.
IP: P=>CH = ~P~>~CH == CH~>P = ~CH=>~P
gdzie:
== - znak transformacji przyszłości do przeszłości

Po wypowiedzeniu zdania A1 człowiek może zapytać o przyszłość zamieniając p i q.
… a jeśli jutro będzie pochmurno?
Odpowiedź:
A2.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P =1
Chmury są warunkiem koniecznym ~> dla deszczu

Zdanie A2 traktujemy jako zdanie nowo wypowiedziane p~>q wchodzące w skład definicji implikacji odwrotnej p|~>q opisanej równaniem.
IO: p~>q = ~p=>~q == q=>p = ~q~>~p
Wynika z tego, że warunek konieczny ~> musimy tu udowodnić od nowa.
A2.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P =1
Chmury są warunkiem koniecznym ~> dla deszczu
Definicja implikacji odwrotnej p|~>q w zdarzeniach:
Zdarzenie p jest konieczne ~> dla q i nie jest tożsame z q
p|~>q = (p~>q)*~[p=q]
Dla naszego przykładu ta definicja jest spełniona:
CH|~>P = (CH~>P)*~[CH=P] = 1*~(0) = 1*1 =1
Stąd mamy pewność, że warunek konieczny ~> A2 wchodzi w skład definicji implikacji odwrotnej p|~>q.
Dalsza analiza to formalność dla byle komputera.

… a jeśli jutro nie będzie pochmurno?
Prawo Kubusia:
CH~>P = ~CH=>~P
stąd:
C2.
Jeśli jutro nie będzie pochmurno to na pewno => nie będzie padało
~CH=>~P
Brak chmur jest warunkiem wystarczającym => dla braku opadów

Równanie implikacji odwrotnej p|~>q:
IO: CH~>P = ~CH=>~P == P=>CH = ~P~>~CH
Stąd mamy matematyczny opis przeszłości:
AO2.
Jeśli wczoraj padło to na pewno => było pochmurno
P=>CH =1
Padanie wystarcza => dla istnienia chmur
CO2.
Jeśli wczoraj nie padało to mogło ~> nie być pochmurno
~P~>~CH=1
Brak opadów jest warunkiem koniecznym ~> aby nie było chmur bo jak pada to na pewno => są chmury
Prawo Kubusia samo nam tu wyskoczyło:
~P~>~CH = P=>CH

Zauważmy, że algebra Kubusia eliminuje głupoty z aktualnej logiki matematycznej Ziemian.
Przykład:
A3.
Jeśli jutro będzie padało to otworzę parasol
P=>OP =1
Padanie jest warunkiem wystarczającym => abym otworzył parasol

… a jeśli nie otworzysz parasola?
Prawo kontrapozycji w logice Ziemian:
A3: P=>OP = C3: ~OP=>~P
Stąd:
C3.
Jeśli nie otworzę parasola to na pewno => nie będzie padało
~OP => ~P =1

W algebrze Kubusia takich głupot nie ma bo po zamianie argumentów w zdaniu A3, w pytaniu o przyszłość mamy do czynienia z nowo wypowiedzianym zdaniem A4: p~>q=~p=>~q gdzie na nowo musimy udowodnić warunek konieczny p~>q albo wystarczający ~p=>~q.
A4.
Jeśli jutro otworzę parasol to może ~> padać
OP~>P =0
p~>q =0
Definicja warunku koniecznego ~> nie jest tu spełniona bo zabieram parasol nie wykluczając możliwości padania
Prawo Kubusia:
OP~>P = ~OP=>~P
p~>q = ~p=>~q
Lewa strona prawa Kubusia jest fałszem zatem prawa strona również musi być fałszem
~OP=>~P =0

Podsumowując:
Algebra Kubusia nie pozwala na robienie z człowieka Idioty - i tak musi być!


9.2 Operator równoważności p<=>q

Zacznijmy od definicji implikacji prostej p|=>q i odwrotnej p|~>q.
Kod:

IP:
Definicja implikacji prostej p|=>q w spójnikach implikacyjnych: =>,~>,~~>
Wejścia:      |Definicja zero-jedynkowe |Definicje symboliczne
p,q,~p,~q     |spójników => i ~> w IP   |w spójnikach =>, ~> i ~~>
   p  q ~p ~q | p=>q ~p~>~q q~>p ~q=>~p |              Y                 Y
A: 1  1  0  0 |  1     1     1     1    | p=> q = p* q=1 | q~> p = q* p =1
B: 1  0  0  1 |  0     0     0     0    | p~~>~q= p*~q=0 |~q~~>p =~q* p =0
C: 0  0  1  1 |  1     1     1     1    |~p~>~q =~p*~q=1 |~q=>~p =~q*~p =1
D: 0  1  1  0 |  1     1     1     1    |~p~~>q =~p* q=1 | q~~>~p= q*~p =1
   1  2  3  4    5     6     7     8      a   b   c  d e    f  g   h  i  j
Matematycznie zachodzi:
p=>q = ~p~>~q == q~>p = ~q=>~p

Kod:

IO:
Definicja implikacji odwrotne p|~>q w spójnikach implikacyjnych: ~>,=>
Wejścia:      |Definicja zero-jedynkowe |Definicje symboliczne
p,q,~p,~q     |spójników ~> i => w IO   |w spójnikach ~>, => i ~~>
   p  q ~p ~q | p~>q ~p=>~q q=>p ~q~>~p |
A: 1  1  0  0 |  1     1     1     1    | p~> q = p* q=1 | q=> p = q* p =1
B: 1  0  0  1 |  1     1     1     1    | p~~>~q= p*~q=1 |~q~~>p =~q* p =1
C: 0  0  1  1 |  1     1     1     1    |~p=>~q =~p*~q=1 |~q~>~p =~q*~p =1
D: 0  1  1  0 |  0     0     0     0    |~p~~>q =~p* q=0 | q~~>~p= q*~p =0
   1  2  3  4    5     6     7     8      a   b   c  d e   f   g   h  i  j
Matematycznie zachodzi:
p~>q = ~p=>~q == q=>p = ~q~>~p

W technice cyfrowej jak dwie bramki p=>q i p~>q wpuścimy na wejścia bramki „i”(*) (AND) to na wyjściu otrzymamy bramkę równoważności p<=>q gdzie wycięte zostaną wszystkie pozycje o różnych stanach.
Zróbmy to:
Kod:

RR:
Definicja implikacji równoważności p<=>q w spójnikach implikacyjnych: =>,~>,~~>
Wejścia:      |Definicja zero-jedynkowe |Definicje symboliczne
p,q,~p,~q     |równoważności p<=>q      |w spójnikach => i ~>
   p  q ~p ~q |  Y     Y     Y     Y    |              Y                 Y
A: 1  1  0  0 |  1     1     1     1    | p=> q = p* q=1 | q~> p = q* p =1
B: 1  0  0  1 |  0     0     0     0    | p~~>~q= p*~q=0 |~q~~>p =~q* p =0
C: 0  0  1  1 |  1     1     1     1    |~p~>~q =~p*~q=1 |~q=>~p =~q*~p =1
D: 0  1  1  0 |  0     0     0     0    |~p~~>q =~p* q=0 | q~~>~p= q*~p =0
   1  2  3  4    5     6     7     8      a   b   c  d e    f  g   h  i  j
Matematycznie zachodzi:
p=>q = ~p~>~q == q~>p = ~q=>~p

W technice bramek logicznych zrobiliśmy to:
p<=>q = IP: (p=>q = ~p=>~q = q~>p) * IO: (p~>q = ~p=>~q = q=>p = ~q~>~p)

Stąd mamy 16 tożsamych definicji równoważności z których najważniejsze to.
Popularna definicja równoważności:
Równoważność to jednoczesne zachodzenie warunku wystarczającego => i koniecznego ~>
p<=>q = (p=>q)*(p~>q)

Definicja równoważności uwielbiana przez matematyków:
Równoważność to warunek wystarczający => zachodzący w dwie strony
p<=>q = (p=>q)*(q=>p)

Aksjomatyczna definicja równoważności (wynikała z tabeli zero-jedynkowej):
Równoważność to jednoczesne zachodzenie warunku wystarczającego p=>q i ~p=>~q
p<=>q = (p=>q)*(~p=>~q)

Zauważmy, że w tabeli symboliczne ABCDabcdefghij wycięte zostały jedynki odpowiedzialne za rzucanie monetą. Wynika z tego że fundament każdej implikacji, „rzucanie monetą” w jednej połówce implikacji, leży w gruzach.
W świecie rzeczywistym nie da się zlikwidować „rzucania monetą” w implikacji chciejstwem człowieka np.
Pada wtedy i tylko wtedy gdy są chmury
P<=>CH = (P=>CH)*(CH=>P) = 1*0 =0

Wynika z tego, że implikacja ma zero wspólnego z równoważnością.
Jeśli równoważność jest prawdziwa p<=>q =1 to na 100% fałszywa jest implikacja p|=>q =0.
Jeśli implikacja jest prawdziwa p|=>q =1 to na 100% fałszywa jest równoważność p<=>q =0

Nic co jest implikacją prawdziwą p|=>q =1 nie będzie jednocześnie równoważnością prawdziwą p<=>q =1 (i odwrotnie).

Wszystkie 16 definicji równoważności w spójnikach implikacyjnych => i ~> są matematycznie poprawne, ale chodzi w nich o warunki wystarczające => i konieczne ~> wchodzące w skład operatorów implikacyjnych.


Ostatnio zmieniony przez rafal3006 dnia Pon 7:43, 01 Sie 2016, w całości zmieniany 22 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 16:28, 26 Lip 2016    Temat postu:

Algebra Kubusia - bramy Raju

Część III
Obietnice i groźby

Spis treści
10.0 Obietnice i groźby 1
10.1 Klasyka obietnicy 3
10.2 Klasyka groźby 4
10.3 Obietnica w równaniach logicznych 5
10.4 Groźba w równaniach logicznych 7
10.5 Analiza złożonej obietnicy 8
10.6 Analiza złożonej groźby 9
10.7 Obietnice i groźby w ujęciu filozoficznym 11
10.8 Rodzaje obietnic 14


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

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N = ~W~>~N
Implikacja prosta W|=>N 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)

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 W|~>K 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.

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 W|=>N
To jest nasz pierwszy aksjomat.

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N = ~W~>~N
Implikacja prosta W|=>N 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 W|~>K na mocy definicji


10.1 Klasyka obietnicy

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

Przykład:
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 =1
Bycie niegrzecznym jest warunkiem koniecznym ~>, aby nie dostać czekolady.
Na mocy definicji obietnicy (implikacja prosta G|=>C) nie ma znaczenia w jak ostrej formie wypowiemy groźbę C. Zdanie C musimy kodować warunkiem koniecznym ~>, inaczej gwałcimy matematykę ścisłą, definicję implikacji prostej G|=>C!
LUB
D.
Jeśli będziesz niegrzeczny to możesz ~~> dostać czekoladę
~G~~>C =1 - akt miłości = akt łaski
Prawdziwość zdania C gwarantuje nam matematyka ścisła (implikacja prosta) która nie zależy od widzi mi się człowieka.
To jest matematyczne prawo nadawcy do darowania dowolnej kary zależnej od niego.
Oczywiście może ~~> darować, ale nie musi => darować.
Ojciec może tu darować karę mówiąc:
Synku, byłeś niegrzeczny, dostajesz czekoladę bo cię kocham.
Uzasadnienie nie może być zależne, czyli identyczne jak poprzednik:
Synku, byłeś niegrzeczny, dostajesz czekoladę bo byłeś niegrzeczny
Tu ojciec jest kłamcą - dowód w punkcie 10.3


10.2 Klasyka groźby

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

Przykład:
A:
Jeśli ubrudzisz spodnie to na 100% dostaniesz lanie
B~>L =1
Na mocy definicji groźby (implikacja odwrotna B|~>L) brudne spodnie są warunkiem koniecznym ~> dla dostania lania z powodu brudnych spodni!
Zdania A nie wolno nam kodować warunkiem wystarczającym => bo zgwałcimy definicję implikacji odwrotnej B|~>L którą na mocy definicji jest dowolna groźba.
LUB
B:
Jeśli ubrudzisz spodnie to możesz ~~> nie dostać lania
B ~~> ~L =1 - prawo do darowania kary (akt łaski)
Prawdziwość zdania B gwarantuje nam matematyka ścisła (implikacja odwrotna B|~>L), która nie zależy od chciejstwa człowieka.
Nadawca ma matematyczne prawo do darowania dowolnej kary (akt łaski) zależnej od niego:
I rzekł mu: "Zaprawdę, powiadam ci, jeszcze dziś będziesz ze mną w raju". (Łk 23, 43)

Nadawca może darować karę z dowolnym uzasadnieniem niezależnym:
Synku, ubrudziłeś spodnie, nie dostajesz lania bo cię kocham
Nadawca będzie kłamcą, jeśli wypowie uzasadnienie zależne, identyczne jak poprzednik:
Synku, ubrudziłeś spodnie, nie dostajesz lania, bo ubrudziłeś spodnie (dowód pkt. 10.4)

… 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 tzn. z powodu czystych spodni!


10.3 Obietnica w równaniach logicznych

Definicja obietnicy:
Jeśli dowolny warunek to nagroda

Ideę obietnicy możemy zapisać tak:
Dostanę nagrodę (N) gdy spełnię warunek nagrody (W) lub gdy nadawca zdecyduje o daniu nagrody.

Wprowadźmy zmienną uznaniową nadawcy:
U=1 - dam nagrodę
U=0 - nie dam nagrody

Równanie obietnicy:
N=W+U

Gdzie:
N=1 - mam nagrodę
N=0 - nie mam nagrody
W=1 - warunek nagrody spełniony
W=0 - warunek nagrody nie spełniony

Zmienna uznaniowa nadawcy:
U=1 - dam nagrodę
U=0 - nie dam nagrody

Analiza równania obietnicy.

A.
W=1 - odbiorca spełnił warunek nagrody.

Równanie obietnicy przybierze wówczas postać:
N = 1+U = 1 - muszę dostać nagrodę.
W przypadku gdy odbiorca spełni warunek nagrody nadawca nie ma wyjścia i musi dać nagrodę, inaczej jest kłamcą. Zauważmy, że nikt nie zmuszał nadawcy do obiecania czegokolwiek, że nadawca obiecał nagrodę z własnej woli, że chce dać nagrodę. Nie ma tu zatem mowy o jakimkolwiek ograniczeniu wolnej woli nadawcy.

B.
W=0 - warunek nagrody nie spełniony

Równanie obietnicy przybiera postać:
N=W+U=0+U=U
Wszystko w rękach nadawcy który podejmuje decyzję o daniu nagrody zgodnie ze swoją wolną wolą, niczym nie ograniczoną.
U=1 - dam nagrodę
U=0 - nie dam nagrody

Przy niespełnionym warunku nagrody (W=0) nadawca może zrobić co mu się podoba i nie zostaje kłamcą. Większość nadawców tak czy siak da nagrodę pod byle pretekstem niezależnym (U=1 - akt miłości), ale nie musi tego robić !

W tym przypadku nadawca może wszystko z maleńkim wyjątkiem:
Nie spełniłeś warunku nagrody (W=0) dostajesz nagrodę, bo nie spełniłeś warunku nagrody (U=W=0)

Równanie obietnicy przybierze tu postać:
N = W+U = 0+0 =0
Zakaz wręczenia nagrody z uzasadnieniem zależnym, czyli z powodu nie spełnienia warunku nagrody (W=0).

Nikt nie może robić z człowieka idioty, przede wszystkim matematyka.

Przykład:
Jeśli zdasz egzamin dostaniesz komputer
E=>K

Równanie obietnicy:
K = W+U

Jeśli egzamin zdany (W=1) to:
K=1+U =1 - gwarancja otrzymania komputera.
Zmienna uznaniowa nadawcy jest tu bez znaczenia.

Jeśli egzamin nie zdany (W=0) to:
K=W+U = 0+U =U
Wszystko w rękach nadawcy:
U=1 - dam komputer
U=0 - nie dam komputera

Akt miłości nie zaszedł:
U=0
Nie zdałeś egzaminu (W=0), nie dostajesz komputera ... bo kompletnie się nie uczyłeś (U=0)
Równanie obietnicy:
K=W+U = 0+0 =0 - nie mam komputera

Akt miłości zaszedł:
U=1
Nie zdałeś egzaminu (W=0), dostajesz komputer ... bo widziałem że się starałeś ale miałeś pecha, bo cię kocham, bo tak czy siak zamierzałem kupić ci komputer itp. (U=1 dowolne uzasadnienie niezależne)
Równanie obietnicy:
N=W+U=0+1=1 - mam komputer dzięki dobremu sercu nadawcy (akt miłości)

Nadawca może wręczyć nagrodę pod byle pretekstem, ale nie może wręczyć nagrody z uzasadnieniem zależnym identycznym jak warunek nagrody.

Nie zdałeś egzaminu (W=0), dostajesz komputer ... bo nie zdałeś egzaminu (U=W=0).

Równanie obietnicy:
N=W+U=0+0=0 - zakaz wręczania nagrody z uzasadnieniem zależnym, czyli z powodu „nie zdania egzaminu” (W=U=0)

Nikt nie może robić z człowieka idioty, przede wszystkim matematyka.


10.4 Groźba w równaniach logicznych

Definicja groźby:
Jeśli dowolny warunek to kara

W naturalnej logice człowieka ideę groźby możemy zapisać tak:
Zostanę ukarany (K) gdy spełnię warunek kary (W) i nadawca zdecyduje o ukaraniu (U).

W groźbie nadawca może skorzystać z aktu łaski ale nie musi tego robić. Przyjmijmy zmienna uznaniową U, którą nadawca może ustawić na dowolną wartość.

Matematyczne równanie groźby:
K=W*U

Gdzie:
K=1 - zostanę ukarany
K=0 - nie zostanę ukarany
W=1 - warunek kary spełniony
W=0 - warunek kary nie spełniony

Nadawca może ustawić zmienną uznaniową na dowolną wartość:
U=1 - ukarać
U=0 - nie karać (akt łaski)

Akt łaski w groźbie zajdzie wtedy, gdy odbiorca spełni warunek kary zaś nadawca odstąpi od wykonania kary (U=0 - akt łaski).

Analiza równania groźby.
K=W*U

A.
W=0 - warunek kary nie spełniony

Równanie groźby przybierze wówczas postać:
K=W*U=0*U=0 - zakaz karanie jeśli warunek kary nie zostanie spełniony.

Zauważmy, że nadawca nie ma tu nic do gadania. Może sobie ustawiać swoją zmienną długo i namiętnie na U=1 (karać) ... a i tak ma zakaz karania z powodu nie spełnienia warunku kary.

B.
W=1 - warunek kary spełniony

Równanie groźby przybiera postać:
K=W*U=1*U=U

Wszystko w rękach nadawcy który może zrobić co mu się podoba wedle wolnej woli:
U=1 - karać
U=0 - nie karać

Przykład:
Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L

Ubrudziłeś spodnie (W=1), nie dostaniesz lania ... bo samochód cię ochlapał, bo dziś mam dobry humor, bo cię kocham itp. (U=0 - dowolne uzasadnienie niezależne)

K=W*U=1*0=0 - nie zostałem ukarany, bo nadawca zastosował akt łaski

Zauważmy, że nadawca może robić co mu się podoba z małym wyjątkiem, nie może darować kary z uzasadnieniem zależnym identycznym jak warunek kary.

Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L
Ubrudziłeś spodnie (W=1), nie dostajesz lania, bo ubrudziłeś spodnie (U=W=1).

Równanie groźby:
K=W*U=1*1=1 - kara musi być wykonana, zakaz darowania kary z uzasadnieniem zależnym

Nikt nie może robić z człowieka idioty, przede wszystkim matematyka.


10.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%


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


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

Oczywiście matematycznie zabronione jest tu uzasadnienie zależne, identyczne jak warunek czyli:
Nie zdałeś egzaminu, dostajesz komputer bo nie zdałeś egzaminu
Matematyczny dowód pkt. 8.3

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.


10.8 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ą.


Ostatnio zmieniony przez rafal3006 dnia Sob 20:09, 30 Lip 2016, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Wto 19:45, 26 Lip 2016    Temat postu:

"Akt łaski?"
Gdyby powiedział "być może dostaniesz lanie", to tak
ale nie gdy "dostaniesz lanie"
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 19:56, 26 Lip 2016    Temat postu:

Andy72 napisał:
"Akt łaski?"
Gdyby powiedział "być może dostaniesz lanie", to tak
ale nie gdy "dostaniesz lanie"

Nie ma żadnego znaczenia czy powie to "może" czy nie powie.

Obietnica to na mocy definicji implikacja prosta p|=>q - wiedzą o tym wszyscy ziemianie (patrz Wiki).
W implikacji prostej "rzucanie monetą" (wolną wolę) masz po stronie ~p

Z tego faktu wynika że:
Groźba to na mocy definicji implikacja odwrotna p|~>q
W implikacji odwrotnej "rzucanie monetą" masz po stronie p, czyli po stronie brudnych spodni.

Bez znaczenia jest zatem co tu powiesz - możesz nawet to:
A.
Jeśli ubrudzisz spodnie to przysięgam na wszystkie świętości że dostaniesz lanie
B~>L =1
To jest groźba, na mocy definicji MUSISZ to zdanie kodować warunkiem koniecznym ~> z możliwością darowania dowolnej kary - inaczej gwałcisz matematykę ścisłą!

Czy rozumiesz?
Czy mam ci to przekazać mocniejszymi argumentami?
... mam takie!


Ostatnio zmieniony przez rafal3006 dnia Wto 19:58, 26 Lip 2016, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Wto 19:59, 26 Lip 2016    Temat postu:

rafal3006 napisał:
Andy72 napisał:
"Akt łaski?"
Gdyby powiedział "być może dostaniesz lanie", to tak
ale nie gdy "dostaniesz lanie"

Nie ma żadnego znaczenia czy powie to "może" czy nie powie.

Bo Ty tak chcesz ? Twoje chciejstwo nie ma wpływu. Zabierasz wolną wolę wypowiadającemu, by nie mógł powiedzieć prawdziwej groźby
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 20:05, 26 Lip 2016    Temat postu:

Andy72 napisał:
rafal3006 napisał:
Andy72 napisał:
"Akt łaski?"
Gdyby powiedział "być może dostaniesz lanie", to tak
ale nie gdy "dostaniesz lanie"

Nie ma żadnego znaczenia czy powie to "może" czy nie powie.

Bo Ty tak chcesz ? Twoje chciejstwo nie ma wpływu. Zabierasz wolną wolę wypowiadającemu, by nie mógł powiedzieć prawdziwej groźby

Problem w tym, że prawdziwa groźba wedle ciebie to kodowanie absolutnie każdej groźby warunkiem wystarczającym.

Działa to wtedy tak:
Jeśli ubrudzisz spodnie dostaniesz lanie
B=>L
Brudne spodnie są warunkiem wystarczającym aby wykonać lanie,
Nie masz tu absolutnie żadnych szans na darowanie kary - czyli jesteś sadystą absolutnym, bogiem sadyzmu!
Zgadzasz się z tym?

P.S.
Zauważ, że żaden normalny człowiek nie dodaje w groźbie "może", czyli wszyscy muszą wszystkich walić milion razy na dobę inaczej są kłamcami, albo twoja matematyka jest najzwyklejszym gównem.
Gdzie leży prawda?
Tak trudno wywnioskować że twoja "matematyka" nadaje się co najwyżej na papier toaletowy?


Ostatnio zmieniony przez rafal3006 dnia Wto 20:08, 26 Lip 2016, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Wto 20:21, 26 Lip 2016    Temat postu:

Lanie za brudne spodnie to nie szczyt sadyzmu.
A przynajmniej dziecko, które będzie znało logike Ziemian a nie AK, będzie wystrzegało się pobrudzenia spodni, a nie mysłało że ojciec grożby i tak nie wypełni.
Poczytaj na temat dialogu Boga z Abrahamem na temat zniszczenia Sodomy i Gomory.


Ostatnio zmieniony przez Andy72 dnia Wto 20:22, 26 Lip 2016, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 20:29, 26 Lip 2016    Temat postu:

Andy72 napisał:
Lanie za brudne spodnie to nie szczyt sadyzmu.
A przynajmniej dziecko, które będzie znało logike Ziemian a nie AK, będzie wystrzegało się pobrudzenia spodni, a nie mysłało że ojciec grożby i tak nie wypełni.
Poczytaj na temat dialogu Boga z Abrahamem na temat zniszczenia Sodomy i Gomory.

He,he,he ... dobre.
... a ty się rozejrzyj dookoła czy wszyscy ludzie spełniają swoje groźby w 100%, bo tego wymaga twoja posrana "matematyka".

Mówisz do córci na jej imieninach:
Jeśli nie powiesz wierszyka to nie dostaniesz czekolady
~W=>~C =1
Nie powiedzenie wierszyka jest warunkiem wystarczającym => aby córcia nie dostała czekolady.
... no i córcia nie powiedziała wierszyka ale płaczem domaga się czekolady - wszyscy patrzą na Andy72 oczekując iz okaże się człowiekiem a nie sadystą.
Andy72:
Nie powiedziała nie dostanie, na 100% nie dostanie ... bo jestem sadystą absolutnym i żadnej kary nie daruję - nie mogę tego zrobić zakazuje mi tego moja zakichana "matematyka".

Czy widzisz już debilizm swojej "matematyki", czy mam dalej walić dosadniejszymi przykładami np.

Andy mówi do swojej dziewczyny:
Jeśli mnie rzucisz to się zabiję
R=>Z
Porzucenie cię przez dziewczynę jest warunkiem wystarczającym => abyś się zabił - musisz się zabić, inaczej jesteś kłamcą.
... no i dziewczyna cię rzuca, stało się.
Twoja "matematyka" absolutnie nie pozwala ci zrezygnować z samobójstwa!

Ja nie wiem jak można nie rozumieć Andy72, że twoja "matematyka" to gówno gównem pogania.


Ostatnio zmieniony przez rafal3006 dnia Wto 20:37, 26 Lip 2016, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Wto 20:57, 26 Lip 2016    Temat postu:

rafal3006 napisał:
Mówisz do córci na jej imieninach:
Jeśli nie powiesz wierszyka to nie dostaniesz czekolady
~W=>~C =1
Nie powiedzenie wierszyka jest warunkiem wystarczającym => aby córcia nie dostała czekolady.
... no i córcia nie powiedziała wierszyka ale płaczem domaga się czekolady - wszyscy patrzą na Andy72 oczekując iz okaże się człowiekiem a nie sadystą.

przypuśćmy że dostała, następnym razem mówię: posprzątaj po sobie albo nie damy kieszonkowego, Córka na to: ojciec to tylko gada i gada, niech sam posprząta
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 21:10, 26 Lip 2016    Temat postu:

Andy72 napisał:
rafal3006 napisał:
Mówisz do córci na jej imieninach:
Jeśli nie powiesz wierszyka to nie dostaniesz czekolady
~W=>~C =1
Nie powiedzenie wierszyka jest warunkiem wystarczającym => aby córcia nie dostała czekolady.
... no i córcia nie powiedziała wierszyka ale płaczem domaga się czekolady - wszyscy patrzą na Andy72 oczekując iz okaże się człowiekiem a nie sadystą.

przypuśćmy że dostała, następnym razem mówię: posprzątaj po sobie albo nie damy kieszonkowego, Córka na to: ojciec to tylko gada i gada, niech sam posprząta

Andy, rozśmieszasz mnie.
Popatrz na poprawną matematykę:
A.
Jeśli nie powiesz wierszyka to na 100% nie dostaniesz czekolady
~W~>~C
To jest ewidentna groźba, zatem musisz ją kodować warunkiem koniecznym ~> z możliwością (powtórzę: Z MOŻLIWOŚCIĄ) darowania kary zdaniem B.
LUB
B.
Jeśli nie powiesz wierszyka to możesz ~~> dostać czekoladę
~W~~>C = ~W*C =1
Prawdziwość zdania B gwarantuje ci matematyka ścisła, implikacja odwrotna ~W|~>~C którą na mocy definicji jest każda groźba.

Racz zauważyć że prawdziwość zdania B w niczym ci nie przeszkadza być sadystą absolutnym, wtedy zdanie A będzie zawsze prawdziwe a B zawsze fałszywe.
Zdania A i B opisują Andy72 twoją WOLNĄ WOLĘ - możesz robić co chcesz i nie masz szans na zostanie kłamcą.
Skrajne przypadki to:
Andy72 = sadysta absolutny, nigdy nie daruje żadnej kary
Andy72 = łagodny Idiota, daruje absolutnie wszystkie wypowiedziane w groźbach kary

Czy rozumiesz że kodowanie groźby implikacją odwrotną p|~>q nie zabrania ci być sadystą absolutnym!
.. jak chcesz nim być to możesz być, ale nie musisz nim być - jak w twoim posranym kodowaniu warunkiem wystarczającym =>.

Czujesz różnicę?


Ostatnio zmieniony przez rafal3006 dnia Wto 21:28, 26 Lip 2016, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Śro 4:52, 27 Lip 2016    Temat postu:

rafal3006 napisał:

To jest ewidentna groźba, zatem musisz ją kodować warunkiem koniecznym ~> z możliwością (powtórzę: Z MOŻLIWOŚCIĄ) darowania kary zdaniem B.
LUB
B.
Jeśli nie powiesz wierszyka to możesz ~~> dostać czekoladę
~W~~>C = ~W*C =1
Prawdziwość zdania B gwarantuje ci matematyka ścisła, implikacja odwrotna ~W|~>~C którą na mocy definicji jest każda groźba.

Muszę tylko w Twojej "logice"
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 18:13, 27 Lip 2016    Temat postu:

Andy72 napisał:
rafal3006 napisał:

To jest ewidentna groźba, zatem musisz ją kodować warunkiem koniecznym ~> z możliwością (powtórzę: Z MOŻLIWOŚCIĄ) darowania kary zdaniem B.
LUB
B.
Jeśli nie powiesz wierszyka to możesz ~~> dostać czekoladę
~W~~>C = ~W*C =1
Prawdziwość zdania B gwarantuje ci matematyka ścisła, implikacja odwrotna ~W|~>~C którą na mocy definicji jest każda groźba.

Muszę tylko w Twojej "logice"

Andy72,
beznadziejną głupotę kodowania dowolnej groźby warunkiem wystarczającym => pokazałem w poście dla Idioty.
Tu go zacytuję:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1475.html#286321
rafal3006 napisał:
idiota napisał:
"Jesteś w błędzie.
Nigdzie nie mówiłem Idioto, że Bóg nie może robić co mu się podoba w obsłudze dowolnej groźby - może robić co chce"

Twierdzisz, że nie może nie móc odwołać groźby.

W twojej logice „matematycznej” nie może!

Już tłumaczę …

Chrystus:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z

Każdy wierzący ma gwarancję matematyczną => zbawienia
Wiara w Boga jest warunkiem wystarczającym => dla zbawienia.

Bóg do Idioty:
Ja jestem Pan, twój Bóg, który cię wywiódł z ziemi egipskiej, z domu niewoli.

1. Nie będziesz miał bogów cudzych przede mną.
2. Nie będziesz brał imienia Pana, Boga swego, nadaremnie.
3. Pamiętaj, abyś dzień święty święcił.
4. Czcij ojca swego i matkę swoją.
5. Nie zabijaj.
6. Nie cudzołóż.
7. Nie kradnij.
8. Nie mów fałszywego świadectwa przeciw bliźniemu swemu.
9. Nie pożądaj żony bliźniego swego.
10. Ani żadnej rzeczy, która jego jest.


Bóg do Idioty:
B.
Idioto, jeśli złamiesz którekolwiek z tych przykazań pójdziesz do piekła
ZP=>P

Złamanie któregokolwiek z przykazań daje nam gwarancję matematyczną => piekła dla Idioty
Złamanie któregokolwiek przykazania jest warunkiem wystarczającym => wtrącenia Idioty do piekła

Jeśli na mocy zdania B możesz Idioto do Nieba, to analogicznie na mocy zdania A wierzący w Boga może do piekła.

Bezdenną GŁUPOTĘ kodowania dowolnej groźby warunkiem wystarczającym => widać tu jak na dłoni.
Warunek wystarczający => to matematyka ścisła, nie może działać raz tak, a raz śmak tzn.
Twoim zdaniem Idioto, zdanie A kodowane warunkiem wystarczającym => daje wierzącemu gwarancję matematyczną Nieba, natomiast zdanie B kodowane tym samym warunkiem wystarczającym => nie daje ci gwarancji matematycznej => Piekła.

Czy widzisz swoje brednie czysto matematyczna Idioto?
... bo twierdzisz że Bóg może ci darować dowolny grzech.
Nie Idioto, w twojej posranej logice "matematycznej" Bóg nie może ci darować któregokolwiek grzechu z 10 przykazań, choćby najbardziej błahego - zeszłej niedzieli byłeś w supermarkecie, zamiast dzień święty święcić.
Marsz mi do piekła i nie marudź!

Proste jak cep!
Głupi jesteś, czy tylko udajesz?


Ostatnio zmieniony przez rafal3006 dnia Śro 18:34, 27 Lip 2016, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Andy72




Dołączył: 30 Sie 2010
Posty: 5895
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Pią 8:49, 29 Lip 2016    Temat postu:

Rafał, nie rób z Boga idioty!
Najpierw twierdzisz że Bóg powie "szoruj do piekła" a potem nie spełni tego co powiedział.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 33 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 9:13, 29 Lip 2016    Temat postu:

Andy72 napisał:
Rafał, nie rób z Boga idioty!
Najpierw twierdzisz że Bóg powie "szoruj do piekła" a potem nie spełni tego co powiedział.

Na sądzie ostatecznym Bóg będzie miał prawo zrobić z tobą co mu się podoba - posłać cie do Nieba albo do piekła na podstawie twoich tu, na Ziemi czynów.
Póki jednak żyjesz Bóg nie może wykonać nad tobą sądu ostatecznego, bo nie wie co Ty, tu w swoim dalszym życiu na Ziemi upichcisz.
Jeśli wie, to wszystko jest picem, kara (piekło) i nagroda (niebo) również.

Matematycznie pewne jest tylko jedno, Bóg każdy twój grzech ma prawo darować, łącznie z grzechem przeciwko Duchowi Św.
Może darować, nie znaczy musi darować:
Idiotę może posłać do Piekła za to że ostatniej niedzieli był w supermarkecie zamiast dzień święty święcić
Hitlera może posłać do Nieba, bo ma do tego matematyczne prawo!

Czy zgadzasz się z ostatnim akapitem - tym o Hitlerze i Idiocie?

Interpretacja grzechu przeciwko Duchowi Św w KrK:
Wątpić w miłosierdzie Boże

Z tym zgodzi się każdy, przy zdrowych zmysłach.
Wynika z tego że także grzech przeciwko Duchowi Św. może być wybaczony - Bóg ma do tego matematyczne prawo!


Ostatnio zmieniony przez rafal3006 dnia Pią 9:15, 29 Lip 2016, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Strona 1 z 1

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin