ŚFiNiA

rafal3006

Prawo Mrówkojada!
Nowość w algebrze Kubusia!
2025-04-20 Przypadkowo Wielka Noc

Większego, potwornie śmierdzącego gówna, niż aktualna „ziemska logika matematyczna” nasz Wszechświat nie widział!
Dowód w niniejszym poście!

Zdecydowanie największym gównem w ziemskiej logice matematycznej jest …
Prawo eliminacji implikacji:
Y = p=>q = ~p+q
Interpretacja w AK:
W algebrze Kubusia to jest prawo eliminacji warunku wystarczającego =>:
Y = p=>q = ~p+q

Dlaczego?
Algebra Kubusia:
Zapisując prawo eliminacji warunku wystarczającego => w postaci funkcji logicznej:
Y = ~p+q
lądujemy w równoważności:
Y<=>~p+q
Zabijając istotę wszelkich zdań warunkowych, „Jeśli p to q” czyli warunek wystarczający => i nierozerwalnie z nim związany warunek konieczny ~>

Irbisol

Czyli w AK równoważność odpowiada na jedno pytanie, a w KRZ - na dwa.

Co z podstawką p do zdania "dotrzyma słowa, że p"? Nadal ci wychodzi "dotrzyma słowa, że kino", gdy p = "jutro pójdziemy do kina"?

rafal3006

Irbisolu, wszystko masz potwornie posrane, abecadła logiki matematycznej nigdy nie pojmiesz!
... dopóki nie wyczyścisz swojego mózgu z gówna zwanego dla niepoznaki Klasycznym Rachunkiem Zdań

Irbisol

rafal3006

Irbisolu, twój zwrot" "dotrzyma słowa że p" to matematyczny debilizm do potęgi nieskończonej dla nikogo niezrozumiały!
Ciekawe kiedy to pojmiesz?
W tym życiu, czy w następnym?

rafal3006

Czy Irbisol kiedykolwiek dogada się z 5-cio latkiem?
Tak, pod warunkiem że wbije osikowy kołek w samo serce wampira dla niepoznaki zwanego Klasycznym Rachunkiem Zdań

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11650.html#839135

Irbisol

Odpowiedz na to, co napisałem tutaj, spierdalaczu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11650.html#839135

Pierwsza kwestia: pisałeś coś o "za wysokich progach", podczas gdy w KRZ wystarczy jeden zapis by wyrazić to, do czego u ciebie potrzeba dwóch zapisów.

Druga kwestia: pierdoliłeś, że po podstawieniu do zdania "dotrzyma słowa, że p" p zdefiniowanego jako "jutro pójdziemy do kina", wyjdzie w efekcie "dotrzyma słowa, że kino".
Do dopiero trzeba mieć zjebaną algebrę, żeby tak podstawiać :rotfl:

rafal3006

Irbisol

I gdzie to "zapędzenie w kozi róg", schizofreniku?
Pierdolisz coś o osikowych kołkach, Jasiach, mieczach i Kordosie. Zero odniesienia się do tego, że mój jeden zapis
D(p) <=> p
opisuje wszystkie scenariusze, a u ciebie trzeba tony gówna przyspamować, żeby cokolwiek z tego było.

No i co z tym twoim podstawieniem do zdania "dotrzyma słowa, że p" p zdefiniowanego jako "jutro pójdziemy do kina", przez co ci wyszło w efekcie "dotrzyma słowa, że kino"?

rafal3006

Irbisol nigdy, przenigdy nie odpowie Jasiowi (lat 5) na jego pytanie w sposób dla Jasia zrozumiały!

Irbisol

Jeżeli ten twój Jaś rozumie megabajtowe wysrywy z układami równań, to tym bardziej zrozumie proste
D(p) <=> p

Co z tym twoim podstawieniem do zdania "dotrzyma słowa, że p" p zdefiniowanego jako "jutro pójdziemy do kina", przez co ci wyszło w efekcie "dotrzyma słowa, że kino"?

