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 

Śmieci

 
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: 35963
Przeczytał: 15 tematów

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

PostWysłany: Wto 14:49, 18 Lut 2020    Temat postu: Śmieci

8.0 Obietnice i groźby


Spis treści
8.0 Obietnice i groźby 1
8.1 Obietnica 2
8.1.1 Definicja implikacji prostej p|=>q 2
8.1.2 Obietnica Chrystusa 4
8.1.3 Groźba Chrystusa 7
8.1.4 Historyczne zdanie Chrystusa 10
8.2 Prawo transformacji 12
8.2.1 Prawo transformacji w obietnicy Chrystusa 13
8.3 Definicja „wolnej woli” 17
8.4 Klasyka obietnicy 18
8.4.1 Obietnica w równaniach logicznych 21
8.4.2 Rodzaje obietnic 23
8.5 Klasyka groźby 24
8.5.1 Groźba w równaniach logicznych 27



8.0 Obietnice i groźby

Gdy 15 lat temu po raz pierwszy zapisałem prawa Kubusia:
p=>q = ~p~>~q
p~>q = ~p=>~q
i zrozumiałem sens tych praw dzięki obietnicy Chrystusa:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
nie mogłem odpuścić, musiałem drążyć logikę matematyczną do skutku tzn. do dnia dzisiejszego.
Od początku byłem pewien, że logika matematyczna obowiązująca w naszym Wszechświecie musi być na poziomie 5-cio letniego dziecka, bowiem wykluczone jest aby dzieciak szedł przez życie na bazie chaosu, czyli każda jego decyzja na TAK/NIE byłaby wynikiem „rzucania monetą” w sensie „na dwoje babka wróżyła”.

Z punktu widzenia zrozumienia logii matematycznej rządzącej naszym Wszechświatem definicja matematyczna Boga jest bezcenna.

Założenia jakie tu poczyniłem 15 lat temu były następujące:
1.
Logika matematyczna obowiązująca w naszym Wszechświecie musi być identyczna dla Boga i człowieka, inaczej nagroda i kara, niebo i piekło, nie mają sensu.
2.
Bóg nigdy nie kłamie.

Założenie 2 jest tu kluczowe, bowiem człowiek mając większą „wolną wolę” od Boga może kłamać do woli. Wzorzec postepowania, rozstrzyganie co jest dobrem a co złem, wyznacza człowiekowi Bóg który bezwzględnie musi spełniać założenie 2.

8.1 Obietnica

[link widoczny dla zalogowanych]
Biblia Tysiąclecia napisał:

Kto uwierzy i przyjmie chrzest, będzie zbawiony; a kto nie uwierzy, będzie potępiony
MK16

Zachodzi tożsamość matematyczna pojęć:
Kara:
potępiony = nie zbawiony = piekło
Nagroda:
zbawiony = niebo
stąd:

Zdanie matematycznie tożsame:
Kto wierzy we mnie będzie zbawiony a kto nie wierzy nie będzie zbawiony

Zajmijmy się pierwszą częścią zdania:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =?

Definicja obietnicy:
A1.
Jeśli dowolny warunek (W=1) to nagroda (N=1)
W=>N =1
Obietnica to warunek wystarczający W=>N wchodzący w skład implikacji prostej W|=>N

Na mocy definicji nic a nic nie musimy tu udowadniać, wszystko mamy rozstrzygnięte na mocy definicji implikacji prostej p|=>q.

8.1.1 Definicja implikacji prostej p|=>q

Definicja implikacji prostej p|=>q:
Implikacja prosta p|=>q to zachodzenie wyłącznie warunku wystarczającego => między tymi samymi punktami i w tym samym kierunku.
A1: p=>q =1 - warunek wystarczający => jest (=1) spełniony
B1: p~>q =0 - warunek konieczny ~> nie jest (=0) spełniony

Stąd mamy definicję implikacji prostej p|=>q w równaniu logicznym:
p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0) =1*1 =1

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q
##
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji, p i q muszą być tymi samymi p i q inaczej błąd podstawienia.

Definicja implikacji prostej p|=>q w matematycznych związkach warunku wystarczającego => i koniecznego ~>:
Kod:

Związki warunku wystarczającego => i koniecznego ~> w p|=>q:
      AB12:                  AB34:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p =1 [=] 5:~p+q
##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p =0 [=] 5: p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Kluczowym punktem zaczepienia w wprowadzeniu symbolicznej definicji implikacji prostej p|=>q będzie definicja kontrprzykładu rodem z algebry Kubusia działająca wyłącznie w warunku wystarczającym =>.

Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q

Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)

Uzupełnijmy naszą tabelę wykorzystując powyższe rozstrzygnięcia działające wyłącznie w warunkach wystarczających =>.
Kod:

T2
Związki warunku wystarczającego => i koniecznego ~> w p|=>q
       AB12:                      |     AB34:
A:  1: p=>q  =1 = 2:~p~>~q=1     [=] 3: q~>p  =1 = 4:~q=>~p =1
A’: 1: p~~>~q=0 =                [=]             = 4:~q~~>p =0
       ##            ##           |     ##            ##
B:  1: p~>q  =0 = 2:~p=>~q=0     [=] 3: q=>p  =0 = 4:~q~>~p =0
B’:             = 2:~p~~>q=1     [=] 3: q~~>~p=1
---------------------------------------------------------------
    p|=>q=~p*q  = ~p|~>~q=~p*q   [=]  q|~>p=q*~p = ~q|=>~p=q*~p
Gdzie:
## - różne na mocy definicji
A1: p=>q=1 - prawdziwy A1 wymusza fałszywy kontrprzykład A1’ (i odwrotnie)
A1’: p~~>~q=p*~q=0 - fałszywy kontrprzykład A1’ wymusza prawdziwy A1
B2:~p=>~q=0 - fałszywy B2 wymusza prawdziwy kontrprzykład B2’ (i odwrotnie)
B2’:~p~~>q =~p*q=1 - prawdziwy kontrprzykład B2’ wymusza fałszywy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Definicja warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>

