Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Dlaczego nasz Wuj Zbój jest matematycznym idiotą?

 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysłany: Nie 1:18, 13 Paź 2019    Temat postu: Dlaczego nasz Wuj Zbój jest matematycznym idiotą?

http://www.sfinia.fora.pl/forum-kubusia,12/gowno-logika-ziemian-zwana-klasycznym-rachunkiem-zdan,11921-1275.html#478101
rafal3006 napisał:
Dlaczego nasz Wuj Zbój jest matematycznym idiotą?
Dowód w niniejszym poście.

To było do przewidzenia.
Na matematyce.pl zamknięto mi interesujący mnie temat:
[link widoczny dla zalogowanych]

... no i jak w tej sytuacji mam przekonać ziemskich matematyków do algebry Kubusia?

W świecie techniki to do czego chciałem przekonać ziemskich matematyków to banały nad banałami!

Weźmy równoważność wyrażoną spójnikami "i"(*) i "lub"(+) znaną absolutnie każdemu matematykowi.
Y = p*q + ~p*~q

Przejście do logiki ujemnej metodą Wuja Zbója:
1.
Uzupełniamy brakujące nawiasy
Y = (p*q) + (~p*~q) - funkcja alternatywno-koniunkcyjna w logice dodatniej (bo Y)
2.
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne:
~Y = (~p+~q)*(p+q) - funkcja koniunkcyjno-alternatywna w logice ujemnej (bo ~Y)

Przejście do funkcji alternatywno-koniunkcyjnej jest tu trywialne i polega na wymnożeniu wielomianów logicznych

Stąd mamy:
~Y = ~p*p + ~p*q + ~q*p + ~q*q
~Y = ~p*q + p*~q - funkcja alternatywo-koniunkcyjna w logice ujemnej (bo ~Y)

Dowód poprawności powyższych przekształceń w świecie techniki choćby w tym linku:
[link widoczny dla zalogowanych]
Gdzie stoi jak wół:
a(~a + ab + bc) = a ⋅ ~a + a ⋅ a ⋅ b + a ⋅ b ⋅ c = 0 + a ⋅ b + a ⋅ b ⋅ c = a ⋅ b ⋅(c +1) = a ⋅ b
Ewidentnie widać, że inżynierowie biją na głowę ziemskich matematyków bowiem u nich ewidentnie zachodzi kolejność wykonywania działań w logice matematycznej:
nawiasy, „i”(*), „lub”(+).
Co śmieszniejsze, jak widać wyżej inżynierowie umieją mnożyć wielomiany logiczne, o czym ziemscy matematycy nie mają bladego pojęcia.

Sam widzisz Wujek że jesteś matematycznym idiotą bo twojego autorstwa przejście do logiki ujemnej (bo ~Y) jest matematycznie o kant dupy potłuc.

Pytanie do Wujka:
Czy przyznajesz się, iż jesteś matematycznym idiotą?
Na dodatek, swój matematyczny idiotyzm wlałeś do mózgu Rafała3006 - oj, będziesz się w piekle smażył na wiecznych piekielnych mękach.


Ostatnio zmieniony przez rafal3006 dnia Nie 2:06, 13 Paź 2019, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysłany: Nie 5:49, 13 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/gowno-logika-ziemian-zwana-klasycznym-rachunkiem-zdan,11921-1275.html#478111
rafal3006 napisał:
My, pacjenci zakładu zamkniętego bez klamek …
Z dedykacją dla ziemskich matematyków.

Wujek, nie przejmuj się tak z zaliczeniem ciebie do grona matematycznych idiotów zdaniem ziemskich matematyków, bo …

Aktualnie według oficjalnego stanowiska ziemskich matematyków do grona matematycznych idiotów należą:
Wuj Zbój, Rafał3006 i wszyscy inżynierowie u których obowiązuje kolejność wykonywania działań w logice matematycznej:
nawiasy, „i”(*), „lub”(+)
czego dowód mamy tu:
[link widoczny dla zalogowanych]
Gdzie stoi jak wół:
a(~a + ab + bc) = a ⋅ ~a + a ⋅ a ⋅ b + a ⋅ b ⋅ c = 0 + a ⋅ b + a ⋅ b ⋅ c = a ⋅ b ⋅(c +1) = a ⋅ b
Ewidentnie widać, że inżynierowie biją na głowę ziemskich matematyków bowiem u nich ewidentnie zachodzi kolejność wykonywania działań w logice matematycznej:
nawiasy, „i”(*), „lub”(+).
Co śmieszniejsze, jak widać wyżej inżynierowie umieją mnożyć wielomiany logiczne, o czym ziemscy matematycy nie mają bladego pojęcia.

