 |
Ś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: 35397
Przeczytał: 20 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Pon 16:44, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783205
| Irbisol napisał: | Mieliśmy już nową definicję "odpowiedziałem" jako "odpowiem", teraz mamy nową definicję "rojenia".
Kontynuując: skoro jesteś na 100% pewien, że to pytanie kompletnie nieistotne z punktu udowadniania wewnętrznej sprzeczności AK, to jesteś skłonny postawić na szali całe AK jeżeli się okaże, że to pytanie jednak jest istotne w tym względzie? |
TAK,
Przecież pisałem o tym wyżej, jeśli twoje pytanie doprowadzi do wykazania wewnętrznej sprzeczności AK (nawet tej najmniejszej, jednej, jedynej = kontrprzykład) to ja się pod tym podpiszę obiema rękami tzn. wywalę AK w kosmos, od A do Z.
Zatem zaczynaj.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 18:09, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783219
Zaskakująca riposta Rafała3006 - czy Irbisol podejmie rzuconą mu rękawicę?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783209
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Mieliśmy już nową definicję "odpowiedziałem" jako "odpowiem", teraz mamy nową definicję "rojenia".
Kontynuując: skoro jesteś na 100% pewien, że to pytanie kompletnie nieistotne z punktu udowadniania wewnętrznej sprzeczności AK, to jesteś skłonny postawić na szali całe AK jeżeli się okaże, że to pytanie jednak jest istotne w tym względzie? |
TAK,
Przecież pisałem o tym wyżej, jeśli twoje pytanie doprowadzi do wykazania wewnętrznej sprzeczności AK (nawet tej najmniejszej, jednej, jedynej = kontrprzykład) to ja się pod tym podpiszę obiema rękami tzn. wywalę AK w kosmos, od A do Z.
Zatem zaczynaj. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163 |
Uff, wreszcie, gdybyś nie pisał w koło Macieju:
„Zgadnij o jakie pytanie mi chodzi”
czy też analogiczne:
„Sam sobie znajdź w swoim gównie które zapisałeś pytanie o które mi chodzi”
tylko podał ten link:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
to zaoszczędziłbyś mi kilkadziesiąt moich postów pisanych do SŁUPA!
Wbrew pozorom moje posty pisane do SŁUPA to tez kawał dobrej roboty w kierunku zawitania algebry Kubusia pod strzechy - za co ci dziękuję.
Wracając do tematu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Irbisolu, obiecałem ci w poście wyżej, ze jak twój cytowany wyżej post doprowadzi nas do udowodnienia wewnętrznej sprzeczności algebry Kubusia to na 100% kasuję calusieńką algebrę Kubusia od A do Z.
Ja słowa dotrzymam, przysięgam na wszystkie świętości naszego Wszechświata.
Czas na moją ripostę:
Jeśli twój cytat wyżej doprowadzi nas do udowodnienia wewnętrznej sprzeczności logiki Irbisola, w sposób zrozumiały dla Irbisola, to czy zgadzasz się na wywalenie całej swojej logiki matematycznej w kosmos i przejście do obozu algebry Kubusia?
Odpowiedź Irbisola: TAK.
Czy zgadzasz się na odpowiedź TAK włożoną w twoje usta?
Odpowiedź TAK jest tu konieczna, byśmy mieli równe szanse w dowodzeniu swoich racji.
Nie może być bowiem tak, że jedna ze stron sporu jest uprzywilejowana już na starcie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 19:50, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783237
Czy Irbisol uzna niniejszy post za gówno którego nie będzie czytał?
Oto jest pytanie.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Ciekawostka z dedykacją dla Irbisola:
Dokładnie ten post wyżej spowodował, iż w algebrze Kubusia dopisałem historyczny punkt 25.0 którego początek cytuje niżej.
Irbisolu,
Mam nadzieję, że zdajesz sobie sprawę, że chodzi tu o funkcję logiczną algebry Boole’a gdzie jedyne legalne znaczki na poziomie elementarnym to: {1,0, (~),(*),(+)}
a nie o funkcje algebraiczną typu: Y=x^2 - 4 z dwoma miejscami zerowymi x=2 i x=-2.
Funkcja logiczna Y=p+q to fundamentalnie co innego niż funkcja algebraiczna Y=x^2-4
Prawo Małpki:
Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie
Zadanko Małpki:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Przykładowa funkcja startowa to:
Definicja równoważności p<=>q w spójnikach „i”(*) i „lub”(+):
Y = p<=>q = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Irbisolu:
Rozwiązanie prawa Małpki dla równoważności masz w punkcie 25.2.1
Nie będę ci tu pisał końcowego rozwiązania bo musisz zrozumieć algorytm jak się do tego rozwiązania dochodzi - on tu jest najważniejszy.
Mam nadzieję, że nie napiszesz, iż cały ten post to gówno, którego nie będziesz czytał
Spis treści
25.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej 1
25.1 Ogólny algorytm Małpki 2
25.1.1 Definicja funkcji alternatywno-koniunkcyjnej 3
25.2 Algorytm Małpki dla równoważności p<=>q 3
25.2.1 Prawo Małpki dla równoważności p<=>q 6
25.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej
Definicja wyrażenia algebry Boole'a (pkt. 1.3):
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
Definicja funkcji logicznej w logice dodatniej (bo Y) (pkt. 1.3.2):
Funkcja logiczna Y zapisana jest w logice dodatniej (bo Y) wtedy i tylko wtedy gdy nie jest zanegowana.
W przeciwnym przypadku mamy do czynienia z funkcją logiczną w logice ujemnej (bo ~Y)
Definicja startowej funkcji logicznej w języku potocznym:
Startowa funkcja logiczna w języku potocznym to funkcja w logice dodatniej (bo Y) opisująca zdanie startowe wypowiedziane przez człowieka, od którego zaczynamy analizę matematyczną tego zdania.
Definicja funkcji startowej w zapisach formalnych:
Funkcja startowa to dowolne wyrażenie algebry Boole'a f(x) przypisane do funkcji logicznej w logice dodatniej (bo Y)
Przykład wyrażenia algebry Boole'a:
f(x) = p*q + ~p*~q
stąd funkcja startowa dla tego wyrażenia przyjmuje postać
Y = p*q + ~p*~q
Prawo negacji funkcji logicznej Y:
Dowolną funkcję logiczną w logice dodatniej (bo Y) wolno nam dwustronnie zanegować przechodząc do funkcji logicznej w logice ujemnej (bo ~Y) i odwrotnie.
Definicja funkcji alternatywno-koniunkcyjnej (pkt. 1.15.2):
Funkcja logiczna Y ma postać alternatywno-koniunkcyjną wtedy i tylko wtedy gdy nie zawiera ani jednego członu w postaci koniunkcyjno-alternatywnej.
Inaczej funkcja Y ma postać koniunkcyjno-alternatywną lub mieszaną
Logiką zrozumiałą dla człowieka jest tylko i wyłącznie postać alternatywno-koniunkcyjna (dowód w pkt. 1.10) gdzie wszystkie zmienne na mocy prawa Prosiaczka sprowadzone są do logicznych jedynek.
Prawo Małpiątka (pkt. 1.15.2):
Jeśli w dowolnym równaniu algebry Boole'a napotkamy fragment koniunkcyjno-alternatywny to ten fragment wymnażamy logicznie przechodząc do tożsamej funkcji alternatywno-koniunkcyjnej.
Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie
25.1 Ogólny algorytm Małpki
Definicja funkcji startowej w zapisach formalnych:
Funkcja startowa to dowolne wyrażenie algebry Boole'a f(x) przypisane do funkcji logicznej w logice dodatniej (bo Y)
Ziemscy matematycy nie znają komputerowego algorytmu pozwalającego znaleźć wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne dla dowolnej funkcji startowej.
Zadanko Małpki:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Podany niżej algorytm rozwiązania zdanka Małpki to fundament programu komputerowego automatycznie rozwiązującego zadanko Małpki dla n-zmiennych binarnych.
Program który trzeba tu napisać jest banalny i wkrótce taki program ludzkość napisze.
Ogólny algorytm Małpki:
Krok 1
T1 - pełna tabela zero-jedynkowa dla funkcji startowej Y=f(x) (pkt. 1.15.3)
Należy wygenerować pełną tabelę zero-jedynkową opisującą funkcję startową Y=f(x)
Najłatwiej to zrobić dla funkcji alternatywno-koniunkcyjnej co oznacza, że jeśli na wejściu dostaniemy funkcję startową Y=f(x) koniunkcyjno-alternatywną lub mieszaną to wymnażamy wszystkie człony koniunkcyjno-alternatywne przechodząc do tożsamej funkcji alternatywno-koniunkcyjnej.
Krok 2
T2 - Opis tabeli w funkcjach alternatywno-koniunkcyjnych (pkt. 1.14.1)
Na bazie pełnej tabeli zero-jedynkowej łatwo generujemy wszystkie możliwe funkcje alternatywno-koniunkcyjne gdzie opisujemy wyłącznie jedynki w tej tabeli stosując w wierszach spójnik „i”(*), zaś w kolumna spójnik „lub”(+).
Krok 3
T3 - Opis tej samej tabeli w funkcjach koniunkcyjno-alternatywnych (pkt. 1.14.2)
Kolejnym krokiem jest opis dokładnie tej samej tabeli zero-jedynkowej w funkcjach koniunkcyjno-alternatywnych gdzie opisujemy wyłącznie zera stosując w wierszach spójnik „lub”(+), zaś w kolumnach spójnik „i”(*)
Krok 4
Funkcje Y i ~Y w tabelach T2 i T3 dotyczą tej samej tabeli zero-jedynkowej, stąd zachodzą tożsamości logiczne:
T2: Y = T3: Y
T2: ~Y = T3: ~Y
co kończy rozwiązanie zadania Małpki
25.1.1 Definicja funkcji alternatywno-koniunkcyjnej
Definicja funkcji alternatywno-koniunkcyjnej:
Funkcja logiczna Y ma postać alternatywno-koniunkcyjną wtedy i tylko wtedy gdy nie zawiera ani jednego członu w postaci koniunkcyjno-alternatywnej.
Inaczej funkcja Y ma postać koniunkcyjno-alternatywną lub mieszaną
Logiką zrozumiałą dla człowieka jest wyłącznie postać alternatywno-koniunkcyjna (dowód w pkt. 1.10) gdzie wszystkie zmienne na mocy prawa Prosiaczka sprowadzone są do logicznych jedynek.
Prawo Małpiątka:
Jeśli w dowolnym równaniu algebry Boole'a napotkamy fragment koniunkcyjno-alternatywny to ten fragment wymnażamy logicznie przechodząc do funkcji alternatywno-koniunkcyjnej.
25.2 Algorytm Małpki dla równoważności p<=>q
Definicja funkcji startowej w zapisach formalnych:
Funkcja startowa to dowolne wyrażenie algebry Boole'a f(x) przypisane do funkcji logicznej w logice dodatniej (bo Y)
Zadanko Małpki dla równoważności p<=>q:
A1.
Dana jest startowa funkcja logiczna równoważności w spójnikach „i”(*) i „lub”(+):
Y = p<=>q = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Wykonujemy kolejne punkty algorytmu rozwiązania zadania Małpki:
Krok 1
Nasza startowa funkcja alternatywno-koniunkcyjna to:
Y = (p<=>q) = p*q +~p*~q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> p=1 i q=1 lub ~p=1 i ~q=1
Stąd w punktach A5 i C5 w pełnej tabeli zero-jedynkowej stawiamy jedynki
| Kod: |
Pełna tabela zero-jedynkowa
p q ~p ~q Y ~Y
A: 1 1 0 0 1
B: 1 0 0 1
C: 0 0 1 1 1
D: 0 1 1 0
1 2 3 4 5 6
|
Mamy wszystko, dalsze wypełnianie pełnej tabeli zero-jedynkowej to komputerowy automat na mocy definicji negacji, nic a nic nie trzeba myśleć.
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
Krok 2
T2 - Opis tabeli w funkcjach alternatywno-koniunkcyjnych (pkt. 1.14.1)
Na bazie pełnej tabeli zero-jedynkowej łatwo generujemy wszystkie możliwe funkcje alternatywno-koniunkcyjne gdzie opisujemy wyłącznie jedynki w tej tabeli stosując w wierszach spójnik „i”(*), zaś w kolumna spójnik „lub”(+).
| Kod: |
T2
Pełna definicja |Równania cząstkowe
zero-jedynkowa Y |w logice jedynek
|
p q ~p ~q Y ~Y |
A: 1 1 0 0 =1 =0 | Ya= p* q
B: 1 0 0 1 =0 =1 |~Yb= p*~q
C: 0 0 1 1 =1 =0 | Yc=~p*~q
D: 0 1 1 0 =0 =1 |~Yd=~p* q
1 2 3 4 5 6 d e f
|
Z tabeli równań cząstkowych odczytujemy:
1: Y = Ya+Yc
Po rozwinięciu mamy sumę logiczną zdarzeń rozłącznych:
1: Y = A: p*q + C: ~p*~q
co w logice jedynek oznacza:
1: Y=1 <=> A: p=1 i q=1 lub C: ~p=1 i ~q=1
#
Kiedy zajdzie ~Y?
Z tabeli równań cząstkowych otrzymujemy:
2: ~Y=~Yb+~Yd
Po rozwinięciu mamy sumę logiczną zdarzeń rozłącznych:
2: ~Y = B: p*~q + D: ~p*q
co w logice jedynek oznacza:
2: ~Y=1 <=> B: p=1 i ~q=1 lub D: ~p=1 i q=1
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Stąd mamy:
Definicja operatora logicznego Y|=f(x) w spójnikach „i”(*) i „lub”(+):
Operator logiczny wyrażony spójnikami „i”(*) i „lub”(+) to układ równań logicznych dający odpowiedź na pytanie o Y i ~Y.
Jak widzimy, odpowiedź na pytanie o Y i ~Y mamy tu w postaci funkcji alternatywno-koniunkcyjnych.
Definicja logiki 5-cio latka:
Logika 5-cio latka to wyłącznie funkcje alternatywno-koniunkcyjne rozumiane przez każdego człowieka
Dowód na przykładzie iż dowolne funkcje alternatywno-koniunkcyjne są doskonale rozumiane przez człowieka od 5-cio latka poczynając mieliśmy w punkcie 1.10.
Krok 3
T3 - Opis tej samej tabeli w funkcjach koniunkcyjno-alternatywnych (pkt. 1.14.2)
Kolejnym krokiem jest opis dokładnie tej samej tabeli zero-jedynkowej w funkcjach koniunkcyjno-alternatywnych gdzie opisujemy wyłącznie zera stosując w wierszach spójnik „lub”(+), zaś w kolumnach spójnik „i”(*)
| Kod: |
T3
Pełna definicja |Równania cząstkowe
zero-jedynkowa Y |w logice zer
|
p q ~p ~q Y ~Y |
A: 1 1 0 0 =1 =0 |~Ya=~p+~q
B: 1 0 0 1 =0 =1 | Yb=~p+ q
C: 0 0 1 1 =1 =0 |~Yc= p+ q
D: 0 1 1 0 =0 =1 | Yd= p+~q
1 2 3 4 5 6 d e f
|
Z tabeli równań cząstkowych def odczytujemy:
Y = Yb*Yd - spójnik „i”(*) bo opis tabeli zero-jedynkowej w logice zer
Po rozwinięciu mamy:
3. Y = (B: ~p+q)*(D: p+~q)
co w logice zer oznacza:
4: Y=0 <=> (B: ~p=0 lub q=0)*(D: p=0 lub ~q=0)
#
Kiedy zajdzie ~Y?
Z tabeli równań cząstkowych def odczytujemy:
~Y = ~Ya*~Yc - spójnik „i”(*) bo opis tabeli zero-jedynkowej w logice zer
Po rozwinięciu mamy:
4: ~Y = (A: ~p+~q)*(C: p+q)
co w logice zer oznacza:
4: ~Y=0 <=> (A: ~p=0 lub ~q=0)*(C: p=0 lub q=0)
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Stąd mamy:
Definicja operatora logicznego Y|=f(x) w spójnikach „i”(*) i „lub”(+):
Operator logiczny wyrażony spójnikami „i”(*) i „lub”(+) to układ równań logicznych dający odpowiedź na pytanie o Y i ~Y.
Jak widzimy, odpowiedź na pytanie o Y i ~Y mamy tu w postaci funkcji koniunkcyjno-alternatywnych totalnie niezrozumiałych dla człowieka czego dowód w punkcie 1.10
Definicja logiki Diabła:
Logika Diabła to funkcje koniunkcyjno-alternatywne totalnie niezrozumiałe dla człowieka
Uzasadnienie nazwy „Logiki Diabła”:
W języku potocznym funkcji koniunkcyjno-alternatywnych żaden człowiek nie rozumie, od 5-cio latka poczynając na najwybitniejszym matematyku kończąc.
Dowód tego faktu mieliśmy w punkcie 1.10.
Z tego względu w języku potocznym zawsze wymnażamy wielomian koniunkcyjno-alternatywny przechodząc do tożsamej postaci alternatywno-koniunkcyjnej.
Krok 4
Funkcje Y i ~Y w tabelach T2 i T3 dotyczą tej samej tabeli zero-jedynkowej, stąd zachodzą tożsamości logiczne:
T2: Y = T3: Y
T2: ~Y = T3: ~Y
co kończy rozwiązanie zadania Małpki
Podsumowanie:
Tabela T2
Logika jedynek = logika 5-cio latka:
A1: Kiedy zajdzie Y?
A1: Y= A: p*q + C: ~p*~q - funkcja alternatywno-koniunkcyjna (alternatywa koniunkcji)
#
B1: Kiedy zajdzie ~Y?
B1: ~Y = B: p*~q + D: ~p*q - funkcja alternatywno-koniunkcyjna (alternatywa koniunkcji)
[=]
Tabela T3
Logika zer = Logika Diabła:
A1”: Kiedy zajdzie Y?
A1”: Y = (B: ~p+q)*(D: p+~q) - funkcja koniunkcyjno-alternatywna (koniunkcja alternatyw)
#
B1”: Kiedy zajdzie ~Y?
B1”: ~Y = (A: ~p+~q)*(C: p+q) - funkcja koniunkcyjno-alternatywna (koniunkcja alternatyw)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
[=] - tabele zero-jedynkowe T2 i T3 są tożsame T2[=]T3
Funkcje Y i ~Y w tabelach T2 i T3 dotyczą tej samej tabeli zero-jedynkowej, stąd mamy prawo Małpki.
T2: Y = T3: Y
T2: ~Y = T3: ~Y
25.2.1 Prawo Małpki dla równoważności p<=>q
Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie
Prawo Małpki wynika z tabel T2 i T3.
| Kod: |
T2T3 – Prawo Małpki
Tabela T2 | Tabela T3
Logika 5-cio latka | Logika Diabła
A1: Kiedy zajdzie Y? | A1”: Kiedy zajdzie Y?
A1: Y = p* q + ~p*~q [=] A1”: Y = (~p+ q)*(p+~q)
# | #
B1: Kiedy zajdzie ~Y? | B1”: Kiedy zajdzie ~Y?
Negujemy dwustronnie A1 | Negujemy dwustronnie A1”
B1: ~Y = p*~q + ~p* q [=] B1”: ~Y = (~p+~q)*(p+ q)
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negację drugiej
[=] – tożsamość logiczna tabel T2 i T3
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
~q=~(q)
Stąd mamy:
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawienia
|
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej tożsamości logicznej [=] wymusza fałszywość drugiej strony
W algebrze Kubusia zachodzą tożsamości znaczków:
[=], „=”, <=> (wtedy i tylko wtedy)
Doskonale widać, że końcowym rozwiązaniem prawa Małpki dla funkcji startowej:
A1: Y= p<=>q = p*q + ~p*~q
są dwa rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y).
Rozwiązania te wiąże definicja spójnika „albo”($):
Zajdzie Y albo($) ~Y
Y$~Y
Trzeciej możliwości brak
Definicja spójnika "albo"($) w spójnikach "i"(*) i "lub"(+):
p$q = p*~q + ~p*q
Podstawmy:
p=Y
q=~Y
Stąd mamy:
Y$~Y = (Y)*~(~Y) + ~(Y)*(~Y) = Y*Y + ~Y*~Y = Y+~Y=1
cnd
Przykład:
Dowolny człowiek mówi prawdę (P) albo nie mówi prawdy (~P)
P$~P =1
Trzeciej możliwości brak
Wisienka na torcie:
Otrzymane funkcje logiczne Y i ~Y nie są (=0) tożsame, czyli:
(Y=~Y) =0
Dowód:
Prawo Irbisa dla zbiorów/zdarzeń (pkt. 2.9):
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość pojęć/zdarzeń/zbiorów p=q i odwrotnie.
Stąd mamy:
p=q <=> A1B3: (p<=>q) = (A1: p=>q)*(B3: q=>p) =1*1=1
Definicja równoważności p<=>q w spójnikach "i"(*) i "lub"(+):
Y = p<=>q = p*q + ~p*~q
Podstawmy:
p=Y, q=~Y
stąd mamy:
Y = (Y<=>~Y) = (Y)*(~Y) + ~(Y)* ~(~Y) = = Y*~Y + ~Y*Y = 0+0 =0
Stąd:
Na mocy prawa Irbisa nie zachodzi (=0) tożsamość:
(Y=~Y)=0
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 19:52, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783249
| Irbisol napisał: | | Jakie są te rozwiązania dla funkcji tożsamościowej? |
Czy przeczytałeś cały mój post ze zrozumieniem?
TAK/NIE
Zadanko Małpki:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Nasz przykład:
Y = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Wyjaśniam:
Wszystkie możliwe = dotyczące tej samej tabeli zero-jedynkowej!
Tej tabeli!
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 20:16, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783265
| Irbisol napisał: | Najpierw odpowiadasz na pytanie.
Zaraz znowu nie będziesz wiedział, o jakie chodziło. |
Jak wszyscy widzą zaczyna się "w koło Macieju Irbisola" mamy gwarantowane jego zapętlenie przez następne kilkadziesiąt stron!
Zero jakiejkolwiek chęci do rzetelnej dyskusji - on wie swoje a jego partner w dyskusji musi mu tylko przytakiwać:
Tak Irbisolku, jesteś bogiem, masz rację, jesteś alfą i omegą jedynej poprawnej logiki matematycznej zwanej Klasycznym Rachunkiem Zdań
Dokładnie o to Irbisolowi chodzi!
Tymczasem,
Irbisolu!
Najpierw to musisz zrozumieć co znaczy w logice matematycznej zwrot "wszystkie możliwe" z polecenia w zadanku Małpki.
Dopiero jak to zrozumiesz - chętnie ci wytłumaczę, to pójdziemy dalej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783249
| rafal3006 napisał: | | Irbisol napisał: | | Jakie są te rozwiązania dla funkcji tożsamościowej? |
Czy przeczytałeś cały mój post ze zrozumieniem?
TAK/NIE
Zadanko Małpki:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Nasz przykład:
Y = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Wyjaśniam:
Wszystkie możliwe = dotyczące tej samej tabeli zero-jedynkowej!
Tej tabeli!
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 20:59, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783309
Geneza błędu czysto matematycznego Irbisola i ziemskich matematyków!
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Najpierw odpowiadasz na pytanie.
Zaraz znowu nie będziesz wiedział, o jakie chodziło. |
Jak wszyscy widzą zaczyna się "w koło Macieju Irbisola" mamy gwarantowane jego zapętlenie przez następne kilkadziesiąt stron!
Zero jakiejkolwiek chęci do rzetelnej dyskusji - on wie swoje a jego partner w dyskusji musi mu tylko przytakiwać |
Jakie "przytakiwać", schizofreniku?
Po prostu zadałem ci pytanie i od niego nie uciekniesz.
Tak deklarowałeś, że boję się to pytanie wskazać, bo będzie łomot. No to czekam na odpowiedź na to pytanie, która to odpowiedź będzie łomotem.
Czytując klasyka:
Czas START! |
Niniejszy post to potworny łomot w twoją gówno-logikę.
Zadanko Małpki:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Nasz przykład:
Y = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Wyjaśniam:
Wszystkie możliwe = dotyczące tej samej tabeli zero-jedynkowej!
Tej tabeli!
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
Geneza błędu Irbisola i wszystkich ziemskich matematyków!
Zarówno Irbisol, jak i ziemscy matematycy opisują w funkcjach cząstkowych wyłącznie funkcję logiczną w logice dodatniej (bo Y).
Zarówno logika Irbisola, jak i logika ziemskich matematyków totalnie nie widzi funkcji logicznej w logice ujemnej (bo ~Y).
Dowód:
| Kod: |
T1
|Logika jedynek |logika zer
p q ~p ~q Y ~Y |Y=Ya+Yc |Y=Yb*Yd
A: 1 1 0 0 1 0 |Ya= p* q |
B: 1 0 0 1 0 1 | |Yb=~p+ q
C: 0 0 1 1 1 0 |Yc=~p*~q |
D: 0 1 1 0 0 1 |Yd= p+~q
1 2 3 4 5 6
|
Stąd mamy prawo Małpki wyłącznie dla funkcji logicznej w logice dodatniej (bo Y)
W logice jedynek mamy funkcję alternatywno-koniunkcyjną:
Yac = Ya+Yc = p*q + ~p*~q
W logice zer mamy tożsamą funkcję koniunkcyjno-alternatywną:
Ybd = Yb*Yd = (~p+q)*(p+~q)
Stąd mamy prawo Małpki dla funkcji logicznej w logice dodatniej (bo Y) (kolumna 5):
Yac = p*q + ~p*~q [=] Ybd = (~p+q)*(p+~q)
Pytanie do Irbisola:
Gdzie masz funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z kolumną 6, czyli z funkcją logiczną w logice ujemnej (bo ~Y)?
Tłumacz się matematyczny pajacu:
Dlaczego według ciebie funkcja logiczna ~Y nie ma prawa bytu w tabeli T1?
Jeśli wedle ciebie funkcja logiczna ~Y jest nielegalna w tabeli T1 to za nielegalne musisz uznać także kolumny ~p i ~q … no ale niestety, wszyscy matematycy widzą ~p i ~q tak więc wywalić się tego nie da.
Potworny błąd czysto matematyczny twój i ziemskich matematyków to wywalenie w kosmos funkcji logicznej w logice ujemnej (bo ~Y) (kolumna 6), co czyni totalnie całą logikę matematyczną ziemskich matematyków wewnętrznie sprzeczną, czego dowodem jest prawo Grzechotnika udowodnione na pierwszych stronach algebry Kubusia .. w sposób zrozumiały dla 5-cio latków i absolutnie wszystkich matematyków … z wykluczeniem biednego Irbisola?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:59, 04 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5600.html#783317
Błąd fatalny w ziemskiej logice matematycznej
To brak KOMPLETNEGO opisu dowolnej tabeli zero-jedynkowej!
| Irbisol napisał: | Pytałem o małpę dla funkcji tożsamościowej.
Do tej pory tego nie podałeś. |
Widzę że w ogóle nie kumasz logiki matematycznej.
Nie ma czegoś takiego jak prawo Małpki dla funkcji tożsamościowej - potwornie bredzisz waść!
Prawo Małpki obowiązuje dla dowolnej funkcji alternatywno-koniunkcyjnej tzn. bez twojego gówno dopisku "tożsamościowej"!
Dla takiej:
Y=p*q + ~p*~q
##
albo dla takiej:
Y = p*~q + ~p*q
Gdzie:
## - funkcje różne na mocy definicji
Definicja funkcji różnej na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy wyrażenia z prawej strony tych funkcji nie są tożsame
Powyższej definicji nie ma w logice ziemian i to jest jej kolejna wielka tragedia!
Zadanko Małpki:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Nasz przykład:
Y = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Wyjaśniam:
Wszystkie możliwe = dotyczące tej samej tabeli zero-jedynkowej!
Tej tabeli!
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
Rozwiązanie:
Zarówno logika Irbisola, jak i logika ziemskich matematyków totalnie nie widzi funkcji logicznej w logice ujemnej (bo ~Y) (kolumna 6)
Dowód:
Prawo Małpki dla funkcji logicznej w logice dodatniej (bo Y) (kolumna 5)
| Kod: |
T1
|Logika jedynek |logika zer
p q ~p ~q Y ~Y |Y=Ya+Yc |Y=Yb*Yd
A: 1 1 0 0 1 0 |Ya= p* q |
B: 1 0 0 1 0 1 | |Yb=~p+ q
C: 0 0 1 1 1 0 |Yc=~p*~q |
D: 0 1 1 0 0 1 |Yd= p+~q
1 2 3 4 5 6
|
Stąd mamy prawo Małpki wyłącznie dla funkcji logicznej w logice dodatniej (bo Y)
W logice jedynek mamy funkcję alternatywno-koniunkcyjną:
Yac = Ya+Yc = p*q + ~p*~q
W logice zer mamy tożsamą funkcję koniunkcyjno-alternatywną:
Ybd = Yb*Yd = (~p+q)*(p+~q)
Stąd mamy prawo Małpki dla funkcji logicznej w logice dodatniej (bo Y) (kolumna 5):
Funkcje tożsame w logice dodatniej (bo Y)
Yac = p*q + ~p*~q [=] Ybd = (~p+q)*(p+~q)
Dokładnie to samo dla funkcji logicznej w logice ujemnej (bo ~Y) (kolumna 6) wygląda tak:
| Kod: |
T2
|Logika zer |logika jedynek
p q ~p ~q Y ~Y |~Y=~Ya*~Yc |~Y=~Yb+~Yd
A: 1 1 0 0 1 0 |~Ya=~p+~q |
B: 1 0 0 1 0 1 | |~Yb= p*~q
C: 0 0 1 1 1 0 |~Yc= p+ q |
D: 0 1 1 0 0 1 |~Yd=~p* q
1 2 3 4 5 6
|
Stąd mamy prawo Małpki wyłącznie dla funkcji logicznej w logice ujemnej (bo ~Y)
W logice jedynek mamy funkcję alternatywno-koniunkcyjną:
~Ybd = ~Yb+~Yd = p*~q + ~p*q
W logice zer mamy tożsamą funkcję koniunkcyjno-alternatywną:
~Yac = ~Ya*~Yc = (~p+~q)*(p+q)
Stąd mamy prawo Małpki dla funkcji logicznej w logice ujemnej (bo ~Y) (kolumna 6):
Funkcje tożsame w logice ujemnej (bo ~Y)
~Ybd = p*~q + ~p*q [=] ~Yac = (~p+~q)*(p+q)
Podsumowanie dla Irbisola:
Na wejściu programu rozwiązującego prawo Małpki podajesz dowolną funkcje logiczną.
Na przykład naszą:
Y = p*q + ~p*~q
Program wypluwa ci następujące rozwiązanie:
1.
Funkcje tożsame w logice dodatniej (bo Y)
Yac = p*q + ~p*~q [=] Ybd = (~p+q)*(p+~q)
#
2.
Funkcje tożsame w logice ujemnej (bo ~Y)
~Ybd = p*~q + ~p*q [=] ~Yac = (~p+~q)*(p+q)
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej
Innymi słowy:
Na wyjściu programu opisującego IDENTYCZNĄ tabelę zero-jedynkową masz dwie tożsame funkcje Y=Y oraz ~Y=~Y a nie jedną funkcję tożsamą w postaci Y=Y.
Twoja tragedia Irbisolu oraz ziemskich matematyków w logice matematycznej polega na tym, że w prawie Małpki widzicie wyłącznie jedną tożsamą funkcje Y=Y.
Innymi słowy:
Zarówno twoja logika matematyczna, jak i logika matematyczna ziemskich matematyków dla funkcji wejściowej:
Y = p*q+~p*~q
widzi wyłącznie rozwiązanie 1 co jest błędem czysto matematycznym, generującym wewnętrzną sprzeczność wszelkich ziemskich logik matematycznych w postaci prawa Grzechotnika.
Ostatnio zmieniony przez rafal3006 dnia Pon 23:13, 04 Mar 2024, 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 9:47, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5600.html#783351
Czy Irbisol zaakceptuje definicję znaczka różne na mocy definicji ##?
Irbisolu, bez akceptacji znaczka ## nie masz najmniejszych szans na poprawne zrozumienie logiki matematycznej.
Więc?
Akceptujesz?
TAK/NIE
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Pytałem o małpę dla funkcji tożsamościowej.
Do tej pory tego nie podałeś. |
Widzę że w ogóle nie kumasz logiki matematycznej.
Nie ma czegoś takiego jak prawo Małpki dla funkcji tożsamościowej - potwornie bredzisz waść!
Prawo Małpki obowiązuje dla dowolnej funkcji alternatywno-koniunkcyjnej tzn. bez twojego gówno dopisku "tożsamościowej"!
|
| rafal3006 wcześniej napisał: |
Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
Czyli co - teraz trzeba redefiniować, co to znaczy "dowolna funkcja"? |
Nic nie trzeba redefiniować, dowolna to dowolna:
Na przykład taka:
Y=p*q + ~p*~q = (p+~q)*(~p+q)
##
albo taka:
Y = p*~q + ~p*q = (p+q)*(~p+~q)
Gdzie:
## - funkcje różne na mocy definicji
Definicja funkcji różnej na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy wyrażenia z prawej strony tych funkcji nie są tożsame
Pytanie do Irbisola:
Czy akceptujesz definicję znaczka ## której nie ma w logice matematycznej?
TAK/NIE
Zauważ, że bez pojęcia funkcji logicznej definicja znaczka różne na mocy definicji ## leży w gruzach, bo wtedy masz:
p*q + ~p*~q = (p+~q)*(~p+q)
#
p*~q + ~p*q = (p+q)*(~p+~q)
Definicja znaczka różne #:
Dowolna strona znaczka # jest negacją drugiej strony
Znaczek # to FUNDAMENTALNIE co innego niż znaczek ##
Podsumowując:
Bez definicji funkcji logicznej i związanym z nią znaczkiem różne na mocy definicji ## totalnie cała logika matematyczna leży w gruzach tzn. jest wewnętrznie sprzeczna, czego dowodem jest prawo Grzechotnika!
Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie
Komentarz:
W poprawnym rozwiązaniu prawa Małpki dostaniemy tu dwie funkcje tożsamościowe: w logice dodatniej Y=Y oraz w logice ujemnej ~Y=~Y związane ze sobą spójnikiem „albo”($)
Zajdzie Y albo zajdzie ~Y, trzeciej możliwości brak
Podobnie masz w matematyce klasycznej
Funkcja liniowa typu:
Y=x-2
Ma jedno rozwiązanie (miejsce zerowe):
x=2
Funkcja kwadratowa typu:
Y = x^2-4
Ma dwa tożsame rozwiązania (miejsca zerowe)
x=2 oraz x=-2
Nie wolno ci funkcji liniowej i kwadratowej wrzucać do tego samego worka i twierdzić, że obie te funkcje mają identyczne, jedno rozwiązanie:
x=2
Zgadza się?
Ostatnio zmieniony przez rafal3006 dnia Wto 10:13, 05 Mar 2024, w całości zmieniany 4 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 11:18, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5600.html#783365
Irbisolu, czy zgodzisz się, byśmy się zajęli interpretacją rozwiązania które wypluł z automatu „głupi” komputer?
Proponuję ci dyskusję na temat zawartości moich postów, bez „w koło Macieju” - „odpowiedz na moje pytanie”
Aby dyskutować trzeba przeczytać co do ciebie piszę, zgadza się?
| Irbisol napisał: | | rafal3006 napisał: |
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Pytałem o małpę dla funkcji tożsamościowej.
Do tej pory tego nie podałeś. |
Widzę że w ogóle nie kumasz logiki matematycznej.
Nie ma czegoś takiego jak prawo Małpki dla funkcji tożsamościowej - potwornie bredzisz waść!
Prawo Małpki obowiązuje dla dowolnej funkcji alternatywno-koniunkcyjnej tzn. bez twojego gówno dopisku "tożsamościowej"!
|
| rafal3006 wcześniej napisał: |
Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
Czyli co - teraz trzeba redefiniować, co to znaczy "dowolna funkcja"? |
Nic nie trzeba redefiniować, dowolna to dowolna:
Na przykład taka:
A1: Y=p*q + ~p*~q = (p+~q)*(~p+q)
##
albo taka:
A2: Y = p*~q + ~p*q = (p+q)*(~p+~q)
Gdzie:
## - funkcje różne na mocy definicji |
Albo tożsamościowa.
Więc podaj te rozwiązania dla funkcji tożsamościowej. |
Nie znam twojej definicji tożsamościowej funkcji logicznej - podaj ją!
Nie wiem o co ci chodzi, podaj przykład jak to powinno być twoim zdaniem.
W poprawnej logice matematycznej, algebrze Kubusia jest tak.
Prawo Skowronka:
Dla dowolnej funkcji logicznej Y=f(x) funkcji do niej tożsamych jest nieskończenie wiele
Irbisolu:
Czy akceptujesz prawo Skowronka?
W algebrze Kubusia jest tak:
Weźmy funkcję A1 z powyższego cytatu:
Zapis tożsamy tej funkcji to:
A1: Y=p*q + ~p*~q [=] A1”: Y=(p+~q)*(~p+q)
Dzięki naszej dyskusji zapisałem algorytm programu który rozwiązuje prawo Małpki dla dowolnej funkcji alternatywno-koniunkcyjnej n-argumentowej z automatu, człowiek nie jest tu do niczego potrzebny, tzn. nie jest potrzebny myślący mózg człowieka!
Zadaniem człowieka jest tylko i wyłącznie podanie poprawnych danych na wejściu programu - resztę załatwia głupi komputer.
Innymi słowy:
Irbisolu, obojętnie którą funkcję logiczną ustawisz na wejściu do tego programu A1 czy też A1” to program wypluje ci identyczne rozwiązanie jak w tym moim poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783237
| Algebra Kubusia napisał: | Czy Irbisol uzna niniejszy post za gówno którego nie będzie czytał?
Oto jest pytanie. |
Po twoich reakcjach Irbisolu widzę, że uznałeś ten najważniejszy post w logice matematycznej za gówno nie warte przeczytania.
Zgadza się?
Czekam cierpliwie kiedy zaczniesz czytać moje posty i dyskutować na temat zawartości tych postów!
Bez twojego w koło Macieju: „odpowiedz na moje pytanie”
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783237
| Algebra Kubusia napisał: |
25.2.1 Prawo Małpki dla równoważności p<=>q
Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie
Prawo Małpki wynika z tabel T2 i T3.
| Kod: |
T2T3 – Prawo Małpki
Tabela T2 | Tabela T3
Logika 5-cio latka | Logika Diabła
A1: Kiedy zajdzie Y? | A1”: Kiedy zajdzie Y?
A1: Y = p* q + ~p*~q [=] A1”: Y = (~p+ q)*(p+~q)
# | #
B1: Kiedy zajdzie ~Y? | B1”: Kiedy zajdzie ~Y?
Negujemy dwustronnie A1 | Negujemy dwustronnie A1”
B1: ~Y = p*~q + ~p* q [=] B1”: ~Y = (~p+~q)*(p+ q)
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negację drugiej
[=] – tożsamość logiczna tabel T2 i T3
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
~q=~(q)
Stąd mamy:
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawienia
|
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej tożsamości logicznej [=] wymusza fałszywość drugiej strony
W algebrze Kubusia zachodzą tożsamości znaczków:
[=], „=”, <=> (wtedy i tylko wtedy)
Doskonale widać, że końcowym rozwiązaniem prawa Małpki dla funkcji startowej:
A1: Y= p<=>q = p*q + ~p*~q
są dwa rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y).
Rozwiązania te wiąże definicja spójnika „albo”($):
Zajdzie Y albo($) ~Y
Y$~Y
Trzeciej możliwości brak
Definicja spójnika "albo"($) w spójnikach "i"(*) i "lub"(+):
p$q = p*~q + ~p*q
Podstawmy:
p=Y
q=~Y
Stąd mamy:
Y$~Y = (Y)*~(~Y) + ~(Y)*(~Y) = Y*Y + ~Y*~Y = Y+~Y=1
cnd
Przykład:
Dowolny człowiek mówi prawdę (P) albo nie mówi prawdy (~P)
P$~P =1
Trzeciej możliwości brak
Wisienka na torcie:
Otrzymane funkcje logiczne Y i ~Y nie są (=0) tożsame, czyli:
(Y=~Y) =0
Dowód:
Prawo Irbisa dla zbiorów/zdarzeń (pkt. 2.9):
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość pojęć/zdarzeń/zbiorów p=q i odwrotnie.
Stąd mamy:
p=q <=> A1B3: (p<=>q) = (A1: p=>q)*(B3: q=>p) =1*1=1
Definicja równoważności p<=>q w spójnikach "i"(*) i "lub"(+):
Y = p<=>q = p*q + ~p*~q
Podstawmy:
p=Y, q=~Y
stąd mamy:
Y = (Y<=>~Y) = (Y)*(~Y) + ~(Y)* ~(~Y) = = Y*~Y + ~Y*Y = 0+0 =0
Stąd:
Na mocy prawa Irbisa nie zachodzi (=0) tożsamość:
(Y=~Y)=0 |
Irbisolu, czy zgodzisz się, byśmy się zajęli interpretacją rozwiązania które wypluł z automatu „głupi” komputer?
Ostatnio zmieniony przez rafal3006 dnia Wto 12:01, 05 Mar 2024, 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 16:50, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5625.html#783463
Geneza wszelkich Irbisolowych dyskusji „w koło Macieju”
W poniższym moim cytacie, po wielu miesiącach moich próśb i podchodów, irbisol wreszcie wydusza z siebie o który post mu chodzi podając do niego link.
Pytanie retoryczne:
Po co mu było przez kilka miesięcy pisać swoje „W koło Macieju” - „zgadnij o jaki post mi chodzi”?
Moja odpowiedź:
Cholera wie o jaki post ci chodzi - po prostu zacytuj lub daj linka.
Odpowiedź Irbisola:
Sam sobie znajdź w gównie które zapisałeś
etc
Zauważmy że:
Żadnego „w koło Macieju” by nie było gdyby non-stop podawał link do postu o który mu chodzi!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783219
| rafal3006 napisał: | Zaskakująca riposta Rafała3006 - czy Irbisol podejmie rzuconą mu rękawicę?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783209
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Mieliśmy już nową definicję "odpowiedziałem" jako "odpowiem", teraz mamy nową definicję "rojenia".
Kontynuując: skoro jesteś na 100% pewien, że to pytanie kompletnie nieistotne z punktu udowadniania wewnętrznej sprzeczności AK, to jesteś skłonny postawić na szali całe AK jeżeli się okaże, że to pytanie jednak jest istotne w tym względzie? |
TAK,
Przecież pisałem o tym wyżej, jeśli twoje pytanie doprowadzi do wykazania wewnętrznej sprzeczności AK (nawet tej najmniejszej, jednej, jedynej = kontrprzykład) to ja się pod tym podpiszę obiema rękami tzn. wywalę AK w kosmos, od A do Z.
Zatem zaczynaj. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163 |
Uff, wreszcie, gdybyś nie pisał w koło Macieju:
„Zgadnij o jakie pytanie mi chodzi”
czy też analogiczne:
„Sam sobie znajdź w swoim gównie które zapisałeś pytanie o które mi chodzi”
tylko podał ten link:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
to zaoszczędziłbyś mi kilkadziesiąt moich postów pisanych do SŁUPA!
Wbrew pozorom moje posty pisane do SŁUPA to tez kawał dobrej roboty w kierunku zawitania algebry Kubusia pod strzechy - za co ci dziękuję.
Wracając do tematu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Irbisolu, obiecałem ci w poście wyżej, ze jak twój cytowany wyżej post doprowadzi nas do udowodnienia wewnętrznej sprzeczności algebry Kubusia to na 100% kasuję calusieńką algebrę Kubusia od A do Z.
Ja słowa dotrzymam, przysięgam na wszystkie świętości naszego Wszechświata.
Czas na moją ripostę:
Jeśli twój cytat wyżej doprowadzi nas do udowodnienia wewnętrznej sprzeczności logiki Irbisola, w sposób zrozumiały dla Irbisola, to czy zgadzasz się na wywalenie całej swojej logiki matematycznej w kosmos i przejście do obozu algebry Kubusia?
Odpowiedź Irbisola: TAK.
Czy zgadzasz się na odpowiedź TAK włożoną w twoje usta?
Odpowiedź TAK jest tu konieczna, byśmy mieli równe szanse w dowodzeniu swoich racji.
Nie może być bowiem tak, że jedna ze stron sporu jest uprzywilejowana już na starcie. |
Post startowy Irbisolowej dyskusji „w koło Macieju”:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783225
| Irbisol napisał: |
Gdybyś nie pierdzielił nie na temat, to byśmy nie tracili całych tygodni.
| Cytat: | | Wbrew pozorom moje posty pisane do SŁUPA to tez kawał dobrej roboty w kierunku zawitania algebry Kubusia pod strzechy - za co ci dziękuję. |
To akurat dziwne, bo przecież równie dobrze możesz gadać faktycznie do słupa, gdy cię nie czytam. Więc dlaczego tego nie robisz?
| Cytat: | Jeśli twój cytat wyżej doprowadzi nas do udowodnienia wewnętrznej sprzeczności logiki Irbisola, w sposób zrozumiały dla Irbisola, to czy zgadzasz się na wywalenie całej swojej logiki matematycznej w kosmos i przejście do obozu algebry Kubusia?
Odpowiedź Irbisola: TAK. |
Pokaż, jakie są nietożsame rozwiązania wg małpy dla funkcji tożsamościowej. Do czego to doprowadzi, to zobaczymy. |
Od tego momentu tracę kontakt z Irbisolem, tzn, każda moja próba nawiązania z nim kontaktu kończy się tak.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783239
| Irbisol napisał: | | Jakie są te rozwiązania dla funkcji tożsamościowej? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783255
| Irbisol napisał: | Najpierw odpowiadasz na pytanie.
Zaraz znowu nie będziesz wiedział, o jakie chodziło. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783273
| Irbisol napisał: | Po prostu zadałem ci pytanie i od niego nie uciekniesz.
Tak deklarowałeś, że boję się to pytanie wskazać, bo będzie łomot. No to czekam na odpowiedź na to pytanie, która to odpowiedź będzie łomotem. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5600.html#783313
| Irbisol napisał: | Pytałem o małpę dla funkcji tożsamościowej.
Do tej pory tego nie podałeś. |
Pewne jest, że takie pseudo-odpowiedzi Irbisola, cokolwiek ja bym nie napisał będą się ciągnąć kilka następnych miesięcy … a może nawet lat?
W historii naszej dyskusji to Irbisolowy standard!
Spróbujmy położyć temu kres temu szaleństwu „w koło Macieju”!
Czy ma kto nadzieję, że się uda?
Irbisolu, nawiązując do ostatniego twojego cytatu rozumiem, że wedle ciebie przykładowe funkcje tożsamościowe A1 i A1” są takie:
A1: Y = p*q+~p*~q
[=]
A1”: Y = (p+~q)*(~p+q)
Gdzie:
[=] - funkcje tożsame.
Czy dobrze rozszyfrowałem o co ci chodzi z tymi funkcji tożsamościowymi:
A1: Y = A1” Y
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Wto 16:57, 05 Mar 2024, 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 17:13, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783477
| Irbisol napisał: | To ty skapitulowałeś.
Już drugie pytanie, od którego uciekasz.
Na jedno ci dałem dyspensę (chwilową), ale na kolejne nie dostaniesz.
Tym bardziej, że sam ten temat "wyróżniania niebieskiego" (to nie cytat, co wolę zaznaczyć, bo jesteś niedorozwinięty) rozpocząłeś.
Więc teraz dokończysz. Po tym będzie "nowa strona" czyli to, o czym chcesz gadać. |
Irbisolu, wróćmy do genezy twojego "w koło Macieju":
Post startowy Irbisolowej dyskusji „w koło Macieju”:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783225
| Irbisol napisał: |
Gdybyś nie pierdzielił nie na temat, to byśmy nie tracili całych tygodni.
| Cytat: | | Wbrew pozorom moje posty pisane do SŁUPA to tez kawał dobrej roboty w kierunku zawitania algebry Kubusia pod strzechy - za co ci dziękuję. |
To akurat dziwne, bo przecież równie dobrze możesz gadać faktycznie do słupa, gdy cię nie czytam. Więc dlaczego tego nie robisz?
| Cytat: | Jeśli twój cytat wyżej doprowadzi nas do udowodnienia wewnętrznej sprzeczności logiki Irbisola, w sposób zrozumiały dla Irbisola, to czy zgadzasz się na wywalenie całej swojej logiki matematycznej w kosmos i przejście do obozu algebry Kubusia?
Odpowiedź Irbisola: TAK. |
Pokaż, jakie są nietożsame rozwiązania wg małpy dla funkcji tożsamościowej. Do czego to doprowadzi, to zobaczymy. |
| Rafal3006 napisał: |
Spróbujmy położyć temu kres temu szaleństwu „w koło Macieju”!
Czy ma kto nadzieję, że się uda?
Irbisolu, nawiązując do ostatniego twojego cytatu rozumiem, że wedle ciebie przykładowe funkcje tożsamościowe A1 i A1” są takie:
A1: Y = p*q+~p*~q
[=]
A1”: Y = (p+~q)*(~p+q)
Gdzie:
[=] - funkcje tożsame.
Czy dobrze rozszyfrowałem o co ci chodzi z tymi funkcji tożsamościowymi:
A1: Y = A1” Y
TAK/NIE |
Irbisolu,
Na początek wyjaśnij nam wszystkim Twoją definicję logicznej funkcji tożsamościowej, bo próbowałem rozszyfrować co ty pod pojęciem "logiczna funkcja tożsamościowa" rozumiesz .. i co?
I gówno!
Jak wszyscy widzą nie o to chodzi co próbowałem wyjaśnić tobie i czytelnikom.
Skoro Ja i Czytelnicy nie mamy pojęcia co rozumiesz pod swoim stwierdzeniem "logiczna funkcja tożsamościowa" to pora na ciebie.
Podaj swoją definicję "logicznej funkcji tożsamościowej"!
Czy ma kto nadzieję że Irbisol poda?
On sam nie wie o co mu chodzi ale "W koło Macieju" w stylu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783239
| Irbisol napisał: | | Jakie są te rozwiązania dla funkcji tożsamościowej? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783255
| Irbisol napisał: | Najpierw odpowiadasz na pytanie.
Zaraz znowu nie będziesz wiedział, o jakie chodziło. |
będzie pisał do nieskończoności!
Ostatnio zmieniony przez rafal3006 dnia Wto 17:24, 05 Mar 2024, 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 17:30, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783493
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783225
| Irbisol napisał: | | Cytat: | Jeśli twój cytat wyżej doprowadzi nas do udowodnienia wewnętrznej sprzeczności logiki Irbisola, w sposób zrozumiały dla Irbisola, to czy zgadzasz się na wywalenie całej swojej logiki matematycznej w kosmos i przejście do obozu algebry Kubusia?
Odpowiedź Irbisola: TAK. |
Pokaż, jakie są nietożsame rozwiązania wg małpy dla funkcji tożsamościowej. Do czego to doprowadzi, to zobaczymy. |
Jak wszyscy widzą, Irbisol wypowiada słowa których nie rozumie.
Bo czymże jest ta Irbisolowa "funkcja tożsamościowa"?
Czy ma kto nadzieję, że Irbisol, wyjaśni sformułowanie "funkcja tożsamościowa" .. choćby na prostym przykładzie?
Cytując klasyka:
Nadzieja jest matką głupich.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 17:45, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783501
Irbisol = totalne, matematyczne ZERO?
| Irbisol napisał: | | rafal3006 napisał: | http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5575.html#783225
| Irbisol napisał: | | Cytat: | Jeśli twój cytat wyżej doprowadzi nas do udowodnienia wewnętrznej sprzeczności logiki Irbisola, w sposób zrozumiały dla Irbisola, to czy zgadzasz się na wywalenie całej swojej logiki matematycznej w kosmos i przejście do obozu algebry Kubusia?
Odpowiedź Irbisola: TAK. |
Pokaż, jakie są nietożsame rozwiązania wg małpy dla funkcji tożsamościowej. Do czego to doprowadzi, to zobaczymy. |
Jak wszyscy widzą, Irbisol wypowiada słowa których nie rozumie.
Bo czymże jest ta Irbisolowa "funkcja tożsamościowa"?
Czy ma kto nadzieję, że Irbisol, wyjaśni sformułowanie "funkcja tożsamościowa" .. choćby na prostym przykładzie?
Cytując klasyka:
Nadzieja jest matką głupich. |
Przecież w pytaniu, które co wskazałem, masz ją napisaną wprost.
Następny zdolny .... |
Zacytuj, nie mam zamiaru uprawiać tu kolejnego "w koło Macieju"!
Irbisolu, logiki matematycznej to ty za grosz nie kumasz.
Podałem ci przykładowe dwie funkcje tożsamościowe:
| Rafal3006 napisał: |
Spróbujmy położyć temu kres temu szaleństwu „w koło Macieju”!
Czy ma kto nadzieję, że się uda?
Irbisolu, nawiązując do ostatniego twojego cytatu rozumiem, że wedle ciebie przykładowe funkcje tożsamościowe A1 i A1” są takie:
A1: Y = p*q+~p*~q
[=]
A1”: Y = (p+~q)*(~p+q)
Gdzie:
[=] - funkcje tożsame.
Czy dobrze rozszyfrowałem o co ci chodzi z tymi funkcji tożsamościowymi:
A1: Y = A1” Y
TAK/NIE |
Irbisolu, jeśli negujesz tożsamość funkcji:
A1: Y = A1” Y
to jesteś totalnym, matematycznym ZEREM!
Czy zgadzasz się z tym faktem?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 18:34, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783509
Prawo Skowronka - ciemna strona Księżyca dla biednego Irbisola!
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Przecież w pytaniu, które co wskazałem, masz ją napisaną wprost.Następny zdolny .... |
Zacytuj, nie mam zamiaru uprawiać tu kolejnego "w koło Macieju"! |
Ledwo co wskazałem ci pytanie po kilku tygodniach - a ty już zapomniałeś, czego dotyczyło. Więcej ci tego pytania przypominać nie będę.
W tym pytaniu, składającym się z kilku linijek, jest JEDNA funkcja. To jest funkcja tożsamościowa.
|
Nie interesuje mnie twoje szaleństwo tp. "Zgadnij o co mi chodzi"
Nie chcesz zacytować?
To spadaj na drzewo.
Pojęcie "pies" jest tożsame z pojęciem "pies" - to oczywistość na mocy prawa algebry Boole'a:
p+p =p
p*p=p
ale w funkcji tożsamościowej chodzi o ciut wyższy, matematyczny poziom, którego nie ogarniasz.
Prawo Skowronka:
Dla dowolnej funkcji logicznej Y=f(x) istnieje nieskończenie wiele funkcji do niej tożsamych.
Przyznaj że dla ciebie prawo Skowronka to ciemna strona Księżyca
Zgadza się?
Wracając do tematu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783501
| rafal3006 napisał: | Irbisol = totalne, matematyczne ZERO?
Irbisolu, logiki matematycznej to ty za grosz nie kumasz.
Podałem ci przykładowe dwie funkcje tożsamościowe:
| Rafal3006 napisał: |
Spróbujmy położyć temu kres temu szaleństwu „w koło Macieju”!
Czy ma kto nadzieję, że się uda?
Irbisolu, nawiązując do ostatniego twojego cytatu rozumiem, że wedle ciebie przykładowe funkcje tożsamościowe A1 i A1” są takie:
A1: Y = p*q+~p*~q
[=]
A1”: Y = (p+~q)*(~p+q)
Gdzie:
[=] - funkcje tożsame.
Czy dobrze rozszyfrowałem o co ci chodzi z tymi funkcji tożsamościowymi:
A1: Y = A1” Y
TAK/NIE |
Irbisolu, jeśli negujesz tożsamość funkcji:
A1: Y = A1” Y
to jesteś totalnym, matematycznym ZEREM!
Czy zgadzasz się z tym faktem? |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 23:16, 05 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783571
Irbisol=Słup uwięziony w okowach gówna zwanego KRZ odporny na jakąkolwiek nową wiedzę, której nie ma w Wikipedii!
Odezwa do Irbisola:
Irbisolu, podejdź do słupa i wal w niego głową, dopóki twój mózg nie zostanie uwolniony z pancernego gówna go otaczającego zwanego KRZ, bowiem wtedy i tylko wtedy zrozumiesz niniejszy post.
My, mieszkańcy 100-milowego lasu trzymamy kciuki, by udało ci się oczyścić swój mózg z gówna zwanego KRZ.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5650.html#783527
| Irbisol napisał: | | rafal3006 napisał: | Irbisolu, odłóżmy miecze na półkę!
Wytłumaczę ci o co chodzi w funkcjach tożsamościowych w prawie Małpki w sposób, który na 100% zrozumiesz.
Zaczynamy? |
Nie.
Zgadnij, dlaczego. |
Jesteś przewidywalny do bólu, wiedziałem, że dokładnie to napiszesz.
Jesteś słupem, ale dla mnie słupem bezcennym, bo od zawsze staram się zamienić Irbisola-słupa w Irbisola-człowieka. Nie jest istotne, czy mi się to uda czy nie, ważne jest że dzięki temu schodzę z algebrą Kubusia do coraz to niższego poziomu, padają kolejne bariery strzegące algebrę Kubusia przed jej zrozumieniem przez człowieka.
Dzięki tobie Irbisolu powstał super ważny rozdział 25.0, w którym aktualna logika matematyczna w kwestii równań alternatywno-koniunkcyjnych i koniunkcyjno-alternatywnych została przekazana w ręce komputera. Człowiek nie ma tu nic do roboty z wyjątkiem ustawienia poprawnej funkcji logicznej alternatywno-koniunkcyjnej lub koniunkcyjno-alternatywnej na wejściu tego programu.
Algorytm tego programu zapisany jest w punkcie:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#776185
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
25.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej. |
Ustawmy na wejściu programu „Prawo Małpki” przykładową funkcję alternatywno-koniunkcyjną:
Y = p*q + ~p*~q
Uruchamiamy program który błyskawicznie drukuje nam takie rozwiązanie:
| Algebra Kubusia napisał: |
25.2.1 Prawo Małpki dla równoważności p<=>q
Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie
Prawo Małpki wynika z tabel T2 i T3.
| Kod: |
T2T3 – Prawo Małpki
Tabela T2 | Tabela T3
Logika 5-cio latka | Logika Diabła
A1: Kiedy zajdzie Y? | A1”: Kiedy zajdzie Y?
A1: Y = p* q + ~p*~q [=] A1”: Y = (~p+ q)*(p+~q)
# | #
B1: Kiedy zajdzie ~Y? | B1”: Kiedy zajdzie ~Y?
Negujemy dwustronnie A1 | Negujemy dwustronnie A1”
B1: ~Y = p*~q + ~p* q [=] B1”: ~Y = (~p+~q)*(p+ q)
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negację drugiej
[=] – tożsamość logiczna tabel T2 i T3
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawienia
|
|
W rozdziale 25.3 mamy dowód iż nie jest istotne którą z czterech możliwych tu funkcji logicznych A1, B1, A1”, B1” ustawimy na wejściu programu „Prawo Małpki”.
Program „Prawo Małpki” wydrukuje nam zawsze identyczne rozwiązanie w postaci tabeli T2T3.
Znając algorytm programu „Prawo Małpki” opisany w punkcie 25.0 doskonale wiemy, dlaczego tak się dzieje.
Oczywiście, możliwy jest też proces odwrotny definiowany przez prawo Goryla
Prawo Goryla:
Do jednoznacznego odtworzenia pełnej tabeli zero-jedynkowej opisywanej przez prawo Małpki jest potrzebna i wystarczająca znajomość dowolnej z czterech funkcji logicznych wygenerowanych przez program „Prawo Małpki”: A1, B1, A1”, B1”.
Najprościej udowodnić prawo Goryla posługując się funkcjami alternatywno-koniunkcyjnymi doskonale rozumianymi przez każdego 5-cio latka.
Znając rozdział 25.0 bez problemu można zbudować algorytm odtworzenia pełnej tabeli zero-jedynkowej korzystając z funkcji w logice Diabła: A1” i B1” - to pozostawiam w gestii ambitnych czytelników (nie jest to trudne).
W tym miejscu zajmiemy się udowodnieniem prawa Goryla dla funkcji alternatywno koniunkcyjnych A1 i B1 doskonale rozumianych przez każdego 5-cio latka.
Algorytm tworzenia tabeli zero-jedynkowej dla funkcji A1 przepisujemy żywcem z podręcznika:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#776185
| Algebra Kubusia napisał: |
25.2 Algorytm Małpki dla równoważności p<=>q
Definicja funkcji startowej w zapisach formalnych:
Funkcja startowa to dowolne wyrażenie algebry Boole'a f(x) przypisane do funkcji logicznej w logice dodatniej (bo Y)
Zadanko Małpki dla równoważności p<=>q:
A1.
Dana jest startowa funkcja logiczna równoważności w spójnikach „i”(*) i „lub”(+):
Y = p<=>q = p*q + ~p*~q
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x) wraz z podaniem relacji matematycznych wiążących otrzymane rozwiązanie.
Wykonujemy kolejne punkty algorytmu rozwiązania zadania Małpki:
Krok 1
Nasza startowa funkcja alternatywno-koniunkcyjna to:
Y = (p<=>q) = p*q +~p*~q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> p=1 i q=1 lub ~p=1 i ~q=1
Stąd w punktach A5 i C5 w pełnej tabeli zero-jedynkowej stawiamy jedynki
| Kod: |
Pełna tabela zero-jedynkowa
p q ~p ~q Y ~Y
A: 1 1 0 0 1
B: 1 0 0 1
C: 0 0 1 1 1
D: 0 1 1 0
1 2 3 4 5 6
|
Mamy wszystko, dalsze wypełnianie pełnej tabeli zero-jedynkowej to komputerowy automat na mocy definicji negacji, nic a nic nie trzeba myśleć.
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
|
Weźmy teraz na tapetę funkcje logiczną:
B1: ~Y = p*~q + ~p*q
i sprawdźmy, iż rzeczywiście dostaniemy tu identyczną tabelę zero-jedynkową jak tabela T1 w cytacie wyżej.
Zadanko Goryla:
Dana jest funkcja logiczna w logice ujemnej (bo ~Y):
B1: ~Y = p*~q + ~p*q
Polecenie:
Odtwórz pełną tabelę zero-jedynkową opisywaną przez tą funkcję.
Rozwiązanie Jasia, ucznia I klasy LO w 100-milowym lesie.
Krok 1
Nasza funkcja logiczna to:
~Y = p*~q + ~p*q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
~Y=1 <=> p=1 i ~q=1 lub ~p=1 i q=1
Stąd w punktach B6 i D6 w pełnej tabeli zero-jedynkowej stawiamy jedynki
| Kod: |
Pełna tabela zero-jedynkowa
p q ~p ~q Y ~Y
A: 1 1 0 0
B: 1 0 0 1 1
C: 0 0 1 1
D: 0 1 1 0 1
1 2 3 4 5 6
|
Mamy wszystko, dalsze wypełnianie pełnej tabeli zero-jedynkowej to komputerowy automat na mocy definicji negacji, nic a nic nie trzeba myśleć.
| Kod: |
T1
p q ~p ~q Y ~Y
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 0 1 1 1 0
D: 0 1 1 0 0 1
1 2 3 4 5 6
|
Odezwa do Irbisola:
Irbisolu, podejdź do słupa i wal w niego głową, dopóki twój mózg nie zostanie uwolniony z pancernego gówna go otaczającego zwanego KRZ, bowiem wtedy i tylko wtedy zrozumiesz niniejszy post.
Ostatnio zmieniony przez rafal3006 dnia Wto 23:30, 05 Mar 2024, 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 12:01, 06 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5675.html#783683
| Irbisol napisał: | | rafal3006 napisał: | | Jesteś przewidywalny do bólu, wiedziałem, że dokładnie to napiszesz. |
To po co pytasz?
Tym bardziej, że ci już chyba kilkadziesiąt razy deklarowałem, że najpierw kończysz jeden temat, a dopiero po nim zaczynasz następny.
| Cytat: | | Jesteś słupem, ale dla mnie słupem bezcennym, bo od zawsze staram się zamienić Irbisola-słupa w Irbisola-człowieka. Nie jest istotne, czy mi się to uda czy nie, ważne jest że dzięki temu schodzę z algebrą Kubusia do coraz to niższego poziomu |
Czyli wystarczy ci pisać "nie czytam tego gówna" i twoja algebra się rozwija. Ciekawy skutek takiego a nie innego feedbacku.
Od dawna mnie interesowało, dlaczego od razu nie próbujesz gadać do słupa, skoro masz z tego takie profity - ileż czasu być zaoszczędził, nie musząc czekać na odpowiedź - bo i tak byś wiedział, jaka ta odpowiedź będzie.
Może spróbuj w ten sposób - dzięki temu twoja algebra dostanie kosmicznego przyspieszenia  |
Dokładnie tak, bo nie wierzę że nie czytasz tego co piszę - udawać oczywiście możesz i udajesz.
Znam twoją każdą odpowiedź z góry, dlatego swój przekaz non stop koryguję w kierunku jak najprostszego tłumaczenia AK - co przynosi wspaniałe efekty udoskonalania przekazu AK dla ludzkości przy zdrowych jeszcze zmysłach tzn. dla tych co nie znają KRZ lub świadomie mają w dupie gówno zwane KRZ.
Gadam do Irbisola-słupa, to fakt, ale mimo wszystko jesteś biednym człowiekiem z potwornie wypranym mózgiem gównem zwanym KRZ, ale jednak człowiekiem!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 15:14, 06 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5675.html#783741
| Irbisol napisał: | | Rafal3006 napisał: | Znam twoją każdą odpowiedź z góry, dlatego swój przekaz non stop koryguję w kierunku jak najprostszego tłumaczenia AK - co przynosi wspaniałe efekty udoskonalania przekazu AK dla ludzkości przy zdrowych jeszcze zmysłach tzn. dla tych co nie znają KRZ lub świadomie mają w dupie gówno zwane KRZ.
Gadam do Irbisola-słupa, to fakt, ale mimo wszystko jesteś biednym człowiekiem z potwornie wypranym mózgiem gównem zwanym KRZ, ale jednak człowiekiem! |
Więc w sumie poradzisz sobie sam. Patrząc zresztą na to, jak do tej pory sobie radzisz ...
Daj znać, jak przekonasz kogoś do AK. |
Algebra Kubusia będzie wkrótce jedyną logika matematyczną wykładaną na ziemi, od przedszkola poczynając, na wszelkiego rodzaju studiach kończąc.
To tylko kwestia czasu.
Dzięki Irbisolu za 15-letnią dyskusję, byłeś bezcennym dla mnie, wrogiem Nr.1 algebry Kubusia.
Wrogiem zacietrzewionym, który nie ma pojęcia jak się obala dowolną teorię matematyczną.
Pouczam po raz n-ty:
Aby obalić algebrę Kubusia musisz zacząć ją czytać od samego początku, szukając w niej wewnętrznej sprzeczności, gdzie już po raptem kilku stronach spotkasz się z prawem Grzechotnika, roznoszącym w puch wszelkie ziemskie logiki matematyczne.
Dokładnie dlatego współcześni matematycy nawet nie próbują obalać AK, bo musieliby na samym początku przełknąć gorzką pigułkę w postaci prawa Grzechotnika, którego dowód jest na poziomie 5-cio latka, a więc bez problemu zrozumiały dla każdego ziemskiego matematyka.
Wyłącznie zarozumiały bufon zwany Irbisolem będzie obalał algebrę Kubusia swoim dogmatem:
"Gówna zwanego AK nie będę czytał!"
Tak więc Pa,
Do zobaczenia wkrótce, w nowym świecie matematycznym, w algebrze Kubusia.
Ostatnio zmieniony przez rafal3006 dnia Czw 11:34, 07 Mar 2024, 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: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 21:22, 06 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5675.html#783787
| Irbisol napisał: | | rafal3006 napisał: | Algebra Kubusia będzie wkrótce jedyną logika matematyczną wykładaną na ziemi, od przedszkola poczynając, na wszelkiego rodzaju studiach kończąc.
To tylko kwestia czasu. |
Jesteś w stanie oszacować rząd tego czasu? |
To bez znaczenia, nawet jak AK opanuje Ziemię dopiero za x lat to też będzie dobrze - ważne ze opanuje.
W dobie Internetu będzie to około 1-5 lat?
W każdym razie będzie to gwałtowny wybuch, gdy masa krytyczna zostanie przekroczona tzn. wystarczająca ilość matematyków dowie się że na naszej Ziemi pojawił się Kubuś ze swoją algebrą.
Błędy nauki
Autor: Luc Bürgin
Ludzie mają widocznie skłonność do przedwczesnego i negatywnego oceniania perspektyw rozwojowych pewnych dziedzin nauki. Niektóre rewolucyjne odkrycia lub idee przez lata bojkotowano i zwalczano tylko dlatego, że dogmatycznie nastawieni luminarze nauki nie umieli odrzucić swych ulubionych, choć przestarzałych i skostniałych idei i przekonań. Jednym słowem: „Niemożliwe!" hamowali postęp nauki, a przykładami można dosłownie sypać jak z rękawa:
• Gdy w XVIII wieku Antoine-Laurem de Lavoisier zaprzeczył istnieniu „flogistonu" – nieważkiej substancji, która wydziela się w trakcie procesu spalania i w którą wierzyli wszyscy ówcześni chemicy – i po raz pierwszy sformułował teorię utleniania, świat nauki zatrząsł się z oburzenia. „Observations sur la Physique", czołowy francuski magazyn naukowy, wytoczył przeciwko Lavoisierowi najcięższe działa, a poglądy uczonego upowszechniły się dopiero po zażartych walkach.
• Gdy w 1807 roku matematyk Jean-Baptiste Joseph de Fourier wystąpił przed Paryską Akademią Nauk z wykładem na temat przewodnictwa cieplnego w obwodzie zamkniętym i wyjaśnił, że każdą funkcję okresową można przedstawić w postaci nieskończonej sumy prostych funkcji okresowych (sinus, cosinus), wstał Joseph-Louis de Lagrange, jeden z najwybitniejszych matematyków tamtej epoki, i bez ogródek odrzucił tę teorię. A ponieważ przeciwko Fourierowi wystąpili także inni słynni uczeni, np. Pierre-Simon de Laplace, Jean-Baptiste Biot, Denis Poisson i Leonhard Euler, musiało minąć sporo czasu, zanim uznano doniosłość jego odkrycia. Obecnie nie można sobie wyobrazić matematyki i fizyki bez analizy Fouriera.
• Gdy w latach czterdziestych XIX wieku John James Waterston, nieznany młody fizyk, przedstawił brytyjskiemu Towarzystwu Królewskiemu swój rękopis, dwaj recenzenci nie pozostawili na nim suchej nitki. Gdyby w 1891 roku fizyk i późniejszy laureat Nagrody Nobla John William Rayleight nie odnalazł oryginalnego rękopisu w archiwach tej szacownej instytucji, na próżno szukalibyśmy w podręcznikach fizyki nazwiska Waterstona. A to właśnie on był pierwszym badaczem, który sformułował tak zwaną zasadę ekwipartycji energii dla specjalnego przypadku. W 1892 roku Rayleight napisał: „Bardzo trudno postawić się w sytuacji recenzenta z 1845 roku, ale można zrozumieć, że treść artykułu wydała mu się nadmiernie abstrakcyjna i nie przemówiły do niego zastosowane obliczenia matematyczne. Mimo to dziwi, że znalazł się krytyk, według którego: "Cały artykuł to czysty nonsens, który nie nadaje się nawet do przedstawienia Towarzystwu". Inny opiniujący zauważył: "[...] analiza opiera się – co przyznaje sam autor – na całkowicie hipotetycznej zasadzie, z której zamierza on wyprowadzić matematyczne omówienie zjawisk materiałów sprężystych [...]. Oryginalna zasada wynika z przyjęcia założenia, którego nie mogę zaakceptować i które w żadnym razie nie może służyć jako zadowalająca podstawa teorii matematycznej".
• Gdy pod koniec XIX wieku Wilhelm Conrad Röntgen, odkrywca promieni, bez których trudno sobie wyobrazić współczesną medycynę, opublikował wyniki swoich badań, musiał wysłuchać wielu krytycznych komentarzy. Nawet światowej sławy brytyjski fizyk lord Kelvin określił promienie rentgenowskie mianem .,sprytnego oszustwa''. Friedrich Dessauer, profesor fizyki medycznej, w czasie wykładu wygłoszonego 12 lipca 1937 roku na uniwersytecie w szwajcarskim Fryburgu powiedział w odniesieniu do odkrycia Röntgena: „Nadal widzę sceptyków wykrzykujących: "Niemożliwe!". I nadal słyszę proroków, wielkie autorytety tamtych lat, którzy odmawiali promieniom rentgenowskim jakiegokolwiek, także medycznego, znaczenia".
• Gdy Werner von Siemens, twórca elektrotechniki, zaprezentował przed Scientific Community teorię ładunku elektrostatycznego przewodów zamkniętych i otwartych, wywołał falę gwałtownych sprzeciwów. „Początkowo nie wierzono w moją teorię, ponieważ była sprzeczna z obowiązującymi w tamtych czasach poglądami", wspominał Siemens w autobiografii wydanej pod koniec XIX wieku.
• Podobnych przeżyć doświadczył William C. Bray z Uniwersytetu Kalifornijskiego w Berkeley, gdy w 1921 roku poinformował o zaobserwowaniu oscylującej okresowo reakcji chemicznej. W 1987 roku w fachowym czasopiśmie „Chemical and Engineering News" ukazał się artykuł R. Epsteina, który napisał, że amerykański uczony został wyśmiany i wyszydzony, bo reakcja taka wydawała się niepodobieństwem. I choć odkrycie Braya potwierdzono w teorii i w praktyce, to musiało upłynąć pięćdziesiąt lat, nim uznano znaczenie jego pracy.
Studenci rzadko mają okazję zetknąć się z podobnymi przykładami, ponieważ naukowcy, jak wszyscy inni ludzie, przejawiają osobliwą skłonność do zapominania o rozmaitych „wpadkach", z jakimi na przestrzeni lat musiała się uporać ich dyscyplina wiedzy. Z dumnie wypiętą piersią sprzedają uczniom historię nauki jako pasmo nieustających sukcesów. Wstydliwie przemilczają opowieści o walkach, które poprzedzają wielkie przełomy.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:55, 07 Mar 2024 Temat postu: |
|
|
Historyczny post po którym Irbisol był najbliżej przejścia do klubu algebry Kubusia ... ale oczywiście uciekł spod topora.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4650.html#777141
Nie ma poprawnej logiki matematycznej bez Y i ~Y!
Dowód w niniejszym poście.
Dowód iż matematycy nie znają pojęcia funkcji logicznej w logice ujemnej (bo ~Y) masz na forum matematyka.pl
[link widoczny dla zalogowanych]
| Kod: | | https://matematyka.pl/logika-f100/udowodnic-ze-negacji-nie-mozna-zdefiniowac-t455280.html#p5658900 |
@Dasio11
Sugeruję, byś przestał zasypywać ten wątek wypowiedziami w temacie, o którym, jak się zdaje, masz niewielkie pojęcie. Zadanie polega na matematycznym udowodnieniu, że żadna formuła rachunku zdań zdefiniowana przy użyciu różnych spójników logicznych nie może być równoważna negacji. Twoje uwagi są banalne i nijak nie pomagają udowodnić tego, co trzeba. Ponadto są nie na temat - bramki logiczne w elektronice stanowią tylko jedno z wielu zastosowań logiki matematycznej i nie mają zbyt wiele wspólnego z tym, co w tym wątku najistotniejsze, tj. z dowodami matematycznymi. Operujesz też niezbyt przystępnym językiem - nie ma w matematyce takiego pojęcia, jak "logika dodatnia/ujemna", jest to żargon elektroników. Toteż chyba lepiej będzie, jeśli skoncentrujesz swoją uwagę na świecie techniki, z którego przybywasz, a matematykę zostawisz tym, którzy się na niej znają, tj. matematykom.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
1.
Cały problem, którego nie rozumiesz, polega na tym, że matematykom pojęcie logiki ujemnej do niczego nie jest potrzebne. Bez tego pojęcia i tak nie generują żadnej sprzeczności, w szczególności nie usuwają "lewych stron równań Y i ~Y" - a jeżeli usuwają, to podaj linka do tego usuwania.
2.
Co więcej, nie znając pojęcia logiki ujemnej, potrafią obustronnie zanegować obie strony równania czy też równoważności - czego przykład masz w opisie prawa De Morgana. |
Ad.1 Z tym usuwaniem to była przenośnia. Ziemscy matematycy nie znają pojęcia funkcji logicznej w logice ujemnej (bo ~Y) i ten fakt wystarczy by udowodnić wewnętrzną sprzeczność wszelkich ziemskich logik matematycznych (prawo Grzechotnika)
Dowód masz tu |
Dowód zakłada naiwnie, że w celu odróżniania Y od ~Y konieczna jest znajomość pojęcia "logika ujemna".
A tymczasem można nie znać tego pojęcia, a i tak odróżniać Y od ~Y - a w konsekwencji - nie usuwać sobie ich tak po prostu.
Parafrazując:
Jeżeli znajdziesz chociaż jeden przypadek, gdzie matematycy nie odróżnili Y od ~Y i przez to skasowali Y oraz ~Y, wtedy przechodzę na AK. |
Trzymam za słowo, dowód absolutnej niezbędności w logice matematycznej zarówno funkcji logicznej w logice dodatniej (bo Y), jak i funkcji logicznej w logice ujemnej (bo ~Y) masz niżej.
| Irbisol napisał: |
| Cytat: | Ad.2
Irbisolu, brakuje ci elementarnych wiadomości z zakresu logiki matematycznej bo nie wiesz że prawa De Morgana obowiązują zarówno w logice dodatniej (bo Y) jak i ujemnej (bo ~Y) ale nie da się przy ich pomocy przejść z logiki dodatniej (bo Y) do logiki ujemnej (bo ~Y), albo odwrotnie. |
Jednak w opisie tych praw takich przejść się dokonuje.
~(p+q) <=> ~p*~q
p+q <=> ~(~p*~q)
~(p*q) <=> ~p+~q
p*q <=> ~(~p+~q)
I nikt się nie ekscytuje, że odkrył "logikę ujemną", gdyż jest to tak banalne, że używa się tego nie zwracając na to szczególnej uwagi. |
Jesteśmy w domu Irbisolu, teraz nie masz wyjścia, zgodnie z obietnicą masz przejść do obozu algebry Kubusia – dotrzymasz słowa?
Korzystam z tego co sam zapisałeś w swojej wypowiedzi:
| Kod: |
T1
OL:
Definicja operatora “lub”(|+):
Operator „lub”(|+) to złożenie funkcji logicznej w logice dodatniej (bo Y)
oraz funkcji logicznej w logice ujemnej (bo ~Y)
1: Y = p+q = ~(~p*~q)
#
2: ~Y = ~(p+q) = ~p*~q
##
OI:
Definicja operatora “i”(|*):
Operator „i”(|*) to złożenie funkcji logicznej w logice dodatniej (bo Y)
oraz funkcji logicznej w logice ujemnej (bo ~Y)
1: Y = p*q = ~(~p+~q)
#
2: ~Y = ~(p*q) = ~p+~q
Gdzie:
{p,q,Y} muszą być wszędzie tymi samymi {p,q,Y}, inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli T1 definicje obu znaczków # i ## są perfekcyjnie spełnione.
Sam widzisz Irbisolu, że bez funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) nie masz szans na zdefiniowanie ani operatora „lub”(|+), ani też na zdefiniowanie operatora „i”(|*) w równaniach algebry Boole’a .. czyli w naturalnej logice matematycznej 5-cio latków!
Dowód iż 5-cio latki doskonale znają zarówno funkcję logiczną w logice dodatniej (bo J), jak i funckję logiczną w logice ujemnej (bo ~J) znajdziesz w drugiej części tego postu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4650.html#777093
Podsumowując:
Kiedy Irbisolu przechodzisz do obozu algebry Kubusia?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:20, 07 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5700.html#784097
| Irbisol napisał: |
A Rafał nadal nie odpowiedział, więc to on wymiękł. |
Irbisolu, dalsza moja dyskusja z tobą nie ma już sensu.
Jak zrozumiesz metodyką obalania dowolnej, nowej teorii matemtycznej to dyskusję możemy wznowić.
Ta metodyka obalania to:
Zaczynasz czytać algebrę Kubusia i sygnalizujesz z czym sie nie zgadzasz, czy też gdzie widzisz w niej sprzeczność!
Już po kilku stronach nadziejesz się na prawo Grzechotnika, roznoszące w puch wszelki ziemskie logiki matematyczne.
Jak chcesz obalać AK to obal prawo Grzechotnika - żadnej innej dyskusji z tobą już nie będzie!
Notabene przechodzisz do historii logiki matematycznej - dwa ostatnie posty z tobą zamieściłem w podręczniku "Algebra Kubusia"
Krótką historię rozszyfrowania AK, w której jesteś jednym z bohaterów, na równi z Wujem Zbójem. Volrathem czy Fikitem masz w końcowym fragmencie algebry Kubusia.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#776187
| rafal3006 napisał: | Algebra Kubusia - matematyka języka potocznego
26.0 Krótka historia rozszyfrowywania algebry Kubusia
Spis treści
26.0 Krótka historia rozszyfrowywania algebry Kubusia 1
26.1 Jak to się zaczęło? 2
26.1.1 Początki – rok 2006 2
26.2 Irbisol – odwieczny wróg algebry Kubusia 3
26.2.1 Ostatnie dwa posty w dyskusji z Irbisolem 4
26.2.2 Podziękowanie dla Irbisola 7
|
P.S.
Irbisolu, czekam na twoje obalenie prawa Grzechotnika zapisanego w AK.
Masz czytać AK i obalać prawo Grzechotnika na gruncie tego, co pisze w AK, czyli bez twojego pierdzielenia w tym temacie.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
1.5 Prawo Grzechotnika 10
1.5.1 Definicja funkcji transmisji Y=p w logice dodatniej (bo Y) 10
1.5.2 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y) 10
1.5.3 Relacja matematyczna między funkcjami Y=p oraz Y=~p 11
1.5.4 Definicja operatora transmisji Y|=p 11
1.5.5 Definicja operatora negacji Y|=~p 12
1.5.6 Relacja matematyczna między operatorami Y|=p a Y|=~p 12
1.5.7 Prawo Grzechotnika dla funkcji jednoargumentowych 15
1.5.8 Prawo Grzechotnika dla dowolnych funkcji n-argumentowych 15
1.5.9 Prawo Mrówki 17
1.5.10 Prawo Sokoła 18
1.5.11 Wielkie prawo Kubusia 18
1.6 Definicja standardu dodatniego w języku potocznym 18
1.7 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka 18
1.7.1 Dowód prawa Grzechotnika na poziomie przedszkola 20
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:27, 07 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5700.html#784111
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
A Rafał nadal nie odpowiedział, więc to on wymiękł. |
Irbisolu, dalsza moja dyskusja z tobą nie ma już sensu.
Jak zrozumiesz metodyką obalania dowolnej, nowej teorii matemtycznej to dyskusję możemy wznowić.
Ta metodyka obalania to:
Zaczynasz czytać algebrę Kubusia i sygnalizujesz z czym sie nie zgadzasz, czy też gdzie widzisz w niej sprzeczność! |
No i zobaczyłem, napisałem ci, zapomniałeś o tym, znowu ci napisałem i znowu zapomniałeś. |
Z tobą w ogóle nie ma kontaktu.
Ty masz zacytować fragment algebry Kubusia z przykładowymi kometarzami:
1.
Tego nie rozumiem
2.
W tym fragmencie AK masz sprzeczność - tu musisz uzasadnić dlaczego
Wszyscy za chwilkę się przekonamy że ty nie wiesz co znaczy zacytować fragment AK tzn. na 100% uciekniesz do swojego gówna:
"Odpowiedz na moje pytanie"
Moja odpowiedź zawsze tu będzie taka same:
Przyjemnego tarzania sie w twoim potwornie śmierdzącym gównie zwanym:
"Odpowiedz na moje pytanie"
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35397
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 18:49, 07 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5700.html#784125
Co jest psim obowiązkiem Irbisola, który w swoich majaczeniach twierdzi, że obalił AK?
| Irbisol napisał: | Kolejność niestety.
Najpierw odpowiadasz na pytanie.
I żeby nie było - tych sprzeczności u ciebie jest trochę. Ale po kolei. |
Gówno prawda.
W końowej wersji algebry Kubusia tu opublikowanej:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680041
| rafal3006 napisał: | Algebra Kubusia
Matematyka języka potocznego |
lub tu w wersji pdf:
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Nie ma ani jednej WEWNĘTRZNEJ sprzeczności w AK!
Irbisolu,
Wszystko masz odwrócone do góry nogami tzn. nie masz najmniejszego pojęcia jak się obala nową, nieznaną jeszcze ludzkości teorię matematyzną zwaną "Algebrą Kubusia"
Role ci się popierdzieliły!
Rozstrzygnijmy przed wszyskim to:
1.
Kto jest autorem algebry Kubusia?
Odpowiedź:Kubuś ze stumilowego lasu
Kto jest odpowiedzialnym za obronę algebry Kubusia wśród ziemskich matematyków?
Odpowiedź: Rafal3006
2.
Czy istnieje ziemian pragnący obalić algebrę Kubusia?
Odpowiedź: Tak, to Irbisol
Oczywistym jest że Rafał3006 jest tu osobą wyczekującą na ataki Irbisola!
Co jest psim obowiązkiem Irbisola?
Odpowiedź:
Psim obowiązkiem Irbisola jest czytać końcową wersję algebry Kubusia poszukując w niej wewnętzrnej sprzeczności.
Zrozumiałym jest, że algebra Kubusia gdzie 100% definicji jest innych niż w dowolnej logice matematycznej ziemskich matematyków nie musi być dla tych ostatnich w pełni zrozumiała.
Jaki jest podział zadań w dyskusji na temat AK?
1.
Zadaniem Rafała3006 jest wyjaśniać niezrozumiałe fragmenty AK.
2.
Zadaniem atakującego algebrę Kubusia (tu Irbisola) jest poszukiwać jednego, jedynego kontrzprzykładu w algebrze Kubusia.
Tu atakujący (Irbisol) musi zacytować fragment AK który jest sprzeczny z innym fragmentem AK.
Oczywistym jest, że nie mogą to być Irbisolowe majaczenia na temat AK.
Twoim psim obowiązkiem Irbisolu jest zacytować AK i udowodnić wewnętrzna sprzeczność wewnątrz AK.
|
|
| 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
