 |
Ś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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
 Wysłany: Wto 12:21, 25 Mar 2025 Temat postu: |
|
|
Wiem, gdzie jest twoja KOMPLETNA odpowiedź.
Ale ja pytam o niekompletną, bo nie zamierzam się przekopywać przez gówno, które mnie nie interesuje.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 12:52, 25 Mar 2025 Temat postu: |
|
|
Czy Irbisol zdolny jest do sensownej dyskusji w temacie logika matematyczna?
Ma kto taką nadzieję?
| Irbisol napisał: | Wiem, gdzie jest twoja KOMPLETNA odpowiedź.
Ale ja pytam o niekompletną, bo nie zamierzam się przekopywać przez gówno, które mnie nie interesuje. |
NIE!
Ty masz czytać algebrę Kubusia zatrzymując się na pierwszym w niej błędzie czysto matematycznym.
Znajdziesz taki błąd - kasuję algebrę Kubusia
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836673
| Irbisol napisał: | | Rafal3006 napisał: |
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #. |
A czy równoważność p<=>q jest równoważna z równoważnością ~p<=>~q ?
Czyli:
Jaka jest wartość tego wyrażenia:
(p<=>q) <=> (~p<=>~q)
? |
Płaskoziemco, kiedy przestaniesz się bawić w Urbana, czyli cytować mnie gdzie mówię o kluczowym tu znaczku # bez podania tabeli prawdy wyjaśniającej co cały mój cytat oznacza!
Moja odpowiedź:
Prawo logiki matematycznej:
p<=>q = ~p<=>~q =1
W tym prawie chodzi tylko i wyłącznie o tożsamość dowodów matematycznych, zatem tożsame zapisy to:
p<=>q = ~p<=>~q
p<=>q [=] ~p<=>~q
p<=>q <=> ~p<=>~q
Gdzie:
"=", [=], <=> - tożsame znaczki tożsamości logicznej
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony
Kiedy zaczniesz czytać ze zrozumieniem co do ciebie piszę?
W tym życiu czy w następnym?
Biedny płaskoziemco!
Wskaż błąd czysto matematyczny w poniższym tekście.
Wskażesz - kasuję algebrę Kubusia
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836645
| rafal3006 napisał: | To jest niepojęte, jak trzeba mieć zasrany mózg gównem zwanym KRZ
by nie rozumieć iż każda równoważność p<=>q to tożsamość p=q (i odwrotnie)
Zróbmy taki szach-mat biednemu Irbislowi:
Usuńmy z powyższej tabeli TR wszelkie zapisy aktualne (nasz przykład) pozostawiając wyłącznie zapis formalny absolutnie dowolnej równoważności p<=>q istniejącej w naszym Wszechświecie.
Tabela równoważności p<=>q w zapisie formalnym TRF jest następująca.
| Kod: |
TRF
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Kolumna A1B1 to punkt odniesienia w zapisie formalnym {p, q}:
A1: p=>q =1 - p jest (=1) wystarczające => dla q
B1: p~>q =1 - p jest (=1) konieczne ~> dla q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
A1B1: A2B2: | A3B3: A4B4:
Zapis formalny:
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
## ## ## ##
Zapis formalny:
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ść <=>: | Równoważności <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1 [=] 3: q<=>p=1 = 4:~q<=>~p=1
definiuje tożsamość zdarzeń: | definiuje tożsamość zdarzeń:
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
|
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
Zauważmy że:
W dowolnej z czterech kolumn {1,2,3,4} prawo Irbisa działa genialnie!
W dalszych rozważaniach pominiemy kolumnę A3B3, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A1B1: p<=>q [=] A3B3: q<=>p
jak i przemienność tożsamości zdarzeń/zbiorów:
A1B1: p=q [=] A3B3: q=p
Podobnie mamy prawo pominąć kolumnę A4B4, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A2B2: ~p<=>~q [=] A4B4: ~q<=>~p
jak i przemienność tożsamości zdarzeń/zbiorów:
A2B2: ~p=~q [=] A4B4: ~q=~p
Wniosek:
Kolumny A3B3 i A4B4 możemy śmiało wyeliminować w analizie matematycznej absolutnie każdej równoważności p<=>q.
Skupmy się zatem na kolumnach A1B1 i A2B2:
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe.
1.
Dla kolumny A1B1 mamy:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q
Prawo Irbisa jest tu perfekcyjnie spełnione!
ok
2.
Dla kolumny A2B2 mamy:
A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) = A2B2: ~p=~q
Również tu prawo Irbisa jest tu perfekcyjnie spełnione!
ok
Zapiszmy powyższe opisy matematyczne w łącznej tabeli prawdy z uwzględnieniem wszelkich relacji matematycznych zachodzących między tymi zapisami.
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Co oznacza tożsamość [=] równoważności?
A1B1: p<=>q [=] A2B2: ~p<=>~q
Tożsamość [=] powyższych równoważności oznacza tu tożsamość logiczną dowodów matematycznych prawdziwości równoważności.
Innymi słowy:
Wystarczy udowodnić którąkolwiek równoważność A1B1 albo A2B2 by mieć gwarancję matematyczną prawdziwości drugiej równoważności.
Tu oczywiste zapisy tożsame to:
A1B1: p<=>q [=] A2B2: ~p<=>~q
A1B1: p<=>q = A2B2: ~p<=>~q
A1B1: p<=>q <=> A2B2: ~p<=>~q
Jest totalnie bez znaczenia jaki znaczek tu sobie postawimy bo chodzi tu tylko i wyłącznie o tożsamość dowodów matematycznych po dowolnej stronie któregokolwiek z tożsamych znaczków:
[=] = „=” = <=>
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe, stąd miedzy tożsamością zdarzeń/zbiorów:
A1B1: p=q
oraz tożsamością zdarzeń/zbiorów:
A2B2: ~p=~q
musimy postawić znaczek #, czyli:
A1B1: p=q # A2B2: ~p=~q
Gdzie:
Definicja znaczka różne #:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Dowód iż zachodzi tu relacja spójnika „albo”($) jest trywialny:
Ostatni zapis na mocy odpowiednich tożsamości zdarzeń/zbiorów p=q oraz ~p=~q mamy prawo zredukować do zapisu:
A1B1: p # A2B2: ~p
dowód iż znaczek # jest tożsamy ze spójnikiem „albo”($)
Definicja spójnika albo($):
a$b = a*~b + ~a*b
Podstawmy:
a=p
b=~p
Stąd mamy:
p$~p = (p)*~(~p) + ~(p)*(~p) = p*p + ~p*~p = p+~p =1
ok
Dla świętego spokoju, by wywalić płaskoziemców w rodzaju Irbisola w kosmos udowodnimy iż miedzy zdarzeniami A1B1: p oraz A2B2: ~p nie zachodzi równoważność.
Dowód:
Definicja równoważności <=>:
a<=>b = a*b + ~a*~b
Podstawmy:
a=p
b=~p
Stąd mamy:
p<=>~p = (p)*(~p) + ~(p)*~(~p) = p*~p + ~p*p = 0+0 =0
cnd
… i co płaskoziemco Irbisolu?
Zatkało kakao? |
Ostatnio zmieniony przez rafal3006 dnia Wto 12:55, 25 Mar 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Wto 13:00, 25 Mar 2025 Temat postu: |
|
|
Odmawiasz odpowiedzi, a zamiast niej serwujesz niezamawiane gówno.
To twoja jedyna forma obrony.
Wszystko z mojej strony.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 13:07, 25 Mar 2025 Temat postu: |
|
|
...
Ostatnio zmieniony przez rafal3006 dnia Wto 13:31, 25 Mar 2025, w całości zmieniany 7 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: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 13:31, 25 Mar 2025 Temat postu: |
|
|
Koniec 15-letniej wojny wszech czasów?
Rozstrzygnięcie:
Irbisol wziął nogi za pas i w panicznym popłochu zwiał z placu boju.
Cóż nie zamierzam go ścigać - ja sobie poczekam aż ziemscy matematycy zrozumieją i zaakceptują AK, wtedy Irbisol nie będzie miał wyjścia i również zrozumie i zaakceptuje AK.
| Irbisol napisał: | Odmawiasz odpowiedzi, a zamiast niej serwujesz niezamawiane gówno.
To twoja jedyna forma obrony.
Wszystko z mojej strony. |
Z mojej również, Pa.
Dzięki za 15-letnią wojnę:
Algebra Kubusia vs KRZ w wersji Irbisiola
Prywatna KRZ Irbisola ma zero wspólnego z KRZ ziemskich matematyków.
Dowodem jest tu dogmat Irbisola:
Warunek wystarczający => = Implikacja logiczna => rodem z KRZ
Tylko i wyłącznie dzięki powyższemu dogmatowi możliwa była matematyczna wojna wszech czasów:
Algebra Kubusia vs KRZ w wersji Irbisiola
Dlaczego?
Bo rzeczywista definicja warunku wystarczającego => jest identyczna w AK i prywatnym KRZ Irbisola.
Innymi słowy:
Irbisol w tej wojnie non-stop miotał się między algebrą Kubusia której jest naturalnym ekspertem tylko o tym nie wie, a potwornie śmierdzącym gównem, jego prywatnym KRZ
Amen
P.S.
Obaj z Irbisolem (znamy się osobiście) na szczęście dla nas nie jesteśmy matematykami (jesteśmy absolwentami uczelni technicznych) - tylko i wyłącznie dzięki temu możliwe było rozszyfrowanie algebry Kubusia, logiki matematycznej pod którą podlega cały nasz Wszechświat, żywy i martwy.
Dlaczego bycie nie matematykiem było warunkiem koniecznym rozszyfrowania algebry Kubusia?
Wyobraźmy sobie studenta matematyki, Rafała3006 który mówi do wykładowcy Klasycznego Rachunku Zdań i Teorii Mnogości:
Wszystko czego nas Pan tu uczy to jedno, wielkie, potwornie śmierdzące gówno!
Czy trudno się domyśleć, iż po tych słowach Rafał3006 wyleci na zbity pysk z matematycznych studiów?
Pogrom KRZ i TM można znaleźć w II części algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyczna-wojna-wszech-czasow,27431.html#836061
| rafal3006 napisał: | Algebra Kubusia
Matematyczna wojna wszech czasów
Algebra Kubusia vs Klasyczny Rachunek Zdań plus Teoria Mnogości |
Ostatnio zmieniony przez rafal3006 dnia Wto 16:21, 25 Mar 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Śro 21:54, 26 Mar 2025 Temat postu: |
|
|
| rafal3006 napisał: | Koniec 15-letniej wojny wszech czasów?
Rozstrzygnięcie:
Irbisol wziął nogi za pas i w panicznym popłochu zwiał z placu boju. |
Zapomniałeś dodać, że tak spierniczałem, że nie wyrabiałem się na zakrętach.
A wszystko dlatego, że przestraszyłem się twojego nieodpowiadania na proste pytanie z gatunku 0/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: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 22:14, 26 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | Koniec 15-letniej wojny wszech czasów?
Rozstrzygnięcie:
Irbisol wziął nogi za pas i w panicznym popłochu zwiał z placu boju. |
Zapomniałeś dodać, że tak spierniczałem, że nie wyrabiałem się na zakrętach. |
Nie musisz się przyznawać, wszyscy to widzą czarno na białym iż z przerażeniem w oczach uciekasz przed poniższym fragmentem algebry Kubusia, nie wyrabiając na zakrętach.
Zaprawdę powiadam ci:
Trzeba mieć potwornie sprany mózg gównem zwanym KRZ by nie rozumieć banalnego cytatu niżej.
Cóż biedaku, cały 100-milowy las ci współczuje.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#835961
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
27.13 Równoważność A<=>S na gruncie fizyki teoretycznej
Spis treści
27.14 Interpretacja operatora równoważności p|<=>q w zdarzeniach 1
27.14.1 Prawa Sowy 2
27.14.2 Definicja tożsamości logicznej 2
27.14.3 Właściwości równoważności p<=>q 2
27.14.4 Prawo Irbisa 3
27.14.5 Kwintesencja prawa Irbisa 5
27.14 Interpretacja operatora równoważności p|<=>q w zdarzeniach
Algebra Kubusia to matematyczny opis języka potocznego w przełożeniu 1:1.
Wynika z tego, że jeśli w naszym przykładzie równoważności A<=>S pozostawimy wyłącznie zapisy formalne (ogólne) to dostaniemy poprawny opis formalny równoważności p<=>q bez związku z jakimkolwiek przykładem.
Zróbmy to:
Tabela równoważności p<=>q w zapisie formalnym TR jest następująca.
| Kod: |
TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Kolumna A1B1 to punkt odniesienia w zapisie formalnym {p, q}:
A1: p=>q =1 - p jest (=1) wystarczające => dla q
B1: p~>q =1 - p jest (=1) konieczne ~> dla q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
A1B1: A2B2: | A3B3: A4B4:
Zapis formalny:
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
## ## ## ##
Zapis formalny:
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ść <=>: | Równoważności <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1 [=] 3: q<=>p=1 = 4:~q<=>~p=1
definiuje tożsamość zdarzeń: | definiuje tożsamość zdarzeń:
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
|
27.14.1 Prawa Sowy
I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji
27.14.2 Definicja tożsamości logicznej
Prawa Sowy to:
Definicja tożsamości logicznej „=” dla wielu zdań:
Prawdziwość dowolnego zdania w tożsamości logicznej „=” wymusza prawdziwość pozostałych zdań
Fałszywość dowolnego zdania w tożsamości logicznej „=” wymusza fałszywość pozostałych zdań
Tożsame znaczki tożsamości logicznej to:
„=”, [=], <=> (wtedy i tylko wtedy)
27.14.3 Właściwości równoważności p<=>q
W tabeli prawdy równoważności TR p<=>q mamy do czynienia z czterema tożsamymi definicjami równoważności p<=>q w kolumnach A1B1, A2B2, A3B3 i A4B4.
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) <=> p=q
Zapiszmy prawa Irbisa dla wszystkich czterech kolumn równoważności:
A1B1
Prawo Irbisa dla kolumny A1B1:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) <=> A1B1: p=q
Równoważność w kolumnie A1B1: p<=>q definiuje tożsamość zdarzeń/zbiorów A1B1: p=q
A2B2
Prawo Irbisa dla kolumny A2B2:
A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) <=> A2B2: ~p=~q
Równoważność w kolumnie A2B2: ~p<=>~q definiuje tożsamość zdarzeń/zbiorów A2B2: ~p=~q
A3B3
Prawo Irbisa dla kolumny A3B3:
A3B3: q<=>p = (A3: q~>p)*(B3: q=>p) <=> A3B3: q=p
Równoważność w kolumnie A3B3: q<=>p definiuje tożsamość zdarzeń/zbiorów A3B3: q=p
A4B4
Prawo Irbisa dla kolumny A4B4:
A4B4: ~q<=>~p = (A4: ~q=>~p)*(B4: ~q~>~q) <=> A4B4: ~q=~p
Równoważność w kolumnie A4B4: ~q<=>~p definiuje tożsamość zdarzeń/zbiorów A4B4: ~q=~p
Zauważmy że:
W dowolnej z czterech kolumn {1,2,3,4} prawo Irbisa działa genialnie.
W dalszych rozważaniach pominiemy kolumnę A3B3, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A1B1: p<=>q [=] A3B3: q<=>p
jak i przemienność tożsamości zdarzeń/zbiorów:
A1B1: p=q [=] A3B3: q=p
Podobnie mamy prawo pominąć kolumnę A4B4, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A2B2: ~p<=>~q [=] A4B4: ~q<=>~p
jak i przemienność tożsamości zdarzeń/zbiorów:
A2B2: ~p=~q [=] A4B4: ~q=~p
Wniosek:
Kolumny A3B3 i A4B4 możemy śmiało wyeliminować w analizie matematycznej każdej równoważności p<=>q i tego faktu, dla uproszczenia teorii równoważności p<=>q będziemy się trzymać.
27.14.4 Prawo Irbisa
Na mocy poprzedniego punktu skupmy się na kolumnach A1B1 i A2B2
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie.)
To „i odwrotnie” jest tu kluczowe.
1.
Dla kolumny A1B1 mamy:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q
Prawo Irbisa jest tu perfekcyjnie spełnione.
2.
Dla kolumny A2B2 mamy:
A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) = A2B2: ~p=~q
Również tu prawo Irbisa jest tu perfekcyjnie spełnione.
Zapiszmy powyższe opisy matematyczne w łącznej tabeli prawdy z uwzględnieniem wszelkich relacji matematycznych zachodzących między tymi zapisami.
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz Z2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Co oznacza tożsamość [=] równoważności?
A1B1: p<=>q [=] A2B2: ~p<=>~q
Tożsamość [=] powyższych równoważności oznacza tu tożsamość logiczną dowodów matematycznych prawdziwości równoważności.
Innymi słowy:
Wystarczy udowodnić którąkolwiek równoważność A1B1 albo A2B2 by mieć gwarancję matematyczną prawdziwości drugiej równoważności.
Oczywiste zapisy tożsame to:
A1B1: p<=>q [=] A2B2: ~p<=>~q
A1B1: p<=>q = A2B2: ~p<=>~q
A1B1: p<=>q <=> A2B2: ~p<=>~q
Jest bez znaczenia jaki znaczek postawimy między powyższymi równoważnościami bo chodzi tu tylko i wyłącznie o tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej.
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie.)
To „i odwrotnie” jest tu kluczowe, stąd miedzy tożsamością zdarzeń/zbiorów:
A1B1: p=q
oraz tożsamością zdarzeń/zbiorów:
A2B2: ~p=~q
musimy postawić znaczek #, czyli:
A1B1: p=q # A2B2: ~p=~q
Gdzie:
Definicja znaczka różne #:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Dowód iż zachodzi tu relacja spójnika „albo”($) jest trywialny:
Ostatni zapis na mocy odpowiednich tożsamości zdarzeń/zbiorów p=q oraz ~p=~q mamy prawo zredukować do zapisu:
A1B1: p # A2B2: ~p
Dowód iż znaczek # jest tożsamy ze spójnikiem „albo”($)
Definicja spójnika albo($):
a$b = a*~b + ~a*b
Podstawmy:
a=p
b=~p
Stąd mamy:
p$~p = (p)*~(~p) + ~(p)*(~p) = p*p + ~p*~p = p+~p =1
cnd
Udowodnijmy na zakończenie, że między zdarzeniami/zbiorami A1B1: p oraz A2B2: ~p nie zachodzi relacja równoważności
Dowód:
Definicja równoważności <=>:
a<=>b = a*b + ~a*~b
Podstawmy:
a=p
b=~p
Stąd mamy:
p<=>~p = (p)*(~p) + ~(p)*~(~p) = p*~p + ~p*p = 0+0 =0
cnd
27.14.5 Kwintesencja prawa Irbisa
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz Z2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie.)
I.
To "i odwrotnie" jest tu kluczowe i najważniejsze.
Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możemy dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
mamy zablokowane znaczkiem #.
Podobnie z tożsamości:
A2B2: ~p=~q
możemy dojść tylko i wyłącznie to równoważności
A2B2:~p<=>~q
bowiem dojście do równoważności
A1B1: p<=>q
mamy zablokowane znaczkiem #
II.
Zauważmy, że idąc od strony równoważności:
A1B1: p<=>q [=] A2B2: ~p<=>~q
dostaniemy fałszywe prawo Irbisa względem znaczka [=]
Dowód:
Po obu stronach znaczka [=] mamy oczywiście spełnione prawo Irbisa z którego wynika tożsamość zdarzeń:
A1B1: p=q [=] A2B2: ~p=~q
Na mocy definicji tożsamości zdarzeń p=q i ~p=~q z powyższego zapisu możemy wyrugować zdarzenie q.
Stąd mamy:
A1B1: p [=] A2B2: ~p
Zapis tożsamy:
p<=>~p =0
Wniosek:
Prawo Irbisa względem znaczka [=] jest fałszem.
cnd
|
Ostatnio zmieniony przez rafal3006 dnia Śro 22:52, 26 Mar 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 8:04, 27 Mar 2025 Temat postu: |
|
|
Nie zmusisz mnie do czytania gównianego spamu, który serwujesz. Wchodzenie na ambicję w twoim stylu jest tak dziecinne, że aż zęby bolą.
I tak wiele razy ci wykazałem, że robisz trywialne błędy i zaprzeczasz sam sobie. Nawet teraz od wielu tygodni dyskutujesz z moją tezą a w końcu sam przyznałeś, że miałem rację - i nawet tego nie widzisz
Zgodnie z obietnicą powinieneś już kilka razy skasować całe to swoje gówno.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:59, 27 Mar 2025 Temat postu: |
|
|
Pogrom potwornie śmierdzącego gówna, dla niepoznaki zwanego Teorią Mnogości!
| Irbisol napisał: | Nie zmusisz mnie do czytania gównianego spamu, który serwujesz. Wchodzenie na ambicję w twoim stylu jest tak dziecinne, że aż zęby bolą.
I tak wiele razy ci wykazałem, że robisz trywialne błędy i zaprzeczasz sam sobie. Nawet teraz od wielu tygodni dyskutujesz z moją tezą a w końcu sam przyznałeś, że miałem rację - i nawet tego nie widzisz
Zgodnie z obietnicą powinieneś już kilka razy skasować całe to swoje gówno. |
Dla każdego płaskoziemcy wszystko co piszę jest spamem, żadna to nowość:
[link widoczny dla zalogowanych]
W związku z kopernikańskimi przekonaniami [Giordano Bruno] utrzymywał również, że we wszechświecie jest nieskończenie wiele światów zamieszkanych przez istoty obdarzone rozumem. Z powodu szerzenia tych poglądów Bruno był sądzony przez inkwizycję za głoszenie herezji i został spalony na stosie w 1600 roku.
| 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
|
Irbisolu,
Bez twojego postu zauważyłem już wczoraj (ciekawiło mnie co ty napiszesz), że mój cytat wyżej można precyzyjnie zapisać tak.
Dowolną równoważność prawdziwą możemy interpretować na dwa sposoby:
1.
Prawo Irbisa dotyczące tożsamości dowodów matematycznych:
Równoważność prawdziwa p<=>q definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=].
A1B1: p<=>q [=] A2B2: ~p<=>~q =1
Przykład:
Równoważność Pitagorasa w sensie tożsamości dowodów matematycznych:
A1B1: TP<=>SK [=] A2B2: ~TP<=>~SK
Interpretacja:
Wystarczy, że udowodnimy prawdziwość dowolnej strony tożsamości logicznej [=] i mamy gwarancję matematyczną prawdziwości drugiej strony.
„albo”($)
2.
Prawo Irbisa dotyczące tożsamości zbiorów/zdarzeń:
Równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q po obu stronach znaczka tożsamości logicznej <=>.
p<=>q <=> p=q
Przykład:
Równoważność Pitagorasa w sensie tożsamości zbiorów/pojęć
TP<=>SK <=> TP=SK
Prawo Irbisa:
Równoważność prawdziwa TP<=>SK definiuje tu tożsamość zbiorów TP=SK
Interpretacja:
TP=SK
Każdy trójkąt prostokątny ze zbioru TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełniona suma kwadratów SK
Gdzie:
=, [=], <=> - tożsame znaczki tożsamości logicznej
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] daje nam gwarancję matematyczną prawdziwości drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] daje nam gwarancję matematyczną fałszywości drugiej strony
Na mocy 1 udowadniając równoważność TP<=>SK na mocy prawa Irbisa mówiącego o tożsamości dowodów matematyczych mamy gwarancję matematyczną prawdziwości równoważności ~TP<=>~SK
Prawo Irbisa dotyczące tożsamości zbiorów/zdarzeń:
~TP<=>~SK <=> ~TP=~SK
Interpretacja:
~TP=~SK
Każdy trójkąt ze zbioru trójkątów nieprostokątnych ~TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów z niespełnioną sumą kwadratów ~SK
Oczywistym jest, że o powyższej interpretacji ziemscy matematycy (z Irbisolem włącznie) nie mają bladego pojęcia.
Kwadratura koła dla irbisola:
Zacznij szukać w Internecie opisane wyżej właściwości równoważności Pitagorasa (TP<=>SK)
Znajdziesz – kasuję algebrę Kubusia
Na mocy powyższego zapisujemy rewolucyjne prawo równoliczności zbiorów.
Prawo równoliczności zbiorów:
Każda tożsamość zbiorów p=q wymusza równoliczność zbiorów p~~q (odwrotnie nie zachodzi)
Dowód na zbiorach minimalnych:
p=[Prosiaczek, Tygrysek]
q=[Tygrysek, Prosiaczek]
Doskonale tu widać prawdziwość prawa równoliczności zbiorów.
Odwrotnie nie zachodzi.
Dowód:
p=[Prosiaczek, Tygrysek]
q=[Tygrysek, sraczka]
Tu zbiory p i q są równoliczne, ale nie są tożsame
Oczywistym jest, że prawo równoliczności zbiorów p~~q to pogrom potwornie śmierdzącego gówna, dla niepoznaki zwanego Teorią Mnogości
… i co płaskoziemco Irbisolu?
Zatkało kakao?
Ostatnio zmieniony przez rafal3006 dnia Pią 0:23, 28 Mar 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 11:19, 27 Mar 2025 Temat postu: |
|
|
To co piszesz jest spamem, gdyż:
1. Nie jest na temat.
2. To samo można napisać w kilkukrotnie mniejszej objętości.
Już wiesz, gdzie przyznałeś mi rację i nawet tego nie zauważyłeś? Najpierw musiałbyś wiedzieć, jaki jest bieżący temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 13:15, 27 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | To co piszesz jest spamem, gdyż:
1. Nie jest na temat.
2. To samo można napisać w kilkukrotnie mniejszej objętości.
Już wiesz, gdzie przyznałeś mi rację i nawet tego nie zauważyłeś? Najpierw musiałbyś wiedzieć, jaki jest bieżący temat. |
Moja wersja wyżej jest wersją minimalną wyjaśniającą nieścisłość w moim opisie przeznaczoną dla bezmózgowych płaskoziemców z głupim komputerem na szyi zamiast mózgu.
Oczywiście trochę nad tym jeszcze popracuję bo to co wyżej to było z marszu czyli proste wyjaśnienie drobnej nieścisłości bez wpływu na prawdziwość/fałszywość kompletnej AK!
Równie dobrze możesz sobie obalać np. prawo Kameleona rodem z AK.
| Algebra Kubusia napisał: |
27.13.3 Prawo Kameleona
Prawa Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame
Dowodem są nasze zdania A1 i B1.
A1.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka na 100% => świeci się (S=1)
A1: A=>S =1
To samo w zapisie formalnym:
A1: p=>q =1
Wciśnięcie przycisku A jest (=1) warunkiem wystarczającym => do tego, aby żarówka świeciła się
##
B1.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka na 100% ~> świeci się (S=1)
B1: A~>S =1
To samo w zapisie formalnym:
B1: p~>q =1
Wciśnięcie przycisku A (A=1) jest (=1) konieczne ~> dla świecenia się żarówki S (S=1), bo nie ma żadnej innej możliwości zaświecenia się żarówki S.
Gdzie:
## - zdania różne na mocy definicji
Różność ## zdań A1 i B1 rozpoznajemy wyłącznie po znaczkach warunku wystarczającego => i koniecznego ~> wbudowanych w treść zdań.
Matematycznie zachodzi:
| Kod: |
Warunek wystarczający A1: p=>q=~p+q ## Warunek konieczny B1: p~>q=p+~q
Gdzie:
## - zdania A1 i B1 są różne na mocy definicji
warunku wystarczającego => i koniecznego ~>
Dowód zero-jedynkowy w punkcie 27.3
|
|
.. no i co płaskoziemco?
Zatkało kakao?
Prawo Kameleona to prawo logiki matematycznej, czy też spam wedle płaskoziemcy nic a nic nie kumającego jedynej poprawnej logiki matematycznej, algebry Kubusia.
Ostatnio zmieniony przez rafal3006 dnia Czw 13:35, 27 Mar 2025, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 13:54, 27 Mar 2025 Temat postu: |
|
|
|
Rozumiesz, schizofreniku, że piszesz nie na temat?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 14:24, 27 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | Rozumiesz, schizofreniku, że piszesz nie na temat? |
Jak zwykle, paniczna ucieczka przed zrozumieniem algebry Kubusia - tylko tyle potrafisz.
Tu masz na temat - nie będzie żadnego twojego posranego skrutu - masz zrozumieć całość mojej wypowiedzi, bo ta wypowiedź to minimalny opis tego, czego płaskoziemca z komputerem na szyi zamiast mózgu, ni w ząb nie rozumie.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11325.html#836853
| rafal3006 napisał: | Pogrom potwornie śmierdzącego gówna, dla niepoznaki zwanego Teorią Mnogości!
| Irbisol napisał: | Nie zmusisz mnie do czytania gównianego spamu, który serwujesz. Wchodzenie na ambicję w twoim stylu jest tak dziecinne, że aż zęby bolą.
I tak wiele razy ci wykazałem, że robisz trywialne błędy i zaprzeczasz sam sobie. Nawet teraz od wielu tygodni dyskutujesz z moją tezą a w końcu sam przyznałeś, że miałem rację - i nawet tego nie widzisz
Zgodnie z obietnicą powinieneś już kilka razy skasować całe to swoje gówno. |
Dla każdego płaskoziemcy wszystko co piszę jest spamem, żadna to nowość:
[link widoczny dla zalogowanych]
W związku z kopernikańskimi przekonaniami [Giordano Bruno] utrzymywał również, że we wszechświecie jest nieskończenie wiele światów zamieszkanych przez istoty obdarzone rozumem. Z powodu szerzenia tych poglądów Bruno był sądzony przez inkwizycję za głoszenie herezji i został spalony na stosie w 1600 roku.
| 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
|
Irbisolu,
Bez twojego postu zauważyłem już wczoraj (ciekawiło mnie co ty napiszesz), że mój cytat wyżej można precyzyjnie zapisać tak.
Dowolną równoważność prawdziwą możemy interpretować na dwa sposoby:
1.
Prawo Irbisa dotyczące tożsamości dowodów matematycznych:
Równoważność prawdziwa p<=>q definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=].
A1B1: p<=>q [=] A2B2: ~p<=>~q =1
Przykład:
Równoważność Pitagorasa w sensie tożsamości dowodów matematycznych:
A1B1: TP<=>SK [=] A2B2: ~TP<=>~SK
Interpretacja:
Wystarczy, że udowodnimy prawdziwość dowolnej strony tożsamości logicznej [=] i mamy gwarancję matematyczną prawdziwości drugiej strony.
„albo”($)
2.
Prawo Irbisa dotyczące tożsamości zbiorów/zdarzeń:
Równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q po obu stronach znaczka tożsamości logicznej <=>.
p<=>q <=> p=q
Przykład:
Równoważność Pitagorasa w sensie tożsamości zbiorów/pojęć
TP<=>SK <=> TP=SK
Prawo Irbisa:
Równoważność prawdziwa TP<=>SK definiuje tu tożsamość zbiorów TP=SK
Interpretacja:
TP=SK
Każdy trójkąt prostokątny ze zbioru TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełniona suma kwadratów SK
Gdzie:
=, [=], <=> - tożsame znaczki tożsamości logicznej
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] daje nam gwarancję matematyczną prawdziwości drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] daje nam gwarancję matematyczną fałszywości drugiej strony
Na mocy 1 udowadniając równoważność TP<=>SK na mocy prawa Irbisa mówiącego o tożsamości dowodów matematyczych mamy gwarancję matematyczną prawdziwości równoważności ~TP<=>~SK
Prawo Irbisa dotyczące tożsamości zbiorów/zdarzeń:
~TP<=>~SK <=> ~TP=~SK
Interpretacja:
~TP=~SK
Każdy trójkąt ze zbioru trójkątów nieprostokątnych ~TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów z niespełnioną sumą kwadratów ~SK
Oczywistym jest, że o powyższej interpretacji ziemscy matematycy (z Irbisolem włącznie) nie mają bladego pojęcia.
Kwadratura koła dla irbisola:
Zacznij szukać w Internecie opisane wyżej właściwości równoważności Pitagorasa (TP<=>SK)
Znajdziesz – kasuję algebrę Kubusia
Na mocy powyższego zapisujemy rewolucyjne prawo równoliczności zbiorów.
Prawo równoliczności zbiorów:
Każda tożsamość zbiorów p=q wymusza równoliczność zbiorów p~~q (odwrotnie nie zachodzi)
Dowód na zbiorach minimalnych:
p=[Prosiaczek, Tygrysek]
q=[Tygrysek, Prosiaczek]
Doskonale tu widać prawdziwość prawa równoliczności zbiorów.
Odwrotnie nie zachodzi.
Dowód:
p=[Prosiaczek, Tygrysek]
q=[Tygrysek, sraczka]
Tu zbiory p i q są równoliczne, ale nie są tożsame
Oczywistym jest, że prawo równoliczności zbiorów p~~q to pogrom potwornie śmierdzącego gówna, dla niepoznaki zwanego Teorią Mnogości
… i co płaskoziemco Irbisolu?
Zatkało kakao? |
Ostatnio zmieniony przez rafal3006 dnia Pią 0:28, 28 Mar 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 16:35, 27 Mar 2025 Temat postu: |
|
|
Tam jest jakieś pierdolenie o Giordano.
To jest nie na temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:38, 27 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Tam jest jakieś pierdolenie o Giordano.
To jest nie na temat. |
Płaskoziemca - w 100% przewidywalny.
Doczytałeś tylko do Giordano - dalej nie czytałeś.
Zgadza się?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 17:07, 27 Mar 2025 Temat postu: |
|
|
Pisałeś, że jest na temat - a nie jest.
Zgadza się?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:13, 27 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Pisałeś, że jest na temat - a nie jest.
Zgadza się? |
Jest na temat, przeczytaj całość płaskoziemco - zakwestionujesz cokolwiek i kasuję algebrę Kubusia.
Pytanie retoryczne:
Ma kto nadzieję, że płaskoziemca da radę ... przeczytać całość oczywiście.
Ostatnio zmieniony przez rafal3006 dnia Czw 17:14, 27 Mar 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 17:38, 27 Mar 2025 Temat postu: |
|
|
Nie mam zamiaru wygrzebywać czegoś na temat.
A przy okazji - jaki wg ciebie jest temat?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 19:00, 27 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Nie mam zamiaru wygrzebywać czegoś na temat.
A przy okazji - jaki wg ciebie jest temat? |
Złej baletnicy przeszkadza rąbek u spódnicy
Dzięki za 15-to letnią dyskusję.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Czw 19:26, 27 Mar 2025 Temat postu: |
|
|
Jaki jest bieżący temat - powtórz? Bo jakoś nie dosłyszałem 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 19:38, 27 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | Jaki jest bieżący temat - powtórz? Bo jakoś nie dosłyszałem |
Bardzo proszę, bieżący temat w całości od A do Z.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11325.html#836853
| rafal3006 napisał: | Pogrom potwornie śmierdzącego gówna, dla niepoznaki zwanego Teorią Mnogości!
| Irbisol napisał: | Nie zmusisz mnie do czytania gównianego spamu, który serwujesz. Wchodzenie na ambicję w twoim stylu jest tak dziecinne, że aż zęby bolą.
I tak wiele razy ci wykazałem, że robisz trywialne błędy i zaprzeczasz sam sobie. Nawet teraz od wielu tygodni dyskutujesz z moją tezą a w końcu sam przyznałeś, że miałem rację - i nawet tego nie widzisz
Zgodnie z obietnicą powinieneś już kilka razy skasować całe to swoje gówno. |
Dla każdego płaskoziemcy wszystko co piszę jest spamem, żadna to nowość:
[link widoczny dla zalogowanych]
W związku z kopernikańskimi przekonaniami [Giordano Bruno] utrzymywał również, że we wszechświecie jest nieskończenie wiele światów zamieszkanych przez istoty obdarzone rozumem. Z powodu szerzenia tych poglądów Bruno był sądzony przez inkwizycję za głoszenie herezji i został spalony na stosie w 1600 roku.
| 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
|
Irbisolu,
Bez twojego postu zauważyłem już wczoraj (ciekawiło mnie co ty napiszesz), że mój cytat wyżej można precyzyjnie zapisać tak.
Dowolną równoważność prawdziwą możemy interpretować na dwa sposoby:
1.
Prawo Irbisa dotyczące tożsamości dowodów matematycznych:
Równoważność prawdziwa p<=>q definiuje tożsamość dowodów matematycznych po obu stronach znaczka tożsamości logicznej [=].
A1B1: p<=>q [=] A2B2: ~p<=>~q =1
Przykład:
Równoważność Pitagorasa w sensie tożsamości dowodów matematycznych:
A1B1: TP<=>SK [=] A2B2: ~TP<=>~SK
Interpretacja:
Wystarczy, że udowodnimy prawdziwość dowolnej strony tożsamości logicznej [=] i mamy gwarancję matematyczną prawdziwości drugiej strony.
„albo”($)
2.
Prawo Irbisa dotyczące tożsamości zbiorów/zdarzeń:
Równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q po obu stronach znaczka tożsamości logicznej <=>.
p<=>q <=> p=q
Przykład:
Równoważność Pitagorasa w sensie tożsamości zbiorów/pojęć
TP<=>SK <=> TP=SK
Prawo Irbisa:
Równoważność prawdziwa TP<=>SK definiuje tu tożsamość zbiorów TP=SK
Interpretacja:
TP=SK
Każdy trójkąt prostokątny ze zbioru TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełniona suma kwadratów SK
Gdzie:
=, [=], <=> - tożsame znaczki tożsamości logicznej
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] daje nam gwarancję matematyczną prawdziwości drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] daje nam gwarancję matematyczną fałszywości drugiej strony
Na mocy 1 udowadniając równoważność TP<=>SK na mocy prawa Irbisa mówiącego o tożsamości dowodów matematyczych mamy gwarancję matematyczną prawdziwości równoważności ~TP<=>~SK
Prawo Irbisa dotyczące tożsamości zbiorów/zdarzeń:
~TP<=>~SK <=> ~TP=~SK
Interpretacja:
~TP=~SK
Każdy trójkąt ze zbioru trójkątów nieprostokątnych ~TP ma swój jeden, jedyny, unikalny odpowiednik w zbiorze trójkątów z niespełnioną sumą kwadratów ~SK
Oczywistym jest, że o powyższej interpretacji ziemscy matematycy (z Irbisolem włącznie) nie mają bladego pojęcia.
Kwadratura koła dla irbisola:
Zacznij szukać w Internecie opisane wyżej właściwości równoważności Pitagorasa (TP<=>SK)
Znajdziesz – kasuję algebrę Kubusia
Na mocy powyższego zapisujemy rewolucyjne prawo równoliczności zbiorów.
Prawo równoliczności zbiorów:
Każda tożsamość zbiorów p=q wymusza równoliczność zbiorów p~~q (odwrotnie nie zachodzi)
Dowód na zbiorach minimalnych:
p=[Prosiaczek, Tygrysek]
q=[Tygrysek, Prosiaczek]
Doskonale tu widać prawdziwość prawa równoliczności zbiorów.
Odwrotnie nie zachodzi.
Dowód:
p=[Prosiaczek, Tygrysek]
q=[Tygrysek, sraczka]
Tu zbiory p i q są równoliczne, ale nie są tożsame
Oczywistym jest, że prawo równoliczności zbiorów p~~q to pogrom potwornie śmierdzącego gówna, dla niepoznaki zwanego Teorią Mnogości
… i co płaskoziemco Irbisolu?
Zatkało kakao? |
Ostatnio zmieniony przez rafal3006 dnia Pią 0:27, 28 Mar 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pią 9:07, 28 Mar 2025 Temat postu: |
|
|
|
Nie, schizofreniku - temat nie jest o Giordano.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pią 11:00, 28 Mar 2025 Temat postu: |
|
|
|
Opis tematu to kilka słów. Jeżeli wg ciebie ta twoja sraka to opis tematu, to strach się bać ile tego nawalisz, jeżeli zaczniesz w temacie pisać
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 11:03, 28 Mar 2025 Temat postu: |
|
|
Irbisol = 100% Urban!
| Irbisol napisał: | | Opis tematu to kilka słów. Jeżeli wg ciebie ta twoja sraka to opis tematu, to strach się bać ile tego nawalisz, jeżeli zaczniesz w temacie pisać |
Sratatata.
Irbisol = 100% Urban 
[link widoczny dla zalogowanych]
Jerzy Urban. Cyniczne kłamstwa w służbie komunistycznej propagandy
Zmarły 3 października br. Jerzy Urban – w latach 1981-1989 rzecznik prasowy Rady Ministrów PRL - przeszedł do niechlubnej historii jako symbol komunistycznej, wyrachowanej propagandy. Widziany po latach cynizm tych kłamstw poraża.
Wszyscy widzą, że przeczytanie króciutkiego postu dokładnie na twój temat, to dla ciebie mission impossible
Tu masz odpowiedź:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11325.html#836853
Żadnej innej odpowiedzi z mojej strony nie będzie:
Złej baletnicy przeszkadza rąbek u spódnicy
Ostatnio zmieniony przez rafal3006 dnia Pią 11:09, 28 Mar 2025, w całości zmieniany 4 razy
|
|
| 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
