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 - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... , 457, 458, 459  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37567
Przeczytał: 12 tematów

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

PostWysłany: Śro 8:30, 02 Kwi 2025    Temat postu:

Trzecia próba ratowania prawa Irbisa w oryginalnej postaci!

Myślę, że to jest najlepsza moja próba, co nie wyklucza podjęcia przez ziemskich matematyków innych prób ratowania bezcennego dla logiki matematycznej prawa Irbisa

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:


2.6 Fundamentalne definicje i prawa algebry Kubusia

Spis treści
2.6 Fundamentalne definicje i prawa algebry Kubusia 1
2.6.1 Prawa Sowy 1
2.6.2 Definicja tożsamości logicznej 2


Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
      ##        ##           ##        ##            ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5:  p+~q

Prawa Kubusia:        | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q  | A1: p=>q  = A4:~q=>~p
B1: p~>q = B2:~p=>~q  | B2:~p=>~q = B3: q=>p

Prawa Tygryska:       | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p   | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p   | B1: p~>q  = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - 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

2.6.1 Prawa Sowy

I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji

2.6.2 Definicja tożsamości logicznej

Prawa Sowy to:
Ogólna definicja tożsamości logicznej „=” dla wielu zdań:
Prawdziwość dowolnego zdania w tożsamości logicznej „=” wymusza prawdziwość pozostałych zdań
Fałszywość dowolnego zdania w tożsamości logicznej „=” wymusza fałszywość pozostałych zdań

Tożsame znaczki tożsamości logicznej to:
„=”, [=], <=> (wtedy i tylko wtedy)

Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa oraz definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>
Kod:

TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w równoważności p<=>q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności A1B1: p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
       A1B1:         A2B2:      |     A3B3:           A4B4:
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  =1  = 2:~p=>~q =1 [=] 3: q=>p  =1  =  4:~q~>~p =1
B':                2:~p~~>q =0 [=] 3: q~~>~p=0   
-----------------------------------------------------------------------
Równoważność <=> definiuje:     |     Równoważność <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1   [=] 3: q<=>p=1   =  4:~q<=>~p=1
tożsamość zdarzeń/zbiorów:      |     tożsamość zdarzeń/zbiorów:
AB: 1: p=q     # 2:~p=~q        |  3: q=p       #  4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej

Prawa Sowy:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość pozostałych zdań
Prawdziwość dowolnego zdania serii Bx wymusza prawdziwość pozostałych zdań


Na mocy powyższej tabeli prawdy dowolnej równoważności możemy zapisać dwa prawa Irbisa.

Kolumnowe prawo Irbisa:
Każda kolumnowa równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q

##

Międzykolumnowe prawo Irbisa:
Każda międzykolumnowa równoważność prawdziwa definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=]
A1B1: p<=>q [=] A2B2: ~p<=>~q
Powyższy zapis to po prostu prawa Sowy w odniesieniu do tabeli prawdy równoważności p<=>q.

Gdzie:
## - prawa różne na mocy definicji (dotyczą dwóch różnych pojęć)


Ostatnio zmieniony przez rafal3006 dnia Śro 8:33, 02 Kwi 2025, w całości zmieniany 2 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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Śro 8:32, 02 Kwi 2025    Temat postu:

Dzięki Irbisolu - jesteś bezcennym dla mnie wrogiem Nr.1 algebry Kubusia!

Ciekawe kiedy zrozumiesz, iż bez ciebie pełne rozszyfrowanie AK nie byłoby możliwe.
Dowód - choćby mój post wyżej.
:szacunek: :* :pidu: :brawo:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Śro 8:54, 02 Kwi 2025    Temat postu:

Tyle tego nasrałeś, że wskazówka iż jest to w drugiej części postu, nic nie daje.

Zawsze wywalasz się na pytaniach podstawowych. Nawet nie jesteś w stanie po ludzku wykrztusić z siebie, co AK twierdzi nt. tożsamości i równoważności.

No i chyba znalazłeś błąd w AK? :rotfl:
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Śro 9:06, 02 Kwi 2025    Temat postu:

Irbisol napisał:
Tyle tego nasrałeś, że wskazówka iż jest to w drugiej części postu, nic nie daje.

Zawsze wywalasz się na pytaniach podstawowych. Nawet nie jesteś w stanie po ludzku wykrztusić z siebie, co AK twierdzi nt. tożsamości i równoważności.

No i chyba znalazłeś błąd w AK? :rotfl:

To ty znalazłeś nieścisłość, skorygowaną przeze mnie w tym moim poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11425.html#837373
Dokładnie na tym polega rozszyfrowywanie AK, dzięki.

Co AK twierdzi o tożsamości logicznej [=] i równowazności <=>?
Pisałem ci o tym n-razy wyżej.
Powtórzę po raz ostatni, mam nadzieję.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:


2.6 Fundamentalne definicje i prawa algebry Kubusia

Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
      ##        ##           ##        ##            ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5:  p+~q

Prawa Kubusia:        | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q  | A1: p=>q  = A4:~q=>~p
B1: p~>q = B2:~p=>~q  | B2:~p=>~q = B3: q=>p

Prawa Tygryska:       | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p   | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p   | B1: p~>q  = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - 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

2.6.1 Prawa Sowy

I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji

2.6.2 Definicja tożsamości logicznej

Prawa Sowy to:
Ogólna definicja tożsamości logicznej „=” dla wielu zdań:
Prawdziwość dowolnego zdania w tożsamości logicznej „=” wymusza prawdziwość pozostałych zdań
Fałszywość dowolnego zdania w tożsamości logicznej „=” wymusza fałszywość pozostałych zdań

Tożsame znaczki tożsamości logicznej to:
„=”, [=], <=> (wtedy i tylko wtedy)

2.6.3 Definicja dowodu "nie wprost" w algebrze Kubusia

Definicja dowodu „nie wprost” w algebrze Kubusia:
Dowód „nie wprost” w algebrze Kubusia to dowód warunku koniecznego ~> lub wystarczającego => z wykorzystaniem praw logiki matematycznej (prawa Kubusia, prawa Tygryska, prawa kontrapozycji dla warunku wystarczającego =>, prawa kontrapozycji dla warunku koniecznego ~>) plus definicja kontrprzykładu.


Ostatnio zmieniony przez rafal3006 dnia Śro 9:08, 02 Kwi 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Śro 9:23, 02 Kwi 2025    Temat postu:

Pisałeś coś wcześniej, że jeżeli znajdę jakąś skazę w twoim superprecyzyjnym AK, to to wykasujesz.

Ostatnio zmieniony przez Irbisol dnia Śro 9:24, 02 Kwi 2025, 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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Śro 10:02, 02 Kwi 2025    Temat postu:

Irbisol napisał:
Pisałeś coś wcześniej, że jeżeli znajdę jakąś skazę w twoim superprecyzyjnym AK, to to wykasujesz.

AK jest rozszyfrowywana na żywo.
Ty nie tylko małą skazę znalazłeś.
Pamiętasz jak z 14 lat temu w dyskusji z tobą wściekle zwalczałem prawa kontrapozycji?

Powód:
1.
Jeśli jutro będzie padało to otworzę parasol
P=>OP

Prawo kontrapozycji:
P=>OP = ~OP=>~P

Prawą stronę czytamy:
2.
Jeśli jutro nie otworzę parasola to na 100% => nie będzie padało
~OP =>~P

Stąd mamy:
Prawo kontrapozycji to gówno - taki był mój wniosek 14 lat temu

Oczywiście po zapisaniu prawa transformacji gdzie zdanie 2 jest prawdziwe w czasie przeszłym prawo kontrapozycji zostało uratowane.

3.
Jeśli wczoraj nie otworzyłem parasola to na 100% nie padało
~OP=>~P =1
Wszystko pięknie gra i buczy

:szacunek: :* :pidu:


Ostatnio zmieniony przez rafal3006 dnia Śro 10:07, 02 Kwi 2025, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Śro 10:38, 02 Kwi 2025    Temat postu:

Niemniej jednak obiecywałeś, że po znalezieniu błędu AK wykasujesz.
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Śro 11:06, 02 Kwi 2025    Temat postu:

Irbisol napisał:
Niemniej jednak obiecywałeś, że po znalezieniu błędu AK wykasujesz.

Czy chcesz bym ukarał ludzkość i skasował AK?
Nic z tego:
Wedle AK w groźbie mam prawo darować dowolną karę i matematycznym kłamcą nie jestem.

Dowód masz w Biblii:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#691483
Algebra Kubusia napisał:


Spis treści
3.10 Obietnica Chrystusa W=>Z 1
3.10.1 Operator implikacji prostej W||=>Z 3
3.10.2 Kluczowe dialogi Chrystusa z człowiekiem 6
3.10.3 Algebra Kubusia = Biblia 7


3.10 Obietnica Chrystusa W=>Z

Definicja obietnicy:
Jeśli dowolny warunek W to nagroda N
W=>N =1
Dowolna obietnica to warunek wystarczający W=>N wchodzący w skład implikacji prostej W|=>N.
W poprzedniku musi być jasno sprecyzowany warunek otrzymania nagrody.

Zauważmy, że na mocy definicji obietnicy musimy jedynie rozstrzygnąć czy w następniku q zdania warunkowego „Jeśli p to q” mamy nagrodę.
Poza tym nic a nic nie musimy dodatkowo udowadniać, wszystko mamy zdeterminowane na mocy definicji implikacji prostej p|=>q.

Zajmijmy się teraz kluczową obietnicą Chrystusa dzięki której już 19 lat temu zrozumiałem algebrę Kubusia. Oczywiście droga do poprawnego rozszyfrowania kompletnej algebry Kubusia była jeszcze bardzo daleka, wymagała 19 lat zaciętych dyskusji na różnych forach.

Chrystus:
A1.
Kto wierzy we mnie będzie zbawiony
W=>Z=1
Wiara w Chrystusa jest warunkiem wystarczającym => dla zbawienia
Wiara w Chrystusa daje nam gwarancję matematyczną => zbawienia
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>
Zdanie A1 to ewidentna obietnica, bowiem w następniku mamy tu nagrodę, musimy ją zatem kodować warunkiem wystarczającym A1: W=>Z wchodzącym w skład implikacji prostej W|=>Z.

Dlaczego ta obietnica była dla mnie kluczowa w początkach rozszyfrowywania algebry Kubusia?
Odpowiedź jest prosta:
W naszym Wszechświecie Chrystus, w przeciwieństwie do człowieka, nie ma prawa do kłamstwa, czyli nie może wierzącego w niego człowieka posłać do piekła.

Natomiast człowiek w obietnicy może kłamać do woli, to woda na młyn wszelkiej maści oszustów np. wyłudzanie pieniędzy od emerytów metodą na wnuczka.

Przykład super oszusta doskonale znającego algebrę Kubusia, potrafiącego tak kłamać, by oszukać najbogatszych na 35mld USA, mamy w tym linku:
[link widoczny dla zalogowanych]

Definicja podstawowa implikacji prostej W|=>Z:
A1.
Kto wierzy we mnie będzie => zbawiony
A1: W=>Z=1 - wiara w Boga jest (=1) warunkiem wystarczającym => dla zbawienia
To samo w zapisach formalnych:
A1: p=>q =1
##
B1.
Kto wierzy we mnie będzie ~> zbawiony
B1: W~>Z=0 - wiara w Boga nie jest (=0) warunkiem koniecznym ~> dla zbawienia
To samo w zapisach formalnych:
B1: p~>q =0
Gdzie:
## - różne na mocy definicji warunku wystarczającego p=>q i koniecznego p~>q
Stąd:
A1B1: W|=>Z = (A1: W=>Z)*~(B1: W~>Z) = 1*~(0) =1*1 =1

Prawo Kłapouchego:
Domyślny punkt odniesienia dla zdań warunkowych „Jeśli p to q”:
W zapisie aktualnym zdań warunkowych (w przykładach) po „Jeśli…” mamy zdefiniowaną przyczynę p zaś po „to..” mamy zdefiniowany skutek q z pominięciem przeczeń.
Prawo Kłapouchego determinuje wspólny dla wszystkich ludzi punktu odniesienia zawarty wyłącznie w kolumnach A1B1 oraz A2B2, dający odpowiedź na pytanie o p (A1B1) oraz o ~p (A2B2).

Dowolna obietnica to z definicji czas przyszły, stąd w zapisie formalnym {p, q} mamy:
p=W (wierzy)
q=Z (zbawiony)

Podstawmy obietnicę Chrystusa do tabeli prawdy implikacji prostej p|=>q
Kod:

IP
Tabela prawdy implikacji prostej p|=>q
Kolumna A1B1 to punkt odniesienia w zapisie formalnym {p,q}:
A1: p=>q =1 - p jest (=1) wystarczające => dla q
B1: p~>q =0 - p nie jest (=0) konieczne ~> dla q
A1B1: p|=>q=(A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Kolumna A1B1 to także punkt odniesienia w zapisie aktualnym {W,Z}:
A1: Kto wierzy we mnie będzie zbawiony
Na mocy prawa Kłapouchego nasz punkt odniesienia to:
p=W (wierzy)
q=Z (zbawiony)
A1: W=>Z=1 - wiara w Boga jest (=1) warunkiem wystarczającym =>
             dla zbawienia
B1: W~>Z=0 - wiara w Boga nie jest (=0) warunkiem koniecznym ~>
             dla zbawienia
Stąd:
A1B1: W|=>Z = (A1: W=>Z)*~(B1: W~>Z) = 1*~(0) =1*1 =1
       A1B1:         A2B2:        |     A3B3:         A4B4:
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
Obietnica Chrystusa:                   
A:  1: W=>Z  =1 = 2:~W~>~Z=1     [=] 3: Z~>W  =1 = 4:~Z=>~W =1
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’:               2:~p~~>q=1         3: q~~>~p=1
Obietnica Chrystusa:
B:  1: W~>Z  =0 = 2:~W=>~Z=0     [=] 3: Z=>W  =0 = 4:~Z~>~W =0
B’:               2:~W~~>Z=1         3: Z~~>~W=1
Gdzie:
p i q muszą być wszędzie tymi samymi p i q, inaczej błąd podstawienia


3.10.1 Operator implikacji prostej W||=>Z

Definicja operatora implikacji prostej W||=>Z:
Operator implikacji prostej W||=>Z w logice dodatniej (bo Z) to układ równań logicznych A1B1 i A2B2 dający odpowiedzi na pytania o wierzących (W) i niewierzących (~W):
A1B1: W|=>Z = (A1: W=>Z)*~(B1: W~>Z) - co się stanie z wierzącym (W=1)?
A2B2: ~W|~>~Z =(A2:~W~>~Z)*~(B2:~W=>~Z) - co się stanie z niewierzącym (~W=1)?

A1B1.
Co może spotkać człowieka wierzącego (W=1)?


Odpowiedź mamy w kolumnie A1B1:
A1: W=>Z=1 - wiara w Boga jest (=1) warunkiem wystarczającym => dla zbawienia
B1: W~>Z=0 - wiara w Boga nie jest (=0) warunkiem koniecznym ~> dla zbawienia
Stąd:
A1B1: W|=>Z = (A1: W=>Z)*~(B1: W~>Z) = 1*~(0) =1*1 =1 - co się stanie z wierzącym (W)?
Stąd:
Jeśli wierzę w Boga (W=1) to mam gwarancję matematyczną => zbawienia (Z) - mówi o tym zdanie A1

Odpowiedź w zdaniach warunkowych „Jeśli p to q” mamy w kolumnie A1B1:
A1.
Kto wierzy (W) we mnie będzie zbawiony (Z)
W=>Z=1
to samo w zapisie formalnym:
p=>q =1
Wiara w Chrystusa jest warunkiem wystarczającym => dla zbawienia
Wiara w Chrystusa daje nam gwarancję matematyczną => zbawienia
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>
Tylko tyle i aż tyle gwarantuje znaczek warunku wystarczającego =>.

Prawdziwy warunek wystarczający A1 wymusza fałszywość kontrprzykładu A1’ i odwrotnie.
A1’.
Kto wierzy we mnie (W) ten może ~~> nie zostać zbawiony (~Z)
W~~>~Z = W*~Z=0
to samo w zapisach formalnych:
p~~>~q = p*~q =0
Nie może się zdarzyć (=0), że wierzę w Chrystusa i nie zostanę zbawiony.
To jedyne miejsce w całej analizie obietnicy A1 gdzie Chrystus mógłby skłamać, czyli posłać wierzącego w niego człowieka do piekła.
Oczywistym jest, że w naszym Wszechświecie Chrystus z definicji nie ma prawa do kłamstwa, bo wtedy wiara w niego nie miałaby sensu.

A2B2.
Co może spotkać człowieka niewierzącego (~W=1)?


Odpowiedź mamy w kolumnie A2B2:
A2: ~W~>~Z =1 - brak wiary w Boga (~W) jest (=1) warunkiem koniecznym ~> dla nie zbawienia (~Z)
B2: ~W=>~Z =0 - brak wiary w Boga nie jest (=0) warunkiem wystarczającym => dla nie zbawienia
A2B2: ~W|~>~Z =(A2:~W~>~Z)*~(B2:~W=>~Z) - co się stanie z niewierzącym (~W=1)?
Stąd:
W przypadku niewierzących (~W=1) mamy najzwyklejsze „rzucanie monetą” w sensie „na dwoje babka wróżyła” - mówią o tym zdania A2 i B2’

Odpowiedź w zdaniach warunkowych „Jeśli p to q” mamy w kolumnie A2B2:
A2.
Kto nie wierzy we mnie (~W) nie zostanie zbawiony (~Z)
~W~>~Z =1
to samo w zapisie formalnym:
~p~>~q =1
Brak wiary w Chrystusa (~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
Zauważmy, ze Chrystus, podobnie jak człowiek może groźbę A2 wypowiedzieć w dowolnie ostrej formie, jednak na mocy definicji obietnicy A1: W=>Z będącej częścią implikacji prostej W|=>Z zdanie A2 musimy kodować warunkiem koniecznym ~> z możliwością zbawienia, o czym mówi zdanie B2’

LUB

Fałszywy warunek wystarczający => B2 wymusza prawdziwość kontrprzykładu B2’ i odwrotnie:
B2’.
Kto nie wierzy we mnie (~W=1) ten może ~~> zostać zbawiony (~Z)
~W~~>Z = ~W*Z =1
to samo w zapisie formalnym:
~p~~>q = ~p*q =1
Może się zdarzyć (=1), że nie wierzę w Chrystusa (~W) i zostanę zbawiony (Z)
Zdanie B2’ to piękny akt miłości w stosunku do zdania A1, czyli prawo do wręczenia nagrody (tu zbawienie) mimo że człowiek nie spełnił warunku nagrody (tu nie wierzył)
Zdanie B2’ to także piękny „akt łaski” w stosunku do groźby A2, czyli prawo do darowania dowolnej kary zależnej od nadawcy.
Chrystus:
Zaprawdę, powiadam ci, jeszcze dziś będziesz ze Mną w raju. (Łk 23, 43)


Zauważmy, że na mocy zdań A2 i B2’ Chrystus może umieścić w niebie wszystkich ludzi (z Hitlerem na czele) i nie zostanie kłamcą.
Oczywiście „może" nie oznacza „musi”.

Wynika z tego, że zanana filozofom idea powszechnego zbawienia, zwana także ideą pustego piekła (Apokatastaza) matematycznie jest możliwa.

Podsumowanie:
Jak widzimy, istotą operatora implikacji prostej W||=>Z jest gwarancja matematyczna => po stronie wiary w Chrystusa W (zdanie A1), oraz „rzucanie monetą” w sensie „na dwoje babka wróżyła” po stronie braku wiary w Chrystusa ~W (zdania A2 i B2’) .

Zauważmy że:
a)
Układ równań logicznych jest przemienny, stąd mamy:
Operator implikacji odwrotnej ~W||~>~Z w logice ujemnej (bo ~Z) to układ równań logicznych:
A2B2: ~W|~>~Z =(A2:~W~>~Z)*~(B2:~W=>~Z) - co się stanie z niewierzącym (~W=1)?
A1B1: W|=>Z = (A1: W=>Z)*~(B1: W~>Z) - co się stanie z wierzącym (W)?
Doskonale widać, że analiza matematyczna operatora implikacji odwrotnej ~W||~>~Z w logice ujemnej (bo ~Z) będzie identyczna jak operatora implikacji prostej W||=>Z w logice dodatniej (bo Z) z tym, że zaczynamy od kolumny A2B2 kończąc na kolumnie A1B1.
b)
Także kolejność wypowiadanych zdań jest dowolna, tak więc zdania z powyższej analizy A1, A1’, A2, B2’ możemy wypowiadać w sposób losowy - matematycznie to bez znaczenia.

Komentarz do zdania A2:
A2.
Kto nie wierzy we mnie (~W=1) ten na 100% ~> nie zostanie zbawiony (~Z=1)
A2: ~W~>~Z =1
Brak wiary w Chrystusa (~W=1) jest (=1) warunkiem koniecznym ~> dla nie zbawienia (~Z=1)

Zdanie tożsame:
A21.
Kto nie wierzy we mnie (~W=1) ten może ~> nie zostać zbawiony (~Z=1)
A21: ~W~>~Z =1
Brak wiary w Chrystusa (~W=1) jest (=1) warunkiem koniecznym ~> dla nie zbawienia (~Z=1)

Zauważmy, że zdanie A2 jest ewidentną groźbą, zaś wszelkie groźby na mocy definicji musimy kodować warunkiem koniecznym ~> z możliwością darowania kary opisanym prawdziwym kontrprzykładem B2’.
Dlaczego zachodzi matematyczna tożsamość zdań?
A2: ~W~>~Z = A21: ~W~>~Z
Wynika to z definicji obietnicy zgodnie z którą zdanie A2=A21 musimy kodować warunkiem koniecznym ~> z prawem do aktu miłości względem zdania A1: W=>Z=1 wyrażonym prawdziwym kontrprzykładem B2’, niezależnie od tego w jak ostrej formie groźba A2=A21 będzie wyrażona.

Zauważmy, że w groźbie nadawca ma prawo do blefowania, czyli może wypowiedzieć groźbę w dowolnie ostry sposób. Z faktu iż nadawca w chwili wypowiadania groźby nie zamierza jej wykonać (blef - o czym odbiorca nie wie) nie wynika, iż finalnie nadawca nie może zmienić zdania i zapowiedzianą karę wykonać.

Wniosek:
Z punktu widzenia logiki matematycznej, najostrzejszą groźbę Chrystusa, grzech przeciwko Duchowi Św. musimy uznać za blef Chrystusa.

Ewangelia Mateusza: Dlatego powiadam wam: Każdy grzech i bluźnierstwo będą odpuszczone ludziom, ale bluźnierstwo przeciwko Duchowi nie będzie odpuszczone. (Mt 12,31)

Zauważmy, że gdyby Chrystus nie miał prawa do darowania dowolnego grzechu, w tym grzechu przeciwko Duchowi Św. to jego wolna wola, prawo do darowania dowolnej kary zależnej od niego, ległaby w gruzach.
Dowodów, iż Chrystus ma prawo darować dowolny grzech jest w Biblii mnóstwo np.
Zaprawdę, powiadam ci, jeszcze dziś będziesz ze Mną w raju. (Łk 23, 43)

3.10.2 Kluczowe dialogi Chrystusa z człowiekiem

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

Człowiek:
… a jeśli kto nie wierzy, Panie?
Chrystus:
Prawo Kubusia:
A1: E=>K = A2: ~E~>~K
stąd:
A2.
Kto nie wierzy we mnie (~W), nie będzie zbawiony (~Z)
~W~>~Z =1
Brak wiary w Chrystusa (~W) jest warunkiem koniecznym ~> dla nie zbawienia (~Z)

Człowiek:
Panie, czy możesz powtórzyć co się stanie z wierzącymi (W), oraz co się stanie z niewierzącymi (~W)?