Na matematyce.pl zakwestionowano mi banalny sposób minimalizacji funkcji logicznej Y z wykorzystaniem logiki dodatniej (bo Y) i ujemnej (bo ~Y).

Oto dowód który mi zakwestionowano …

Zadaniem była minimalizacja wyrażenia logicznego:
(q=>r*p)+~r

Moje rozwiązanie było następujące:

W poniższej minimalizacji korzystam z definicji znaczka =>:
p=>q = ~p+q

Rozwiązanie:
Zapiszmy nasze wyrażenie w postaci funkcji logicznej Y:
Y = (q=>r*p) + ~r = ~q+r*p + ~r
Uzupełniamy brakujące nawiasy bo kolejność wykonywania działań w logice to:
nawiasy, “i”(*), “lub”(+)
stąd mamy:
Y = ~q+(r*p)+~r
Zdefiniujmy funkcję cząstkową Y1:
Y1=(r*p)+~r
Przejście do logiki ujemnej (bo ~Y1) poprzez negację zmiennych i wymianę spójników na przeciwne:
~Y1 = (~r+~p)*r
Po wymnożeniu wielomianu logicznego mamy:
~Y1 = ~r*r + ~p*r = ~p*r
~Y1=r*~p
Powrót do logiki dodatniej (bo Y1) poprzez negację zmiennych i wymianę spójników na przeciwne:
Y1=~r+p
Odtwarzając podstawienie mamy:
Y = ~q+~r+p
Stąd w zapisie p=>q mamy:
Y = q=>(~r+p)

Stąd mamy tożsamość matematyczną:
Y = (q=>r*p)+~r = q=>(~r+p)
cnd

W powyższym dowodzie zakwestionowano mi kolejność wykonywania działań w logice matematycznej:
nawiasy, „i”(*), „lub”(+)
Tak więc cały powyższy dowód, zdaniem ziemskich matematyków jest o kant dupy potłuc, a my Wujek - znaczy, Ty, Ja i inżynierowie, żyjemy sobie w zakładzie zamkniętym bez klamek.

Dowód:
[link widoczny dla zalogowanych]
JK napisał:

Nieprawda. Według standardowej konwencji spójniki „i”(*) i „lub”(+) są równorzędne, więc Twoje zapisy są niepoprawne formalnie.


Ostatnio zmieniony przez rafal3006 dnia Nie 6:03, 13 Paź 2019, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysłany: Śro 22:27, 16 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/gowno-logika-ziemian-zwana-klasycznym-rachunkiem-zdan,11921-1275.html#478837
rafal3006 napisał:
Prawo Wuja Zbója

[link widoczny dla zalogowanych]
jk napisał:

rafal3006 napisał:

Proszę spojrzeć na takie zdanie:
Jutro pójdziemy do parku lub do kina i do teatru
Y=P+K*T
Kodowanie tożsame:
Y=P+(K*T)
Kodowanie matematycznie błędne:
Y=(P+K)*T
Ewidentnie zachodzi tu kolejność wykonywania działań:
nawiasy, „i”(*), „lub”(+)


Nieprawda. Uparcie piszesz nieprawdziwe stwierdzenia. W zapisie formalnym w ogóle każde użycie spójnika wymaga zastosowania nawiasów. Żeby napis nie był nieczytelny, stosuje się pewne konwencje upraszczające zapis i taką powszechnie używaną w matematyce konwencją jest ta, w której najwyższy priorytet ma negacja, potem równorzędnie alternatywa i koniunkcja, a na końcu równorzędnie implikacja i równoważność. A Twoje "kodowania" to wytwór Twojej pomysłowości. Oczywiście, każdy może używać na własny użytek takiej notacji, na jaką ma ochotę. Nie powinieneś jednak wprowadzać innych użytkowników w błąd twierdząc, że jest to metoda powszechnie stosowana oraz wygłaszać nieprawdziwych stwierdzeń na temat poprawności bądź błędności pewnych zapisów, bo potem ktoś Cię zacytuje i będzie miał problemy.