Stąd mamy definicję implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+):
p|=>q = (A1: p=>q)*~(B1: p~>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q

Stąd mamy definicję implikacji odwrotnej ~p|~>~q w spójnikach „i”(*) i „lub”(+):
~p|~>~q = (A2: ~p~>~q)*~(B2:~p=>~q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q
Stąd mamy:
Na mocy definicji zachodzi tożsamość logiczna <=>:
Implikacja prosta p|=>q=~p*q <=> implikacja odwrotna ~p|~>~q = ~p*q

8.1.2 Obietnica Chrystusa

Chrystus wypowiada obietnicę:
A1.
Kto wierzy we mnie (W=1) będzie zbawiony (Z=1)
W=>Z =1
Wiara w Boga (W=1) jest warunkiem wystarczającym => dla zbawienia (Z=1)

Zdanie A1 to obietnica będąca częścią implikacji prostej W|=>Z na mocy definicji obietnicy.
Podstawmy w tabeli T2 pod parametry formalne p i q parametry aktualne W i Z z naszego zdania A1.
Podstawiamy:
p=W (wierzy)
q=Z (zbawiony)
Stąd mamy tabelę T3 z naniesionymi parametrami aktualnymi W i Z.
Kod:

T3
Związki warunku wystarczającego => i koniecznego ~> w W|=>Z
       AB12:                      |     AB34:
A:  1: p=>q  =1 = 2:~p~>~q=1     [=] 3: q~>p  =1 = 4:~q=>~p =1
A:  1: W=>Z  =1 = 2:~W~>~Z=1     [=] 3: Z~>W  =1 = 4:~Z=>~W =1
A’: 1: p~~>~q=0 =                [=]             = 4:~q~~>p =0
A’: 1: W~~>~Z=0 =                [=]             = 4:~Z~~>W =0
       ##            ##           |     ##            ##
B:  1: p~>q  =0 = 2:~p=>~q=0     [=] 3: q=>p  =0 = 4:~q~>~p =0
B:  1: W~>Z  =0 = 2:~W=>~Z=0     [=] 3: Z=>W  =0 = 4:~Z~>~W =0
B’:             = 2:~p~~>q=1     [=] 3: q~~>~p=1
B’:             = 2:~W~~>Z=1     [=] 3: Z~~>~W=1
---------------------------------------------------------------
    p|=>q=~p*q  = ~p|~>~q=~p*q   [=]  q|~>p=q*~p = ~q|=>~p=q*~p
    W|=>Z=~W*Z  = ~W|~>~Z=~W*Z   [=]  Z|~>W=Z*~W = ~Z|=>~W=Z*~W
Gdzie:
## - różne na mocy definicji
A1: W=>Z=1 - prawdziwy A1 wymusza fałszywy kontrprzykład A1’ (i odwrotnie)
A1’: W~~>~Z=W*~Z=0 - fałszywy kontrprzykład A1’ wymusza prawdziwy A1
B2:~W=>~Z=0 - fałszywy B2 wymusza prawdziwy kontrprzykład B2’ (i odwrotnie)
B2’:~W~~>Z =~W*Z=1 - prawdziwy kontrprzykład B2’ wymusza fałszywy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia


Doskonale widać, że obsługę obietnicy W=>Z w czasie przyszłym mamy tu wyłącznie w części AB12.
Część AB34 to obsługa obietnicy W=>Z w czasie przeszłym, tą częścią tabeli zajmiemy się za chwilę, po zrozumieniu części AB12.

Definicja operatora implikacyjnego:
Operator implikacyjny to operator wyrażony dokładnie czteroma zdaniami warunkowymi „Jeśli p to q” które uwzględniają wszystkie możliwe przeczenia p i q w tym samym kierunku.

Aksjomatyczną definicję implikacji prostej W|=>Z z której wynika tabela zero-jedynkowa spójnika warunku wystarczającego => mamy tu jak na dłoni w obszarze AB12.

Definicja implikacji prostej W|=>Z to odpowiedź na dwa pytania 1 i 2.
Odpowiedź na te pytania mamy w obszarze AB12.
1.
Co się stanie z człowiekiem który wierzy (W=1)?

Odpowiedź na to pytanie mamy w kolumnie A12, to zdania A1 i A1’
Chrystus:
A1.
Kto wierzy we mnie (W=1) na 100% => będzie zbawiony (Z=1)
W=>Z =1
Kto wierzy w Boga na 100% => zostanie zbawiony z powodu wiary w Boga.
Wiara w Boga jest warunkiem wystarczającym => dla zbawienia
Wiara w Boga daje nam gwarancję matematyczną => zbawienia
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>
Kontrprzykład A1’ dla warunku wystarczającego => A1 musi być fałszem.
A1’
Kto wierzy we mnie może ~~> nie zostać zbawiony
W~~>~Z = W*~Z =0
Niemożliwe jest (=0) zdarzenie: człowiek wierzy (W=1) i nie zostaje zbawiony (~Z=1).
Wykluczone jest (=0) aby Bóg, wierzącego w niego człowieka nie zbawił.
Zauważmy, że człowiek w swoich obietnicach typu A1 ma prawo do kłamstwa (oszuści z tego korzystają), czyli może ustawić jedynkę w zdaniu A1. Bóg nie prawa do kłamstwa, czyli nie ma prawa ustawić w zdaniu A1 logicznej jedynki, z czego wynika że ma mniejszą „wolną wolę” od człowieka.

2.
Co się stanie z człowiekiem który nie wierzy (~W=1)?

Odpowiedź na to pytanie mamy w kolumnie B12, to zdania A2 i B2’
Prawo Kubusia:
A1: W=>Z = A2: ~W~>~Z
Człowiek do Chrystusa:
… a jak kto nie wierzy Panie?
Chrystus:
A2.
Kto nie wierzy we mnie (~W=1) nie będzie zbawiony (~Z=1)
~W~>~Z =1
Brak wiary w Boga (~W=1) jest warunkiem koniecznym dla nie zbawienia (~Z=1), bo jak kto wierzy (W=1) to na 100% => zostanie zbawiony (Z=1)
Prawo Kubusia samo nam tu wyskoczyło:
A2: ~W~>~Z = A1: W=>Z
LUB
B2’
Kto nie wierzy we mnie (~W=1) może ~~> zostać zbawiony (Z=1)
~W~~>Z = ~W*Z =1
Możliwe jest (=1) zdarzenie: człowiek nie wierzy (~W=1) i zostaje zbawiony (Z=1)
Taką możliwość mamy na mocy definicji obietnicy W=>Z wchodzącej w skład implikacji prostej W|=>Z, tu nic a nic nie musimy udowadniać.
Zdanie B2’ to piękny akt miłości z punktu widzenia obietnicy A1: W=>Z:
Na mocy zdania B2’ Bóg ma możliwość zbawienia nie wierzącego w niego człowieka i matematycznym kłamcą nie jest.
To jest prawo do wręczenia nagrody (zbawienie) mimo że odbiorca nie spełnił warunku nagrody (nie wierzył).
Zdanie B2’ to również akt łaski w stosunku do groźby A2: ~W~>~Z:
Jeśli człowiek spełni warunek kary (nie wierzy: ~W=1) to Chrystus ma prawo darować karę zależną od niego, czyli mimo wszystko zbawić nieszczęśnika.
To jest powszechnie znane prawo matematyczne wśród istot żywych:
Nadawca ma prawo do darowania dowolnej kary zależnej od niego:

Przykład 1:
Chrystus:
Zaprawdę, powiadam ci, jeszcze dziś będziesz ze Mną w raju. (Łk 23, 43)

Przykład 2:
Jan Paweł II i Ali Agca
Zauważmy, że prywatnie JPII wybaczył Ali Agcy zamach na swoje życie, nie ma jednak prawa do zmiany ustawodawstwa które za taki czyn karze więzieniem, bez względu na to czy poszkodowany wybaczył zamachowcowi, czy nie wybaczył.

Podsumowanie:
Mamy obietnicę Chrystusa:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1

Przypadek 1.
Zauważmy, że wypowiadając obietnicę A1 Chrystus pozbawia się „wolnej woli” w sensie absolutnym (wszystko może się zdarzyć) bowiem wierzącego w niego człowieka musi wpuścić do nieba - nie może posłać do piekła.
Zauważmy, że „wolnej woli” w sensie absolutnym (wszystko może się zdarzyć) Chrystus pozbawił się dobrowolnie wypowiadając obietnicę A1.
Nie ma tu zatem mowy o ograniczeniu rzeczywistej „wolnej woli” Chrystusa.

… a jak kto nie wierzy?
Przypadek 2.
A2.
Kto nie wierzy we mnie (~W=1) nie będzie zbawiony (~Z=1)
~W~>~Z =1
Brak wiary w Boga (~W=1) jest warunkiem koniecznym dla nie zbawienia (~Z=1), bo jak kto wierzy (W=1) to na 100% => zostanie zbawiony (Z=1)
LUB
B2’
Kto nie wierzy we mnie (~W=1) może ~~> zostać zbawiony (Z=1)
~W~~>Z = ~W*Z =1
Zauważmy, że w przypadku człowieka nie wierzącego (~W=1) Chrystus nie ma szans na matematyczne kłamstwo.
Cokolwiek nie zrobi to nie skłamie.
Innymi słowy:
Nie wierzącego w niego człowieka może posłać do piekła na mocy zdania A2 (wtedy prawdziwe będzie A2 i fałszywe B2’) albo posłać do nieba na mocy zdania B2’ (tu prawdziwe będzie zdanie B2’ i fałszywe A2)
W skrajnym przypadku Chrystus może zbawić wszystkich ludzi (nawet Hitlera) i nie będzie matematycznym kłamcą. W tym przypadku zdanie B2’ będzie prawdą absolutną (zbawieni wszyscy) natomiast zdanie A2 będzie fałszem absolutnym (nie ma nikogo w piekle)

Wiedzą o tym filozofowie, wystarczy kliknąć na googlach:
powszechne zbawienie
Wyników: 601 000
Przykład:
[link widoczny dla zalogowanych]

Na zakończenie zauważmy, że groźba B2’ może być wypowiedziana w dowolnie ostrej formie na przykład tak:
A2.
Kto nie wierzy we mnie (~W=1) na 100% ~> nie będzie zbawiony (~Z=1)
~W~>~Z =1
Na mocy definicji dowolną groźbę musimy kodować warunkiem koniecznym ~> A2 z możliwością darowania kary w zdaniu B2’.
Nawet osławiony „grzech przeciwko Duchowi Świętemu” również musimy kodować warunkiem koniecznym A2: ~W~>~Z wchodzącym w skład implikacji odwrotnej ~W|~>~Z, czyli z prawem Chrystusa do darowania dowolnej kary zależnej od niego - obejmuje to także grzech przeciwko Duchowi Świętemu, inaczej „wolna wola” Chrystusa, czyli prawo do darowania dowolnej kary zależnej od niego, leży w gruzach.

Stąd mamy wyprowadzoną definicję groźby.

Definicja groźby:
Jeśli dowolny warunek W to kara K
W~>K =1
Groźba to warunek konieczny W~>K wchodzący w skład implikacji odwrotnej W|~>K
Tu nic a nic nie musimy udowadniać. W groźbie mamy zdeterminowaną serię czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q w tym samym kierunku.


8.1.3 Groźba Chrystusa

Wyprowadziliśmy ciut wyżej definicję ogólną groźby.

Definicja groźby:
Jeśli dowolny warunek W to kara K
W~>K =1
Groźba to warunek konieczny W~>K wchodzący w skład implikacji odwrotnej W|~>K

Załóżmy, że Chrystus wypowiada zdanie:
A2.
Kto nie wierzy we mnie (~W=1) na 100% ~> nie zostanie zbawiony (~Z=1)
~W~>~Z =1
Brak zbawienia to kara, zatem zdanie A2 musimy kodować warunkiem koniecznym A2:~W~>~Z wchodzącym w skład implikacji odwrotnej ~W|~>~Z.
Brak wiary jest warunkiem koniecznym ~> dla nie zbawienia, ale nie wystarczającym => bo Chrystus, identycznie jak człowiek, ma prawo do darowania dowolnej kary zależnej od niego zdaniem B2’.
LUB
B2’
Kto nie wierzy we mnie (~W=1) może ~~> zostać zbawiony (Z=1)
~W~~>Z = ~W*Z =1
Zauważmy, że w przypadku człowieka nie wierzącego (~W=1) Chrystus nie ma szans na matematyczne kłamstwo.
Cokolwiek nie zrobi to nie skłamie.

.. a jak kto wierzy Panie?
Prawo Kubusia:
Prawo Kubusia:
A2: ~W~>~Z = A1: W=>S
stąd:
A1.
Kto wierzy we mnie (W=1) na 100% => będzie zbawiony (Z=1)
W=>Z =1
Kto wierzy w Boga na 100% => zostanie zbawiony z powodu wiary w Boga.
Wiara w Boga jest warunkiem wystarczającym => dla zbawienia
Kontrprzykład A1’ dla warunku wystarczającego => A1 musi być fałszem.
A1’
Kto wierzy we mnie może ~~> nie zostać zbawiony
W~~>~Z = W*~Z =0
Niemożliwe jest (=0) zdarzenie: człowiek wierzy (W=1) i nie zostaje zbawiony (~Z=1)
Wykluczone jest (=0) aby Bóg, wierzącego w niego człowieka nie zbawił.

Podsumowanie:
Groźba Chrystusa:
A2.
Kto nie wierzy we mnie (~W=1) na 100% ~> nie zostanie zbawiony (~Z=1)
~W~>~Z =1
Każda groźba, na mocy definicji jest częścią implikacji odwrotnej ~W|~>~Z.

Definicja implikacji odwrotnej ~W|~>~Z:
Implikacja odwrotna ~W|~>~Z to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku
A2: ~W~>~Z =1 - brak wiary jest (=1) warunkiem koniecznym ~> dla nie zbawienia
B2: ~W=>~Z =0 - brak wiary nie jest (=0) warunkiem wystarczającym => dla nie zbawienia
bo zarówno Chrystus, jak i człowiek mają prawo do darowania dowolnej kary
zależnej od nadawcy - na mocy definicji groźby.
Stąd mamy implikację odwrotną ~W|~>~Z w równaniu logicznym:
~W|~>~Z = (A2: ~W~>~Z)*~(B2: ~W=>~Z) = 1*~(0) = 1*1 =1

Matematycznie zachodzi tożsamość logiczna <=> implikacji:
Implikacja prosta W|=>Z =~W*Z <=> Implikacja odwrotna ~W|~>~Z = ~W*Z

Z powyższego wynika że implikacja odwrotna ~W|~>~Z będzie opisana identyczną tabelą związków warunków wystarczających => i koniecznych ~> jak implikacja prosta W|=>Z.
Kod:

T3
Związki warunku wystarczającego => i koniecznego ~> w ~W|~>~Z
       AB12:                      |     AB34:
A:  1: p=>q  =1 = 2:~p~>~q=1     [=] 3: q~>p  =1 = 4:~q=>~p =1
A:  1: W=>Z  =1 = 2:~W~>~Z=1     [=] 3: Z~>W  =1 = 4:~Z=>~W =1
A’: 1: p~~>~q=0 =                [=]             = 4:~q~~>p =0
A’: 1: W~~>~Z=0 =                [=]             = 4:~Z~~>W =0
       ##            ##           |     ##            ##
B:  1: p~>q  =0 = 2:~p=>~q=0     [=] 3: q=>p  =0 = 4:~q~>~p =0
B:  1: W~>Z  =0 = 2:~W=>~Z=0     [=] 3: Z=>W  =0 = 4:~Z~>~W =0
B’:             = 2:~p~~>q=1     [=] 3: q~~>~p=1
B’:             = 2:~W~~>Z=1     [=] 3: Z~~>~W=1
---------------------------------------------------------------
    p|=>q=~p*q  = ~p|~>~q=~p*q   [=]  q|~>p=q*~p = ~q|=>~p=q*~p
    W|=>Z=~W*Z  = ~W|~>~Z=~W*Z   [=]  Z|~>W=Z*~W = ~Z|=>~W=Z*~W
Gdzie:
## - różne na mocy definicji
A1: W=>Z=1 - prawdziwy A1 wymusza fałszywy kontrprzykład A1’ (i odwrotnie)
A1’: W~~>~Z=W*~Z=0 - fałszywy kontrprzykład A1’ wymusza prawdziwy A1
B2:~W=>~Z=0 - fałszywy B2 wymusza prawdziwy kontrprzykład B2’ (i odwrotnie)
B2’:~W~~>Z =~W*Z=1 - prawdziwy kontrprzykład B2’ wymusza fałszywy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia


Podsumowanie:
Kod:

T4
AB12 - implikacja prosta W|=>Z
Implikacja prosta W|=>Z to odpowiedź na dwa pytania 1 i 2:
1.
Co się stanie z wierzącymi (W=1)?
A1:  W=>Z =1 - kto wierzy (W=1) ma gwarancję => zbawienia (Z=1)
A1’: W~~>~Z=0 - zakaz posyłania wierzących (W=1) do piekła (~Z=1)
2.
Co się stanie z niewierzącymi (~W=1)?
A2: ~W~>~Z =1 - brak wiary jest warunkiem koniecznym ~> dla nie zbawienia
                Bóg może ~> umieścić niewierzącego w piekle
LUB
B2’:~W~~>Z =1 - prawo do darowania dowolnej kary zależnej od nadawcy
                Bóg może ~~> wybaczyć brak wiary (~W=1) i wpuścić do nieba

Kod:

T4
AB12 - implikacja odwrotna ~W|~>~Z
Implikacja odwrotna to odpowiedź na dwa pytania 2 i 1:
2.
Co się stanie z niewierzącymi (~W=1)?
A2: ~W~>~Z =1 - brak wiary jest warunkiem koniecznym ~> dla nie zbawienia
                Bóg może ~> umieścić niewierzącego w piekle
LUB
B2’:~W~~>Z =1 - prawo do darowania dowolnej kary zależnej od nadawcy
                Bóg może ~~> wybaczyć brak wiary (~W=1) i wpuścić do nieba
1.
Co się stanie z wierzącymi (W=1)?
A1:  W=>Z =1 - kto wierzy (W=1) ma gwarancję => zbawienia (Z=1)
A1’: W~~>~Z=0 - zakaz posyłania wierzących (W=1) do piekła (~Z=1)

Doskonale widać, że zdania warunkowe A1, A1’, A2 i B2’ w tabelach T4 i T5 są identyczne z dokładnością do każdej literki i każdego przecinka.
Matematycznie, zdania w tabelach T4 i T5 możemy wypowiadać w dowolnej (losowej) kolejności, to bez znaczenia.
Wynika z tego że implikacja prosta W|=>Z jest tożsama z implikacją odwrotną ~W|~>~Z co potwierdzają prawa rachunku zero-jedynkowego:
Implikacja prosta W|=>Z=~W*Z <=> implikacja odwrotna ~W|~>~Z = ~W*Z
cnd

8.1.4 Historyczne zdanie Chrystusa

Historyczne zdanie Chrystusa to połącznie w jedynym zdaniu obietnicy W=>Z i groźby ~W~>~Z

Weźmy na tapetę to historyczne zdanie:
[link widoczny dla zalogowanych]
Biblia Tysiąclecia napisał:

Kto uwierzy i przyjmie chrzest, będzie zbawiony; a kto nie uwierzy, będzie potępiony
MK16

Zachodzi tożsamość matematyczna pojęć:
Kara:
potępiony = nie zbawiony = piekło
Nagroda:
zbawiony = niebo
stąd:

Zdanie matematycznie tożsame:
A1A2:
Kto wierzy we mnie będzie zbawiony a kto nie wierzy nie będzie zbawiony
A1A2: (A1: W=>Z)*(A2: ~W~>~Z) =1*1 =1

Wyjaśnienie:
I.
Pierwsza część zdania to obietnica którą musimy kodować warunkiem wystarczającym =>:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1 - wiara jest warunkiem wystarczającym => dla zbawienia
II.
Druga część zdania to groźba którą musimy kodować warunkiem koniecznym ~>:
A2.
Kto nie wierzy we mnie, nie będzie zbawiony
~W~>~Z =1 - brak wiary jest (=1) warunkiem koniecznym ~> dla nie zbawienia

Analiza zdania złożonego A1A2:

Prawo Kubusia:
A1: W=>Z = A2: ~W~>~Z
Na mocy prawa Kubusia ze zdania A1A2 możemy wyrugować zdanie A2:~W~>~Z:
A1A2: (A1: W=>Z)*(A2: ~W~>~Z) = (A1: W=>Z)*(A1: W=>Z) = A1: W=>Z
Wynika z tego, że zdanie tożsame do zdania A1A2 brzmi:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1 - wiara jest warunkiem wystarczającym => dla zbawienia

Podobnie:
Prawo Kubusia:
A1: W=>Z = A2: ~W~>~Z
Na mocy prawa Kubusia ze zdania A1A2 możemy wyrugować zdanie A1: W=>Z:
A1A2: (A1: W=>Z)*(A2: ~W~>~Z) = (A2:~W~>~Z)*(A2:~W~>~Z) = A2: ~W~>~Z
Wynika z tego, że zdanie tożsame do zdania A1A2 brzmi:
A2.
Kto nie wierzy we mnie nie będzie zbawiony
~W~>~Z =1 - brak wiary jest (=1) warunkiem koniecznym ~> dla nie zbawienia

Z powyższego wynika, że zachodzi tożsamość logiczna zdań:
A1A2: (A1: W=>Z)*(A2:~W~>~Z) = A1: W=>Z = A2: ~W~>~Z
to samo w zapisie formalnym:
W=p
Z=q
A1A2: (A1: p=>q)*(A2:~p~>~q) = A1: p=>q = A2: ~p~>~q

Dowód zachodzących tożsamości logicznych w rachunku zero-jedynkowym:

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

stąd mamy:
A2: ~p~>~q = ~p+~(~q) = ~p+q = A1: p=>q
cnd
oraz:
A1A2: (A1: p=>q)*(A2:~p~>~q) = (A1: p=>q)*(A1: p=>q) = A1: p=>q = ~p+q

Historyczne wnioski:

Jest kompletnie bez znaczenia które ze zdań wypowie Chrystus A1A2, A1 czy też A2 bowiem te zdania są matematycznie tożsame.
A1A2:
Kto wierzy we mnie będzie zbawiony a kto nie wierzy nie będzie zbawiony
A1A2: (A1: W=>Z)*(A2: ~W~>~Z) =1*1 =1

A1A2 = A1
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1 - wiara jest warunkiem wystarczającym => dla zbawienia

A1A2=A1=A2
A2.
Kto nie wierzy we mnie nie będzie zbawiony
~W~>~Z =1 - brak wiary jest (=1) warunkiem koniecznym ~> dla nie zbawienia

Bez względu które ze zdań wypowie Chrystus to końcowy skutek w postaci czterech zdań warunkowych A1, A1’, A2 i B2’ wchodzących w skład implikacji prostej W|=>Z będzie identyczny.
Kod:

T4
AB12 - implikacja prosta W|=>Z
Implikacja prosta W|=>Z to odpowiedź na dwa pytania 1 i 2:
1.
Co się stanie z wierzącymi (W=1)?
A1:  W=>Z =1 - kto wierzy (W=1) ma gwarancję => zbawienia (Z=1)
A1’: W~~>~Z=0 - zakaz posyłania wierzących (W=1) do piekła (~Z=1)
2.
Co się stanie z niewierzącymi (~W=1)?
A2: ~W~>~Z =1 - brak wiary jest warunkiem koniecznym ~> dla nie zbawienia
                Bóg może ~> umieścić niewierzącego w piekle
LUB
B2’:~W~~>Z =1 - prawo do darowania dowolnej kary zależnej od nadawcy
                Bóg może ~~> wybaczyć brak wiary (~W=1) i wpuścić do nieba



8.2 Prawo transformacji

Definicja transformacji:
Transformacja to uwzględnienie zależności przyczynowo skutkowych w logice matematycznej

Zauważmy, że każda obietnica jest naturalnym zdarzeniem przyczynowo skutkowym dotyczącym tylko i wyłącznie w przyszłości, bowiem w obietnicy typu p=>q nie można zamienić przyczyny p ze skutkiem q w czasie przyszłym.

Przykład obietnicy w czasie przyszłym:
A1.
Jeśli jutro będzie padało (P=1) to na 100% => otworzę parasolkę (P=1)
Innymi słowy:
Jeśli zajdzie przyczyna (będzie padało) to nastąpi skutek (otworzę parasolkę)
P=>OP =1
Padanie w dniu jutrzejszym jest warunkiem wystarczającym => do tego abym otworzył parasolkę

Dlaczego w obietnicy A1 nie wolno zamieniać poprzednika p z następnikiem q?
Prawo kontrapozycji:
A1: p=>q = A4: ~q=>~p

Nasz przykład:
A1: P=>OP = A4: ~OP=>~P

Czytamy zdanie A4 w czasie przyszłym:
A4.
Jeśli jutro nie otworzę parasolki (~OP=1) to na 100% => nie będzie padało (~P=1)
~OP=>~P =?
Brak otwarcia parasolki w dniu jutrzejszym jest warunkiem wystarczającym => do tego aby jutro nie padało

Mam nadzieję, że wszyscy już zrozumieli dlaczego w obietnicy nie wolno zamieniać poprzednika z następnikiem.

…ale, ale!
Czyżby to było równoznaczne z obaleniem matematycznej świętości, prawa kontrapozycji?

Oczywiście NIE!

Prawo transformacji:
Wszelkie zdania warunkowe przyczynowo skutkowe „Jeśli p to q” w czasie przyszłym, po zamianie p i q transformują się do czasu przeszłego.

Zróbmy restart naszej analizy:
A1.
Jeśli jutro będzie padało (P=1) to na 100% => otworzę parasolkę (P=1)
Innymi słowy:
Jeśli zajdzie przyczyna (będzie padało) to nastąpi skutek (otworzę parasolkę)
P=>OP =1
Padanie w dniu jutrzejszym jest warunkiem wystarczającym => do tego abym otworzył parasolkę

Prawo kontrapozycji:
A1: p=>q = A4: ~q=>~p
Nasz przykład:
A1: P=>OP = A4: ~OP=>~P

Na mocy prawa transformacji zdanie A4 musimy czytać w czasie przeszłym:
A4.
Jeśli wczoraj nie otworzyłem parasolki to na 100% => nie padało
~OP=>~P =1

Jak widzimy teraz wszystko gra i buczy, logika matematyczna obowiązująca w naszym Wszechświecie została uratowana w banalnie prosty sposób.

8.2.1 Prawo transformacji w obietnicy Chrystusa

Chrystus:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
Wiara w Boga daje nam gwarancję matematyczną zbawienia

Spójrzmy na obietnicę Chrystusa z punktu widzenia prawa transformacji.
Przypomnijmy sobie definicję implikacji prostej W|=>Z w warunkach wystarczających => i koniecznych ~>.
Kod:

T3
Związki warunku wystarczającego => i koniecznego ~> w ~W|~>~Z
       AB12:                      |     AB34:
       Przyszłość/przeszłość      |     Przeszłość       
    ----------------------------------------------------------
A:  1: p=>q  =1 = 2:~p~>~q=1     [=] 3: q~>p  =1 = 4:~q=>~p =1
A:  1: W=>Z  =1 = 2:~W~>~Z=1     [=] 3: Z~>W  =1 = 4:~Z=>~W =1
A’: 1: p~~>~q=0 =                [=]             = 4:~q~~>p =0
A’: 1: W~~>~Z=0 =                [=]             = 4:~Z~~>W =0
       ##            ##           |     ##            ##
B:  1: p~>q  =0 = 2:~p=>~q=0     [=] 3: q=>p  =0 = 4:~q~>~p =0
B:  1: W~>Z  =0 = 2:~W=>~Z=0     [=] 3: Z=>W  =0 = 4:~Z~>~W =0
B’:             = 2:~p~~>q=1     [=] 3: q~~>~p=1
B’:             = 2:~W~~>Z=1     [=] 3: Z~~>~W=1
---------------------------------------------------------------
    p|=>q=~p*q  = ~p|~>~q=~p*q   [=]  q|~>p=q*~p = ~q|=>~p=q*~p
    W|=>Z=~W*Z  = ~W|~>~Z=~W*Z   [=]  Z|~>W=Z*~W = ~Z|=>~W=Z*~W
Gdzie:
## - różne na mocy definicji
A1: W=>Z=1 - prawdziwy A1 wymusza fałszywy kontrprzykład A1’ (i odwrotnie)
A1’: W~~>~Z=W*~Z=0 - fałszywy kontrprzykład A1’ wymusza prawdziwy A1
B2:~W=>~Z=0 - fałszywy B2 wymusza prawdziwy kontrprzykład B2’ (i odwrotnie)
B2’:~W~~>Z =~W*Z=1 - prawdziwy kontrprzykład B2’ wymusza fałszywy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia


Prawo transformacji:
Wszelkie zdania warunkowe przyczynowo skutkowe „Jeśli p to q” w czasie przyszłym, po zamianie p i q transformują się do czasu przeszłego (obszar AB34).
Wszelkie zdania warunkowe przyczynowo skutkowe „Jeśli p to q” bez zamiany p i q prawdziwe są zarówno w czasie przyszłym (obszar AB12) jak i w czasie przeszłym (obszar AB12).

Zobaczmy jak to działa prawo transformacji na przykładzie obietnicy Chrystusa.
Chrystus:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z =1 - wiara w Boga jest warunkiem wystarczającym => dla zbawienia.
p=>q =1
Zdanie startowe, punkt odniesienia:
p=W
q=Z
W całej dalszej analizie nie wolno nam zmienić tego punktu odniesienia!

Doskonale widać, że obsługę obietnicy W=>Z w czasie przyszłym mamy tu wyłącznie w części AB12.
Obsługę obietnicy W=>Z w czasie przeszłym bez zamiany przyczyny (wierzy) ze skutkiem (zbawiony) również mamy w obszarze AB12.
Część AB34 to obsługa obietnicy po zamianie przyczyny (wierzy) ze skutkiem (zbawiony) prawdziwa wyłącznie w czasie przeszłym.

Definicja operatora implikacyjnego:
Operator implikacyjny to operator wyrażony dokładnie czteroma zdaniami warunkowymi „Jeśli p to q” które uwzględniają wszystkie możliwe przeczenia p i q w tym samym kierunku.

Aksjomatyczną definicję implikacji prostej W|=>Z z której wynika tabela zero-jedynkowa spójnika warunku wystarczającego => mamy tu jak na dłoni w obszarze AB12.

Przypadek I
Obszar AB12:
Czas teraźniejszy, X jest żywy, wśród nas:


Definicja implikacji prostej W|=>Z to odpowiedź na dwa pytania 1 i 2.
Odpowiedź na te pytania mamy w obszarze AB12.
1.
Co się stanie z X-sem który wierzy (W=1)?

Odpowiedź na to pytanie mamy w kolumnie A12, to zdania A1 i A1’
A1.
Jeśli X wierzy to na 100% => zostanie zbawiony
W=>Z =1
p=>q =1
Wiara w Boga jest warunkiem wystarczającym => dla zbawienia
Kontrprzykład A1’ dla warunku wystarczającego => A1 musi być fałszem
A1’
Jeśli X wierzy to może ~~> nie zostać zbawiony
W~~>~Z = W*~Z =0
p~~>~q = p*~q =0
Niemożliwe jest (=0) zdarzenie: człowiek wierzy (W=1) i nie zostaje zbawiony (~Z=1) bowiem Bóg z definicji nie ma prawa do kłamstwa.

2.
Co się stanie z X-sem który nie wierzy (~W=1)?

Odpowiedź na to pytanie mamy w kolumnie B12, to zdania A2 i B2’
Prawo Kubusia:
A1: W=>Z = A2: ~W~>~Z
A1: p=>q = A2:~p~>~q
Stąd:
A2.
Jeśli X nie wierzy to może ~> nie zostać zbawiony
~W~>~Z =1
~p~>~q =1
Brak wiary w Boga (~W=1) jest warunkiem koniecznym dla nie zbawienia (~Z=1), bo jak kto wierzy (W=1) to na 100% => zostanie zbawiony (Z=1)
Prawo Kubusia samo nam tu wyskoczyło:
A2: ~W~>~Z = A1: W=>Z
LUB
B2’
Jeśli X nie wierzy to może ~~> zostać zbawiony
~W~~>Z = ~W*Z =1
Możliwe jest (=1) zdarzenie: człowiek nie wierzy (~W=1) i zostaje zbawiony (Z=1)
Taką możliwość mamy na mocy definicji obietnicy W=>Z wchodzącej w skład implikacji prostej W|=>Z, tu nic a nic nie musimy udowadniać.
Zdanie B2’ to piękny akt miłości z punktu widzenia obietnicy A1: W=>Z tożsamy z aktem łaski z punktu widzenia groźby A2: ~W~>~Z.

Przypadek II
Czas przeszły, X umarł 10 lat temu:

Czas przeszły bez zamiany p (przyczyna) z q (skutek) opisuje identyczna seria zdań jak wyżej lecz wypowiadanych w czasie przeszłym - z tego powodu do zdań niżej dodajemy na końcu literkę P sygnalizującą czas przeszły.
A1P.
Jeśli X wierzył w Boga to na pewno => został zbawiony
W=>Z =1
p=>q =1
Wiara w Boga jest warunkiem wystarczającym => dla zbawienia
Kontrprzykład A1P’ dla prawdziwego warunku wystarczającego A1P musi być fałszem.
A1P.
Jeśli X wierzył w Boga to mógł ~~> nie zostać zbawiony
W~~>~Z = W*~Z =0
Nie jest możliwe (=0), że wierzący X nie został zbawiony jeśli wierzył w Boga, na mocy gwarancji matematycznej A1: W=>Z =1

… a jeśli kto nie wierzył?
Prawo Kubusia działa zawsze, niezależnie od czasu:
A1P: W=>Z = A2P: ~W~>~Z
A2P.
Jeśli X nie wierzył w Boga to mógł ~> nie zostać zbawiony
~W~>~Z =1
~p~>~q =1
Brak wiary jest warunkiem koniecznym ~> dla nie zbawienia, mogło się zatem zdarzyć że że niewierzący X wylądował w piekle (nie został zbawiony: ~Z=1)
LUB
B2P’.
Jeśli X nie wierzył w Boga to mógł ~~> zostać zbawiony
~W~~>Z = ~W*Z =1
~p~~>q = ~p*q =1

Przypadek III
Czas przeszły z zamianą p i q, X umarł 10 lat temu:


W obietnicy A1: W=>Z po zamianie p i q obowiązuje nas prawo transformacji, czyli zdanie A3: Z~>W prawdziwe jest wyłącznie w czasie przeszłym.

Idziemy do obszaru AB34:
A3.
Jeśli X został zbawiony (Z=1) to mógł ~> wierzyć (W=1)
Z~>W =1
q~>p =1
Wszyscy wierzący mają gwarancję matematyczną => zbawienia na mocy obietnicy A1: W=>Z, zatem jeśli X został zbawiony to mógł wierzyć.
LUB
B3’.
Jeśli X został zbawiony to mógł ~~> nie wierzyć
Z~~>~W =1
q~~>~p =1
Jest taka możliwość, tu Chrystus skorzystał z aktu łaski (zdanie B2’:~W~~>Z =1) w stosunku do X-a, czyli X nie wierzył (~W=1) a mimo wszystko został zbawiony (Z=1).

… a jeśli X nie został zbawiony?
Prawo Kubusia działające także w czasie przeszłym:
A3: q~>p = A4:~q=>~p
A3: Z~>W = A4: ~Z=>~W
A4.
Jeśli X nie został zbawiony to na 100% => nie wierzył
~Z=>~W =1
~q=>~p =1
Wszyscy wierzący mają gwarancję matematyczną zbawienia A1: W=>Z =1, zatem jeśli X nie został zbawiony to na 100% => nie wierzył
Kontrprzykład A4’ do prawdziwego warunku wystarczającego A4 musi być fałszem.
A4’.
Jeśli X nie został zbawiony to mógł ~~> wierzyć
~Z~~>W = ~Z*W =0
Nie jest możliwe (=0), aby ktoś wierzył i nie został zbawiony, bo wszyscy wierzący mają gwarancję matematyczną zbawienia A1: W=>Z =1


8.3 Definicja „wolnej woli”

Definicja wolnej woli:
Wolna wola to możliwość gwałcenia wszelkich praw logiki matematycznej obowiązujących w świecie martwym.

Z definicji wynika, że o „wolnej woli” możemy mówić wyłącznie w stosunku do świata żywego. Z powyższej definicji wynika, że „wolną wolę” mają wszelkie istoty żywe.

Powyższa definicja „wolnej woli” jest absolutnie banalna i na 100% prawdziwa.

Pokazuję i objaśniam.

Matematyka:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2 =1
Definicja warunku wystarczającego => jest (=1) spełniona bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Podzielność dowolnej liczby przez 8 daje nam gwarancję matematyczną => jej podzielności przez 2
Matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => = gwarancja matematyczna =>

Kontrprzykład A1’ dla warunku wystarczającego A1 musi być fałszem:
A1’
Jeśli dowolna liczba jest podzielna przez 8 to może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =[] =0
Definicja elementu wspólnego zbiorów nie jest (=0) spełniona bo zbiory P8=[8,16,24..] i ~P2=[1,3,5,7,9..] są rozłączne

Świat martwy:
A2.
Jeśli jutro będzie padało to będzie pochmurno
P=>CH =1
Padanie jest (=1) warunkiem wystarczającym => dla istnienia chmur
Padanie daje nam gwarancję matematyczną => istnienia chmur
Matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => = gwarancja matematyczna =>

Kontrprzykład A2’ dla warunku wystarczającego A2 musi być fałszem:
A2’
Jeśli jutro będzie padało to może ~~> nie być pochmurno
P~~>~CH = P*~CH =[] =0
Nie jest możliwe (=0) zdarzenie: pada (P) i nie ma chmur (~CH) … o czym każdy 5-cio latek wie.

Jest oczywistym, że powyższe gwarancje matematyczne => nie mogą być złamane tzn. świat matematyki i świat martwy nie jest w stanie złamać tych gwarancji bo nie ma „wolnej woli”!

Zobaczmy teraz jak jest z identyczną gwarancją matematyczną => w świecie żywym.

Kowalski do Maliniaka:
A3.
Jeśli pożyczysz mi 100 tys złotych to za rok oddam ci 130tys złotych
P100=>O130 =1
Innymi słowy:
Kowalski daje Maliniakowi gwarancję matematyczną => 30% zysku w skali roku pod warunkiem że Maliniak zainwestuje te 100tys.
Kontrprzykład A3’ dla warunku wystarczającego => A3 musi być fałszem.
A3.
Jeśli pożyczysz mi 100 tys złotych to za mogę ~~> nie oddać ci 130tys złotych
P100~~>~O130 = P100*~O130 =0
Zakaz (=0) nie dotrzymania obietnicy A3

Pytanie:
Czy gwarancja matematyczna => A3 ma identyczną pewność absolutną jak w przypadku gwarancji matematycznej A1, czy też fizycznej A2?
Odpowiedź: NIE!
Jest oczywistym, że Kowalski może tu kłamać do woli, zatem może gwałcić identyczną gwarancję matematyczną => jak w świecie matematyki A1, czy też w świecie martwym A2
Zgwałcenie gwarancji matematycznej A3 polega tu na ustawieniu jedynki w zdaniu A3’, czyli Maliniak pożycza Kowalskiemu 100tys a ten nie odda mu obiecanych 130tys.

Podsumowując:
Zauważmy, że wyłącznie dzięki gwarancjom matematycznym ze świata matematyki A1, czy też ze świata martwego A2 jesteśmy w stanie odpowiedzieć na pytanie:
Kiedy w przyszłości Kowalski dotrzyma słowa (Y=1) a kiedy skłamie (~Y=1 - nie dotrzyma słowa)?

8.4 Klasyka obietnicy

Definicja obietnicy =>:
Jeśli dowolny warunek to nagroda
W=>N =1
Dowolna obietnica to warunek wystarczający W=>N wchodząca w skład implikacji prostej W|=>N:
W|=>N = (A1: W=>N)*~(B1: W~>N) =1*~(0) =1*1 =1

Rozważmy obietnicę:
A1.
Jeśli zdasz egzamin dostaniesz komputer
E=>K
Zdanie egzaminu jest warunkiem wystarczającym => dla dostanie komputera
Na mocy definicji warunek wystarczający A1: E=>K jest częścią implikacji prostej E|=>K.

Podstawmy tą obietnicę do diagramu warunków wystarczających => i koniecznych ~> w implikacji prostej E|=>K.
Kod:

T3
Związki warunku wystarczającego => i koniecznego ~> w E|=>K
       AB12:                      |     AB34:
       Przyszłość/przeszłość      |     Przeszłość       
    ----------------------------------------------------------
A:  1: p=>q  =1 = 2:~p~>~q=1     [=] 3: q~>p  =1 = 4:~q=>~p =1
A:  1: E=>K  =1 = 2:~E~>~K=1     [=] 3: K~>E  =1 = 4:~K=>~E =1
A’: 1: p~~>~q=0 =                [=]             = 4:~q~~>p =0
A’: 1: E~~>~K=0 =                [=]             = 4:~K~~>E =0
       ##            ##           |     ##            ##
B:  1: p~>q  =0 = 2:~p=>~q=0     [=] 3: q=>p  =0 = 4:~q~>~p =0
B:  1: E~>K  =0 = 2:~E=>~K=0     [=] 3: K=>E  =0 = 4:~K~>~E =0
B’:             = 2:~p~~>q=1     [=] 3: q~~>~p=1
B’:             = 2:~E~~>K=1     [=] 3: K~~>~E=1
---------------------------------------------------------------
    p|=>q=~p*q  = ~p|~>~q=~p*q   [=]  q|~>p=q*~p = ~q|=>~p=q*~p
    E|=>K=~E*K  = ~E|~>~K=~E*K   [=]  K|~>E=K*~E = ~K|=>~E=K*~E
Gdzie:
## - różne na mocy definicji
A1: E=>K=1 - prawdziwy A1 wymusza fałszywy kontrprzykład A1’ (i odwrotnie)
A1’: E~~>~K=E*~K=0 - fałszywy kontrprzykład A1’ wymusza prawdziwy A1
B2:~E=>~K=0 - fałszywy B2 wymusza prawdziwy kontrprzykład B2’ (i odwrotnie)
B2’:~E~~>K =~E*K=1 - prawdziwy kontrprzykład B2’ wymusza fałszywy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Obsługę obietnicy w czasie przyszłym mamy w części AB12.

Operator implikacji prostej E|=>K to odpowiedź na dwa pytania 1 i 2:

1.
Co może się wydarzyć jeśli zdam egzamin (E=1)?

Odpowiedź mamy w kolumnie A1B1.
A1.
Jeśli zdasz egzamin (E=1) do na 100% => dostaniesz komputer (K=1)
E=>K =1
Zdanie egzaminu jest warunkiem wystarczającym => dla otrzymania komputera.
Kontrprzykład A1’ dla prawdziwego warunku wystarczającego A1 musi być fałszem
A1’.
Jeśli zdasz egzamin (E=1) to możesz ~~> nie dostać komputera (~K=1)
E~~>~K =E*~K =0 - zakaz złamania obietnicy A1, dobrowolnych obietnic musimy dotrzymywać

2.
Co może się wydarzyć jeśli nie zdam egzaminu (~E=1)?

Odpowiedź mamy w kolumnie A2B2
… a jeśli nie zdam egzaminu ?
Prawo Kubusia:
A1: E=>K = A2:~E~>~K
A2.
Jeśli nie zdasz egzaminu (~E=1) to nie dostaniesz komputera (~K=1)
~E~>~K =1
Nie zdanie egzaminu jest warunkiem koniecznym ~> dla nie dostania komputera.
LUB
B2’.
Jeśli nie zdasz egzaminu (~E=1) to możesz ~~> dostać komputer (K=1)
~E~~>K =1
To jest powszechnie znany w przyrodzie „akt miłości” w odniesieniu do obietnicy A1: E=>K, czyli prawo wręczenia nagrody (komputera: K=1) mimo że odbiorca nie spełnił warunku nagrody (nie zdał egzaminu: ~E=1).
Zdanie B2’ to również powszechnie znany w przyrodzie „akt łaski” w odniesieniu do groźby A2: ~E~>K, czyli prawo do wręczenia nagrody (K=1), mimo że odbiorca spełnił warunek kary (nie zdał egzaminu: ~E=1)

Definicja matematycznej „wolnej woli”:
Matematyczna „wolna wola” w świecie żywym to warunek konieczny ~>.

Zauważmy, że o „wolnej woli” możemy mówić wyłącznie w stosunku do świata żywego, w świecie martwym możemy mówić tylko i wyłącznie o „rzucaniu monetą” w sensie „na dwoje babka wróżyła”

W przypadku nie zdania egzaminu, ojciec może nie dać komputera (~K) lub dać komputer (K) 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”.

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

Decyzja negatywna:
A2:~E~>~K =1
Nie zdałeś egzaminu, nie dostaniesz komputera
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):
B2’: ~E~~>K = ~E*K =1
Nie zdałeś egzaminu, dostajesz komputer, bo cię kocham, bo widziałem że się uczyłeś ale miałeś pecha itp.

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

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

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

8.4.1 Obietnica w równaniach logicznych

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N
Spełnienie warunku nagrody jest warunkiem wystarczającym => dostania nagrody

Zasada „Jak się mówi tak się pisze”:
Dostanę nagrodę (N) gdy spełnię warunek nagrody (W) lub gdy nadawca zdecyduje o daniu nagrody (U).

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.

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

Przypadek 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ę (N=1), 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!


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


8.5 Klasyka groźby

Definicja groźby ~>:
Jeśli dowolny warunek to kara
W~>K =1
Dowolna groźba to warunek konieczny W~>K wchodzący w skład implikacji odwrotnej W|~>K:
W|~>K = ~(A1: W=>K)*(B1: W~>K) = ~(0)*1 =1*1 =1

Definicja implikacji odwrotnej p|~>q:
Implikacja odwrotna p|~>q to zachodzenie wyłącznie warunku koniecznego ~> między tymi samymi punktami i w tym samym kierunku.
A1: p=>q =0 - warunek wystarczający => nie jest (=0) spełniony
B1: p~>q =1 - warunek konieczny ~> jest (=1) spełniony

Stąd mamy definicję implikacji odwrotnej p|~>q w równaniu logicznym:
p|~>q = ~(A1: p=>q)*(B1: p~>q) = ~(0)*1 = 1*1 =1

Definicja warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Definicja implikacji odwrotnej p|~>q w związkach warunku wystarczającego => i koniecznego ~>:
Kod:

Związki warunku wystarczającego => i koniecznego ~> w p|~>q:
      AB12:                  AB34:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p =0 [=] 5:~p+q
##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p =1 [=] 5: p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Aby udowodnić, iż dany układ spełnia definicję implikacji odwrotnej p|~>q potrzeba ~> i wystarcza => udowodnić fałszywość dowolnego zdania serii Ax i prawdziwość dowolnego zdania serii Bx

Kluczowym punktem zaczepienia w wprowadzeniu symbolicznej definicji implikacji odwrotnej p|~>q będzie definicja kontrprzykładu rodem z algebry Kubusia działająca wyłącznie w warunku wystarczającym =>.

Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q

Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)

