Dyskusja na temat algebry Kubusia

Ś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.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Dyskusja na temat algebry Kubusia
Idź do strony Poprzedni 1, 2, 3 ... , 182, 183, 184 Następny

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: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 12:28, 27 Maj 2025 Temat postu:

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

Algebra Kubusia - matematyka języka potocznego
1.0 Nowa algebra Boole'a

Spis treści
1.0 Nowa algebra Boole’a 1
1.1 Definicje elementarne algebry Boole'a 1
1.1.1 Definicja negacji 2
1.1.2 Definicja zmiennej binarnej w logice dodatniej i ujemnej 2
1.1.3 Negator dwukierunkowy w bramkach logicznych 3
1.2 Fundamenty algebry Boole'a 4
1.2.1 Definicja funkcji logicznej algebry Boole'a 5
1.2.2 Definicja dziedziny w logice matematycznej 5
1.2.3 Definicja bramki logicznej 6
1.2.4 Definicja funkcji logicznej Y w logice dodatniej i ujemnej 6
1.2.5 Prawo negacji funkcji logicznej 6
1.2.6 Ogólna definicja logiki matematycznej 6
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 7
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 7
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 8
1.3.3 Prawo Pytona 9

1.0 Nowa algebra Boole’a

Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).

Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.

Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym

Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.11 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodnimy za chwilkę (pkt. 1.7.4, 1.7.6, 1.8.1 – poziom 5-cio latka)

1.1 Definicje elementarne algebry Boole'a

1 = prawda
0 = fałsz

Gdzie:
1##0
Prawda (1) jest różna na mocy definicji ## od fałszu (0)

Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) - negacja

Innymi słowy:
Prawda (1) to zaprzeczenie (~) fałszu (0)
Fałsz (0) to zaprzeczenie (~) prawdy (1)

Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)

Pani w przedszkolu:
Pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 - zdanie zawsze prawdziwe
Pójdziemy do kina (K) i nie pójdziemy do kina (~K)
Y = K*~K =0 - zdanie zawsze fałszywe
Gdzie:
Y - stała binarna

Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1.

Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa

1.1.1 Definicja negacji

Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.

W szczególnym przypadku symbol w nagłówku kolumny może być stałą binarną gdy w kolumnie są same jedynki albo same zera.

Kod:

DN
Definicja negacji:
p # ~p
A: 1 # 0
B: 0 # 1
1 2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony

Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
p#~p
Dowodem jest tu definicja negacji DN.

1.1.2 Definicja zmiennej binarnej w logice dodatniej i ujemnej

Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)

Zauważmy, że w definicji negacji DN symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)

Stąd mamy:
Definicja osi czasu w logice matematycznej
W dowolnej tabeli zero-jedynkowej oś czasu to zero-jedynkowa zawartość kolumny opisanej symbolem nad tą kolumną.

W logice matematycznej odpowiednikiem układu Kartezjańskiego są wykresy czasowe.
Dowód na przykładzie (strona 5):
[link widoczny dla zalogowanych]

1.1.3 Negator dwukierunkowy w bramkach logicznych

W technice cyfrowej znaczek różne # o definicji jak wyżej jest odpowiednikiem dwukierunkowego negatora „O”.
Zachodzi tożsamość znaczków: # = O

Kod:

Realizacja dwukierunkowego negatora „O” w bramkach logicznych
----- ~p=~(p)
p --x-------->| ~ |o-x------> ~p
| ----- |
| |
| p=~(~p) ----- |
-<-------o| ~ |<-x------- ~p
-----
Gdzie:
„O” - symbol dwukierunkowego negatora o budowie jak wyżej
"o"(~) - symbole negacji w technice „o” i w języku potocznym „~”
--->| - wejście bramki logicznej negatora (~)
|o--> - wyjście bramki logicznej negatora (~)
W świecie rzeczywistym musi tu być negator z otwartym kolektorem (OC)
na przykład typu SN7406. Wyjście OC musi być podparte rezystorem do Vcc.

W świecie rzeczywistym podajemy sygnały cyfrowe {0,1} na wejściu negatora p albo ~p obserwując co jest na jego wyjściu. Wszystko musi być zgodne z definicją DN.

Matematyczne związki między p i ~p:
a)
Dowolna strona znaczka # jest negacją drugiej strony
p#~p
b)
Prawo podwójnego przeczenia:
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
c)
Prawo zaprzeczenia logiki dodatniej (bo p):
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)

Dowód w rachunku zero-jedynkowym:

Kod:

Matematyczne związki w definicji negacji:
p ~p ~(~p) ~(p)
A: 1 0 1 0
B: 0 1 0 1
1 2 3 4

Tożsamość kolumn 1=3 jest dowodem formalnym prawa podwójnego przeczenia:
p=~(~p)
Tożsamość kolumn 2=4 jest dowodem formalnym prawa negacji logiki dodatniej (bo p):
~p=~(p)

Uwaga:
Budowa dwukierunkowego transmitera w bramkach logicznych będzie identyczna jak wyżej lecz z układem SN7407 w miejsce układu SN7406.

1.2 Fundamenty algebry Boole'a

Kluczowe znaczki algebry Boole’a to definicje spójników „i”(*) i „lub”(+) z języka potocznego człowieka.

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
Gdzie:
<=> - wtedy i tylko wtedy

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
Definicja „lub”(+) w logice jedynek:
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
;
Definicja „lub”(+) w logice zer:
Y=0 <=> p=0 i q=0
Inaczej:
Y=1
Przy wypełnianiu tabel zerojedynkowych szybsza jest logika zer.
Gdzie:
<=> - wtedy i tylko wtedy

1.2.1 Definicja funkcji logicznej algebry Boole'a

Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)

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.
Przykład:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
f(x)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a
Stąd na mocy definicji funkcji logicznej mamy:
Y = f(x) = p*q+~p*~q
Zapis tożsamy:
Y = p*q+~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.

1.2.2 Definicja dziedziny w logice matematycznej

Ogólna definicja dziedziny D:
Pojęcie ~x jest uzupełnieniem dla pojęcia x do wspólnej dziedziny D oraz pojęcia x i ~x są rozłączne
x+~x =D =1 - zdanie zawsze prawdziwe (stała binarna)
x*~x =[] =0 - zdanie zawsze fałszywe (stała binarna)

Definicja dziedziny w zbiorach:
Zbiór ~p jest uzupełnieniem zbioru p do wspólnej dziedziny D oraz zbiory p i ~p są rozłączne.
Czyli:
Y = p+~p =D =1 - zdanie zawsze prawdziwe (stała binarna)
Y = p*~p =[] =0 - zdanie zawsze fałszywe (stała binarna)
W algebrze Kubusia zdanie zawsze prawdziwe (Y=1) oraz zdanie zawsze fałszywe (Y=0) to bezużyteczne śmieci zarówno w matematyce, jak i w języku potocznym

Przykład wykorzystania w praktyce definicji dziedziny.

Rozważmy dwa zbiory:
TP - zbiór trójkątów prostokątnych (TP)
~TP - zbiór trójkątów nieprostokątnych (~TP)
Wspólna dziedzina:
ZWT - zbiór wszystkich trójkątów

Definicja dziedziny w zbiorach:
Zbiór ~TP jest uzupełnieniem zbioru TP do wspólnej dziedziny ZWT oraz zbiory TP i ~TP są rozłączne w dziedzinie ZWT.

Czyli:
Twierdzenie T1:
Dowolny trójkąt jest prostokątny (TP) lub nie jest prostokątny (~TP)
Y = TP+~TP = ZWT =1 - zdanie zawsze prawdziwe (stała binarna)

Twierdzenie T2:
Dowolny trójkąt jest prostokątny (TP) i nie jest prostokątny (~TP)
Y = TP*~TP =[] =0 - zdanie zawsze fałszywe (stała binarna)

Wartość praktyczna twierdzeń T1 i T2 jest zerowa (śmieci).

Analogia do programowania:
Nie da się napisać najprostszego nawet programu dysponując wyłącznie stałymi binarnymi, o z góry wiadomej wartości logicznej.

1.2.3 Definicja bramki logicznej

Definicja bramki logicznej:
Bramka logiczna to układ cyfrowy o n wejściach binarnych {p,q,r..} i tylko jednym wyjściu binarnym Y

Matematycznie zachodzi tożsamość:
funkcja logiczna Y = wyjście bramki logicznej Y

Zwyczajowe zmienne binarne w technice to:
p, q, r … - wejścia bramki logicznej
Y - wyjście bramki logicznej

Przykład:
Y = p*q+~p*~q

1.2.4 Definicja funkcji logicznej Y w logice dodatniej i ujemnej

Definicja funkcji logicznej w logice dodatniej (bo Y):
Funkcja logiczna Y zapisana jest w logice dodatniej (bo Y) wtedy i tylko wtedy gdy nie jest zanegowana.
W przeciwnym przypadku mamy do czynienia z funkcją logiczną w logice ujemnej (bo ~Y)

1.2.5 Prawo negacji funkcji logicznej

Prawo negacji funkcji logicznej Y:
Dowolną funkcję logiczną w logice dodatniej (bo Y) wolno nam dwustronnie zanegować przechodząc do funkcji logicznej w logice ujemnej (bo ~Y) i odwrotnie.

1.2.6 Ogólna definicja logiki matematycznej

Ogólna definicja logiki matematycznej:
Logika matematyczna to matematyczny opis nieznanego tzn. nieznanej przyszłości albo nieznanej przeszłości.
Nie wszystko w czasie przeszłym jest nam wiadome - logika matematyczna służy tu do ustalenia co się w przeszłości zdarzyło

Przykład:
Poszukiwanie mordercy
Po długich poszukiwaniach mordercy, Kowalskiemu udowodniono zabójstwo x-a, i się do tego przyznał.
Po co komu potrzebna jest tu dalsza logika matematyczna prowadząca do wykrycia znanego już wszystkim zabójcy x-a?

Stąd mamy:
Prawo Nietoperza:
Jeśli znamy zaistniałe w przeszłości fakty to żadna logika matematyczna ich nie zmieni, jest psu na budę potrzebna.

Przykład:
Hitler - wiemy kim był i co zrobił, to jest fakt, którego żadna logika matematyczna nie zmieni
Nie możemy cofnąć czasu i spowodować by Hitler zginął w zamachu na jego życie przed wybuchem II Wojny Światowej.

1.3 Definicja funkcji logicznej jednoargumentowej Y=x

Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.

W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
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
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
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

1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x

Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)

Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y

Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.

Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.2

1.3.3 Prawo Pytona

Prawo Pytona:
Logika matematyczna to tylko i wyłącznie logika stałych binarnych i zmiennych binarnych

Prawo Pytona to zdecydowanie najważniejsze prawo logiki matematycznej.
Stałe binarne są w logice matematycznej bezużyteczne, co wynika bezpośrednio z ogólnej definicji logiki matematycznej zawartej w punkcie 1.2.6.

Z prawa Pytona wynika, że:
1.
Użyteczna logika matematyczna to tylko i wyłącznie zmienne binarne (dwuwartościowe).
2.
W logice języka potocznego musimy zlokalizować wszystkie zmienne binarne tu występujące, inaczej nie mamy do czynienia z logiką matematyczną
3.
Zrozumienie istoty działania operatora jednoargumentowego jest konieczne dla zrozumienia istoty działania operatorów logicznych n-argumentowych[/quote]

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 12:32, 27 Maj 2025 Temat postu:

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

Bez osi czasu dowolna logika matematyczna jest jednym, wielkim, potwornie śmierdzącym gównem.

Irbisol napisał:

Nie pisz nic o czasie. Do niczego nie dążysz oprócz wiecznego uciekania od tematu. Na to ci jakoś czasu nie szkoda.

Oś czasu jest fundamentem logiki matematycznej!

Jeśli z logiki matematycznej chcesz wyrugować czas to zapomnij że mówiłeś cokolwiek o logice matematycznej.
Logika matematyczna to tylko i wyłącznie operacje na zmiennych binarnych!

Wnioski:
Bez osi czasu dowolna logika matematyczna jest jednym, wielkim, potwornie śmierdzącym gównem.
Bez osi czasu nie jest możliwe zdefiniowanie jakiejkolwiek bramki logicznej, od najprostszego Inwertera (SN7406) i Transmitera (SN7407) począwszy.

Stąd mamy poprawną tożsamość matematyczną:
KRZ = jedno, wielkie, potwornie śmierdzące gówno
c.n.d.

P.S.
Irbisolu,
Zapoznaj się z początkiem algebry Kubusia (mój post wyżej) gdzie masz zdefiniowaną oś czasu w logice matematycznej.

Ostatnio zmieniony przez rafal3006 dnia Wto 12:33, 27 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 14:16, 27 Maj 2025 Temat postu:

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

Irbisol napisał:

Chodzi o marnowanie czasu - sam o tym zacząłeś.
Totalnie nie pamiętasz kontekstu, który sam stworzyłeś. Nie masz kontaktu nawet ze sobą.

Najpierw zdefiniujmy sedno naszego konfliktu - nie czas żałować róż gdy płoną lasy.

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

