 |
Ś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.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Sob 13:47, 03 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840699
| Irbisol napisał: | Tu nie ma żadnego "mojego kodowania".
Zadałem ci pytanie i czekam na odpowiedź.
Na twoje pytanie, czy będę czytał niezamawiane gówno, odpowiedź jest od lat niezmienna. |
Oczywiście JEST ... ale ślepy nie widzi i co gorsza, nie chce widzieć.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840679
| rafal3006 napisał: | Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody!
| Irbisol napisał: | Ale ja nie chcę, żebyś mi to wyjaśniał. Chcę, żebyś odpowiedział na pytanie.
Jak odpowiesz, to na bank będę chciał wyjaśnienia - będziesz miał pole do popisu. |
Podsumowując:
Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody mojego wyjaśnienia pod jakim warunkiem jego kodowanie zdania pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
A0 <=> ~A2
będzie matematycznie poprawne!
Gdzie:
Znaczenie Irbisolowego A0:
A0=K+T
Żegnaj tchórzu, wrócę tu tylko wtedy gdy zgodzisz się przeczytać kilka linijek mojego wyjaśnienia.
Zatem:
Przeczytasz?
TAK/NIE |
Ostatnio zmieniony przez rafal3006 dnia Sob 14:05, 03 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 15:20, 03 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840703
Dlaczego Irbisol tak panicznie boi się mojej odpowiedzi
w temacie jego poprawnego kodowania (pod trywialnym warunkiem) zdania pani przedszkolanki jak w cytacie niżej.
Odpowiedź w drugiej części niniejszego postu.
| rafal3006 napisał: | Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody!
| Irbisol napisał: | Ale ja nie chcę, żebyś mi to wyjaśniał. Chcę, żebyś odpowiedział na pytanie.
Jak odpowiesz, to na bank będę chciał wyjaśnienia - będziesz miał pole do popisu. |
Podsumowując:
Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody mojego wyjaśnienia pod jakim warunkiem jego kodowanie zdania pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
A0 <=> ~A2
będzie matematycznie poprawne!
Gdzie:
Znaczenie Irbisolowego A0:
A0=K+T
Żegnaj tchórzu, wrócę tu tylko wtedy gdy zgodzisz się przeczytać kilka linijek mojego wyjaśnienia.
Zatem:
Przeczytasz?
TAK/NIE |
Dlaczego Irbisol tak panicznie boi się mojej odpowiedzi w temacie jego poprawnego kodowania (pod trywialnym warunkiem) zdania pani przedszkolanki jak w cytacie wyżej.
Odpowiedź jest trywialna!
Jeśli przeczyta moją odpowiedź to jego potwornie śmierdzące gówno do potęgi nieskończonej jak w cytacie niżej legnie w gruzach!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11600.html#838951
| Irbisol napisał: | D(p) - dotrzyma słowa, że p
D(p) <=> p
Nadal za mało pierdolenia?  |
Ostatnio zmieniony przez rafal3006 dnia Sob 15:23, 03 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 16:14, 03 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840713
| Irbisol napisał: | | Jeżeli są dodatkowe warunki, to A0 <=> ~A2 jest fałszem wg ciebie. |
Po chuj po omacku pierdolisz zamiast napisać wprost.
Zgoda, pokaż po jakim warunkiem mój zapis:
A0<=>~A2
będzie poprawnym kodowaniem zdania pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
Kodowanie irbisola:
A0<=>~A2
Gdzie u Irbisola:
A0=K+T
Irbisolu, twoje kodowanie jest super, to jest poprawne kodowanie zdania naszej pani przedszkolanki pod trywialnym warunkiem!
Kwadratura koła dla Irbisola:
Czy zgodzisz się przeczytać pod jakim trywialnym warunkiem twoje kodowania matematyczne zdania 1 będzie matematycznie super-poprawne!
TAK/NIE
Zapiszę ci ten banał pod warunkiem, że odpowiesz TAK
Więc?
Czego się boisz głupi, czemu nie chcesz iść na całość?
Jan Kaczmarek
https://www.youtube.com/watch?v=ALLIFx49kbQ
Ostatnio zmieniony przez rafal3006 dnia Sob 16:15, 03 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 18:33, 03 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840723
Gówno prawda - jesteś totalnym ZEREM logiki matematycznej!
Nie wiesz w którym kościele dzwony biją!
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Jeżeli są dodatkowe warunki, to A0 <=> ~A2 jest fałszem wg ciebie. |
Po chuj po omacku pierdolisz zamiast napisać wprost. |
Napisałem ci wprost.
Skoro może się zdarzyć, ale nie musi, że A0 <=> ~A2, to znaczy że w ogólności ta równoważność jest fałszywa.
Podobnie jak z deszczem i chmurami - czasami faktycznie są jednocześnie albo jednocześnie ich nie ma, ale w ogólności ta równoważność jest fałszywa.
Przypominam, że
A0 = K+T
A2 = ~K*~T
~A2 = ~(~K*~T) = K+T
Podstawiamy 1. i 3. linijkę - wg schizola nie jest prawdą iż
K+T <=> K+T
Witajcie w schizofrenicznym świecie Algebry Kubusia |
Gówno prawda - jesteś totalnym ZEREM logiki matematycznej!
Nie wiesz w którym kościele dzwony biją!
Jak chcesz poznać poprawny dowód iż rzeczywiście, twój opis matematyczny zdania pani przedszkolanki z cytatu niżej jest perfekcynie poprawny z trywialnym zastrzeżeniem to poproś.
Inaczej będziesz srał gównami jak w twoim cytacie wyżej do nieskończoności.
cnd
Więc jak?
Przeczytasz mój dowód czysto matematyczny iż zapisałeś matematycznie poprawne kodowanie zdania pani przedszkolanki z trywialnym zastrzeżeniem
TAK/NIE
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840679
| rafal3006 napisał: | Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody!
| Irbisol napisał: | Ale ja nie chcę, żebyś mi to wyjaśniał. Chcę, żebyś odpowiedział na pytanie.
Jak odpowiesz, to na bank będę chciał wyjaśnienia - będziesz miał pole do popisu. |
Podsumowując:
Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody mojego wyjaśnienia pod jakim warunkiem jego kodowanie zdania pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
A0 <=> ~A2
będzie matematycznie poprawne!
Gdzie:
Znaczenie Irbisolowego A0:
A0=K+T
Żegnaj tchórzu, wrócę tu tylko wtedy gdy zgodzisz się przeczytać kilka linijek mojego wyjaśnienia.
Zatem:
Przeczytasz?
TAK/NIE |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 19:48, 03 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840731
Większego tchórza to Wszechświat nie widział!
| Irbisol napisał: | | Potrafisz się obronić przed tym, co napisałem wyżej? Czy - jak zwykle - dopalacze ci się włączają i już uciekasz? |
Zapisałeś potwornie śmierdzące gówno - do gówna się nie odniosę.
Dowód iż zapisałeś gówno (który zrozumiesz) dostaniesz tylko wtedy, jak powiesz grzecznie TAK na moją propozycję niżej.
Kurwa mać!
Ty się panicznie boisz przeczytać kilku linijek mojego tekstu mimo że pozwalam ci obalać to co zapiszę.
Większego tchórza to Wszechświat nie widział!
Jak chcesz poznać prawdę dlaczego twój matematyczny opis zdania pani przedszkolanki jest matematycznie poprawny (z trywialnym zastrzeżeniem) to grzecznie poproś.
Czy przeczytasz mój dowód poprawności twojego kodowania zdania pani przedszkolanki (z trywialnym zastrzeżeniem)?
TAK/NIE
Powiedz grzecznie TAK, wtedy dostaniesz dowód.
P.S.
Prezentujesz sobą słupa absolutnego.
Definicja słupa absolutnego:
Moim Bogiem jest potworne śmierdzące gówno zwane KRZ.
Koniec i kropka
... a podobno Irbisolu ateistą jesteś.
Ostatnio zmieniony przez rafal3006 dnia Sob 19:51, 03 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 22:26, 03 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840739
Prawda buraka Irbisola!
| Irbisol napisał: | | rafal3006 napisał: | Czy przeczytasz mój dowód poprawności twojego kodowania zdania pani przedszkolanki (z trywialnym zastrzeżeniem)?
TAK/NIE |
NIE. |
Matematyczny burak - boi się przeczytać mojej wersji dowodu iż poprawnie zakodował zdanie pani przedszkolanki z małym zastrzeżeniem.
Bać się przeczytać kilku linijek algebry Kubusia bo ta mnie zabije!
Większego matematycznego idioty to nasz Wszechświat nie widział!
Pa, buraku.
Żyj sobie w tym swoim gównie zwanym KRZ.
Nam, ekspertom algebry Kubusia to wisi.
Podpisano:
Wszystkie 5-cio latki i wszyscy humaniści.
Amen
P.S.
Podpowiedź Prosiaczka!
Prawda buraka Irbisola:
Jeździmy po drodze zawsze prawą (P=1) stroną
P=1
Czytamy:
Prawdą jest (=1), że po drodze jeździmy prawa stroną
Definicja debila w świecie buraka Irbisola:
Każdy kto po drodze nie jeździ prawą stroną (~P=1) jest matematycznym debilem:
~P=1
Czytamy:
Prawdą jest (=1) że po drodze nie jeżdżą prawą stroną (~P) wyłącznie matematyczni debile.
Uwaga!
Zdaniem buraka cukrowego wyłącznie debile nie jeżdżą po drodze prawą stroną (~P=1)
Kontra dla buraka:
Polak vs Anglik
Daje ci to coś do myślenia, zepsuty buraku cukrowy, którego nawet Osioł nie tyknie.
Ostatnio zmieniony przez rafal3006 dnia Nie 6:53, 04 Maj 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 6:32, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840755
Dzięki Irbisolu za fantastyczną, 18-sto letnią dyskusję!
Dzięki twej manii:
KRZ jest moim Bogiem (przez duże B)
Algebra Kubusia jest non-stop rozszyfrowywana na żywo, bez przerwy padają kolejne bariery – tak się dzieje od 18 lat.
Bezdyskusyjnie obaj jesteśmy autorami rozszyfrowania AK na równych prawach.
Teraz ziemscy matematycy nie mają wyjścia – są pod ścianą, czyli na 100% wkrótce zaakceptują algebrę Kubusia.
c.n.d.
Przed chwilką, w nawiązaniu do naszej aktualnej dyskusji dopisałem do AK dwa punkty jak niżej (1.6 i 1.19)
Wielkie dzięki!
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a
Spis treści
1.6 Zasady kodowania zdań w operatorach jednoargumentowych 1
1.6.1 Funkcja logiczna Y zmiennej binarnej p 2
1.6.2 Funkcja logiczna Y stałej binarnej p 3
1.6.3 Kodowanie obietnic bezwarunkowych 3
1.19 Kodowanie złożonych obietnic bezwarunkowych 4
1.19.1 Prawo Mrówkojada 4
1.19.2 Dowód prawa Mrówkojada dla trzech zmiennych binarnych 4
1.6 Zasady kodowania zdań w operatorach jednoargumentowych
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Uwagi:
Linie A1B1 i A2B2 dotyczą świata żywego w którym kłamstwo (~Y) jest możliwe, zatem tu nie znamy z góry wartości logicznej zdań.
Linie A3B3 i A4B4 dotyczą świata martwego, który z definicji nie może kłamać, zatem tu znamy z góry wartość logiczną zdań 1 albo 0.
1.6.1 Funkcja logiczna Y zmiennej binarnej p
Definicja funkcji logicznej Y zmiennej binarnej p:
Funkcja logiczna Y zmiennej binarnej p jest poprawnie zbudowana wtedy i tylko wtedy gdy nie zawiera choćby jednego wartościowania w swoim zapisie.
To jest poprawnie zbudowana funkcja logiczna Y:
A1: Y=p
Co w logice jedynek oznacza:
A1’: Y=1 <=> p=1
.. a kiedy zajdzie ~Y?
#
Negujemy funkcję A1 dwustronnie:
B1: ~Y=~p
Co w logice jedynek oznacza:
B1’: ~Y=1 <=> ~p=1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Zauważmy, że znaczek # dotyczy wyłącznie funkcji logicznych A1 i B1 oraz nie dotyczy wartościowań A1’ i B1’
Dowód przez podanie kontrprzykładu.
W miejsce zmiennej binarnej A1: Y nie wolno nam wstawić jej wartościowania A1’: Y=1 bo dostaniemy sprzeczność czysto matematyczną.
To jest fałszywa funkcja logiczna Y:
A1”: Y=1 <=> p
… a kiedy zajdzie ~Y?
#
Negujemy A1” dwustronnie:
B1”: ~Y=0 <=> ~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Dowód sprzeczności czysto matematycznej:
Powinno być: B1’: ~Y=1 ## Jest: B1”: ~Y=0 (sprzeczność)
Gdzie:
## - różne na mocy definicji
1.6.2 Funkcja logiczna Y stałej binarnej p
Funkcja logiczna Y stałej binarnej p to po prostu prawa Prosiaczka omówione w punkcie 1.4
1.6.3 Kodowanie obietnic bezwarunkowych
Wszelkie obietnice dotyczą wyłącznie świata żywego, bowiem wyłącznie świat żywy ma „wolną wolę” i może kłamać do woli, czyli gwałcić wszelkie prawa logiki matematycznej wyznaczane przez świat martwy (w tym przez matematykę)
Wniosek:
Kodowanie obietnic bezwarunkowych mamy wyłącznie w liniach A1B1 i A2B2 w tabeli TJ
Definicja funkcji logicznej w logice dodatniej (bo Y):
Funkcja logiczna zapisana jest w logice dodatniej (bo Y) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej zapisana jest w logice ujemnej (bo ~Y)
Przykłady: tabela TJ
Definicja logiki jedynek w języku potocznym:
Z logiką jedynek w języku potocznym mamy do czynienia wtedy i tylko wtedy gdy wszelkie zmienne występujące w zdaniu sprowadzone są do wartości logicznej 1.
Jedynki są w logice matematycznej domyślne i możemy je pominąć.
Innymi słowy:
Wszelkie przeczenia w kodowaniu matematycznym muszą być zapisane jawnie
Sprowadzenie wszystkich zmiennych do wartości logicznej 1 umożliwiają prawa Prosiaczka które możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej.
(p=1)=(~p=0)
(p=0) = (~p=1)
Przykład:
1.
Jutro nie pójdziemy do kina
Y=~K
Co w logice jedynek oznacza:
Y=1 <=> ~K=1 - to jest logika jedynek bo ~K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Prawo Prosiaczka:
(~K=1) = (K=0)
Stąd zapis tożsamy:
Y=1 <=> K=0 - to nie jest logika jedynek bo K=0
Kodowanie obietnic bezwarunkowych:[/b]
Wszelkie obietnice bezwarunkowe dotyczące świata żywego mającego „wolną wolę” kodujemy matematycznie wyłącznie w postaci funkcji logicznych algebry Boole’a
Y=f(x)
Gdzie:
Y - istota żywa dotrzyma słowa (Y=1)
~Y - istota żywa nie dotrzyma słowa (~Y=1)
f(x) – dowolne wyrażenie algebry Boole’a
Niedozwolone jest kodowanie zdań twierdzących w postaci samego wyrażenia f(x) bowiem prowadzi to do wewnętrznej sprzeczności logiki matematycznej w postaci prawa Grzechotnika (pkt. 1.8.1)
1.19 Kodowanie złożonych obietnic bezwarunkowych
Kodowanie wszelkich obietnic bezwarunkowych n-argumentowych omówiono szeroko i szczegółowo w punkcie 20.8. W tym miejscu ten trywialny problem rozpatrzymy na przykładzie.
1.19.1 Prawo Mrówkojada
Definicję równoważności p<=>q (2.9) wraz z kolumnowymi i międzykolumnowymi prawami Irbisa (pkt. 2.9.1) poznamy za chwilkę.
Prawo Mrówkojada:
Dowolna obietnica bezwarunkowa zapisana w formie wyrażenia algebry Boole’a jest częścią równoważności, która daje odpowiedzi na dwa kluczowe pytania.
1.
Kiedy nadawca dotrzyma słowa (Y)?
Y <=> f(x)
Nadawca dotrzyma słowa (Y) wtedy i tylko wtedy gdy zajdzie wyrażenie f(x)
#
2.
Kiedy nadawca nie dotrzyma słowa (~Y)?
Negujemy równoważność 1 stronami.
~Y<=>~(fx)
Nadawca nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy zajdzie wyrażenie ~f(x)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Znaczenie zmiennej binarnej Y:
Y - nadawca dotrzyma słowa Y
##
~Y – nadawca nie (~) dotrzyma słowa Y
Gdzie:
## - zdarzenia różne na mocy definicji ##
1.19.2 Dowód prawa Mrówkojada dla trzech zmiennych binarnych
Działanie prawa Mrówkojada na przykładzie dla trzech zmiennych binarnych.
Rozważmy obietnicę bezwarunkową:
1
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
Polecenia:
a)
Zapisz powyższe zdanie w postaci funkcji logicznej Y algebry Boole’a
b)
Odpowiedz kiedy pani jutro dotrzyma słowa (Y)
c)
Zapisz zdanie 1 w postaci funkcji logicznej w logice ujemnej (bo ~Y).
d)
Odpowiedz w sposób zrozumiały kiedy pani jutro nie dotrzyma słowa (~Y)
Rozwiązanie na poziomie ucznia LO:
1.
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
1a.
Y =B+ K*~T
Zapis matematycznie tożsamy na mocy prawa Irbisa (2.9.1):
Y <=> B+ K*~T
1b.
Co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> B=1 lub K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy <=> gdy jutro:
B
B=1 - pójdziemy na Basen (B=1)
„lub”(+)
K*~T
K=1 i ~T=1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
Jeśli jutro zajdzie dowolne z powyższych zdarzeń to pani dotrzyma słowa (Y=1).
1c.
Aby odpowiedzieć na pytanie kiedy jutro pani nie dotrzyma (~Y) musimy dwustronnie zanegować równoważność 1a
~Y = ~(B+(K*~T))
Minimalizacja prawej strony na mocy prawa Wuja Zbója – negujemy zmienne i wymieniamy spójniki na przeciwne:
~Y = ~B*(~K+T)
Tu musimy przejść do czystej funkcji alternatywno-koniunkcyjnej, gdyż tylko w niej jedynki są domyślne i tylko ta forma jest zrozumiała dla człowieka od 5-cio latka poczynając - dowód tego faktu znajdziemy wyżej w punkcie 1.13
~Y = ~B*~K + ~B*T
Zapis matematycznie tożsamy na mocy prawa Irbisa (2.9.1):
~Y <=> ~B*~K + ~B*T
1d.
Co w logice jedynek (naturalna logika 5-cio latka) oznacza:
~Y=1 <=> ~B=1 i ~K=1 lub ~B=1 i T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy <=> gdy jutro:
~B*~K
~B=1 I ~K=1 – nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
”lub”(+)
~B*T
~B=1 I T=1 – nie pójdziemy na basen (~B=1) i pójdziemy do teatru (T=1)
Jeśli jutro zajdzie którekolwiek z powyższych zdarzeń to pani nie dotrzyma słowa (~Y).
|
Ostatnio zmieniony przez rafal3006 dnia Nie 12:08, 04 Maj 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:41, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840771
Irbisolu, za dużo srok na raz chcesz za ogon trzymać!
Potwora dla czytelnika nie zamierzam tworzyć!
Cały twój post wyżej od A do Z to bzdura na bzdurze bzdurą pogania – zajmę się nim po zakończeniu bieżącego tematu.
Naszym bieżącym tematem jest wykazanie, że twoje kodowanie zdania pani przedszkolanki jest absolutnie poprawne pod trywialnym warunkiem.
Nie da się racjonalnie zrozumieć, czemu nic chcesz przeczytać tego trywialnego warunku.
Czy przeczytanie tego co napiszę zetnie ci głowę?
NIE!
To co napiszę, zetnie głowę Lucyferowi zwanemu dla niepoznaki KRZ urzędującemu w twoim mózgu.
Tylko tyle i aż tyle.
Więc?
Czy przeczytasz mój krótki trywialny warunek, dzięki któremu twoje kodowanie zdania pani przedszkolanki niżej zapisane stanie się krystalicznie czystą matematyką, bez najmniejszej skazy!
TAK/NIE
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840679
| rafal3006 napisał: | Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody!
| Irbisol napisał: | Ale ja nie chcę, żebyś mi to wyjaśniał. Chcę, żebyś odpowiedział na pytanie.
Jak odpowiesz, to na bank będę chciał wyjaśnienia - będziesz miał pole do popisu. |
Podsumowując:
Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody mojego wyjaśnienia pod jakim warunkiem jego kodowanie zdania pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
A0 <=> ~A2
będzie matematycznie poprawne!
Gdzie:
Znaczenie Irbisolowego A0:
A0=K+T
Żegnaj tchórzu, wrócę tu tylko wtedy gdy zgodzisz się przeczytać kilka linijek mojego wyjaśnienia.
Zatem:
Przeczytasz?
TAK/NIE |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 13:12, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840789
| Irbisol napisał: | W pytaniu mam błąd?
Swojego wspólnego Y dla spełnionej i niespełnionej obietnicy też nie bronisz.
To może wskażesz jakiś przypadek, gdzie matematycy usuwają lewe strony równań? |
W kodowaniu zdań masz błąd na błędzie błędem poganiający czego dowodem jest to twoje gówno do potęgi nieskończonej:
| Irbisol napisał: | W kwestii, czy A0 <=> ~A2 stwierdziłeś, że potrzebne są dodatkowe warunki, by ta równoważność była prawdziwa - czyli de facto jest ona fałszywa w tej postaci.
Zatem wg ciebie:
((K+T) <=> (K+T)) = 0 |
... i jeszcze dwie rzeczy.
1.
O operacji podstawienia w logice matematycznej też masz gówno-pojęcie
2.
W operacji na przekształceniu banalnej równoważności p<=>q też masz gówno-pojecie
No i najważniejsze:
Twoja definicja równoważności p<=>q której używasz do opisu zdania pani przedszkolanki
1.
Jutro pójdziemy do kina lub do teatru
to o kant dupy wytrzeć, zakopać w dole głębokim na 2 metry i zacementować, by to gówno nigdy więcej naszego słoneczka nie ujrzało.
Czy już rozumiesz dlaczego NIGDY nie będę z tobą dyskutował o twojej gówno-logice matematycznej?
Mam nadzieję, że tak.
   