Uzupełnijmy naszą tabelę wykorzystując powyższe rozstrzygnięcia działające wyłącznie w warunkach wystarczających =>.
Kod:

T2
Związki warunku wystarczającego => i koniecznego ~> w p|~>q
       AB12:                      |     AB34:
A:  1: p=>q  =0 = 2:~p~>~q=0     [=] 3: q~>p  =0 = 4:~q=>~p =0
A’: 1: p~~>~q=1 =                [=]             = 4:~q~~>p =1                   
       ##            ##           |     ##            ##
B:  1: p~>q  =1 = 2:~p=>~q=1     [=] 3: q=>p  =1 = 4:~q~>~p =1
B’:             = 2:~p~~>q=0     [=] 3: q~~>~p=0
---------------------------------------------------------------
    p|~>q=p*~q  = ~p|=>~q=p*~q   [=]  q|=>p=~q*p = ~q|~>~p=~q*p
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
A1: p=>q=0 - fałszywy A1 wymusza prawdziwy kontrprzykład A1’ (i odwrotnie)
A1’: p~~>~q=p*~q=1 - prawdziwy kontrprzykład A1’ wymusza fałszywy A1
B2:~p=>~q=1 - prawdziwy B2 wymusza fałszywy kontrprzykład B2’ (i odwrotnie)
B2’:~p~~>q =~p*q=0 - fałszywy kontrprzykład B2’ wymusza prawdziwy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Definicja warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Stąd mamy definicję implikacji odwrotnej p|~>q w spójnikach „i”(*) i „lub”(+):
p|~>q = ~(A1: p=>q)*(B1: p~>q) = ~(~p+q)*(p+~q) = (p*~q)*(p+~q) = p*~q

