 |
Ś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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Śro 22:23, 13 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786047
Definicja funkcji tożsamościowej według płaskoziemcy Irbisola!
... ale jaja! 
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 poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:42, 14 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786177
Wyjaśnienie dla czytelników dlaczego Irbisol robi za Urbana!
bo z Irbisolem nie mam kontaktu
Logika Urbana w stanie wojennym w Polsce (1981-1989) to wyrwane z kontekstu zdanie opozycjonisty i nadanie temu zdaniu zupełnie innego znaczenia.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubsia 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ą. |
W powyższym cytacie x z założenia jest jednoargumentowym wyrażeniem algebry Boole'a.
Poprawne zapisy takiego wyrażenia to:
f(p)=p
f(~p)=~p
f(1)=1
f(0)=0
Logika Urbana w przełożeniu na matematykę klasyczną wygląda tak.
Twierdzenie:
Funkcja kwadratowa:
Y=x^2+a
Ma dwa rozwiązania (miejsca zerowe) dla a<0
Irbisol:
To nieprawda, bo dla a=0 funkcja kwadratowa ma jedno rozwiązanie, a dla a>0 nie ma rozwiązań.
W ten oto sposób obaliłem matematykę.
Czy na pewno Irbisolu?
Czekam kiedy zaczniesz myśleć jak normalny człowiek i dyskutować jak normalny człowiek, czyli odnosić się do tego co JA piszę .. a nie do własnych rojeń w temacie co tobie się wydaje, że ja piszę.
Płaskoziemca Irbisol pisze tu tak:
Y = f(p*q+~p*~q) = p*q+~p*~q
i to jest jego zdaniem dowód, że zapis:
Y=f(x)=x
to zapis ogólny funkcji tożsamościowej dla funkcji logicznej n-argumentowej (w jego rojeniach oczywiście).
Funkcję logiczną n-argumentową zdefiniowałem wcześniej - oczywiście płaskoziemca Irbisol mojego gówna nie będzie czytał!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubsia 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}
W szczególnym przypadku funkcja logiczna Y może być stałą binarną, gdy w kolumnie opisującej symbol Y są same jedynki albo same zera. |
Ostatnio zmieniony przez rafal3006 dnia Czw 8:53, 14 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 11:07, 14 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786195
| Irbisol napisał: | A po co ci wiedzieć, skąd wziąłem ten zapis?
Miała być dowolna funkcja, więc podałem jakąś - właściwie najprostszą możliwą.
Teraz ty podaj 2 rozwiązania. |
Y=f(x)=x - to jest z założenia zapis ogólny funkcji logicznej jednoargumentowej w algebrze Boole'a (patrz mój post wyżej).
Nie możesz tu pod x podstawić funkcji n-argumentowej.
W funkcji logicznej która ma więcej niż jeden argument poprawne zapisy są takie:
f(x) - dowolne wyrażenie algebry Boole'a
f(p,q) = p*q + ~p*~q - konkretne wyrażenie dwuargumentowe
Stąd mamy zdefiniowaną funkcję logiczną dwuargumentową:
Y = f(p,q)=p*q + ~p*~q
Ty nie odróżniasz funkcji logicznej jednoargumentowej od funkcji logicznej n-argumentowej.
Funkcję jednoargumentową perfekcyjnie zna każdy 5-cio latek (a nawet 3-latek), czego nie da się powiedzieć o funkcji logicznej n-argumentowej.
Podsumowując:
Podaj przykładowy zapis w algebrze Boole'a tej twojej najprostszej funkcji logicznej.
Czy ma kto nadzieję, że Irbisol poda przykład?
Oczywiście będzie dalszy ciąg tańca chochoła "napisałem wyżej sam sobie znajdź"
Nic nie będę znajdował:
Ty masz zapisać tu i teraz co masz na myśli, bo udowodniłem wyżej, że twoja definicja funkcji tożsamościowej:
Y = f(x)=x
to jedno wielkie, potwornie śmierdzące gówno.
Nie mam z tobą kontaktu, niestety.
Ostatnio zmieniony przez rafal3006 dnia Czw 11:10, 14 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: 35371
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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:23, 14 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786329
Czy Irbisol za chwilkę powie że podręcznik akademicki to gówno którego nie będzie czytał?
Biorąc pod uwagę historię naszej dyskusji - dokladnie tak powie!
| Irbisol napisał: |
Jeszcze nie wiem, jakie są te 2 rozwiązania wg małpy |
Wytłumaczę ci o co chodzi w prawie Małpki na podstawie podręcznika akademickiego matematyki "Wstęp do matematyki" napisanego przez prof. Ludomira Newelskiego.
Innymi słowy:
Będę ci tłumaczył na przykładzie wziętym z podręcznika akademickiego!
Czy to zaakceptujesz?
Zatem zaczynamy:
| PodręcznikAkademicki napisał: |
Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
Dowód prawa Małpki w wykonaniu prof. L. Newelskiego (Uwaga 2.7)
[link widoczny dla zalogowanych]
| Cytat: | | https://www.math.uni.wroc.pl/~newelski/dydaktyka/wdm-A/skrypt3/skrypt/node3.html |
Weźmy dowód prof. L. Newelskiego w oryginale cytowany słowo w słowo:
1.
Załóżmy tabelę zero-jedynkową z trzema zmiennymi wejściowymi {p,q,r} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q,r)
| Kod: |
p q r Y=?
A: 0 0 0 0
B: 0 0 1 1
C: 0 1 0 1
D: 0 1 1 0
E: 1 0 0 0
F: 1 0 1 1
G: 1 1 0 0
H: 1 1 1 0
|
2.
Z tabelki odczytujemy że funkcja logiczna Y przyjmuje wartość logiczną 1 wtedy i tylko wtedy gdy:
Y=1 <=> B: p=0 i q=0 i r=1 lub C: p=0 i q=1 i r=0 lub F: p=1 i q=0 i r=1
3.
Zatem funkcja logiczna Y w postaci alternatywno-koniunkcyjnej to:
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
|
Ostatnio zmieniony przez rafal3006 dnia Czw 16:26, 14 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:19, 14 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5900.html#786341
| Irbisol napisał: | Nie chcę, żebyś mi tłumaczył.
Podaj te 2 rozwiązania. |
Podam ci te dwa rozwiązania tylko i wyłacznie na przykładzie podręcznika akademickiego prof. Ludomira Newelskiego.
| Podręcznik Akademicki napisał: |
Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
Dowód prawa Małpki w wykonaniu prof. L. Newelskiego (Uwaga 2.7)
[link widoczny dla zalogowanych]
| Cytat: | | https://www.math.uni.wroc.pl/~newelski/dydaktyka/wdm-A/skrypt3/skrypt/node3.html |
Weźmy dowód prof. L. Newelskiego w oryginale cytowany słowo w słowo:
1.
Załóżmy tabelę zero-jedynkową z trzema zmiennymi wejściowymi {p,q,r} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q,r)
| Kod: |
p q r Y=?
A: 0 0 0 0
B: 0 0 1 1
C: 0 1 0 1
D: 0 1 1 0
E: 1 0 0 0
F: 1 0 1 1
G: 1 1 0 0
H: 1 1 1 0
|
2.
Z tabelki odczytujemy że funkcja logiczna Y przyjmuje wartość logiczną 1 wtedy i tylko wtedy gdy:
Y=1 <=> B: p=0 i q=0 i r=1 lub C: p=0 i q=1 i r=0 lub F: p=1 i q=0 i r=1
3.
Zatem funkcja logiczna Y w postaci alternatywno-koniunkcyjnej to:
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
|
Zaakceptujesz czy też powiesz że:
Podręcznik akademicki to brednie których nie będziesz czytał!
Pewne jest, że irbisol uzna podręcznik akademicki za gówno, którego nie będzie czytał - ma kto wątpliwości?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 0:04, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786367
Współczesna logika matematyczna = matematyczne piekło!
Wstęp do historycznego artykułu - następny mój post.
Dowód:
W przeszłości wielu matematyków zajmujących się na serio logiką matematyczną wylądowało w szpitalu dla obłąkanych na przykład Cantor i Gödel, o czym jest w poniższym artykule.
W tym sensie algebra Kubusia będzie zbawieniem dla ludzkości tzn. jeśli ziemscy matematycy zrozumieją iż logika matematyczna rządząca naszym Wszechświatem, algebra Kubusia, to w istocie poziom matematyczny każdego 5-cio latka to już nigdy więcej, żaden czlowiek, nie wyląduje w szpitalu psychiatrycznym z powodu logiki matematycznej!
[link widoczny dla zalogowanych]
| Paweł Porębski napisał: |
Wiara rozumna świeckiego teologa – Pawła Porębskiego
Hermeneutyka i egzegeza wiary wg filozoteizmu
Nieskończoność
11 listopada 2016
Pojęcie nieskończoności często prowadzi do paradoksów (najbardziej znane paradoksy są Zenona z Elei). Pojęcie to bardziej mi się kojarzy z opisem niż bytem: Nieskończoność (symbol: ∞) – byt nieograniczony (w sensie wielkości bądź ilości), który przyjęło się oznaczać za pomocą znaku ilości), który przyjęło się oznaczać za pomocą „przewróconej ósemki” (lemniskata). (Wikipedia). W XIX w. niemiecki matematyk Georg Cantor nieskończoność uznał za byt, obiekt, który można porównywać z innymi obiektami, dokonywać na nim operacji. Pojęcie to wykorzystywane zostało do teorii mnogości. M.innymi ma to służyć do wyeliminowania paradoksów.
Często jest tak, że nieskończoną liczbę uważa się za jakąś konkretną liczbę, którą można stale powiększać, bez ograniczeń, zmierzając do nieskończoności. Tak rozumianą nieskończoność filozofowie nazywają „potencjalną”.
Pojęcie nieskończoności służy do opisów fenomenów matematycznych (np. liczba nieskończona), zjawisk fizykalnych (np. przestrzeń, czasu), jak i przymiotów Boga. Jej niezwykłe właściwości zaskakiwały, jak wprowadzenie do matematyki pojęcia zera (wynalazek hinduski z IV–V wieku po Chrystusie). Nieskończoność nie jest liczbą, np. nie jest parzysta ani nieparzysta. To pewna idea wielkości, a może i doskonałości.
Pojęcie nieskończoności przydaje się do opisu wieczności w eschatologii chrześcijańskiej. Mówi o pośmiertnym życiu wiecznym.
Używając pojęcia nieskończoności nie można mówić o wielkościach większych lub mniejszych, choć np. liczb dodatnich i ujemnych jest więcej niż tylko dodatnich. Arytmetyka nie bardzo nadaje się do nieskończoności. Kiedy do nieskończoności doda się 1, to w wyniku otrzyma się również nieskończoność. Gdy do nieskończoności doda się nieskończoność, to też nic się nie zmieni, tj. wciąż będzie to nieskończoność. Nic nie da także mnożenie nieskończoności. W wyniku zawsze będzie nieskończoność.
Pojęcie nieskończoności w umyśle może doprowadzić do jej destabilizacji. Georg Cantor zajmując się wyższą matematyką abstrakcyjną przeszedł załamanie nerwowe i zmarł w przytułku dla obłąkanych. Wprowadził on wielość nieskończoności, całą hierarchie, co spowodowało, że jego umysł zapełnił się od nich i nie wytrzymał. Widać umysł ludzki ma ograniczenia, które nie należy przekraczać.
Austriacki logik Kurt Gödel zajmujący się systemami logicznymi oraz pojęciem nieskończoności skończył życie podobnie jak Cantor – pokonała go choroba psychiczna.
Trudno się dziwić, że tak potężne narzędzie i pojęcie zostało wykorzystane, adekwatnie do wielkości, do opisu przymiotów Stwórcy. Bóg jest nieskończenie dobry, miłosierny i doskonały. Bóg jest obecny wszędzie, nawet w nieskończoności. W nieskończonej odległości od Boskiego Źródła Niebiańskiego Światła znajduje się „piekło” (czyli praktycznie nie istnieje). |
Ostatnio zmieniony przez rafal3006 dnia Pią 9:11, 15 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 7:30, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786375
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:
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)
Oczywistym jest że zapis:
Y [=] ~Y
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 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
Ostatnio zmieniony przez rafal3006 dnia Pią 11:22, 15 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 9:13, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786395
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:18, 15 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 10:56, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786417
| 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:
1: Y (alternatywa koniunkcji) [=] 4:~Y (koniunkcja alternatyw)
Oczywistym jest że zapis:
Y [=] ~Y
jest sprzeczny z algebrą Boole’a, jest błędem fatalnym w logice matematycznej. |
Ostatnio zmieniony przez rafal3006 dnia Pią 11:24, 15 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 12:37, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786437
| 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
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?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 12:53, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786463
| 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!
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:57, 15 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 13:43, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786477
| 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!
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 poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 15:16, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786519
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
?!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 16:12, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786531
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:14, 15 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 17:38, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5925.html#786547
| 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?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 17:41, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786551
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.
|
| Irbisol napisał: | I co z tego, że kiedyś to pisałem?
Teraz x to zmienna binarna. |
Weźmy tą twoją funkcję tożsamościową:
Y = f(x) = x
1.
Podstawiam:
x=1
Stąd mamy:
Y=f(1)=1
2.
Podstawiam:
x=0
stąd mamy
Y = f(0)=0
Więcej możliwości nie masz, i co ma z tego wynikać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 19:07, 15 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786559
| Irbisol napisał: | | A skąd ja mam to wiedzieć? I dlaczego cokolwiek miałoby z tego wynikać? |
Ty jesteś autorem tej definicji funkcji tożsamościowej:
Y = f(x) =x
więc ty masz wiedzieć co ona oznacza i jak z niej korzystać!
Nie mam więcej pytań, Pa.
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.
|
Podsumowując:
Irbisol nie ma bladego pojęcia co oznacza jego definicja funkcji tożsamościowej:
Y = f(x) =x
a domaga się ode mnie bym z niej korzystał i coś mu tam udowodnił?
Większego matematycznego pajaca to nasz Wszechświat nie widział.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 0:51, 16 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786589
Prawo Albatrosa!
na końcu postu.
| Irbisol napisał: | | Korzystasz tak, jak z każdej funkcji, której definicję masz podaną. |
Definicja funkcji tożsamościowej podana przez Irbisola:
Y = f(x) =x
ok
Biorę konkretny przykład funkcji logicznej której definicję mam podaną.
Definicja funkcji logicznej:
Dowolna funkcja jest funkcją logiczną wtedy i tylko wtedy gdy jest definiowana tabelą zero-jedynkową w algebrze Boole'a
Definicja funkcji logicznej warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q =~p+q
| Kod: |
Definicja zero-jedynkowa warunku wystarczającego =>:
p q Y=(p=>q)=~p+q
A: 1 1 1
B: 1 0 0
C: 0 0 1
D: 0 1 1
|
Prawo Irbisa:
Dwa pojęcia p i q są tożsame p=q wtedy i tylko wtedy gdy zajście p jest wystarczające => dla zajścia q i równocześnie zajście q jest wystarczające => dla zajścia p
p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Na mocy definicji funkcji logicznej warunku wystarczającego => mamy:
A1B3: Y = (p<=>q) = (A1: p=>q)*(B3: q=>p) = (~p+q)*(~q+p) = ~p*~q + ~p*q + q*~q + q*p = p*q + ~p*~q
Stąd:
Y = (p<=>q) = p*q +~p*~q
Zapis tożsamy:
Y = p*q + ~p*~q
Wniosek:
Funkcja Y jest funkcją logiczną, bo jest definiowana konkretną tabelą zero-jedynkową w algebrze Boole'a
| Kod: |
Definicja zero-jedynkowa równoważności <=>:
p q Y=(p<=>q)=p*q+~p*~q
A: 1 1 1
B: 1 0 0
C: 0 0 1
D: 0 1 0
|
Stąd mamy definicję funkcji logicznej równoważności Y=(p<=>q) wyrażoną spójnikami "i"(*) i "lub"(+):
Y = (p<=>q) = p*q + p*~q
Zapis tożsamy:
Y = p*q + ~p*~q
Wniosek:
Funkcja logiczna Y jest funkcją tożsamościową:
Y<=> p*q+~p*~q
Czytamy:
Zajdzie Y wtedy i tylko wtedy gdy zajdzie p*q + ~p*~q
Innymi słowy:
Y = p*q + ~p*~q
Czytamy:
Pojęcie Y jest tożsame [=] z pojęciem p*q+~p*~q
Przykład:
Pani w przedszkolu:
1.
Jutro pójdziemy do kina wtedy i tylko wtedy gdy pójdziemy do teatru
Y = (K<=>T) = A: K*T + C: ~K*~T
Czytamy:
Pani dotrzyma słowa Y wtedy i tylko wtedy gdy:
Ya = K*T =1*1=1 - jutro pójdziemy do kina (K) i pójdziemy do teatru (T)
lub
Yc=~K*~T=1*1=1 - jutro nie pójdziemy do kina (~K) i nie pójdziemy do teatru (~T)
Oczywistym jest że:
Y = Ya+Yc
Po rozwinięciu mamy:
Y = A: K*T + C: ~K*~T
cnd
Małgosia do Jasia (oboje są uczniami I klasy LO):
Czy wiesz kiedy pani nie dotrzyma słowa (~Y)?
Jaś:
Oczywiście że wiem!
Negujemy funkcję 1 dwustronnie, stąd mamy:
2.
~Y = ~(p*q+~p*~q) = B: p*~q + D: ~p*q
Nasz przykład:
~Y = B: K*~T + D: ~K*T
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy:
~Yb=K*~T=1*1=1 - jutro pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
lub
~Yd=~K*T=1*1=1 - jutro nie pójdziemy do kina (~K) i pójdziemy do teatru
Oczywistym jest że:
~Y=~Yb+~Yd
Po rozwinięciu mamy:
~Y = B: K*~T + D: ~K*T
cnd
Stąd mamy:
Prawo Albatrosa:
Każda funkcja logiczna Y algebry Boole’a jest funkcją tożsamościową, spełniającą zero-jedynkową definicję równoważności
Y=f(x)
Gdzie:
f(x) - dowolne wyrażenie algebry Boole’a
Nasz przykład:
f(x)=p*q+~p*~q
Tu zamiast x możemy wyliczyć ilość zmiennych binarnych tworzących funkcję logiczną np.
f(p, q) = p*q + ~p*~q - funkcja logiczna dwóch zmiennych binarnych p i q
Stąd na mocy definicji funkcji logicznej mamy:
Y = f(p, q) = p*q+~p*~q
Zapis tożsamy:
Y = p*q+~p*~q
Podsumowując:
Irbisolu,
1.
Czy dobrze skorzystałem z twojej definicji funkcji tożsamościowej:
Y = f(x) =x
?
Jeśli NIE, to wskaż w którym miejscu popełniłem błąd czysto matematyczny w moim przykładzie?
2.
Czy zgadzasz się na prawo Albatrosa?
Ostatnio zmieniony przez rafal3006 dnia Sob 7:23, 16 Mar 2024, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:15, 16 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786617
| Irbisol napisał: | | Nie - wszystko popierdoliłeś, mimo że ci kilka razy tłumaczyłem. |
Dzięki, właśnie piszę nowy rozdział w algebrze Kubusia:
26.0 Prawo Albatrosa
gdzie wszystko będziesz miał wyjaśnione.
Apropo, czy zgadzasz się na poniższą definicję funkcji logicznej?
Definicja funkcji logicznej:
Dowolna funkcja jest funkcją logiczną wtedy i tylko wtedy gdy jest definiowana tabelą zero-jedynkową w algebrze Boole'a
Definicja funkcji logicznej warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q =~p+q
| Kod: |
Definicja zero-jedynkowa warunku wystarczającego =>:
p q Y=(p=>q)=~p+q
A: 1 1 1
B: 1 0 0
C: 0 0 1
D: 0 1 1
|
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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:18, 16 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786623
| Irbisol napisał: | Nie zgadzam się, mimo że wydaje się to być nieuchronną konsekwencją każdej funkcji logicznej. Ale wg mnie to jest skutek, a nie pierwotna definicja.
Niedługo minie miesiąc, odkąd zadałem ci pytanie.
Nadal nie jesteś w stanie na to pytanie odpowiedzieć. |
Odpowiadam na twoje pytanie:
Twoja definicja funkcji tożsamościowej:
Y=f(x)=x
na 100% jest do DUPY!
Swojego zapisu sam nie rozumiesz, nie wymagaj zetem że ktokolwiek zrozumie ten gówno-zapis.
P.S.
Czekam kiedy zrozumiesz że wszelkie funkcje rodem z matematyki klasycznej np.
Y=x
Y=x^2-4
Mają zero wspólnego z algebrą Boole'a!
Zrozumiesz to kiedykolwiek, czy nigdy?
Jeśli rozmawiamy o algebrze Boole'a to moja definicja funkcji logicznej algebry Boole'a jest na 100% DOBRA!
Jeśli nie chcesz rozmawiać o algebrze Boole'a to Pa, do widzenia.
Ostatnio zmieniony przez rafal3006 dnia Sob 10:23, 16 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: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:59, 16 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786633
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Nie zgadzam się, mimo że wydaje się to być nieuchronną konsekwencją każdej funkcji logicznej. Ale wg mnie to jest skutek, a nie pierwotna definicja.
Niedługo minie miesiąc, odkąd zadałem ci pytanie.
Nadal nie jesteś w stanie na to pytanie odpowiedzieć. |
Odpowiadam na twoje pytanie:
Twoja definicja funkcji tożamościowej:
Y=f(x)=x
na 100% jest do DUPY!
Swojego zapisu sam nie rozumiesz, nie wymagaj zetem że ktokolwiek zrozumie ten gówno-zapis. |
Wszyscy go rozumieją, oprócz ciebie. |
Twoje "wszyscy rozumieją" oznacza że twoja definicja funkcji tożsamościowej:
Y=f(x)=x
jest powszechnie znana w matematyce.
Znajdź zatem dokładnie tą definicję funkcji tozsamościowej gdziekolwiek w Wikipedii lub w jakimkolwiek podręczniku matematyki.
Leżymy i kwiczymy - tyle zostanie z twoich poszukiwań 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 11:01, 16 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786641
Definicja funkcji tożsamościowej z Wikipedii
Teoria matematyczna konieczna dla zrozumienia definicji funkcji tożsamościowej w logice matematycznej.
Fragment z algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: |
2.8 Prawa Słonia
Prawa Słonia dla zdarzeń i zbiorów to najważniejsze prawa w logice matematycznej.
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
2.8.1 Prawo Słonia dla zbiorów
Prawo Słonia dla zbiorów (pkt 2.3):
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q - matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - matematyczne twierdzenie odwrotne (w odniesieniu do A1)
Prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.
Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów
Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwości/fałszywości dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą ”nie wprost"
Definicja podzbioru =>:
Zbiór p jest (=1) podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie jego elementy należą do zbioru q
Definicja nadzbioru ~>
Zbiór p jest (=1) nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
W logice matematycznej zachodzi tożsamość pojęć:
Podzbiór => = relacja podzbioru =>
Nadzbiór ~> = relacja nadzbioru ~>
W logice matematycznej rozstrzygamy o zachodzącej lub nie zachodzącej relacji podzbioru => czy też nadzbioru ~>.
Rozstrzygnięcia logiki matematycznej w relacji podzbioru =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q
##
Rozstrzygnięcia logiki matematycznej w relacji nadzbioru ~>:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q
Gdzie:
## - różne na mocy definicji podzbioru => i nadzbioru ~>
Przykład:
Zbadaj czy zachodzi warunek wystarczający => w poniższym zdaniu:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to jest podzielna przez 2
A1: P8=>P2=?
Rozwiązanie:
Na mocy prawa Kłapouchego zapis formalny (ogólny) zdania A1 to:
A1: p=>q =1
Gdzie:
p=P8
q=P2
Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q matematyczne twierdzenie proste =>
W metodzie "nie wprost" na mocy prawa Słonia dowodzimy prawdziwości relacji podzbioru =>.
Innymi słowy badamy:
Czy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]?
Oczywiście relacja podzbioru => jest (=1) tu spełniona:
P8=>P2=1
co każdy matematyk bez trudu udowodni.
W tym momencie na mocy prawa Słonia mamy udowodnione metodą "nie wprost" dwa fakty czysto matematyczne:
1.
Twierdzenie proste A1 jest prawdziwe
A1: P8=>P2 =1
2.
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2
A1: P8=>P2 =1
Podsumowując:
Z gołych definicji podzbioru => i warunku wystarczającego => nic w matematyce nie wynika, dopóki nie poznamy prawa Słonia.
Dopiero prawo Słonia w dowodzeniu prawdziwości warunku wystarczającego =>, czy też prawdziwości samego zdania warunkowego „Jeśli p to q" ma fundamentalne znaczenie, co udowodniono ciut wyżej. |
[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”. |
Zauważ, Irbisolu, że w tym wytłuszczonym jak byk masz zapisane twoje własne prawo Irbisa.
Prawo Irbisa w teorii zbiorów:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy są w relacji równoważności p<=>q (i odwrotnie)
p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Od lewej do prawej czytamy:
Dwa zbioru p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1) i jednocześnie zbiór q jest podzbiorem => zbioru p (B3)
Innymi słowy:
Dwa zbioru p i q są tożsame p=q wtedy i tylko wtedy gdy każdy element zbioru p należy => do zbioru q (A1) i jednocześnie każdy element zbioru q należy => do zbioru p (B3)
Zauważ Irbisolu, że mamy tu także zgodność z Wikipediową intuicją:
| Wikipedia napisał: | | Intuicyjnie: funkcja, która „nic nie zmienia”. |
Jeśli dwa zbiory p i q są tożsame p=q to oczywistym jest, że fakt ten na 100% jest zgodny z Wikipediową „intuicją”
cnd
Podsumowując:
Irbisolu, pewne jest (znamy się od 15 lat), że rozumiesz i akceptujesz niniejszy post w 100%.
Wnioski:
1.
Matematycznie, Wikipediowa definicja funkcji tożsamościowej jest poprawna
Natomiast:
2.
Irbisolowa definicja funkcji tożsamościowej:
Y = f(x)=x
to jedno, wielkie, potwornie śmierdzące gówno.
Irbisolu, zgadzasz się z wnioskami 1 i 2 wyżej?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35371
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 11:37, 16 Mar 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786665
| Irbisol napisał: | | rafal3006 napisał: | | Dwa zbioru p i q są tożsame p=q wtedy i tylko wtedy gdy każdy element zbioru p należy => do zbioru q (A1) i jednocześnie każdy element zbioru q należy => do zbioru p (B3) |
To, że zbiory są tożsame nie oznacza, że przyporządkowanie elementów przez funkcję z jednego zbioru w drugi będzie tożsame.
To jak - masz te 2 rozwiązania wg małpy? |
Fakt, iż zbiory p i q są tożsame p=q oznacza, że są w relacji równoważności p<=>q, czyli spełniają funkcję równoważności p<=>q
Zgadza się?
P.S.
Z małpą to poczekam jak napiszę nowy rozdział w AK:
26.0 Prawo Albatrosa
Każdy kto napisze iż nie rozumie prawa Albatrosa będzie matematycznym głąbem
|
|
| 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