rafal3006

Odpowiedź na pytanie Jasia!
Biedny Irbisol - leży i kwiczy.
:rotfl:

Irbisol

Już odpowiedziałem:
D(p) <=> p

Co z tym twoim podstawieniem do zdania "dotrzyma słowa, że p" p zdefiniowanego jako "jutro pójdziemy do kina", przez co ci wyszło w efekcie "dotrzyma słowa, że kino"?

rafal3006

Irbisol

Dotrzyma, jak pójdą do kina, a nie dotrzyma jak nie pójdą.

Za mało pierdolenia? :mrgreen:

rafal3006

Biedny Irbisol, znów leży i kwiczy - tym razem z powodu braku matematycznego opisu dla zdania które wypowiedział!

Irbisol

Czy Jaś zrozumiał moją odpowiedź?

rafal3006

Irbisolu, czy zgodzisz się przeczytać!
Podkład matematyczny w algebrze Kubusia dla twojego zdania które przed chwilką zapisałeś?

rafal3006

Koniec gówna dla niepoznaki zwanego Klasycznym Rachunkiem Zdań

Fragment z AK (przed chwilką zapisany):
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#727801

Spis treści
20.8 Prawo Mrówkojada 1
20.8.1 Dowód prawa Mrówkojada dla trzech zmiennych binarnych 2
20.8.2 Definicja miękkiej jedynki w logice matematycznej 4
20.8.3 Podsumowanie 4

20.8 Prawo Mrówkojada

Definicja operatora n-argumentowego:
Operator n-argumentowy to złożenie dwóch funkcji logicznych n-argumentowych w logice dodatniej (bo Y) i w logice ujemnej (bo ~Y)
1.
Y=f(x)
Czytamy:
Zajdzie Y wtedy i tylko wtedy gdy zajdzie f(x)

.. a kiedy zajdzie ~Y?
Negujemy funkcje logiczną 1 stronami:
2.
~Y=~f(x)
Czytamy:
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~f(x)

Użyteczność operatora n-argumentowego w języku potocznym człowieka pokażemy na przykładzie bezwarunkowej obietnicy 3-argumenowej w języku potocznym.

Na wstępie przypomnijmy sobie kilka fundamentalnych pojęć tu obowiązujących.

Definicja „wolnej woli”:
„Wolna wola,” to zdolność do gwałcenia wszelkich praw logiki matematycznej wyznaczanych przez świat martwy i matematykę.

Oczywistym jest, że świat martwy nie może łamać praw logiki matematycznej pod które sam podlega. Wynika z tego, że „wolna wola” to nieodłączny atrybut świata żywego (człowiek nie jest tu wyjątkiem).

Definicja wyrażenia f(x) algebry Boole’a:
Wyrażenie f(x) algebry Boole’a to dowolna ilość zmiennych binarnych połączonych spójnikami „i”(*) i „lub”(+)
Przykład:
f(x)=~p*q+p*~q

Definicja funkcji logicznej Y algebry Boole’a:
Funkcja logiczna algebry Boole’a to zmienna binarna Y tożsama z wyrażeniem algebry Boole’a f(x)
Y = f(x)
Nasz przykład:
Y = f(x) = ~p*q+p*~q
lub krócej:
Y = ~p*q + p*~q
Ten zapis funkcji logicznej jest powszechnie stosowany w teorii bramek logicznych.
Przykład:
SN7486
[link widoczny dla zalogowanych]

Prawo Mrówkojada:
Dowolna obietnica zapisana w formie wyrażenia algebry Boole’a jest równoważnością, dającą odpowiedzi na dwa kluczowe pytania.
1.
Kiedy nadawca dotrzyma słowa (Y)?
Y = f(x)
Nadawca dotrzyma słowa (Y) wtedy i tylko wtedy gdy spełniona jest funkcja logiczna Y.
2.
Kiedy nadawca nie dotrzyma słowa (~Y)?
Negujemy równanie logiczne 1 stronami.
~Y=~(fx)
Nadawca nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy spełniona będzie funkcja logiczna ~Y