Weźmy klasykę groźby.
Ojciec do syna:
B1.
Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L =1
Brudne spodnie są warunkiem koniecznym A1: B~>L =1 dostania lania, ale nie wystarczającym B1: B=>L=0 bowiem nadawca ma prawo do darowania dowolnej kary zależnej od niego.
Na mocy definicji warunek konieczny A1: B~>L wchodzi w skład implikacji odwrotnej B|~>L.

Nanieśmy nasza groźbę do definicji implikacji odwrotnej B|~>L wyrażonej warunkami koniecznymi ~> i wystarczającymi =>
Kod:

T3
Związki warunku wystarczającego => i koniecznego ~> w B|~>L
       AB12:                      |     AB34:
       Przyszłość/przeszłość      |     Przeszłość       
    ----------------------------------------------------------
A:  1: p=>q  =0 = 2:~p~>~q=0     [=] 3: q~>p  =0 = 4:~q=>~p =0
A:  1: B=>L  =0 = 2:~B~>~L=0     [=] 3: L~>B  =0 = 4:~L=>~B =0
A’: 1: p~~>~q=1 =                [=]             = 4:~q~~>p =1                   
A’: 1: B~~>~L=1 =                [=]             = 4:~L~~>B =1                   
       ##            ##           |     ##            ##
