Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 237, 238, 239 ... 369, 370, 371  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Czw 17:25, 14 Mar 2024    Temat postu:

Podaj rozwiązania na podstawie czego ci się podoba
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 19:27, 14 Mar 2024    Temat postu:

Matematyczna tragedia współczesnej logiki matematycznej

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

Matematyczna tragedia współczesnej logiki matematycznej to błąd czysto matematyczny w rozwiązaniu prawa Małpki

Na czym ten błąd polega?

W poprawnej logice matematycznej dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y) związane ze sobą spójnikiem „albo”($)

1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

Tymczasem:
Współczesna logika w rozwiązaniu prawa Małpki w podręczniku akademickim prof. L. Newelskiego widzi tylko jedno rozwiązanie (pkt. 25.2.2):
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)

Oczywistym jest że zapis:
Y [=] ~Y :shock:
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej.

Rozwiązanie prawa Małpki dla przykładu z podręcznika akademickiego to punkt 25.2.1:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#776185
rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
25.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej.


Spis treści
25.2 Algorytm Małpki z podręcznika akademickiego matematyki 1
25.2.1 Rozwiązanie prawa Małpki dla funkcji z podręcznika akademickiego 4
25.2.2 Dowód błędu fatalnego popełnionego przez prof. L. Newelskiego 5


25.2 Algorytm Małpki z podręcznika akademickiego matematyki

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

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

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 funkcji logicznej z podręcznika akademickiego (uwaga 2.7):
[link widoczny dla zalogowanych]
Cytat:
https://www.math.uni.wroc.pl/~newelski/dydaktyka/wdm-A/skrypt3/skrypt/node3.html

A1.
Dana jest startowa funkcja logiczna w spójnikach „i”(*) i „lub”(+):
Y = ~p*~q*r + ~p*q*~r + p*~q*r

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 (pkt 25.0):

Krok 1
Nasza startowa funkcja alternatywno-koniunkcyjna to:
Y = ~p*~q*r + ~p*q*~r + p*~q*r
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> ~p=1 i ~q=1 i r=1 lub ~p=1 i q=1 i ~r=1 lub p=1 i ~q=1 i r=1

Stąd w punktach B7, C7 i F7 w pełnej tabeli zero-jedynkowej stawiamy jedynki
Kod:

T1
   p  q  r ~p ~q ~r Y=? ~Y=?
A: 0  0  0  1  1  1
B: 0  0  1  1  1  0  1
C: 0  1  0  1  0  1  1
D: 0  1  1  1  0  0 
E: 1  0  0  0  1  1
F: 1  0  1  0  1  0  1
G: 1  1  0  0  0  1
H: 1  1  1  0  0  0
   1  2  3  4  5  6  7    8

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  r ~p ~q ~r Y=? ~Y=?
A: 0  0  0  1  1  1  0    1
B: 0  0  1  1  1  0  1    0
C: 0  1  0  1  0  1  1    0
D: 0  1  1  1  0  0  0    1
E: 1  0  0  0  1  1  0    1
F: 1  0  1  0  1  0  1    0
G: 1  1  0  0  0  1  0    1
H: 1  1  1  0  0  0  0    1
   1  2  3  4  5  6  7    8


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”(*)

Stąd po wykonaniu kroku 2 i 3 otrzymujemy tabelę symboliczną:
Kod:

T23
                              | I.             | II.
                              | Logika jedynek | Logika zer
   p  q  r ~p ~q ~r Y=? ~Y=?  |                |
A: 0  0  0  1  1  1  0    1   | ~Ya=~p*~q*~r   |  Ya= p+ q+ r
B: 0  0  1  1  1  0  1    0   |  Yb=~p*~q* r   | ~Yb= p+ q+~r
C: 0  1  0  1  0  1  1    0   |  Yc=~p* q*~r   | ~Yc= p+~q+ r
D: 0  1  1  1  0  0  0    1   | ~Yd=~p* q* r   |  Yd= p+~q+~r
E: 1  0  0  0  1  1  0    1   | ~Ye= p*~q*~r   |  Ye=~p+ q+ r
F: 1  0  1  0  1  0  1    0   |  Yf= p*~q* r   | ~Yf=~p+ q+~r
G: 1  1  0  0  0  1  0    1   | ~Yg= p* q*~r   |  Yg=~p+~q+ r
H: 1  1  1  0  0  0  0    1   | ~Yh= p* q* r   |  Yh=~p+~q+~r
   1  2  3  4  5  6  7    8   |  a   b  c  d   |  e   f  g  h