rafal3006 napisał:

Nie czas żałować róż gdy płoną lasy!

Irbisol napisał:

Od kilkuset postów uciekasz od tematu. Tylko i wyłącznie.

Irbisolu,
Nie czas żałować róż gdy płoną lasy!

Irbisolu, w logicznym rozumwaniu to AI bije cię na głowę, niestety:
AI
"Nie czas żałować róż, gdy płoną lasy" to polskie przysłowie, które oznacza, że w sytuacjach kryzysowych należy skupić się na ważniejszych sprawach, a nie na drobiazgach. Wartość tego przysłowia polega na tym, że przypomina nam o konieczności priorytetowania w trudnych momentach, gdy trzeba bronić to, co najważniejsze, a nie martwić się drobiazgami, które w obliczu większych zagrożeń tracą na znaczeniu.

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

rafal3006 napisał:

Czy zgadzasz się na poniższą definicję naszego sporu?

Irbisolu,
Od kilkuset postów bijemy się o analizę banalnej obietnicy A1 pani przedszkolanki.
A1.
Jutro pójdziemy do kina

Nasza fundamentalna różnica to:
1.
Irbisol twierdzi, że zmienną binarną w obietnicy A1 jest całe zdanie:
A1.
Jutro pójdziemy do kina
1a.
Irbisol twierdzi, że do obsługi powyższej obietnicy nie jest mu potrzebna definicja funkcji logicznej algebry Boole'a:
Y=f(x)
Dla f(x)=K
Mamy kodowanie zdania A1 poprawne w algebrze Kubusia:
Y=K
1b.
Irbisol twierdzi że 1a to wymysł schizofrenika Rafała3006 bo on ma w dupie konieczność użycia definicji funkcji logicznej:
Y=K
w obsłudze obietnicy A1

2.
Rafał3006 twierdzi, że zmienną binarną w obietnicy A1 jest rzeczownik K(kino) w którym to kinie jutro możemy być (K=1) albo nie być (~K=1)

Czy zgadzasz się na powyższą definicję naszego sporu?
TAK/NIE

Ostatnio zmieniony przez rafal3006 dnia Wto 14:18, 27 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 14:19, 27 Maj 2025 Temat postu:

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

Irbisol napisał:

Sedna nie trzeba definiować - wystarczy, że przestaniesz spierdalać.

Schizofrenia zwana KRZ trzyma cię mocno - cóż, współczuję.

Najpierw zdefiniujmy sedno naszego konfliktu - nie czas żałować róż gdy płoną lasy.

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

rafal3006 napisał:

Nie czas żałować róż gdy płoną lasy!

Irbisol napisał:

Od kilkuset postów uciekasz od tematu. Tylko i wyłącznie.

Irbisolu,
Nie czas żałować róż gdy płoną lasy!

Irbisolu, w logicznym rozumowaniu to AI bije cię na głowę, niestety:
AI
"Nie czas żałować róż, gdy płoną lasy" to polskie przysłowie, które oznacza, że w sytuacjach kryzysowych należy skupić się na ważniejszych sprawach, a nie na drobiazgach. Wartość tego przysłowia polega na tym, że przypomina nam o konieczności priorytetowania w trudnych momentach, gdy trzeba bronić to, co najważniejsze, a nie martwić się drobiazgami, które w obliczu większych zagrożeń tracą na znaczeniu.

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

rafal3006 napisał:

Ostatnio zmieniony przez rafal3006 dnia Wto 14:20, 27 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 15:07, 27 Maj 2025 Temat postu:

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

Irbisol napisał:

Dostałeś na to odpowiedź.

Jak wszyscy widzą, schizofrenia zwana KRZ trzyma cię mocno.
Cały 100-milowy las trzyma kciuki, byś zdołał się wyrwać z gówna zwanego KRZ.

Nie dostałem twojej odpowiedzi na ten mój post.
Skup się i postaraj się zrozumieć w czym tkwi sedno naszego sporu wyłożone ci w cytacie niżej.

Pytanie retoryczne:
Czy ma kto nadzieję, że Irbisol rozumie co czyta?
:rotfl:

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

rafal3006 napisał:

Irbisolu, czekam kiedy zrozumiesz, że robisz z siebie Osiołka!

Irbisol napisał:

Już ci na to odpowiedziałem.

Odpowiedź ma być krótka.
Czy akceptujesz w 100% i bez żadnych zastrzeżeń poniższy fragment algebry Kubusia ... doskonale rozumiany przez każdego 3-latka!
TAK/NIE

Zauważ, że akceptacja poniższego fragmentu AK wymusza na tobie akceptację i zrozumienie definicji funkcji logicznych algebry Boole'a w logice dodatniej (bo Y) i ujemnej (bo ~Y)
Czy akceptujesz te definicje (jako pierwszy ziemianin! - sic!)?
TAK/NIE

Irbisolu, czekam kiedy znajdziesz błąd w kompletnej teorii obsługi bezwarunkowych obietnic n-argumentowych raptem 3-stronicowej tu wyłożonej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625

Tu masz kluczowy fragment, krócej i prościej nie da się wytłumaczyć:

Algebra Kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a

Spis treści
1.19.2 Najprostsza obietnica bezwarunkowa 2
1.19.3 Lokalizacja zmiennych binarnych w obietnicach 3

1.19.2 Najprostsza obietnica bezwarunkowa

Pani w przedszkolu składa obietnicę bezwarunkową jednoargumentową:
A1.
Jutro pójdziemy do kina
Y=K
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A1 stronami:
B1.
~Y<=>~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennych binarnych Y i K:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~Y=1) = (Y=0)

2.
Jutro może zajść zdarzenie:
K - będziemy w kinie (K=1)
##
~K - nie będziemy w kinie (~K=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~K=1) = (K=0)

1.19.3 Lokalizacja zmiennych binarnych w obietnicach

Jak widzimy, w naszym przykładzie wyżej zmienną binarną jest rzeczownik K(kino)
Czasownik „pójdziemy do” jest tu kwiatkiem do kożucha.

Drugą możliwą zmienną binarną w obietnicach bezwarunkowych jest czasownik.

Pani w przedszkolu:
A2.
Jutro będziemy grać w piłkę
Y=GP
Tu zmienna binarna GP oznacza fakt grania w piłkę, rzeczownik „piłka” jest tu kwiatkiem do kożucha.

Analiza matematyczna:
A2.
Jutro będziemy grać w piłkę
Y=GP
Zapis tożsamy na mocy prawa Irbisa:
Y<=>GP
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> GP=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro będziemy grać w piłkę (GP=1)

... a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy A2 stronami:
B2.
~Y<=>~GP
Co w logice jedynek oznacza:
~Y=1 <=> ~GP=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie będziemy grać w piłkę (~GP=1)

Znaczenie zmiennych binarnych Y i GP:
1.
Jutro może zajść zdarzenie:
Y - pani dotrzyma słowa (Y=1)
##
~Y - pani nie dotrzyma słowa (~Y=1)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~Y=1) = (Y=0)

2.
Jutro może zajść zdarzenie:
GP - będziemy grać w piłkę (GP=1)
##
~GP - nie będziemy grać w piłkę (~GP)
Gdzie:
## - zdarzenia różne na mocy definicji
Prawo Prosiaczka:
(~GP=1) = (GP=0)

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 15:14, 27 Maj 2025 Temat postu:

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

Biedny Irbisol, schizofrenia zwana KRZ nie pozwala mu zrozumieć kto tu przed kim ucieka!

Irbisol napisał:

Dostałeś odpowiedź, żebyś nie uciekał od tematu.

Ty uciekasz od tematu, twardy dowód masz w moim poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12550.html#843735
i cytacie niżej!
:rotfl:

Schizofrenia zwana KRZ trzyma cię mocno - cóż, współczuję.
Najpierw zdefiniujmy sedno naszego konfliktu - nie czas żałować róż gdy płoną lasy.

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

rafal3006 napisał:

Nie czas żałować róż gdy płoną lasy!

Irbisol napisał:

Od kilkuset postów uciekasz od tematu. Tylko i wyłącznie.

rafal3006 napisał:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 15:28, 27 Maj 2025 Temat postu:

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

Irbisol napisał:

Nie widzę tam żadnego dowodu, że to ja uciekam od tematu.

Cóż, w schizofrenii to jest standard - czyli wszyscy widzą, że uciekasz od tematu, a ty tego nie widzisz
:rotfl:

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

rafal3006 napisał:

Irbisolu, czekam kiedy zrozumiesz, że robisz z siebie Osiołka!

Irbisol napisał:

To sobie czekaj. Najpierw dokańczasz bieżące tematy. Im dłużej będziesz je dokańczał, tym dłużej będziesz czekał.

Czekam kiedy zrozumiesz, że w oczach ludzi normalnych, 5-cio latków i humanistów robisz z siebie Osiołka, bo wszyscy dookoła rozumieją banalny cytat niżej ... a ty NIE!

[link widoczny dla zalogowanych]
"Osoba cierpiąca na schizofrenię nie wie, że jest chora. To największy problem"
W Polsce na schizofrenię leczy się 187 tys. osób. - Zdiagnozowanych jest dwa razy więcej. Problem polega na tym, że wszyscy dookoła dostrzegają chorobę, a sam pacjent - NIE - wyjaśniała dr Maja Polikowska z Kliniki Psychiatrii Warszawskiego Uniwersytetu Medycznego i Instytutu Amici. Gościem "Wieczoru RDC" była również Magda Bojarska z Fundacji "Hej, Koniku".

Irbisolu, czekam kiedy znajdziesz błąd w kompletnej teorii obsługi bezwarunkowych obietnic n-argumentowych raptem 3-stronicowej tu wyłożonej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625

Tu masz kluczowy fragment, krócej i prościej nie da się wytłumaczyć:

Algebra Kubusia napisał:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 17:28, 27 Maj 2025 Temat postu:

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

Biedny Irbisol, w panicznym strachu ucieka przed 5-cio latkiem i humanistą!

Irbisol napisał:

Więc wskaż fragment, który dowodzi iż uciekam od tematu.

Irbisolu, w panicznym strachu uciekasz nie przede mną tyko przed 5-cio latkiem i humanistą.

Dowód:
Jaś (lat 5) do Irbisola:
Irbisolu, poniższy cytat to w 100% moja logika matematyczna, którą ja się posługuję na co dzień, którą posługuje się na co dzień każdy humanista.

W związku z tym mam do ciebie pytanie:
Czy twoja logika zwana Klasycznym Rachunkiem Zdań jest w 100% zgodna z moją logiką w cytacie niżej przedstawioną?
TAK/NIE

Jaś (lat 5):
Tu masz kluczowy fragment o co chodzi w mojej logice matematycznej, krócej i prościej nie da się wytłumaczyć:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12525.html#843625

Algebra Kubusia napisał:

Ostatnio zmieniony przez rafal3006 dnia Wto 17:30, 27 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Wto 18:00, 27 Maj 2025 Temat postu:

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

Czy Irbisol potrafi myśleć abstrakcyjnie?

Pytanie retoryczne:
Ma kto taką nadzieję?

Irbisol napisał:

Miałeś wskazać fragment dowodzący, że to ja uciekam.

Nie ze mną teraz dyskutujesz, ale z Jasiem (lat 5).
Potrafisz myśleć abstrakcyjnie?
Załóż sobie że mnie nie ma i nigdy na śfinii nie było.
Od tej chwili jesteś ty i Jaś (lat 5).
Jaś ci zadał konkretne pytanie a twoim psim obowiązkiem jest odpowiedzieć na to pytanie.

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

rafal3006 napisał:

Biedny Irbisol, w panicznym strachu ucieka przed 5-cio latkiem i humanistą!

Irbisol napisał:

Więc wskaż fragment, który dowodzi iż uciekam od tematu.

Algebra Kubusia napisał:

Ostatnio zmieniony przez rafal3006 dnia Wto 18:03, 27 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 0:41, 28 Maj 2025 Temat postu:

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

Tonący brzytwy się chwyta!

Irbisol napisał:

Czyli wg ciebie, jeżeli rozmawiamy na jakiś temat, ty temat zmieniasz na inny, a ja nie chcę tej zmiany, to ja uciekam od tematu, a nie ty?

Tonący brzytwy się chwyta.
Wszystko ci się pokićkało - to algebra Kubusia, logika 5-cio latków i humanistów cię goni, a twoje gówno zwane KRZ z przerażeniem w oczach ucieka szybciej niż struś Pędziwiatr.

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

rafal3006 napisał:

Irbisolu, czekam kiedy zrozumiesz, że robisz z siebie Osiołka!

Irbisol napisał:

Już ci na to odpowiedziałem.

Algebra Kubusia napisał:

Ostatnio zmieniony przez rafal3006 dnia Śro 0:52, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 8:58, 28 Maj 2025 Temat postu:

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

Rozwiązanie Irbisolowej kwadratury koła!

Irbisol napisał:

O matematyków się nie przejmuj - widać, jak bardzo są zachwyceni twoją algebrą.
Ale już niedługo ... I tak od 20 lat :rotfl:

Irbisolu, kwadraturę koła z którą tak zaciekle walczysz rozwiązałem na samiutkim początku algebry Kubusia
Dzięki (serio), że tak dzielnie walczysz z ... wiatrakami

Algebra Kubusia napisał:

1.0 Nowa algebra Boole’a

Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).

Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.

Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym

Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.11 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodnimy za chwilkę (pkt. 1.7.4, 1.7.6, 1.8.1 – poziom 5-cio latka)

W algebrze Kubusia rozróżniamy cztery rozłączne działy logiki matematycznej:

0.
Dział definiowania pojęć w języku potocznym (12.0)
1.
Dział obietnic bezwarunkowych (1.19, 20.9-20.11)
2.
Dział obietnic i gróźb warunkowych definiowanych zdaniami warunkowymi "Jeśli p to q" (3.6, 4.6)
3.
Dział opisu świata martwego (w tym matematyki i fizyki) – to jest clou algebry Kubusia

Działy 0 do 3 to rozłączne działy logiki matematycznej na tej samej zasadzie jak rozłączne jest w matematyce rozwiązywanie równań liniowych od równań kwadratowych.

Łatwo zauważyć, że trywialne obietnice bezwarunkowe (1.19) opisywane funkcjami logicznym algebry Boole'a Y=f(x) do matematyczny odpowiednik równań liniowych (banał), zaś obietnice i groźby warunkowe opisywane zdaniami warunkowymi "Jeśli p to q" to odpowiednik matematycznych równań kwadratowych (które już banałem nie są).

Ostatnio zmieniony przez rafal3006 dnia Śro 9:04, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 9:25, 28 Maj 2025 Temat postu:

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

Teoria definiowania pojęć w języku potocznym!

W algebrze Kubusia rozróżniamy cztery rozłączne działy logiki matematycznej:

0.
Dział definiowania pojęć w języku potocznym (12.0)
1.
Dział obietnic bezwarunkowych (1.19, 20.9-20.11)
2.
Dział obietnic i gróźb warunkowych definiowanych zdaniami warunkowymi "Jeśli p to q" (3.6, 4.6)
3.
Dział opisu świata martwego (w tym matematyki i fizyki) – to jest clou algebry Kubusia

Działy 0 do 3 to rozłączne działy logiki matematycznej na tej samej zasadzie jak rozłączne jest w matematyce rozwiązywanie równań liniowych od równań kwadratowych.

Łatwo zauważyć, że trywialne obietnice bezwarunkowe (1.19) opisywane funkcjami logicznym algebry Boole'a Y=f(x) do matematyczny odpowiednik równań liniowych (banał), zaś obietnice i groźby warunkowe opisywane zdaniami warunkowymi "Jeśli p to q" to odpowiednik matematycznych równań kwadratowych (które już banałem nie są).

Irbisol napisał:

Ty nawet nie rozumiesz, o co cię pytam.

Pytasz o teorię definiowania pojęć w języku potocznym której żaden ziemski matematyk nie zna - nie dziwota więc że ty również jej nie znasz.
Oto ona!

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#707763

Algebra Kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
12.0 Kubusiowa teoria zbiorów
Spis treści
12.0 Kubusiowa teoria zbiorów 1
12.1 Elementarne działania logiczne na zbiorach 3
12.1.1 Suma logiczna zbiorów 3
12.1.2 Iloczyn logiczny zbiorów 3
12.1.3 Różnica (-) zbiorów 4
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów 4
12.2.1 Definicja pojęcia 4
12.2.2 Definicja elementu zbioru 5
12.2.3 Definicja zbioru 5
12.2.4 Definicja Uniwersum U 5
12.2.5 Definicja zbioru pustego [] w sensie absolutnym 5
12.3 Dziedzina 6
12.3.1 Zaprzeczenie zbioru 6
12.3.2 Nazwa własna zbioru 7
12.3.3 Dziedzina użyteczna w języku potocznym 7
12.4 Definicja definicji 8
12.4.1 Dowód iż każdy 5-cio latek zna definicję Uniwersum 10

12.0 Kubusiowa teoria zbiorów

Punkty 1.0 do 11.0 dotyczą teorii zdarzeń, czyli logiki matematycznej którą w praktyce rozumie każdy 5-cio latek na przykładach stosownych do jego wieku np. o chmurce i deszczu.
Teoria zbiorów dla potrzeb logiki matematycznej opisana w punktach 12.0 do 18.0 jest analogiczna do teorii zdarzeń.

Algebra Kubusia z definicji nie rozpoznaje pojęć którym mózg człowieka nadaje znaczenie.
W tym sensie algebra Kubusia jest głupsza niż ustawa przewiduje, czyli jest niezależna od jakiegokolwiek języka.
Dokładnie to jest powodem konieczności wprowadzenia do logiki matematycznej definicji „pojęcia matematycznego”

Definicja „pojęcia matematycznego” w algebrze Kubusia:
„Pojęcie matematyczne” w algebrze Kubusia to jednoznaczny ciąg znaczków, niekoniecznie liter.

Przykładowo może to być malarstwo jaskiniowe:
[link widoczny dla zalogowanych]

Przykłady jednoznacznych „pojęć matematycznych” widzianych oczami algebry Kubusia:

dziecko
##
kura
##
bleble
##
asfdtuesdff
Gdzie:
## - „pojęcia matematyczne” różne na mocy definicji ## definiowane indywidualnym, dowolnym ciągiem znaków.

Z punktu odniesienia człowieka świat wygląda inaczej.

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

Prawa Prosiaczka
Prawa Prosiaczka omówiono szczegółowo w punkcie 1.4

I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji

Przykład 1.
(p=1) = (~p=0)
1.
[pies]=1 - prawdą jest (=1) iż wiem co znaczy pojęcie pies
Prawo Prosiaczka:
(p=1) = (~p=0)
Nasz przykład:
(pies=1) = (~pies=0) - na mocy prawa Prosiaczka
stąd zdanie tożsame do 1:
~pies=0 - fałszem jest (=0), że nie wiem (~) co znaczy pojęcie [pies]

Przykład 2.
(~p=1) = (p=0)
2.
agstd=0 - fałszem jest (=0) iż wiem co znaczy pojęcie „agstd”
Prawo Prosiaczka:
(agstd=0) = (~agstd=1)
stąd zdanie tożsame do 2:
~agstd=1 - prawdą jest (=1), że nie wiem (~) co znaczy pojęcie agstd

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.1 Elementarne działania logiczne na zbiorach

Elementarne działania na zbiorach to:
(+) - suma logiczna zbiorów
(*) - iloczyn logiczny zbiorów
(-) - różnica logiczna zbiorów

12.1.1 Suma logiczna zbiorów

Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
Zdefiniujmy dwa zbiory p i q:
p=[K, T] =1 - bo zbiór niepusty
q=[T, P] =1 - bo zbiór niepusty
Y=p+q=[K,T]+[T,P]=[K,T,T,P] = [K+T+T+P] = [K+T+P] = [K,T,P] =1 - bo zbiór wynikowy niepusty
Bo prawo Algebry Boole’a:
p+p =p
Uwaga:
Przecinek przy wyliczaniu elementów zbioru jest tożsamy ze spójnikiem „lub”(+) z algebry Boole’a co pokazano i udowodniono wyżej.

12.1.2 Iloczyn logiczny zbiorów

Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Y = p*q =1 - gdy zbiory p i q mają (=1) co najmniej jeden element wspólny (zbiór wynikowy jest niepusty)
Y = p*q =0 - gdy zbiory p i q nie mają (=0) elementu wspólnego (są rozłączne)

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
S - Słoń
Zdefiniujmy zbiory p, q, r:
p=[K,T] =1 - bo zbiór niepusty
q=[T,P] =1 - bo zbiór niepusty
r=[P,S] =1 - bo zbiór niepusty
Y=p*q=[K,T]*[T,P]=[T] =1 - zbiory p i q mają (=1) co najmniej jeden element wspólny
Y=p*r=[K,T]*[P,S] =[] =0 - zbiory p i r nie mają (=0) elementu wspólnego

Identyczne wyniki można uzyskać poprzez wymnażanie logiczne zbiorów.
Przykład:
p*q = [K+T]*[T+P] = K*T + K*P + T*T + T*P =[] + [] + T + [] = T
bo:
K*T+ K*P + T*P =[]+[]+[] =0+0+0 =0 - iloczyn logiczny „*” zbiorów (pojęć) rozłącznych jest zbiorem pustym []
T*T =T
bo prawo algebry Boole’a:
p*p =p
Jak widzimy, przy wyliczaniu elementów zbioru przecinek jest tożsamy ze spójnikiem „lub”(+) rodem z algebry Boole’a.

12.1.3 Różnica (-) zbiorów

Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q

Oznaczmy:
K - Kubuś
T - Tygrysek
p=[K,T] =1 - bo zbiór niepusty
q=[T] =1 - bo zbiór niepusty
Stąd:
Y=p-q = [K,T]-[T] =[K+T-T] =[K] =1 - bo zbiór wynikowy niepusty
Y=q-p =[K]-[K,T]=[K-(K+T)]=[K-K-T]= [] + [-T] =[-T] =[] =0 - bo zbiór wynikowy pusty

Prawo odejmowania zbiorów:
Jeśli w operacji odejmowania zbiorów wynikowy zbiór jest z minusem {-} to taki zbiór zamieniamy na zbiór pusty [].

12.2 Definicje podstawowe w Kubusiowej teorii zbiorów

Przypomnijmy znane już definicje podstawowe.

12.2.1 Definicja pojęcia

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, miłość, krasnoludek, ZWZ, LN ...]
Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

12.2.2 Definicja elementu zbioru

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

12.2.3 Definicja zbioru

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.2.4 Definicja Uniwersum U

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 40 lat temu pojęcie „Internet” było zbiorem pustym, nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.

Uniwersum lokalne:
Uniwersum lokalne to zbiór pojęć związanych z konkretną gałęzią wiedzy np. medycznej, elektronicznej etc. gdzie znane każdemu człowiekowi niektóre słówka znaczą co innego.

Przykład:
Bramka w teorii bramek logicznych to co innego niż bramka na boisku piłkarskim
W rzadkich przypadkach w dowolnym języku mogą występować dwa słowa identyczne, ale znaczące co innego.
Przykład:
W języku polskim morze i może
Tu różnice są rozpoznawalne albo w pisowni (jak wyżej) albo w kontekście użycia tego słówka:
Może pojedziemy nad morze?
Z reguły dla najpopularniejszych słówek mamy sporo synonimów, co w logice jest bez znaczenia.

Podsumowując:
Przedstawiona wyżej definicja Uniwersum jest pojęciem rzeczywistym łatwym do zrozumienia przez każdego ucznia I klasy LO.

12.2.5 Definicja zbioru pustego [] w sensie absolutnym

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego (wyjaśnienie w pkt. 12.9):
[]=>[] =1
0=>0 =1

12.3 Dziedzina

Definicja dziedziny:
Dziedzina to dowolnie wybrany zbiór na którym operujemy

Ograniczeniem górnym w definiowaniu dziedziny jest Uniwersum (zbiór wszystkich pojęć zrozumiałych dla człowieka)
Zbiór pusty [] to zbiór pojęć niezrozumiałych dla człowieka, zatem na tym zbiorze nie możemy operować.
Wniosek:
Z definicji nie możemy przyjąć zbioru pustego za dziedzinę.

12.3.1 Zaprzeczenie zbioru

Definicja zaprzeczenia (~) zbioru:
Zaprzeczeniem (~) zbioru p nazywamy uzupełnienie zbioru p do dziedziny D
~p=[D-p]

Matematycznie zachodzi tożsamość:
Zaprzeczenie zbioru (~) = Negacja zbioru (~)

Uwaga:
Aby zapisać zbiór ~p będący negacją zbioru p musimy określić wspólną dziedzinę dla zbiorów p i ~p
Definicja dziedziny:
p+~p =D =1 - zbiór ~p jest uzupełnieniem zbioru p do wspólnej dziedziny D
p*~p =[] =0 - zbiory p i ~p są rozłączne, iloczyn logiczny zbiorów jest zbiorem pustym []

Przykłady:
1.
Przykład na poziomie 5-cio latka:
K = Kubuś
T = Tygrysek
p=[K] - definiujemy zbiór p
D=[K,T] - definiujemy dziedzinę
Stąd:
~p=[D-p] = [(K+T)-K]=[T]
2.
Przykład na poziomie ucznia I klasy LO:
K - zbiór wszystkich kobiet
M - zbiór wszystkich mężczyzn
C (człowiek) - zbiór wszystkich ludzi (wspólna dziedzina dla M i K)
C=M+K - zbiór człowiek to suma logiczna zbiorów M i K
Stąd:
~M=[C-M]=[M+K-M]=K
~K=[C-K]=[M+K-K]=M
Stąd:
K=~M - zbiór kobiet (K) to zanegowany zbiór mężczyzn (~M) w dziedzinie C (człowiek)
M=~K - zbiór mężczyzn (M) to zanegowany zbiór kobiet (~K) w dziedzinie C (człowiek)

