 |
Ś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: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Pon 11:17, 20 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | | Coś widocznie ma, skoro zdecydowałeś się ten temat rozpocząć. |
Robisz się śmieszny Irbisolu.
Co ma jakakolwiek manipulacja do dowodu dowolnego twierdzenia matematycznego?
Gówno ma wspólnego!
Czy rozumiesz powyższe zdanie?
Prawo Grzechotnika to twierdzenie matematyczne, w logice matematycznej zamiast słówka "twierdzenie" używa się słówka "prawo", ale to jest to samo, jeśli chodzi o algorytm dowodzenia.
Analogia:
Weź pokombinuj przy twierdzeniu Pitagorasa, po czym ogłoś światu że obaliłeś twierdzenie Pitagorasa.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15517
Przeczytał: 26 tematów
|
| Wysłany: Pon 12:12, 20 Lis 2023 Temat postu: |
|
|
|
Pytasz o coś, na co dopiero co otrzymałeś odpowiedź
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 19:34, 20 Lis 2023 Temat postu: |
|
|
Komputerowy algorytm dowodzenia wszelkich praw algebry Kubusia
Uwaga:
Ten post napisałem 3 godz temu, musiałem wyjechać i w drodze przyszło mi do głowy zdecydowanie prostsze rozwiązanie o co chodzi w komputerowym dowodzeniu dowolnych praw algebry Kubusia.
Pomyślałem jednak, że opublikuję ten post gdyż jest on ciekawą ilustracją w jaki sposób pokonuje się dziewicze tereny logiki matematycznej, po których wcześniej żaden ziemski matematyk nie stąpał.
| Irbisol napisał: |
Coś widocznie ma, skoro zdecydowałeś się ten temat rozpocząć. |
Irbisolu, jesteś słupem do którego nic nie dociera, co wszyscy widzą, ale słupem dla mnie bezcennym, bo zmuszasz mnie do kolejnych prób dotarcia do słupa – czy mi się to uda, czas pokaże.
Irbisolu,
Wiem że jesteś programistą.
Mój najnowszy pomysł dotarcia do ciebie to zaprezentowanie ci algorytmu dowodzenia absolutnie wszystkich praw logiki matematycznej w algebrze Kubusia – tu nie ma tak, że jakiekolwiek prawo może zostać nie udowodnione.
Mam nadzieję że zrozumiesz ten algorytm, a może nawet napiszesz banalny program według tego algorytmu?
Pewne jest jedno, wedle zaprezentowanego niżej algorytmu działać będzie wkrótce bardzo dużo konkretnych programów na całym świecie.
Wtedy będziesz musiał przyznać, że twoja walka z prawem Grzechotnika, to walka z doskonale działającym programem komputerowym, czyli samobójcze rzucanie się z motyką na słońce.
Prawo Geparda:
Dla napisanie programu komputerowego służącego do dowodzenia wszelkich praw algebry Kubusia dla dowolnych funkcji logicznych n-argumentowych potrzeba i wystarcza napisać program komputerowy obsługujący funkcję logiczną jednej zmiennej binarnej.
W algebrze Kubusia mamy tabelę prawdy dla kluczowych funkcji logicznych jednoargumentowych – punkt 1.5.6. Przypomnijmy ją sobie wraz ze wstępem wyjaśniającym skąd ona się wzięła
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Fragment
1.5 Prawo Grzechotnika
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
W kolejnych podpunktach zajmiemy się dowodem formalnym (ogólnym) prawa Grzechotnika.
1.5.1 Definicja funkcji transmisji Y=p w logice dodatniej (bo Y)
Definicja transmitera:
Transmiter to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany zawsze niezanegowany sygnał p (Y=p)
Realizacja rzeczywista:
SN7407 (strona 1)
| Kod: | | https://www.ti.com/lit/ds/symlink/sn7407.pdf |
Definicja matematyczna:
Funkcja logiczna transmitera Y=p w logice dodatniej (bo Y) to funkcja definiowana tabelą prawdy:
| Kod: |
FT
A1:
p ~p Y=p
1 0 1
0 1 0
|
Na wyjściu Y mamy tu zawsze niezanegowany sygnał p (Y=p)
1.5.2 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y)
Definicja negatora:
Negator to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze zanegowany sygnał p (Y=~p)
Realizacja rzeczywista:
SN7406 (strona 2)
| Kod: | | https://www.ti.com/lit/ds/symlink/sn7406.pdf |
Definicja matematyczna:
Funkcja logiczna negatora Y=~p to funkcja definiowana tabelą prawdy:
| Kod: |
FN
A2:
p ~p Y=~p
1 0 0
0 1 1
|
Na wyjściu Y mamy tu zawsze zanegowany sygnał p (Y=~p)
1.5.3 Relacja matematyczna między funkcjami Y=p oraz Y=~p
Oczywistym jest, że matematycznie zachodzi tu:
A1: Y=p ## A2: Y=~p
Gdzie:
## - różne na mocy definicji
Dowód:
| Kod: |
FTFN:
A1: A2:
p ~p Y=p ## Y=~p
1 0 1 ## 0
0 1 0 ## 1
|
Definicja znaczka rożne na mocy definicji ## dla funkcji jednoargumentowej:
Dwie funkcje logiczne Y w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściu p w logice dodatniej (bo p) mają różne kolumny wynikowe Y.
Jak widzimy, w tabeli FTFN definicja znaczka różne na mocy definicji ## jest perfekcyjnie spełniona
1.5.4 Definicja operatora transmisji Y|=p
Definicja operatora transmisji Y|=p:
Operator transmisji Y|=p to układ równań logicznych Y=p i ~Y=~p dający odpowiedź na pytanie o Y i ~Y
Zobaczmy to w tabeli zero-jedynkowej:
| Kod: |
OT
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
|
Doskonale tu widać że:
A1:
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A1.
B1:
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1
1.5.5 Definicja operatora negacji Y|=~p
Definicja operatora negacji Y|=~p:
Operator negacji Y|=~p to układ równań logicznych Y=~p i ~Y=p dający odpowiedź na pytanie o Y i ~Y
Zobaczmy to w tabeli zero-jedynkowej:
| Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
|
Doskonale tu widać że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1
1.5.6 Relacja matematyczna między operatorami Y|=p a Y|=~p
| Kod: |
OT
Definicja operatora transmisji Y|=p:
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
|
##
| Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
|
Gdzie:
Zmienna wejściowa p musi być wszędzie tą samą zmienną p, inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
Zauważmy, że jeśli pominiemy nagłówki albo uwzględnimy wyłącznie prawe strony funkcji logicznych Y i ~Y to kolumna A1 będzie tożsama z kolumną B2.
Jeśli uwzględnimy nagłówki to relacja kolumn A1 i B2 nie będzie tożsamościowa mimo że zero-jedynkowo kolumny te są identyczne.
A1: Y=p ## B2: ~Y=p
Gdzie:
## - różne na mocy definicji
Uwaga:
Czy ktokolwiek widział w ziemskim rachunku zero-jedynkowym przypadek jak wyżej w tabelach OT i ON gdzie kolumny zero-jedynkowe A1 i B2 są tożsame a funkcje logiczne opisujące te kolumny nie są tożsame?
Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:
| Kod: |
OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p
|
Gdzie:
Zmienna wejściowa p musi być wszędzie tą samą zmienną p, inaczej błąd podstawienia
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
W tabeli OTON widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
|
Do napisania algorytmu automatycznego dowodzenia wszelkich praw algebry Kubusia potrzebny nam jest końcowy fragment cytatu jak niżej – punkt 1.5.6.
| Kod: |
OT
Definicja operatora transmisji Y|=p:
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
1 2 3 4
|
##
| Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
1 2 3 4
|
Gdzie:
Zmienna wejściowa p musi być wszędzie tą samą zmienną p, inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
Zauważmy, że kluczowa tu matryca wejściowa zmiennych p i ~p dla algorytmu Geparda jest identyczna dla obu tabel OT i ON – to jest warunek konieczny poprawności wszelkich dalszych dowodów.
Jako wejście do algorytmu, posłuży nam dowolna czterech możliwych tu funkcji logicznych:
| Kod: |
TF
Funkcje logiczne do wylosowania przez maszynę losującą
A1: Y= p
#
B1: ~Y=~p
##
A2: Y=~p
#
B2: ~Y= p
|
Doskonale widać, że dla poprawnego działania algorytmu Geparda musimy na wejściu programu komputerowego podać zarówno zero-jedynkową definicję zmiennej p, jak również kluczową tu polaryzację funkcji logicznej Y, inaczej program nie będzie działał.
Krok 1
Załóżmy, że wrzucamy tabelę TF do maszyny losującej i otrzymujemy wynik:
p
~Y
Stąd na wejściu mamy oczywistą funkcję logiczną:
B2: ~Y=p
Kolejny krok programu to zanegowania dwustronne funkcji logicznej ~Y:
A2: Y=~p
Jak sprawdzić czy poprawnie to zostało zanegowane w sposób komputerowy?
W tabeli ON porównujemy kolumny 3 i 4 z użyciem bramki logicznej XOR o definicji:
Y = p*~q + ~p*q
Jeśli w wyniku tego działania dostaniemy w kolumnie wynikowej same jedynki to wszystko jest w porządku, czyli funkcja logiczna A2: Y=~p jest negacją funkcji logicznej B2: ~Y=p
Stąd mamy rozstrzygnięcie iż:
A2: Y=~p # B2: ~Y=p
Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony
Krok 2
Załóżmy, że wrzucamy tabelę TF do maszyny losującej i otrzymujemy wynik:
~p
~Y
Stąd na wejściu mamy oczywistą funkcję logiczną:
B1: ~Y=~p
Kolejny krok programu to zanegowania dwustronne funkcji logicznej ~Y:
A1: Y=p
Jak sprawdzić czy poprawnie to zostało zanegowane w sposób komputerowy?
W tabeli OT porównujemy kolumny 3 i 4 z użyciem bramki logicznej XOR o definicji:
Y = p*~q + ~p*q
Jeśli w wyniku tego działania dostaniemy w kolumnie wynikowej same jedynki to wszystko jest w porządku, czyli funkcja logiczna A1: Y=p jest negacją funkcji logicznej B1: ~Y=~p
Stąd mamy rozstrzygnięcie iż:
A1: Y=p # B1: ~Y=~p
Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony
Stąd na ten moment mamy następującą sytuację:
| Kod: |
OT
Definicja operatora transmisji Y|=p:
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
1 2 3 4
|
??
| Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
1 2 3 4
|
Pozostało nam komputerowo rozstrzygnąć jaki znaczek musimy wstawić w miejsce znaku „??”.
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
1.
Komputerowo łatwo sprawdzić definicją równoważności:
Y=p*q+~p*~q
że zero-jedynkowe kolumny A1 i B2 są co prawda identyczne, ale nie występują w tej samej logice dodatniej (bo Y) czy też ujemnej (bo ~Y).
Stąd mamy rozstrzygnięcie że funkcje A1 i B2 są różne na mocy definicji ##
A1: Y=p ## B2: ~Y=p
cnd
2.
Jeśli będziemy porównywać funkcje logiczne A1 i A2 to tu stwierdzamy, że funkcje są w tej samej logice (bo Y), ale mają różne kolumny wynikowe.
Stąd mamy rozstrzygnięcie, że funkcje te są różne na mocy definicji ##
A1: Y=p ## A2: Y=~p
cnd
Identycznie jak w punktach 1 i 2 można postąpić z funkcją logiczną B1 otrzymując jedynie słuszną końcową tabelę OT-ON jak niżej:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Fragment
1.5.6 Relacja matematyczna między operatorami Y|=p a Y|=~p
| Kod: |
OT
Definicja operatora transmisji Y|=p:
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
|
##
| Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
|
Gdzie:
Zmienna wejściowa p musi być wszędzie tą samą zmienną p, inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
Zauważmy, że jeśli pominiemy nagłówki albo uwzględnimy wyłącznie prawe strony funkcji logicznych Y i ~Y to kolumna A1 będzie tożsama z kolumną B2.
Jeśli uwzględnimy nagłówki to relacja kolumn A1 i B2 nie będzie tożsamościowa mimo że zero-jedynkowo kolumny te są identyczne.
A1: Y=p ## B2: ~Y=p
Gdzie:
## - różne na mocy definicji
Uwaga:
Czy ktokolwiek widział w ziemskim rachunku zero-jedynkowym przypadek jak wyżej w tabelach OT i ON gdzie kolumny zero-jedynkowe A1 i B2 są tożsame a funkcje logiczne opisujące te kolumny nie są tożsame?
Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:
| Kod: |
OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p
|
Gdzie:
Zmienna wejściowa p musi być wszędzie tą samą zmienną p, inaczej błąd podstawienia
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
W tabeli OTON widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
1.5.7 Prawo Grzechotnika dla funkcji jednoargumentowych
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.
Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli OTON
| Kod: |
OTON":
A1: p # B1: ~p
A2: ~p # B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale widać, że w tabeli OTON" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
Stąd mamy:
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
|
Dowód iż algorytm Geparda działa na dowolnie długich funkcjach logicznych!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Fragment
1.5.8 Prawo Grzechotnika dla dowolnych funkcji n-argumentowych
Cechą charakterystyczną prawidłowo rozumianej algebry Boole’a jest fakt, że pod dowolną zmienną binarną x możemy podstawić dowolnie długie wyrażenie algebry Boole’a f(x) i wszelkie prawa logiki matematycznej dalej będą działały poprawnie, w tym prawo Grzechotnika.
Wyżej udowodniliśmy prawo Grzechotnika dla jednoargumentowej funkcji transmisji FT oraz jednoargumentowej funkcji negacji FN między którymi zachodzi relacja różne na mocy definicji ##.
FT - funkcja logiczna transmisji
A1: Y=p
##
FN - funkcja logiczna negacji
A2: Y=~p
Gdzie:
## - różne na mocy definicji
Zgodnie z prawidłowo rozumianą algebrą Boole’a pod p możemy podstawić dowolnie długie wyrażenie algebry Boole’a f(x) i prawo Grzechotnika dalej musi działać.
f(x) - dowolne wyrażenie algebry Boole'a
Przykład:
f(x)=p*~q + r*~s
Stąd mamy:
Niech będą dane dwie funkcje logiczne Y n-argumentowe o następującej budowie:
A1: Y = f(x)
##
A2: Y = ~f(x)
Gdzie:
## - rożne na mocy definicji
Weźmy funkcję A1:
A1: Y=f(x)
#
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję A1:
B1: ~Y=~f(x)
##
Weźmy funkcję A2:
A2: Y=~f(x)
#
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję A2:
B2: ~Y=f(x)
Umieśćmy naszą analizę w tabeli prawdy:
| Kod: |
T1
Funkcja A1:
A1: Y= f(x) # B1: ~Y=~f(x)
## ##
Funkcja A2:
A2: Y=~f(x) # B2: ~Y= f(x)
|
Gdzie:
Funkcja wejściowa f(x) musi być wszędzie tą samą funkcją f(x), inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznej
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
W tabeli T1 widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.
Usuńmy zatem z tabeli T1 wszelkie funkcje logiczne Y i ~Y.
| Kod: |
T1"
Funkcja A1:
A1: f(x) # B1:~f(x)
Funkcja A2:
A2:~f(x) # B2: f(x)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale widać, że w tabeli T1" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
Stąd mamy:
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Nieznaną matematykom logikę dodatnią (bo Y) i ujemną (bo ~Y) doskonale znają w praktyce wszystkie 5-cio latki, czego dowód znajdziemy w punkcie 1.9 (sterowanie windą).
1.5.9 Prawo Sokoła
Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.
Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) nie jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Wniosek:
Wewnętrzna sprzeczność w KRZ zostanie usunięta wtedy i tylko wtedy gdy ziemscy matematycy wbiją w serce KRZ osikowy kołek i przejdą do obozu algebry Kubusia.
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15517
Przeczytał: 26 tematów
|
| Wysłany: Pon 20:21, 20 Lis 2023 Temat postu: |
|
|
|
Znowu uciekasz od tematu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:44, 20 Lis 2023 Temat postu: |
|
|
Komputerowy algorytm rozstrzygający z jakim operatorem logicznym mamy do czynienia
| Irbisol napisał: |
Znowu uciekasz od tematu. |
Twój temat Irbisolu to żądanie ode mnie potwierdzenia twojej świętej prawdy, że „ziemia jest płaska” czyli że prawo Grzechotnika jest fałszywe.
Gówno – nigdy takiego potwierdzenia nie dostaniesz!
Wybij sobie raz na zawsze z głowy, że zacznę rozmawiać o twojej potwornie śmierdzącej sraczce w której masz błąd czysto matematyczny.
Najpierw usuń ten błąd – to jest warunek konieczny wznowienia dyskusji z tobą.
Tu masz czarno na białym o jaki błąd chodzi:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4125.html#764345
Wracając do bieżącego tematu, czyli do algorytmu komputerowego rozstrzygającego z jakim operatorem logicznym jednoargumentowym mamy do czynienia.
Zacytujmy praktycznie początek algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
1.3.2 Prawo negacji funkcji logicznej Y
Definicja funkcji logicznej w logice dodatniej (bo Y):
Funkcja logiczna Y zapisana jest w logice dodatniej wtedy i tylko wtedy gdy nie jest zanegowana.
W przeciwnym przypadku mamy do czynienia z funkcją logiczną w logice ujemnej (bo ~Y)
Prawo negacji funkcji logicznej Y:
Dowolną funkcję logiczną Y=f(x) wolno nam dwustronnie zanegować przechodząc do logiki przeciwnej ~Y=~f(x).
1.4 Definicja funkcji logicznej jednoargumentowej Y=x
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y = f(x) =x
Zapis tożsamy:
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Zdanie zawsze prawdziwe (Y=1) i zdanie zawsze fałszywe (Y=0) to matematyczne śmieci co udowodniono ciut wyżej, dlatego te przypadki mało nas interesują.
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
co w logice jedynek oznacza:
Y=1 <=> x=1
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TWJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
# - 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 TWJ definicje obu znaczków # i ## są perfekcyjnie spełnione. |
Co tu ma do roboty komputer?
Na wejście komputera podajemy jedną z ośmiu możliwych tu funkcji logicznych w logice dodatniej (bo Y) albo ujemnej (bo ~Y) a komputer ma jednoznacznie wypluć linię (operator logiczny) do której ta funkcja należy.
Nazwy operatorów komputera zupełnie nie interesują, wyłącznie w świecie człowieka nadajemy nazwy tym operatorom jak niżej:
1: Operator transmisji A1B1: Y|=p
2: Operator negacji A2B2: Y|=~p
3: Zdanie zawsze prawdziwe A3B3: Y|=1
4: Zdanie zawsze fałszywe A4B4: Y|=0
Zauważmy, że w tabeli TWJ wszystkich możliwych operatorów logicznych jednoargumentowych jest cztery i tylko cztery, natomiast funkcji logicznych w logice dodatniej (bo Y) albo ujemnej (bo ~Y) jest osiem i tylko osiem.
O co chodzi w programie komputerowym rozstrzygającym jednoznacznie, do jakiego operatora należy jedna z ośmiu możliwych tu funkcji logicznych (z tabeli TWJ)?
Na wejście programu komputerowego podajemy jedno z czterech możliwych tu wyrażeń algebry Boole’a {p, ~p, 1, 0} przyporządkowując mu jedną z dwóch możliwych tu funkcji logicznych w logice dodatniej (bo Y), albo w logice ujemnej (bo ~Y).
Zadaniem komputera jest wyplucie linii do której należy konkretna funkcja logiczna.
Zapiszmy wszystkie możliwe funkcje logiczne jednoargumentowe:
| Kod: |
TWJG:
A1: Y= p
B1: ~Y=~p
A2: Y=~p
B2: ~Y= p
A3: Y= 1
B3: ~Y= 0
A4: Y= 0
B4: ~Y= 1
|
W ogólnym przypadku funkcje w tabeli TWJG mogą być zapisane chaotycznie, a nie ładnie uporządkowane jak w tabeli TWJG – matematycznie to bez znaczenia.
Analogia:
W podręcznikowej tabliczce mnożenia do 100 wszystkie działania też mogą być zapisane chaotycznie – matematycznie to bez znaczenia.
W obu tabelach porządkujemy dane tylko i wyłącznie dla poprawienia czytelności w świecie człowieka – dla komputera to totalnie bez znaczenia.
Co tu ma do roboty komputer?
Algorytm Geparda:
Niech będzie dana tabela TWJG.
Na wejście programu komputerowego podawane są losowo dowolne funkcje logiczne (sztuk 8) z tej tabeli, a zadaniem komputera jest jednoznaczne wyplucie operatora logicznego (jednego z 4) do którego wylosowana funkcja logiczna należy.
Jednoznaczne oznacza tu, że nie może zajść przypadek, gdzie wylosowana funkcja logiczna x należałaby do więcej niż jednego operatora logicznego.
Przykład działania algorytmu Geparda:
Załóżmy że Generator liczb losowych wylosował funkcję logiczną:
B2: ~Y=p
Zadaniem komputera jest dwustronne zanegowanie tej funkcji, co jednoznacznie rozstrzyga do jakiego operatora logicznego należy wylosowana funkcja:
B2: ~Y=p # A2: Y=~p
Zauważmy, że ani funkcji ~Y=p, ani też Y=~p nie ma w jakiejkolwiek innej linii w poza liniami B2 i A2.
Zatem rozstrzygnięcie o przynależności do konkretnego operatora mamy jednoznaczne!
Podsumowując:
Warunkiem koniecznym i wystarczającym rozstrzygającym o jednoznaczności algebry Kubusia jest rozpoznawanie przez nią funkcji logicznej w logice dodatniej (bo Y) oraz ujemnej (bo ~Y).
Wniosek:
Miejsce ziemskiej algebry Boole’a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest w piekle na wiecznych piekielnych mękach!
Dowód iż ziemska algebra Boole’a nie zna pojęcia logika dodatnia (bo Y) i ujemna (bo ~Y).
[link widoczny dla zalogowanych]
| Moderator matematyki.pl Dasio11 napisał: | | 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. |
cnd
Ostatnio zmieniony przez rafal3006 dnia Wto 0:14, 21 Lis 2023, 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 8:46, 21 Lis 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: |
Znowu uciekasz od tematu. |
Twój temat Irbisolu to żądanie ode mnie potwierdzenia twojej świętej prawdy |
Od tygodni trąbię czym jest ten temat - a ty do tej pory nie masz pojęcia, czym jest.
Kwestia braku kontaktu z tobą nadal jest aktualna.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 9:16, 21 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
Znowu uciekasz od tematu. |
Twój temat Irbisolu to żądanie ode mnie potwierdzenia twojej świętej prawdy |
Od tygodni trąbię czym jest ten temat - a ty do tej pory nie masz pojęcia, czym jest.
Kwestia braku kontaktu z tobą nadal jest aktualna. |
Twoje trąbienie mi lata.
Tematem numer jeden w naszej bieżącej dyskusji jest, abyś usunął czysto matematyczny błąd fatalny ze swojej sraczki, która była najpierwsza, co akurat jest totalnie bez znaczenia.
Innymi słowy:
Najpierw usuwasz swój błąd fatalny, po czym wznawiamy dyskusję dokładnie od momentu usunięcia przez ciebie błędu.
Inaczej nigdy nie zrozumiesz prawdziwości prawa Grzechotnika!
Dotrze to kiedykolwiek do ciebie, czy nigdy - jak wszyscy widzą gadam ze słupem.
Tu masz czarno na białym, gdzie w swojej sraczce popełniłeś błąd fatalny:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4125.html#764095
| rafal3006 napisał: | Irbisolu, twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Dowód w końcówce niniejszego postu.
| Irbisol napisał: | | Dyskusja o obalaniu Prawa Grzechotnika została rozpoczęta dużo wcześniej. |
Dyskusję o obaleniu prawa Grzechotnika rozpocząłeś ty, swoją słynna sraczką, o której za chwilkę.
Irbisolu,
Dyskutujemy cały czas o moim dowodzie prawa Grzechotnika zawartym w tym moim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749469
| rafal3006 napisał: | Dowód prawa Grzechotnika na poziomie 5-cio latka!
Kluczowy fragment postu:
...
Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:
| Kod: |
T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznej
|
Definicja znaczka #:
Dowolna strona znaczka # 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
W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
|
Dyskusję o prawie Grzechotnika rozpocząłeś ty swoją słynną sraczką zamieszczoną bezpośrednio pod moim postem wyżej, zawierającą błąd fatalny, co dyskwalifikuje cię z dalszej dyskusji.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749475
| Irbisol napisał: | Czyli - pokrótce - napisałeś coś takiego (biorę jedną przekątną dla uproszczenia):
A1: Y = K
B2: ~Y = K
A1 # B2
Po czym usunąłeś lewe strony. Jakim prawem? |
W tym wejściu zacząłeś manipulować dowodząc, iż totalnie nie rozumiesz tekstu na poziomie 5-cio letniego dziecka, mojego postu wejściowego wyżej.
Dopóki nie nauczysz się odróżniać znaczka # od znaczka ## dyskusja między nami nie ma najmniejszego sensu.
Dlaczego nie ma najmniejszego sensu?
Tu jest identycznie jak w matematyce, gdzie aby obalić dowolne twierdzenie wystarczy pokazać jeden kontrprzykład i twierdzenie ląduje w koszu - w twoim przypadku kontrprzykład to pokazanie, iż nie rozumiesz różnicy między znaczkiem # a znaczkiem ##, czego twardym dowodem jest twoja sraczka wyżej.
Jak już się nauczysz odróżniać dwa fundamentalnie różne znaczki # i ## to zrozumiesz, że prawo Grzechotnika jest matematycznie prawdziwe, z czego wynika, że jakiekolwiek próby jego obalenia to walka z wiatrakami.
Co jest moim celem?
Moim celem jest Irbisolu, byś przeczytał mój post wejściowy ze zrozumieniem, wtedy sam dojdziesz do wniosku, że twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Każdy widzi, że mój post wejściowy to seria zdań pań przedszkolanek z dwóch różnych przedszkoli A1 i A2, które to zdania doskonale rozumie każdy 5-cio latek ... z wyjątkiem ciebie Irbisolu?
Jeśli rzeczywiście nie rozumiesz zdań z przedszkoli A1 i A2 to oznacza, że gówno zwane KRZ poczyniło w twoim mózgu tak straszliwe spustoszenie, że nie ma już dla ciebie ratunku. |
Ostatnio zmieniony przez rafal3006 dnia Wto 9:19, 21 Lis 2023, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 88 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 9:47, 21 Lis 2023 Temat postu: |
|
|
| rafal3006 napisał: | | jak wszyscy widzą gadam ze słupem |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 10:09, 21 Lis 2023 Temat postu: |
|
|
|
Czyli oficjalnie przyznajesz, że od tematu uciekasz?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 10:49, 21 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | | Czyli oficjalnie przyznajesz, że od tematu uciekasz? |
Jest dokładnie odwrotnie, to ty przyznajesz PUBLICZNIE iż masz a dupie moje żądanie usunięcia twojego matematycznego błędu fatalnego w twojej sraczce.
Nie zamierzam z tobą dyskutować dopóki nie usuniesz tego błędu!
Czekam kiedy zrozumiesz zdanie wyżej.
Wyjaśnienie o co chodzi masz w moim poście wyżej.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 10:50, 21 Lis 2023 Temat postu: |
|
|
Nie to że mam w dupie - po prostu obowiązuje kolejność.
I tej kolejności nie zmienisz.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 12:14, 21 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | Nie to że mam w dupie - po prostu obowiązuje kolejność.
I tej kolejności nie zmienisz. |
Usunięcie fatalnego błędu czysto matematycznego z twojej wejściowej sraczki jest poza jakąkolwiek kolejnością.
Tu masz czarno na białym o jaki błąd chodzi:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4125.html#764095
Trzeba być matematycznym matołem by nie rozumieć, że jak ktokolwiek zauważy błąd czysto matematyczny w dowodzeniu dowolnego prawa logiki matematycznej, to psim obowiązkiem autora dowodu jest natychmiastowe skorygowanie tego błędu.
Wszystko inne w takim dowodzie od chwili zauważenia błędu czysto matematycznego ma wartość ZEROWĄ!
P.S.
Wszyscy widzą, że nie jesteś matematykiem - nawet początkującym!
Ostatnio zmieniony przez rafal3006 dnia Wto 12:15, 21 Lis 2023, 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 12:27, 21 Lis 2023 Temat postu: |
|
|
|
Nie będziesz zmieniał kolejności. Nigdy.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 13:35, 21 Lis 2023 Temat postu: |
|
|
Czyli oficjalnie uciekasz od tematu, który sam rozpocząłeś.
Standard.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 15:44, 21 Lis 2023 Temat postu: |
|
|
Irbisol = żywy dowód potwornego sprania mózgu przez KRZ!
| Irbisol napisał: | Czyli oficjalnie uciekasz od tematu, który sam rozpocząłeś.
Standard. |
Standardem u ciebie jest, iż dla ciebie znalezienie błędu czysto matematycznego w twoim obalaniu prawa Grzechotnika nic nie znaczy - masz to w dupie!
Podczas gdy w matematyce normalnych znalezienie błędu czysto matematycznego w dowolnym dowodzie, obala tenże dowód.
Wniosek:
Tematem numer jeden w naszej bieżącej dyskusji jest, abyś usunął czysto matematyczny błąd fatalny ze swojej sraczki, która była najpierwsza, co akurat jest totalnie bez znaczenia.
Innymi słowy:
Najpierw usuwasz swój błąd fatalny, po czym wznawiamy dyskusję dokładnie od momentu usunięcia przez ciebie błędu.
Inaczej nigdy nie zrozumiesz prawdziwości prawa Grzechotnika!
Dotrze to kiedykolwiek do ciebie, czy nigdy - jak wszyscy widzą gadam ze słupem.
Tu masz czarno na białym, gdzie w swojej sraczce popełniłeś błąd fatalny:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4125.html#764095
| rafal3006 napisał: | Irbisolu, twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Dowód w końcówce niniejszego postu.
| Irbisol napisał: | | Dyskusja o obalaniu Prawa Grzechotnika została rozpoczęta dużo wcześniej. |
Dyskusję o obaleniu prawa Grzechotnika rozpocząłeś ty, swoją słynna sraczką, o której za chwilkę.
Irbisolu,
Dyskutujemy cały czas o moim dowodzie prawa Grzechotnika zawartym w tym moim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749469
| rafal3006 napisał: | Dowód prawa Grzechotnika na poziomie 5-cio latka!
Kluczowy fragment postu:
...
Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:
| Kod: |
T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznej
|
Definicja znaczka #:
Dowolna strona znaczka # 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
W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
|
Dyskusję o prawie Grzechotnika rozpocząłeś ty swoją słynną sraczką zamieszczoną bezpośrednio pod moim postem wyżej, zawierającą błąd fatalny, co dyskwalifikuje cię z dalszej dyskusji.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749475
| Irbisol napisał: | Czyli - pokrótce - napisałeś coś takiego (biorę jedną przekątną dla uproszczenia):
A1: Y = K
B2: ~Y = K
A1 # B2
Po czym usunąłeś lewe strony. Jakim prawem? |
W tym wejściu zacząłeś manipulować dowodząc, iż totalnie nie rozumiesz tekstu na poziomie 5-cio letniego dziecka, mojego postu wejściowego wyżej.
Dopóki nie nauczysz się odróżniać znaczka # od znaczka ## dyskusja między nami nie ma najmniejszego sensu.
Dlaczego nie ma najmniejszego sensu?
Tu jest identycznie jak w matematyce, gdzie aby obalić dowolne twierdzenie wystarczy pokazać jeden kontrprzykład i twierdzenie ląduje w koszu - w twoim przypadku kontrprzykład to pokazanie, iż nie rozumiesz różnicy między znaczkiem # a znaczkiem ##, czego twardym dowodem jest twoja sraczka wyżej.
Jak już się nauczysz odróżniać dwa fundamentalnie różne znaczki # i ## to zrozumiesz, że prawo Grzechotnika jest matematycznie prawdziwe, z czego wynika, że jakiekolwiek próby jego obalenia to walka z wiatrakami.
Co jest moim celem?
Moim celem jest Irbisolu, byś przeczytał mój post wejściowy ze zrozumieniem, wtedy sam dojdziesz do wniosku, że twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Każdy widzi, że mój post wejściowy to seria zdań pań przedszkolanek z dwóch różnych przedszkoli A1 i A2, które to zdania doskonale rozumie każdy 5-cio latek ... z wyjątkiem ciebie Irbisolu?
Jeśli rzeczywiście nie rozumiesz zdań z przedszkoli A1 i A2 to oznacza, że gówno zwane KRZ poczyniło w twoim mózgu tak straszliwe spustoszenie, że nie ma już dla ciebie ratunku. |
Ostatnio zmieniony przez rafal3006 dnia Wto 15:46, 21 Lis 2023, 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 15:55, 21 Lis 2023 Temat postu: |
|
|
Już ci pisałem, sklerotyku.
Nie mam tego w dupie, tylko obowiązuje kolejność.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 16:23, 21 Lis 2023 Temat postu: |
|
|
Irbisol = żywy dowód potwornego sprania mózgu przez KRZ!
| Irbisol napisał: | Już ci pisałem, sklerotyku.
Nie mam tego w dupie, tylko obowiązuje kolejność. |
Kolejność w matematyce jest taka i tylko taka!
Po pierwsze i najważniejsze usuwasz swój czysto matematyczny błąd w swojej sraczce i dopiero po tym fakcie możemy wznowić dyskusję.
Oczywistym jest, że zaczniemy od twojej sraczki po korekcie przez ciebie oczywistego błędu czysto matematycznego.
O co tu chodzi masz w moim poście wyżej.
Ostatnio zmieniony przez rafal3006 dnia Wto 16:26, 21 Lis 2023, 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 16:49, 21 Lis 2023 Temat postu: |
|
|
Kolejność jest taka że co pierwsze, to jest najpierw.
A nie to, co sobie arbitralnie umyślisz i jeszcze twierdzisz, że to ma cokolwiek wspólnego z matematyką.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 16:57, 21 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | Kolejność jest taka że co pierwsze, to jest najpierw.
A nie to, co sobie arbitralnie umyślisz i jeszcze twierdzisz, że to ma cokolwiek wspólnego z matematyką. |
Najpierwsza była twoja sraczka, co jest totalnie bez znaczenia.
Gdzie ty widzisz cokolwiek arbitralnego w moim dowodzie, iż w twojej sraczce masz potwornie śmierdzący błąd czysto matematyczny?
Sratatata ... znalezienie błędu fatalnego w twojej sraczce nie ma nic wspólnego z matematyką?
Serio?
Jeszcze raz, do skutku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4150.html#764815
| rafal3006 napisał: | Irbisol = żywy dowód potwornego sprania mózgu przez KRZ!
| Irbisol napisał: | Już ci pisałem, sklerotyku.
Nie mam tego w dupie, tylko obowiązuje kolejność. |
Kolejność w matematyce jest taka i tylko taka!
Po pierwsze i najważniejsze usuwasz swój czysto matematyczny błąd w swojej sraczce i dopiero po tym fakcie możemy wznowić dyskusję.
Oczywistym jest, że zaczniemy od twojej sraczki po korekcie przez ciebie oczywistego błędu czysto matematycznego.
O co tu chodzi masz w moim poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4150.html#764807
|
Ostatnio zmieniony przez rafal3006 dnia Wto 17:01, 21 Lis 2023, 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 18:32, 21 Lis 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | Kolejność jest taka że co pierwsze, to jest najpierw.
A nie to, co sobie arbitralnie umyślisz i jeszcze twierdzisz, że to ma cokolwiek wspólnego z matematyką. |
Najpierwsza była twoja sraczka, co jest totalnie bez znaczenia. |
Ale zarzut poczyniłeś najpierw do mojej manipulacji.
| rafal3006 napisał: | | Gdzie ty widzisz cokolwiek arbitralnego w moim dowodzie, iż w twojej sraczce masz potwornie śmierdzący błąd czysto matematyczny? |
Ty faktycznie jesteś zdolny inaczej.
Przecież piszę, że arbitralna jest KOLEJNOŚĆ, którą sobie wymyśliłeś i jeszcze do tego matematykę mieszasz.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 18:39, 21 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Kolejność jest taka że co pierwsze, to jest najpierw.
A nie to, co sobie arbitralnie umyślisz i jeszcze twierdzisz, że to ma cokolwiek wspólnego z matematyką. |
Najpierwsza była twoja sraczka, co jest totalnie bez znaczenia. |
Ale zarzut poczyniłeś najpierw do mojej manipulacji. |
Jest totalnie bez znaczenia kiedy poczyniłem zarzut.
Błąd fatalny w twojej sraczce pokazuję ci tu i teraz, zaś twoim psim obowiązkiem jest ustosunkować się tu i teraz do fatalnego błędu czysto matematycznego jaki zrobiłeś.
Rozumiesz co znaczy zwrot tu i teraz?
Jeszcze raz pokazuję i objaśniam gdzie masz błąd czysto matematyczny w swojej sraczce:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4150.html#764807
| rafal3006 napisał: | Irbisol = żywy dowód potwornego sprania mózgu przez KRZ!
| Irbisol napisał: | Czyli oficjalnie uciekasz od tematu, który sam rozpocząłeś.
Standard. |
Standardem u ciebie jest, iż dla ciebie znalezienie błędu czysto matematycznego w twoim obalaniu prawa Grzechotnika nic nie znaczy - masz to w dupie!
Podczas gdy w matematyce normalnych znalezienie błędu czysto matematycznego w dowolnym dowodzie, obala tenże dowód.
Wniosek:
Tematem numer jeden w naszej bieżącej dyskusji jest, abyś usunął czysto matematyczny błąd fatalny ze swojej sraczki, która była najpierwsza, co akurat jest totalnie bez znaczenia.
Innymi słowy:
Najpierw usuwasz swój błąd fatalny, po czym wznawiamy dyskusję dokładnie od momentu usunięcia przez ciebie błędu.
Inaczej nigdy nie zrozumiesz prawdziwości prawa Grzechotnika!
Dotrze to kiedykolwiek do ciebie, czy nigdy - jak wszyscy widzą gadam ze słupem.
Tu masz czarno na białym, gdzie w swojej sraczce popełniłeś błąd fatalny:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4125.html#764095
| rafal3006 napisał: | Irbisolu, twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Dowód w końcówce niniejszego postu.
| Irbisol napisał: | | Dyskusja o obalaniu Prawa Grzechotnika została rozpoczęta dużo wcześniej. |
Dyskusję o obaleniu prawa Grzechotnika rozpocząłeś ty, swoją słynna sraczką, o której za chwilkę.
Irbisolu,
Dyskutujemy cały czas o moim dowodzie prawa Grzechotnika zawartym w tym moim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749469
| rafal3006 napisał: | Dowód prawa Grzechotnika na poziomie 5-cio latka!
Kluczowy fragment postu:
...
Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:
| Kod: |
T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznej
|
Definicja znaczka #:
Dowolna strona znaczka # 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
W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
|
Dyskusję o prawie Grzechotnika rozpocząłeś ty swoją słynną sraczką zamieszczoną bezpośrednio pod moim postem wyżej, zawierającą błąd fatalny, co dyskwalifikuje cię z dalszej dyskusji.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749475
| Irbisol napisał: | Czyli - pokrótce - napisałeś coś takiego (biorę jedną przekątną dla uproszczenia):
A1: Y = K
B2: ~Y = K
A1 # B2
Po czym usunąłeś lewe strony. Jakim prawem? |
W tym wejściu zacząłeś manipulować dowodząc, iż totalnie nie rozumiesz tekstu na poziomie 5-cio letniego dziecka, mojego postu wejściowego wyżej.
Dopóki nie nauczysz się odróżniać znaczka # od znaczka ## dyskusja między nami nie ma najmniejszego sensu.
Dlaczego nie ma najmniejszego sensu?
Tu jest identycznie jak w matematyce, gdzie aby obalić dowolne twierdzenie wystarczy pokazać jeden kontrprzykład i twierdzenie ląduje w koszu - w twoim przypadku kontrprzykład to pokazanie, iż nie rozumiesz różnicy między znaczkiem # a znaczkiem ##, czego twardym dowodem jest twoja sraczka wyżej.
Jak już się nauczysz odróżniać dwa fundamentalnie różne znaczki # i ## to zrozumiesz, że prawo Grzechotnika jest matematycznie prawdziwe, z czego wynika, że jakiekolwiek próby jego obalenia to walka z wiatrakami.
Co jest moim celem?
Moim celem jest Irbisolu, byś przeczytał mój post wejściowy ze zrozumieniem, wtedy sam dojdziesz do wniosku, że twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Każdy widzi, że mój post wejściowy to seria zdań pań przedszkolanek z dwóch różnych przedszkoli A1 i A2, które to zdania doskonale rozumie każdy 5-cio latek ... z wyjątkiem ciebie Irbisolu?
Jeśli rzeczywiście nie rozumiesz zdań z przedszkoli A1 i A2 to oznacza, że gówno zwane KRZ poczyniło w twoim mózgu tak straszliwe spustoszenie, że nie ma już dla ciebie ratunku. |
|
Ostatnio zmieniony przez rafal3006 dnia Wto 18:43, 21 Lis 2023, 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: 15517
Przeczytał: 26 tematów
|
| Wysłany: Wto 20:49, 21 Lis 2023 Temat postu: |
|
|
|
A niby dlaczego miałoby być bez znaczenia, kiedy poczyniłeś zarzut? Chciałbyś znowu decydować, kiedy ci temat nie pasuje, żeby uciec? Te czasy minęły.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 23:59, 21 Lis 2023 Temat postu: |
|
|
| Irbisol napisał: | | A niby dlaczego miałoby być bez znaczenia, kiedy poczyniłeś zarzut? Chciałbyś znowu decydować, kiedy ci temat nie pasuje, żeby uciec? Te czasy minęły. |
Przykro mi - jesteś Irbisolu matematycznym matołkiem.
Od kiedy to dowód prawdziwości/fałszywości dowolnego twierdzenia matematycznego czy też prawa logiki matematycznej (np. prawa Grzechotnika) zależy od tego co powie jakiś tam człowiek X np. Irbisol czy Rafal3006?
To że nie jesteś matematykiem to wiem, bo znamy się osobiście, co nie zwalnia cię od znajomości podstaw matematyki na poziomie I klasy LO - uczelnia techniczna którą kończyłeś spali się ze wstydu na widok tego, co ty tu wyprawiasz.
Przykładowo, w jaki sposób dowód prawdziwości/fałszywości twierdzenia Pitagorasa zależy od tego co powie jakiś tam człowiek X np. Irbisol czy Rafał3006?
Ja ci udowodniłem fałszywość twojej sraczki poprzez pokazanie w niej błędu czysto matematycznego - ty mi tu jesteś psu na budę potrzebny.
Twoim psim obowiązkiem jest obrona twojej sraczki pokazująca że nie ma w niej żadnego błędu - ja ci tu jestem psu na budę potrzebny!
Zatem jeszcze raz:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4150.html#764807
| rafal3006 napisał: | Irbisol = żywy dowód potwornego sprania mózgu przez KRZ!
| Irbisol napisał: | Czyli oficjalnie uciekasz od tematu, który sam rozpocząłeś.
Standard. |
Standardem u ciebie jest, iż dla ciebie znalezienie błędu czysto matematycznego w twoim obalaniu prawa Grzechotnika nic nie znaczy - masz to w dupie!
Podczas gdy w matematyce normalnych znalezienie błędu czysto matematycznego w dowolnym dowodzie, obala tenże dowód.
Wniosek:
Tematem numer jeden w naszej bieżącej dyskusji jest, abyś usunął czysto matematyczny błąd fatalny ze swojej sraczki, która była najpierwsza, co akurat jest totalnie bez znaczenia.
Innymi słowy:
Najpierw usuwasz swój błąd fatalny, po czym wznawiamy dyskusję dokładnie od momentu usunięcia przez ciebie błędu.
Inaczej nigdy nie zrozumiesz prawdziwości prawa Grzechotnika!
Dotrze to kiedykolwiek do ciebie, czy nigdy - jak wszyscy widzą gadam ze słupem.
Tu masz czarno na białym, gdzie w swojej sraczce popełniłeś błąd fatalny:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4125.html#764095
| rafal3006 napisał: | Irbisolu, twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Dowód w końcówce niniejszego postu.
| Irbisol napisał: | | Dyskusja o obalaniu Prawa Grzechotnika została rozpoczęta dużo wcześniej. |
Dyskusję o obaleniu prawa Grzechotnika rozpocząłeś ty, swoją słynna sraczką, o której za chwilkę.
Irbisolu,
Dyskutujemy cały czas o moim dowodzie prawa Grzechotnika zawartym w tym moim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749469
| rafal3006 napisał: | Dowód prawa Grzechotnika na poziomie 5-cio latka!
Kluczowy fragment postu:
...
Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:
| Kod: |
T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznej
|
Definicja znaczka #:
Dowolna strona znaczka # 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
W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
|
Dyskusję o prawie Grzechotnika rozpocząłeś ty swoją słynną sraczką zamieszczoną bezpośrednio pod moim postem wyżej, zawierającą błąd fatalny, co dyskwalifikuje cię z dalszej dyskusji.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3425.html#749475
| Irbisol napisał: | Czyli - pokrótce - napisałeś coś takiego (biorę jedną przekątną dla uproszczenia):
A1: Y = K
B2: ~Y = K
A1 # B2
Po czym usunąłeś lewe strony. Jakim prawem? |
W tym wejściu zacząłeś manipulować dowodząc, iż totalnie nie rozumiesz tekstu na poziomie 5-cio letniego dziecka, mojego postu wejściowego wyżej.
Dopóki nie nauczysz się odróżniać znaczka # od znaczka ## dyskusja między nami nie ma najmniejszego sensu.
Dlaczego nie ma najmniejszego sensu?
Tu jest identycznie jak w matematyce, gdzie aby obalić dowolne twierdzenie wystarczy pokazać jeden kontrprzykład i twierdzenie ląduje w koszu - w twoim przypadku kontrprzykład to pokazanie, iż nie rozumiesz różnicy między znaczkiem # a znaczkiem ##, czego twardym dowodem jest twoja sraczka wyżej.
Jak już się nauczysz odróżniać dwa fundamentalnie różne znaczki # i ## to zrozumiesz, że prawo Grzechotnika jest matematycznie prawdziwe, z czego wynika, że jakiekolwiek próby jego obalenia to walka z wiatrakami.
Co jest moim celem?
Moim celem jest Irbisolu, byś przeczytał mój post wejściowy ze zrozumieniem, wtedy sam dojdziesz do wniosku, że twoje próby obalenia prawa Grzechotnika to samobójcze rzucanie się z motyką na słońce.
Każdy widzi, że mój post wejściowy to seria zdań pań przedszkolanek z dwóch różnych przedszkoli A1 i A2, które to zdania doskonale rozumie każdy 5-cio latek ... z wyjątkiem ciebie Irbisolu?
Jeśli rzeczywiście nie rozumiesz zdań z przedszkoli A1 i A2 to oznacza, że gówno zwane KRZ poczyniło w twoim mózgu tak straszliwe spustoszenie, że nie ma już dla ciebie ratunku. |
|
Ostatnio zmieniony przez rafal3006 dnia Śro 0:20, 22 Lis 2023, w całości zmieniany 6 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: 35663
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 0:51, 22 Lis 2023 Temat postu: |
|
|
Irbisolu, jesteś słupem do którego nie dociera matematyka na poziomie I klasy LO, ale słupem dla mnie bezcennym, bo dzięki tobie spaceruję sobie po dziewiczych obszarach matematyki, do których bez twojej pomocy bym nie dotarł.
Kolejny dowód, to dopisanie punktu 22.10:
22.10 Komputerowa obsługa operatorów jednoargumentowych
Komputerowy algorytm rozstrzygający z jakim operatorem jednoargumentowym mamy do czynienia jest następujący.
Zacytujmy tabelę prawdy z punktu 1.4.2.
Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TWJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
# - 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 TWJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Co tu ma do roboty komputer?
Na wejściu programu komputerowego podajemy jedną z ośmiu możliwych tu funkcji logicznych w logice dodatniej (bo Y) albo ujemnej (bo ~Y) a komputer ma jednoznacznie wypluć linię (operator logiczny) do której ta funkcja należy.
Wyłącznie w świecie człowieka nadajemy nazwy operatorom logicznym jak niżej, dla komputera te nazwy są bez znaczenia:
1: Operator transmisji A1B1: Y|=p
2: Operator negacji A2B2: Y|=~p
3: Zdanie zawsze prawdziwe A3B3: Y|=1
4: Zdanie zawsze fałszywe A4B4: Y|=0
Zauważmy, że w tabeli TWJ wszystkich możliwych operatorów logicznych jednoargumentowych jest cztery i tylko cztery, natomiast funkcji logicznych w logice dodatniej (bo Y) albo ujemnej (bo ~Y) jest osiem i tylko osiem.
O co chodzi w programie komputerowym rozstrzygającym jednoznacznie, do jakiego operatora należy jedna z ośmiu możliwych tu funkcji logicznych (z tabeli TWJ)?
Na wejście programu komputerowego podajemy jedno z czterech możliwych tu wyrażeń algebry Boole’a {p, ~p, 1, 0} przyporządkowując mu jedną z dwóch możliwych tu funkcji logicznych w logice dodatniej (bo Y), albo w logice ujemnej (bo ~Y).
Zadaniem komputera jest wyplucie linii do której należy konkretna funkcja logiczna.
Zapiszmy wszystkie możliwe funkcje logiczne jednoargumentowe:
| Kod: |
TWJG:
A1: Y= p
B1: ~Y=~p
A2: Y=~p
B2: ~Y= p
A3: Y= 1
B3: ~Y= 0
A4: Y= 0
B4: ~Y= 1
|
W ogólnym przypadku funkcje w tabeli TWJG mogą być zapisane chaotycznie, a nie ładnie uporządkowane jak w tabeli TWJG – matematycznie to bez znaczenia.
Analogia:
W podręcznikowej tabliczce mnożenia do 100 wszystkie działania też mogą być zapisane chaotycznie – matematycznie to bez znaczenia.
W obu tabelach porządkujemy dane tylko i wyłącznie dla poprawienia czytelności w świecie człowieka – dla komputera to totalnie bez znaczenia.
Co tu ma do roboty komputer?
Algorytm Geparda:
Niech będzie dana tabela TWJG.
Na wejście programu komputerowego podawane są losowo dowolne funkcje logiczne (sztuk 8) z tej tabeli, a zadaniem komputera jest jednoznaczne wyplucie operatora logicznego (jednego z 4) do którego wylosowana funkcja logiczna należy.
Jednoznaczne oznacza tu, że nie może zajść przypadek, gdzie wylosowana funkcja logiczna x należałaby do więcej niż jednego operatora logicznego.
Przykład działania algorytmu Geparda:
Załóżmy że Generator liczb losowych wylosował funkcję logiczną:
B2: ~Y=p
Zadaniem komputera jest dwustronne zanegowanie tej funkcji, co jednoznacznie rozstrzyga do jakiego operatora logicznego należy wylosowana funkcja:
B2: ~Y=p # A2: Y=~p
Zauważmy, że ani funkcji ~Y=p, ani też Y=~p nie ma w jakiejkolwiek innej linii w poza linią A2B2.
Zatem rozstrzygnięcie o przynależności do konkretnego operatora mamy jednoznaczne!
Podsumowując:
Warunkiem koniecznym i wystarczającym rozstrzygającym o jednoznaczności algebry Kubusia jest rozpoznawanie przez nią funkcji logicznej w logice dodatniej (bo Y) oraz ujemnej (bo ~Y).
Wniosek:
Miejsce ziemskiej algebry Boole’a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest w piekle na wiecznych piekielnych mękach.
Ostatnio zmieniony przez rafal3006 dnia Śro 0:55, 22 Lis 2023, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
