ŚFiNiA

[rafal3006]

[fiklit]

Klasyczna zmiana tematu.

[rafal3006]

[Irbisol]

To jest temat o twojej logice, a nie o mojej, więc nie będę tu odpowiadał na żadne pytania.
Piszę to już chyba 10-ty raz, a ty i tak nie pojmujesz.

Pytanie do pozostałych - co z nim robimy?
Jest nas tu chyba trzech aktywnych, którzy dali mu szansę, ale facet stał się całkowicie nieresponsywny.
Nie widzę sensu tego ciągnąć - jak bym gadał do słupa. Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.

Zlewamy go gremialnie?

[rafal3006]

[idiota]

"... ale o co ci chodzi Irbisolu? "

No debil nie rozumie po polsku.
Ma napisane:
"Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.", a debil nie pojmuje.
To rzeczywiście przypadek beznadziejny jest.

[rafal3006]

[Irbisol]

[rafal3006]

[idiota]

"Napisz co od strony czysto matematycznej na gruncie tym razem TWOJEJ logiki matematycznej kwestionujesz w powyższych zapisach."

Udajesz, ze nie wiesz, że to kretyńskie pytanie, czy się znów coś zapomniało?

[rafal3006]

[idiota]

"Co tu jest nie w TWOJEJ logice matematycznej? "

A co to ma do rzeczy?
Jak jesteś takim kretynem, że nie wiesz dlaczego twoja wypowiedź jest kretynizmem, to ja nic na to nie poradzę.
No i w końcu zdecyduj się - opisujesz swoją czy własne wyobrażenia o logice normalnych ludzi?
Bo tego drugiego lepiej w ogóle nie rób.
Wszyscy już wiemy, bo nam wielokrotnie pisałeś - nie znasz jej, nie chcesz znać i cię ona nie obchodzi.
My umiemy pamiętać co pisałeś dawniej niż 3 minuty temu.

[rafal3006]

Głupsza od głupoty jest uczona głupota.
Henryk Ferdynand Kaden

[rafal3006]

Czy Irbisol i Idiota znają logikę matematyczną wykładaną w absolutnie każdym ziemskim przedszkolu!

Jeśli nie rozwiążą zadania postawionego im na końcu tego postu to muszą wrócić po nauki podstaw FUNDAMENTÓW logiki matematycznej do przedszkola.
Pewne jest że z aktualnym gównem którym dysponują:
Jeśli Prosiaczek jest osłem to Kubuś jest misiem
Każda pani przedszkolanka wykopie ich przez okno bez najmniejszego zastanowienia - nie wolno z naszych dzieci robić DEBILI!

[idiota]

"Czy Irbisol i Idiota znają logikę matematyczną wykładaną w absolutnie każdym ziemskim przedszkolu!"

1)
Pytania kończymy znaczkiem ?, nie !.
2)
Jak cię to interesuje - załóż taki temat, a nie tu śmiecisz.
Może ktoś się nim zainteresuje, ale wątpię.

[rafal3006]

[idiota]

" temat wyżej jest bardzo ciekawy, na poziomie 5-cio latka"

Bardzo zatem jest ciekawy...
Nawet nie rozumiesz co sam piszesz.

[rafal3006]

Co zwróci bramka „i”(*) dla miękkich i twardych jedynek!
Definicja bramki „i”(*) w algebrze Kubusia:
Bramka „i”(*) = spójnik „i”(*) z języka potocznego człowieka

Definicja operatora AND(|*) w algebrze Kubusia:
Operator AND(|*) to układ równań logicznych:
1: Y=p*q
2: ~Y=~p*~q

Definicja bramki „i”(*):

[fiklit]

[rafal3006]

Algebra Boole’a to de facto logika czterowartościowa!

fiklit napisał:

Cytat: Definicja miękkiej jedynki: Jedynka miękka = zmienna binarna O super. Chyba zaczynam rozumieć. A teraz jeszcze pytanie [b]czy jest miękkie zero?

Oczywiście że JEST!
Istnienie miękkich jedynek wymusza istnienie miękkich zer i odwrotnie (tabela T2)
Istnienie twardych jedynek wymusza istnienie twardych zer i odwrotnie (tabela T3)

Podsumowując:
De facto algebra Boole’a jest logiką czterowartościową bo istnieją tu cztery definicje:
- miękka jedynka
- miękkie zero
- twarda jedynka
- twarde zero

Zauważył to wykładowca logiki matematycznej Volrath w niezapomnianej dyskusji już w 2008 roku.
http://www.sfinia.fora.pl/forum-kubusia,12/kubusiowa-szkola-logiki-na-zywo-dyskusja-z-volrathem,3591-100.html#72064

wykładowca logiki matematycznej volrath napisał:

W sumie to ciekawy problem - poprawne skonstruowanie logiki trójwartościowej tak, by nie potrzeba było rachunku predykatów do przetwarzania zdań "istnieje" i "dla każdego" oraz zawierał trzy wartości "prawda" = twarda prawda, "fałsz" = twardy fałsz i "może" = miękki fałsz/prawda. Ludzie na co dzień przetwarzają zdania typu "istnieje X" i "dla każdego ze zbioru Y zachodzi Z". I część tych zdań nie mieści się w logice podstawowej (wymaga rachunku predykatów) - a może powinna.

Definicja bramki „i”(*) w algebrze Kubusia:
Bramka „i”(*) = spójnik „i”(*) z języka potocznego człowieka

Definicja operatora AND(|*) w algebrze Kubusia:
Operator AND(|*) to układ równań logicznych Y i ~Y:
1: Y=p*q
2: ~Y=~p*~q

Definicja bramki „i”(*):

Kod:

p  q  Y=p*q A: 1  1  1 B: 1  0  0 C: 0  1  0 D: 0  0  0

Definicja bramki „lub”(+):

Kod:

p  q  Y=p+q A: 1  1  1 B: 1  0  1 C: 0  1  1 D: 0  0  0

Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie (~p)
p<=>~p = (p=>~p)*(~p=>p)

Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we wszechświecie o idealnej temperaturze
t-constans
W takim wszechświecie pojęcia „ciepło” (C=1) i „nie ciepło” (~C=1) są nierozpoznawalne bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.

Algebra Boole’a ziemian jest matematycznie FAŁSZYWA bo nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y), a tym samym gwałci najważniejsze prawo logiki matematycznej, prawo rozpoznawalności pojęcia p.

Prawo Wilka:
Dowolną funkcję logiczną można dwustronnie zanegować

Mamy wyżej funkcję logiczną:
1: Y=p*q
Negujemy dwustronnie:
~Y=~(p*q)
Na mocy prawa De Morgana mamy:
2: ~Y=~p+~q

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y=~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = p*q = ~(~p+~q)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
~Y=~(Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y=~p+~q = ~(p*q)

Wszystkie nasze przekształcenia można udowodnić w rachunku zero-jedynkowym jak niżej.
Nam nocy prawa rozpoznawalności pojęcia p nasza definicja spójnika „i”(*) przybiera postać:

Kod:

T2    p  q ~p ~q  Y=p*q ~Y=~(p+q) ~Y=~p+~q Y=~(~Y)=~(~p+~q) A: 1  1  0  0   1      0         0       1 B: 1  0  0  1   0      1         1       0 C: 0  1  1  0   0      1         1       0 D: 0  0  1  1   0      1         1       0    1  2  3  4   5      6         7       8

Zauważmy, że wszystko jest tu w 100% zgodne z naszymi przekształceniami równań logicznych.
Tożsamość kolumn 5=8 jest dowodem prawa De Morgana w logice dodatniej (bo Y):
1: Y = p*q = ~(~p+~q)
Tożsamość kolumn 6=7 jest dowodem prawa De Morgana w logice ujemnej (bo ~Y):
2: ~Y=~(p+q) = ~p+~q - prawo De Morgana

Definicja operatora AND(|*):
Operator AND(|*) to złożenie funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y):
1.
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Doskonale to widać w tabeli zero-jedynkowej ABCD125
2.
~Y=~p+~q
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Doskonale to widać w tabeli zero-jedynkowej ABCD347.

Z powyższego wynika że budowa operatora AND(|*) jest następująca:
Na wejściu operatora AND(|*) mamy dostępne wszystkie sygnały wejściowe w postaci niezanegowanej i zanegowanej
p, q, ~p, ~q
Na wyjściu operatora AND(|*) mamy dostępne sygnały:
Y, ~Y
Tylko i wyłącznie pod tym warunkiem możemy sprawdzić w laboratorium techniki cyfrowej fenomenalną zgodność tabeli zero-jedynkowej T2 z teorią bramek logicznych.
Algebra Kubusia jest więc w 100% weryfikowalna w przeciwieństwie do np. Teorii Strun która z definicji jest nieweryfikowalna.
[link widoczny dla zalogowanych]

Wikipedia napisał:

Kontrowersje[edytuj | edytuj kod] Teoria strun nie ma do tej pory dowodów na swą słuszność. Wielu naukowców zarzuca jej brak potwierdzających ją doświadczeń. Philip Anderson twierdzi, że teoria ta jest "pierwszą od setek lat nauką, która uprawiana jest w sposób przedbaconowski, bez żadnej odpowiedniej procedury eksperymentalnej"[38]. Sheldon Lee Glashow twierdzi natomiast ironicznie, że teoria ta jest "absolutnie bezpieczna", jako że nie ma żadnego sposobu, by ją zweryfikować i ewentualnie obalić[39]

Mam nadzieję, że ziemscy matematycy równie ochoczo rzucą się na algebrę Kubusia próbując udowodnić jej wewnętrzną sprzeczność - oczywiście będzie to walka ziemskich matematyków z wiatrakami.

Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący w osi czasu przyjmować zarówno wartość logiczną 1 jak i wartość logiczną 0.
Wszystkie symbole w naszej tabeli T2 to zmienne binarne mogące w osi czasu przybierać wartości logiczne 0 albo 1.

Definicja miękkiej jedynki:
Jedynka miękka = zmienna binarna

Definicja twardej jedynki:
Twarda jedynka = stała binarna

Definicja stałej binarnej:
Stała binarna to symbol którego wartość logiczna w osi czasu jest niezmienna i wynosi 1 albo 0
Matematyczna definicja stałej binarnej (twardej jedynki albo twardego zera):

Kod:

T3    p  q Y=p*q+p*~q+~p*q+~p*~q=1 ~Y=~(p*q+p*~q+~p*q+~p*~p)=~(1)=0 A: 1  1  1                        0 B: 1  0  1                        0 C: 0  1  1                        0 D: 0  0  1                        0    1  2  3                        4

Kolumna 3:
Nie istnieje chwila czasowa A, B, C, albo D w której symbol Y przyjąłby wartość logiczną 0, co jest matematycznym dowodem iż symbol Y jest stałą binarną (twardą jedynką).
Kolumna 4:
Nie istnieje chwila czasowa A, B, C, albo D w której symbol ~Y przyjąłby wartość logiczną 1, co jest matematycznym dowodem iż symbol ~Y jest stałą binarną (twardym zerem).

fiklit napisał:

Cytat: Definicja miękkiej jedynki: Jedynka miękka = zmienna binarna O super. Chyba zaczynam rozumieć. A teraz jeszcze pytanie czy jest miękkie zero?

Oczywiście że JEST!
Istnienie miękkich jedynek wymusza istnienie miękkich zer i odwrotnie (tabela T2)
Istnienie twardych jedynek wymusza istnienie twardych zer i odwrotnie (tabela T3)

Podsumowując:
De facto algebra Boole’a jest logiką czterowartościową bo istnieją tu cztery definicje:
- miękka jedynka
- miękkie zero
- twarda jedynka
- twarde zero

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-725.html#406929

Irbisol napisał:

Po pierwsze - KŁAMAŁEŚ, że nie pisałeś o różnych rodzajach jedynek. Podałem ci cytat oraz linka do twojej wypowiedzi. Po drugie - wiele razy się szczyciłeś, jak to twoja algebra jest zgodna z językiem potocznym. Teraz nagle masz to w dupie. Po trzecie ... Potrafisz odpowiedzieć na zadawane od wielu tygodni pytanie, co zwróci bramka AND dla różnych rodzajów jedynek ? Nie rozumiesz, palancie, że ci tego nie odpuszczę i że im dłużej zwlekasz z odpowiedzią, tym bardziej się ośmieszasz? Nie pytam tu o nic nadzwyczajnego - to są podstawy podstaw. A ty jesteś bezradny. Póki co zachowujesz się jak niedorobiony prezenter odkurzaczy, który zachwala, że jego odkurzacze potrafią w kosmos polecieć, tylko że - kurwa mać - nikt jeszcze nigdy nie widział, jak toto odkurza.

Irbisolu, matematyczne definicje jedynek miękkich i twardych masz na początku niniejszego postu.

Odpowiadam na twoje pytanie:
Jeśli na wejściach bramki „i”(*) podasz stałe binarne (twarde jedynki) to na wyjściu bramki „i’(*) musisz otrzymać twardą jedynkę, inaczej algebra Boole’a leży w gruzach.
W tabeli zero-jedynkowej będzie to wyglądało tak:

Kod:

p  q Y=p*q A: 1  1  1 B: 1  1  1 C: 1  1  1 D: 1  1  1

Czy masz jeszcze jakieś pytania Irbisolu?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-750.html#406957

Irbisol napisał:

To jest temat o twojej logice, a nie o mojej, więc nie będę tu odpowiadał na żadne pytania. Piszę to już chyba 10-ty raz, a ty i tak nie pojmujesz. Pytanie do pozostałych - co z nim robimy? Jest nas tu chyba trzech aktywnych, którzy dali mu szansę, ale facet stał się całkowicie nieresponsywny. Nie widzę sensu tego ciągnąć - jak bym gadał do słupa. Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie. Zlewamy go gremialnie?

Sam widzisz Irbisolu, że koniec końców dotarliśmy do odpowiedzi na twoje pytanie przy okazji poznając fundamenty algebry Kubusia w 100% sprzeczne z logiką matematyczną ziemian.
Algebra Boole’a ziemian dla funkcji wyjściowej Y nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y) zatem FAŁSZYWIE opisuje dowolną tabelę zero-jedynkową w spójnikach „i”(*) i „lub”(+).

To nie jest tak, że ja Rafał3006 byłem na naukach w 100-milowym lesie, czyli znałem algebrę Kubusia już 12 lat temu, kiedy zaczęła się walka o jej rozszyfrowywanie.
11 lat temu znałem zalążki algebry Kubusia będąc pewnym definicji obietnicy i definicji groźby rozszyfrowanej na zdaniu:
Kto wierzy we mnie będzie zbawiony

Rozszyfrowując to zdanie doszedłem na gruncie rachunku zero-jedynkowego do praw Kubusia wiążących warunek wystarczający => z warunkiem koniecznym ~>;
p=>q = ~p~>~q
p~>q = ~p=>~q
Wuj Zbój potwierdził poprawność matematyczną powyższych praw dowodząc ich prawdziwość tak:
Definicja znaczka =>:
p=>q = ~p+q
Definicja znaczka ~>:
p~>q = p+~q
stąd mamy:
~p~>~q = ~p+~(~q) = ~p+q = p=>q
~p=>~q = ~(~p)+~q = p+~q = p~>q
cnd

Jakie w tym momencie miałem wyjście?
Nie miałem żadnego, musiałem podjąć walkę o 100% rozszyfrowanie algebry Kubusia, której rzeczywistym autorem jest:
Kubuś = Stwórca naszego Wszechświata

Irbisolu, można przyjąć postawę jak twoje wytłuszczone zdanie:

Irbisol napisał:

Zlewamy go gremialnie?

Taką postawę przyjmowali absolutnie wszyscy admini wszystkich ziemski forów, na których próbowałem głosić algebrę Kubusia z matematyką.pl włącznie!

Moderator Rogal napisał:

Powtórzę się po raz ostatni - w matematyce niczego nie zmienisz, więc możesz nam przestać zawracać tym głowę - wszyscy już zrozumieli, o co chodzi - widzisz jaki entuzjazm? Nie jest potrzebny matematykom nowy operator do codziennego stosowania, bo te które są wystarczają. Do wcześniej podanych przeze mnie rad, dodam jeszcze jedną - naprawdę zainteresuj się czymś takim jak logiki rozmyte - to jest prawdziwa logika człowieka, wszystko inne to tylko przybliżenia dla uproszczenia sprawy. Jeśli ktoś będzie miał tutaj coś bardzo istotnego do dodania do tej dyskusji, co nie zostało powiedziane, niech napisze do mnie PW, to temat odblokuję.

Na szczęście jest forum „śfinia” które w regulaminie ma zapisany zakaz banowania kogokolwiek za cokolwiek.
Na szczęście w kluczowej chwili pojawił się Fiklit podejmując 6 letnią dyskusję w temacie logiki matematycznej - bez niego o rozszyfrowaniu AK moglibyśmy tylko pomarzyć.
Dyskusja z Fiklitem dała mi broń do ostatecznej rozprawy z gówno-logiką ziemian, bo dokładnie tym jest nasza ostatnia tu dyskusja:
Rafal3006 vs Irbisol i Idiota
Możliwe, że wszyscy nie mamy tu wolnej woli, możliwe że nasze umysły sterowane były przez Kubusia, stwórcę naszego Wszechświata - tego nie da się wykluczyć.

Ostatnio zmieniony przez rafal3006 dnia Sob 7:36, 22 Wrz 2018, w całości zmieniany 4 razy

[fiklit]

To co to są te miękkie zera?

[fiklit]

To co to są te miękkie zera?

[Irbisol]

[rafal3006]

[rafal3006]

Równania algebry Boole’a opisujące dowolną tabelę zero-jedynkową!

Ziemscy matematycy nie mają o logice matematycznej najmniejszego pojęcia
Czyli:
Wszelkie znane im definicje z zakresu logiki matematycznej są FAŁSZYWE!

Dowody fałszywości ziemskiej algebry Boole'a:
1.
Algebra Boole'a ziemian jest fałszywa bo nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y)
2.
Ziemska algebra Boole'a jest fałszywa bo nie zna definicji:
- miękkich jedynek pociągających za sobą miękkie zera i odwrotnie
- twardych jedynek pociągających za sobą twarde zera i odwrotnie
cnd

Oczywiście nie jest prawdą, że definicji się nie obala.

Ziemskie definicje same się obalają robiąc z człowieka DABILA któremu rozkazuje się akceptować najzwyklejsze matematyczne GÓWNA (powtórzę GÓWNA) jak niżej.
A.
Mickiewicz był Polakiem i pies ma cztery łapy wtedy i tylko wtedy gdy Płock leży nad Wisłą i kwadrat ma cztery boki

… a robią to niestety koziołki matołki zwane ziemskimi matematykami.
Najsmutniejszy jest fakt, że wykształcone pokolenie koziołków matołków kształci sobie kolejne pokolenie równych im, koziołków matołków.

Tak było przez 2500 lat od czasów Sokratesa.
Na szczęście na ziemię zstąpił Kubuś, stwórca naszego Wszechświata i poprzez ziemskie medium zwane rafalem3006 powiedział:

STOP!
Nigdy więcej matematyczne koziołki matołki zwane ziemskimi matematykami nie będą kształcić kolejnych pokoleń koziołków matołków na obraz i podobieństwo swoje.

Głupsza od głupoty jest uczona głupota.
Henryk Ferdynand Kaden