12.3.2 Nazwa własna zbioru

Rozróżniamy dwa rodzaje zbiorów ze względu na nazwę:
- zbiory mające nazwę własną
- zbiory nie mające nazwy własnej

Definicja nazwy własnej zbioru:
Nazwa własna zbioru to nazwa jednoznacznie opisująca dany zbiór w sposób zrozumiały dla wszystkich ludzi

Przykład zbioru mającego nazwę własną:
ZWZ - zbiór wszystkich zwierząt

Przykład zbioru nie mającego nazwy własnej:
p = [ZWZ, miłość, samolot]

W języku potocznym z oczywistych względów użyteczne są wyłącznie dziedziny mające nazwy własne, zrozumiałe dla wszystkich, gdzie nie trzeba wypisywać wszystkich pojęć zawartych w dziedzinie.

12.3.3 Dziedzina użyteczna w języku potocznym

Definicja dziedziny użytecznej w języku potocznym:
Dziedzina użyteczna w języku potocznym do dowolny zbiór na którym operujemy mający nazwę własną nie będący Uniwersum.

Uniwersum - zbiór wszelkich pojęć zrozumiałych dla człowieka.
W języku potocznym nikt nie używa pojęcia Uniwersum w przeciwieństwie do np. zbioru wszystkich zwierząt.

Rozważmy poniższe dziedziny [ZWZ, ZWS] mające nazwy własne:

Weźmy zbiór jednoelementowy:
P=[pies] - zbiór P zawiera tylko jeden element [pies].
Uwaga:
Nie jest tu istotne że różnych psów jest bardzo dużo bo:
pies Jasia = pies Zuzi = po prostu [pies]
[pies]+[pies] = [pies] - prawo algebry Boole’a (p+p=p)
Pojęcia [pies] są tożsame, nieistotne jest, że jeden pies jest kundelkiem a drugi jamnikiem, że jeden należy do Jasia a drugi do Zuzi.
[pies]*[pies] = [pies] - prawo algebry Boole’a (p*p=p)

ZWZ.
Dla zbioru P=[pies] przyjmijmy dziedzinę:
ZWZ - zbiór wszystkich zwierząt
Stąd mamy zbiór ~P:
~P=[ZWZ-P] - zbiór wszystkich zwierząt minus jeden element P=[pies]

ZWS.
Dla zbioru P=[pies] przyjmijmy dziedzinę:
ZWS - zbiór wszystkich ssaków
Stąd mamy zbiór ~P:
~P=[ZWS-P] - zbiór wszystkich ssaków minus jeden element P=[pies]

Wnioski:
Przyjęte dziedziny ZWZ i ZWS mają poprawne nazwy własne należące do Uniwersum, które nie są tożsame z Uniwersum, zatem te dziedziny są poprawne matematycznie i są to dziedziny użyteczne.
a)
Dziedzina ZWZ wskazuje nam, że interesuje nas wyłącznie zbiór wszystkich zwierząt, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWZ są dla nas puste z definicji.
b)
Dziedzina ZWS mówi nam że operujemy na zbiorze wszystkich ssaków, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWS są dla nas puste z definicji.

Przykład:
Twierdzenie proste Pitagorasa dla trójkątów prostokątnych:
A1.
Jeśli trójkąt jest prostokątny (TP) to na 100% => zachodzi w nim suma kwadratów (SK)
TP=>SK =1
W twierdzeniu Pitagorasa dziedziną użyteczną i minimalną jest:
ZWT - zbiór wszystkich trójkątów
Dziedzina ZWT wskazuje nam, że interesują nas wyłącznie trójkąty, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWT są dla nas puste z definicji
Nikt nie będzie brał do ręki koła i sprawdzał czy zachodzi w nim suma kwadratów.

12.4 Definicja definicji

Definicja definicji:
W świecie człowieka (bo tylko on świadomie definiuje) definicja dowolnego pojęcia jest matematycznie poprawna wtedy i tylko wtedy jest jednoznaczna w Uniwersum człowieka.

Innymi słowy:
Definicja dowolnego pojęcia jest matematycznie poprawna wtedy i tylko wtedy gdy jest jedyna w całym obszarze Uniwersum.

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Przykład poprawnej definicji:
Pies to zwierzę domowe, szczekające.
P = ZD*S=1*1=1
To jest minimalna, jednoznaczna definicja psa rozumiana przez każdego 5-cio latka.
Oznacza to że pojęcia P oraz ZD*S są matematycznie tożsame P=ZD*S, czyli są w relacji równoważności P<=>ZD*S w całym obszarze Uniwersum

Przykład błędnej definicji z filmu „Rejs”:
[link widoczny dla zalogowanych]
Zwierzę domowe, hodowlane, występujące nad Wisłą - podać jego odgłos

Inny przykład:

Prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia 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 <=> A1B2: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1

Prawo Kubusia:
B1: p~>q = B2: ~p=>~q

Stąd mamy:
Tożsame prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia 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 <=> A1B2: p<=>q = (A1: p=>q)*(B2: ~p=>~q) =1*1=1

Podstawmy:
p=K (krasnoludek)
q=K (krasnoludek)
Przyjmijmy dziedzinę:
D=U (Uniwersum)
Obliczmy przeczenia p i q rozumiane jako uzupełnienia p i q do wspólnej dziedziny (u nas Uniwersum).
~p = ~K = [U-K] -zbiór wszystkich pojęć zrozumiałych dla człowieka minus jedno pojęcie "krasnoludek"
~q = ~K = [U-K] -zbiór wszystkich pojęć zrozumiałych dla człowieka minus jedno pojęcie "krasnoludek"

Definicja równoważności A1B2 generująca tabelę zero-jedynkową równoważności:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B2: ~p=>~q=1 - zajście ~p jest (=1) wystarczające => dla zajścia ~q
stąd;
A1B2: p<=>q = (A1: p=>q)*(B2: ~p=>~q) =1*1=1

Zachodzi tożsamość pojęć:
Warunek wystarczający => = relacja podzbioru =>

Podstawmy nasz przykład:
A1B2: K<=>K = (A1: K=>K)*(B2: [U-K]=>[U-K]) =?
A1: K=>K =1 - bo każdy zbiór jest podzbiorem => siebie samego
B2: [U-K]=>[U-K] =1 - bo każdy zbiór jest podzbiorem => siebie samego
stąd mamy:
A1B2: K<=>K = (A1: K=>K)*(B2: [U-K]=>[U-K]) =1*1=1
cnd

12.4.1 Dowód iż każdy 5-cio latek zna definicję Uniwersum

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Dowód iż każdy 5-cio latek zna w praktyce definicję Uniwersum, niezależnie od swego języka ojczystego jest banalny.
Udajmy się do przedszkola.

Scenka 1.
Pani przedszkolanka wydaje polecenie:
Drogie dzieci narysujcie człowieka.
Pamięć człowieka (w tym pamięć 5-cio latków) jest pamięcią fotograficzną, czyli nasz mózg przywołuje w tym przypadku jakąś panią albo jakiegoś pana i na tej podstawie dzieci wykonują rysunek.
Tu każdy 5-co latek podświadomie rozstrzyga, że człowiekiem nie może być cokolwiek innego w całym obszarze Uniwersum, bo inaczej nie mógłby jednoznacznie rozstrzygnąć co ma narysować.
C =[C] (człowiek) - ten obiekt 5-cio latek rysuje
Zaprzeczenie pojęcia człowiek w obszarze U Uniwersum to:
~C = [U-C]=[zwierzę, krasnoludek, koło ..] - Uniwersum U z wykluczeniem pojęcia C (człowiek)
Matematycznie musi zachodzić:
C+~C =U
C*~C =[]
Inaczej 5-cio latek nie będzie wiedział co ma narysować
cnd

Scenka 2.
Pani przedszkolanka wydaje kolejne polecenie:
Drogie dzieci narysujcie swoją mamę
Pamięć człowieka (w tym pamięć 5-cio latków) jest pamięcią fotograficzną, czyli mózg 5-cio latka przywołuje w tym przypadku swoją mamę i na tej podstawie wykonuje rysunek.
Tu przykładowy Jaś (lat 5) podświadomie rozstrzyga, że mamę ma tylko i wyłącznie jedną i ją rysuje.
Zauważmy, że mama Jasia jest jedyną w całym obszarze Uniwersum, bo inaczej Jaś nie mógłby jednoznacznie narysować swojej mamy.
MJ =[MJ] - mama Jasia, tą mamę Jaś rysuje
Zaprzeczenie pojęcia mama Jasia w obszarze U Uniwersum to:
~MJ = [U-MJ] =[mama Zuzi, tata Jasia, zwierzę, krasnoludek, koło …] - Uniwersum U z wykluczeniem pojęcia mama Jasia MJ.
Matematycznie musi zachodzić:
MJ+~MJ =U
MJ*~MJ =[]
Inaczej 5-cio latek nie będzie wiedział co ma narysować
cnd

Ostatnio zmieniony przez rafal3006 dnia Śro 10:05, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 10:06, 28 Maj 2025 Temat postu:

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

Co jest szaleństwem w opisie języka potocznego?

Poprawna odpowiedź:
Szaleństwem w opisie języka potocznego jest totalnie cała, ziemska logika matematyczna, mająca z tym opisem zero wspólnego.

Irbisol napisał:

Widzę, że najlepiej ci się gada z samym sobą.
Tkwij w swoim szaleństwie - skoro ci tak wygodnie.

Dzięki za dyskusję.
Co jest szleństwem to niebawem się okaże, jak matematycy zrozumieją algebrę Kubusia.
Dla nich ją napisałem!

Algebra Kubusia
Matematyka języka potocznego

2025-03-17 Wersja przedpremierowa

Autor:
Kubuś ze 100-milowego lasu

Ziemia Obiecana - biblijne miejsce, do którego Mojżesz prowadził Izraelitów po wyprowadzeniu ich z Egiptu i przeprowadzeniu przez Morze Czerwone
Algebra Kubusia – miejsce, do którego Kubuś ze 100-milowego lasu prowadził ziemskich matematyków po wyprowadzeniu ich z Klasycznego Rachunku Zdań

Rozszyfrowali:
Rafal3006 i przyjaciele

Wstęp do AK:

Motto Rafała3006:
Napisać algebrę Kubusia w taki sposób, by ziemski matematyk był w stanie ją zrozumieć i zaakceptować, mimo iż na starcie nie zna ani jednej definicji obowiązującej w AK.

Algebra Kubusia to jedyna poprawna logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy.
Najważniejsze zastosowanie algebry Kubusia w świecie żywym to matematyczna obsługa obietnic i gróźb będąca fundamentem działania wszelkich istot żywych (nie tylko człowieka).
Naturalnymi ekspertami algebry Kubusia są 5-cio latki i humaniści.
Algebra Kubusia to podłożenie matematyki pod język potoczny człowieka, czyli coś, o czym matematycy marzą od 2500 lat (od Sokratesa).
Rozszyfrowanie algebry Kubusia to 20 lat dyskusji na forum filozoficznym w Polsce, to ponad 40 000 postów napisanych przez Rafała3006 wyłącznie w temacie "Logika matematyczna"
Pełna historia rozszyfrowywania algebry Kubusia dostępna jest na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,60/

Algebrę Kubusia wyssaliśmy z mlekiem matki i nie musimy się jej uczyć - wszyscy jesteśmy jej ekspertami w praktyce bo po prostu pod nią podlegamy nie mając żadnych szans, by się od niej uwolnić. Aktualnie żaden ziemski matematyk nie wie, iż w komunikacji z 5-cio latkami i humanistami używa tylko i wyłącznie algebry Kubusia.

Matematyczna wersja algebry Kubusia jest tak samo potrzebna do szczęścia 5-cio latkowi i humaniście jak gramatyka języka polskiego, której nigdy nie znałem i nie znam, a mimo to po polsku piszę. Pewne elementy algebry Kubusia można nauczać już w przedszkolu w formie zabawy, bowiem 5-cio latki doskonale ją znają nie wiedząc, że to jest matematyka ścisła opisująca otaczającą nas rzeczywistość co udowodniono w punkcie 28.0 w zabawie z pluszowymi zwierzątkami.

Weryfikowalność algebry Kubusia:
Z racji wykształcenia (elektronika na Politechnice Warszawskiej) jestem ekspertem bramek logicznych od zawsze, mając pewność absolutną, że algebra Kubusia jest w 100% zgodna z teorią bramek logicznych - gdybym tej pewności nie miał, to o żadnej logice bym nie dyskutował.
Algebrę Kubusia w bramkach logicznych wyłożono w punkcie:
11.0 Algebra Kubusia w bramkach logicznych

Co zawiera "Algebra Kubusia"?