Chrystus:
Bardzo proszę:
A1A2:
Kto wierzy we mnie (W) zostanie zbawiony (Z) (zdanie A1) a kto nie wierzy we mnie (~W) nie zostanie zbawiony (~Z) (zdanie A2)
A1A2: (A1: W=>Z)*(A2: ~W~>~Z)=1*1=1

Jak widzimy, Chrystus ma prawo wypowiedzieć zdania A1 i A2 w jednym zdaniu, gdyby nie mógł tego zrobić to logika matematyczna, algebra Kubusia, której sam jest autorem, ległaby w gruzach.

Zdanie A1A2 znajdziemy w Biblii:
A1A2:
Kto uwierzy i przyjmie chrzest, będzie zbawiony, a kto nie uwierzy, będzie potępiony
Św. Marek, Mk 16


Wiara w Chrystusa zawiera w sobie obowiązek Chrztu, zatem poprzednik możemy zredukować do słowa „uwierzy”.
Zachodzi także tożsamość matematyczna pojęć:
potępiony = nie zbawiony

Stąd zdanie tożsame Chrystusa przyjmuje postać:
A1A2:
Kto uwierzy, będzie zbawiony, a kto nie uwierzy, nie będzie zbawiony
A1A2: (A1: W=>Z)*(A2: ~W~>~Z)=1*1=1
cnd

Prawo Kubusia:
A2: ~W~>~Z = A1: W=>Z
Podstawiając do A1A2 mamy:
A1A2: (A1: W=>Z)*(A2: ~W~>~Z)=(A1: W=>Z)*(A1: W=>Z) = A1: W=>Z
bo prawo algebry Boole'a:
a*a=a
Gdzie:
a=(A1: W=>Z)

Stąd zdanie tożsame Chrystusa do A1A2 w wersji minimalnej przybierze postać:
A1.
Kto uwierzy, będzie zbawiony
W=>Z =1
Wiara w Chrystusa jest warunkiem wystarczającym => dla zbawienia
Wiara w Chrystusa daje nam gwarancję matematyczną => zbawienia

3.10.3 Algebra Kubusia = Biblia

Kluczowymi pojęciami w Biblii są obietnice i groźby wypowiadane przez Chrystusa.
Algebra Kubusia udziela nam odpowiedzi na pytanie kiedy Chrystus będzie tu kłamcą, a kiedy nie będzie.

Obietnica:
Chrystus będzie kłamcą jeśli wierzącego w niego człowieka pośle do piekła.
W każdym innym przypadku na mocy definicji implikacji prostej W|=>Z Chrystus nie będzie kłamcą.

Innymi słowy:
1.
Chrystus nie będzie kłamcą gdy absolutnie wszystkich w niego niewierzących pośle do piekła - piekło będzie tu maksymalnie pełne
2.
Chrystus nie będzie kłamcą gdy zbawi absolutnie wszystkich ludzi z Hitlerem włącznie - idea pustego piekła (Apokatastaza)
3.
Między skrajnościami 1 i 2 może być nieskończenie wiele stanów pośrednich - tu również Chrystus nie będzie kłamcą

To wszystko co w temacie obietnic i gróźb ma do powiedzenia matematyka ścisła, algebra Kubusia

[link widoczny dla zalogowanych]
Apokatastaza (od gr. apokatastasis czyli „ponowne włączenie, odnowienie” z Dz 3, 21) – końcowa i ostateczna odnowa całego stworzenia poprzez przywrócenie mu pierwotnej doskonałości i bezgrzeszności lub nawet przewyższenie tego pierwotnego stanu. Potocznie apokatastaza nazywana jest ideą pustego piekła

Pojęcie „wiary w Chrystusa” oznacza tu przejście przez życie w zgodzie a 10 przykazaniami.
Chrystus doskonale wie, że to fizycznie niemożliwe, czego dowód znajdujemy w mnóstwie miejsc w Biblii.
Chrystus i cudzołożnica:
Kto z was jest bez grzechu, niech pierwszy rzuci w nią kamieniem. (J 8,8-11)

Zauważmy że:
Gdyby Chrystus był katem i za najmniejszy grzech karałby piekłem, to wtedy niebo byłoby puste, bo nawet najwięksi święci w czasie swego żywota, jakiś tam grzech popełnili.
Chrystus do apostoła Piotra:
Zaprawdę, zaprawdę powiadam ci, za- nim kur zapieje, trzykroć się mnie zaprzesz (J 13, 38)


Ostatnio zmieniony przez rafal3006 dnia Śro 11:18, 02 Kwi 2025, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Śro 11:31, 02 Kwi 2025    Temat postu:

Ludzkość ma w dupie twoje ułomne AK.
Co z twoją obietnicą? Przyznajesz, że jesteś kłamcą?
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Śro 17:04, 02 Kwi 2025    Temat postu:

Irbisol napisał:
Ludzkość ma w dupie twoje ułomne AK.
Co z twoją obietnicą? Przyznajesz, że jesteś kłamcą?

Irbisolu, ludzkość ci tego nie zapomni - jesteś współautorem rozszyfrowania algebry Kubusia.
:szacunek: :* :pidu: :brawo:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 8:28, 03 Kwi 2025    Temat postu:

Zgadza się - rozszyfrowałem, jakie to gówno (za wyjątkiem sytuacji, gdzie jest zbieżne z KRZ).
Ale, wracając do sedna - po co piszesz "wskaż to wykasuję AK", skoro z góry wiedziałeś, że i tak tego nie zrobisz?
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 9:05, 03 Kwi 2025    Temat postu:

Irbisol napisał:
Zgadza się - rozszyfrowałem, jakie to gówno (za wyjątkiem sytuacji, gdzie jest zbieżne z KRZ).


Ostatnie nasze wspólne dzieło masz niżej.
Czy to też jest zbieżne z posranym KRZ? :)

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:


Spis treści
2.9 Prawo Irbisa 1
2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa 3
2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa 4


2.9 Prawo Irbisa
Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
      ##        ##           ##        ##            ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5:  p+~q

Prawa Kubusia:        | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q  | A1: p=>q  = A4:~q=>~p
B1: p~>q = B2:~p=>~q  | B2:~p=>~q = B3: q=>p

Prawa Tygryska:       | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p   | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p   | B1: p~>q  = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - 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 równoważności p<=>q:
Równoważność p<=>q w logice dodatniej (bo q) to spełnienie zarówno warunku wystarczającego =>, jak i koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
Lewą stronę czytamy:
Zajdzie p wtedy i tylko wtedy gdy zajdzie q
Prawą stronę czytamy:
Zajście p jest (=1) warunkiem koniecznym ~> (B1) i wystarczającym => (A1) dla zajścia q
Innymi słowy:
Do tego by zaszło q potrzeba ~> (B1) i wystarcza => (A1) by zaszło p

Ta wersja równoważności jest powszechnie znana.

Na mocy prawa Słonia dla zbiorów (2.8) oraz tabeli T0 możemy wygenerować dużą ilość tożsamych definicji równoważności p<=>q.

1.
Matematyczna definicja równoważności p<=>q (znana każdemu matematykowi):

Równoważność p<=>q to jednoczesna prawdziwość matematycznego twierdzenia prostego A1: p=>q i matematycznego twierdzenia odwrotnego B3: q=>p
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q, twierdzenie proste A1.
B3: q=>p =1 - zajście q jest (=1) wystarczające => dla zajścia p, twierdzenie odwrotne (względem A1)
Stąd mamy:
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1 =1

Przykład:
Równoważność Pitagorasa:
Trójkąt jest prostokątny TP wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów SK
A1B3: TP<=>SK = (A1: TP=>SK)*(B3: SK=>TP) =1*1 =1
Znaczenie zdań składowych:
A1.
Jeśli trójkąt jest prostokątny TP to zachodzi w nim suma kwadratów SK
A1: TP=>SK =1 – twierdzenie proste Pitagorasa ludzkość udowodniła wieki temu
B3.
Jeśli w trójkącie zachodzi suma kwadratów SK to trójkąt jest prostokątny TP
B3: SK=>TP =1 – twierdzenie odwrotne Pitagorasa ludzkość udowodniła wieki temu