A podawanie przykładów z języka potocznego jako uzasadnienia prawdziwości swoich wywodów dotyczących logiki formalnej jest dość niepoważne.

To wytłuszczone to totalna klęska matematyków

Zerknijmy do świata inżynierów gdzie rzeczywistość matematyczna jest poprawna, czyli w logice matematycznej obowiązuje kolejność wykonywania działań:
nawiasy, „i”(*), „lub”(+)

[link widoczny dla zalogowanych]
Gdzie stoi jak wół:
a(~a + ab + bc) = a ⋅ ~a + a ⋅ a ⋅ b + a ⋅ b ⋅ c = 0 + a ⋅ b + a ⋅ b ⋅ c = a ⋅ b ⋅(c +1) = a ⋅ b
Ewidentnie widać, że inżynierowie biją na głowę ziemskich matematyków bowiem u nich ewidentnie zachodzi kolejność wykonywania działań w logice matematycznej:
nawiasy, „i”(*), „lub”(+).
Co śmieszniejsze, jak widać wyżej inżynierowie umieją mnożyć wielomiany logiczne, o czym ziemscy matematycy nie mają bladego pojęcia.

Zapiszmy wytłuszczony fragment jako funkcję logiczną:
Y = ~a+ab+bc
Wydzielmy funkcję cząstkową podstawiając:
Y1 = ~a+ab
Skrócone przejście do logiki ujemnej (bo ~Y1) wymaga uzupełnienia spójników i nawiasów z oczywistą dla każdego inżyniera kolejnością wykonywania działań:
nawiasy, „i”(*), „lub”(+).
Stąd nawiasy w funkcji Y1 możemy ustawić w jeden, jedyny sposób:
Y1= ~a+(a*b)
Dopiero teraz możemy zastosować skrócony algorytm przejścia do logiki ujemnej (bo ~Y1):
negujemy zmienne i wymieniamy spójniki na przeciwne
~Y1 = a*(~a+~b) = a*~a+a*~b
~Y1 = a*~b
Powrót do logiki dodatniej (bo Y1) poprzez negację zmiennych i wymianę spójników na przeciwne:
Y1 = ~a+b
Po odtworzeniu podstawienia mamy:
Y = ~a+b+a*b = ~a+b*(1+a) = ~a+b
Doskonale widać, że wszystko jest tu proste jak cep - matematyk który nie rozumie (nie akceptuje) powyższych przekształceń funkcjonujących w świecie inżynierów powinien skreślić sobie słówko matematyk sprzed swego nazwiska.

Rozważmy przykład omówiony wyżej:
Niech będzie dana funkcja logiczna ze świata inżynierów:
Y1 = ~a+ab

Algorytm Wuja Zbója przejścia do logiki ujemnej (bo ~Y1):
1.
Uzupełniamy brakujące spójniki i nawiasy:
Y1 = ~a + (a*b)
2.
Przejście do logiki ujemnej (bo ~Y1) poprzez negację zmiennych i wymianę spójników:
~Y1 = a*(~a+~b) = a*~a + a*~b
~Y1 = a*~b
Koniec algorytmu Wuja Zbója

Dalej mamy czystą matematykę:
Do logiki dodatniej (bo Y1) możemy wrócić na trzy sposoby:
Sposób 1:
Negujemy funkcję ~Y1 dwustronnie:
~(~Y1) = ~(a*~b) = ~a+b - prawo De Morgana
stąd:
Y1=~a+b
Sposób 2:
Negujemy zmienne i wymieniamy spójniki na przeciwne:
Y1 = ~a+b
Sposób 3:
Związek logiki dodatniej (bo Y1) z logiką ujemną (bo ~Y1):
Logika dodatnia to zanegowana logika ujemna
Y1 = ~(~Y1)
Po podstawieniu ~Y1 mamy:
Y1 = ~(a*~b) = ~a+b (prawo De Morgana)