I.
Układ równań logicznych Y i ~Y w logice jedynek (ABCDEFGHabcd) :

1.
Y = Yb+Yc+Yf
Po rozwinięciu mamy:
Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
#
2.
~Y = ~Ya+~Yd+~Ye+~Yg+~Yh
Po rozwinięciu mamy:
~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony

II.
Układ równań logicznych Y i ~Y w logice zer (ABCDEFGHefgh) :

3.
Y = Ya*Yd*Ye*Yg*Yh
Po rozwinięciu mamy:
Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)
4.
~Y=~Yb*~Yc*~Yf
Po rozwinięciu mamy:
~Y = B: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

25.2.1 Rozwiązanie prawa Małpki dla funkcji z podręcznika akademickiego

Matematycznie zachodzą tożsamości logiczne:
1: Y = 3: Y
oraz:
2: ~Y = 4: ~Y
Dowód:
Powyższy układ równań Y i ~Y opisuje tą samą tabelę zero-jedynkową ABCDEFGHabcdefgh

Stąd:
Dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania prawa Małpki Y=Y oraz ~Y=~Y związane ze sobą spójnikiem ”albo”($)

Rozwiązanie:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

„albo”($)

2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
Gdzie:
$ - spójnik „albo”($)
[=] - znaczek tożsamości logicznej

Doskonale widać, że końcowym rozwiązaniem prawa Małpki dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
są dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y):
1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

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

25.2.2 Dowód błędu fatalnego popełnionego przez prof. L. Newelskiego

prof. L. Newelski (podobnie jak pozostali ziemscy matematycy) nie zna pojęcia funkcji logicznej w logice ujemnej (bo ~Y), stąd wychodzi mu czysto matematyczny fałsz, jakoby zachodziła tożsamość matematyczna:
1: Y = 4: ~Y
Czyli:
Postać tożsama dla funkcji alternatywno-koniunkcyjnej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
to funkcja koniunkcyjno-alternatywna:
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Oczywiście jak wywalimy w kosmos funkcje logiczne Y i ~Y to będzie zachodziła tożsamość:
1: A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
4: A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
.. ale to jest błąd czysto matematyczny, czyli wewnętrzna sprzeczność ziemskiej logiki matematycznej na poziomie funkcji logicznych!


Ostatnio zmieniony przez rafal3006 dnia Pią 11:39, 15 Mar 2024, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 23:58, 14 Mar 2024    Temat postu:

Matematyczna tragedia współczesnej logiki matematycznej

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

Matematyczna tragedia współczesnej logiki matematycznej to błąd czysto matematyczny w rozwiązaniu prawa Małpki

Na czym ten błąd polega?

W poprawnej logice matematycznej dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y) związane ze sobą spójnikiem „albo”($)

1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

Tymczasem:
Współczesna logika w rozwiązaniu prawa Małpki w podręczniku akademickim prof. L. Newelskiego widzi tylko jedno rozwiązanie (pkt. 25.2.2):
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)

Oczywistym jest że zapis:
1: Y [=] 4: ~Y :shock:
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej.

Rozwiązanie prawa Małpki dla przykładu z podręcznika akademickiego to punkt 25.2.1:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#776185
rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
25.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej.


Spis treści
25.2 Algorytm Małpki z podręcznika akademickiego matematyki 1
25.2.1 Rozwiązanie prawa Małpki dla funkcji z podręcznika akademickiego 4
25.2.2 Dowód błędu fatalnego popełnionego przez prof. L. Newelskiego 5


25.2 Algorytm Małpki z podręcznika akademickiego matematyki

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

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

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 funkcji logicznej z podręcznika akademickiego (uwaga 2.7):
[link widoczny dla zalogowanych]
Cytat:
https://www.math.uni.wroc.pl/~newelski/dydaktyka/wdm-A/skrypt3/skrypt/node3.html

A1.
Dana jest startowa funkcja logiczna w spójnikach „i”(*) i „lub”(+):
Y = ~p*~q*r + ~p*q*~r + p*~q*r

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 (pkt 25.0):

Krok 1
Nasza startowa funkcja alternatywno-koniunkcyjna to:
Y = ~p*~q*r + ~p*q*~r + p*~q*r
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> ~p=1 i ~q=1 i r=1 lub ~p=1 i q=1 i ~r=1 lub p=1 i ~q=1 i r=1

Stąd w punktach B7, C7 i F7 w pełnej tabeli zero-jedynkowej stawiamy jedynki
Kod:

T1
   p  q  r ~p ~q ~r Y=? ~Y=?
A: 0  0  0  1  1  1
B: 0  0  1  1  1  0  1
C: 0  1  0  1  0  1  1
D: 0  1  1  1  0  0 
E: 1  0  0  0  1  1
F: 1  0  1  0  1  0  1
G: 1  1  0  0  0  1
H: 1  1  1  0  0  0
   1  2  3  4  5  6  7    8

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  r ~p ~q ~r Y=? ~Y=?
A: 0  0  0  1  1  1  0    1
B: 0  0  1  1  1  0  1    0
C: 0  1  0  1  0  1  1    0
D: 0  1  1  1  0  0  0    1
E: 1  0  0  0  1  1  0    1
F: 1  0  1  0  1  0  1    0
G: 1  1  0  0  0  1  0    1
H: 1  1  1  0  0  0  0    1
   1  2  3  4  5  6  7    8


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”(*)

Stąd po wykonaniu kroku 2 i 3 otrzymujemy tabelę symboliczną:
Kod:

T23
                              | I.             | II.
                              | Logika jedynek | Logika zer
   p  q  r ~p ~q ~r Y=? ~Y=?  |                |
A: 0  0  0  1  1  1  0    1   | ~Ya=~p*~q*~r   |  Ya= p+ q+ r
B: 0  0  1  1  1  0  1    0   |  Yb=~p*~q* r   | ~Yb= p+ q+~r
C: 0  1  0  1  0  1  1    0   |  Yc=~p* q*~r   | ~Yc= p+~q+ r
D: 0  1  1  1  0  0  0    1   | ~Yd=~p* q* r   |  Yd= p+~q+~r
E: 1  0  0  0  1  1  0    1   | ~Ye= p*~q*~r   |  Ye=~p+ q+ r
F: 1  0  1  0  1  0  1    0   |  Yf= p*~q* r   | ~Yf=~p+ q+~r
G: 1  1  0  0  0  1  0    1   | ~Yg= p* q*~r   |  Yg=~p+~q+ r
H: 1  1  1  0  0  0  0    1   | ~Yh= p* q* r   |  Yh=~p+~q+~r
   1  2  3  4  5  6  7    8   |  a   b  c  d   |  e   f  g  h

I.
Układ równań logicznych Y i ~Y w logice jedynek (ABCDEFGHabcd) :

1.
Y = Yb+Yc+Yf
Po rozwinięciu mamy:
Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
#
2.
~Y = ~Ya+~Yd+~Ye+~Yg+~Yh
Po rozwinięciu mamy:
~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony

II.
Układ równań logicznych Y i ~Y w logice zer (ABCDEFGHefgh) :

3.
Y = Ya*Yd*Ye*Yg*Yh
Po rozwinięciu mamy:
Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)
4.
~Y=~Yb*~Yc*~Yf
Po rozwinięciu mamy:
~Y = B: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

25.2.1 Rozwiązanie prawa Małpki dla funkcji z podręcznika akademickiego

Matematycznie zachodzą tożsamości logiczne:
1: Y = 3: Y
oraz:
2: ~Y = 4: ~Y
Dowód:
Powyższy układ równań Y i ~Y opisuje tą samą tabelę zero-jedynkową ABCDEFGHabcdefgh

Stąd:
Dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania prawa Małpki Y=Y oraz ~Y=~Y związane ze sobą spójnikiem ”albo”($)

Rozwiązanie:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

„albo”($)

2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
Gdzie:
$ - spójnik „albo”($)
[=] - znaczek tożsamości logicznej

Doskonale widać, że końcowym rozwiązaniem prawa Małpki dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
są dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y):
1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

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

25.2.2 Dowód błędu fatalnego popełnionego przez prof. L. Newelskiego

prof. L. Newelski (podobnie jak pozostali ziemscy matematycy) nie zna pojęcia funkcji logicznej w logice ujemnej (bo ~Y), stąd wychodzi mu czysto matematyczny fałsz, jakoby zachodziła tożsamość matematyczna:
1: Y = 4: ~Y
Czyli:
Postać tożsama dla funkcji alternatywno-koniunkcyjnej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
to funkcja koniunkcyjno-alternatywna:
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Oczywistym jest że zapis:
1: Y [=] 4: ~Y :shock:
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej.

Oczywiście jak wywalimy w kosmos funkcje logiczne Y i ~Y to będzie zachodziła tożsamość:
1: A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
4: A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
.. ale to jest błąd czysto matematyczny, czyli wewnętrzna sprzeczność ziemskiej logiki matematycznej na poziomie funkcji logicznych!


Ostatnio zmieniony przez rafal3006 dnia Pią 11:51, 15 Mar 2024, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 7:00, 15 Mar 2024    Temat postu:

Kwadratura koła dla Irbisola plus błąd fatalny w aktualnej logice matematycznej!

Irbisolu,
W najprostszej możliwej funkcji alternatywno koniunkcyjnej:
1: Y = p*q + ~p*~q
doszedłeś do tożsamej funkcji koniunkcyjno-alternatywnej:
2: Y = (p+~q)*(~p+q)
metodą na piechotę tzn. bez użycia tabeli zero-jedynkowej.

Co więcej, cieszyłeś się jak małe dziecko, iz znalazłeś najprostszy dowód tożsamości powyższych funkcji logicznych
1:Y = 2: Y
Gdzie trzeba po prostu wymnożyć wielomian logiczny 2.

Owszem, wszystko co zrobiłeś było poprawne, ale to co zrobiłeś nie ma przełożenia na dowolną funkcję n-argumentową.
Już dla trzech zmiennych twoje algorytmy leżą i kwiczą błagając o litość, wie o tym każdy ziemski matematyk .. z wyjątkiem Irbisola oczywiście, bo nie jest matematykiem.

Dowód kwiczenia obu twoich algorytmów masz w przykładzie z podręcznika akademickiego którego rozwiązanie jest w moim poście wyżej.

25.2.1 Rozwiązanie prawa Małpki dla funkcji z podręcznika akademickiego

Matematycznie zachodzą tożsamości logiczne:
1: Y = 3: Y
oraz:
2: ~Y = 4: ~Y
Dowód:
Powyższy układ równań Y i ~Y opisuje tą samą tabelę zero-jedynkową ABCDEFGHabcdefgh

Stąd:
Dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania prawa Małpki Y=Y oraz ~Y=~Y związane ze sobą spójnikiem ”albo”($)

Rozwiązanie:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

„albo”($)

2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
Gdzie:
$ - spójnik „albo”($)
[=] - znaczek tożsamości logicznej

Kwadratura koła dla Irbisola:
Udowodnij tożsamość twoich funkcji 1:Y = 3:Y metodą na piechotę tzn. bez środków dopingujących w postaci tabel zero-jedynkowych.

Jak to zrobisz dostaniesz medal Fieldsa - najwyższe wyróżnienie dla najwybitniejszych matematyków.

P.S.
Rozwiązania przykładu z podręcznika akademickiego:
1: Y = 3: Y
oraz:
2: ~Y = 4: ~Y
Powyższe tożsamości "łatwo" udowodnić w rachunku zero-jedykowym, ale to jest metoda dla masochistów bowiem dla 16 zmiennych binarnych robi ci się tabela zero-jedynkowa o 65536 liniach.
Czy wyobrażasz sobie człowieka który bez wspomaganie komputerem zapanuje nad taką tabelą.

O co tu chodzi dla trzech zmiennych binarnych masz w tym linku (punkty 15.2.2 i 15.2.3):
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-beta-10,21473-25.html#670883
rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
15.0 Błąd fatalny w podręczniku akademickim matematyki

Spis treści
15.0 Błąd fatalny w podręczniku akademickim matematyki 1
15.1 Jak udowodnić błędność dowodu prof. L. Newelskiego? 3
15.2 Geneza błędu czysto matematycznego prof. L. Newelskiego w oryginale 4
15.2.1 Poprawny matematycznie dowód prof. L. Newelskiego w oryginale 6
15.2.2 Igraszki masochistów dla funkcji Y 12
15.2.3 Igraszki masochistów dla funkcji ~Y 15


Dowód błędu fatalnego popełnionego przez prof. L. Newelskiego:

prof. L. Newelski (podobnie jak pozostali ziemscy matematycy) nie zna pojęcia funkcji logicznej w logice ujemnej (bo ~Y), stąd wychodzi mu czysto matematyczny fałsz, jakoby zachodziła tożsamość matematyczna:
1: Y = 4: ~Y
Czyli:
Postać tożsama dla funkcji alternatywno-koniunkcyjnej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
to funkcja koniunkcyjno-alternatywna:
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Oczywiście jak wywalimy w kosmos funkcje logiczne Y i ~Y to będzie zachodziła tożsamość:
1: A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
4: A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
.. ale to jest błąd czysto matematyczny, czyli wewnętrzna sprzeczność ziemskiej logiki matematycznej na poziomie funkcji logicznych!


Ostatnio zmieniony przez rafal3006 dnia Pią 9:17, 15 Mar 2024, w całości zmieniany 11 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 10:33, 15 Mar 2024    Temat postu:

Gdzieś w tym zalewie spamu jest odpowiedź na moje pytanie?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 10:53, 15 Mar 2024    Temat postu:

Irbisol napisał:
Gdzieś w tym zalewie spamu jest odpowiedź na moje pytanie?

Jak wszyscy widzą, treść akademickiego podręcznika matematyki napisanego przez prof. Ludomira Newelskiego to dla Irbisola spam.

Irbisolu,
Jeśli nie chcesz czytać ze zrozumieniem tego co prof. L. Newelski mówi o swojej funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
.. i gdzie robi fundamentalny błąd czysto matematyczny, to żegnam, Pa

P.S.
Nie masz żadnych szans na dyskusję ze mną dopóki nie zrozumiesz tego postu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786367

rafal3006 napisał:
Matematyczna tragedia współczesnej logiki matematycznej

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

Matematyczna tragedia współczesnej logiki matematycznej to błąd czysto matematyczny w rozwiązaniu prawa Małpki

Na czym ten błąd polega?

W poprawnej logice matematycznej dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y) związane ze sobą spójnikiem „albo”($)

1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

Tymczasem:
Współczesna logika w rozwiązaniu prawa Małpki w podręczniku akademickim prof. L. Newelskiego widzi tylko jedno rozwiązanie (pkt. 25.2.2):
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)

Oczywistym jest że zapis:
Y [=] ~Y :shock:
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej.


Ostatnio zmieniony przez rafal3006 dnia Pią 11:41, 15 Mar 2024, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 12:16, 15 Mar 2024    Temat postu:

Ja nie chcę dyskutować. Chcę, żebyś odpowiedział na pytanie.
A spam to niekoniecznie jest coś głupiego - to jest coś nie na temat. Np. spamem może być wykład o mechanice kwantowej gdy ludzie zainteresowani są przepisami kulinarnymi.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 12:24, 15 Mar 2024    Temat postu:

Irbisol napisał:
Ja nie chcę dyskutować. Chcę, żebyś odpowiedział na pytanie.
A spam to niekoniecznie jest coś głupiego - to jest coś nie na temat. Np. spamem może być wykład o mechanice kwantowej gdy ludzie zainteresowani są przepisami kulinarnymi.

Irbisolu, nie czas żałować róż gdy płoną lasy.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786349
Irbisol napisał:
Podaj rozwiązania na podstawie czego ci się podoba

Sam tego chciałeś!
Mnie się podoba przedstawić ci o co chodzi w prawie Małpki na podtawie akademickiego podręcznika matematyki prof. Ludomira Newelskiego.

Zrobiłem to w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786367

rafal3006 napisał:
Matematyczna tragedia współczesnej logiki matematycznej

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

Matematyczna tragedia współczesnej logiki matematycznej to błąd czysto matematyczny w rozwiązaniu prawa Małpki

Na czym ten błąd polega?

W poprawnej logice matematycznej dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y) związane ze sobą spójnikiem „albo”($)

1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

Tymczasem:
Współczesna logika w rozwiązaniu prawa Małpki w podręczniku akademickim prof. L. Newelskiego widzi tylko jedno rozwiązanie (pkt. 25.2.2):
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)

Oczywistym jest że zapis:
Y [=] ~Y :shock:
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej.


Teraz twoim obowiązkiem jest odnieść się merytorycznie do mojej odpowiedzi np. udowodnić że ja się mylę, a w rozwiązaniu prof. L. Newelskiego nie ma fatalnego błędu czysto matematycznego.
Nie mam zamiru dyskutować o twoich rojeniach, zejdź na ziemię Irbisolu i podyskutujmy na temat podręcznika akademickiego logiki matematycznej.

Dobry jest, czy jest do dupy?
Ja twierdzę że do dupy, a jakie jest twoje zdanie?


Ostatnio zmieniony przez rafal3006 dnia Pią 12:26, 15 Mar 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 12:26, 15 Mar 2024    Temat postu:

Rozwiązanie na podstawie czego ci się podoba oznacza, że przede wszystkim podajesz rozwiązanie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 12:32, 15 Mar 2024    Temat postu:

Irbisol napisał:
Rozwiązanie na podstawie czego ci się podoba oznacza, że przede wszystkim podajesz rozwiązanie.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786349
Irbisol napisał:
Podaj rozwiązania na podstawie czego ci się podoba

Sam tego chciałeś!
Mnie się podoba przedstawić ci o co chodzi w prawie Małpki na podstawie akademickiego podręcznika matematyki prof. Ludomira Newelskiego.
Rozmawiamy o prawie Małpki, zgadza się?

Dostałeś rozwiązanie prawa Małpki, jedyne poprawne - wszyscy widzą, że aktualnie spierdalasz od tego rozwiązanie i będziesz spierdalał do nieskończoności.
Ot, i cała prawda o tobie, Irbisolu.

Jedyne poprawne rozwiązanie prawa Małpki, a przecież o to ci chodzi, dostałeś w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786367

rafal3006 napisał:
Matematyczna tragedia współczesnej logiki matematycznej

Prawo Małpki (pkt. 1.15.1):
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci koniunkcyjno-alternatywnej i odwrotnie

Matematyczna tragedia współczesnej logiki matematycznej to błąd czysto matematyczny w rozwiązaniu prawa Małpki

Na czym ten błąd polega?

W poprawnej logice matematycznej dla funkcji startowej:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
mamy dwa nietożsame rozwiązania, jedno w logice dodatniej (bo Y) oraz drugie w logice ujemnej (bo ~Y) związane ze sobą spójnikiem „albo”($)

1: Y (alternatywa koniunkcji [=] 3: Y (koniunkcja alternatyw)
„albo”($)
2: ~Y (alternatywa koniunkcji) = 4: ~Y (koniunkcja alternatyw)

Tymczasem:
Współczesna logika w rozwiązaniu prawa Małpki w podręczniku akademickim prof. L. Newelskiego widzi tylko jedno rozwiązanie (pkt. 25.2.2):
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)

Oczywistym jest że zapis:
Y [=] ~Y :shock:
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej.


Ostatnio zmieniony przez rafal3006 dnia Pią 12:35, 15 Mar 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 12:36, 15 Mar 2024    Temat postu:

rafal3006 napisał:

Irbisol napisał:
Podaj rozwiązania na podstawie czego ci się podoba

Sam tego chciałeś!
Mnie się podoba przedstawić ci o co chodzi w prawie Małpki

Pytałem o rozwiązania zawarte w moim pytaniu. A nie o co chodzi w małpie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 12:49, 15 Mar 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:

Irbisol napisał:
Podaj rozwiązania na podstawie czego ci się podoba

Sam tego chciałeś!
Mnie się podoba przedstawić ci o co chodzi w prawie Małpki

Pytałem o rozwiązania zawarte w moim pytaniu. A nie o co chodzi w małpie.

O co ci chodzi?
O twoje gówno zwane funkcją tożsamościową które według ciebie jest różne nna mocy defincji ## od tożsamości logicznej dowolnych pojęć?

Prawo Irbisa:
Dwa pojęcia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q i odwrotnie
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q

Chcesz obalać swoje własne prawo?
bo nic innego w logice matematycznej NIE MA!

Ciekawe kiedy przyznasz, że twoja definicja funkcji tożsamościowej twoją łapką zapisana:
Y = f(x)=x
to tylko twoja zabawa w Urbana, co udowadniałem ci wielokrotnie.
Po prostu zacytowałeś jedną linikę z algery Kubusia i piana z ust ci leci że to jest twoja funkcja tożsamościowa.
Gówno twoja!
To jest mój zapis którego totalnie nie rozumiesz, wyjaśniałem ci to już n razy - nie będę tego robił po raz n+1

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786047
rafal3006 napisał:
Definicja funkcji tożsamościowej według płaskoziemcy Irbisola!

... ale jaja! :shock: :shock: :shock: :shock: :shock: :shock:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
Irbisol napisał:
rafal3006 napisał:
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?

Irbisol napisał:
Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej.

Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej.

Funkcja tożsamościowa:
Y = f(x) = x


Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej.

Irbisolu,
Po pierwsze wyjaśnij wszystkim skąd wziąłeś ten zapis:
Y = f(x) = x
Podaj cytat gdzie ja tak napisałem, jełopie!
Robisz za Urbana jełopie - wiesz kim był Urban?
Za chwilę wszscy zobaczą kolejną odsłonę tańca chochoła "sam sobie znajdź w gównie które zapisałeś"
Płaskoziemca jest w 100% przewidywalny.

Irbisolu, przypomne ci co ty o mnie dawno temu wypisywałeś bo to rykoszetem pasuje do ciebie jak ulał.

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

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

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1150.html#418651
Irbisol napisał:
Debil by zrozumiał, dlatego nie nazywam cię debilem, żeby debili nie obrażać.

http://www.sfinia.fora.pl/forum-kubusia,12/dowod-debila-oparty-na-dwoch-sprzecznych-zalozeniach,14695.html#484965
Irbisol napisał:
Znajdźcie mi takiego drugiego debila.
Płaskoziemcy to profesorzy przy nim.

Kto mieczem wojuje, od miecza ginie.


Ostatnio zmieniony przez rafal3006 dnia Pią 12:56, 15 Mar 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 13:11, 15 Mar 2024    Temat postu:

Szósty raz pytasz, jakie było pytanie.
Wydrukuj je sobie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 13:42, 15 Mar 2024    Temat postu:

Irbisol napisał:
Szósty raz pytasz, jakie było pytanie.
Wydrukuj je sobie.

Tonący brztwy się chwyta.

Zauważ Irbisolu, że twoje gówno zwane funkcją tożsamościową jest różne nna mocy defincji ## od tożsamości logicznej dowolnych pojęć!

Tymczasem masz swoje własne prawo irbisa.
Prawo Irbisa:
Dwa pojęcia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q i odwrotnie
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q

Chcesz obalać swoje własne prawo?
bo nic innego w logice matematycznej NIE MA!

Ciekawe kiedy przyznasz, że twoja definicja funkcji tożsamościowej twoją łapką zapisana:
Y = f(x)=x
to tylko twoja zabawa w Urbana, co udowadniałem ci wielokrotnie.
Po prostu zacytowałeś jedną linikę z algery Kubusia i piana z ust ci leci że to jest twoja funkcja tożsamościowa.
Gówno twoja!
To jest mój zapis którego totalnie nie rozumiesz, wyjaśniałem ci to już n razy - nie będę tego robił po raz n+1

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786047
rafal3006 napisał:
Definicja funkcji tożsamościowej według płaskoziemcy Irbisola!

... ale jaja! :shock: :shock: :shock: :shock: :shock: :shock:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
Irbisol napisał:
rafal3006 napisał:
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?

Irbisol napisał:
Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej.

Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej.

Funkcja tożsamościowa:
Y = f(x) = x


Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej.

Irbisolu,
Po pierwsze wyjaśnij wszystkim skąd wziąłeś ten zapis:
Y = f(x) = x
Podaj cytat gdzie ja tak napisałem, jełopie!
Robisz za Urbana jełopie - wiesz kim był Urban?
Za chwilę wszscy zobaczą kolejną odsłonę tańca chochoła "sam sobie znajdź w gównie które zapisałeś"
Płaskoziemca jest w 100% przewidywalny.

Irbisolu, przypomne ci co ty o mnie dawno temu wypisywałeś bo to rykoszetem pasuje do ciebie jak ulał.

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

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

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1150.html#418651
Irbisol napisał:
Debil by zrozumiał, dlatego nie nazywam cię debilem, żeby debili nie obrażać.

http://www.sfinia.fora.pl/forum-kubusia,12/dowod-debila-oparty-na-dwoch-sprzecznych-zalozeniach,14695.html#484965
Irbisol napisał:
Znajdźcie mi takiego drugiego debila.
Płaskoziemcy to profesorzy przy nim.

Kto mieczem wojuje, od miecza ginie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 14:04, 15 Mar 2024    Temat postu:

Co ty w ogóle pierdolisz?
Zadałem ci pytanie. Jesteś w stanie odpowiedzieć czy nie?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 14:16, 15 Mar 2024    Temat postu:

Irbisol napisał:
Co ty w ogóle pierdolisz?
Zadałem ci pytanie. Jesteś w stanie odpowiedzieć czy nie?


Zadałeś pytanie jak w ostatnim zdaniu w cytacie niżej.
Odpowiedź na twoje pytanie masz w moim poście wyżej.
Twoja definicja funkcji tożsamościowej to jedno, wielkie, potwornie śmierdzące gówno.

Irbisol napisał:
rafal3006 napisał:
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?

Irbisol napisał:
Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej.

Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej.

Funkcja tożsamościowa:
Y = f(x) = x


Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej.


Ostatnio zmieniony przez rafal3006 dnia Pią 14:20, 15 Mar 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 14:19, 15 Mar 2024    Temat postu:

Nie widzę tam 2 rozwiązań, o które zapytałem
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 14:26, 15 Mar 2024    Temat postu:

Irbisol napisał:
Nie widzę tam 2 rozwiązań, o które zapytałem

Najpierw wyjasnij wszystkim co oznacza twoja definicja funkcji tożsamościowej jak niżej?

Definicja funkcji tożsamościowej Irbisola:
Y=f(x)=x
Wyjaśnij mi co wedle ciebie oznacza zapis wyżej!

Leżymy, kwiczymy i błagamy o litość - tyle zostanie z twojego wyjaśnienia.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 14:29, 15 Mar 2024    Temat postu:

Po co mi piszesz, że leżycie, kwiczycie i błagajcie o litość?
W wikipedii masz napisane, co oznacza.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 15:12, 15 Mar 2024    Temat postu:

Czy kto ma nadzieję, że Irbisol rozumie co sam zapisał?

Irbisol napisał:
Po co mi piszesz, że leżycie, kwiczycie i błagajcie o litość?
W wikipedii masz napisane, co oznacza.

Mnie interesuje co oznacza dokładnie twój zapis definicji funkcji tożsamościowej, a nie Wikipedia.
Zapisałeś definicję to się z niej tłumacz.

Definicja funkcji tożsamościowej Irbisola:
Y=f(x)=x

Wyjaśnij mi co wedle ciebie oznacza zapis wyżej!

Masz napisać co znaczą wszystkie znaczki użyte w twojej definicji:
1: co to jest x
2: co to jest f(x)
3: co to jest Y
?!


Ostatnio zmieniony przez rafal3006 dnia Pią 15:15, 15 Mar 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 15:34, 15 Mar 2024    Temat postu:

f(x) to funkcja przyjmująca jako argument zmienną binarną
Y - to samo
x - wynik działania funkcji, w tym przypadku identyczny z argumentem
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 16:09, 15 Mar 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786519
rafal3006 napisał:
Czy kto ma nadzieję, że Irbisol rozumie co sam zapisał?

Irbisol napisał:
Po co mi piszesz, że leżycie, kwiczycie i błagajcie o litość?
W wikipedii masz napisane, co oznacza.

Mnie interesuje co oznacza dokładnie twój zapis definicji funkcji tożsamościowej, a nie Wikipedia.
Zapisałeś definicję to się z niej tłumacz.

Definicja funkcji tożsamościowej Irbisola:
Y=f(x)=x

Wyjaśnij mi co wedle ciebie oznacza zapis wyżej!

Masz napisać co znaczą wszystkie znaczki użyte w twojej definicji:
- co to jest x
- co to jest f(x)
- co to jest Y
?!


Irbisol napisał:

1: f(x) to funkcja przyjmująca jako argument zmienną binarną
2: Y - to samo
3: x - wynik działania funkcji, w tym przypadku identyczny z argumentem

Podaj przykład jak to działa w naszym Wszechświecie.
Ad.1
Jaką zmienną binarną przyjmuje funkcja f(x) i co jest za funkcja
Innymi słowy:
Funkacja f(x) musi być zdefiniowana, czy jest to jakieś fiubździu - nie wiadomo co?!


Ostatnio zmieniony przez rafal3006 dnia Pią 16:15, 15 Mar 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 16:23, 15 Mar 2024    Temat postu:

Funkcja jest to odwzorowanie elementów jakiegoś zbioru w elementy jakiegoś (innego lub tego samego) zbioru.
Zmienna binarna jest dowolna.

Ty naprawdę wykładasz się na najprostszym przykładzie?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 17:22, 15 Mar 2024    Temat postu:

Irbisol napisał:
Funkcja jest to odwzorowanie elementów jakiegoś zbioru w elementy jakiegoś (innego lub tego samego) zbioru.
Zmienna binarna jest dowolna.

Ty naprawdę wykładasz się na najprostszym przykładzie?


Twoja definicja funkcji tożsamościowej:
Y=f(x)=x

Nie chce mi się szukać, ale pamiętam że pisałeś coś takiego:
1.
x=p*q+~p*~q
Stąd mamy:
Y = f(p*q+~p*~q) = (p*q+~p*~q)
Co to jest za funkcja?


Ostatnio zmieniony przez rafal3006 dnia Pią 17:28, 15 Mar 2024, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów


PostWysłany: Pią 17:30, 15 Mar 2024    Temat postu:

I co z tego, że kiedyś to pisałem?
Teraz x to zmienna binarna.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 237, 238, 239 ... 369, 370, 371  Następny
Strona 238 z 371

 
Skocz do:  
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
Regulamin