Autor Wiadomość
rafal3006
PostWysłany: Nie 17:32, 05 Kwi 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-1200.html#515293
rafal3006 napisał:
Co ja na to poradzę, że gdzie nie dotknę palcem to KRZ się wali?
Czy to moja wina?
rafal3006
PostWysłany: Sob 21:05, 04 Kwi 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-1175.html#515111
rafal3006 napisał:
Biedny Irbisol - leży, kwiczy i błaga o litość bym mu darował twierdzenie Pitagorasa!
Niestety Irbisolu, matematyka nie zna litości - twierdzenie Pitagorasa jest w 8 klasie SP i ty musisz je znać perfekcyjnie!
rafal3006
PostWysłany: Śro 13:00, 01 Kwi 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-1075.html#514189
rafal3006 napisał:
Szach mat ostateczny dla gówna zwanego KRZ!



Irbisol napisał:

W dodatku zwyczajnie łżesz niczym zasrana menda, że nie uznawałem wcześniej tożsamości TP=SK

Dzięki, że zrozumiałeś!
:brawo: :brawo: :brawo: :* :pidu:

To teraz powiedz nam wszystkim czy ta tożsamość jest PRAWDZIWA na gruncie KRZ?
Biorę Idiotę za świadka że Irbisol nie odpowie na to pytanie.

P.S.
Niezły kawał mi wyszedł na prima aprilis, czyli dziś rano opublikowałem końcową wersję AK - trzeba trochę dopisać, ale AK przybrała ostateczny kształt:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,15935.html#513175
rafal3006
PostWysłany: Czw 8:50, 19 Mar 2020    Temat postu:

Biorę teraz wszystkich za świadków, że w obliczu cytatu niżej Irbisol nie ma innego wyjścia jak wywiesić białą flagę i przejść do obozu algebry Kubusia!
Czy mam rację Irbisolu?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-vs-krz-ostatnie-starcie,15881.html#510743

rafal3006 napisał:
Algebra Kubusia vs Klasyczny Rachunek Zdań - ostatnie starcie!
Z dedykacją dla Fiklita w podziękowaniu za 8-letnią, bezcenną dla mnie, rzeczową dyskusję.

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-525.html#510451
fiklit napisał:

nic nie trzeba robić, to jest implikacja AK i tyle. i jest też równioważniść AK. więc mamy niejednoznaczność opertorów (tu spobie możesz powtórzyć: operatorów) AK,
...
,więc AK jest sprzeczna.

Fiklicie, w tym do czego się przyczepiłeś nie ma absolutnie żadnej sprzeczności, bo wszystko zależy od tego ile zmiennych wolnych i w którym miejscu zadeklarujesz w układzie - myślę, że niniejszy post powinien wszystko wyjaśnić.
Równoważność = zero zmiennych wolnych
Implikacja - minimum jedna zmienne wola (implikacja minimalna = jedna zmienna wolna)
Operator chaosu - minimum dwie zmienne wolne (minimalny operator chaosu = dwie zmienne wolne)
Identycznie jest w teorii zbiorów. Kompletną logikę matematyczną dotyczącą teorii zbiorów można pięknie wyjaśnić przy użyciu zaledwie czterech elementów np. D=[1,2,3,4] i ta logika będzie obowiązywała także dla matematycznych zbiorów nieskończonych - to jest odpowiednik liczenia na paluszkach do 10. Oczywiście opiszę to i udowodnię w podręczniku „Algebra Kubusia - teoria zbiorów”
Nie masz racji Fiklicie, algebra Kubusia jest absolutnie jednoznaczna, natomiast Klasyczny Rachunek Zdań jest wewnętrznie sprzeczny - dowód w niniejszym poście!

Do płaskoziemcy Irbisola:
Matematyk który na bazie niniejszego postu nie zrozumie absolutnej jednoznaczności algebry Kubusia powinien skreślić sobie słówko „matematyk” sprzed swego nazwiska.
Matematyk który na bazie niniejszego postu nie zrozumie niejednoznaczności gówna zwanego KRZ, co jest tożsame z jego wewnętrzną sprzecznością, powinien skreślić sobie słówko „matematyk” sprzed swego nazwiska.
Czy mam rację Idioto - kolejny śfiński płaskoziemco?

http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-225.html#310261
idiota napisał:
Chyba ostatecznie przegrzaliśmy rafałowi pozostałości mózgu.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2000.html#299283
idiota napisał:
Boże, co za bzdury...
To niesamowite jak rafał swoim nierozumieniem niczego potrafi sobie w głowie posklejać co się da i zrobić to jakoś odnoszące się do jego idee fixe...
Przecież tego nie ma sensu nawet wyjaśniać, bo widać tu raczej symptomy choroby, a nie rozumowanie.

http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
Irbisol napisał:
Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1050.html#415439
Irbisol napisał:
Po prostu nie mam już słów na wyrażenie stopnia twojego upośledzenia, które nie pozwala ci tego pojąć.

etc

Teoria niezbędna do zrozumienia niniejszego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-teoria-zdarzen,15675.html#505589
Algebra Kubusia - teoria zdarzeń napisał:

1.2 Podstawowe spójniki implikacyjne w zdarzeniach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń p i q

Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q = p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesna zajście zdarzeń p i q.
Inaczej:
p~~>q = p*q =[] =0

Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

1.2.1 Definicja kontrprzykładu w zdarzeniach

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 ~~>
Definicja zdarzenia możliwego ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i ~q
Inaczej:
p~~>~q =p*~q =0
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)

1.3 Matematyczne związki warunku wystarczającego => i koniecznego ~>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
A1: p=>q = ~p+q
##
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
B1: p~>q = p+~q
Gdzie:
## - różne na mocy definicji

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne A1 i B1 są różne na mocy definicji gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej

Stąd mamy:
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego:
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
Gdzie:
## - różne na mocy definicji
Zmienne p i q muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia


Nawiązując do historycznego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-vs-krz-ostatnie-starcie,15881.html#510745


Algebra Kubusia = logika absolutnie jednoznaczna dla wszystkich operatorów!

Zadanie z egzaminu do I klasy LO (w 100-milowym lesie oczywiście):
Dane są cztery schematy elektryczne jak niżej.
Zbadaj które z nich są fizycznymi realizacjami:
1. Równoważności A<=>S
2. Implikacji prostej A|=>S
3. Implikacji odwrotnej A|~>S
4. Operatora chaosu A|~~>S
Na wszystkich schematach przyjmij, że jedynymi zmiennymi związanymi są przycisk A i żarówka S.
Kod:

S1 Schemat 1
             S               A       
       -------------       ______     
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Kod:

S2 Schemat 2
                             B
                           ______
                      -----o    o-----
             S        |      A       |
       -------------  |    ______    |
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Kod:

S3 Schemat 3
             S               B          A       
       -------------       ______     ______
  -----| Żarówka   |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------

Kod:

S4 Schemat 4
                                        C
                                      ______
                                   ---o    o----
                                   |           |
             S               B     |    A      |
       -------------       ______  |  ______   |
  -----| Żarówka   |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------
 


Rozwiązanie Jasia (lat 15):

Definicje podstawowe operatorów logicznych dla żarówki i zespołu przycisków A, B, C:
1.
Operator równoważności A<=>S:
A<=>S = (A1: A=>S)*(B1: A~>S) =1*1 =1
2.
Operator implikacji prostej A|=>S:
A|=>S = (A1: A=>S)*~(B1: A~>S) = 1*~(0) =1*1=1
3.
Operator implikacji odwrotnej A|~>S:
A|~>S = (B1: A~>S)*~(A1: A=>S) = 1*~(0) =1*1 =1
4.
Operator chaosu A|~~>S:
A|~~>S = ~(A1: A=>S)*~(B1: A~>S) = ~(0)*~(0) =1*1 =1

Najprostszy algorytm rozstrzygania to sprowadzenie definicji podstawowych wyłącznie do warunków wystarczających ze względu na istniejącą tylko i wyłącznie tu definicję kontrprzykładu.

Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego powiązane ze przyciskiem A i żarówką S.
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A
Gdzie:
## - różne na mocy definicji
Zmienne A i S muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia

Korzystając z powyższych związków łatwo zapisujemy potrzebne nam wersje operatorów logicznych wyrażone wyłącznie w warunkach wystarczających =>:
1.
Operator równoważności A<=>S:
A<=>S = (A1: A=>S)*(B2: ~A=>~S) =1*1 =1
##
2.
Operator implikacji prostej A|=>S:
A|=>S = (A1: A=>S)*~(B2: ~A=>~S) = 1*~(0) =1*1=1
##
3.
Operator implikacji odwrotnej A|~>S:
A|~>S = (B2: ~A=>~S)*~(A1: A=>S) = 1*~(0) =1*1 =1
##
4.
Operator chaosu A|~~>S:
A|~~>S = ~(A1: A=>S)*~(B2: ~A=>~S) = ~(0)*~(0) =1*1 =1

Gdzie:
## - różne na mocy definicji

Ad.1
Badamy które schematy spełniają definicję równoważności A<=>S:

A<=>S = (A1: A=>S)*(B2: ~A=>~S) =1*1 =1
stąd dla równoważności A<=>S mamy:
Wzorzec:
A1: A=>S=1
B2: ~A=>~S =1


Badamy schematy:
S1.
Czy schemat S1 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienna wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem

Ad.2
Badamy które schematy spełniają definicję implikacji prostej A|=>S:

A|=>S = (A1: A=>S)*~(B2: ~A=>~S) = 1*~(0) =1*1=1
stąd dla implikacji prostej A|=>S mamy:
Wzorzec:
A1: A=>S=1
B2: ~A=>~S =0


Badamy schematy:
S1.
Czy schemat S1 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienna wolna B=1
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem

Ad.3
Badamy które schematy spełniają definicję implikacji odwrotnej A|~>S:

A|~>S = (B2: ~A=>~S)*~(A1: A=>S) = 1*~(0) =1*1 =1
stąd dla implikacji odwrotnej A|~>S mamy:
Wzorzec:
A1: A=>S=0
B2: ~A=>~S =1


Badamy schematy:
S1.
Czy schemat S1 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienne wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem

Ad.4
Badamy które schematy spełniają definicję operatora chaosu A|~~>S:

A|~~>S = ~(A1: A=>S)*~(B2: ~A=>~S) = ~(0)*~(0) =1*1 =1
stąd dla operatora chaosu A|~~>S mamy:
Wzorzec:
A1: A=>S=0
B2: ~A=>~S =0


Badamy schematy:
S1.
Czy schemat S1 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienne wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 1 =TAK! - zgodność z wzorcem

Zauważmy, że algebra Kubusia w zgodzie z matematyczną prawdą, rozpoznała jednoznacznie właściwy operator w badanej grupie przypisując mu wartość logiczną 1 - pozostałym operatorom w badanej grupie przypisana została wartość logiczną 0.
Wniosek:
Algebra Kubusia jest perfekcyjnie jednoznaczna!

Klasyczny Rachunek Zdań = logika jednoznaczna wyłącznie dla równoważności A<=>S!

W do realizacji urządzeń w świecie techniki i inżynierii operator równoważności jest konieczny i wystarczający, bowiem w świecie techniki nie ma miejsca na „rzucanie monetą” istniejące w pozostałych operatorach logicznych A|=>S, A|~>S i A|~~>S.
Do obsługi języka potocznego człowieka, czyli do obsługi matematycznego myślenia człowieka istnienie i właściwe rozumienie (jak w AK) wszystkich czterech operatorów logicznych A<=>S, A|=>S, A|~>S i A|~~>S jest absolutnie konieczne!
Bez poprawnego rozumienia operatorów logicznych (jak w AK) lądujemy w wariatkowie zwanym KRZ gdzie prawdziwe są androny typu:
Jeśli 2+2=4 to Płock leży nad Wisłą
Jeśli 2+2=5 to prawdziwe jest twierdzenie Pitagorasa
Jeśli Prosiaczek jest misiem to Kubuś jest świnką
Trawa jest zielna wtedy i tylko wtedy gdy 2+2=4
etc

Sformułujmy dokładnie takie samo zadanie jak w 100-milowym lesie!