B:  1: p~>q  =1 = 2:~p=>~q=1     [=] 3: q=>p  =1 = 4:~q~>~p =1
B:  1: B~>L  =1 = 2:~B=>~L=1     [=] 3: L=>B  =1 = 4:~L~>~B =1
B’:             = 2:~p~~>q=0     [=] 3: q~~>~p=0
B’:             = 2:~B~~>L=0     [=] 3: L~~>~B=0
---------------------------------------------------------------
    p|~>q=p*~q  = ~p|=>~q=p*~q   [=]  q|=>p=~q*p = ~q|~>~p=~q*p
    B|~>L=B*~L  = ~B|=>~L=B*~L   [=]  L|=>B=~L*B = ~L|~>~B=~L*B
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
A1: B=>L=0 - fałszywy A1 wymusza prawdziwy kontrprzykład A1’ (i odwrotnie)
A1’: B~~>~L=B*~L=1 - prawdziwy kontrprzykład A1’ wymusza fałszywy A1
B2:~B=>~L=1 - prawdziwy B2 wymusza fałszywy kontrprzykład B2’ (i odwrotnie)
B2’:~B~~>L =~B*L=0 - fałszywy kontrprzykład B2’ wymusza prawdziwy B2
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Obsługę groźby w czasie przyszłym mamy w części AB12.