20.8.1 Dowód prawa Mrówkojada dla trzech zmiennych binarnych

Zadanie na maturze z matematyki w niedalekiej przyszłości.

Zadanie 1

Pani w przedszkolu wypowiada obietnicę bezwarunkową:
1
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru

Polecenia:
a)
Zapisz powyższe zdanie w postaci funkcji logicznej Y algebry Boole’a
b)
Odpowiedz w sposób zrozumiały dla 5-cio latka kiedy pani jutro dotrzyma słowa (Y)
c)
Zapisz zdanie 1 w postaci funkcji logicznej w logice ujemnej (bo ~Y).
d)
Odpowiedz w sposób zrozumiały dla 5-cio latka kiedy pani jutro nie dotrzyma słowa (~Y)

Rozwiązanie na poziomie ucznia LO:
1.
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
1a.
Y =B+ K*~T
Zapis matematycznie tożsamy:
Y <=> B+ K*~T
1b.
Co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> B=1 lub K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy <=> gdy jutro:
B
B=1 - pójdziemy na Basen (B=1)
„lub”(+)
K*~T
K=1 i ~T=1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)

Jeśli jutro zajdzie dowolne z powyższych zdarzeń to pani dotrzyma słowa (Y=1).
Miękka jedynka opisująca nieznaną przyszłość.

Jak sprawdzić pojutrze czy pani dotrzymała słowa?
Tu 5-cio latek sprawdza pojutrze, czy prawdziwy jest którykolwiek człon spójnika „lub”(+)
B
B=1 - byliśmy na basenie (B=1)
„lub”(+)
K*~T
K=1 i ~T=1 – byliśmy w kinie (K=1) i nie byliśmy w teatrze (~T=1)

Jeśli wczoraj zaszło dowolne z powyższych zdarzeń to pani dotrzymała słowa (Y=1).
Twarda jedynka opisująca znaną przeszłość.

1c.
Aby odpowiedzieć na pytanie kiedy jutro pani nie dotrzyma (~Y) musimy dwustronnie zanegować równanie logiczne 1a
~Y = ~(B+(K*~T))
Minimalizacja prawej strony na mocy prawa Wuja Zbója – negujemy zmienne i wymieniamy spójniki na przeciwne:
~Y = ~B*(~K+T)
Tu musimy przejść do czystej funkcji alternatywno-koniunkcyjnej, gdyż tylko w niej jedynki są domyślne.
~Y = ~B*~K + ~B*T
Zapis matematycznie tożsamy:
~Y <=> ~B*~K + ~B*T

1d.
Co w logice jedynek (naturalna logika 5-cio latka) oznacza:
~Y=1 <=> ~B=1 i ~K=1 lub ~B=1 i T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy <=> gdy jutro:
~B*~K
~B=1 I ~K=1 – nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
”lub”(+)
~B*T
~B=1 I T=1 – nie pójdziemy na basen (~B=1) i pójdziemy do teatru (T=1)

Jeśli jutro zajdzie którekolwiek z powyższych zdarzeń to pani nie dotrzyma słowa (~Y).
Miękka jedynka opisująca nieznaną przyszłość.

Jak sprawdzić pojutrze czy pani skłamała (= nie dotrzymała słowa ~Y)?
Tu 5-cio latek sprawdza pojutrze, czy prawdziwy jest którykolwiek człon spójnika „lub”(+)
~B*~K
~B=1 I ~K=1 – nie byliśmy na basenie (~B=1) i nie byliśmy w kinie (~K=1)
”lub”(+)
~B*T
~B=1 I T=1 – nie byliśmy na basenie (~B=1) i byliśmy w teatrze (T=1)

Jeśli wczoraj zaszło którekolwiek z powyższych zdarzeń to pani nie dotrzymała słowa (~Y).
Twarda jedynka opisująca znaną przeszłość.