Dane są cztery schematy elektryczne jak niżej.
Zbadaj które z nich są fizycznymi realizacjami:
1. Równoważności A<=>S
2. Implikacji A=>S
Na wszystkich schematach przyjmij, że jedynymi zmiennymi związanymi są przycisk A i żarówka S.

Jak widać logika „matematyczna” ziemian ma poprawne pojęcie wyłącznie o równoważności i jest jednym wielkim, potwornie śmierdzącym gównem w zakresie pozostałych trzech operatorów logicznych A|=>S, A|~>S i A|~~>S.
Jedyny przebłysk w gównie zwanym KRZ zwany „implikacją” jest źle zdefiniowany i niejednoznaczny, czyli wewnętrznie sprzeczny, czego dowód niżej.
Kod:

S1 Schemat 1
             S               A       
       -------------       ______     
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Kod:

S2 Schemat 2
                             B
                           ______
                      -----o    o-----
             S        |      A       |
       -------------  |    ______    |
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Kod:

S3 Schemat 3
             S               B          A       
       -------------       ______     ______
  -----| Żarówka   |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------

Kod:

S4 Schemat 4
                                        C
                                      ______
                                   ---o    o----
                                   |           |
             S               B     |    A      |
       -------------       ______  |  ______   |
  -----| Żarówka   |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------
 


Rozwiązanie zadania na gruncie aktualnej gówno-logiki ziemian zwanej KRZ:

Ad.1
Badamy które schematy spełniają definicję równoważności A<=>S:

Święta krowa ziemskich matematyków to:
A<=>S = (A1: A=>S)*(B3: S=>A)
Ziemianie znają prawo kontrapozycji:
B3: S=>A = B2:~A=>~S
Stąd definicja równoważności w KRZ jest identyczna jak w AK:
A<=>S = (A1: A=>S)*(B2: ~A=>~S) =1*1 =1
stąd dla równoważności A<=>S mamy:
Wzorzec:
A1: A=>S=1
B2: ~A=>~S =1


Badamy schematy:
S1.
Czy schemat S1 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienne wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem

Jak widzimy, w zakresie równoważności A<=>S logika „matematyczna” ziemian jest jednoznaczna, bowiem odpowiedzi są tu identyczne jak w algebrze Kubusia.

Jednak gówno zwane KRZ na zawsze pozostanie gównem - nawet w równoważności!
Dowód:
Równoważności prawdziwe w gównie zwanym KRZ:
Trawa jest zielona wtedy i tylko wtedy gdy 2+2=4
2+2=5 wtedy i tylko wtedy gdy jestem ciotką Napoleona
etc

… ale teraz będzie się działo!

Ad.2
Badamy które schematy spełniają definicję implikacji rodem z KRZ A=>S:

A1: A=>S =1
stąd dla implikacji rodem z KRZ A1: A=>S mamy:
Wzorzec:
A1: A=>S=1
B2: brak!


Badamy schematy:
S1.
Czy schemat S1 spełnia definicję implikacji A=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: brak!
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję implikacji A=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: brak!
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję implikacji A=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: brak!
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: brak!
Odpowiedź: 0 = NIE! - niezgodność z wzorcem

Każdy matematyk przy zdrowych zmysłach widzi tu wewnętrzną sprzeczność gówna zwanego KRZ.
Zauważmy bowiem, że gówno zwane KRZ rozpoznaje jako implikację rodem z KRZ zarówno schemat S1 jak i schemat S2.
Wniosek:
Klasyczny Rachunek Zdań jest wewnętrznie sprzeczny!
cnd
rafal3006
PostWysłany: Śro 20:57, 18 Mar 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-550.html#510609
rafal3006 napisał:
Podwójny Armagedon gówno-logiki Irbisola zwanej KRZ!
rafal3006
PostWysłany: Śro 15:21, 18 Mar 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-525.html#510521
rafal3006 napisał:
Czy Irbisol obali poprawne wnioskowanie matematyczne zdrowego na umyśle człowieka?
Twierdze że nie ma na to żadnych szans, bo z poprawną logiką matematyczną nie da się wygrać.
rafal3006
PostWysłany: Śro 4:09, 11 Mar 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/dlaczego-zadne-q-nie-wynika-absolutnie-z-konkretnego-p,15759-50.html#509211
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Debilu, czy ty rozumiesz co się do ciebie pisze?
Odróżniasz wyeliminowanie znaczka od wyeliminowania warunku koniecznego?