Ostatnio zmieniony przez rafal3006 dnia Nie 13:14, 04 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 13:19, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840797
Ponawiam moja propozycje nie do odrzucenia!
Czy teraz przeczytasz?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840771
| rafal3006 napisał: | Irbisolu, za dużo srok na raz chcesz za ogon trzymać!
Potwora dla czytelnika nie zamierzam tworzyć!
Cały twój post wyżej od A do Z to bzdura na bzdurze bzdurą pogania – zajmę się nim po zakończeniu bieżącego tematu.
Naszym bieżącym tematem jest wykazanie, że twoje kodowanie zdania pani przedszkolanki jest absolutnie poprawne pod trywialnym warunkiem.
Nie da się racjonalnie zrozumieć, czemu nic chcesz przeczytać tego trywialnego warunku.
Czy przeczytanie tego co napiszę zetnie ci głowę?
NIE!
To co napiszę, zetnie głowę Lucyferowi zwanemu dla niepoznaki KRZ urzędującemu w twoim mózgu.
Tylko tyle i aż tyle.
Więc?
Czy przeczytasz mój krótki trywialny warunek, dzięki któremu twoje kodowanie zdania pani przedszkolanki niżej zapisane stanie się krystalicznie czystą matematyką, bez najmniejszej skazy!
TAK/NIE
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840679
| rafal3006 napisał: | Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody!
| Irbisol napisał: | Ale ja nie chcę, żebyś mi to wyjaśniał. Chcę, żebyś odpowiedział na pytanie.
Jak odpowiesz, to na bank będę chciał wyjaśnienia - będziesz miał pole do popisu. |
Podsumowując:
Irbisol = tchórz do potęgi nieskończonej bojący się bardziej niż diabeł święconej wody mojego wyjaśnienia pod jakim warunkiem jego kodowanie zdania pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
A0 <=> ~A2
będzie matematycznie poprawne!
Gdzie:
Znaczenie Irbisolowego A0:
A0=K+T
Żegnaj tchórzu, wrócę tu tylko wtedy gdy zgodzisz się przeczytać kilka linijek mojego wyjaśnienia.
Zatem:
Przeczytasz?
TAK/NIE |
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 13:36, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840807
| Irbisol napisał: | Dużo deklaracji, mało uzasadnień.
Co twojego kociokwiku w kwestii wykładów, to odpowiadałem ci pierdyliard razy, więc przestań pytać o to samo. |
Uzasadnienie będziesz miał w mojej odpowiedzi na twój problem związany z kodowaniem zdania:
Jutro pójdziemy do kina lub do teatru
Tu masz o co chodzi:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840771
Przeczytasz?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Nie 13:37, 04 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 16:31, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840835
Prawa Słonia i prawa Irbisa – najważniejsze prawa logiki matematycznej!
Tu nie ma co owijać w bawełnę:
Dowolny ziemski matematyk, który nie zrozumie niniejszego postu powinien swój dyplom matematyka wrzucić do sedesu i spuścić wodę.
Podtytuł:
Twardy dowód iż Irbisolowa definicja równoważności p<=>q jest potwornie śmierdzącym gównem, czego dowodem jest poniższe gówno wygenerowane na bazie gówno-definicji równoważności p<=>q Irbisola.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840767
| Irbisol napisał: | W kwestii, czy A0 <=> ~A2 stwierdziłeś, że potrzebne są dodatkowe warunki, by ta równoważność była prawdziwa - czyli de facto jest ona fałszywa w tej postaci.
Zatem wg ciebie:
((K+T) <=> (K+T)) = 0 |
Irbislu, poprawną definicję równoważności p<=>q wraz z kolumnowym i międzykolumnowym prawem Irbisa masz w niniejszym poście – zapnij pasy weź głęboki oddech i z wypiekami na twarzy zacznij wreszcie czytać!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840805
| Irbisol napisał: | | Dużo deklaracji, mało uzasadnień. |
Bardzo proszę, masz dowód iż swoją definicję równoważności p<=>q której użyłeś do wyprowadzenia potwornie śmierdzącego gówna w cytacie wyżej musisz w trybie natychmiastowym wrzucić do sedesu i spuścić wodę – w matematycznym szambie jest jej miejsce.
c.n.d.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
2.0 Kompendium algebry Kubusia
Spis treści
2.8 Prawa Słonia 1
2.9 Prawo Irbisa 4
2.9.1 Kolumnowe i międzykolumnowe prawo Irbisa 6
2.9.2 Przykład kolumnowego i międzykolumnowego prawa Irbisa 7
2.8 Prawa Słonia
Prawa Słonia to najważniejsze prawa w logice matematycznej.
| 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
|
I Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość logiczna [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q - matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
II Prawo Słonia dla zbiorów:
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - matematyczne twierdzenie odwrotne (w odniesieniu do A1)
Prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.
Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów
Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwości/fałszywości dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą ”nie wprost"
Definicja podzbioru =>:
Zbiór p jest (=1) podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie jego elementy należą do zbioru q
Definicja nadzbioru ~>
Zbiór p jest (=1) nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
W logice matematycznej zachodzi tożsamość pojęć:
Podzbiór => = relacja podzbioru =>
Nadzbiór ~> = relacja nadzbioru ~>
W logice matematycznej rozstrzygamy o zachodzącej lub nie zachodzącej relacji podzbioru => czy też nadzbioru ~>.
Rozstrzygnięcia logiki matematycznej w relacji podzbioru =>:
A1: p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
A1: p=>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q
##
Rozstrzygnięcia logiki matematycznej w relacji nadzbioru ~>:
B1: p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
B1: p~>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q
Gdzie:
## - różne na mocy definicji podzbioru => i nadzbioru ~>
Przykład:
Zbadaj czy zachodzi warunek wystarczający => w poniższym zdaniu:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to jest podzielna przez 2
A1: P8=>P2=?
Rozwiązanie:
Na mocy prawa Kłapouchego zapis formalny (ogólny) zdania A1 to:
A1: p=>q =1
Gdzie:
p=P8
q=P2
Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q matematyczne twierdzenie proste =>
W metodzie "nie wprost" na mocy prawa Słonia dowodzimy prawdziwości relacji podzbioru =>.
Innymi słowy badamy:
Czy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]?
Oczywiście relacja podzbioru => jest (=1) tu spełniona:
P8=>P2=1
co każdy matematyk bez trudu udowodni.
W tym momencie na mocy prawa Słonia mamy udowodnione metodą "nie wprost" dwa fakty czysto matematyczne:
1.
Twierdzenie proste A1 jest prawdziwe
A1: P8=>P2 =1
2.
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2
A1: P8=>P2 =1
Podsumowując:
Z gołych definicji podzbioru => i warunku wystarczającego => nic w matematyce nie wynika, dopóki nie poznamy prawa Słonia.
Dopiero prawo Słonia w dowodzeniu prawdziwości warunku wystarczającego =>, czy też prawdziwości samego zdania warunkowego „Jeśli p to q" ma fundamentalne znaczenie, co udowodniono ciut wyżej.
Uwaga:
Relacja podzbioru => i nadzbioru ~> w zdarzeniach nie jest intuicyjna, ale można ją łatwo udowodnić prawem Orła co zostało pokazane w punktach 2.2.2 i 2.2.3.
Stąd prawa Słonia dla zdarzeń będą analogiczne do praw Słonia dla zbiorów jak to wyżej opisano.
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
To jest definicja tożsamości zbiorów p=q znana każdemu matematykowi.
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 Tygryska:
B3: q=>p = B1: p~>q
Stąd mamy 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 =>
Uwaga:
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 równoważności p<=>q 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
Czytamy:
Udowodnienie prawdziwości A1B1: p<=>q wymusza prawdziwość A2B2: ~p<=>~q (i odwrotnie)
Gdzie:
## - różne na mocy definicji
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, 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) – to ludzkość udowodnił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 bezpośredniego dowodu
Zastosujmy kolumnowe prawo Irbisa dla kolumny 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, 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 Nie 17:15, 04 Maj 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 16:33, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840843
| Irbisol napisał: | | Weź ten wysryw zapisz w paru linijkach. Nikt normalny nawet nie zacznie tego czytać. |
Irbisolu, chcesz moją odpowiedź dla ciebie krótko, w dwóch zdaniach?
Bardzo proszę:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840835
| rafal3006 napisał: | Prawa Słonia i prawa Irbisa – najważniejsze prawa logiki matematycznej!
Tu nie ma co owijać w bawełnę:
Dowolny ziemski matematyk, który nie zrozumie niniejszego postu powinien swój dyplom matematyka wrzucić do sedesu i spuścić wodę.
|
1.
Irbisolu, ty nie jesteś matematykiem, zatem jesteś zwolniony od wyrzucania dyplomu matematyka do sedesu bo go po prostu nie masz.
2.
Z czytania też jesteś zwolniony, bo jako nie matematyk nie masz szans na zrozumienie iż twoja definicja równoważności p<=>q którą zastosowałeś do obsługi poniższego zdania jest gówno-definicją
"Jutro pójdziemy do kina lub do teatru"
Pytanie:
Czy jesteś zadowolony z mojej odpowiedzi dla ciebie tak jak chciałeś - krótko, w dwóch zdaniach.
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Nie 16:36, 04 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 22:36, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840875
Finałowa wersja matematycznej obsługi obietnic bezwarunkowych!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#727801
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
20.0 Zero-jedynkowe tajemnice algebry Boole’a
Spis treści
20.8 Matematyczna obsługa obietnic bezwarunkowych 1
20.8.1 Kolumnowe i międzykolumnowe prawo Irbisa 1
20.8.2 Definicja operatora n-argumentowego algebry Boole’a 2
20.8.3 Prawo Mrówkojada 3
20.9 Obietnica bezwarunkowa jednoargumentowa 4
20.9.1 Analiza matematyczna obietnicy bezwarunkowej jednoargumentowej 5
20.10 Obietnica bezwarunkowa dwuargumentowa 7
20.11 Obietnica bezwarunkowa n-argumentowa 7
20.11.1 Miękkie jedynki i twarde zera w logice matematycznej 9
20.8 Matematyczna obsługa obietnic bezwarunkowych
W niniejszej części podręcznika omówimy kluczowe obietnice bezwarunkowe:
20.9 Obietnica bezwarunkowa jednoargumentowa
20.10 Obietnica bezwarunkowa dwuargumentowa
20.11 Obietnica bezwarunkowa n-argumentowa
Definicję równoważności p<=>q wraz z kolumnowym i międzykolumnowym prawem Irbisa poznaliśmy w punkcie 2.9 i 2.9.1
20.8.1 Kolumnowe i międzykolumnowe prawo Irbisa
Punkt 2.9.1
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 =>
Uwaga:
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 równoważności p<=>q 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
Uwaga:
W algebrze Kubusia kolumnowe prawo Irbisa jest domyślne, czyli zachodzi tożsamość pojęć:
Prawo Irbisa = Kolumnowe prawo Irbisa
##
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
Czytamy:
Udowodnienie prawdziwości A1B1: p<=>q wymusza prawdziwość A2B2: ~p<=>~q (i odwrotnie)
Gdzie:
## - różne na mocy definicji
20.8.2 Definicja operatora n-argumentowego algebry Boole’a
Prawo Irbisa:
Każda tożsamość matematyczna p=q to równoważność p<=>q
(odwrotnie nie zachodzi)
Definicja operatora n-argumentowego algebry Boole’a:
Operator n-argumentowy algebry Boole’a to złożenie dwóch funkcji logicznych n-argumentowych w logice dodatniej (bo Y) i w logice ujemnej (bo ~Y) dających odpowiedź na pytanie o Y i ~Y
1.
Kiedy zajdzie Y?
Y=f(x) – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>f(x)
To samo w zapisie formalnym:
p<=>q
Czytamy:
Zajdzie Y wtedy i tylko wtedy gdy zajdzie f(x)
[=]
Kiedy zajdzie ~Y?
Negujemy funkcję logiczną 1 stronami:
2.
~Y=~f(x)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~f(x) - – funkcja logiczna w logice dodatniej (bo ~Y)
To samo w zapisie formalnym:
~p<=>~q
Czytamy:
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a n-argumentowe.
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
Definicja wyrażenia f(x) algebry Boole’a:
Wyrażenie f(x) algebry Boole’a to dowolna ilość zmiennych binarnych połączonych spójnikami „i”(*) i „lub”(+)
Przykład:
f(x)=~p*q+p*~q
Definicja funkcji logicznej Y algebry Boole’a:
Funkcja logiczna algebry Boole’a to zmienna binarna Y tożsama z wyrażeniem algebry Boole’a f(x)
Y = f(x)
Nasz przykład:
Y = f(x) = ~p*q+p*~q
Interesujący nas zapis tożsamy:
Y = ~p*q + p*~q
Uwaga:
Ten zapis funkcji logicznej Y jest powszechnie stosowany w teorii bramek logicznych.
Przykład:
SN7486
[link widoczny dla zalogowanych]
20.8.3 Prawo Mrówkojada
Na wstępie przypomnijmy sobie kilka fundamentalnych pojęć obowiązujących w obietnicach.
Definicja „wolnej woli”:
„Wolna wola,” to zdolność do gwałcenia wszelkich praw logiki matematycznej wyznaczanych przez świat martwy i matematykę.
Oczywistym jest, że świat martwy nie może łamać praw logiki matematycznej pod które sam podlega. Wynika z tego, że „wolna wola” to nieodłączny atrybut świata żywego (człowiek nie jest tu wyjątkiem).
Definicja obietnicy bezwarunkowej n-argumentowej to tożsamość pojęć:
f(x) - treść obietnicy = f(x) - wyrażenie algebry Boole’a
Prawo Mrówkojada:
Dowolna obietnica bezwarunkowa zapisana w formie wyrażenia algebry Boole’a f(x) jest częścią operatora równoważności Y|<=>f(x), który daje odpowiedzi na dwa kluczowe pytania.
1.
Kiedy nadawca dotrzyma słowa (Y)?
Y=f(x) – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>f(x)
To samo w zapisie formalnym:
p<=>q
Nadawca dotrzyma słowa (Y) wtedy i tylko wtedy gdy zajdzie wyrażenie f(x)
[=]
2.
Kiedy nadawca nie dotrzyma słowa (~Y)?
Negujemy funkcję logiczną 1 stronami.
~Y=~f(x) – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~f(x)
To samo w zapisie formalnym:
~p<=>~q
Nadawca nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy zajdzie wyrażenie ~f(x)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
Znaczenie zmiennej binarnej Y:
Y - nadawca dotrzyma słowa Y
##
~Y – nadawca nie (~) dotrzyma słowa Y
Gdzie:
## - zdarzenia różne na mocy definicji ##
20.9 Obietnica bezwarunkowa jednoargumentowa
Zadanie 1
Pani w przedszkolu wypowiada obietnicę bezwarunkową:
1
Jutro pójdziemy do kina
Y=K -- funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika matematyczna człowieka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
[=]
2.
… a kiedy pani nie dotrzyma słowa?
Negujemy funkcję logiczną 1 stronami:
~Y=~K – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~K
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
20.9.1 Analiza matematyczna obietnicy bezwarunkowej jednoargumentowej
Obietnica pani przedszkolanki do analizy:
1
Jutro pójdziemy do kina
Y=K -- funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
Co w logice jedynek (naturalna logika matematyczna człowieka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
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
|
Analiza obietnicy pani przedszkolanki na mocy tabeli prawdy TR.
A1B1:
Kolumna A1B1 odpowiada na pytanie o dotrzymanie słowa (Y):
A1.
Jeśli pani dotrzyma słowa (Y) to na 100% => pójdziemy jutro do kina (K)
Y=>K =1
Zapis formalny:
p=>q =1
Dotrzymanie słowa przez panią (Y) jest warunkiem wystarczającym => byśmy jutro poszli do kina (K)
Prawdziwość warunku wystarczającego A1 wymusza fałszywość kontrprzykładu A1’ (i odwrotnie)
A1’.
Jeśli pani dotrzyma słowa (Y) to możemy ~~> nie iść do kina (~K)
Y~~>~K = Y*~K =0 – zdarzenie niemożliwe (=0)
Zapis formalny:
p~~>~q =0
Wyłącznie w świecie żywym mającym „wolną wolę” zdanie A1’ może okazać się prawdą, ale wtedy pani będzie kłamczuchą, o czym każdy 5-cio latek wie.
… a jeśli pani nie dotrzyma słowa (~Y)?
A2B2;
Idziemy do kolumny A2B2 dającej odpowiedź na pytanie o nie dotrzymanie słowa (~Y):
B2.
Jeśli pani nie dotrzyma słowa (~Y) to na 100% => nie pójdziemy do kina (~K=1)
~Y=>~K =1
Zapis formalny:
~p=>~q =1
Nie dotrzymanie słowa przez panią (~Y) jest warunkiem wystarczającym => byśmy nie poszli do kina (~K)
Prawdziwość warunku wystarczającego B2 wymusza fałszywość kontrprzykładu B2’ (i odwrotnie)
B2’
Jeśli pani nie dotrzyma słowa (~Y) to możemy ~~> pójść do kina (K)
~Y~~>K = ~Y*K =0
Zapis formalny:
~p~~>q =0
Zdarzenie niemożliwe (=0), bo jak pójdziemy do kina (K) to pani dotrzyma słowa (Y), czyli prawdziwe będzie tu zdania A1.
Dodatkowo, z tabeli prawdy równoważności p<=>q odczytujemy iż:
Zdarzenie „pani dotrzyma słowa” jest tożsame „=” ze zdarzeniem „pójdziemy do kina”
Kolumna A1B1: Y = K
oraz że:
Zdarzenie „pani nie dotrzyma słowa” jest tożsame „=” ze zdarzeniem „nie pójdziemy do kina”
Kolumna A2B2: ~Y=~K
20.10 Obietnica bezwarunkowa dwuargumentowa
Zadanie 2
Rozważmy obietnicę bezwarunkową dwuargumentową:
1
Jutro pójdziemy do kina lub do teatru
Y=K+T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K+T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
[=]
… a kiedy pani nie dotrzyma słowa?
2.
Negujemy funkcję logiczną 1 stronami:
~Y=~K*~T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~K*~T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
20.11 Obietnica bezwarunkowa n-argumentowa
Analiza na przykładzie obietnicy bezwarunkowej 3-argumentowej
Zadanie 3
Dana jest obietnica bezwarunkowa 3 argumentowa:
1
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
Analiza matematyczna:
1.
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
Y =B+ K*~T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y <=> B+ K*~T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> B=1 lub K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy <=> gdy jutro:
1a: B=1 - pójdziemy na Basen (B=1)
„lub”(+)
1b: K*~T = K=1 i ~T=1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
Jeśli jutro zajdzie dowolne z powyższych zdarzeń to pani dotrzyma słowa (Y=1).
Miękka jedynka opisująca nieznaną przyszłość.
Jak sprawdzić pojutrze czy pani dotrzymała słowa?
Tu 5-cio latek sprawdza pojutrze, czy prawdziwy jest którykolwiek człon spójnika „lub”(+)
1a: B=1 - byliśmy na basenie (B=1)
„lub”(+)
1b: K*~T = K=1 i ~T=1 – byliśmy w kinie (K=1) i nie byliśmy w teatrze (~T=1)
Jeśli wczoraj zaszło dowolne z powyższych zdarzeń to pani dotrzymała słowa (Y=1).
Twarda jedynka opisująca znaną przeszłość.
[=]
Aby odpowiedzieć na pytanie kiedy jutro pani nie dotrzyma (~Y) musimy dwustronnie zanegować funkcję logiczną 1
~Y = ~(B+(K*~T))
Minimalizacja prawej strony na mocy prawa Wuja Zbója – negujemy zmienne i wymieniamy spójniki na przeciwne:
~Y = ~B*(~K+T)
Tu musimy przejść do czystej funkcji alternatywno-koniunkcyjnej, gdyż tylko w niej jedynki są domyślne (pkt. 1.13)
2.
~Y = ~B*~K + ~B*T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y <=> ~B*~K + ~B*T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~B=1 i ~K=1 lub ~B=1 i T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy <=> gdy jutro:
2a: ~B*~K = ~B=1 I ~K=1 – nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
”lub”(+)
2b: ~B*T = ~B=1 I T=1 – nie pójdziemy na basen (~B=1) i pójdziemy do teatru (T=1)
Jeśli jutro zajdzie którekolwiek z powyższych zdarzeń to pani nie dotrzyma słowa (~Y).
Miękka jedynka opisująca nieznaną przyszłość.
Jak sprawdzić pojutrze czy pani skłamała (= nie dotrzymała słowa ~Y)?
Tu 5-cio latek sprawdza pojutrze, czy prawdziwy jest którykolwiek człon spójnika „lub”(+)
2a: ~B*~K = ~B=1 I ~K=1 – nie byliśmy na basenie (~B=1) i nie byliśmy w kinie (~K=1)
”lub”(+)
2b: ~B*T = ~B=1 I T=1 – nie byliśmy na basenie (~B=1) i byliśmy w teatrze (T=1)
Jeśli wczoraj zaszło którekolwiek z powyższych zdarzeń to pani nie dotrzymała słowa (~Y).
Twarda jedynka opisująca znaną przeszłość.
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
20.11.1 Miękkie jedynki i twarde zera w logice matematycznej
Zauważmy, że opisując nieznaną przyszłość (obietnica pani przedszkolanki) mamy do czynienia z miękkimi jedynkami.
1.
Kiedy jutro pani dotrzyma słowa (Y=1)?
Y <=> B+ K*~T
2.
Kiedy jutro pani nie dotrzyma słowa (~Y=1)?
~Y <=> ~B*~K + ~B*T
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd zapis tożsamy ostatniego pytania:
2.
Kiedy jutro pani nie dotrzyma słowa (Y=0)?
Zauważmy, że jutro pani może dotrzymać słowa (Y=1) albo nie dotrzymać słowa (~Y=1)
Trzeciej możliwości brak
Stąd mamy.
Definicja miękkiej jedynki w logice matematycznej:
Miękka jedynka w logice matematycznej to jedynka która może stać się twardym zerem.
Miękkie jedynki w naszym przykładzie to jedynki opisujące nieznaną przyszłość:
1.
Kiedy jutro pani dotrzyma słowa (Y=1)?
2.
Kiedy jutro pani nie dotrzyma słowa (~Y=1)?
Oczywistym jest, że pojutrze wyłącznie jedna z dwóch występujących w naszym przykładzie miękkich jedynek ulegnie transformacji do jedynki twardej.
Druga z miękkich jedynek ulegnie transformacji do twardego zera, bo pani nie może jednocześnie dotrzymać słowa (Y=1) i nie dotrzymać słowa (~Y=1)
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 22:38, 04 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840879
| Irbisol napisał: | | Wskaż błąd. Bez tych deklaracji. |
Jak przeczytasz punkt 20.10 w poście wyżej to bez problemu zrozumiesz swój błąd.
Przeczytasz?
TAK/NIE
Irbisolu:
Fantastycznie mi się z tobą dyskutuje, twój upór jest tu bezcenny.
Rozpracowałem w 100% wszelkie obietnice bezwarunkowe – post wyżej.
Te prawa Irbisa kolumnowe i międzykolumnowe na które mnie naprowadziłeś są fantastyczne!
P.S.
Tak sobie myślę Irbisolu, że do naszych mózgów wtargnęli „obcy” z innego Wszechświata:
Do mojego Kubuś, rzeczywisty autor „Algebry Kubusia”, logiki matematycznej pod którą podlega cały nasz Wszechświat, zaś do twojego Lucyfer, śmiertelny wróg Kubusia, za wszelką cenę usiłujący zniszczyć to, co Kubuś stworzył.
… i to jest TO!
Tak zaistniała największa rewolucja w historii matematyki!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 8:35, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840921
| Irbisol napisał: | | Nadal nie widzę błędu. Znowu ci się schizofrenia odpala. |
Czy przeczytałeś mój post wyżej?
Jeśli TAK to potwierdź, że moja wersja obsługi obietnicy pani przedszkolanki:
1.
Jutro pójdziemy do kina lub do teatru
jest matematycznie bezbłędna
Jeśli NIE to po pierwsze i najważniejsza przeczytaj!
Fragment mojego postu wyżej do przeczytania:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840875
| rafal3006 napisał: | Finałowa wersja matematycznej obsługi obietnic bezwarunkowych!
20.10 Obietnica bezwarunkowa dwuargumentowa
Zadanie 2
Rozważmy obietnicę bezwarunkową dwuargumentową:
1
Jutro pójdziemy do kina lub do teatru
Y=K+T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K+T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
[=]
… a kiedy pani nie dotrzyma słowa?
2.
Negujemy funkcję logiczną 1 stronami:
~Y=~K*~T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~K*~T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 9:52, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840945
Irbisolu: Jak wrócisz do naszego czasu, to podyskutujemy.
| Irbisol napisał: | Nic nie twierdzę.
Uznałeś, że mam błąd - więc go wskaż. |
Jeśli nie jesteś w stanie ocenić, czy moje kilka linijek tekstu na poziomie 5-cio latka jest poprawnym matematycznie opisem obietnicy pani przedszkolanki, to o czym ty chcesz dyskutować Irbisolu.
Jak wszyscy widzą ty masz klapki na oczach i widzisz tylko i wyłącznie swoją gówno-logikę dla niepoznaki zwaną KRZ.
Ty nie masz szans by nawiązać kontakt z kimkolwiek zdrowym na umyśle w naszym Wszechświecie - od 5-cio latka i humanisty poczynając.
Weź się nie kompromituj i się wypowiedz czy poniższa obsługa obietnicy pani przedszkolanki zrozumiała dla każdego 5-cio latka jest zrozumiała również dla ciebie.
Jeśli nie to czas ci się cofnął do wieku poniżej 2-latek, bo wyłącznie niemowlak nie rozumie obietnic płynących z ust mamy.
c.n.d.
Jak wrócisz do naszego czasu, to podyskutujemy.
Warunkiem powrotu do naszej rzeczywistości jest zrozumienie przez ciebie poniższego postu.
Przeczytasz?
TAK/NIE
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840875
| rafal3006 napisał: | Finałowa wersja matematycznej obsługi obietnic bezwarunkowych!
20.10 Obietnica bezwarunkowa dwuargumentowa
Zadanie 2
Rozważmy obietnicę bezwarunkową dwuargumentową:
1
Jutro pójdziemy do kina lub do teatru
Y=K+T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K+T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
[=]
… a kiedy pani nie dotrzyma słowa?
2.
Negujemy funkcję logiczną 1 stronami:
~Y=~K*~T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~K*~T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
|
Ostatnio zmieniony przez rafal3006 dnia Pon 9:55, 05 Maj 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 11:43, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840971
| Irbisol napisał: | | Twierdzisz, że mam błąd - więc go wskaż. |
ok
Bez problemu wskażę i na 100% zrozumiesz pod warunkiem, że zaakceptujesz poniższą definicję obietnicy bezwarunkowej wszystkich 5-cio latków i humanistów.
Akceptujesz?
TAK/NIE
Fragment mojego postu wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840875
| rafal3006 napisał: | Finałowa wersja matematycznej obsługi obietnic bezwarunkowych!
20.8.3 Prawo Mrówkojada
Na wstępie przypomnijmy sobie kilka fundamentalnych pojęć obowiązujących w obietnicach.
Definicja „wolnej woli”:
„Wolna wola,” to zdolność do gwałcenia wszelkich praw logiki matematycznej wyznaczanych przez świat martwy i matematykę.
Oczywistym jest, że świat martwy nie może łamać praw logiki matematycznej pod które sam podlega. Wynika z tego, że „wolna wola” to nieodłączny atrybut świata żywego (człowiek nie jest tu wyjątkiem).
Definicja obietnicy bezwarunkowej n-argumentowej to tożsamość pojęć:
f(x) - treść obietnicy = f(x) - wyrażenie algebry Boole’a
Prawo Mrówkojada:
Dowolna obietnica bezwarunkowa zapisana w formie wyrażenia algebry Boole’a f(x) jest częścią operatora równoważności Y|<=>f(x), który daje odpowiedzi na dwa kluczowe pytania.
1.
Kiedy nadawca dotrzyma słowa (Y)?
Y=f(x) – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>f(x)
To samo w zapisie formalnym:
p<=>q
Nadawca dotrzyma słowa (Y) wtedy i tylko wtedy gdy zajdzie wyrażenie f(x)
[=]
2.
Kiedy nadawca nie dotrzyma słowa (~Y)?
Negujemy funkcję logiczną 1 stronami.
~Y=~f(x) – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~f(x)
To samo w zapisie formalnym:
~p<=>~q
Nadawca nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy zajdzie wyrażenie ~f(x)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
Znaczenie zmiennej binarnej Y:
Y - nadawca dotrzyma słowa Y
##
~Y – nadawca nie (~) dotrzyma słowa Y
Gdzie:
## - zdarzenia różne na mocy definicji ##
|
Ostatnio zmieniony przez rafal3006 dnia Pon 11:48, 05 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 12:47, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840979
Bitwa o matematyczną definicję obietnicy bezwarunkowej AK vs KRZ obsługującą język potoczny 5-cio latków!
| Irbisol napisał: | Nie spełnię tego warunku.
Wskazujesz błąd u mnie czy się wycofujesz? |
Masz błąd czysto matematyczny na poziomie matematycznej definicji obietnicy bezwarunkowej, dlatego wszystko co na niej budujesz jest potwornie śmierdzącym gównem (garbage in, garbage out)
Irbisolu, bijemy się o matematyczną definicję obietnicy bezwarunkowej pasującą super dokładnie do języka potocznego 5-cio latków i humanistów
Na gruncie algebry Kubusia zarówno teorię matematyczną obietnicy bezwarunkowej, jak i konkretne przykłady działania tej teorii masz wyłożoną w tym moim poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840875
| rafal3006 napisał: | | Finałowa wersja matematycznej obsługi obietnic bezwarunkowych! |
W algebrze Kubusia teoria obietnicy bezwarunkowej na naszym przykładzie działa tak:
| rafal3006 napisał: |
20.10 Obietnica bezwarunkowa dwuargumentowa
Zadanie 2
Rozważmy obietnicę bezwarunkową dwuargumentową:
1
Jutro pójdziemy do kina lub do teatru
Y=K+T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K+T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
[=]
… a kiedy pani nie dotrzyma słowa?
2.
Negujemy funkcję logiczną 1 stronami:
~Y=~K*~T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y<=>~K*~T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q
|
Teraz uważaj Irbisolu:
Pomijając mój podkład matematyczny zgodziłeś się w przeszłości że na gruncie twojego KRZ obsługa obietnicy pani przedszkolanki wygląda identycznie jak wyżej, czyli:
Pani w przedszkolu:
1.
Jutro pójdziemy do kina lub do teatru
Jaś (lat 5) do irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa?
Irbisol:
Oczywiście że wiem!
1.
Pani dotrzyma słowa jeśli jutro pójdziemy do kina lub do teatru
Jaś (lat 5) pyta ponownie Irbisola:
Czy wiesz kiedy jutro pani nie dotrzyma słowa?
Irbisol:
Oczywiście ze wiem!
2.
Pani nie dotrzyma słowa jeśli jutro nie pójdziemy do kina i nie pójdziemy do teatru
Finał:
Irbisolu, to jest twój autentyczny dialog z Jasiem (lat 5) wzięty żywcem z naszej dyskusji
Pytanie:
Czy przyznajesz się do tego dialogu?
Czyli do tego, że zdania 1 i 2 wyszły z ust twoich?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 12:49, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840985
Męczennik Irbisol - woli spłonąć na stosie niż podać swoją, matematyczną definicję obietnicy bezwarunkowej!
Pytanie retoryczne:
Irbisolu, czy warto umierać za potwornie śmierdzące gówno, zwane KRZ?
| Irbisol napisał: | Nie zmieniaj tematu.
Wskazujesz błąd u mnie czy się wycofujesz? |
| rafal3006 napisał: | Bitwa o matematyczną definicję obietnicy bezwarunkowej AK vs KRZ obsługującą język potoczny 5-cio latków!
| Irbisol napisał: | Nie spełnię tego warunku.
Wskazujesz błąd u mnie czy się wycofujesz? |
Masz błąd czysto matematyczny na poziomie matematycznej definicji obietnicy bezwarunkowej, dlatego wszystko co na niej budujesz jest potwornie śmierdzącym gównem (garbage in, garbage out) |
Podsumowując:
Podaj swoją definicję czysto matematyczną obietnicy bezwarunkowej!
Jak ci mam wskazać błąd, skoro choćby cię ze skóry obdzierali to nigdy nie podasz swojej matematycznej definicji obietnicy bezwarunkowej!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 13:01, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840993
Wszyscy widzą Irbisolu, że w tym momencie mowę ci odjęło
... czyli będzie zero odzewu z twojej strony!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11975.html#840789
| rafal3006 napisał: | | Irbisol napisał: | W pytaniu mam błąd?
Swojego wspólnego Y dla spełnionej i niespełnionej obietnicy też nie bronisz.
To może wskażesz jakiś przypadek, gdzie matematycy usuwają lewe strony równań? |
W kodowaniu zdań masz błąd na błędzie błędem poganiający czego dowodem jest to twoje gówno do potęgi nieskończonej:
| Irbisol napisał: | W kwestii, czy A0 <=> ~A2 stwierdziłeś, że potrzebne są dodatkowe warunki, by ta równoważność była prawdziwa - czyli de facto jest ona fałszywa w tej postaci.
Zatem wg ciebie:
((K+T) <=> (K+T)) = 0 |
... i jeszcze dwie rzeczy.
1.
O operacji podstawienia w logice matematycznej też masz gówno-pojęcie
2.
W operacji na przekształceniu banalnej równoważności p<=>q też masz gówno-pojecie
No i najważniejsze:
Twoja definicja równoważności p<=>q której używasz do opisu zdania pani przedszkolanki
1.
Jutro pójdziemy do kina lub do teatru
to o kant dupy wytrzeć, zakopać w dole głębokim na 2 metry i zacementować, by to gówno nigdy więcej naszego słoneczka nie ujrzało.
Czy już rozumiesz dlaczego NIGDY nie będę z tobą dyskutował o twojej gówno-logice matematycznej?
Mam nadzieję, że tak.
|
Podtrzymuję w 100% to co napisałem posługując się definicją obietnicy bezwarunkowej wszystkich 5-cio latków i humanistów!
Zatem:
Czy mam ci udowodnić, iż z punktu widzenia definicji obietnicy bezwarunkowej wszystkich 5-cio latków i humanistów zapisałeś potwornie śmierdzące gówno!
Jeśli tak, to poproś o taki dowód!
Wszyscy widzą Irbisolu, że w tym momencie mowę ci odjęło ... czyli będzie zero odzewu z twojej strony!
c.n.d.
Ostatnio zmieniony przez rafal3006 dnia Pon 13:06, 05 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 14:29, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#841009
Czy mam ci pokazać ten dowód?
| Irbisol napisał: | Przecież ci piszę od N postów, żebyś wskazał błąd.
Tobie już totalnie odpierdala. |
Napisałem ci wyżej:
W oparciu o jaką matematyczną definicję obietnicy bezwarunkowej mam ci udowodnić iż to co napisałeś jest potwornie śmierdzącym gównem?
Skup się, uważaj:
Jeśli mam ci udowodnić iż to co napisałeś jest gównem w oparciu o matematyczną definicję obietnicy bezwarunkowej 5-cio latków i humanistów, to nie ma problemu
Czy mam ci pokazać ten dowód?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pon 14:29, 05 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 15:15, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12025.html#841015
Czy z Irbisolem da się nawiązać kontakt?
Irbisolu, Ziemia, tu Ziemia, czy mnie słyszysz?
| Irbisol napisał: | | W oparciu o tę samą definicję, której użyłeś do stwierdzenia błędu u mnie w linku, który podałem wyżej. |
SUPER!
W dyskusji z tobą zawsze posługiwałem się tylko i wyłącznie definicją obietnicy bezwarunkowej wszystkich 5-cio latków i humanistów.
Pokażę ci dowód iż to co napisałeś jest gównem pod oczywistym warunkiem.
Przeczytasz?
TAK/NIE
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12000.html#840993
| rafal3006 napisał: | Wszyscy widzą Irbisolu, że w tym momencie mowę ci odjęło
... czyli będzie zero odzewu z twojej strony!
Podtrzymuję w 100% to co napisałem posługując się definicją obietnicy bezwarunkowej wszystkich 5-cio latków i humanistów!
Zatem:
Czy mam ci udowodnić, iż z punktu widzenia definicji obietnicy bezwarunkowej wszystkich 5-cio latków i humanistów zapisałeś potwornie śmierdzące gówno!
Jeśli tak, to poproś o taki dowód!
Wszyscy widzą Irbisolu, że w tym momencie mowę ci odjęło ... czyli będzie zero odzewu z twojej strony!
c.n.d. |
Ostatnio zmieniony przez rafal3006 dnia Pon 15:17, 05 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38143
Przeczytał: 18 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:25, 05 Maj 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12025.html#841059
Ma kto nadzieję, że Irbisol jest zdolny do sensownej dyskusji?
W temacie JEGO własnej logiki?
Irbisolu:
Mózg człowieka, od 5-cio latka poczynając to mistrzostwo świata w minimalizowaniu funkcji logicznych - normalni ludzie posługują się funkcjami logicznymi minimalnymi.
Oczywiście nie popełniłeś grzechu operując funkcją nieminimalną.
Problem w tym, że można udowodnić, iż najprostszą funkcję minimalną typu:
Y=K+T
Można prawami algebry Boole'a zapisać w postaci nieskończonej ilości zmiennych binarnych - chcesz by ludzkość w ten sposób się ze sobą komunikowała?
Psim obowiązkiem każdego matematyka jest działanie dokładnie odwrotne, czyli:
By w języku potocznym wyrażać się jasno i klarownie wszystkie funkcje logiczna należy obowiązkowo zminimalizować.
| Irbisol napisał: | Podałeś dowód?
Bo ten "jednolinijkowy" to był szczyt debilizmu - i to nie tylko z powodu, który opisałem. |
Aktualnie rozmawiamy o twojej logice w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12025.html#841043
Mamy zdanie do analizy matematycznej:
1.
Jutro pójdziemy do kina lub do teatru
Logika Irbisola:
Jaś (lat5) do Irbisola:
Kiedy pani dotrzyma słowa?
A.
Pani dotrzyma słowa że jutro pójdziemy do kina lub do teatru wtedy i tylo wtedy gdy jutro pójdziemy do kina lub do teatru
D(K+T) <=>K+T
Logika 5-cio latka, algebra Kubusia:
Zuzia do Jasia (oboje po 5 wiosenek)
Kiedy pani dotrzyma słowa?
B.
Pani dotrzyma słowa wtedy i i tylko wtedy gdy jutro pójdziemy do kina lub do teatru
D <=> K+T
Napisałem ci w naszej dyskusji, że jeśli zgadzasz się na tożsamość zdań:
A=B
to witamy w algebrze Kubusia!
Zgadzasz się z tym faktem?
Mówiąc wprost:
Czy zgadzasz się na matematyczną tożsmość zdań:
A=B
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pon 21:28, 05 Maj 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
|
|
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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