2.
Definicja równoważności wyrażona relacjami podzbioru =>

Równoważność p<=>q to relacja podzbioru => zachodząca w dwie strony
A1: p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
B3: q=>p =1 - wtedy i tylko wtedy gdy zbiór q jest (=1) podzbiorem => zbioru p
Stąd mamy:
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1 =1

Stąd mamy:

Prawo Irbisa dla zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1) i jednocześnie zbiór q jest podzbiorem => zbioru p (B3)
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p)= A1B3: p<=>q
Prawo Irbisa znane jest każdemu matematykowi.

Innymi słowy:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (i odwrotnie)
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) <=> A1B3: p=q

Prawo Irbisa w relacjach podzbioru => i nadzbioru ~>.

Prawo Irbisa dla zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q (A1) i jednocześnie zbiór p jest (=1) nadzbiorem ~> zbioru q (B1)
A1: p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
B1: p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Stąd mamy:
A1B1: p=q <=> (A1: p=>q)*(B1: p~>q) = A1B1: p<=>q
Dowód:
Oczywistość, bo na mocy definicji podzbioru => i nadzbioru ~> każdy zbiór jest jednocześnie podzbiorem => i nadzbiorem ~> siebie samego.

Korzystając z prawa Słonia (2.8) prawo Irbisa możemy też zapisać w warunkach koniecznym ~> (B1) i wystarczającym => (A1).

Prawo Irbisa dla zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zajście p jest konieczne ~> (B1) i wystarczające => (A1) dla zajścia q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy:
A1B1: p=q <=> (A1: p=>q)*(B1: p~>q) = A1B1: p<=>q

2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa

Tabela prawdy równoważności p<=>q w zbiorach z uwzględnieniem prawa Irbisa oraz definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>
Tabela prawdy równoważności w zdarzeniach jest analogiczna, bowiem w zdarzeniach na mocy prawa Orła również występują relacje podzbioru => i nadzbioru ~> czego dowód mieliśmy w punktach 2.2.2 i 2.2.3.
Kod:

TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w równoważności p<=>q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności A1B1: p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
       A1B1:         A2B2:      |     A3B3:           A4B4:
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  =1  = 2:~p=>~q =1 [=] 3: q=>p  =1  =  4:~q~>~p =1
B':                2:~p~~>q =0 [=] 3: q~~>~p=0   
-----------------------------------------------------------------------
Równoważność <=> definiuje:     |     Równoważność <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1   [=] 3: q<=>p=1   =  4:~q<=>~p=1
tożsamość zdarzeń/zbiorów:      |     tożsamość zdarzeń/zbiorów:
AB: 1: p=q     # 2:~p=~q        |  3: q=p       #  4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej

Prawa Sowy:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość pozostałych zdań
Prawdziwość dowolnego zdania serii Bx wymusza prawdziwość pozostałych zdań

Na mocy powyższej tabeli prawdy dowolnej równoważności możemy zapisać dwa prawa Irbisa.

Kolumnowe prawo Irbisa:
Każda kolumnowa równoważność prawdziwa p<=>q definiuje tożsamość zbiorów/zdarzeń p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q

##

Międzykolumnowe prawo Irbisa:
Każda międzykolumnowa równoważność prawdziwa definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=]
A1B1: p<=>q [=] A2B2: ~p<=>~q
Powyższy zapis to po prostu prawa Sowy w odniesieniu do tabeli prawdy równoważności p<=>q.

Gdzie:
## - prawa różne na mocy definicji (dotyczą dwóch różnych pojęć)

2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa

Kolumnowe prawo Irbisa dla równoważności Pitagorasa:
Kolumnowa równoważność prawdziwa TP<=>SK definiuje tożsamość zbiorów TP=SK (i odwrotnie)
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) <=> A1B1: TP=SK
Co oznacza tożsamość zbiorów?
TP=SK
Czytamy:
Każdy trójkąt prostokątny TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełnioną sumą kwadratów SK
Wniosek:
Zbiory TP i SK są równoliczne, mają identyczną liczbę elementów

Międzykolumnowe prawo Irbisa dla równoważności Pitagorasa:
A1B1: TP<=>SK [=] A2B2: ~TP<=>~SK
Międzykolumnowe prawo Irbisa mówi nam, że potrzeba i wystarcza udowodnić prawdziwość równoważności Pitagorasa w logice dodatniej (bo SK), by mieć gwarancję matematyczną prawdziwości równoważności Pitagorasa w logice ujemnej (bo ~SK).

A1B1:
Trójkąt jest prostokątny TP wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów SK
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) – co ludzkość zrobiła wieki temu
[=]
A2B2:
Trójkąt nie jest prostokątny ~TP wtedy i tylko wtedy gdy nie zachodzi w nim suma kwadratów ~SK
A2B2: ~TP<=>~SK = (A2: ~TP~>~SK)*(B2: ~TP=>~SK) – tego faktu nie musimy udowadniać

Na mocy międzykolumnowego prawa Irbisa w żadnym podręczniku matematyki nie znajdziemy bezpośredniego dowodu prawdziwości równoważności A2B2: ~TP<=>~SK – bo nie ma takiej potrzeby, ani fizycznej możliwości.

Zastosujmy kolumnowe prawo Irbisa do równoważności A2B2:
A2B2: ~TP<=>~SK = (A2: ~TP~>~SK)*(B2: ~TP=>~SK) <=> A2B2: ~TP=~SK
Co oznacza tożsamość zbiorów?
~TP=~SK
Czytamy:
Każdy trójkąt nieprostokątny ~TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów z niespełnioną sumą kwadratów ~SK
Wniosek:
Zbiory ~TP i ~SK są równoliczne, mają identyczną liczbę elementów
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 9:16, 03 Kwi 2025    Temat postu:

Nasze WSPÓLNE dzieło? :rotfl: Ja nic o tym nie wiem.

Dlaczego piszesz że wykasujesz AK, skoro z góry wiesz że tego nie zrobisz?
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 9:26, 03 Kwi 2025    Temat postu:

Irbisol napisał:
Nasze WSPÓLNE dzieło? :rotfl: Ja nic o tym nie wiem.

Bo jesteś ślepy, załóż sobie mocniejsze okulary na nos.
Każdy widzi, że to nasze wspólne dzieło - dowód masz w naszych ostatnich postach.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 10:59, 03 Kwi 2025    Temat postu:

Ja takiego spamu nigdy bym nie utworzył.

Dlaczego piszesz że wykasujesz AK, skoro z góry wiesz że tego nie zrobisz?
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 11:56, 03 Kwi 2025    Temat postu:

Jak wynalazłem niebieską diodę i zmieniłem świat
[link widoczny dla zalogowanych]

Na naszych oczach dokonuje się rewolucja w oświetleniu. Tradycyjne żarówki i świetlówki są zastępowane przez półprzewodnikowe źródła światła, popularnie zwane LED-ami (ang. LED - light-emitting diode, czyli świecące diody). Jeden z twórców tego przełomu – japoński fizyk prof. Shuji Nakamura -– otrzymał właśnie doktorat honoris causa Uniwersytetu Warszawskiego. "Prometeusz wykradł ogień z Olimpu i przekazał go ludzkości. Nakamura dał nam nowe wydajne źródło światła" – mówił w laudacji prof. Roman Stępniewski.

Rozmowa z

Prof. Shuji Nakamurą,
noblistą z fizyki, profesorem inżynierii na Uniwersytecie Kalifornijskim w Santa Barbara

Piotr Cieśliński: Nobel pana zaskoczył?

– Od 1993 r., w którym wynalazłem niebieską diodę, japońskie media ustawiały się pod moim domem w dniu ogłaszania laureatów Nagrody Nobla. Dziennikarze musieli jednak uzbroić się w cierpliwość, bo Nobla dostałem dopiero 20 lat później. Ale nie byłem nim zdziwiony.

W 1993 r. był pan inżynierem w małej i nieznanej firmie Nichia.

– Pracowałem w osamotnieniu, nie współpracowałem z uczelniami i naukowcami, długo nie publikowałem, nie miałem nawet doktoratu. Dlatego z początku nikt nie wierzył, że zrobiliśmy niebieskie LED-y. Nichia musiała urządzić pokazy w Tokio i Osace i dopiero wtedy się rozniosło: "Wielkie nieba, udało im się!".

Skąd pomysł, aby stworzyć niebieską diodę?

– Gdy przyszedłem do Nichii, mój bezpośredni przełożony kazał mi opracować czerwone LED-y. Takie diody wynaleziono jeszcze w latach 50. i w tym czasie już od dawna były w sprzedaży. Zacząłem od przeczytania całej literatury naukowej na ten temat. Niemal każda praca kończyła się wzmianką, że rewolucją byłoby stworzenie niebieskich LED-ów. Można by wtedy zrobić kolorowe ekrany i wyświetlacze, a także białe półprzewodnikowe źródła światła, kilkadziesiąt razy bardziej energooszczędne niż tradycyjne żarówki.

Ale gdy sugerowałem, że może lepiej zająć się niebieskimi diodami, szef uznał, że zwariowałem lub jestem bezczelnym smarkaczem
Niesłychane – przychodzi z małego i słabego uniwersytetu i chce robić to, nad czym głowią się największe mózgi w laboratoriach największych światowych potentatów, takich jak Sony, Toshiba czy Philips, z wielokrotnie większym budżetem na badania. „Nakamura, postradałeś rozum!” – słyszałem.

Co było dalej?
– Tak jak chciał szef, opracowałem technologię wytwarzania czerwonych LED-ów, ale biznesowo to była klapa. Nichia nic na tym nie zarobiła. Nasze czerwone diody się nie sprzedawały. Nic dziwnego. Firma była znana z chemii, a nie z elektroniki. Trudno było wejść na rynek, który podzieliły między siebie wielkie i znane marki. Szef stwierdził, że zmarnowałem mnóstwo pieniędzy i w zasadzie nie jestem już potrzebny. Na szczęście sędziwy Nobuo Ogawa zgodził się, abym zajął się niebieskimi diodami.

Jak to?

– 80-letni właściciel firmy zawsze był w biurze i miał otwarte drzwi dla młodych pracowników. Byłem zdesperowany, poszedłem do niego i spytałem, czy mogę pracować nad niebieskimi LED-ami? Ku mojemu zdumieniu powiedział, że tak. Dał mi na to 5 mln dol.! A to sporo, jak na tak małą firmę.

Ale czemu zaufał młodemu inżynierowi bez doktoratu?

– Przed moim przyjściem dział badań i rozwoju Nichii nie stworzył żadnego nowego produktu, a ja opracowałem trzy w ledwie pięć lat. Co prawda nie przyniosły zysku, wręcz przeciwnie, ale Ogawa mnie cenił. Miałem 35 lat i nigdy nie byłem za granicą, więc idąc za ciosem, zapytałem go, czy sfinansuje mi także staż w USA.

I co odpowiedział?

– Że OK. Na Uniwersytecie Florydy przez rok uczyłem się techniki MOCVD osadzania cienkich warstw materiału, która mi była potrzebna do tworzenia niebieskich LED-ów. Świecące diody robi się jak kanapki, układając na sobie kolejne warstwy atomów, każdą odpowiednio doprawiając. Wróciłem do Nichii w 1989 r. i wziąłem się do roboty. Szczerze mówiąc, nie sądziłem, że się uda. Moim celem był doktorat.

Doktorat?

– Na Florydzie przekonałem się, że jeśli nie masz doktoratu, to będą cię traktowali jak technika i pomocnika, a nie uczonego. W Japonii do doktoratu trzeba opublikować pięć prac naukowych.

Za najlepszy materiał na niebieskie diody wszyscy uważali wtedy selenek cynku – więc ten półprzewodnik był już wszechstronnie przebadany, na jego temat ukazały się setki prac. Doszedłem do wniosku, że łatwiej opublikuję nowe wyniki na temat azotku galu (GaN).
Nikt na niego nie stawiał i mało kto się nim zajmował

Miał pan cholerne szczęście.

– W nauce szczęście to podstawa.

W ciągu ledwie trzech lat zbudował pan diodę z azotku galu, która zaświeciła na niebiesko.

– Nichia nie miała żadnego doświadczenia w technologiach LED i gdy wcześniej tworzyłem diody czerwone, wszystko musiałem zbudować od podstaw. Reaktory do wzrostu warstw były mojej własnoręcznej roboty. Stałem się ekspertem. A niebieskie diody w gruncie rzeczy robi się podobnie – tyle że z innego materiału i stosując podobną metodę kładzenia atomowych warstw, tj. technologię MOCVD.

Początkowo nic nie wychodziło, warstwy nie chciały rosnąć. Zacząłem więc modyfikować reaktor. Każdego ranka zaglądałem do środka, zmieniałem parametry, a wieczorem sprawdzałem efekt. I tak przez półtora roku. Aż zrobiłem modyfikację, która dawała genialne efekty. Co kilka miesięcy dokonywałem przełomu i biłem światowe rekordy. Ta technologia nazywa się teraz two-flow MOCVD.

To dzięki niej w 1993 r. stworzyłem niebieską diodę, a Nichia wciąż produkuje i sprzedaje najbardziej efektywne niebieskie diody na świecie.
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 11:59, 03 Kwi 2025    Temat postu:

Czy można okryć coś przypadkiem, nie wiedząc o tym?
TAK!
Dowód to nasz Irbisol :)
Nie ma w tym nic nadzwyczajnego czego dowodem jest cytat z AK w moim poście wyżej.

Irbisol napisał:
Ja takiego spamu nigdy bym nie utworzył.


Gdzie ty widzisz spam w naszym, aktualnie odkrytym kolumnowym i międzykolumnowym prawie Irbisa?
Oczywiście jak podasz jeden kontrprzykład że dla naszego ostatnio odkrytego prawa to kasuję AK.

Irbisolu,
Jak nie rozumiesz przykładu działania naszego, gorącego jeszcze prawa w postaci obsługi równoważności Pitagorasa to po prostu napisz – będę tłumaczył.
Tu na pocieszenia dodam, że żaden ziemski matematyk nie zna naszego kolumnowego i międzykolumnowego prawa Irbisa – tak więc twoje jego nierozumienie to żaden wstyd.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:


Spis treści
2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa 1
2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa 2


2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa

Tabela prawdy równoważności p<=>q w zbiorach z uwzględnieniem prawa Irbisa oraz definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>
Tabela prawdy równoważności w zdarzeniach jest analogiczna, bowiem w zdarzeniach na mocy prawa Orła również występują relacje podzbioru => i nadzbioru ~> czego dowód mieliśmy w punktach 2.2.2 i 2.2.3.
Kod:

TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w równoważności p<=>q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności A1B1: p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
       A1B1:         A2B2:      |     A3B3:           A4B4:
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  =1  = 2:~p=>~q =1 [=] 3: q=>p  =1  =  4:~q~>~p =1
B':                2:~p~~>q =0 [=] 3: q~~>~p=0   
-----------------------------------------------------------------------
Równoważność <=> definiuje:     |     Równoważność <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1   [=] 3: q<=>p=1   =  4:~q<=>~p=1
tożsamość zdarzeń/zbiorów:      |     tożsamość zdarzeń/zbiorów:
AB: 1: p=q     # 2:~p=~q        |  3: q=p       #  4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej

Prawa Sowy:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość pozostałych zdań
Prawdziwość dowolnego zdania serii Bx wymusza prawdziwość pozostałych zdań

Na mocy powyższej tabeli prawdy dowolnej równoważności możemy zapisać dwa prawa Irbisa.

Kolumnowe prawo Irbisa:
Każda kolumnowa równoważność prawdziwa p<=>q definiuje tożsamość zbiorów/zdarzeń p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q

##

Międzykolumnowe prawo Irbisa:
Każda międzykolumnowa równoważność prawdziwa definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=]
A1B1: p<=>q [=] A2B2: ~p<=>~q
Powyższy zapis to po prostu prawa Sowy w odniesieniu do tabeli prawdy równoważności p<=>q.

Gdzie:
## - prawa różne na mocy definicji (dotyczą dwóch różnych pojęć)

2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa

Kolumnowe prawo Irbisa dla równoważności Pitagorasa:
Kolumnowa równoważność prawdziwa TP<=>SK definiuje tożsamość zbiorów TP=SK (i odwrotnie)
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) <=> A1B1: TP=SK
Co oznacza tożsamość zbiorów?
TP=SK
Czytamy:
Każdy trójkąt prostokątny TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełnioną sumą kwadratów SK
Wniosek:
Zbiory TP i SK są równoliczne, mają identyczną liczbę elementów

Międzykolumnowe prawo Irbisa dla równoważności Pitagorasa:
A1B1: TP<=>SK [=] A2B2: ~TP<=>~SK
Międzykolumnowe prawo Irbisa mówi nam, że potrzeba i wystarcza udowodnić prawdziwość równoważności Pitagorasa w logice dodatniej (bo SK), by mieć gwarancję matematyczną prawdziwości równoważności Pitagorasa w logice ujemnej (bo ~SK).

A1B1:
Trójkąt jest prostokątny TP wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów SK
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) – co ludzkość zrobiła wieki temu
[=]
A2B2:
Trójkąt nie jest prostokątny ~TP wtedy i tylko wtedy gdy nie zachodzi w nim suma kwadratów ~SK
A2B2: ~TP<=>~SK = (A2: ~TP~>~SK)*(B2: ~TP=>~SK) – tego faktu nie musimy udowadniać

Na mocy międzykolumnowego prawa Irbisa w żadnym podręczniku matematyki nie znajdziemy bezpośredniego dowodu prawdziwości równoważności A2B2: ~TP<=>~SK – bo nie ma takiej potrzeby, ani fizycznej możliwości.

Zastosujmy kolumnowe prawo Irbisa do równoważności A2B2:
A2B2: ~TP<=>~SK = (A2: ~TP~>~SK)*(B2: ~TP=>~SK) <=> A2B2: ~TP=~SK
Co oznacza tożsamość zbiorów?
~TP=~SK
Czytamy:
Każdy trójkąt nieprostokątny ~TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów z niespełnioną sumą kwadratów ~SK
Wniosek:
Zbiory ~TP i ~SK są równoliczne, mają identyczną liczbę elementów


Ostatnio zmieniony przez rafal3006 dnia Czw 12:04, 03 Kwi 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 12:17, 03 Kwi 2025    Temat postu:

Cytat:
Oczywiście jak podasz jeden kontrprzykład że dla naszego ostatnio odkrytego prawa to kasuję AK.

Jakim trzeba być idiotą, by obiecywać coś, czego się właśnie nie dotrzymało ...
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 12:28, 03 Kwi 2025    Temat postu:

Irbisol napisał:
Cytat:
Oczywiście jak podasz jeden kontrprzykład że dla naszego ostatnio odkrytego prawa to kasuję AK.

Jakim trzeba być idiotą, by obiecywać coś, czego się właśnie nie dotrzymało ...


Jak zwykle Irbisolu, wszyscy widzą twoją paniczną ucieczkę w maliny, bo kontrprzykładu dla naszego gorącego jeszcze prawa nie podasz.
Dokładnie dlatego obiecuję ci skasowanie AK bo jestem w 100% pewien, że kontrprzykład dla naszego prawa nie istnieje.
Czy rozumiesz co znaczy "nie istnieje"? :)

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11425.html#837475
rafal3006 napisał:
Czy można okryć coś przypadkiem, nie wiedząc o tym?
TAK!
Dowód to nasz Irbisol :)
Nie ma w tym nic nadzwyczajnego czego dowodem jest cytat z AK w moim poście wyżej.

Irbisol napisał:
Ja takiego spamu nigdy bym nie utworzył.


Gdzie ty widzisz spam w naszym, aktualnie odkrytym kolumnowym i międzykolumnowym prawie Irbisa?
Oczywiście jak podasz jeden kontrprzykład że dla naszego ostatnio odkrytego prawa to kasuję AK.

Irbisolu,
Jak nie rozumiesz przykładu działania naszego, gorącego jeszcze prawa w postaci obsługi równoważności Pitagorasa to po prostu napisz – będę tłumaczył.
Tu na pocieszenia dodam, że żaden ziemski matematyk nie zna naszego kolumnowego i międzykolumnowego prawa Irbisa – tak więc twoje jego nierozumienie to żaden wstyd.


Ostatnio zmieniony przez rafal3006 dnia Czw 12:29, 03 Kwi 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 13:01, 03 Kwi 2025    Temat postu:

A po co mam podawać? I tak nie wykasujesz AK.
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 13:48, 03 Kwi 2025    Temat postu:

Irbisol napisał:
A po co mam podawać? I tak nie wykasujesz AK.

Jesli podasz kontrprzykład dla naszego wspólnego prawa Irbisa w wersji kolumnowej i międzykolumnowej to bedziesz miał osobistą z tego satysfakcję - co więcej, udowodnisz wszystkim czytelnikom iż w logice matematycznej KRZ jest bogiem, a AK gównem, a ja oczywiście wejdę pod stół i ze wstydu się spalę.
Więc?
Podasz ten kontrprzykład?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 14:16, 03 Kwi 2025    Temat postu:

Już wielokrotnie pokazywałem, że AK jest gównem, a w KRZ wszystko się zgadza.
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 14:33, 03 Kwi 2025    Temat postu:

Irbisol napisał:
Już wielokrotnie pokazywałem, że AK jest gównem, a w KRZ wszystko się zgadza.

Ja mówię:
SPRAWDZAM!
Zobaczmy, jak to twoje obalanie AK ci wychodziło.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836669
Irbisol napisał:
Rafal3006 napisał:

Kod:

TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1:  p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
        [=]      [=]                             #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q

Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #.

A czy równoważność p<=>q jest równoważna z równoważnością ~p<=>~q ?
Czyli:
Jaka jest wartość tego wyrażenia:
(p<=>q) <=> (~p<=>~q)
?

Moja odpowiedź na twoje pytanie brzmi:
(p<=>q) <=> (~p<=>~q) =1

I co dalej?
Czy już obaliłeś AK?


Ostatnio zmieniony przez rafal3006 dnia Czw 14:34, 03 Kwi 2025, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16528
Przeczytał: 8 tematów


PostWysłany: Czw 14:48, 03 Kwi 2025    Temat postu:

Już ci wcześniej wskazywałem błędy. Po których zresztą obiecywałeś to swoje gówno wykasować.
A równoważność wyżej akurat działa też w KRZ.
Pokaż coś, czego w KRZ nie ma.
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: 37567
Przeczytał: 12 tematów

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

PostWysłany: Czw 15:10, 03 Kwi 2025    Temat postu:

Irbisol napisał:
Już ci wcześniej wskazywałem błędy. Po których zresztą obiecywałeś to swoje gówno wykasować.
A równoważność wyżej akurat działa też w KRZ.
Pokaż coś, czego w KRZ nie ma.

Bardzo proszę.
Tego co w cytacie niżej nie ma w KRZ!
Czyli nie ma w KRZ kluczowych w logice matematycznej praw:
1.
Kolumnowego prawa Irbisa
2.
Międzykolumnowego prawa Irbisa
które to prawa przy wybitnej twojej pomocy przed chwilką zapisałem i udowodniłem.
Dzięki! :)
Innymi słowy:
Jesteś Irbisolu współautorem odkrycia tych praw.
Mam nadzieję, że jesteś (lub wkrótce będziesz) z tego dumny.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11425.html#837447

rafal3006 napisał:
Irbisol napisał:
Zgadza się - rozszyfrowałem, jakie to gówno (za wyjątkiem sytuacji, gdzie jest zbieżne z KRZ).


Ostatnie nasze wspólne dzieło masz niżej.
Czy to też jest zbieżne z posranym KRZ? :)

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:


Spis treści
2.9 Prawo Irbisa 1
2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa 3
2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa 4


2.9 Prawo Irbisa
Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
      ##        ##           ##        ##            ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5:  p+~q

Prawa Kubusia:        | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q  | A1: p=>q  = A4:~q=>~p
B1: p~>q = B2:~p=>~q  | B2:~p=>~q = B3: q=>p

Prawa Tygryska:       | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p   | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p   | B1: p~>q  = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - 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 równoważności p<=>q:
Równoważność p<=>q w logice dodatniej (bo q) to spełnienie zarówno warunku wystarczającego =>, jak i koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
Lewą stronę czytamy:
Zajdzie p wtedy i tylko wtedy gdy zajdzie q
Prawą stronę czytamy:
Zajście p jest (=1) warunkiem koniecznym ~> (B1) i wystarczającym => (A1) dla zajścia q
Innymi słowy:
Do tego by zaszło q potrzeba ~> (B1) i wystarcza => (A1) by zaszło p

Ta wersja równoważności jest powszechnie znana.

Na mocy prawa Słonia dla zbiorów (2.8) oraz tabeli T0 możemy wygenerować dużą ilość tożsamych definicji równoważności p<=>q.

1.
Matematyczna definicja równoważności p<=>q (znana każdemu matematykowi):

Równoważność p<=>q to jednoczesna prawdziwość matematycznego twierdzenia prostego A1: p=>q i matematycznego twierdzenia odwrotnego B3: q=>p
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q, twierdzenie proste A1.
B3: q=>p =1 - zajście q jest (=1) wystarczające => dla zajścia p, twierdzenie odwrotne (względem A1)
Stąd mamy:
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1 =1

Przykład:
Równoważność Pitagorasa:
Trójkąt jest prostokątny TP wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów SK
A1B3: TP<=>SK = (A1: TP=>SK)*(B3: SK=>TP) =1*1 =1
Znaczenie zdań składowych:
A1.
Jeśli trójkąt jest prostokątny TP to zachodzi w nim suma kwadratów SK
A1: TP=>SK =1 – twierdzenie proste Pitagorasa ludzkość udowodniła wieki temu
B3.
Jeśli w trójkącie zachodzi suma kwadratów SK to trójkąt jest prostokątny TP
B3: SK=>TP =1 – twierdzenie odwrotne Pitagorasa ludzkość udowodniła wieki temu

2.
Definicja równoważności wyrażona relacjami podzbioru =>

Równoważność p<=>q to relacja podzbioru => zachodząca w dwie strony
A1: p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
B3: q=>p =1 - wtedy i tylko wtedy gdy zbiór q jest (=1) podzbiorem => zbioru p
Stąd mamy:
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1 =1

Stąd mamy:

Prawo Irbisa dla zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1) i jednocześnie zbiór q jest podzbiorem => zbioru p (B3)
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p)= A1B3: p<=>q
Prawo Irbisa znane jest każdemu matematykowi.

Innymi słowy:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (i odwrotnie)
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) <=> A1B3: p=q

Prawo Irbisa w relacjach podzbioru => i nadzbioru ~>.

Prawo Irbisa dla zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q (A1) i jednocześnie zbiór p jest (=1) nadzbiorem ~> zbioru q (B1)
A1: p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
B1: p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Stąd mamy:
A1B1: p=q <=> (A1: p=>q)*(B1: p~>q) = A1B1: p<=>q
Dowód:
Oczywistość, bo na mocy definicji podzbioru => i nadzbioru ~> każdy zbiór jest jednocześnie podzbiorem => i nadzbiorem ~> siebie samego.

Korzystając z prawa Słonia (2.8) prawo Irbisa możemy też zapisać w warunkach koniecznym ~> (B1) i wystarczającym => (A1).

Prawo Irbisa dla zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zajście p jest konieczne ~> (B1) i wystarczające => (A1) dla zajścia q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy:
A1B1: p=q <=> (A1: p=>q)*(B1: p~>q) = A1B1: p<=>q

2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa

Tabela prawdy równoważności p<=>q w zbiorach z uwzględnieniem prawa Irbisa oraz definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>
Tabela prawdy równoważności w zdarzeniach jest analogiczna, bowiem w zdarzeniach na mocy prawa Orła również występują relacje podzbioru => i nadzbioru ~> czego dowód mieliśmy w punktach 2.2.2 i 2.2.3.
Kod:

TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w równoważności p<=>q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności A1B1: p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
       A1B1:         A2B2:      |     A3B3:           A4B4:
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  =1  = 2:~p=>~q =1 [=] 3: q=>p  =1  =  4:~q~>~p =1
B':                2:~p~~>q =0 [=] 3: q~~>~p=0   
-----------------------------------------------------------------------
Równoważność <=> definiuje:     |     Równoważność <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1   [=] 3: q<=>p=1   =  4:~q<=>~p=1
tożsamość zdarzeń/zbiorów:      |     tożsamość zdarzeń/zbiorów:
AB: 1: p=q     # 2:~p=~q        |  3: q=p       #  4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej

Prawa Sowy:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość pozostałych zdań
Prawdziwość dowolnego zdania serii Bx wymusza prawdziwość pozostałych zdań

Na mocy powyższej tabeli prawdy dowolnej równoważności możemy zapisać dwa prawa Irbisa.

Kolumnowe prawo Irbisa:
Każda kolumnowa równoważność prawdziwa p<=>q definiuje tożsamość zbiorów/zdarzeń p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q

##

Międzykolumnowe prawo Irbisa:
Każda międzykolumnowa równoważność prawdziwa definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=]
A1B1: p<=>q [=] A2B2: ~p<=>~q
Powyższy zapis to po prostu prawa Sowy w odniesieniu do tabeli prawdy równoważności p<=>q.

Gdzie:
## - prawa różne na mocy definicji (dotyczą dwóch różnych pojęć)

2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa

Kolumnowe prawo Irbisa dla równoważności Pitagorasa:
Kolumnowa równoważność prawdziwa TP<=>SK definiuje tożsamość zbiorów TP=SK (i odwrotnie)
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) <=> A1B1: TP=SK
Co oznacza tożsamość zbiorów?
TP=SK
Czytamy:
Każdy trójkąt prostokątny TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełnioną sumą kwadratów SK
Wniosek:
Zbiory TP i SK są równoliczne, mają identyczną liczbę elementów

Międzykolumnowe prawo Irbisa dla równoważności Pitagorasa:
A1B1: TP<=>SK [=] A2B2: ~TP<=>~SK
Międzykolumnowe prawo Irbisa mówi nam, że potrzeba i wystarcza udowodnić prawdziwość równoważności Pitagorasa w logice dodatniej (bo SK), by mieć gwarancję matematyczną prawdziwości równoważności Pitagorasa w logice ujemnej (bo ~SK).

A1B1:
Trójkąt jest prostokątny TP wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów SK
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) – co ludzkość zrobiła wieki temu
[=]
A2B2:
Trójkąt nie jest prostokątny ~TP wtedy i tylko wtedy gdy nie zachodzi w nim suma kwadratów ~SK
A2B2: ~TP<=>~SK = (A2: ~TP~>~SK)*(B2: ~TP=>~SK) – tego faktu nie musimy udowadniać

Na mocy międzykolumnowego prawa Irbisa w żadnym podręczniku matematyki nie znajdziemy bezpośredniego dowodu prawdziwości równoważności A2B2: ~TP<=>~SK – bo nie ma takiej potrzeby, ani fizycznej możliwości.

Zastosujmy kolumnowe prawo Irbisa do równoważności A2B2:
A2B2: ~TP<=>~SK = (A2: ~TP~>~SK)*(B2: ~TP=>~SK) <=> A2B2: ~TP=~SK
Co oznacza tożsamość zbiorów?
~TP=~SK
Czytamy:
Każdy trójkąt nieprostokątny ~TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów z niespełnioną sumą kwadratów ~SK
Wniosek:
Zbiory ~TP i ~SK są równoliczne, mają identyczną liczbę elementów


Ostatnio zmieniony przez rafal3006 dnia Czw 15:15, 03 Kwi 2025, w całości zmieniany 2 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 -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... , 457, 458, 459  Następny
Strona 458 z 459

 
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