Operator implikacji odwrotnej B|~>L to odpowiedź na dwa pytania 1 i 2:

1.
Co może się wydarzyć jeśli ubrudzę spodnie (B=1)?

Odpowiedź mamy w kolumnie A1B1
B1.
Jeśli ubrudzisz spodnie (B=1) dostaniesz lanie (L=1)
B~>L =1
Brudne spodnie są warunkiem koniecznym B1: B~>L =1 dostania lania, ale nie wystarczającym A1: B=>L=0 bowiem nadawca ma prawo do darowania dowolnej kary zależnej od niego.
LUB
A1’.
Jeśli ubrudzisz spodnie (B=1) to możesz ~~> nie dostać lania (~L=1)
B~~>~L = B*~L =1
Zdanie A1’ to powszechnie znany w przyrodzie „akt łaski” czyli prawo do darowania kary (brak lania: ~L=1) zależnej od nadawcy, mimo że odbiorca spełnił warunek kary (ubrudził spodnie: B=1)

2.
Co może się wydarzyć jeśli nie ubrudzę spodni (B=1)?

Odpowiedź mamy w kolumnie A2B2
… a jeśli nie ubrudzę spodni?
Prawo Kubusia:
B1: B~>L = B2:~B=>~L
stąd:
B2.
Jeśli nie ubrudzisz spodni to na 100% => nie dostaniesz lania (z powodu czystych spodni)
~B=>~L =1
Czyste spodnie (~B=1) są dają nam gwarancję matematyczną => braku lania (~L=1) z powodu czystych spodni. Tylko tyle i aż tyle gwarantuje nam warunek wystarczający => w zdaniu B2.
Z dowolnego innego powodu ojciec może walić i nie będzie kłamcą, zatem jeśli jest sadystą i musi walić to kij zawsze znajdzie np.
Przyszedłeś w czystych spodniach (~B=1), dostajesz lanie (L=1) bo masz brudne buty.
Kontrprzykład B2’ dla warunku wystarczającego => B2 musi być fałszem.
B2’
Jeśli nie ubrudzisz spodni to możesz ~~> dostać lanie
~B~~>L = ~B*L =0 - zakaz karania z powodu czystych spodni (~B=1)

