ŚFiNiA

[rafal3006]

Kto wierzy we mnie będzie zbawiony

Moja przygoda z logiką matematyczną zaczęła się 14 lat temu dokładnie od tego zdania gdzie nasz Wujek wciskał mi matematycznie ciemnotę jakoby ateiści mogli być w tym samy niebie co wierzący - wtedy po raz pierwszy w życiu zobaczyłem zero-jedynkową definicję implikacji i wściekłem się na Wujka że nie wie co to jest algebra Boole'a którą znałem perfekcyjnie z racji wykształcenia.
W świecie techniki nie ma prawa być implikacji bo opisuje ona "wolną wolę" istot żywych w świecie żywym co jest tożsame z "rzucaniem monetą" w świecie martwym.
Implikacja zaimplementowana w samochodzie działała by tak, że jak skręcamy w lewo to samochód zawsze skręca w lewo, ale jak skręcamy w prawo to samochód "rzuca sobie moneta" i w zależności od wyniku skręca nam w prawo albo w lewo.
Dokładnie dlatego implikacja w świecie techniki to idiotyzm.

5.9 Matematyczna obsługa obietnicy W=>N

Najważniejszym zastosowaniem warunku wystarczającego p=>q i implikacji prostej p|=>q jest matematyczna obsługa obietnic.
Obietnice i groźby to fundament wszelkiego życia na ziemi, zwierzątka które nie odróżniały obietnicy od groźby dawno wyginęły.

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

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 A|~>K:
W|~>K = ~(A1: W=>K)*(B1: W~>K) = ~(0)*1 =1*1 =1

To są definicje obietnicy i groźby zatem tu nic a nic nie musimy udowadniać, jedyne co musimy to rozstrzygnąć czy w następniku mamy nagrodę (obietnica), czy karę (groźba).
Aktualnie jesteśmy przy obsłudze warunku wystarczającego =>, zatem z marszu zajmiemy się obietnicami.

Weźmy sztandarową obietnicę, którą rozszyfrowałem jako pierwszą, dzięki której w ogóle zainteresowałem się logiką matematyczną.

Chrystus:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
Wiara w Chrystusa jest warunkiem wystarczającym => by być zbawionym
Wiara w Chrystusa daje nam gwarancję matematyczną => zbawienia
Kontrprzykład B dla warunku wystarczającego => A musi być fałszem.
B.
Kto wierzy we mnie może ~~> nie być zbawiony
W~~>~Z = W*~Z =0
Chrystus będzie kłamcą jeśli wierzącego w niego człowieka nie zbawi (pośle do piekła)

.. a jak kto nie wierz Panie?
Prawo Kubusia:
A: W=>Z = C: ~W~>~Z
stąd mamy:
C.
Kto nie wierzy we mnie nie będzie zbawiony
~W~>~Z=1
Na mocy prawa Kubusia groźbę ta musimy kodować warunkiem koniecznym ~> bez względu na ostrość jej wypowiedzenia (np. grzech przeciwko Duchowi Św.) dającym prawo do darowania dowolnej kary zależnej od nadawcy.
Chrystus:
Zaprawdę, powiadam ci, jeszcze dziś będziesz ze Mną w raju. (Łk 23, 43);
lub
D.
Kto nie wierzy we mnie może ~~> zostać zbawiony
~W~~>Z = ~W*Z =1
To jest piękny akt miłości w stosunku do obietnicy A dający możliwość wręczenia nagrody (zbawienie) mimo że odbiorca nie spełnił warunku nagrody (nie wierzył).
Akt miłości jest tożsamy z równie pięknym aktem łaski w stosunku do groźby C, który umożliwia odstąpienie od ukarania mimo że odbiorca spełnił warunek kary (nie wierzył).
Oba te akty, akt miłości i akt łaski są powszechne w przyrodzie, nie tylko człowiek stosuje je w praktyce.
Ze zdań C i D wynika, że Chrystus cokolwiek by nie zrobił z niewierzącymi to nie ma najmniejszych szans na zostanie matematycznym kłamcą. W skrajnym przypadku wszyscy możemy zostać zbawieni tak wiec nadzieja powszechnego zbawienia ma swoje podstawy matematyczne:
[link widoczny dla zalogowanych]

