 |
Ś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: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Nie 13:37, 10 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785013
| Irbisol napisał: | | rafal3006 napisał: | Moja odpowiedź:
f(x) - dowolnie skomplikowane wyrażenie algebry Boole'a n-zmiennych binarnych |
Ja tu widzę jedną zmienną binarną, a mianowicie: x |
f(x) oznacza tu wyrażenie algebry Boole'a o nieznanej ilości zmiennych binarnych
x=nieznana ilość zmiennych binarnych
Przykłady:
f(p) =p - wyrażenie algebry Boole'a z jedną zmienną binarną p
f(p,q)=p*q+~p*~q - wyrażnie algebry Boole'a z dwoma zmiennymi binarnymi p i q
f(p,q,r) = p*q*r + ~p*r + p*r - wyrażenie algebry Boole'a z trzema zmiennymi binarnymi p,q,r
etc
Nie znasz elementarza logiki matematycznej:
Y = f(x) =x
Pod x możesz sobie podstawić dowolne wyrażenie algebry Boole'a:
x=p*q+~p*~q
co generuje ci konkretne, znane już wyrażenie algebry Boole'a dwóch zmiennych binarnych:
f(p,q) = p*q + ~p*~q
Stąd na mocy definicji funkcji logicznej Y masz:
Y = f(p,q) = p*q+~p*~q
Zapis tożsamy:
Y = p*q + ~p*~q - funkcja alternatywno-koniunkcyjna dla potrzeb prawa Małpki
Analogia do matematyki klasycznej:
1: Y = x-2
Polecenie: Wyznacz miejsca zerowe funkcji Y
##
2: Y = x^2 - 4
Polecenie: wyznacz miejsca zerowe funkcji Y
Gdzie:
## - różne na mocy definicji
Zauważ, że ten sam symbol Y w zapisach 1 i 2 znaczy coś fundamentanie innego - i nie ma tu żadnego błędu podstawienia bo symbol Y jest definowany prawymi stronami zapisów
Podsumowujac:
Zgadzasz się z analogią do matematyki klasycznej, gdzie ten sam symbol Y znaczy w 1 i 2 coś FUNDAMENTALNIE innego!
TAK/NIE
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 15:51, 10 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785045
Czy Irbisol poda swoją definicję dwóch, tożsamych funkcji logicznych?
Moja wyrocznia:
Nigdy nie poda - zaraz sobie znajdzie wymówkę "odpowiedz na moje pytanie", którego treść jest wyłacznie w jego mózgu.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Moja odpowiedź:
f(x) - dowolnie skomplikowane wyrażenie algebry Boole'a n-zmiennych binarnych |
Ja tu widzę jedną zmienną binarną, a mianowicie: x |
f(x) oznacza tu wyrażenie algebry Boole'a o nieznanej ilości zmiennych binarnych
x=nieznana ilość zmiennych binarnych |
Ale w takim razie to nie jest funkcja tożsamościowa. A ja pytam o funkcję tożsamościową. |
Definicja funkcji tożsamościowej w algebrze Kubusia jest taka:
Dwie funkcje logiczne Y w logice dodatniej (bo Y) są tożsame [=] wtedy i tylko wtedy gdy prawe strony tych funkcji są tożsame.
Przykład:
Y=p*q+~p*~q
[=]
Funkcja tożsama:
Y = p*q + ~p*~q
gdzie:
[=] - funkcje tożsame
Oczywiście ta tożsamość nie musi być jawna jak wyżej, a nawet nie musi być łatwa do udowodnienia.
Dowodem na to jest prawo Małpki:
Każda funckcja alternatywo-koniunkcyjna ma swój tozsamy odpowiednih w funkcji koniunkcyjno-alternatywnej (i odwrotnie)
Ty Irbisolu znalażłeś tu takie funkcje tożsame:
Y = p*q +~p*~q [=] Y = (p+~q)*(~p+q)
Problem w tym że to jest prymitywna tożsamość, łatawa do udowodnienia - ale to nie jest pełne rozwiązanie algorytmem Małpki (pkt 25.0), czyli jest matematycznie błędne!
Czekam kiedy zrozumiesz swój błąd czysto matematyczny!
O skali trudności znalezienia tożsamej funkcji koniunkcyjno-alternatywnej dla zadanej funkcji alternatywno-koniunkcyjnej n-argumentowej świadczy fakt, że ziemscy matematycy nie znają algorytmu wyznaczenia takiej tożsamości dla dowolnej funkcji n-argumentowej.
Jedynym pewnym rozwiązaniem jest tu przejście przez tabelę zero-jedynkową funkcji alternatywno-koniunkcyjnej co udowodniłem w punkcie 25.0.
Wtedy dostajemy dwa nietożsame rozwiązania.
Przykład:
Dla funkcji logicznej:
Y=p*q+~p*~q
Te dwa nietożsame rozwiązania 1 i 2 to:
1: Y = p*q+~p*~q [=] Y = (p+~q)*(p+~q)
oraz drugie rozwiązanie, nietożsame z 1 to:
2: ~Y=p*~q + ~p*q [=] ~Y=(p+q)*(~p+~q)
cnd
Dowód:
Nie zachodzi tożsamość funkcji logicznych:
(Y=~Y)=0
cnd
Poprawne rozwiązanie jest w linku niżej (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. |
Problem w tym, że algorytm Małpki opisany w linku wyżej dla n-zmiennych binarnych genruje potwornie długie rozwiązanie do niczego nieprzydatne, ani w technice ani tym bardziej w języku potocznym.
W języku potocznym wszelkie gówna koniunkcyjno-alternatywne wywalamy w kosmos bo tego gówna żaden człowiek nie zrozumie, od 5-cio latka poczynając na najwybitniejszym matematyku kończąc.
Dowód w punkcie 1.10 w tym linku:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Podsumowując:
Irbisolu, podaj swoją definicję dwóch funkcji tożsamych, bo nie mam pojęcia jaka ona jest u ciebie!
(moją znasz - jak wyżej)
Ostatnio zmieniony przez rafal3006 dnia Nie 16:08, 10 Mar 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 16:26, 10 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785071
Czy Irbisol kiedykolwiek poda swoje definicje funkcji tożsamej oraz funkcji tożsamościowej?
Moja wyrocznia:
Nigdy nie poda
| Irbisol napisał: |
2 funkcje tożsame a funkcja tożsamościowa to zupełnie co innego.
Coś długo ci się schodzi z prostym pytaniem, jak na pretendenta na masakratora ziemskiej logiki. |
Podaj obie swoje definicje z wychwyceniem różnicy.
P.S.
W algebrze Kubusi to jedno i to samo.
Dowód:
To jest poprawny matematycznie zapis dwóch funkcji tożsamych Y=Y:
Y = p*q + ~p*~q [=] Y = (p+~q)*(~p+q)
Zapis absolutnie tożsamy do powyższego Y=Y to:
Y = p*q+~p*~q = (p+~q)*(~p+q)
cnd
Powtórzę:
Podaj obie twoje definicje z wychwyceniem różnicy!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 17:17, 10 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785083
Czy kto ma nadzieję, że Irbisol podejmie sensowną dyskusję?
| Irbisol napisał: | Funkcje tożsame to dwie funkcje, które dają TAKI SAM wynik dla TAKICH SAMYCH argumentów.
Funkcja tożsamościowa, to funkcja, która odwzorowuje daną wartość w tę samą wartość.
Podstawy podstaw ... |
Irbisolu, Wikiedię to ty sam obaliłeś wieki temu zgadzając się na prawo Irbisa.
Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q
p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Prawem Irbisa poderżnąłeś gardło totalnie całej, ziemskiej logice matematycznej.
cnd
Irbisolu,
Rozmawiamy o funkcjach logicznych algebry Boole'a:
Podaj swoją definijcę funkcji logicznej tożsamej na gruncie algebry Boole'a
Podaj swoją definicję funkcji logicznej tożsamościowej na gruncie algebry Boole'a
Definicja legalnych znaczków w algebrze Boole'a.
Legalne znaczki w algebrze Boole'a to:
1 - prawda
0 - fałsz
(~) - negacja
(+) - spójnik "lub"(+) z języka potocznego
(*) - spójnik "i"(*) z języka potocznego
KONIEC!
W uproszczeniu:
Masz dwie funkcje logiczne algebry Boole'a:
1: Y = p*q+~p*~q
oraz
2: Y = (p+~q)*(~p+q)
Jaka jest relacja matematyczna między funkcjami logicznymi 1 i 2:
a)
Czy 1 i 2 to funkcje logiczne tożsame?
b)
Czy 1 i 2 to funkcje logiczne tożsamościowe?
Podaj precyzyjne odpowiedzi dla a) i b) na gruncie funkcji logicznych algebry Boole'a!
Podpowiedź:
W algebrze kubusia poprawna jest odpowiedź:
a)
Funkcje 1 i 2 to funkcje logiczne tożsame
W algebrze Kubusia można tu postawić znak tożsamości [=]:
Funkcje 1 i 2 to funkcje logiczne tożsame [=] Funkcje 1 i 2 to funkcje logiczne tożsamościowe
Wikipedię w zakresie logiki matematycznej to możesz wziąć do kibelka i pupcię nia podcierać.
Ostatnio zmieniony przez rafal3006 dnia Nie 21:21, 10 Mar 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 21:59, 10 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785179
Czy kto ma nadzieję że Irbisol poda konkretny przykład funkcji logicznych tożsamościowych
na gruncie algebry Boole'a, czyli na gruncie rachunku zero-jedynkowego!
Pewne jest że:
Choćby zjadł 1000 kotletów i nie wiem jak się naprężał to nie poda przykładu funkcji logicznych tożsamościowych na gruncie rachunku zero-jedynkowego - taki to ciężar!
| Irbisol napisał: | | Są tożsame i nie są tożsamościowe. |
Podsumowując:
Co do funkcji logicznych tożsamych [=] w algebrze Boole'a zgadzamy się:
1: Y = p*q+~p*~q [=] 2: Y = (p+~q)*(~p+q)
Funkcje 1 i 2 są funkcjami logicznymi tożsamymi.
W rachunku zero-jedynkowym kolumny wynikowe Y będą tu identyczne - dokładnie dlatego są to funkcje tożsame.
Jak rozumiem:
Twoim zdaniem Irbisolu funkcje logiczne tożsamościowe nie będą miały identycznych kolumn wynikowych Y=Y bo identyczne kolumny zarezerwowane są dla funkcji logicznych tożsamych.
Czy już czujesz jak bredzisz?
Ostatnio zmieniony przez rafal3006 dnia Nie 22:07, 10 Mar 2024, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 10:27, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785225
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785179
| rafal3006 napisał: | Czy kto ma nadzieję że Irbisol poda konkretny przykład funkcji logicznych tożsamościowych
na gruncie algebry Boole'a, czyli na gruncie rachunku zero-jedynkowego!
Pewne jest że:
Choćby zjadł 1000 kotletów i nie wiem jak się naprężał to nie poda przykładu funkcji logicznych tożsamościowych na gruncie rachunku zero-jedynkowego - taki to ciężar!
| Irbisol napisał: | | Są tożsame i nie są tożsamościowe. |
Podsumowując:
Co do funkcji logicznych tożsamych [=] w algebrze Boole'a zgadzamy się:
1: Y = p*q+~p*~q [=] 2: Y = (p+~q)*(~p+q)
Funkcje 1 i 2 są funkcjami logicznymi tożsamymi.
W rachunku zero-jedynkowym kolumny wynikowe Y będą tu identyczne - dokładnie dlatego są to funkcje tożsame.
Jak rozumiem:
Twoim zdaniem Irbisolu funkcje logiczne tożsamościowe nie będą miały identycznych kolumn wynikowych Y=Y bo identyczne kolumny zarezerwowane są dla funkcji logicznych tożsamych.
Czy już czujesz jak bredzisz? |
| Irbisol napisał: | Po pierwsze, relacja tożsamości wymaga co najmniej 2 funkcji, bo dokonuje się tu porównania funkcji z funkcją. Natomiast tożsamościowość to cecha konkretnej funkcji.
Po drugie, tu nic nie jest "zarezerwowane". Dwie funkcje JAKIEŚ (w tym tożsamościowe), które są takie same, będą też tożsame. |
Z twojego wpisu wynika, że wedle ciebie funkcje tożsamoościowe to:
1: Y = p*q + ~p*~q
oraz tożsamościowa funkcja logiczna będąca tym samym co 1:
2: Y = p*q + ~p*~q
Oczywiście matematycznie zachodzi tu tożsamość [=] funkcji logicznych:
1: Y = p*q + ~p*~q [=] 2: Y = p*q + ~p*~q
Czy dobrze zdefiniowałem twoje pojęcie funkcji logicznych tożsamościowych na gruncie algebry Boole'a?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 10:53, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785233
| Irbisol napisał: | Nie, z tego co napisałem, to nie wynika.
Nadal nie odróżniasz relacji tożsamości od cechy tożsamościowej. |
Podaj swoją definicję funkcji logicznej tożsamościowej na gruncie algebry Boole'a, czyli na gruncie rachunku zero-jedynkwego.
Jeśli twoja funkcja logiczna tożsamościowa nie jest definicją z obszaru logiki matematycznej, popartą rachunkiem zero-jedynkowym, to piszesz nie na temat!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 13:02, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785275
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785225
| rafal3006 napisał: | http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5775.html#785179
| rafal3006 napisał: | Czy kto ma nadzieję że Irbisol poda konkretny przykład funkcji logicznych tożsamościowych
na gruncie algebry Boole'a, czyli na gruncie rachunku zero-jedynkowego!
Pewne jest że:
Choćby zjadł 1000 kotletów i nie wiem jak się naprężał to nie poda przykładu funkcji logicznych tożsamościowych na gruncie rachunku zero-jedynkowego - taki to ciężar!
| Irbisol napisał: | | Są tożsame i nie są tożsamościowe. |
Podsumowując:
Co do funkcji logicznych tożsamych [=] w algebrze Boole'a zgadzamy się:
1: Y = p*q+~p*~q [=] 2: Y = (p+~q)*(~p+q)
Funkcje 1 i 2 są funkcjami logicznymi tożsamymi.
W rachunku zero-jedynkowym kolumny wynikowe Y będą tu identyczne - dokładnie dlatego są to funkcje tożsame.
Jak rozumiem:
Twoim zdaniem Irbisolu funkcje logiczne tożsamościowe nie będą miały identycznych kolumn wynikowych Y=Y bo identyczne kolumny zarezerwowane są dla funkcji logicznych tożsamych.
Czy już czujesz jak bredzisz? |
| Irbisol napisał: | Po pierwsze, relacja tożsamości wymaga co najmniej 2 funkcji, bo dokonuje się tu porównania funkcji z funkcją. Natomiast tożsamościowość to cecha konkretnej funkcji.
Po drugie, tu nic nie jest "zarezerwowane". Dwie funkcje JAKIEŚ (w tym tożsamościowe), które są takie same, będą też tożsame. |
Z twojego wpisu wynika, że wedle ciebie funkcje tożsamoościowe to:
1: Y = p*q + ~p*~q
oraz tożsamościowa funkcja logiczna będąca tym samym co 1:
2: Y = p*q + ~p*~q
Oczywiście matematycznie zachodzi tu tożsamość [=] funkcji logicznych:
1: Y = p*q + ~p*~q [=] 2: Y = p*q + ~p*~q
Czy dobrze zdefiniowałem twoje pojęcie funkcji logicznych tożsamościowych na gruncie algebry Boole'a? |
| Irbisol napisał: | | A o czym niby ja piszę? |
Totalnie nie wiem o czym piszesz, czyli ja o rybkach, czyli twoim przykładowym rozmieniu funkcji tożsamościowej jak w moim cytacie wyżej, a ty o pipkach - czyli nie podałeś zero-jedynkowego dowodu wiążącego u ciebie dwie funkcje tożsamościowe.
Ja nie wiem co to są u ciebie te funkcje tożsamościowe na gruncie rachunku zero-jedynkowego, bo nie podałeś niczego na gruncie rachunku zero-jedynkowego, to by wiązało u ciebie te twoje funkcje tożsamościowe.
Innymi słowy:
Na ten moment wychodzi, że twoje definicje tożsamościowe funkcji logicznych mają gówno wspólnego z algebrą Boole'a - a o niej tu rozmawiamy tzn. wszystko inne jest poza temaciem na który nie zamierzam dyskutować.
Podsumowując:
Pokaż na gruncie rachunku zero-jedynkowego matematyczny związek dwóch funkcji logicznych tożsamościowych, bo funkcje logiczne tożsame rozumiemy identycznie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 14:57, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785307
| Irbisol napisał: | | Przecież podałem. Którego słowa nie rozumiesz? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785241
| Irbisol napisał: | | Funkcja tożsamościowa odwzorowuje podany argument w wartość identyczną jak wartość podanego argumentu. |
Udowodnij, że twoja definicja ma cokolwiek wspólnego z algebrą Boole'a tzn. z zero-jedynkowymi definicjami algebry Boole'a oraz z rachunkiem zero-jedynkowym w algebrze Boole'a.
Cytowane przez ciebie gówno zwane "funkcją tożsamościową" to ni pies ni wydra, z logiką algery Boole'a mające gówno wspólnego - bo nie potrafisz podać związku twojego gówna z algebrę Boole'a
Powtórzę:
Nie dyskutuję o czymkolwiek co jest poza logiką matematyczną zwaną algebrą Boole'a tzn. nie nie ma zero-jedynkowej definicji, a tym samym nie podlega pod rachunek zero-jedynkowy!
P.S.
W algebrze Boole'a jest tak:
| Algebra Bolole'a napisał: |
1.3 Definicja wyrażenia algebry Boole'a
| Kod: |
Definicja dwuargumentowego spójnika „i”(*):
p* q Y=p*q
A: 1* 1 1
B: 1* 0 0
C: 0* 1 0
D: 0* 0 0
Y=1 <=> p=1 i q=1
inaczej:
Y=0 |
| Kod: |
Definicja dwuargumentowego spójnika „lub”(+):
p+ q Y=p+q
A: 1+ 1 1
B: 1+ 0 1
C: 0+ 1 1
D: 0+ 0 0
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
|
Gdzie:
<=> - wtedy i tylko wtedy
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
1.3.1 Definicja funkcji logicznej algebry Boole'a:
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
|
Mając przykładową definicję funkcji logicznej:
1: Y=p*q + ~p*~q
łatwo udowodnić na gruncie rachunku zero-jedynkowego że funkcją tożsamą do 1 jest na przykład funkcja 2 niżej:
2: Y=(p+~q)*(~p+q)
Teraz uważaj Irbisolu:
Niemożliwe jest zefiniowanie twojego gówna zwanego "funkcje logiczne tożsamościowe" które to pojęcie nie byłoby TYM SAMYM co pojęcie "funkcje logiczne tożsame" jak wyżej.
To jest po prostu matematycznie i fizycznie niemożliwe!
... bo zakładając że twoje pojęcie "funkcji tożsamościowych" jest różne na mocy definicji od pojęcia "funkcji tożsamych" (twój postulat) to dwie funkcje tożsamościowe musiałyby mieć w rachunku zero-jedynkowym różne kolumny wynikowe Y co jest sprzeczne z pojęciem "tożsamościowe".
cnd
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 19:35, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785389
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Dokształć się:
[link widoczny dla zalogowanych] |
Nie widzę w tym linku ani jednej definicji zero-jedynkowej z algebry Boole'a, oraz ani jednego prawa rachunku zero-jedynkowe, zatem to jest TOTALNIE nie na temat - bo dyskutujemy tylko i wyłacznie o logice algebry Boole'a. |
Funkcja ma na tyle obszerną definicję, że pasuje również do algebry boole'owskiej
Ty totalnie nie potrafisz myśleć abstrakcyjnie. |
Nie interesuje mnie obszerna definicja funkcji.
Interesują mnie wyłącznie funkcje algebry Boole'a!
Zacytujmy Wekipedię:
[link widoczny dla zalogowanych]
| Wikipedia napisał: |
Funkcja tożsamościowa (funkcja identycznościowa, tożsamość, identyczność) – funkcja danego zbioru w siebie, która każdemu argumentowi przypisuje jego samego. Intuicyjnie: funkcja, która „nic nie zmienia”. |
Y=p [=] Y=p
Wedle definicji z Wikipedii to są dwie najprostsze funkcje logiczne tożsamościowe które są tożsame, identyczne i "nic nie zmieniają"
Irbisolu,
Czy zgadzasz się z Wipkiediową definicją funkcji logicznych tożsamościowych w algebrze Boole'a jak na powyższym przykładzie? |
| rafal3006 napisał: | https://pl.wikipedia.org/wiki/Funkcja_to%C5%BCsamo%C5%9Bciowa
| Wikipedia napisał: |
Funkcja tożsamościowa (funkcja identycznościowa, tożsamość, identyczność) – funkcja danego zbioru w siebie, która każdemu argumentowi przypisuje jego samego. Intuicyjnie: funkcja, która „nic nie zmienia”. |
Zauważ, że ten czerwony fragment idealnie pasuje do prawa Irbisa.
Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylo wtedy gdy znajdują się w relacji równoważności p<=>q
p=q <=> (A1: p=>q)*(B3: q=>p) = p<=>q
To jest oczywiście krystalicznie czysta algebra Kubusia.
Czy zgadzasz się na prawo Irbisa, na twoją częśc nazwane? |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 19:37, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785395
Jak Irbisol spierdala od głównego tematu który sam zaczął?
... ucieczką w offtopa, im bardziej absurdalny, tym lepiej dla niego.
Irbisolu, proponuję zakończyć tego offtopa i wrócić do naszego głównego tematu który SAM zasygnalizowałeś:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5750.html#784707
| Irbisol napisał: | No widzisz ... Jak chcesz, to potrafisz.
Podaj rozwiązania, po czym wybieraj dowolny temat. |
Zgadzasz się cofnąć do tego twojego postu?
Zauważ, że na ten post dostałeś odpowiedź w punkcie 25.2.1 w tym linku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5750.html#784717
Totalnie niezroumiałym dla mnie jest dlaczego nie skupiłeś się na szukaniu będu w moim algorytmie dochodzenia do poprawnego rozwiązania w punkcie 25.2.1 tylko podałeś swoje końcowe rozwiązanie z dupy wzięte, matematycznie TOTALNIE błędne.
Aktualnym offtopem udało ci się zabić sensowną dyskusję w temacie:
Które końcowe rozwiązanie jest dobre?
Irnbisolowe czyli to:
Y = p*q + ~p*~q [=] Y = (p+~q)*(~p+q)
Czy też moje które jest FUNDAMENTALNIE inne od twojego:
Y = p*q + ~p*~q [=] Y = (p+~q)*(~p+q)
$
~Y = p*~q + ~p*q [=] ~Y = (p+q)*(~p+~q)
Gdzie:
$ - funkcja logiczna "albo"($)
Czyli:
Zajdzie Y albo($) zajdzie ~Y
Y$~Y =1
Trzeciej możliwości brak
Sam widzisz że moje rozwiązanie to dwie nietożsame funkcje logiczne, czyli:
(Y=~Y) =0
U ciebie masz tylko jedno rozwiązanie dla Y co jest fatalnym błedem czysto matematycznym!
Czy możemy wrócić do kwintesencji naszej dyskusji?
Bo na 100% jedno z tych rozwiązań jest do dupy!
Ja twierdzę że twoje rozwiązanie jest do DUPY!
Ostatnio zmieniony przez rafal3006 dnia Pon 19:55, 11 Mar 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 20:59, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785417
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Dokształć się:
[link widoczny dla zalogowanych] |
Nie widzę w tym linku ani jednej definicji zero-jedynkowej z algebry Boole'a, oraz ani jednego prawa rachunku zero-jedynkowe, zatem to jest TOTALNIE nie na temat - bo dyskutujemy tylko i wyłacznie o logice algebry Boole'a. |
Funkcja ma na tyle obszerną definicję, że pasuje również do algebry boole'owskiej
Ty totalnie nie potrafisz myśleć abstrakcyjnie. |
Nie interesuje mnie obszerna definicja funkcji.
Interesują mnie wyłącznie funkcje algebry Boole'a! |
Funkcja tożsamościowa może być funkcją algebry Boole'a.
Więc w czym masz problem? |
Irbisolu, koniec z tym twoim offtopem.
Warunkiem koniecznym wznowienia naszej dyskusji jest zakończenie tematu który sam zacząłeś!
Problem masz na końcu poniższego cytatu - żadne twoje offtopy nie będą tolerowane!
Mówiąc językiem prostym jak cep:
Twoim psim obowiązkiem jest obalić mój algorytm Małpki dochodzenia do mojego końcowego rozwiązania.
Twoje rozwiązanie z dupy wzięte będzie dobre wtedy i tylko wtedy gdy obalisz algorytm Małpki!
Innnymi słowy:
Najpierw obalasz algorytm Małpki i dopiero po tym fakcie możesz zacząć cokolwiek innego.
Uzasadnienie:
Jak nie obalisz algorytmu Małpki to oczywistym jest że moje rozwiązanie jest dobre a twoje do dupy, bowiem na 100% nie mogą być prawdziwe oba rozwiązania jednocześnie.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5800.html#785395
| rafal3006 napisał: | Jak Irbisol spierdala od głównego tematu który sam zaczął?
... ucieczką w offtopa, im bardziej absurdalny, tym lepiej dla niego.
Irbisolu, proponuję zakończyć tego offtopa i wrócić do naszego głównego tematu który SAM zasygnalizowałeś:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5750.html#784707
| Irbisol napisał: | No widzisz ... Jak chcesz, to potrafisz.
Podaj rozwiązania, po czym wybieraj dowolny temat. |
Zgadzasz się cofnąć do tego twojego postu?
Zauważ, że na ten post dostałeś odpowiedź w punkcie 25.2.1 w tym linku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5750.html#784717
Totalnie niezroumiałym dla mnie jest dlaczego nie skupiłeś się na szukaniu będu w moim algorytmie dochodzenia do poprawnego rozwiązania w punkcie 25.2.1 tylko podałeś swoje końcowe rozwiązanie z dupy wzięte, matematycznie TOTALNIE błędne.
Aktualnym offtopem udało ci się zabić sensowną dyskusję w temacie:
Które końcowe rozwiązanie jest dobre?
Irnbisolowe czyli to:
Y = p*q + ~p*~q [=] Y = (p+~q)*(~p+q)
Czy też moje które jest FUNDAMENTALNIE inne od twojego:
Y = p*q + ~p*~q [=] Y = (p+~q)*(~p+q)
$
~Y = p*~q + ~p*q [=] ~Y = (p+q)*(~p+~q)
Gdzie:
$ - funkcja logiczna "albo"($)
Czyli:
Zajdzie Y albo($) zajdzie ~Y
Y$~Y =1
Trzeciej możliwości brak
Sam widzisz że moje rozwiązanie to dwie nietożsame funkcje logiczne, czyli:
(Y=~Y) =0
U ciebie masz tylko jedno rozwiązanie dla Y co jest fatalnym błedem czysto matematycznym!
Czy możemy wrócić do kwintesencji naszej dyskusji?
Bo na 100% jedno z tych rozwiązań jest do dupy!
Ja twierdzę że twoje rozwiązanie jest do DUPY! |
Ostatnio zmieniony przez rafal3006 dnia Pon 21:33, 11 Mar 2024, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:58, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5825.html#785427
| Irbisol napisał: | Od prawie miesiąca czekam na odpowiedź.
Dopóki jej nie dostanę, nie będzie innych tematów. |
Czekasz na odpowiedź na ten swój post:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Dowód:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5750.html#784707
| Irbisol napisał: | No widzisz ... Jak chcesz, to potrafisz.
Podaj rozwiązania, po czym wybieraj dowolny temat. |
Zgadza się?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:31, 11 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5825.html#785439
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: |
| rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
ok
Zacznijmy od definicji funkcji logicznej w algebrze Boole'a:
| Algebra Kubusia napisał: |
1.3 Definicja wyrażenia algebry Boole'a
| Kod: |
Definicja dwuargumentowego spójnika „i”(*):
p* q Y=p*q
A: 1* 1 1
B: 1* 0 0
C: 0* 1 0
D: 0* 0 0
Y=1 <=> p=1 i q=1
inaczej:
Y=0 |
| Kod: |
Definicja dwuargumentowego spójnika „lub”(+):
p+ q Y=p+q
A: 1+ 1 1
B: 1+ 0 1
C: 0+ 1 1
D: 0+ 0 0
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
|
Gdzie:
<=> - wtedy i tylko wtedy
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
1.3.1 Definicja funkcji logicznej algebry Boole'a:
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
|
Czy akceptujesz tą definicję funkcji logicznej rodem ze świata techniki?
Ostatnio zmieniony przez rafal3006 dnia Pon 22:35, 11 Mar 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 8:22, 12 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5825.html#785469
Nie zamierzam dyskutować z kimkolwiek, kto nie zna teorii bramek logicznych!
| Irbisol napisał: | | rafal3006 napisał: |
ok
Zacznijmy od definicji funkcji logicznej w algebrze Boole'a |
Nikt cię o to nie pytał. Odpowiadaj na to, o co jesteś pytany. |
Jak wszyscy widzą, zaczyna się taniec chochoła "odpowiedz na moje pytanie"
Algebra Boole'a = algebra bramek logicznych
Innymi słowy:
Bogiem (przez duże B) dla algebry Boole'a jest algebra bramek logicznych.
Algebra Kubusia, czyli matematyczny opis języka potocznego człowieka, ma 100% pokrycie w teorii bramek logicznych.
Dowód masz tu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#706217
| Algebra Boole'a napisał: |
Algebra Kubusia - matematyka języka potocznego
11.0 Algebra Kubusia w bramkach logicznych
Spis treści
11.0 Algebra Kubusia w bramkach logicznych 1
11.1 Opis bramek logicznych w postaci funkcji algebry Boole’a Y=f(x) 1
11.2 Definicje spójników logicznych w bramkach logicznych 4
11.2.1 Definicja spójnika „i”(*) w bramkach logicznych 6
11.2.2 Definicja spójnika „lub”(+) w bramkach logicznych 7
11.2.3 Definicja warunku wystarczającego => w bramkach logicznych 8
11.2.4 Definicja warunku koniecznego ~> w bramkach logicznych 9
11.3 Definicje spójników implikacyjnych p|?q w logice dodatniej (bo q) 10
11.3.1 Implikacja prosta p|=>q w bramkach logicznych 12
11.3.2 Implikacja odwrotna p|~>q w bramkach logicznych 13
11.3.3 Równoważność p<=>q w bramkach logicznych 14
11.3.4 Spójnik „albo”($) w bramkach logicznych 16
11.3.5 Definicja „chaosu” (|~~>) w bramkach logicznych 19
11.3.6 Zero-jedynkowa interpretacja znaczka różne na mocy definicji ## 20
11.4 Dowód poprawności algebry Kubusia w funkcjach logicznych 21
11.4.1 Prawo Grzechotnika - Armagedon ziemskiego rachunku zero-jedynkowego 23 |
Powtórzę moje pytanie:
Czy akceptujesz definicję funkcji logicznej Y podaną w moim poprzednim poście?
Y=p*q+~p*~q
Jeśli według ciebie powyższy zapis to nie jest poprawny, przykładowy zapis funkcji logicznej to żegnam, bo z laikiem algebry Boole'a nie zamierzam dyskutować.
Każdy matematyk wie co to jest teoria bramek logicznych i bez problemu na tym gruncie podejmie dyskusję.
P.S.
Czym jest w technice cyfrowej pojęcie funkcji logicznej znajdziesz w każdym katalogu cyfrowych układów logicznych np tu:
[link widoczny dla zalogowanych]
Pisze ci jak byk w komentarzu na pierwszej stronie!
Y = p$q = p*~q + ~p*q
Gdzie:
$ - spójnik "albo"($) w języku potocznym
$ = XOR - bramka XOR w teorii bramek logicznych
To jest jedyna poprawna, definicja funkcji logicznej w algebrze Boole'a.
Ostatnio zmieniony przez rafal3006 dnia Wto 8:36, 12 Mar 2024, w całości zmieniany 5 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: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 13:47, 12 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5825.html#785519
Prawo Absolutu
Prawo Absolutu:
Algebra Boole'a = algebra bramek logicznych
Innymi słowy:
Bogiem (przez duże B) dla algebry Boole'a jest algebra bramek logicznych.
Algebra Kubusia, czyli matematyczny opis języka potocznego człowieka, ma 100% pokrycie w teorii bramek logicznych.
Dowód mamy tu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#706217
| Algebra Boole'a napisał: |
Algebra Kubusia - matematyka języka potocznego
11.0 Algebra Kubusia w bramkach logicznych
Spis treści
11.0 Algebra Kubusia w bramkach logicznych 1
11.1 Opis bramek logicznych w postaci funkcji algebry Boole’a Y=f(x) 1
11.2 Definicje spójników logicznych w bramkach logicznych 4
11.2.1 Definicja spójnika „i”(*) w bramkach logicznych 6
11.2.2 Definicja spójnika „lub”(+) w bramkach logicznych 7
11.2.3 Definicja warunku wystarczającego => w bramkach logicznych 8
11.2.4 Definicja warunku koniecznego ~> w bramkach logicznych 9
11.3 Definicje spójników implikacyjnych p|?q w logice dodatniej (bo q) 10
11.3.1 Implikacja prosta p|=>q w bramkach logicznych 12
11.3.2 Implikacja odwrotna p|~>q w bramkach logicznych 13
11.3.3 Równoważność p<=>q w bramkach logicznych 14
11.3.4 Spójnik „albo”($) w bramkach logicznych 16
11.3.5 Definicja „chaosu” (|~~>) w bramkach logicznych 19
11.3.6 Zero-jedynkowa interpretacja znaczka różne na mocy definicji ## 20
11.4 Dowód poprawności algebry Kubusia w funkcjach logicznych 21
11.4.1 Prawo Grzechotnika - Armagedon ziemskiego rachunku zero-jedynkowego 23 |
Po fakcie, tzn. po pełnym rozszyfrowaniu teorii bramek logicznych jak w spisie treści wyżej wszystko jest dla mnie proste i banalne - ale dopiero po fakcie, bo rozszyfrowanie algebry Kubusia w bramkach logicznych zajęło mi 18 lat.
Na początek wymagam od każdego kto chce ze mną dyskutować o algebrze Kubusia znajomości czegoś, co każdy 5-cio latek ma w małym paluszku, czyli znajomości definicji operatora transmisji Y|=p oraz operatora negacji Y|=~p.
Definicja operatora transmisji Y|=q
Operator transmisji Y|=p to układ równań funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) dający odpowiedź na pytanie o Y i ~Y
Kiedy zajdzie Y?
A1.
Y=p
Czytamy:
Zajdzie Y wtedy i tylko wtedy gdy zajdzie p
… a kiedy zajdzie ~Y?
Negujemy funkcję logiczną A1 stronami:
B1.
~Y=~p
Czytamy:
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~p
Definicja operatora negacji Y|=~q
Operator negacji Y|=~p to układ równań funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) dający odpowiedź na pytanie o Y i ~Y
Kiedy zajdzie Y?
A1.
Y=~p
Czytamy:
Zajdzie Y wtedy i tylko wtedy gdy zajdzie ~p
… a kiedy zajdzie ~Y?
Negujemy funkcję A1 stronami:
B1.
~Y=p
Czytamy:
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie p
Znajomość tylko i wyłącznie powyższych banałów daje nam gwarancję matematyczną obalenia wszelkich ziemskich logiki matematycznych w postaci dowodu prawa Grzechotnika.
Prawo Grzechotnika:
Ziemski rachunek zero-jedynkowy który nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
Prawo Grzechotnika udowodnione przy pomocy wyżej zdefiniowanych operatorów transmisji Y|=p i negacji Y|=~p bez problemu rozumie absolutnie każdy 5-cio latek.
Niemożliwe jest zatem, by tego dowodu prawa Grzechotnika nie zrozumieli ziemscy matematycy.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 13:05, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785799
Definicja funkcji tożsamościowej!
Irbisolu, cierpliwie czekam kiedy zaczniesz czytać moje posty ze zrozumieniem z ewentualnym kwestionowaniem tego co piszę!
Moja cierpliwość jest nieskończona
| Irbisol napisał: | | Równoważność to funkcja dwuargumentowa, a funkcja tożsamościowa jest jednoargumentowa. |
ok
Tłumaczę ci definicję funkcji tożsamościowej - przeczytasz?
Prawo Papużki-nierozłączki:
Funkcja tożsamościowa to jest tylko i wyłącznie twoje prawo Irbisa, to jest tylko i wyłącznie równoważność p<=>q.
Prawo Irbisa:
Dwa zbiory 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
Środek czytamy:
Każdy zbiór jest jednocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
Na mocy powyższej definicji funkcji tożsamościowej weźmy równoważność Pitagorasa:
p=TP
q=SK
stąd mamy:
Prawo Irbisa dla równoważności Pitagorasa:
Dwa zbiory TP i SK są tożsame TP=SK wtedy i tylko wtedy gdy znajdują się w relacji równoważności TP<=>SK (i odwrotnie)
TP=SK <=> (A1: TP=>SK)*(B1: TP~>SK) = TP<=>SK
To samo w zapisach formalnych:
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q
Jak udowodnić prawdziwość równoważności TP<=>SK?
Dla B1 korzystamy z prawa Tygryska:
B1: p~>q = B3: q=>p
stąd mamy równoważność tożsamą:
TP=SK <=> (A1: TP=>SK)*(B3: SK=>TP) = TP<=>SK
To samo w zapisach formalnych:
p=q <=> (A1: p=>q)*(B3: q=>p) = p<=>q
Gdzie:
A1: TP=>SK =1 - twierdzenie proste Pitagorasa udowodnione wieki temu
B3: SK=>TP =1 - twierdzenie odwrotne Pitagorasa udowodnione wieki temu
Wniosek:
Prawo Irbisa dla równoważności Pitagorasa jest prawdziwe, co oznacza tożsamość zbiorów TP=SK
Jak na poziomie abstrakcyjnym udowodnić tożsamość zbiorów TP=SK przez iterowanie?
1.
p=TP - w pudełku p umieszczamy zbiór TP
q=SK - w pudełku q umieszczamy zbiór SK
2.
Na poziomie abstrakcyjnym (bo iterować zbioru nieskończonego się nie da) na 100% stwierdzimy tu, że każdy element zbioru p=TP należy => do zbioru q=SK
A1: TP=>SK =1
To samo w zapisach formalnych:
A1: p=>q
Teraz uważaj Irbisolu:
Na 100% funkcja TP=>SK nie jest funkcją tożsamościową
Zgadzasz się z tym?
Irbisol musi tu odpowiedzieć:
Tak, w 100% się z tym zgadzam bo:
samo udowodnienie iż każdy element zbioru p=TP jest podzbiorem => zbioru q=SK NIE definicje nam funkcji tożsamościowej TP<=>SK
3.
Teraz uważaj:
Aby udowodnić, iż funkcja x jest funkcją tożsamościową, czyli z definicji równoważnościową na poziomie abstrakcyjnym musimy przeiterować twierdzenie odwrotne Pitagorasa.
B1: SK=>TP
To samo w zapisach formalnych:
B1: q=>p
Jak widzimy w tym przypadku zawartość pudełek jest taka:
q=SK => p=TP
Na poziomie abstrakcyjnym (bo iterować zbioru nieskończonego się nie da) na 100% stwierdzimy tu, że każdy element zbioru q=SK należy => do zbioru p=TP
B1: SK=>TP
To samo w zapisach formalnych:
B1: q=>p
Zauważ Irbisolu, że samo udowodnienie iż każdy element zbioru q=SK jest podzbiorem => zbioru p=TP NIE definicje nam funkcji tożsamościowej SK<=>TP
4.
Dopiero po udowodnieniu prawdziwości punktów 2 i 3 czyli, po udowodnieniu twierdzenia prostego Pitagorasa A1: TP=>SK i niezależnym udowodnieniu twierdzenia odwrotnego Pitagorasa B3: SK=>TP mamy dowód, iż funkcja x jest funkcją tożsamościową.
Nasz x to oczywiście:
x = TP<=>SK = (A1:TP=>SK)*(B3: SK=>TP) [=] TP=SK
to samo w zapisach formalnych:
x = p<=>q = (A1: p=>q)*(B3: q=>p) [=] p=q
Gdzie:
[=] - tożsamość logiczna
Tożsame znaczki tożsamości logicznej to:
[=], „=” <=> - wtedy i tylko wtedy
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 14:08, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785827
Czy Irbisol jest w stanie nawiązać sensowną dyskusję?
Czy też za chwilkę zacznie swój taniec chochoła "odpowiedz na moje pytanie"
Irbisol jest do bólu przewidywalny i zacznie swój taniec, o czym wszyscy się przekonamy.
| Irbisol napisał: | | Nie - funkcja tożsamościowa to nie jest p<=>q. |
Na początek rozstrzygnijmy czy mamy identyczne fundamenty tzn. czy zgadzasz się na swoje prawo Irbisa, a co za tym idzie ze wszystkim co niżej pisze.
Prawo Irbisa:
Dwa zbiory 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
Środek czytamy:
Każdy zbiór jest jednocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
Na mocy powyższej definicji funkcji tożsamościowej weźmy równoważność Pitagorasa:
p=TP
q=SK
stąd mamy:
Prawo Irbisa dla równoważności Pitagorasa:
Dwa zbiory TP i SK są tożsame TP=SK wtedy i tylko wtedy gdy znajdują się w relacji równoważności TP<=>SK (i odwrotnie)
TP=SK <=> (A1: TP=>SK)*(B1: TP~>SK) = TP<=>SK
To samo w zapisach formalnych:
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q
Jak udowodnić prawdziwość równoważności TP<=>SK?
Dla B1 korzystamy z prawa Tygryska:
B1: p~>q = B3: q=>p
stąd mamy równoważność tożsamą:
TP=SK <=> (A1: TP=>SK)*(B3: SK=>TP) = TP<=>SK
To samo w zapisach formalnych:
p=q <=> (A1: p=>q)*(B3: q=>p) = p<=>q
Gdzie:
A1: TP=>SK =1 - twierdzenie proste Pitagorasa udowodnione wieki temu
B3: SK=>TP =1 - twierdzenie odwrotne Pitagorasa udowodnione wieki temu
Wniosek:
Prawo Irbisa dla równoważności Pitagorasa jest prawdziwe, co oznacza tożsamość zbiorów TP=SK
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 16:45, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785851
| Irbisol napisał: |
Nic z tego. Na początek odpowiadasz na pytanie. |
Jak wszzycy widzą Irbisol zaczął swój taniec chochoła.
Nie pozostaje mi nic innego jak olać chochoła i spokojnie wytłumaczyć czytelnikom naszej dyskusji o co chodzi w funkcji tożsamościowej.
Oczywistym jest, że irbisol rozumie i akceptuje w 100% mój post wyżej, bo prawo Irbisa nie bez kozery nazwałem na jego cześć - bez najmniejszych oporów zgodził się w przeszłości na absolutnie wszystko co napisałem w poście wyżej.
Ieraz uważaj Iebisolu:
Zamiast jak równoważności Pitagorasa:
TP<=>SK
p=TP
q=SK
Podstawiam taką równoważność TP<=>TP:
p=TP
q=TP
Sam widzisz Irbisolu, że w tym momencie leżysz i kwiczysz bo cały mój post wyżej, który w 100% akceptujesz jest dowodem że dla tego samego p i q p=q musisz zaakceptować totalnie wszystko co piszę w cytacie niżej.
Hip, hip, hura!
Kiedy wywieszasz białą flagę i przechodzisz do klubu algebry Kubusia?
Cytuję w 100% mój post wyżej po podstawieniu:
p=TP
q=TP
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785799
| rafal3006 napisał: | Definicja funkcji tożsamościowej!
Irbisolu, cierpliwie czekam kiedy zaczniesz czytać moje posty ze zrozumieniem z ewentualnym kwestionowaniem tego co piszę!
Moja cierpliwość jest nieskończona
| Irbisol napisał: | | Równoważność to funkcja dwuargumentowa, a funkcja tożsamościowa jest jednoargumentowa. |
ok
Tłumaczę ci definicję funkcji tożsamościowej - przeczytasz?
Prawo Papużki-nierozłączki:
Funkcja tożsamościowa to jest tylko i wyłącznie twoje prawo Irbisa, to jest tylko i wyłącznie równoważność p<=>q.
Prawo Irbisa:
Dwa zbiory 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
Środek czytamy:
Każdy zbiór jest jednocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
Na mocy powyższej definicji funkcji tożsamościowej weźmy równoważność TP=TP:
p=TP
q=TP
stąd mamy:
Prawo Irbisa dla tożsamości zbiorów TP=TP:
Dwa zbiory TP i TP są tożsame TP=TP wtedy i tylko wtedy gdy znajdują się w relacji równoważności TP<=>TP (i odwrotnie)
TP=TP <=> (A1: TP=>TP)*(B1: TP~>TP) = TP<=>TP
To samo w zapisach formalnych:
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q
Jak udowodnić prawdziwość równoważności TP<=>TP?
Dla B1 korzystamy z prawa Tygryska:
B1: p~>q = B3: q=>p
stąd mamy równoważność tożsamą:
TP=TP <=> (A1: TP=>TP)*(B3: TP=>TP) = TP<=>TP
To samo w zapisach formalnych:
p=q <=> (A1: p=>q)*(B3: q=>p) = p<=>q
Gdzie:
A1: TP=>TP =1 - twierdzenie proste
To samo w zapisie formalnym:
A1: p=>q
B3: TP=>TP =1 - twierdzenie odwrotne
To samo w zapisie formalnym:
B3: q=>p
Wniosek:
Prawo Irbisa dla równoważności TP<=>TP jest prawdziwe, co oznacza tożsamość zbiorów TP=TP
Jak na poziomie abstrakcyjnym udowodnić tożsamość zbiorów TP=TP przez iterowanie?
1.
p=TP - w pudełku p umieszczamy zbiór TP
q=TP - w pudełku q umieszczamy zbiór TP
2.
Na poziomie abstrakcyjnym (bo iterować zbioru nieskończonego się nie da) na 100% stwierdzimy tu, że każdy element zbioru p=TP należy => do zbioru q=TP
A1: TP=>TP =1
To samo w zapisach formalnych:
A1: p=>q
Teraz uważaj Irbisolu:
Na 100% funkcja TP=>TP nie jest funkcją tożsamościową
Zgadzasz się z tym?
Irbisol musi tu odpowiedzieć:
Tak, w 100% się z tym zgadzam bo:
samo udowodnienie iż każdy element zbioru p=TP jest podzbiorem => zbioru q=TP NIE definicje nam funkcji tożsamościowej TP<=>TP
3.
Teraz uważaj:
Aby udowodnić, iż funkcja x jest funkcją tożsamościową, czyli z definicji równoważnościową na poziomie abstrakcyjnym musimy przeiterować twierdzenie odwrotne Pitagorasa.
B1: TP=>TP
To samo w zapisach formalnych:
B1: q=>p
Jak widzimy w tym przypadku zawartość pudełek jest taka:
q=TP => p=TP
Na poziomie abstrakcyjnym (bo iterować zbioru nieskończonego się nie da) na 100% stwierdzimy tu, że każdy element zbioru q=TP należy => do zbioru p=TP
B1: TP=>TP
To samo w zapisach formalnych:
B1: q=>p
Zauważ Irbisolu, że samo udowodnienie iż każdy element zbioru q=TP jest podzbiorem => zbioru p=TP NIE definicje nam funkcji tożsamościowej TP<=>TP
4.
Dopiero po udowodnieniu prawdziwości punktów 2 i 3 czyli, po udowodnieniu twierdzenia prostego Pitagorasa A1: TP=>TP (A1: p=>q) i niezależnym udowodnieniu twierdzenia odwrotnego B3: TP=>TP (B3: q=>p) mamy dowód, iż funkcja x jest funkcją tożsamościową.
Nasz x to oczywiście:
x = TP<=>TP = (A1:TP=>TP)*(B3: TP=>TP) [=] TP=TP
to samo w zapisach formalnych:
x = p<=>q = (A1: p=>q)*(B3: q=>p) [=] p=q
Gdzie:
[=] - tożsamość logiczna
Tożsame znaczki tożsamości logicznej to:
[=], „=” <=> - wtedy i tylko wtedy
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 16:48, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785865
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
Nic z tego. Na początek odpowiadasz na pytanie. |
Jak wszzycy widzą Irbisol zaczął swój taniec chochoła. |
To ty go zacząłeś, ignorując pytanie.
Przypominam, że obiecałeś na każde odpowiedzieć. Tzn. napisałeś, że już odpowiedziałeś, po czym zmieniłeś to na "odpowiem". I nadal dupa.
Słaba ta twoja algebra, skoro wykłada się na podstawach. |
Dowód iż non-stop uprawioasz tu taniec chochoła jest trywialny:
Irbisolu, zacytuj o jakie twoje pytanie ci chodzi?
Za chwilę wszyscy zobaczą ciąg dalszy Irbisolowego tańca chochoła "sam sobie znajdź w gównie które zapisałeą"
Jak wszyscy za chwilę zobaczą Irbisol reprezentuje poziom bota - ani gram wiecej. |
| rafal3006 napisał: | http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785867
| Irbisol napisał: | Taki wpierdol zaliczyłeś, że aż w odruchu obronnym musisz sobie rzeczywistość kreować  |
Napisz wszystkim jasno i klarownie o co ci chodzi, w którym miejscu to twoje wpierdól dostałem.
Czy kto ma nadzieję że napisze?
NIE! - bo bot się zapętlił i jedynie co potrafi napisać to kontynuacja tańca chochoła: "sam sobie znajdź w którym miejscu wpierdól dostałeś"
To jest genialny przykład dyskusji z dowolnym botem w Internecie! |
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5850.html#785867
| Irbisol napisał: | | Taki wpierdol zaliczyłeś, że aż w odruchu obronnym musisz sobie rzeczywistość kreować |
Napisz wszystkim jasno i klarownie o co ci chodzi, w którym miejscu to twoje wpierdól dostałem.
Czy kto ma nadzieję że napisze?
NIE! - bo bot się zapętlił i jedynie co potrafi napisać to kontynuacja tańca chochoła: "sam sobie znajdź w którym miejscu wpierdól dostałeś"
To jest genialny przykład dyskusji z dowolnym botem w Internecie! |
Właściwie to o was obu. |
Ja nie dyskutuję z Fedorem, tylko z tobą - nawet tego nie odrózniasz, bocie - wszystko ci się pomerdało.
Powtórzę:
Napisz wszystkim jasno i klarownie o co ci chodzi, w którym miejscu to twoje wpierdól dostałem.
Czy kto ma nadzieję że napisze?
NIE! - bo bot się zapętlił i jedynie co potrafi napisać to kontynuacja tańca chochoła: "sam sobie znajdź w którym miejscu wpierdól dostałeś"
To jest genialny przykład dyskusji z dowolnym botem w Internecie! |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 16:50, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5875.html#785917
| Irbisol napisał: |
Przecież to ty się zaciąłeś i wklejasz to samo.
Ten drugi zresztą też 
Napisałem ci na poprzedniej stronie, gdzie jest pytanie. Sam dopiero co je znalazłeś. |
O czym w końcu chcesz dyskutować?
O tym swoim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Czy o swoim offtopie do postu wyżej - funkcji tożsamościowej.
Matematcznie to dwa fundamentalnie inne zagadnienia!
Czy kto ma ndzieję, że bot wie o czym aktualnie chce dyskutować?
P.S.
Zapis którego się czepiłeś to wyrwany z kontekstu fragment algebry Kubusia dotyczący funkcji jednoargumentowej gdzie w zapisie:
Y = f(x)=x
x jest dokładnie tym samym, ale to dotyczy wyłącznie funkcji jednoargumentowe.
Wszystkie mozliwe tu zapisy to:
f(p) =p
f(~p)=~p
f(1)=1
f(0)=0
Wyjaśnienie masz w cytacie nizej:
| Algebra Kubusia napisał: |
1.4 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej perfekcyjna znajomość na poziomie funkcji logicznych jednoargumentowych.
Zainteresowanym szczegółami polecam teorię operatorów jednoargumentowych w rachunku zero-jedynkowym zawartą w punkcie 20.0
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}
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
Zdanie zawsze prawdziwe (Y=1) i zdanie zawsze fałszywe (Y=0) to matematyczne śmieci co udowodniono w pkt. 1.3.1, dlatego te przypadki mało nas interesują.
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 17:00, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#785943
Czy z Irbisolem mozliwe jest nawiązanie kontaktu wyjaśniejacego o co mu chodzi?
Ma kto taka nadzieję?
| Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: | Przecież to ty się zaciąłeś i wklejasz to samo.
Ten drugi zresztą też
Napisałem ci na poprzedniej stronie, gdzie jest pytanie. Sam dopiero co je znalazłeś. |
O czym w końcu chcesz dyskutować?
O tym swoim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Czy o swoim offtopie do postu wyżej - funkcji tożsamościowej.
Matematcznie to dwa fundamentalnie inne zagadnienia!
Czy kto ma ndzieję, że bot wie o czym aktualnie chce dyskutować? |
Przecież w pytaniu jest właśnie funkcja tożsamościowa.
Jeszcze się nie zorientowałeś, specjalisto od określania, które zagadnienia metamatyczne są fundamentalnie inne? |
Ogólna definicja funkcji logicznej jest w AK taka:
| Algebra Kubusia napisał: |
1.3 Definicja wyrażenia algebry Boole'a
| Kod: |
Definicja dwuargumentowego spójnika „i”(*):
p* q Y=p*q
A: 1* 1 1
B: 1* 0 0
C: 0* 1 0
D: 0* 0 0
Y=1 <=> p=1 i q=1
inaczej:
Y=0 |
| Kod: |
Definicja dwuargumentowego spójnika „lub”(+):
p+ q Y=p+q
A: 1+ 1 1
B: 1+ 0 1
C: 0+ 1 1
D: 0+ 0 0
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
|
Gdzie:
<=> - wtedy i tylko wtedy
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
1.3.1 Definicja funkcji logicznej algebry Boole'a:
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
|
Czy ty jesteś w stanie podjąć dyskusję wyjaśniającą o co ci chodzi?
Wyjaśniam:
Zapis przykładowej, jednej z niskończenie wielu funkcji logicznych n-argumentowych jest taki:
1: Y = p*q+~p*~q
Oczywiście każda tożsamość to jest równoważność na mocy prawa Irbisa.
Zatem funkcja 1 jest tożsama z funkcją 2 niżej:
2: Y <=> p*q+~p*~q
Innymi słowy:
Symbol Y jest tożsamy z wyrażeniem algebry Boole'a po prawej stronie
Oczywistym jest, że to co wyżej spełnia prawo Irbisa które sam uznałeś .. a z którego teraz się wycofujesz?
Prawo Papużki-nierozłączki:
Funkcja tożsamościowa to jest tylko i wyłącznie twoje prawo Irbisa, to jest tylko i wyłącznie równoważność p<=>q.
Prawo Irbisa:
Dwa zbiory 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
Środek czytamy:
Każdy zbiór jest jednocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
Nasz przykład 1=2:
1: Y=p*q + ~p*~q <=> (A1: Y=>p*q+~p*~q)*(B1: Y~>p*q+~p*~q) = 2: Y<=>p*q+~p*~q
Dowód:
a=p*q+~p*~q
stąd mamy:
1: Y=a <=> (A1: Y=>a)*(B1: Y~>a) = 2: Y<=>a
cnd
Czy o taką pierdułkę ci chodzi?
Czy masz jakeś zastrzeżenia do moich zapisów 1 i 2?
Ostatnio zmieniony przez rafal3006 dnia Śro 17:16, 13 Mar 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 18:48, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#785965
Zdemaskowanie płaskoziemcy zwanego Irbisolem!
Koniec postu.
| Irbisol napisał: | | rafal3006 napisał: | Dam ci najprostszy przykład pod słońcem.
Udowodnij na bazie Wikiepdii że: |
Odpowiedz na pytanie. Podaj te 2 rozwiązania, o które pytam. |
Najpierw ustalmy wspólny punkt odniesienia:
Y = p*q + ~p*~q
Czy to jest twoim zdaniem poprawny zapis jednej z nieskończenie wielu funkcji logicznych?
TAK/NIE
Bez ustalenia wspólnego punktu odniesienia nie masz szans na dalszą dyskusję ze mną!
Najśmieszniejsze jest to, że zapisów jak wyżej funkcji logicznej Y jest w Wikipedii milony ... a ty to kwestionujesz?
Innymi słowy:
Według ciebie to nie jest poprawny zapis funkcji logicznej? 
... chyba za dużo wypiłeś, albo masz totalnie sprany mózg gównem zwanym Wikipedią (oczywiście wyłącznie o logikę matematyczną tu chodzi).
Przykłady różnych funkcji logicznych typu:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Przykład:
f(x) = p*q+~p*~q
masz chocby tu płaskoziemco:
[link widoczny dla zalogowanych]
że nie wspomnę o katalogach ukłdów cyfrowych.
Czym jest w technice cyfrowej pojęcie funkcji logicznej znajdziesz w każdym katalogu cyfrowych układów logicznych np tu:
[link widoczny dla zalogowanych]
Pisze ci jak byk w komentarzu na pierwszej stronie!
1: Y = p$q = p*~q + ~p*q
Gdzie:
$ - spójnik "albo"($) w języku potocznym
$ = XOR - bramka XOR w teorii bramek logicznych
To jest jedyna poprawna, definicja funkcji logicznej w algebrze Boole'a.
Zaprawdę powiadam ci Irbisolu, jesteś płaskoziemcą wybitnym skoro kwestionujesz zapis 1 wyżej, jako jedyny poprawny zapis funkcji logicznej na gruncie algebry Boole'a!
Twoje gówno w tym zakresie zwane Wikipedią przerób na papier toaletowy - taka jest moja ostateczna rada.
Weźmy jeszcze raz:
1: Y = p$q = p*~q + ~p*q
Dkaczego to jest jedyny poprawny zapis funkcji logicznej Y algebry Boole'a?
Bo to jest krystalicznie czysta matematyka czyli wyłacznie symbole mogące przybierać dwie wartości logiczne {0,1} - żadnych tam gówien w postaci czegokolwiek ze świata fizycznego np. teorii zbiorów.
Funkcję logiczną 1 daje się oczywiście przyporządkować do spójnka "albo"($) w jezyku potocznym, ale to jest sprawa wtórna w stosunku do krystalicznie czystej matematyki zero-jedynkowej tu występującej.
Na zakończenie zdemaskuję płaskoziemcę zwanego Irbisolem!
Test z logiki matematycznej w I klasie LO:
1.
Czym jest poniższy zapis:
p*~q+~p*q
a) funkcją logiczną
b) wyrażeniem algebry Boole'a
2.
Czym jest ponizszy zapis?
Y = p*q+~p*q
a) funkcją logiczną
b) wyrażeniem algebry Boole'a
... i co Irbisolu?
Leżymy, kwiczymy i błagamy o litość tzn. nie masz pojęcia w temacie odpowiedzi na pytania 1 i 2.
Jeśli masz to dawaj - rozwiaż ten test!
Pewne jest, że rozwiązanie Irbisola bedzie ciągiem dalszym jego nieskończonego tańca chochoła "odpowiedz na moje pytanie"
Wszyscy za chwilę zobaczą na własne oczy, że dokładnie tak bedzie!
Ostatnio zmieniony przez rafal3006 dnia Śro 20:02, 13 Mar 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35391
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 21:04, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786021
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Nic nie będziemy ustalać.
Podaj rozwiązania, o których pisałeś. |
Jak wszyscy widzą Irbisol jest w 100% przewidywalny - robi za bota, smutne to ale prawdziwe. |
Przecież dawno napisałem, że nie zaczynam innych tematów, dopóki nie odpowiesz na pytanie.
Więc nie jest jakimś wielkim sukcesem z twojej strony, że przewidziałeś, iż dotrzymuję słowa.
Ciekawe, czy po raz kolejny zapytasz, jakie było pytanie. To już chyba piąty raz by był po tym, gdy ci je podałem lub sam znalazłeś.
O - widzę po powyższym poście, że znowu zapomniałeś |
Wróćmy do korzeni płaskoziemco:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
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.
Ostatnio zmieniony przez rafal3006 dnia Śro 21:13, 13 Mar 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