Zauważmy że:
Gwarancja B2 jest bardzo silną gwarancją matematyczną, aby ją złamać ojciec musi być idiotą, czyli powiedzieć słowo w słowo:
Przyszedłeś w czystych spodniach (~B=1), dostajesz lanie (L=1) bo przyszedłeś w czystych spodniach (~B=1).

To jest uzasadnienie zależne, identyczna jak poprzednik i tu ojciec mimo wszystko jest kłamcą.
Fakt ten udowodniłem na samym początku mojej przygody z logiką matematyczną z 14 lat temu - to też była jedna z przyczyn, dla której z takim uporem walczyłem o 100% rozszyfrowanie logiki matematycznej obowiązującej w naszym Wszechświecie.

Prawo Kubusia:
B1: B~>L = B2: ~B=>~L

Znaczenie tożsamości logicznej:
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej „=” wymusza fałszywość drugiej strony

Zauważmy że:
1.
Po prawej stronie mamy 100% determinizm, przyjście w czystych spodniach (~B=1) daje nam gwarancję matematyczną => braku lania (~L=1) z powodu czystych spodni.
2.
Po lewej stronie mamy matematyczną „wolną wolę” człowieka, czyli jeśli syn przyjdzie w brudnych spodniach to ojciec może lać (zdanie B1) albo darować lanie (zdanie A1’) ... i nie ma szans na zostanie kłamcą.


8.5.1 Groźba w równaniach logicznych

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

Zasada „Jak się mówi tak się pisze”:
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.


Ostatnio zmieniony przez rafal3006 dnia Pią 0:44, 30 Paź 2020, w całości zmieniany 281 razy
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