[rafal3006]

http://www.sfinia.fora.pl/forum-kubusia,12/ak1-algebra-boole-a,16325.html#524199

Algebra Kubusia - matematyka języka potocznego
2020-05-10

Część I
Algebra Boole’a

Jak czytać algebrę Kubusia?
Każda z siedmiu części zakłada prawie zerowy stan wiedzy początkowej.
Można wystartować z czytaniem od dowolnej części znając minimalnie algebrę Boole’a.
Szczególnie polecam część IV - to wystarczy by zrozumieć kompletną algebrę Kubusia.

Części:
AK1 Algebra Boole’a
AK2 Elementarz algebry Kubusia
AK3 Kubusiowa teoria zbiorów
AK4 Kubusiowa teoria zdarzeń
AK5 Obietnice i groźby
AK6 Teoria transformacji
AK7 Teoria rachunku zbiorów i zdarzeń

Autor:
Kubuś ze 100-milowego lasu

Rozszyfrowali:
Rafal3006 i przyjaciele

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

Kluczowi przyjaciele Kubusia, dzięki którym algebra Kubusia została rozszyfrowana to (cytuję w kolejności zaistnienia):
1.
Rafał3006
2.
Wuj Zbój - dzięki któremu Rafal3006 poznał istotę implikacji od strony czysto matematycznej.
3.
Fiklit - który poświęcił 8 lat życia na cierpliwe tłumaczenie Rafałowi3006 jak wygląda otaczający nas świat z punktu widzenia Klasycznego Rachunku Zdań
Bez fiklita o rozszyfrowaniu algebry Kubusia moglibyśmy wyłącznie pomarzyć
4.
Irbisol - znakomity tester końcowej wersji algebry Kubusia, za wszelką cenę usiłujący ją obalić.
Czyż można sobie wymarzyć lepszego testera?


Miejsce narodzin algebry Kubusia ze szczegółowo udokumentowaną historią jej odkrycia:
Algebra Kubusia - historia odkrycia 2006-2020





Algebra Kubusia w pdf

AK1 pdf Algebra Boole’a
[link widoczny dla zalogowanych]
AK2 pdf Elementarz algebry Kubusia
[link widoczny dla zalogowanych]
AK3 pdf Kubusiowa teoria zbiorów
[link widoczny dla zalogowanych]
AK4 pdf Kubusiowa teoria zdarzeń
[link widoczny dla zalogowanych]
AK5 pdf Obietnice i groźby
[link widoczny dla zalogowanych]
AK6 pdf Prawo transformacji
[link widoczny dla zalogowanych]
AK7 pdf Teoria zbiorów i zdarzeń
[link widoczny dla zalogowanych]

[Irbisol]

[rafal3006]

Nie zamierzam w tym wątku prowadzić z tobą wojny, odpowiedź iż twój zarzut to wyssana z palca bzdura dostałeś w tym linku na końcu mojego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2400.html#526887
... a że czytać ze zrozumieniem nie chcesz, to nie mój ból.

P.S.
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-2325.html#525857

[Irbisol]

Niczego nie wyciąłem, kłamco.
Napisałeś, że
"żarówka może świecić"
nie jest sprzeczne z
"nie jest prawdą, że żarówka może świecić"

Potwierdziłeś, gdy dokładnie o to pytałem.

[rafal3006]

[Irbisol]

[rafal3006]

[Irbisol]

Już napisałem jasno i wyraźnie. Wyraźniej się nie da.
Jedyne, co ci pozostało, to spierdalanie od tematu i zadawanie pytań w nieskończoność.

[rafal3006]

[rabbit-raubritter]

Wystarczy tego spamu.

[idiota]