1.0 Nowa algebra Boole'a w wersji nieznanej ziemskim matematykom
2.0 Kompendium algebry Kubusia
Kompendium algebry Kubusia to matematyczna obsługa zdań warunkowych „Jeśli p to q”
definiowanych warunkami wystarczającymi => i koniecznymi ~>.
To jest absolutna nowość w logice matematycznej póki co, nieznana żadnemu ziemskiemu
matematykowi.
3.0 do 9.0 Podstawowa teoria zdarzeń w zdaniach warunkowych "Jeśli p to q",
czyli logika matematyczna którą w praktyce rozumie każdy 5-cio latek.
10.0 Algebra Kubusia w tabelach zero-jedynkowych
11.0 Algebra Kubusia w bramkach logicznych - twardy dowód jej poprawności matematycznej.
12.0 Kubusiowa teoria zbiorów
13.0 Algebra Kubusia w zbiorach
14.0 do 19.0 Podstawowa teoria zbiorów analogiczna do teorii zdarzeń, poziom I klasy LO.
20.0 Zero-jedynkowe tajemnice algebry Boole’a
21.0 Rachunek zero-jedynkowy w obsłudze zdań warunkowych "Jeśli p to q".
22.0 Operatory implikacyjne w językach programowania komputerów
23.0 Ćwiczenia z prawa Grzechotnika
24.0 Obietnice i groźby złożone
25.0 Kompromitacja ziemskiej matematyki w 5 klasie Szkoły Podstawowej
26.0 Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej.
27.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej
27.5 Równoważność A<=>S na gruncie fizyki teoretycznej
28.0 Przedszkole algebry Kubusia
28.7 Implikacja prosta p|=>q i odwrotna p|~>q w przedszkolu

Najważniejszą częścią algebry Kubusia są pierwsze dwa rozdziały (zaledwie 150 stron), gdzie kompletna teoria algebry Kubusia wyłożona jest od poziomu zerowego, gdzie czytelnik nie ma pojęcia co to jest „logika matematyczna”, do poziomu pozwalającego na biegłe posługiwania się w praktyce algebrą Kubusia. Ta część zawiera minimalną ilość doskonałych przykładów na poziomie 5-cio latka, pozwalających zrozumieć algebrę Kubusia bez dużego wysiłku umysłowego w sposób jasny i klarowny.

Pierwsze dwa rozdziały to:
1.0 Nowa algebra Boole’a w wersji nieznanej ziemskim matematykom
2.0 Kompendium algebry Kubusia
Kompendium algebry Kubusia to matematyczna obsługa zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Kluczowe jest tu omówienie podstawowych operatorów logicznych (pkt. 2.12 do 2.16) oraz takich pojęć w logice matematycznej jak twarde jedynki i twarde zera (2.16.3) miękkie jedynki i miękkie zera (2.16.4). Bardzo ważny jest też dowód czysto matematyczny, iż wszelkie zero-jedynkowe definicje spójników logicznych wynikają z naturalnej logiki matematycznej 5-cio latka, co zostało pokazane na przykładzie wyprowadzenia zero-jedynkowej definicji warunku wystarczającego => (2.17.1)

Dodatkowo polecam rozdział:
27.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej
W tej autonomicznej części wszelkie niuanse algebry Kubusia wytłumaczone są krótko i zwięźle w sposób zrozumiały dla ucznia 8 klasy Szkoły Podstawowej

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 10:08, 28 Maj 2025 Temat postu:

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

Irbisol napisał:

To nie była dyskusja, tylko twoje notoryczne spierdalanie od tematu.
Najważniejsze, że matematycy NIEBAWEM przejdą na twoją algebrę - póki co to "niebawem" trwa 20 lat :rotfl:

Czas jest tu bez znaczenia - na 100% przejdą!
Myślę, że w dobie Internetu i AI zajmie im to nieporównywalnie mniej czasu, niż ich 2000 lat walki ze zrozumieniem banalnych (w dniu dzisiejszym) liczb ujemnych.

Co ma do powiedzenia AI w temacie liczb ujemnych?

Liczby ujemne zostały po raz pierwszy formalnie wprowadzone w Chinach około II wieku p.n.e. w dziele "Matematyka w dziewięciu księgach" (Jiuzhang suanshu). Chociaż wcześniej, w różnych kulturach, pojawiały się już pewne koncepty związane z liczbami ujemnymi, to właśnie w tym chińskim tekście zostały one po raz pierwszy systematycznie opisane i zastosowane.

Szczegóły:
Początki w Chinach:
"Matematyka w dziewięciu księgach" to zbiór rozwiązań problemów matematycznych, w którym liczby ujemne były używane do reprezentowania długów lub strat.

Brak powszechnej akceptacji:
Mimo że liczby ujemne pojawiały się w Chinach, ich akceptacja w innych częściach świata, zwłaszcza w Europie, zajęła dużo czasu.
Dopiero w późniejszych wiekach, głównie w XVI i XVII wieku, liczby ujemne zaczęły być bardziej powszechnie akceptowane i używane w Europie. Wprowadzono je m.in. w pracach takich matematyków jak Chuquet i Cardan.
Koniec XVII wieku: Kartezjusz wprowadził termin "liczby ujemne".

Znaczenie dla rozwoju matematyki:
Choć początkowo kontrowersyjne, liczby ujemne stały się kluczowym elementem w rozwoju algebry i innych dziedzin matematyki.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 10:18, 28 Maj 2025 Temat postu:

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

Irbisolu, spróbuj zrozumieć poniższy cytat z AK

Irbisol napisał:

Nie przejdą, bo masz u siebie błędy jak u przedszkolaka. I co najwyżej przedszkolaki przejdą na AK, której zresztą są ekspertami :rotfl:

Na 100% przejdą.
Na dzień dzisiejszy matematyczna obsługa zdań warunkowych to "ciemna strona księżyca" w ziemskiej logice matematycznej.
Tymczasem to jest poziom 5-cio latków.

Irbisolu, spróbuj zrozumieć poniższy cytat z AK punktując to, co jest wedle ciebie "matematyczną brednią"
Dasz radę?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049

Algebra Kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
2.0 Kompendium algebry Kubusia

Spis treści
2.0 Kompendium algebry Kubusia 1
2.1 Skorowidz definicji implikacyjnych algebry Kubusia 1
2.2 Elementarne spójniki implikacyjne w zdarzeniach 2
2.2.1 Definicja zdarzenia możliwego ~~> 2
2.2.2 Definicja warunku wystarczającego => w zdarzeniach 2
2.2.3 Definicja warunku koniecznego ~> w zdarzeniach 4
2.2.4 Definicja kontrprzykładu w zdarzeniach 5

2.0 Kompendium algebry Kubusia

Niniejszy punkt to kompendium algebry Kubusia zawierające zawierająca wszystkie potrzebne definicje i prawa algebry Kubusia konieczne i wystarczające do zrozumienia matematycznej obsługi zdań warunkowych "Jeśli p to q" zarówno na gruncie teorii zdarzeń, jak i na gruncie teorii zbiorów.

2.1 Skorowidz definicji implikacyjnych algebry Kubusia

Definicja spójnika implikacyjnego:
Spójnik implikacyjny to spójnik związany z obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>

Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
1.
Elementarne spójniki logiczne w zdarzeniach:
~~> - spójnik zdarzenia możliwego (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Elementarne spójniki logiczne w zbiorach:
~~> - element wspólny zbiorów (2.3.1)
=> - warunek wystarczający tożsamy z relacją podzbioru =>(2.3.2)
~> - warunek konieczny tożsamy z relacją nadzbioru ~>(2.3.3)
2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12)
|~> - implikacja odwrotna (2.13)
<=> - równoważność (2.14)
|~~> - chaos (2.15)
3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi
||=> - operator implikacji prostej (2.12.1)
||~> - operator implikacji odwrotnej (2.13.1)
|<=> - operator równoważności (2.14.1)
||~~> - operator chaosu (2.15.1)

2.2 Elementarne spójniki implikacyjne w zdarzeniach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech elementarnych znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń/zbiorów p i q

Formalna budowa zdania warunkowego:
Jeśli p to q
p – poprzednik, część zdania po „Jeśli …”
q – następnik, część zdania po „to…”

2.2.1 Definicja zdarzenia możliwego ~~>

Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q =p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q.
Inaczej:
p~~>q=p*q =[] =0

Decydujący w powyższej definicji jest znaczek zdarzenia możliwego ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
Uwaga:
Na mocy definicji zdarzenia możliwego ~~> badamy możliwość zajścia jednego zdarzenia, nie analizujemy tu czy między p i q zachodzi warunek wystarczający => czy też konieczny ~>.

Kod:

Zero-jedynkowa definicja zdarzenia możliwego ~~>:
p q p~~>q = p*q + p*~q + ~p*~q + ~p*q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =1
Interpretacja:
p~~>q=p*q=1 - wtedy i tylko wtedy
gdy możliwe jest jednoczesne ~~> zajście zdarzeń p i q
Inaczej:
p~~>q=p*q=0

Przykład:
Jeśli jutro będzie pochmurno (CH) to może ~~> nie padać (~P)
CH~~>~P=CH*~P =1
Możliwe jest (=1) zdarzenie: są chmury (CH) i nie pada (~P)

2.2.2 Definicja warunku wystarczającego => w zdarzeniach

Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH =1
Padanie jest (=1) warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury

W zapisie formalnym mamy tu:
p=P (pada)
q=CH (chmurka)
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")

Podsumowując:

Kod:

Definicja warunku wystarczającego =>:
Zapis formalny:
A1: p=>q =~p+q
Zapis aktualny (przykład):
A1: p=P
A1: q=CH
A1: P=>CH=~P+CH

Można łatwo udowodnić, iż zdarzenie P (pada) jest podzbiorem => zdarzenia CH (chmury).

Dowód:
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = relacja podzbioru =>
p=>q
1.
Prawo algebry Boole'a:
p=p*1
q=q*1
Stąd mamy:
p*1=>q*1
2.
Korzystamy z definicji wspólnej dziedziny dla p i q:
p+~p=D =1
q+~q=D =1
Stąd mamy wyprowadzone.
Prawo Orła:
p*(q+~q) => q*(p+~p)
3.
Wymnażamy wielomiany logiczne:
p*q + p*~q => p*q + ~p*q
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Nasz przykład:
p=P(pada)
q=CH(chmury)
Podstawiając do 3 mamy:
4.
P*CH + P*~CH => P*CH + ~P*CH
Badamy możliwość ~~> wystąpienia wszystkich zdarzeń:
P*CH=1 - możliwe jest (=1) zdarzenie: P(pada) i są CH(chmury)
P*~CH=0 - niemożliwe jest (=0) zdarzenie: P(pada) i nie ma chmur (~CH)
~P*CH=1 - możliwe jest (=1) zdarzenie: nie pada (~P) i są chmury (CH)
Stąd:
P*CH => P*CH + ~P*CH
bo x+0=x - prawo algebry Boole'a
Doskonale tu widać, że zdarzenie P*CH jest podzbiorem => zdarzenia (P*CH + ~P*CH)

2.2.3 Definicja warunku koniecznego ~> w zdarzeniach

Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0

Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

Przykład:
B1.
Jeśli jutro będzie pochmurno (CH) to może ~> padać (P)
CH~>P =1
Chmury (CH) są (=1) konieczne ~> dla padania (P), bo padać może wyłącznie z chmurki.

W zapisie formalnym mamy tu:
p=CH (chmurka)
q=P (pada)
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")

Podsumowując:

Kod:

Definicja warunku koniecznego ~>:
Zapis formalny:
B1: p~>q = p+~q
Zapis aktualny (przykład):
B1: p=CH
B1: q=P
B1: CH~>P=CH+~P

Można łatwo udowodnić, iż zdarzenie CH (chmury) jest nadzbiorem ~> zdarzenia P (pada)

Dowód:
Matematycznie zachodzi tożsamość:
Warunek konieczny ~> = relacja nadzbioru ~>
p~>q
1.
Prawo algebry Boole'a:
p=p*1
q=q*1
Stąd mamy:
p*1~>q*1
2.
Korzystamy z definicji wspólnej dziedziny dla p i q:
p+~p=D =1
q+~q=D =1
stąd mamy wyprowadzone.
Prawo Orła:
p*(q+~q) ~> q*(p+~p)
3.
Wymnażamy wielomiany logiczne:
p*q + p*~q ~> p*q + ~p*q
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Nasz przykład:
p=CH(chmury)
q=P(pada)
Podstawiając do 3 mamy:
4.
CH*P + CH*~P ~> CH*P + ~CH*P
Badamy możliwość ~~> wystąpienia wszystkich zdarzeń:
CH*P=1 - możliwe jest (=1) zdarzenie: są chmury (CH) i pada (P)
CH*~P=1 - możliwe jest (=1) zdarzenie: są chmury (CH) i nie pada (~P)
~CH*P=0 - niemożliwe jest (=0) zdarzenie: nie ma chmur (~CH) i pada (P)
Stąd mamy:
5.
CH*P + CH*~P ~> CH*P
bo x+0=x
Doskonale tu widać, że zdarzenie (CH*P + CH*~P) jest nadzbiorem ~> zdarzenia CH*P

2.2.4 Definicja kontrprzykładu w zdarzeniach

Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wymusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wymusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)

Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH=1
Padanie jest warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury

Na mocy definicji kontrprzykładu prawdziwy warunek wystarczający A1: P=>CH=1 wymusza fałszywość kontrprzykładu A1' (i odwrotnie)
A1'
Jeśli jutro będzie padało (P) to może ~~> nie być pochmurno (~CH)
P~~>~CH = P*~CH=0
Dowód wprost:
Niemożliwe jest (=0) zdarzenie ~~>: pada (P) i nie jest pochmurno (~CH)
Dowód "nie wprost":
Na mocy definicji kontrprzykładu tego faktu nie musimy udowadniać, ale możemy, co wyżej uczyniliśmy.

Uwaga na standard w algebrze Kubusia:
Kontrprzykład dla warunku wystarczającego => A1 oznaczamy A1’

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 11:06, 28 Maj 2025 Temat postu:

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

Irbisolu, nie udawaj idioty bo nim nie jesteś!

Irbisol napisał:

Należy zacząć od tego, że u ciebie K jest tylko i wyłącznie zmienną oznaczającą "kino", tudzież "będziemy w kinie", ale jest też stałą :rotfl:

To jest proste jak cep.
We wszelkich obietnicach bezwarunkowych K (kino) jest tylko i wyłącznie zmienną binarną.
Poza obietnicami K (kino) może być stałą binarną o wartości logicznej równej 1 ... czyli to pojęcie jest totalnie bezużyteczne dla matematycznej obsługi obietnicy bezwarunkowej

Podobnie:
Załóżmy, że znasz teorię równań liniowych
Co z tego że znasz, skoro ta teoria jest totalnie bezużyteczna w rozwiązywaniu równań kwadratowych.

Irbisolu, nie udawaj idioty bo nim nie jesteś.
Na 100% wiem że rozumiesz poniższą analizę matematyczną 3-argumentowej obietnicy bezwarunkowej, tylko gówno zwane KRZ nie pozwala ci się do poniższego banału przyznać.
Zgadza się?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#727801

Algebra Kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
20.0 Zero-jedynkowe tajemnice algebry Boole’a

Spis treści
20.11 Obietnica bezwarunkowa n-argumentowa 1
20.11.1 Miękkie jedynki i twarde zera w logice matematycznej 2
20.12 Rodzaje obietnic ze względu na kryterium zrealizowania 3

20.11 Obietnica bezwarunkowa n-argumentowa

Analiza na przykładzie obietnicy bezwarunkowej 3-argumentowej

Zadanie 3

Dana jest obietnica bezwarunkowa 3 argumentowa:
1
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru

Analiza matematyczna:
1.
Jutro pójdziemy na basen lub pójdziemy do kina, ale nie pójdziemy do teatru
Y =B+ K*~T – funkcja logiczna w logice dodatniej (bo Y)
Zapis tożsamy na mocy prawa Irbisa:
Y <=> B+ K*~T
To samo w zapisie formalnym:
p<=>q
Co w logice jedynek (naturalna logika człowieka) oznacza:
Y=1 <=> B=1 lub K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy <=> gdy jutro:
1a: B=1 - pójdziemy na Basen (B=1)
„lub”(+)
1b: 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”(+)
1a: B=1 - byliśmy na basenie (B=1)
„lub”(+)
1b: 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ść.

[=]
Aby odpowiedzieć na pytanie kiedy jutro pani nie dotrzyma (~Y) musimy dwustronnie zanegować funkcję logiczną 1
~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 (pkt. 1.13)
2.
~Y = ~B*~K + ~B*T – funkcja logiczna w logice ujemnej (bo ~Y)
Zapis tożsamy na mocy prawa Irbisa:
~Y <=> ~B*~K + ~B*T
To samo w zapisie formalnym:
~p<=>~q
Co w logice jedynek 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:
2a: ~B*~K = ~B=1 I ~K=1 – nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
”lub”(+)
2b: ~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”(+)
2a: ~B*~K = ~B=1 I ~K=1 – nie byliśmy na basenie (~B=1) i nie byliśmy w kinie (~K=1)
”lub”(+)
2b: ~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ść.

Gdzie:
Międzykolumnowe prawo Irbisa:
p<=>q [=] ~p<=>~q

20.11.1 Miękkie jedynki i twarde zera 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=1)?
Y <=> B+ K*~T
2.
Kiedy jutro pani nie dotrzyma słowa (~Y=1)?
~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=1) albo nie dotrzymać słowa (~Y=1)
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ść:
1.
Kiedy jutro pani dotrzyma słowa (Y=1)?
2.
Kiedy jutro pani nie dotrzyma słowa (~Y=1)?

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.12 Rodzaje obietnic ze względu na kryterium zrealizowania

Wszelkie obietnice ze względu na kryterium zrealizowania dzielimy na:
1.
Obietnice żywe tzn. wypowiedziane, ale jeszcze niezrealizowane
2.
Obietnice martwe tzn. wypowiedziane i już zrealizowane

Oczywistym jest, że wyłącznie w stosunku do obietnic martwych każdy człowiek ma prawo włóczyć się po naszej planecie komentując:
- w obietnicy X nadawca dotrzymał słowa
- w obietnicy Y nadawca nie dotrzymał słowa
KONIEC!
Żadne inne rozstrzygnięcia w obszarze ziemskich obietnic martwych matematycznie nie są możliwe.
Jest oczywistym, że znając wynik działania dowolnej obietnicy X albo Y nie możemy spowodować cofnięcia czasu i zmienić zaistniały i znany wynik (X albo Y), zatem takie rozstrzygnięcia są poza definicją logiki matematycznej (pkt. 1.2.6)

Ostatnio zmieniony przez rafal3006 dnia Śro 11:15, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 11:29, 28 Maj 2025 Temat postu:

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

Irbisol napisał:

Wcześniej pisałeś, że K jest tylko i wyłącznie zmienną. I to konkretnie zdefiniowaną - co już jest głupie.

Oczywistym jest, że miałem na myśli (domyślnie) tylko i wyłącznie naszą obietnicę:
A1.
Jutro pójdziemy do kina
którą wałkujemy od kilkuset postów!

W 100-milowym lesie jak ktokolwiek w nawiązaniu do A1 (bo o tym dyskutujemy!) wypowie zdanie:
"K(kino) jest tylko i wyłącznie zmienną binarną"
to oczywistym jest (domyślnym) iż mówi o obietnicach bezwarunkowych typu A1 ... a nie o stałej binarnej K(kino) o wartości logicznej twardej jedynki (=1), której fizycznie nie da się zamienić na twarde zero (=0) - wszelkie stałe binarne są bezużyteczne w logice matematycznej, dokładnie tego chyba nie rozumiesz ... ale mogę wytłumaczyć.

Proszę, oto wytłumaczenie na gruncie AK:

Algebra Kubusia napisał:

1.2.6 Ogólna definicja logiki matematycznej

Ogólna definicja logiki matematycznej:
Logika matematyczna to matematyczny opis nieznanego tzn. nieznanej przyszłości albo nieznanej przeszłości.
Nie wszystko w czasie przeszłym jest nam wiadome - logika matematyczna służy tu do ustalenia co się w przeszłości zdarzyło

Przykład:
Poszukiwanie mordercy
Po długich poszukiwaniach mordercy, Kowalskiemu udowodniono zabójstwo x-a, i się do tego przyznał.
Po co komu potrzebna jest tu dalsza logika matematyczna prowadząca do wykrycia znanego już wszystkim zabójcy x-a?

Stąd mamy:
Prawo Nietoperza:
Jeśli znamy zaistniałe w przeszłości fakty to żadna logika matematyczna ich nie zmieni, jest psu na budę potrzebna.

Przykład:
Hitler - wiemy kim był i co zrobił, to jest fakt, którego żadna logika matematyczna nie zmieni
Nie możemy cofnąć czasu i spowodować by Hitler zginął w zamachu na jego życie przed wybuchem II Wojny Światowej.

Ostatnio zmieniony przez rafal3006 dnia Śro 11:30, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 12:08, 28 Maj 2025 Temat postu:

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

Miejsce współczesnej algebry Boole'a jest w koszu na śmieci!
Dowód w niniejszym poście na poziomie 5-cio latka to udowodnione w cytacie prawo Grzechotnika!

Irbisol napisał:

I tu już każdy matematyk ci powie, że "nic nie jest oczywistym".
Do przedszkola ta twoja algebra się może nadaje.
Co do twojego kolejnego spamu - nie będę tego czytał. Chyba że zaczniesz pisać normalnie, czyli w 10x mniejszej objętości.

Póki co nie powie że wszystko jest w logice matematycznej oczywiste ... ale powie po zrozumieniu iż współczesna algebra Boole'a jest ślepa, tzn. nie widzi funkcji logicznych algebry Boole'a w logice dodatniej (bo Y) i ujemnej (bo ~Y).
Póki co funkcje logiczne algebry Boole’a w logice ujemnej (bo ~Y) to „ciemna strona księżyca” w ziemskiej logice matematycznej co generuje wewnętrzną sprzeczność tej algebry na poziomie funkcji logicznych algebry Boole’a.

Dowód braku funkcji logicznych w logice ujemnej (bo ~Y) mamy choćby na matematyce.pl
autor: Dasio11 » 13 wrz 2023, o 11:53
[link widoczny dla zalogowanych]

moderator Dasio11 w dyskusji z Rafałem3006 napisał:

Sugeruję, byś przestał zasypywać ten wątek wypowiedziami w temacie, o którym, jak się zdaje, masz niewielkie pojęcie. Zadanie polega na matematycznym udowodnieniu, że żadna formuła rachunku zdań zdefiniowana przy użyciu różnych spójników logicznych nie może być równoważna negacji. Twoje uwagi są banalne i nijak nie pomagają udowodnić tego, co trzeba. Ponadto są nie na temat - bramki logiczne w elektronice stanowią tylko jedno z wielu zastosowań logiki matematycznej i nie mają zbyt wiele wspólnego z tym, co w tym wątku najistotniejsze, tj. z dowodami matematycznymi. Operujesz też niezbyt przystępnym językiem - nie ma w matematyce takiego pojęcia, jak "logika dodatnia/ujemna", jest to żargon elektroników. Toteż chyba lepiej będzie, jeśli skoncentrujesz swoją uwagę na świecie techniki, z którego przybywasz, a matematykę zostawisz tym, którzy się na niej znają, tj. matematykom.

Definicja gówno-matematyka:
Każdy matematyk który będzie twierdził, że funkcje logiczne algebry Boole’a to nie jest algebra Boole’a jest … nie bójmy się tego słowa gówno-matematykiem!

Wniosek:
Miejsce współczesnej algebry Boole'a jest w koszu na śmieci!

Dowód na poziomie 5-cio latka wewnętrznej sprzeczności współczesnej algebry Boole'a na poziomie funkcji logicznych algebry Boole’a jest na samiutkim początku algebry Kubusia!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
1.0 Nowa algebra Boole'a

Spis treści
1.8 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka 1
1.8.1 Dowód prawa Grzechotnika na poziomie przedszkola 5

1.8 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka

Definicja standardu dodatniego w języku potocznym człowieka:
W języku potocznym ze standardem dodatnim mamy do czynienia wtedy i tylko wtedy gdy wszelkie przeczenia (~) w zdaniach są uwidocznione w kodowaniu matematycznym tych zdań.
Innymi słowy:
W kodowaniu matematycznym dowolnych zdań z języka potocznego wszystkie zmienne muszą być sprowadzone do logicznych jedynek na mocy prawa Prosiaczka

Przykład konsekwentnego stosowania standardu dodatniego w języku potocznym mamy niżej

Kod:

Kod:

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.

W niniejszym punkcie zajmiemy się dowodem prawa Grzechotnika dla funkcji jednoargumentowych A1: Y=p i A2: Y=~p na konkretnym przykładzie, doskonale rozumianym przez każdego 5-cio latka.

Zadanko Kubusia:
Dane są dwa zdania pań przedszkolanek z dwóch różnych przedszkoli A1 i A2.

Pani w przedszkolu A1:
A1.
Jutro pójdziemy do kina

Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina

Treść polecenia:
Zapisz w funkcjach logicznych kiedy panie dotrzymają słowa a kiedy skłamią?

Rozwiązanie Jasia, ucznia I klasy LO w 100-milowym lesie.

Przedszkole A1:

Kod:

Pani w przedszkolu A1:
A1.
Jutro pójdziemy do kina
Y=K
co w logice jedynek oznacza:
Y=1 <=> K=1 - doskonale to widać w tabeli OT
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A1 stronami:
B1.
~Y=~K
co w logice jedynek oznacza:
~Y=1 <=> ~K=1 - doskonale to widać w tabeli OT
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

##

Przedszkole A2:

Kod:

Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1 - doskonale to widać w tabeli ON
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A2 dwustronnie.
~Y=K
Stąd mamy:
B2.
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
~Y=K
co w logice jedynek oznacza:
~Y=1 <=> K=1 - doskonale to widać w tabeli ON
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Gdzie:
Zmienne Y i K muszą być wszędzie tymi samymi zmiennymi, inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Znaczenie zmiennych Y i K w logice dodatniej (bo p) i ujemnej (bo ~p):
Y - pani dotrzyma słowa (Y=1)
~Y - pani nie dotrzyma słowa (~Y=1)
K - jutro pójdziemy do kina (K=1)
~K - jutro nie pójdziemy do kina (~K=1)

Definicja dziedziny D dla zdarzeń:
Dziedzina D dla zdarzeń to zbiór wszystkich możliwych zdarzeń jakie mogą wystąpić
K+~K =D =1 - zdanie zawsze prawdziwe (stała binarna)
K*~K =[] =0 - zdanie zawsze fałszywe (stała binarna)
Zauważmy, że pojęcia K (kino) i ~K (nie kino) nie są zdaniami.

Zdaniami są dopiero funkcje logiczne Y=x

Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:

Kod:

T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K

Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.

Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##

1.8.1 Dowód prawa Grzechotnika na poziomie przedszkola

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.

Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.

Doskonale widać, że jeśli z tabeli T1 usuniemy wszystkie funkcje logiczne Y i ~Y zostawiając wyłącznie wyrażenia algebry Boole’a widniejące z prawej strony, to najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## zostanie zgwałcony bo zachodzić będą tożsamości po przekątnych:

Kod:

T1
Pani w przedszkolu A1:
A1: K # B1: ~K
Pani w przedszkolu A2:
A2: ~K # B2: K

To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych, które w rachunku zero-jedynkowym nie widzą funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y)

Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.

Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.

Ostatnio zmieniony przez rafal3006 dnia Śro 12:19, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 14:25, 28 Maj 2025 Temat postu:

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

Irbisol napisał:

Żadnych sprzeczności to nie generuje, schizofreniku. Jakoś do tej pory nikomu nie wygenerowało - za wyjątkiem ciebie :rotfl:

No i nie zapominajmy, że jeżeli u ciebie jakaś wartość logiczna zależy od dwóch innych wartości logicznych A i B, to z automatu te wartości A i B muszą od siebie zależeć. Takiego gówna nawet przedszkolak by nie wymyślił.

O paradoksach w logice matematycznej słyszałeś?
np. o kocie jednocześnie żywym i martwym?
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#694327
5.4.1 Istota pudełka z kotem Schrödingera 11
Rozwiązanie zagadki kota Schrödingera masz w AK i jest to problem na poziomie 5-cio letniego dziecka - ani grama wyżej!

To wytłuszczone to w 100% twoja schizofrenia.
Podaj szczegóły w postaci moich cytatów (twoja schizo mnie nie interesuje) - na 100% dostaniesz takie baty od algebry Kubusia, że nie będziesz wiedział w którą stronę uciekać.
:rotfl:

P.S.
Cóż, walki z wiatrakami ciąg dalszy, co wszyscy doskonale widzą.

Ostatnio zmieniony przez rafal3006 dnia Śro 14:26, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 14:29, 28 Maj 2025 Temat postu:

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

Irbisol napisał:

Zapis jak twój w jedynej poprawnej logice matematycznej tzn. w algebrze Kubusia interpretowany jest następująco:

Kod:

TS1
A: Ya = (D(K)*D(T)) <=> ( K * T)
B: Yb = (D(K)*~D(T)) <=> ( K *~T)
C: Yc = (~D(K)*D(T)) <=> (~K * T)
D: Yd = (~D(K)*~D(T)) <=> (~K *~T)

Prawe strony równoważności <=> są twardym dowodem, że istnieje związek matematyczny między pojęciami:
K (kino)
T (teatr)

Dopóki nie nauczysz się podawać linków do moich cytatów, będę takie cytaty ignorował, bo jest twoja zabawa w Urbana.

[link widoczny dla zalogowanych]
Jerzy Urban. Cyniczne kłamstwa w służbie komunistycznej propagandy
Zmarły 3 października br. Jerzy Urban – w latach 1981-1989 rzecznik prasowy Rady Ministrów PRL - przeszedł do niechlubnej historii jako symbol komunistycznej, wyrachowanej propagandy. Widziany po latach cynizm tych kłamstw poraża.

Czekam zatem na link, wtedy zajmę się tym cytatem ... i oczywiście dostaniesz takie baty, że nie będziesz wiedział w którą stronę uciekać.

W tym momencie wszyscy czytelnicy widzą potworny strach w twoich oczach - tyle zostanie z twojego linku.
:rotfl:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 14:46, 28 Maj 2025 Temat postu:

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

Paniczna ucieczka Irbisola od oczywistej oczywistości, by podał link!

Irbisolu, wszyscy już wiedzą, czemu nie chcesz podać linku do cytatu z moją wypowiedzią - dostaniesz takie baty że nie będziesz wiedział w która stronę uciekać.
OT.TO.

Irbisol napisał:

Pisałeś o samym czytacie, schizofreniku.
I cytat dostałeś.

Domyślenie z podaniem linku - gówno logik z ciebie skoro takich oczywistych banałów nie rozumiesz.
Zatem czekam na link.

P.S.
Żeby byla jasność.
Nie zamierzam rozmawiać z twoim komputerem który nosisz na szyi - zastąp go mózgiem 5-cio latka, wtedy pogadamy.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 14:59, 28 Maj 2025 Temat postu:

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

Irbisol napisał:

Czyli uważasz, że ten cytat został przeze mnie zmyślony?

Ten cytat to w 100% twoja parszywa Urbanologia.

[link widoczny dla zalogowanych]
Jerzy Urban. Cyniczne kłamstwa w służbie komunistycznej propagandy
Zmarły 3 października br. Jerzy Urban – w latach 1981-1989 rzecznik prasowy Rady Ministrów PRL - przeszedł do niechlubnej historii jako symbol komunistycznej, wyrachowanej propagandy. Widziany po latach cynizm tych kłamstw poraża.

Dokładnie dlatego masz podać link do niego, bym ci to mógł udowodnić!

Wszyscy widzą, że strach cię obleciał i gacie ci spadły, dlatego nigdy nie podasz linku skąd tą moją wypowiedź wytrzasnąłeś?
Twoja schizo zwana KRZ kategorycznie zabrania ci podania linku do mojej wypowiedzi bo doskonale wie, że dostanie takie baty, że nie będzie wiedziała w którą stronę uciekać.
:rotfl:

Ostatnio zmieniony przez rafal3006 dnia Śro 15:01, 28 Maj 2025, 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: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 17:13, 28 Maj 2025 Temat postu:

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

Bardzo proszę, baty po raz pierwszy!

Irbisol napisał:

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

No to czekam na te "baty", kłamco :rotfl:

Bardzo proszę, baty po raz pierwszy!

Irbisolu, 100% twoich postów w temacie matematycznej obsługi dwóch rozłącznych obietnic bezwarunkowych jednoargumentowych o których dyskutowaliśmy to jedno, wielkie potwornie śmierdzące gówno.
Czekam kiedy pojmiesz co to znaczy 100%
:rotfl:

Oto dwie obietnice bezwarunkowe jednoargumentowe o których dyskutowaliśmy:
A1.
Jutro pójdziemy do kina
A2.
Jutro pójdziemy do teatru

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

rafal3006 napisał:

Operatory jednoargumentowe w praktyce
Z dedykacją dla Irbisola w nadziei że wreszcie zacznie czytać co do niego piszę

Podtytuł:
Matematyczne sraczka fanatyka KRZ, Irbisola!
Patrz końcówka niniejszego postu.

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

Schizofreniku, non stop spierdalasz od tematu.
Teraz otwierasz kolejny temat, a jak bym ci wskazał gdzie się wysrywasz, to uciekniesz w kolejny.

Masz w ogóle świadomość faktu, że mowa była o twoim zarzucie, jakoby K i T były zależne, ale nie byłeś w stanie stwierdzić tej zależności?

Udowodniłem ci zależność twoich K i T - tylko nie zrozumiałeś.

"Udowodniłeś", tylko nie pokazałeś, jak K zależy od T :rotfl:

Zadanie z logiki matematycznej w I klasie LO:

Dane są dwie obietnice pani przedszkolanki:
A1.
Jutro pójdziemy do kina
A2.
Jutro pójdziemy do teatru

Polecenie:
Rozstrzygnij kiedy jutro pani dotrzyma słowa a kiedy nie dotrzyma słowa
Zbadaj związek matematyczny między obietnicami A1 i A2

Rozwiązanie Jasia, ucznia I klasy LO:

Zdania A1 i A2 to obietnice bezwarunkowe jednoargumentowe.
Przypomnijmy sobie tabelę prawdy wszystkich możliwych operatorów jednoargumentowych:

Algebra Kubusia napisał:

1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.

1.3.3 Prawo Pytona

Prawo Pytona:
Logika matematyczna to tylko i wyłącznie logika stałych binarnych i zmiennych binarnych

Prawo Pytona to zdecydowanie najważniejsze prawo logiki matematycznej.
Stałe binarne są w logice matematycznej bezużyteczne, co wynika bezpośrednio z ogólnej definicji logiki matematycznej zawartej w punkcie 1.2.6.

Z prawa Pytona wynika, że:
1.
Użyteczna logika matematyczna to tylko i wyłącznie zmienne binarne (dwuwartościowe).
2.
W logice języka potocznego musimy zlokalizować wszystkie zmienne binarne tu występujące, inaczej nie mamy do czynienia z logiką matematyczną
3.
Zrozumienie istoty działania operatora jednoargumentowego jest konieczne dla zrozumienia istoty działania operatorów logicznych n-argumentowych

I.
Rozważmy obietnicę A1

Analiza bezwarunkowej obietnicy A1:
A1.
Jutro pójdziemy do kina

Komentarz:
Na mocy prawa Pytona musimy ustalić ilość zmiennych binarnych o których ta obietnica mówi
W dowolnej obietnicy musimy rozstrzygnąć kiedy pani dotrzyma słowa a kiedy nie dotrzyma słowa.
Stąd mamy najważniejsze znaczenie funkcji logicznej Y w absolutnie wszystkich obietnicach, zarówno bezwarunkowych jak i warunkowych wyrażonych zdaniem warunkowym „Jeśli p to q”

Znaczenie zmiennej binarnej Y w absolutnie wszystkich obietnicach.
Y – pani dotrzyma słowa (Y=1)
~Y – pani nie dotrzyma słowa (~Y=1)

Kolejna i ostatnia zmienna binarna jaką widzimy w obietnicy A1 to K(kino):
K – jutro pójdziemy do kina (K=1)
~K – jutro nie pójdziemy do kina (~K=1)

Podstawmy dla potrzeb zapisu formalnego (niezależnego od wypowiedzianego zdania):
p=K

Z tabeli prawdy wszystkich możliwych operatorów logicznych jednoargumentowych widzimy, że nasza obietnica pasuje tylko i wyłącznie do operatora transmisji:

Kod:

TJ
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony

Po powyższych, wstępnych rozważaniach czysto matematycznych jedziemy z naszą analizę obietnicy A1.

A1.
Jutro pójdziemy do kina
A1: Y=K
To samo w zapisie formalnym:
A1: Y=p
Zapis tożsamy na mocy prawa Irbisa:
Y<=>K
Co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1<=>K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

.. a kiedy pani jutro nie dotrzyma słowa (~Y)?
Negujemy funkcję logiczną A1 stronami:
B1: ~Y=~K
To samo w zapisie formalnym:
B1: ~Y=~p
Zapis tożsamy na mocy prawa Irbisa:
B1: ~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Nanieśmy nasze zdanie do tabeli prawdy operatora transmisji:

Kod:

TJ
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
Nasza obietnica:
A1: Y= K # B1: ~Y=~K
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony

I.
Weźmy kolejną naszą obietnicę A2
A2.
Jutro pójdziemy do teatru

Komentarz:
Doskonale widać, że ta obietnica to również operator transmisji, że mamy tu dwie i tylko dwie zmienne binarne.
Znaczenie zmiennej binarnej Y w absolutnie wszystkich obietnicach:
Y – pani dotrzyma słowa (Y=1)
~Y – pani nie dotrzyma słowa (~Y=1)

Kolejna i ostatnia zmienna binarna jaką widzimy w obietnicy A2 to T(Teatr):
T – jutro pójdziemy do teatru (T=1)
~T – jutro nie pójdziemy do teatru (~T=1)

Podstawmy dla potrzeb zapisu formalnego (niezależnego od wypowiedzianego zdania):
q=T(teatr)
Dlaczego tym razem użyliśmy innej zmiennej formalnej q, a nie jak to jest w tabeli prawdy wszystkich możliwych operatorów jednoargumentowych symbolu p?

Pokazuję i objaśniam:
W treści zadania mamy zbadać wszelkie związki matematyczne między obietnicami A1 i A2.
Zapiszmy jeszcze raz tabelę TJ:

Kod:

Doskonale widać, że jeśli w obietnicy A2 użyjemy podstawienia:
p=T(teatr)
to zrobimy błąd podstawienia o którym mówi tabela TJ.