20.8.2 Definicja miękkiej jedynki w logice matematycznej

Zauważmy, że opisując nieznaną przyszłość (obietnica pani przedszkolanki) mamy do czynienia z miękkimi jedynkami.
1.
Kiedy jutro pani dotrzyma słowa (Y):
Y <=> B+ K*~T
2.
Kiedy jutro pani nie dotrzyma słowa (~Y)?
~Y <=> ~B*~K + ~B*T
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd zapis tożsamy ostatniego pytania:
2.
Kiedy jutro pani nie dotrzyma słowa (Y=0)?

Zauważmy, że jutro pani może dotrzymać słowa (Y) albo nie dotrzymać słowa (~Y)
Trzeciej możliwości brak

Stąd mamy.
Definicja miękkiej jedynki w logice matematycznej:
Miękka jedynka w logice matematycznej to jedynka która może stać się twardym zerem.

Miękkie jedynki w naszym przykładzie to jedynki opisujące nieznaną przyszłość, zdania 1: Y i 2: ~Y

Oczywistym jest, że pojutrze wyłącznie jedna z dwóch występujących w naszym przykładzie miękkich jedynek ulegnie transformacji do jedynki twardej.
Druga z miękkich jedynek ulegnie transformacji do twardego zera, bo pani nie może jednocześnie dotrzymać słowa (Y=1) i nie dotrzymać słowa (~Y=1)

20.8.3 Podsumowanie

Podsumowanie:
I.
Analizę matematyczną wykonuje maturzysta w ziemskim LO w niedalekiej przyszłości

II.
5-cio latek ma za zadanie tylko i wyłącznie rozumieć sens zdań zapisanych przez maturzystę, co z niewielką pomocą pani przedszkolanki bez problemu wykona.

III.
Prawo Mrówkojada:
Dowolna obietnica zapisana w formie wyrażenia algebry Boole’a jest równoważnością, dającą odpowiedzi na dwa kluczowe pytania.
1.
Kiedy nadawca dotrzyma słowa (Y)?
Y = f(x)
Nadawca dotrzyma słowa (Y) wtedy i tylko wtedy gdy spełniona jest funkcja logiczna Y.
2.
Kiedy nadawca nie dotrzyma słowa (~Y)?
Negujemy równanie logiczne 1 stronami.
~Y=~(fx)
Nadawca nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy spełniona będzie funkcja logiczna ~Y

Dowód prawdziwości prawa Mrówkojada na przykładzie mamy wyżej:
1.
Kiedy jutro pani dotrzyma słowa (Y):
Y <=> B+ K*~T
2.
Kiedy jutro pani nie dotrzyma słowa (~Y)?
~Y <=> ~B*~K + ~B*T

V.
W naszym przykładzie udowodniliśmy działanie prawa Mrówkojada dla funkcji logicznej Y trzech zmiennych binarnych.
Y <=> B+ K*~T
Oczywistym jest, że ilość zmiennych binarnych w funkcji logicznej Y może być dowolna w granicach od jeden do n
Czyli:
Y = f(x) =p – funkcja logiczna jednej zmiennej binarnej
Y = f(x) = p+q – funkcja logiczna dwóch zmiennych binarnych
etc

Irbisol

A pisałeś, że nie potrafię tego tak zapisać, żeby Jaś zrozumiał.
Kłamałeś.

rafal3006

Irbisol

rafal3006

W algebrze Kubusia mamy tu identycznie jak w KRZ Irbisola!

Irbisol

Nie napisałem, że nie ma potrzeby odpowiedzi na to pytanie, funkcjonalny analfabeto.
Napisałem, że
D(p) <=> p
zawiera wszystkie odpowiedzi i nie trzeba tego rozbijać na pozostałe przypadki, gdyż są one zawarte w tym zapisie.
Tylko u ciebie trzeba pisać jeszcze
~ D(p) <=> ~p
W KRZ nie trzeba.

Przestaniesz w końcu spierdalać przed moim pytaniem?

rafal3006