Chodzi o to debilu do potęgi nieskończonej, że wyeliminowanie znaczka ~> uniemożliwia ci zrozumienie

Czyli znaczek ~> oznacza co innego niż znaczek <= ?

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-350.html#509207
rafal3006 napisał:
Szach-mat wszech czasów dla gówna zwanego KRZ po raz n-ty!

Fiklicie, za chwilę odpowiem na twoje pytanie.

Najpierw jednak spróbuję dotrzeć do Irbisola, udowadniając mu iż totalnie nie rozumie logiki matematycznej!
Jestem pewien, że do niego dotrę pod warunkiem że przeczyta co się do niego pisze a nie walnie swoim dyżurnym sloganem:
„nie zamówionych bredni nie czytam”
Odpowiadam na pytanie Irbisola które zadał w wątku u Michała tu dlatego, że chcę, aby przyszli czytelnicy naszej świętej wojny AK vs KRZ mieli zachowaną chronologię kolejnych starć na śmierć i życie w tej wojnie - zwycięzca może być tylko jeden - żaden kompromis w postaci jednoczesnego istnienia AK i KRZ nie jest tu możliwy!
rafal3006
PostWysłany: Sob 2:54, 07 Mar 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-300.html#508609
rafal3006 napisał:
Czy płaskoziemca Irbisol wie co to znaczy UDOWODNIJ!
Twierdzę że nie wie, bo gdyby wiedział to bez problemu zrozumiałby że TOŻSAMYCH implikacji prostych |=> jest nieskończenie wiele.
Czy płaskoziemca zdoła to kiedykolwiek zrozumieć?
.. jak wszyscy widzą, mózg płaskoziemcy jest tak głęboko zatopiony w gównie zwanym KRZ że póki co prawda iż 2+2=4 nie jest w stanie do niego dotrzeć.
rafal3006
PostWysłany: Czw 23:40, 05 Mar 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508411
rafal3006 napisał:
Szach-mat wszech czasów dla gówna zwanego KRZ!


Szach-mat wszech czasów dla gówna zwanego KRZ!

Na czym polega szach-mat wszech czasów dla gówna zwanego KRZ?
Odpowiedź:
Na odkryciu, iż w absolutnie każdej implikacji mamy w jednej połówce gwarancję matematyczną =>, natomiast w drugiej połówce mamy do czynienia z najzwyklejszym „rzucaniem monetą”
rafal3006
PostWysłany: Czw 0:00, 05 Mar 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508201
rafal3006 napisał:
Są w matematyce rzeczy o których największym ziemskim matematykom się nie śniło!

Temat:
Wyprowadzenie definicji kontrprzykładu w logice matematycznej!
rafal3006
PostWysłany: Sob 20:11, 29 Lut 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-225.html#507515
rafal3006 napisał:
Porównanie obiektów implikacyjnych w algebrze Kubusia!
Teoria zdarzeń vs Teoria zbiorów

Podtytuł:
Największe odkrycie w historii algebry Kubusia, bo ostanie z ważnych odkryć!
… mam nadzieję - patrz punkt 5.0!
Dyskurs
PostWysłany: Nie 22:05, 23 Lut 2020    Temat postu:

rafal3006 napisał:
Ważne że ciebie [i.e. wszystkie wcielenia wirtualne Chryzjana] trzyma krótko na smyczy i nie pozwala szczekać.
Ditto :rotfl:
rafal3006
PostWysłany: Nie 21:57, 23 Lut 2020    Temat postu:

Ważne że ciebie trzyma krótko na smyczy i nie pozwala szczekać.
Hello
PostWysłany: Nie 14:58, 23 Lut 2020    Temat postu:

Cytat:
Od tej chwili przestaję się interesować czymkolwiek poza algebrą Kubusia, bo wreszcie, żelazna dama, Aurelka, zaprowadziła tu porządek.
Jak widać dama nie jest z żelaza, a swołocz szczeka gdzie nie bądź, niczem chiński wirus! :fuj:
_____________________
"Grypa szaleje w Naprawie" - J. Kurek
rafal3006
PostWysłany: Sob 21:00, 22 Lut 2020    Temat postu:

Płaskoziemca Irbisol w sytuacji bez wyjścia:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-125.html#506661
rafal3006 napisał:
Zacznę małymi kroczkami co by mi płaskoziemca nie spierdolił w krzaki!
rafal3006
PostWysłany: Pią 19:39, 21 Lut 2020    Temat postu:

Myślę, że podobna, tak zacięta i ważna dla ludzkości dyskusja, nigdy w przyszłości już się nie wydarzy.
Dzięki Irbisolu za tą dyskusję.
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-100.html#506513
rafal3006 napisał:
Szach-mat dla KRZ po raz dziesiąty!
rafal3006
PostWysłany: Wto 9:53, 18 Lut 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-25.html#506059
rafal3006 napisał:
KRZ = gówno-logika, wewnętrznie sprzeczna!
Twardy dowód w niniejszym poście!

Twardy dowód wewnętrznej sprzeczności KRZ:

KRZ nie ma pojęcia co to jest implikacja.
Sam jesteś tego Irbisolu twardym dowodem.

Czy dalej twierdzisz iż poniższa tożsamość jest prawdziwa?
Implikacja w KRZ => = warunek wystarczający => (który rozumiemy IDENTYCZNIE!)

Poproszę o odpowiedź - to jest absolutnie kluczowe pytanie i tego ci nie odpuszczę!
Hello
PostWysłany: Pon 13:52, 17 Lut 2020    Temat postu:

Rewelacyjna lektura dla upośledzonych:
https://lubimyczytac.pl/ksiazka/118259/logika-dla-opornych
Jeśli cię nie stać, to można uruchomić jakąś instytucję charytatywną...!? :think:
___________________________________
"Kłamstwo bywa logiczniejsze niż prawda." - S. Kisielewski
rafal3006
PostWysłany: Sob 20:02, 15 Lut 2020    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-25.html#505805
rafal3006 napisał:
Jak Jaś (lat 14) i Michał Dyszyński skompromitowali matematycznego tępaka - Irbisola?
Odpowiedź w niniejszym poście!

Ciekawe czy Michał Dyszyński (nauczyciel fizyki) rozumie niniejszy post?
rafal3006
PostWysłany: Sob 14:00, 15 Lut 2020    Temat postu:

Hello napisał:
Cytat:
... pomyliłeś wątki.
PS
http://www.sfinia.fora.pl/forum-kubusia,60/algebra-kubusia-2018-cdn,10787-1575.html#432085
________________________________
ŚN napisał:
1. Więzienie jest karą.
2. Kubuś może wymierzać tę karę ...


W twoim linku jest dowód twojej potwornej głupoty - tymczasem las (KRZ) płonie:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663.html#505427
rafal3006 napisał:
Szach mat w czterech posunięciach!
Który przejdzie do historii matematyki!
Hello
PostWysłany: Czw 14:52, 13 Lut 2020    Temat postu:

Cytat:
... pomyliłeś wątki.
PS
http://www.sfinia.fora.pl/forum-kubusia,60/algebra-kubusia-2018-cdn,10787-1575.html#432085
________________________________
ŚN napisał:
1. Więzienie jest karą.
2. Kubuś może wymierzać tę karę ...
rafal3006
PostWysłany: Śro 7:32, 12 Lut 2020    Temat postu: Prawdziwa dyskusja!

Śfinia jest wielka!
Dlaczego?
Bo możliwe są tu prawdziwe dyskusje jak na przykład tu:
http://www.sfinia.fora.pl/forum-kubusia,12/czy-irbisol-odpowie-na-kluczowy-problem,15637.html#505181
rafal3006 napisał:

Błąd 4 jest tu kluczowy i pogrążający płaskoziemcę Irbisola TOTALNIE!

... czyli wzajemne walenie się po mordach na całego.

Dzięki Irbisolu za tą dyskusję, bo właśnie doszło do kolejnego przełomu w odkrywaniu algebry Kubusia, czyli do zrozumienia tego zapisu:
A|=>S = (A1: A=>S)*~(B1: A~>S)

Powered by phpBB © 2001, 2005 phpBB Group