Po tych wyjaśnieniach jedziemy z analizą matematyczną obietnicy A2.

A2.
Jutro pójdziemy do teatru
A2: Y=T
To samo w zapisie formalnym:
A2: Y=q
Zapis tożsamy na mocy prawa Irbisa:
Y<=>T
Co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1<=>T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do teatru (T=1)

.. a kiedy pani jutro nie dotrzyma słowa (~Y)?
Negujemy funkcję logiczną A2 stronami:
B2: ~Y=~T
To samo w zapisie formalnym:
B2: ~Y=~q
Zapis tożsamy na mocy prawa Irbisa:
B2: ~Y=1 <=> ~T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do teatru (~T=1)

Nanieśmy naszą obietnicę A2 do tabeli prawdy operatora transmisji:

Kod:

TJ
Operator transmisji Y|=q
A2: Y= q # B2: ~Y=~q
Nasza obietnica:
A2: Y= T # B2: ~Y=~T
Gdzie:
q, Y muszą być wszędzie tymi samymi q, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony

Podsumujmy nasz rozważania.
Zapiszmy nasze obietnice A1 i A2 w jednej tabeli symbolicznej:

Kod:

TJ
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
Nasza obietnica:
A1: Y= K # B1: ~Y=~K
## ##
Operator transmisji Y|=q
A2: Y= q # B2: ~Y=~q
Nasza obietnica:
A2: Y= T # B2: ~Y=~T
Gdzie:
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - funkcje logiczne różna na mocy definicji

Irbisol napisał:

Twoje AK jest już dawno obalone samo przez siebie - problem w tym, że dla ciebie jest to religia. Podobnie mają płaskoziemcy.

Masz po raz kolejny coś, co wg ciebie jest FIZYCZNIE NIEMOŻLIWE:

( D(K) * D(T) ) <=> (K * T)
( D(K) * ~D(T) ) <=> (K * ~T)
( ~D(K) * D(T) ) <=> (~K * T)
( ~D(K) * ~D(T) ) <=> (~K * ~T)

U ciebie jest tylko jedno D i chuj wie, czego dotyczy, gdy ktoś złoży jednocześnie więcej niż jedną obietnicę :rotfl:

W KRZ można jednocześnie obsługiwać DOWOLNĄ liczbę obietnic z dowolnymi scenariuszami ich spełnienia.

Irbisolu, twoja wypowiedź to błąd na błędzie błędem poganiany:
1.
Odnośnie wytłuszczonego:
Po pierwsze matematycznie zachodzi tożsamość pojęć:
D=Y – pani dotrzyma słowa (symbol jest tu nieistotny)

2.
Po drugie wystarczy, że w twoim zapisie zobaczę jeden, jedyny spójnik logiczny „i”(*) wiążący K i T i już twoje wywody lądują w piekle na wiecznych piekielnych mękach, bowiem rozmawiamy o dwóch obietnicach jednoargumentowych A1 i A2 gdzie K jest bez żadnego związku z T.
Twój jeden, jedyny zapis będący dowodem iż srasz gównem to twój zapis:
K*T – tu wiążesz K i T spójnikiem „i”(*)
Dziękuję, pozamiatane.

Pytanie do Irbisola:
Czy już rozumiesz, że twoja tabela prawdy to sranie w banie, żadna logika matematyczna dotycząca naszych obietnic jednoargumentowych A1 i A2 … o których dyskutujemy od x postów!

Powtórzę:
To jest twoje potwornie śmierdzące gówno:
K*T
które zapisałeś w swojej tabeli prawdy dotyczącej naszych obietnic bezwarunkowych A1 i A2, bowiem tu wiążesz K i T spójnikiem „i”(*)
c.n.d.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 17:19, 28 Maj 2025 Temat postu:

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

Bardzo proszę, baty po raz drugi!
… tym razem w wykonaniu Prosiaczka!

Irbisol napisał:

Co ty pierdolisz, schizofreniku? Miałeś się bronić przed zarzutem, że jeżeli coś zależy od A i B, to wg ciebie A i B są względem siebie zależne.
Nawet nie spróbowałeś - od razu spierdalasz w popłochu :rotfl:

Konsekwentnie będziesz dostawał potworne baty w temacie twojego rozumienia logiki matematycznej.

Pytanie retoryczne:
Czy ma kto nadzieję że Irbisol zrozumie?

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

rafal3006 napisał:

Czy zdrowa część mózgu Irbisola przeczyta poprawne rozwiązanie zadania maturalnego?
Pytanie retoryczne:
Ma kto taką nadzieję?

Irbisol napisał:

To ty napisałeś odpowiedź, nie ja. Więc to ty uwaliłeś :rotfl:

Schizofrenia nie odpuszcza, jak widać.

Biedny Irbisolu, zarówno ja, jak i każdy 5-cio latek i humanista, mamy dostęp do twojej zdrowej części mózgu tzn. jeszcze nie utopionej w gównie zwanym KRZ, bowiem wszyscy podlegamy po algebrę Kubusia nie mając żadnych szans na uwolnienie się od niej.
Dokładnie dlatego mogło dość do twojego egzaminu maturalnego wirtualnie tzn. poza twoją świadomością.

Niżej Prosiaczek prezentuje ci poprawne rozwiązanie twojego egzaminu w nadziei, że przeczyta to zdrowa część twojego mózgu tzn. jeszcze nie zakażona gównem zwanym KRZ.

Zdanie maturalne z matematyki:
Danych jest 6 obietnic pani przedszkolanki wypowiedzianych do jej podopiecznych 5-cio latków.
Polecenie
Ustal matematyczne związki między tymi obietnicami.

A1.
Jutro pójdziemy do kina
A2.
Jutro pójdziemy do teatru
A3.
Jutro pójdziemy do kina i do teatru
A4
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A5
Jutro pójdziemy do teatru, ale nie pójdziemy do kina
A6
Jutro nie pójdziemy ani do kina, ani do teatru

Podpowiedź eksperta algebry Kubusia, Prosiaczka.

I.
Analiza obietnicy A1:
A1.
Jutro pójdziemy do kina
A1: Y=K
To samo w zapisie formalnym:
p=K(kino) – podstawienie dla potrzeb zapisu formalnego
A1: Y=p

kodowanie tożsame na mocy prawa Irbisa:
A1: Y<=>K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
.. a kiedy pani nie dotrzyma słowa?
Negujemy A1 stronami:
B1: ~Y=~K
To samo w zapisie formalnym:
B1: ~Y=~p
B1: ~Y<=>~K
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

II.
Analiza obietnicy A2:
A2.
Jutro pójdziemy do teatru
A2: Y=T
To samo w zapisie formalnym:
A2: Y=q
q=T(teatr) – podstawienie dla potrzeb zapisu formalnego
Musi być inne niż p=K(kino) w obietnicy A1,
bo naszym celem jest wyprowadzenie matematycznego związku między A1 i A2.

kodowanie tożsame na mocy prawa Irbisa:
A2: Y<=>T
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
Y=1 <=> T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do teatru (T=1)
.. a kiedy pani nie dotrzyma słowa?
Negujemy A2 stronami:
B2: ~Y=~T
To samo w zapisie formalnym:
B2: ~Y=~q
B2: ~Y<=>~T
co w logice jedynek (naturalna logika 5-cio latka) oznacza:
~Y=1 <=> ~T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do teatru (~T=1)

Zapiszmy nasze analizy I i II w zapisach formalnych i aktualnych umieszczając je w tabeli prawdy:

Kod:

TA1A2
Zapis formalny obietnicy A1
A1: Y=p # B1: ~Y=~p
To samo w zapisie aktualnym (nasz przykład):
A1: Y=K # B1: ~Y=~K
## ##
Zapis formalny obietnicy A2
A2: Y=q # B2: ~Y=~q
To samo w zapisie aktualnym (nasz przykład):
A2: Y=T # B2: ~Y=~T
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - obietnice różne na mocy definicji
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawieni

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Doskonale widać, że w tabeli TA1A2 definicje obu znaczków # i ## są perfekcyjnie spełnione.

Podsumowanie:
Tu Ja, Prosiaczek, robię STOP bo:

1.
Jeśli Irbisol zrozumie matematyczną analizę obietnic A1 i A2 z egzaminu maturalnego jak wyżej, to na 100% obsłuży poprawnie matematycznie obietnice A3 do A6 … bo wszystko tu leci dokładnie według schematu A1 i A2!
Ilość zmiennych binarnych jest tu bez znaczenia, co zostało pokazane w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12200.html#842089
w punkcie:
1.19.2 Obietnica bezwarunkowa n-argumentowa

2.
Jeśli Irbisol nie zrozumie powyższej analizy matematycznej obietnic A1 i A2 to nie ma dla niego ratunku tzn. może sobie wybić z głowy, że kiedykolwiek zrozumie algebrę Kubusia, logikę matematyczną której naturalnymi ekspertami są 5-cio latki i humaniści.

3.
Kolejna podpowiedź Prosiaczka:
Irbisolu, poprawną analizę matematyczną obietnic maturalnych A3 do A6 znajdziesz w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12175.html#841869
Tu są ponumerowane A1 do A4 co jest bez znaczenia.

Pytanie retoryczne:
Kiedy zaczniesz czytać, co się do ciebie pisze?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 38706
Przeczytał: 17 tematów

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

Wysłany: Śro 17:47, 28 Maj 2025 Temat postu:

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

Bardzo proszę, baty po raz trzeci!
… tym razem w wykonaniu egzorcysty Tygryska!

Irbisol napisał:

I tak będziesz teraz wklejał losowy spam nie na temat i się cieszył z tych "batów"? :rotfl:

Irbisolu, przecież cię nie boli bo nie biję zdrowej części twojego mózgu, będącą na matematycznym poziomie 5-cio latka, eksperta algebry Kubusia.
Baty wymierzone są w Lucyfera dla niepoznaki zwanego KRZ, przybysza z innego Wszechświata, który zawładną twoim mózgiem.
Dupa mu spuchła i wrzeszczy w niebogłosy:
Leżę, kwiczę i błagam o litość.
Lucyferze urzędujący w mózgu biednego Irbisola dla niepoznaki zwany KRZ, przestanę cię walić tylko wtedy gdy opuścisz mózg biednego Irbisola.
Podpisano:
Egzorcysta: Tygrysek

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

rafal3006 napisał:

Kwadratura koła dla Irbisola!

Irbisol napisał:

A doczytałeś fragment mojego postu o treści "wracaj do tematu"?

Naszym bieżącym tematem jest tylko i wyłącznie twoje zrozumienie poprawnego kodowania matematycznego wszelkich obietnic bezwarunkowych n-argumentowych.
Innymi słowy:
Naszym bieżącym tematem jest twoje zrozumienie matematycznego kodowania obietnic A1 do A6 z twojego wirtualnego egzaminu maturalnego, który oblałeś z kretesem – dwa z trzema wykrzyknikami mówi wszystko, tu nic nie trzeba dodawać.

Prosiaczek zaprezentuje ci teraz obsługę obietnic A1 do A6 w jednej, wspólnej tabeli prawdy.
Twoja kwadratura koła to znalezienie jednego błędu czysto matematycznego w tej tabeli – wtedy i tylko wtedy obalisz algebrę Kubusia.

Kod:

TA1A2 – obietnice jednoargumentowe:
Szczegóły w tym linku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12225.html#842125

Zapis formalny obietnicy A1
A1: Y=p # B1: ~Y=~p
To samo w zapisie aktualnym (nasz przykład):
A1: Y=K # B1: ~Y=~K
## ##
Zapis formalny obietnicy A2
A2: Y=q # B2: ~Y=~q
To samo w zapisie aktualnym (nasz przykład):
A2: Y=T # B2: ~Y=~T

TA3A6 – obietnice dwuargumentowe:
Szczegóły w tym linku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12175.html#841869

Zapis formalny obietnicy A3
A3: Y= p* q # B3: ~Y=~p+~q
To samo w zapisie aktualnym (nasz przykład):
A3: Y= K* T # B3: ~Y=~K+~T
## ##
Zapis formalny obietnicy A4
A4: Y= p*~q # B4: ~Y=~p+ q
To samo w zapisie aktualnym (nasz przykład):
A4: Y= K*~T # B4: ~Y=~K+ T
## ##
Zapis formalny obietnicy A5
A5: Y=~p* q # B5: ~Y= p+~q
To samo w zapisie aktualnym (nasz przykład):
A5: Y=~K* T # B5: ~Y= K+~T
## ##
Zapis formalny obietnicy A6
A6: Y=~p*~q # B6: ~Y=~p+~q
To samo w zapisie aktualnym (nasz przykład):
A6: Y=~K*~T # B6: ~Y=~K+~T
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - obietnice różne na mocy definicji
p, q, Y muszą być wszędzie tymi samymi p, q, Y inaczej błąd podstawieni

Powrót do góry

Wyświetl posty z ostatnich:

	Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia	Wszystkie czasy w strefie CET (Europa) Idź do strony Poprzedni 1, 2, 3 ... , 182, 183, 184 Następny
Strona 183 z 184

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

Regulamin