Prawo Wuja Zbója:
W algorytmie Wuja Zbója, zarówno w logice dodatniej (bo Y) jak i ujemnej (bo ~Y) obowiązuje identyczna kolejność wykonywania działań:
nawiasy, „i”(*), „lub”(+)
wtedy i tylko wtedy, gdy przed przejściem z jednej logiki do drugiej uzupełnimy brakujące spójniki i nawiasy zgodnie z powyższą kolejnością wykonywania działań.

Dowód prawa Wuja Zbója na przykładzie.

Niech będzie dana funkcja logiczna ze świata inżynierów;
Y = p+q*r
Przejście do logiki ujemnej (bo Y) „na piechotę” to oczywista negacja dwustronna powyższej funkcji:
~Y = ~(p+q*r) = ~p*~(q*r) = ~p*(~q+~r) = ~p*~q + ~p*~r
Na mocy prawa De Morgana i mnożenia wielomianów logicznych.

Zauważmy że:
Poprawność algorytmu Wuja Zbója widać tu jak na dłoni!

Dana jest nasza funkcja logiczna:
Y = p+qr
Przejście do logiki ujemnej (bo ~Y) algorytmem Wuja Zbója:
1.
Uzupełniamy brakujące spójniki i nawiasy:
Y = p+(q*r)
2.
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne
~Y = ~p*(~q+~r) = ~p*~q + ~p*~r
cnd

Zauważmy, że powyższa funkcja jest prościutka i już mamy niezłą gimnastykę przy przejściu do logiki ujemnej (bo ~Y) „na piechotę” z wykorzystaniem prawa De Morgana.
Strach pomyśleć co będzie gdy funkcja będzie miała bardzo dużą liczbę argumentów połączonych spójnikami „i”(*) i „lub”(+) np.
Y = p+qr + ~sp + t(q+~r)

Tu algorytm Wuja Zbója nadal działa doskonale!
1.
Uzupełniamy brakujące spójniki i nawiasy:
Y = p+(q*r)+(~s*p)+[t*(q+~r)]
2.
Negujemy zmienne i wymieniamy spójniki na przeciwne:
~Y = ~p*(~q+~r)*(s+~p)*[~t+(~q*r)]
cnd

Teraz proponuję powrót do przeszłości, by wyjaśnić genezę algorytmu przejścia do logiki ujemnej autorstwa Wuja Zbója.

Na samym początku (z 14 lat temu) walczyłem z następującym problemem.

Niech będzie dana dowolnie długa funkcja logiczna:
Y = p+q*r
Wyłącznie dla uproszczenia przekazu przyjmuję funkcję krótką i banalną jak wyżej.

Mój pierwotny algorytm przejścia do logiki ujemnej (bo ~Y) był następujący:
Y = p+q*r
Kolejność wykonywania działań w logice dodatniej (bo Y) to:
nawiasy, „i”(*), „lub”(+)
Przejście do logiki ujemnej (bo ~Y) pierwotnym sposobem Rafała3006 to:
Negujemy zmienne i wymieniamy spójniki na przeciwne na oryginalnej funkcji Y!
~Y=~p*~q+~r
Kolejność wykonywania działań w logice ujemnej (bo ~Y) to:
Nawiasy, „lub”(+), „i”(*)
Na mocy powyższego uzupełniamy nawiasy w funkcji ~Y:
~Y = ~p*(~q+~r) = ~p*~q + ~p*~r

Doskonale widać, że wynik końcowy mamy tu identyczny jak w algorytmie Wuja Zbója.
Nasz genialny Wuj widząc moją walkę z wiatrakami jak wyżej zaproponował swój algorytm przejścia do logiki ujemnej (bo ~Y) gdzie zarówno w logice dodatniej (bo Y) jak i ujemnej (bo ~Y) obowiązuje identyczna kolejność wykonywania działań:
nawiasy, „i”(*), „lub”(+)
zaznaczając przy tym że nic nowego nie odkryłem bo to są banały znane każdemu matematykowi.

Zapytuję zatem ziemskich matematyków:
Czy rzeczywiście znany jest wam algorytm przejścia z logiki dodatniej (bo Y) do ujemnej (bo ~Y) i z powrotem metodą Wuja Zbója?
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Strona 1 z 1

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin