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

Algebra Kubusia '2018 cdn
Idź do strony Poprzedni  1, 2, 3 ... 44, 45, 46 ... 64, 65, 66  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pią 1:10, 16 Lis 2018    Temat postu:

Czy mózg Irbisola dorówna mózgowi 5-cio latka w temacie logiki matematycznej?
Twierdzę że mózg Irbisola wyprany gównem zwanym KRZ nie ma żadnych szans w starciu z dziewiczym mózgiem 5-cio latka.

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ja wiem, jaki to będzie wynik. Ty ze swoją logiką - nie macie
pojęcia, jaki będzie wynik.
Więc nie jest odwrotnie.

Nie wiesz jaki będzie wynik!

Wiem. Będzie to 1.
Sprawdziłem nawet przed chwilą, podając zarówno stałe, jak i zmienne

A ty nie wiesz.
Tak niby mądry, a nie wie.

Brawo!
W tym wytłuszczonym robisz postępy bo wreszcie zrozumiałeś że to TY musisz odróżniać stałe binarne (twarde jedynki i twarde zera) do zmiennych binarnych (miękkie jedynki i miękkie zera)

Dalej jednak twierdzę że nie wiesz w którym kościele dzwony biją, bo nie potrafisz podać przykładów z języka mówionego zrozumiałych dla 5-cio latka wszystkich możliwych tu kombinacji.
To mniej więcej tak, jakbyś krzyczał że umiesz dodawać a na pytanie 5-cio latka ile jest 2+2 odpowiedziałbyś, nie wiem, ale dodawać umiem.

Innymi słowy:
Podaj przykłady zdań zrozumiałych dla 5-cio latka w których na wejściu podajesz:
1.
p - twarda jedynka (stała binarna)
q - twarda jedynka (stała binarna)
2.
p - twarda jedynka (stała binarna)
q - miękka jedynka (zmienna binarna)
3.
p - miękka jedynka (zmienna binarna)
q - twarda jedynka (stała binarna)
4.
p - miękka jedynka (zmienna binarna)
q - miękka jedynka (zmienna binarna)

I co Irbisolu?
Leżymy i kwiczymy, czyli robisz dużo krzyku że umiesz dodawać a na proste pytanie 5-cio latka ile jest 2+2 odpowiedzieć nie potrafisz.
Udowodnij że się mylę, czyli że potrafisz podać te cztery banalne przykłady w języku zrozumiałym dla 5-cio latka.

P.S.
a)
Podpowiem, że iloczyn logiczny jest przemienny zatem:
2=3
b)
Irbisolu, obaj programujemy na potęgę i obaj doskonale wiemy że to PROGRAMISTA (człowiek) musi odróżniać stałe od zmiennych inaczej nie napisze żadnego programu komputerowego.
W logice matematycznej jest IDENTYCZNIE - to człowiek MUSI odróżniać stałe binarne (twarde jedynki i twarde zera) od zmiennych binarnych (miękkie jedynki i miękkie zera).
Wierzę zatem że twój mózg da sobie radę z banałem, z którym bez problemu radzą sobie mózgi 5-cio latków, pań przedszkolanek i gospodyń domowych.
c)
Jeśli napiszesz że twój mózg wysiada i nie daje rady to pomoże ci w tym mózg naszego dyżurnego 5-cio latka, Jasia.
Nie wiedzieć wobec twojego biednego, totalnie spranego mózgu gównem zwanym KRZ to nie wstyd, wszyscy ci współczujemy, Rafal3006, wszystkie 5-cio latki oraz wszystkie panie przedszkolanki i gospodynie domowe.
Hańbą jest jednak krzyczeć, że nie chcesz wiedzieć jak ten trywialny problem (na serio trywialny!) rozwiązują mózgi 5-cio latków, pań przedszkolanek i gospodyń domowych.


Ostatnio zmieniony przez rafal3006 dnia Pią 8:14, 16 Lis 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Pią 9:05, 16 Lis 2018    Temat postu:

Mózg Irbisola nikogo tu jie interesuje.
Temat jest o twojej logice, która nie ma pojęcia, co zwróci bramka AND.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pią 21:11, 16 Lis 2018    Temat postu:

Czy ziemscy matematycy będą kiedykolwiek w stanie pojąć poprawną logikę matematyczną?
Tzn.
Czy koziołek matołek, zwany Irbisolem zrozumie lekcję logiki matematycznej daną mu w niniejszym poście przez ekspertów tejże logiki - dwójkę 5-cio latków, Jasia i Zuzi?
Oto jest pytanie!

Odpowiadam z całą mocą:
Pewne jest, że algebra Kubusia będzie wściekle zwalczana przez koziołków matołków podobnych do Irbisola, ale kilku znaczących ziemskich matematyków na 100% zrozumie niniejszą lekcję logiki matematycznej (jak nie tą to inną) i stanie murem za algebrą Kubusia.
To wystarczy!
Dalej wszystko potoczy się lawinowo tzn. wszelkiej maści obecne logiki „matematyczne” ziemian wylądują w koszu na śmieci, zastąpione przez jedną, jedyną poprawną logikę matematyczną pod która podlega cały nasz Wszechświat żywy i martwy, algebrę Kubusia, której naturalnymi ekspertami są 5-cio latki, panie przedszkolanki i gospodynie domowe.

Irbisol napisał:
Mózg Irbisola nikogo tu jie interesuje.
Temat jest o twojej logice, która nie ma pojęcia, co zwróci bramka AND.

Dziękuję Irbisolu za odpowiedź - twoja odpowiedź to punkt c z postu wyżej.
rafal3006 napisał:

b)
Irbisolu, obaj programujemy na potęgę i obaj doskonale wiemy że to PROGRAMISTA (człowiek) musi odróżniać stałe od zmiennych inaczej nie napisze żadnego programu komputerowego.
W logice matematycznej jest IDENTYCZNIE - to człowiek MUSI odróżniać stałe binarne (twarde jedynki i twarde zera) od zmiennych binarnych (miękkie jedynki i miękkie zera).
Wierzę zatem że twój mózg da sobie radę z banałem, z którym bez problemu radzą sobie mózgi 5-cio latków, pań przedszkolanek i gospodyń domowych.
c)
Jeśli napiszesz że twój mózg wysiada i nie daje rady to pomoże ci w tym mózg naszego dyżurnego 5-cio latka, Jasia.
Nie wiedzieć wobec twojego biednego, totalnie spranego mózgu gównem zwanym KRZ to nie wstyd, wszyscy ci współczujemy, Rafal3006, wszystkie 5-cio latki oraz wszystkie panie przedszkolanki i gospodynie domowe.
Hańbą jest jednak krzyczeć, że nie chcesz wiedzieć jak ten trywialny problem (na serio trywialny!) rozwiązują mózgi 5-cio latków, pań przedszkolanek i gospodyń domowych.

W tym momencie poproszę dzieciaków z przedszkola Nr. w 100-milowym lesie by biednemu Irbisolowi wytłumaczyły różnicę między stałą binarną (twarde jedynki i twarde zera) a zmienną binarną (miękkie jedynki i miękkie zera).

Pani w przedszkolu:
A.
Jutro pójdziemy do kina i do teatru
A: Y=K*T
co w miękkich jedynkach (zmienne binarne) oznacza:
Y=1 <=> K=1 i T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)

Uważaj Irbisolu:
Powiedziałem Jasiowi (lat 5) by darował sobie logikę ujemną (bo ~x) w której jest ekspertem mówiąc mu, że ziemskie koziołki matołki typu Irbisol póki co, nie mają pojęcia co to jest logika dodatnia (bo x) i ujemna (bo ~x).

Jaś (lat 5) odpowiedział:
Nie ma sprawy, wytłumaczę mu różnicę między zmiennymi binarnymi i stałymi binarnymi wyłącznie w jego logice dodatniej, czyli nie będę używał przeczeń przed jakimkolwiek symbolem.
W tym przypadku będziemy mieli do czynienia z logiką zero-jedynkową gdzie występują tylko i wyłącznie tabele zero-jedynkowe mające w nagłówkach tylko i wyłącznie sygnały w logice dodatniej, czyli sygnały niezanegowane.
Taka logika, logika tabel zero-jedynkowych z definicji wyklucza ułożenie jakiegokolwiek równania algebry Boole’a (bo Irbisol nie wie co to jest sygnał w logice ujemnej bo ~x), taka logika to logika matematycznych koziołków matołków, czyli „matematyków” pokroju Irbisola.

Rafal3006:
Zgoda Jasiu w tym co prawisz w 100%, ale co mamy począć?
Wytłumaczmy biednym ziemianom z potwornie spranymi mózgami gównem zwanym KRZ typu Irbisol o co chodzi w logice matematycznej, w szczególności różnicę między kluczowymi pojęciami „stałą binarną” a „zmienną binarną” w ich własnym gównie, czyli bez śladu logiki ujemnej (bo ~x)

Jaś (lat 5):
Zgoda Rafale3006 - robi się!
Uważaj koziołku matołku zwany Irbisolem.

Pani wypowiedziała zdanie A.
A.
Jutro pójdziemy do kina i do teatru
A: Ya=K*T
co w miękkich jedynkach (zmienne binarne) oznacza:
Ya=1 <=> (K=1)*(T=1)
Ya=1 <=> K=1 i T=1
Dlaczego wszystkie symbole Y, K i T to zmienne binarne?
Dlatego, że zostaną one ustawione na twarde jedynki albo twarde zera dopiero w dniu JUTRZEJSZYM!
W dniu dzisiejszym nie mamy pojęcia na jakie twarde jedynki albo twarde zera ustawi te zmienne pani w dniu jutrzejszym.
Wniosek:
W dniu dzisiejszym wartości logiczne 1 przy powyższych symbolach to miękkie jedynki.
Innymi słowy:
Może się tak zdarzyć że pani w dniu jutrzejszym ustawi wszystkie te zmienne na twardą wartość logiczną 1, ale nie musi - dokładnie dlatego są to miękkie jedynki.

Matematycznie kluczowe jest tu pytanie:
Kiedy pani jutro skłamie?
Wszystkie 5-cio latki, wszystkie panie przedszkolanki i gospodynie domowe wiedzą, że pani skłamie w pozostałych możliwych tu sytuacjach.
Oznaczmy:
Y=1 - prawdą jest (=1) ze pani dotrzyma słowa
Y=0 - fałszem jest (=0) że pani dotrzyma słowa (= pani nie dotrzyma słowa = pani skłamie).
Podobnie bez użycia logiki ujemnej (bo ~x) w wersji dla matematycznych koziołków matołków typu Irbisol będziemy mieli:
K=1 - jutro pójdziemy (=1) do kina K
K=0 - jutro nie pójdziemy (=0) do kina K
T=1 - jutro pójdziemy (=1) do teatru T
T=0 - jutro nie pójdziemy (=0) to teatru T

Rafal3006:
Brawo Jasiu, pięknie to tłumaczysz, tego nie może nie zrozumieć choćby jeden koziołek matołek pokroju Irbisola.

Jaś (lat 5):
Robię co mogę.
Doskonale tu widać, że wszystkie możliwe INNE sytuacje różne od sytuacji A w której pani dotrzyma JUTRO słowa (Y=1) to!
Pani skłamie (Y=0) wtedy i tylko wtedy gdy:
B.
Jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (T=0)
B: (K=1)*(T=0) <=> Yb=0
lub
C.
Jutro nie pójdziemy do kina (K=0) i pójdziemy do teatru (T=1)
C: (K=0)*(T=1) <=> Yc=0
lub
D.
Jutro nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)
D: (K=0)*(T=0) <=> Yd=0

Ułóżmy zdania ABCD w tabeli prawdy:
I.
Kod:

T1
Wszystkie cztery      |Tabela matematycznie
możliwe zdarzenia     |tożsama
w dniu jutrzejszym    |
                      | K  T  Y
A: (K=1)*(T=1)<=>Ya=1 | 1* 1  1
B: (K=1)*(T=0)<=>Yb=0 | 1* 0  0
C: (K=0)*(T=1)<=>Yc=0 | 0* 1  0
D: (K=0)*(T=0)<=>Yd=0 | 0* 0  0
    1     2      3      4  5  6

Doskonale widać, że w wierszach mamy tu rozłączne chwile czasowe ABCD które mogą zajść JUTRO.
W tabeli zero-jedynkowej ABCD456 symbole w nagłówkach kolumn to zmienne binarne.
Dowód:
W każdej kolumnie mamy co najmniej jedną jedynkę i co najmniej jedno zero. W zależności od tego na której linii zastopujemy czas zmienne K, T i Y mogą przyjąć wartość logiczną 1 albo 0, zatem są to zmienne binarne.
cnd

Tylko i wyłącznie JUTRO pani może zastopować czas na dowolnej linii A,B,C albo D:
Jeśli zastopujemy czas na linii A to pojutrze zmienne K, T, Ya przyjmą twarde wartości logiczne: K=1 i T=1 i Ya=1
Jeśli zastopujemy czas na linii B to pojutrze zmienne K, T, Yb przyjmą twarde wartości logiczne: K=1 i T=0 i Yb=0
Jeśli zastopujemy czas na linii C to pojutrze zmienne K, T, Yc przyjmą twarde wartości logiczne: K=0 i T=1 i Yc=0
Jeśli zastopujemy czas na linii D to pojutrze zmienne K, T, Yd przyjmą twarde wartości logiczne: K=0 i T=0 i Yd=0

Doskonale tu widać, że wszystko zależy tu od wolnej woli pani przedszkolanki, czyli od jej „widzi mi się”, które to „widzi mi się” będzie działać tylko i wyłącznie w całym obszarze dnia jutrzejszego.
W dniu dzisiejszym wartości logiczne zmiennych K i T są miękkimi jedynkami (równania alternatywno-koniunkcyjne) albo są miękkimi zerami (równania koniunkcyjno-alternatywne). Oczywistym jest że koziołkom matołkom typu Irbisol nie da się wytłumaczyć o co chodzi w tych równaniach bo występują w nich zmienne w logice dodatniej (bo x) oraz w logice ujemnej (bo ~x).
Zatem darujmy sobie te tłumaczenia, rozumujmy jak koziołki matołki, czyli tylko i wyłącznie symbolami niezaprzeczonymi - też się da!

Załóżmy że jest pojutrze!
Załóżmy że wszystkie dzieci słyszały obietnicę A pani przedszkolanki, ale Zuzia (lat 5) akurat zachorowała i nie wie które z czterech zdarzeń ABCD wczoraj zaszło.
Zauważmy, że z punktu odniesienia Zuzi dalej mamy do czynienie ze zmiennymi K i T bo Zuzia nie zna rozstrzygnięcia które wczoraj zaszło!

II.
Chorą Zuzię odwiedza nasz Jaś (lat 5)
Zuzia pyta:
Jasiu czy byliście wczoraj w Teatrze?
Jaś:
Tak byliśmy wczoraj w Teatrze (T=1)
Dopiero w tym momencie z punktu odniesienia Zuzi przedwczorajsza zmienna binarna T transformuje się w stałą binarną T o twardej wartości logicznej równej 1 (T=1).
W tym momencie tabela prawdy z puntu odniesienia Zuzi transformuje się do postaci:
Kod:

T2
Wszystkie cztery      |Tabela matematycznie
możliwe zdarzenia     |tożsama
w dniu wczorajszym    |
z punktu odniesienia  |
Zuzi po poznaniu      |
prawdy T=1            |
                      | K  T  Y
A: (K=1)*(T=1)<=>Ya=1 | 1* 1  1
B: (K=1)*(T=1)<=>Yb=1 | 1* 1  1
C: (K=0)*(T=1)<=>Yc=0 | 0* 1  0
D: (K=0)*(T=1)<=>Yd=0 | 0* 1  0
    1     2      3      4  5  6

Doskonale widać, że Zuzia poznała właśnie połowę prawdy w temacie czy pani wczoraj dotrzymała słowa (Y=1) czy też skłamała (Y=0).
Póki co, z punktu odniesienia Zuzi pani może być zarówno osobą która dotrzymała słowa (Y=1) jak i kłamczuchą (Y=0) - mówi o tym kolumna 6.

III.
Świadoma tego faktu Zuzia (lat 5) zadaje Jasiowi ostatnie, absolutnie kluczowe tu pytanie!
Zuzia pyta:
Jasiu, czy byliście wczoraj w Kinie?
Jaś:
Wczoraj nie byliśmy w kinie (K=0).
Dopiero w tym momencie z punktu odniesienia Zuzi przedwczorajsza zmienna binarna K transformuje się w stałą binarną K o twardej wartości logicznej równej 0 (K=0).
W tym momencie tabela prawdy z puntu odniesienia Zuzi transformuje się do postaci:
Kod:

T3
Wszystkie cztery      |Tabela matematycznie
możliwe zdarzenia     |tożsama
w dniu wczorajszym    |
z punktu odniesienia  |
Zuzi po poznaniu      |
prawdy K=0 i T=1
                      | K  T  Y
A: (K=0)*(T=1)<=>Ya=0 | 0* 1  0
B: (K=0)*(T=1)<=>Yb=0 | 0* 1  0
C: (K=0)*(T=1)<=>Yc=0 | 0* 1  0
D: (K=0)*(T=1)<=>Yd=0 | 0* 1  0
    1     2      3      4  5  6

Zauważmy, że dopiero w tym momencie Zuzia poznaje w 100% prawdę w temacie czy pani dotrzymała słowa (Y=1) czy też skłamała (Y=0).
W kolumnie 6 stoi ci jak wół koziołku matołku zwany Irbisolem, iż wczoraj pani skłamała (Y=0) i tego faktu tzn. tej STAŁEJ BINARNEJ ustawionej tu na 0 (Y=0) nawet sam Pan Bóg nie może zmienić bo nie będzie rozwalał dzieła które stworzył i specjalnie dla pani przedszkolanki czasu nie będzie cofał.

Kluczowe pytania do koziołka matołka Irbisola:
1.
Czy Jaś i Zuzia (oboje po 5 wiosenek) wytłumaczyły ci skutecznie o co chodzi w logice matematycznej tzn. czy rozumiesz już znaczenie takich fundamentalnych dla logiki matematycznej pojęć jak zmienna binarna (miękkie jedynki i miękkie zera) i stała binarna (twarde jedynki i twarde zera)?
2.
Czy rozumiesz już że to człowiek, czyli TY Irbisolu musi odróżniać zmienne binarne (miękkie jedynki i miękkie zera) od stałych binarnych (twarde jedynki i twarde zera)?
3.
Kwadratura koła dla Irbisola:
Pokaż mi w tabeli stałych binarnych (tabela T3) definicję twojej posranej bramki AND, jak pokażesz to kasuję algebrę Kubusia inaczej twoim obowiązkiem jest, o ile masz choć trochę honoru, skasowanie twojej gówno logiki „matematycznej” która w tabeli T3 widzi definicję bramki AND.


Ostatnio zmieniony przez rafal3006 dnia Sob 8:21, 17 Lis 2018, w całości zmieniany 8 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Pią 21:32, 16 Lis 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Mózg Irbisola nikogo tu jie interesuje.
Temat jest o twojej logice, która nie ma pojęcia, co zwróci bramka AND.

Dziękuję Irbisolu za odpowiedź - twoja odpowiedź to punkt c z postu wyżej.
(...)
c)
Jeśli napiszesz że twój mózg wysiada i nie daje rady

To nie jest temat o moim mózgu.
Nadal nie potrafisz podać wartości, jaką zwróci bramka AND, gdy dostanie na wejście dwie jedynki.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pią 21:49, 16 Lis 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Mózg Irbisola nikogo tu jie interesuje.
Temat jest o twojej logice, która nie ma pojęcia, co zwróci bramka AND.

Dziękuję Irbisolu za odpowiedź - twoja odpowiedź to punkt c z postu wyżej.
(...)
c)
Jeśli napiszesz że twój mózg wysiada i nie daje rady

To nie jest temat o moim mózgu.
Nadal nie potrafisz podać wartości, jaką zwróci bramka AND, gdy dostanie na wejście dwie jedynki.

W mordę Jeża!
... ale totalnie sprany mózg!
Czy wszyscy ziemscy "matematycy" tak mają?

Czekam kiedy zrozumiesz, że z bramką logiczną AND masz do czynienia wtedy i tylko wtedy gdy na jej wejścia p i q podajesz zmienne binarne, czyli na przykład wtedy i tylko wtedy gdy symbole K i T z mojego postu wyżej JESTEŚ W STANIE ustawić na 0 albo 1.
W poście wyżej opisuje to tylko i wyłącznie tabela T1!
W tabelach T2 i T3 nie ma już śladu twojej posranej bramki AND.
Zapraszam do laboratorium techniki cyfrowej gdzie czarno na białym ci to bezdyskusyjnie UDOWODNIĘ!

Pojmiesz to kiedykolwiek, czy nigdy?


Ostatnio zmieniony przez rafal3006 dnia Pią 21:54, 16 Lis 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Sob 11:15, 17 Lis 2018    Temat postu:

rafal3006 napisał:
Czekam kiedy zrozumiesz, że z bramką logiczną AND masz do czynienia wtedy i tylko wtedy gdy na jej wejścia p i q podajesz zmienne binarne

To, co ja zrozumiem, nie jest tematem tego wątku.
Nadal nie masz pojęcia, co zwróci bramka AND, gdy dostanie na wejście dwie jedynki.
Jeżeli dostanie co innego niż zmienne binarne, to dla tego przypadku też podaj wynik.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Sob 13:08, 17 Lis 2018    Temat postu:

Czy ziemscy matematycy będą kiedykolwiek w stanie pojąć poprawną logikę matematyczną?
Tzn.
Czy koziołek matołek, zwany Irbisolem zrozumie lekcję logiki matematycznej daną mu w niniejszym poście przez ekspertów tejże logiki - dwójkę 5-cio latków, Jasia i Zuzi?
Oto jest pytanie!

Część II
Czas przeszły

Irbisol napisał:
rafal3006 napisał:
Czekam kiedy zrozumiesz, że z bramką logiczną AND masz do czynienia wtedy i tylko wtedy gdy na jej wejścia p i q podajesz zmienne binarne

To, co ja zrozumiem, nie jest tematem tego wątku.
Nadal nie masz pojęcia, co zwróci bramka AND, gdy dostanie na wejście dwie jedynki.
Jeżeli dostanie co innego niż zmienne binarne, to dla tego przypadku też podaj wynik.

Irbisolu, ty na serio nie załapałeś różnicy między zmienną binarną (miękkie jedynki i miękkie zera) a stałą binarną (twarde jedynki i twarde zera)?
ok
Zatem jedziemy dalej.

Definicja logiki matematycznej:
Logika matematyczna to badanie nieznanego, czyli nieznanej przyszłości (co oczywiste) albo nieznanej przeszłości.
Przeszłość nie musi być znana np. poszukiwanie mordercy.

Wróćmy co przykładów z poprzedniego postu przy założeniu że jest POJUTRZE, a więc pani MUSIAŁA doprowadzić do zajścia jednego z czterech możliwych zdarzeń rozłącznych A, B, C albo D.
Oczywiście świat jest tu w 100% zdeterminowany dla wszystkich którzy znają prawdę absolutną, czyli wiedzą które zdarzenie spośród czterech możliwych zaszło - dla tych wybrańców symbole K, T i Y są stałymi binarnymi, czyli mają twarde wartości logiczne 1 albo 0, których to wartości logicznych nawet Bóg nie zmieni, bo czasu nie da się cofnąć
ALE!
Ale dla pozostałej części ludzkości, w tym dla naszego Irbisola symbole K,T i Y nadal są zmiennymi binarnymi bo ta część ludzkości nie zna rozstrzygnięcia co zaszło wczoraj.
W tym przypadku logika matematyczna jest potrzebna i dalej dzieła wyśmienicie … do momentu gdy nie poznamy prawdy absolutnej, czyli do momentu gdy dowiemy się które z czterech możliwych i rozłącznych zdarzeń A,B,C albo D wczoraj zaszło.

Wróćmy do dialogu Jasia z Zuzią zapisanego w 100% w czasie przeszłym, bo przecież jest POJUTRZE w stosunku do wypowiedzianej przez panią obietnicy i mamy do czynienia ze światem w 100% zdeterminowanym … ale tylko i wyłącznie dla szczęśliwców którzy znają prawdę absolutną tzn. wiedzą, które z czterech możliwych zdarzeń wczoraj zaszło.

Przedwczoraj pani wypowiedziała obietnicę bezwarunkową.

Pani wypowiedziała zdanie A.
A.
Jutro pójdziemy do kina i do teatru
A: Ya=K*T
co w miękkich jedynkach (zmienne binarne) oznacza:
Ya=1 <=> (K=1)*(T=1)
Ya=1 <=> K=1 i T=1
Dlaczego wszystkie symbole Y, K i T to zmienne binarne?
Aktualnie jest pojutrze, ale nie znamy rozstrzygnięcia tej obietnicy.
Brak znajomości rozstrzygnięcia jest warunkiem koniecznym, aby logika matematyczna dalej doskonale działała, co wyśmienicie widać w dalszych rozważaniach.

Matematycznie kluczowe jest tu pytanie:
Kiedy wczoraj pani skłamała?
Wszystkie 5-cio latki, wszystkie panie przedszkolanki i gospodynie domowe wiedzą, że pani skłamała w pozostałych możliwych tu sytuacjach.
Oznaczmy:
Y=1 - prawdą jest (=1) ze pani dotrzymała słowa
Y=0 - fałszem jest (=0) że pani dotrzymała słowa (= pani nie dotrzymała słowa = pani skłamała).
Podobnie bez użycia logiki ujemnej (bo ~x) w wersji dla matematycznych koziołków matołków typu Irbisol będziemy mieli:
K=1 - wczoraj byliśmy (=1) w kinie K
K=0 - wczoraj nie byliśmy (=0) w kinie K
T=1 - wczoraj byliśmy (=1) w teatrze T
T=0 - wczoraj nie byliśmy (=0) w teatrze T

Doskonale tu widać, że wszystkie możliwe INNE sytuacje różne od sytuacji A w których pani dotrzymała wczoraj słowa (Y=1) to!

Pani skłamała (Y=0) wtedy i tylko wtedy gdy:
B.
Wczoraj byliśmy w kinie (K=1) i nie byliśmy w teatrze (T=0)
B: (K=1)*(T=0) <=> Yb=0
lub
C.
Wczoraj nie byliśmy w kinie (K=0) i byliśmy w teatrze (T=1)
C: (K=0)*(T=1) <=> Yc=0
lub
D.
Wczoraj nie byliśmy w kinie (K=0) i nie byliśmy w teatrze (T=0)
D: (K=0)*(T=0) <=> Yd=0

Ułóżmy zdania ABCD w tabeli prawdy:
I.
Kod:

T1
Wszystkie cztery      |Tabela matematycznie
możliwe zdarzenia     |tożsama
które w dniu          |
wczorajszym mogły     |
zajść                 |
                      | K  T  Y
A: (K=1)*(T=1)<=>Ya=1 | 1* 1  1
B: (K=1)*(T=0)<=>Yb=0 | 1* 0  0
C: (K=0)*(T=1)<=>Yc=0 | 0* 1  0
D: (K=0)*(T=0)<=>Yd=0 | 0* 0  0
    1     2      3      4  5  6

Doskonale widać, że w wierszach mamy tu rozłączne chwile czasowe ABCD które mogły zajść wczoraj.
W tabeli zero-jedynkowej ABCD456 symbole w nagłówkach kolumn to zmienne binarne.
Dowód:
W każdej kolumnie mamy co najmniej jedną jedynkę i co najmniej jedno zero. W zależności od tego na której linii pani zastopowała czas zmienne K, T i Y mają wartość logiczną 1 albo 0, zatem są to zmienne binarne.
cnd

Tylko i wyłącznie WCZORAJ pani mogła zastopować czas na dowolnej linii A,B,C albo D:
Jeśli zastopowała czas na linii A to pojutrze zmienne K, T, Ya mają twarde wartości logiczne: K=1 i T=1 i Ya=1
Jeśli zastopowała czas na linii B to zmienne K, T, Yb mają twarde wartości logiczne: K=1 i T=0 i Yb=0
Jeśli zastopowała czas na linii C to zmienne K, T, Yc mają twarde wartości logiczne: K=0 i T=1 i Yc=0
Jeśli zastopowała czas na linii D to zmienne K, T, Yd mają twarde wartości logiczne: K=0 i T=0 i Yd=0

Doskonale tu widać, że wszystko zależało tu od wolnej woli pani przedszkolanki w dniu wczorajszym, czyli od jej „widzi mi się”, które to „widzi mi się” działało tylko i wyłącznie w całym obszarze dnia wczorajszego.

Aktualnie mamy pojutrze, czyli na 100% wiemy iż musiało zajść jedno z czterech możliwych tu zdarzeń, ale z założenia nie wiemy które!

Załóżmy że wszystkie dzieci słyszały obietnicę A pani przedszkolanki, ale Zuzia (lat 5) akurat zachorowała i nie wie które z czterech zdarzeń ABCD wczoraj zaszło.
Zauważmy, że z punktu odniesienia Zuzi dalej mamy do czynienie ze zmiennymi K i T bo Zuzia nie zna rozstrzygnięcia które wczoraj zaszło!

II.
Chorą Zuzię odwiedza nasz Jaś (lat 5)
Zuzia pyta:
Jasiu czy byliście wczoraj w Teatrze?
Jaś:
Tak byliśmy wczoraj w Teatrze (T=1)
Dopiero w tym momencie z punktu odniesienia Zuzi przedwczorajsza zmienna binarna T transformuje się w stałą binarną T o twardej wartości logicznej równej 1 (T=1).
W tym momencie tabela prawdy z puntu odniesienia Zuzi transformuje się do postaci:
Kod:

T2
Wszystkie cztery      |Tabela matematycznie
możliwe zdarzenia     |tożsama
w dniu wczorajszym    |
z punktu odniesienia  |
Zuzi po poznaniu      |
prawdy T=1            |
                      | K  T  Y
A: (K=1)*(T=1)<=>Ya=1 | 1* 1  1
B: (K=1)*(T=1)<=>Yb=1 | 1* 1  1
C: (K=0)*(T=1)<=>Yc=0 | 0* 1  0
D: (K=0)*(T=1)<=>Yd=0 | 0* 1  0
    1     2      3      4  5  6

Doskonale widać, że Zuzia poznała właśnie połowę prawdy w temacie czy pani wczoraj dotrzymała słowa (Y=1) czy też skłamała (Y=0).
Póki co, z punktu odniesienia Zuzi pani może być zarówno osobą która dotrzymała słowa (Y=1) jak i kłamczuchą (Y=0) - mówi o tym kolumna 6.

III.
Świadoma tego faktu Zuzia (lat 5) zadaje Jasiowi ostatnie, absolutnie kluczowe tu pytanie!
Zuzia pyta:
Jasiu, czy byliście wczoraj w Kinie?
Jaś:
Wczoraj nie byliśmy w kinie (K=0).
Dopiero w tym momencie z punktu odniesienia Zuzi przedwczorajsza zmienna binarna K transformuje się w stałą binarną K o twardej wartości logicznej równej 0 (K=0).
W tym momencie tabela prawdy z puntu odniesienia Zuzi transformuje się do postaci:
Kod:

T3
Wszystkie cztery      |Tabela matematycznie
możliwe zdarzenia     |tożsama
w dniu wczorajszym    |
z punktu odniesienia  |
Zuzi po poznaniu      |
prawdy K=0 i T=1
                      | K  T  Y
A: (K=0)*(T=1)<=>Ya=0 | 0* 1  0
B: (K=0)*(T=1)<=>Yb=0 | 0* 1  0
C: (K=0)*(T=1)<=>Yc=0 | 0* 1  0
D: (K=0)*(T=1)<=>Yd=0 | 0* 1  0
    1     2      3      4  5  6

Zauważmy, że dopiero w tym momencie Zuzia poznaje w 100% prawdę w temacie czy pani dotrzymała słowa (Y=1) czy też skłamała (Y=0).
W kolumnie 6 stoi ci jak wół koziołku matołku zwany Irbisolem, iż wczoraj pani skłamała (Y=0) i tego faktu tzn. tej STAŁEJ BINARNEJ ustawionej tu na 0 (Y=0) nawet sam Pan Bóg nie może zmienić bo nie będzie rozwalał dzieła które stworzył i specjalnie dla pani przedszkolanki czasu nie będzie cofał.

Kluczowe pytania do koziołka matołka Irbisola:
1.
Czy Jaś i Zuzia (oboje po 5 wiosenek) wytłumaczyły ci skutecznie o co chodzi w logice matematycznej tzn. czy rozumiesz już znaczenie takich fundamentalnych dla logiki matematycznej pojęć jak zmienna binarna (miękkie jedynki i miękkie zera) i stała binarna (twarde jedynki i twarde zera)?
2.
Czy rozumiesz już że to człowiek, czyli TY Irbisolu musi odróżniać zmienne binarne (miękkie jedynki i miękkie zera) od stałych binarnych (twarde jedynki i twarde zera)?
3.
Kwadratura koła dla Irbisola:
Pokaż mi w tabeli stałych binarnych (tabela T3) definicję twojej posranej bramki AND, jak pokażesz to kasuję algebrę Kubusia inaczej twoim obowiązkiem jest, o ile masz choć trochę honoru, skasowanie twojej gówno logiki „matematycznej” która w tabeli T3 widzi definicję bramki AND.


Ostatnio zmieniony przez rafal3006 dnia Sob 14:46, 17 Lis 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Nie 9:13, 18 Lis 2018    Temat postu:

rafal3006 napisał:
Irbisolu, ty na serio nie załapałeś różnicy między zmienną binarną (miękkie jedynki i miękkie zera) a stałą binarną (twarde jedynki i twarde zera)?

Nie załapałem i nie mam zamiaru załapywać.
Zadałem ci pytanie, a ty nie masz pojęcia, jaki będzie wynik.
Twojego pierdolenia nikt nie czyta.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Nie 9:23, 18 Lis 2018    Temat postu:

Algebra Kubusia to logika równań logicznych!

http://www.sfinia.fora.pl/filozofia,4/twardy-dowod-na-istnienie-stworcy-naszego-wszechswiata,12037.html#417329
szaryobywatel napisał:
rafal3006 napisał:
szaryobywatel napisał:
A skąd to wiesz? Opowiedz mi o swoich "miękkich" prawdach i fałszach, na początek; czym różni się "miękka jedynka" od "miękkiego zera"?


Szary obywatelu, nie wykluczam że jesteś duuuużo mądrzejszy od Irbisola, podaję ci link gdzie jest wyjaśnienie tego o co prosisz, wierzę, że zrozumiesz.

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


Czyli "miękkie zero/jedynka", to po prostu zmienna binarna. Jednocześnie wyszczególniasz "miękkie zero" jako wartość którą przyjmuje formuła w jednym scenariuszu zdarzeń, a "miękką jedynkę" jako wartość którą przyjmuje w drugim scenariuszu... tylko po co? Jaki jest tego sens? W przypadku o którym piszesz:
p <=> jutro pójdziemy do kina [K]
q <=> jutro pójdziemy do teatru [T]
r <=> p /\ q
wiadomo że p(K), a q(T) skąd r(K,T)
Poza tym, czy zdanie "jutro coś tam" zmienia swoją treść z dniem jutrzejszym, tak że nie dotyczy już wtedy (jutro) dnia pojutrzejszego licząc od dzisiaj? Wyjaśnij to Kubusiu, a potem przejdziemy dalej.

Irbisol napisał:
rafal3006 napisał:
Irbisolu, ty na serio nie załapałeś różnicy między zmienną binarną (miękkie jedynki i miękkie zera) a stałą binarną (twarde jedynki i twarde zera)?

Nie załapałem i nie mam zamiaru załapywać.
Zadałem ci pytanie, a ty nie masz pojęcia, jaki będzie wynik.
Twojego pierdolenia nikt nie czyta.

Irbisolu sam napisałeś że rozumiesz znaczki z algebry Kubusia:
http://www.sfinia.fora.pl/filozofia,4/twardy-dowod-na-istnienie-stworcy-naszego-wszechswiata,12037.html#417143
Irbisol napisał:
Dawaj, @szary, może będziesz pierwszym po jego stronie.
Te kilobajty znaczków, którymi straszy, nie są absolutnie skomplikowane.

Brawo, Brawo, Brawo!
Irbisolu:
Skoro rozumiesz znaczki z algebry Kubusia to udowodnij proszę wewnętrzną sprzeczność tej algebry - obal chociażby choćby jedno zdanie z niniejszego postu udowadniając, że jest fałszywe.

Teoria operatora AND(|*):

Definicja operatora logicznego AND(|*) to układ równań w logice dodatniej (bo Y) i ujemnej (bo ~Y):
1.
A: Y=p*q
co w logice miękkich jedynek (zmienne binarne) oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Negujemy równanie 1 stronami:
~Y=~(p*q) = ~p+~q
2.
~Y=~p+~q
co w logice miękkich jedynek (zmienne binarne) oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Na mocy definicji spójnika „lub”(+) wystarczy że którykolwiek człon po prawej stronie zostanie ustawiony na 1 i już ustawi ~Y=1
Stąd mamy tożsamą definicję spójnika „lub”(+) w równaniu alternatywno-koniunkcyjnym:
~Y=~p*~q + ~p*q + p*~q
co w logice miękkich jedynek (zmienne binarne) oznacza:
~Y=1 <=> B: ~p=1 i ~q=1 lub C: ~p=1 i q=1 lub D: p=1 i ~q=1

Definicja dziedziny:
Dziedziną dla dowolnej tabeli zero-jedynkowej, w tym dla operatora logicznego, jest układ równań logicznych Y i ~Y
Definicja dziedziny:
Y+~Y =D =1 - zbiór pełny (Funkcja ~Y jest uzupełnieniem do dziedziny dla funkcji Y, albo odwrotnie)
Y*~Y =[] =0 - zbiór pusty
Sprawdzenie:
Y+~Y = p*q +~p*~q+~p*q +p*~q
Y+~Y = p*(q+~q) + ~p*(~q+q)
Y+~Y = p+~p =1
cnd

Podsumowanie:
Mamy operator logiczny AND(|*) opisany układem równań logicznych Y i ~Y:
1.
Y=p*q
co w logice miękkich jedynek (zmienne binarne) oznacza:
Y=1 <=> p=1 i q=1
2.
~Y=~p*~q+~p*q + p*~q
co w logice miękkich jedynek (zmienne binarne) oznacza:
~Y=1 <=> B: ~p=1 i ~q=1 lub C: ~p=1 i q=1 lub D: p=1 i ~q=1

Definicja logiki matematycznej:
Logika matematyczna to badanie nieznanego - może to być badanie nieznanej przyszłości albo nieznanej przeszłości.

Definicja świata niezdeterminowanego:
Świat niezdeterminowany to świat zmiennych binarnych opisany miękkimi jedynkami i miękkimi zerami, zmienne binarne mogą w funkcji czasu przyjmować dowolne wartości logiczne 1 albo 0 w zależności od chwili czasowej.

Definicja świata zdeterminowanego:
Świat zdeterminowany to świat opisany stałymi binarnymi, czyli twardymi jedynkami i twardymi zerami niezmiennymi w czasie

Rozróżniamy dwa rodzaje świata zdeterminowanego:
I.
Świat zdeterminowany w którym nie znamy wartości logicznej stałych binarnych np. nieznana przeszłość
Z tego punktu odniesienia stałe binarne zachowują się identycznie jak zmienne binarne i logika matematyczna dalej działa wyśmienicie.
Przykład:
Szukanie nieznanego mordercy
Tu świat jest zdeterminowany bo morderstwo jest faktem, mordercy jednak póki co nie znamy, tylko i wyłącznie dlatego logika ma tu sens, pozwala schwytać mordercę.
II.
Świat zdeterminowany i znany opisany stałymi binarnymi (twardymi zerami i twardymi jedynkami) których to wartości logicznych nawet sam Pan Bóg nie może zmienić.

Prawo przemijania:
W świecie zdeterminowanym i znanym dowolny operator logiczny ulega redukcji do spójnika „i”(*)
Spójnik „i”(*) jest różny na mocy definicji od operatora AND(|*)

Dowód poprawności prawa przemijania na przykładzie operatora AND(|*).

Mamy operator logiczny AND(|*) opisany układem równań logicznych Y i ~Y:
1.
Y=p*q
co w logice miękkich jedynek (zmienne binarne) oznacza:
Y=1 <=> p=1 i q=1
2.
~Y=~p*~q+~p*q + p*~q
co w logice miękkich jedynek (zmienne binarne) oznacza:
~Y=1 <=> B: ~p=1 i ~q=1 lub C: ~p=1 i q=1 lub D: p=1 i ~q=1

Załóżmy że świat opisany powyższym układem równań został zdeterminowany i znane nam są wartości logiczne stałych binarnych (twarde zera i jedynki) jak niżej:
~p=1 - twarda jedynka
q=1 - twarda jedynka
Na mocy prawa Prosiaczka mamy:
(~p=1)=(p=0)
(q=1)=(~q=0)
Podstawiamy stałe binarne to do równania 1.
1.
Y=p*q := 0*1 =0
Gdzie:
:= - redukcja równania dla stałych binarnych

Podstawiamy stałe binarne do równania 2.
2.
~Y = ~p*~q + ~p*q + p*~q := 1*0 + ~p*q + 0*1
Stąd:
~Y=~p*q = 1*1 =1
W ostatnim zapisie z założenia mamy do czynienia ze stałymi binarnymi (twardymi jedynkami) których to wartości logicznych nawet sam Pan Bóg zmienić nie może.

Doskonale tu widać, że dla stałych binarnych nie ma żadnego operatora AND(|*), czyli nie ma układu równań Y i ~Y.
Jest tylko i wyłącznie definicja spójnika „i”(*) w twardych jedynkach:
~Y=~p*q
co w logice twardych jedynek oznacza:
~Y=1 <=> ~p=1 i q=1

Doskonale tu widać zgodność analizy symbolicznej zdania pani przedszkolanki (ten post) z analizą zero-jedynkową przedstawioną w tych postach:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1100.html#417001
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1100.html#417183

Dokonajmy analizy zdania wypowiedzianego przez panią przedszkolankę w logice symbolicznej, czyli bez tabel zero-jedynkowych.

Pani:
1.
Jutro pójdziemy do kina i do teatru
A: Y=K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)
A: Ya=K*T =1*1 =1

… a kiedy pani skłamie?
Przejście z równaniem 1 do logiki ujemnej poprzez negację zmiennych i wymianę spójników:
~Y=~K+~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~K=1 lub ~T=1
Na mocy definicji spójnika „lub”(+) mamy równanie tożsame:
~Y = B: ~K*~T + C: ~K*T + D: K*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> B: ~K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: K=1 i ~T=1
W rozbiciu na funkcje cząstkowe mamy:
~Y = ~Yb+~Yc+~Yd

Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy:
B: ~Yb = ~K*~T=1*1 =1 - jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~Yc = ~K*T =1*1 =1 - jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
lub
D: ~Yd = K*~T =1*1 =1 - jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)

Zauważmy że wszystkie cztery zdarzenia ABCD to zdarzenia rozłączne uzupełniające się wzajemnie do dziedziny. Dziedziną są tu tylko i wyłącznie cztery zdarzenia możliwe do zaistnienia w dniu jutrzejszym.

Analiza zdania pani przedszkolanki w tabeli zero-jedynkowej.
Przyjmijmy za punkt odniesienia względem którego będziemy zero-jedynkowo kodować całą analizę symboliczną zdanie:
A: Y=K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
Na mocy prawa Prosiaczka mamy:
(K=1)=(~K=0)
(T=1)=(~T=0)
(Y=1)=(~Y=0)
Na mocy przyjętego punktu odniesienia wszystkie zmienne z analizy symbolicznej musimy sprowadzić do postaci niezanegowanej (na mocy prawa prosiaczka)
Kod:

Analiza     |Co w miękkich         |Dla punktu            |Tabela
symboliczna |jedynkach oznacza     |odniesienia           |Matematycznie
            |                      |A: Y=K*T              |tożsama
            |                      |                      | K  T  Y=K*T
A: K* T= Ya |( K=1)*( T=1)=( Ya=1) |( K=1)*( T=1)=( Ya=1) | 1  1  1
B:~K*~T=~Yb |(~K=1)*(~T=1)=(~Yb=1) |( K=0)*( T=0)=( Yb=0) | 0  0  0
C:~K* T=~Yc |(~K=1)*( T=1)=(~Yc=1) |( K=0)*( T=1)=( Yc=0) | 0  1  0
D: K*~T=~Yd |( K=1)*(~T=1)=(~Yd=1) |( K=1)*( T=0)=( Yd=0) | 1  0  0
   a  b  c     d      e      f        g      h      i       1  2  3

W tabeli zero-jedynkowej ABCD123 doskonale widać, że w nagłówkach kolumn mamy do czynienia ze zmiennymi binarnymi, bowiem w każdej kolumnie K, T, Y jest co najmniej jedna jedynka i co najmniej jedno zero.

Pojutrze, gdy znamy rozwiązanie, nasze zmienne binarne K, T i Y ulegną transformacji do stałych binarnych (twarde jedynki i twarde zera) których to wartości logicznych nie da się zmienić bo czasu nie można cofnąć.

Rozważmy ten przypadek.

Mamy nasz układ równań logicznych Y i ~Y:
1.
Y= A: K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
2.
~Y = B: ~K*~T + C: ~K*T + D: K*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> B: ~K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: K=1 i ~T=1

Załóżmy że jest pojutrze, czyli że zmienne binarne opisane układem równań logicznych Y i ~Y musiały przejść w stałe binarne (twarde jedynki i twarde zera) których to wartości logicznych nie da się zmienić bo czasu nie można cofnąć.
Załóżmy że wczoraj zaszło:
~K=1 - nie byliśmy w kinie (twarda jedynka)
T=1 - byliśmy w teatrze (twarda jedynka)
Na mocy prawa Prosiaczka mamy:
(~K=1)=(K=0)
(T=1)=(~T=0)
W powyższym zapisie mamy oczywiści do czynienia z twardymi jedynkami i twardymi zerami!

Podstawmy to do naszego układu równań Y i ~Y:
1.
Y = A: K*T := A: 0*1 =0
2.
~Y = B: ~K*~T + C: ~K*T + D: K*~T := B: 1*0 + C: ~K*T + D: 0*1 = C: ~K*T
stąd:
~Y = C: ~K*T
co w logice twardych jedynek oznacza:
~Y=1 <=> C: ~K=1 i T=1

Doskonale tu widać, że dla stałych binarnych nie ma żadnego operatora AND(|*), czyli nie ma układu równań Y i ~Y.
Jest tylko i wyłącznie definicja spójnika „i”(*) w twardych jedynkach:
~Y=~K*T
co w logice twardych jedynek oznacza:
~Y=1 <=> ~K=1 i T=1


Doskonale tu widać zgodność analizy symbolicznej zdania pani przedszkolanki (ten post) z analizą zero-jedynkową przedstawioną w tych postach:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1100.html#417001
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1100.html#417183

Prośba do szarego obywatela, Irbisola i Idioty:
Napiszcie proszę czego nie rozumiecie w niniejszym poście?


Ostatnio zmieniony przez rafal3006 dnia Nie 10:21, 18 Lis 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Nie 9:42, 18 Lis 2018    Temat postu:

rafal3006 napisał:
Skoro rozumiesz znaczki z algebry Kubusia to udowodnij proszę wewnętrzną sprzeczność tej algebry

Twoja algebra nie jest w stanie odpowiedzieć na pytanie, co zwróci bramka AND dla dwóch jedynek.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Nie 10:38, 18 Lis 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Skoro rozumiesz znaczki z algebry Kubusia to udowodnij proszę wewnętrzną sprzeczność tej algebry

Twoja algebra nie jest w stanie odpowiedzieć na pytanie, co zwróci bramka AND dla dwóch jedynek.

Irbisolu, kłamiesz aż ci się z uszu kurzy.
Specjalnie dla ciebie dopisałem dowód iż to język potoczny człowieka generuje wszelkie tabele zero-jedynkowe.

Oto ta tabela:
Analiza zdania pani przedszkolanki w tabeli zero-jedynkowej.
Przyjmijmy za punkt odniesienia względem którego będziemy zero-jedynkowo kodować całą analizę symboliczną zdanie:
A: Y=K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
Na mocy prawa Prosiaczka mamy:
(K=1)=(~K=0)
(T=1)=(~T=0)
(Y=1)=(~Y=0)
Na mocy przyjętego punktu odniesienia wszystkie zmienne z analizy symbolicznej musimy sprowadzić do postaci niezanegowanej (na mocy prawa prosiaczka)
Kod:

Analiza     |Co w miękkich         |Dla punktu            |Tabela
symboliczna |jedynkach oznacza     |odniesienia           |Matematycznie
            |                      |A: Y=K*T              |tożsama
            |                      |                      | K  T  Y=K*T
A: K* T= Ya |( K=1)*( T=1)=( Ya=1) |( K=1)*( T=1)=( Ya=1) | 1  1  1
B:~K*~T=~Yb |(~K=1)*(~T=1)=(~Yb=1) |( K=0)*( T=0)=( Yb=0) | 0  0  0
C:~K* T=~Yc |(~K=1)*( T=1)=(~Yc=1) |( K=0)*( T=1)=( Yc=0) | 0  1  0
D: K*~T=~Yd |( K=1)*(~T=1)=(~Yd=1) |( K=1)*( T=0)=( Yd=0) | 1  0  0
   a  b  c     d      e      f        g      h      i       1  2  3

W tabeli zero-jedynkowej ABCD123 doskonale widać, że w nagłówkach kolumn mamy do czynienia ze zmiennymi binarnymi, bowiem w każdej kolumnie K, T, Y jest co najmniej jedna jedynka i co najmniej jedno zero.

W tabeli symbolicznej ABCDdef masz nie jedną bramkę „i”(*) ale cztery bramki „i”(*) o nawach A,B,C,D.
Bramka A:
Na wejście bramki podajemy sygnały:
K=1 i T=1 => Ya=1
Bramka B:
Na wejście bramki podajemy sygnały:
~K=1 i ~T=1 => ~Yb=1
Bramka C:
Na wejście bramki podajemy sygnały:
~K=1 i T=1 => ~Yc=1
Bramka D:
K=1 i ~T=1 = ~Yd=1

Doskonale widzisz Irbisolu, że w każdym przypadku, jeśli na wejście bramki „i”(*) podasz dwie jedynki to na jej wyjściu dostaniesz jedynkę.
Jak udowodnisz, że w analizie zdania pani przedszkolanki jest inaczej to obalisz teorię bramek logicznych.
Matematycznie masz tak:
(~)p*(~)q = (~)Yx
co w logice miękkich jedynek oznacza:
(~)p=1 i (~)q=1 <=> (~)Yx=1
Gdzie przeczenia przed nazwami sygnałów mogą być, albo może ich nie być, matematycznie to bez znaczenia.


Ostatnio zmieniony przez rafal3006 dnia Nie 10:39, 18 Lis 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Nie 13:28, 18 Lis 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Twoja algebra nie jest w stanie odpowiedzieć na pytanie, co zwróci bramka AND dla dwóch jedynek.

Irbisolu, kłamiesz aż ci się z uszu kurzy.

Więc podaj ten wynik.
Wejście 1: 1
Wejście 2: 1
Wyjście: ?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Nie 13:47, 18 Lis 2018    Temat postu:

Kwadratura koła dla najwybitniejszych ziemskich matematyków!
Prawo Jeża:
Algebra Kubusia w spójnikach „i”(*) i „lub”(+) to algebra tylko i wyłącznie równań alternatywno-koniunkcyjnych gdzie wszystkie zmienne binarne mają wartość logiczną miękkich jedynek.
Równania koniunkcyjno-alternatywne gdzie mamy tylko i wyłącznie miękkie zera wykopujemy w kosmos bo tych równań w przełożeniu na język potoczny żaden człowiek nie rozumie.
Przejście z równaniem koniunkcyjno-alternatywnym to tożsamego równania alternatywno-koniunkcyjnego jest trywialne - wystarczy wymnożyć wielomiany.

Na czym polega kwadratura koła?
Oczywiście na udowodnieniu, iż choćby w jednym równaniu alternatywo-koniunkcyjnym nie mamy do czynienia tylko i wyłącznie z miękkimi jedynkami (mogą zajść ale nie muszą).

Przykładowy algorytm dowodu:
Proszę rozpisywać wszelkie równania alternatywno-koniunkcyjne do tabel zero-jedynkowych, jak ktokolwiek złamie prawo Jeża to bezwarunkowo kasują calusieńką algebrę Kubusia.

Irbisol napisał:

rafal3006 napisał:
Skoro rozumiesz znaczki z algebry Kubusia to udowodnij proszę wewnętrzną sprzeczność tej algebry

Twoja algebra nie jest w stanie odpowiedzieć na pytanie, co zwróci bramka AND dla dwóch jedynek.

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Twoja algebra nie jest w stanie odpowiedzieć na pytanie, co zwróci bramka AND dla dwóch jedynek.

Irbisolu, kłamiesz aż ci się z uszu kurzy.

Więc podaj ten wynik.
Wejście 1: 1
Wejście 2: 1
Wyjście: ?

Podaję:
Wejście:
(~)p=1
Wejście:
(~)q=1
Wyjście:
(~)Y=1
Innymi słowy:
(~)Y = (~)p*(~q)
co w logice miękkich jedynek (zmienne binarne) oznacza:
(~)Y=1 <=> (~)p=1 i (~)q=1
Przeczenia przy nazwach sygnałów są nieistotne.

Podejdźmy ciut inaczej do problemu.
Weźmy sztandarowe zdanie.

Rafal3006 napisał:

Pani:
1.
Jutro pójdziemy do kina i do teatru
A: Y=K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)
A: Ya=K*T =1*1 =1

… a kiedy pani skłamie?
Przejście z równaniem 1 do logiki ujemnej poprzez negację zmiennych i wymianę spójników:
~Y=~K+~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~K=1 lub ~T=1
Na mocy definicji spójnika „lub”(+) mamy równanie tożsame:
~Y = B: ~K*~T + C: ~K*T + D: K*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> B: ~K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: K=1 i ~T=1
W rozbiciu na funkcje cząstkowe mamy:
~Y = ~Yb+~Yc+~Yd

Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy:
B: ~Yb = ~K*~T=1*1 =1 - jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~Yc = ~K*T =1*1 =1 - jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
lub
D: ~Yd = K*~T =1*1 =1 - jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)

Zauważmy że wszystkie cztery zdarzenia ABCD to zdarzenia rozłączne uzupełniające się wzajemnie do dziedziny. Dziedziną są tu tylko i wyłącznie cztery zdarzenia możliwe do zaistnienia w dniu jutrzejszym.


Mamy układ równań Y i ~Y opisujących zdanie pani przedszkolanki:
1.
Y=A: K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
2.
~Y = B: ~K*~T + C: ~K*T + D: K*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> B: ~K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: K=1 i ~T=1

Zauważ Irbisolu że:
1.
Prawo Jeża:
W dowolnym równaniu alternatywno-koniunkcyjnym mamy do czynienia ze zmiennymi binarnym (miękkimi jedynkami) - tylko i wyłącznie!
Jak udowodnisz, że jest inaczej to bezwarunkowo kasuję calusieńką algebrę Kubusia!

2.
Rozważmy cztery możliwe tu przypadki:
Układ równań alternatywno-koniunkcyjnych (miękkie jedynki):
Y = A: K*T
~Y = B: ~K*~T + C: ~K*T + D: K*~T
Wartościowanie symboliczne dla wszystkich możliwych przypadków:
A1.
Zaszło: A: K*T =1*1 =1
Y = (K*T)* A: (K*T) = A: K*T =1*1 =1
~Y = (K*T)*[ B: ~K*~T + C: ~K*T + D: K*~T] = B: 0 + C: 0 + D: 0 =0
B1.
Zaszło: B: ~K*~T=1*1 =1
Y = (~K*~T)* A: (K*T) = 0
~Y = (~K*~T)*[ B: ~K*~T + C: ~K*T + D: K*~T] = B: ~K*~T=1*1 =1
C1.
Zaszło: C: ~K*T=1*1 =1
Y = (~K*T)* A: (K*T) = 0
~Y = (~K*T)*[ B: ~K*~T + C: ~K*T + D: K*~T] = C: ~K*T=1*1 =1
D1.
Zaszło: D: K*~T=1*1 =1
Y = (K*~T)* A: (K*T) = 0
~Y = (K*~T)*[ B: ~K*~T + C: ~K*T + D: K*~T] = D: K*~T=1*1 =1

3.
To o czym ty mówisz Irbisolu, to wartościowanie dowolnego równania logicznego za pomocą stałych binarnych (twarde jedynki i twarde zera), tożsame do wartościowania symbolicznego wyżej.
Układ równań alternatywno-koniunkcyjnych (miękkie jedynki):
Y = A: K*T
~Y = B: ~K*~T + C: ~K*T + D: K*~T
Wartościowanie zero-jedynkowe dla wszystkich możliwych przypadków:
A2.
Zaszło: A: K*T =1*1 =1
Prawa Prosiaczka:
(K=1)=(~K=0)
(T=1)=(~T=0)
stąd:
Y = A: (K*T) = A: (1*1)=1
~Y = B: ~K*~T + C: ~K*T + D: K*~T = B: 0*0 + C: 0*1 + D: 1*0 =0
B2.
Zaszło: B: ~K*~T=1*1 =1
Prawa Prosiaczka:
(~K=1)=(K=0)
(~T=1)=(T=0)
stąd:
Y = A: (K*T) = A: (0*0)=0
~Y = B: ~K*~T + C: ~K*T + D: K*~T = B: ~K*~T + C: 1*0 + D: 0*1 = B: ~K*~T=1*1 =1
C2.
Zaszło: C: ~K*T=1*1 =1
Prawa Prosiaczka:
(~K=1)=(K=0)
(T=1)=(~T=0)
stąd:
Y = A: (K*T) = A: (0*1)=0
~Y = B: ~K*~T + C: ~K*T + D: K*~T = B: 1*0 + C: ~K*T + D: 0*1 = C: ~K*T=1*1 =1
D2.
Zaszło: D: K*~T=1*1 =1
Prawa Prosiaczka:
(K=1)=(~K=0)
(~T=1)=(T=0)
stąd:
Y = A: (K*T) = A: (1*0)=0
~Y = B: ~K*~T + C: ~K*T + D: K*~T = B: 0*1+ C: 0*1 + D: K*~T = D: K*~T=1*1 =1

Podsumowanie:
1.
Prawo Jeża:
Algebra Kubusia w spójnikach „i”(*) i „lub”(+) to algebra tylko i wyłącznie równań alternatywno-koniunkcyjnych gdzie wszystkie zmienne binarne mają wartość logiczną miękkich jedynek.
Równania koniunkcyjno-alternatywne gdzie mamy tylko i wyłącznie miękkie zera wykopujemy w kosmos bo tych równań w przełożeniu na język potoczny żaden człowiek nie rozumie.
Przejście z równaniem koniunkcyjno-alternatywnym to tożsamego równania alternatywno-koniunkcyjnego jest trywialne - wystarczy wymnożyć wielomiany.
3.
W symbolicznej logice matematycznej, czyli w równaniach logicznych działamy tylko i wyłącznie na tych równaniach, czyli żadnych tabel zero-jedynkowych tu nie potrzebujemy!
4.
Zauważmy, że niemożliwe jest wartościowanie stałymi binarnymi (twarde jedynki i twarde zera) nieznanej przyszłości bo nie wiemy co zajdzie w przyszłości, czyli nie znamy wartości logicznych stałych binarnych - doskonale to widać na przykładzie niżej.

Pani:
Jutro pójdziemy na basen lub do kina i do teatru
Y=B+K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> B=1 lub K=1 i T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy:
B=1 - jutro pójdziemy na basen (B=1)
LUB
K*T=1*1=1 - jutro pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie (~Y=1)?
Negujemy równanie 1 stronami:
~Y = ~(B+K*T) = ~B*~(K*T) = ~B*(~K+~T)
~Y = ~B*~K + ~B*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~B=1 i ~K=1 lub ~B=1 i ~T=1
Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy:
~B*~K=1*1 =1 - jutro nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
LUB
~B*~T=1*1 =1 - jutro nie pójdziemy na basen (~B=1) i nie pójdziemy do teatru (~T=1)

KONIEC!

Kwadratura koła dla Irbisola:
Przeanalizuj banalne zdanie pani przedszkolanki wyżej w twojej logice „matematycznej”.


Ostatnio zmieniony przez rafal3006 dnia Pon 9:55, 19 Lis 2018, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Nie 17:10, 18 Lis 2018    Temat postu:

Prawo Jeża!

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1100.html#417447
rafal3006 napisał:
Kwadratura koła dla najwybitniejszych ziemskich matematyków!
Prawo Jeża:
Algebra Kubusia w spójnikach „i”(*) i „lub”(+) to algebra tylko i wyłącznie równań alternatywno-koniunkcyjnych gdzie wszystkie zmienne binarne mają wartość logiczną miękkich jedynek.
Równania koniunkcyjno-alternatywne gdzie mamy tylko i wyłącznie miękkie zera wykopujemy w kosmos bo tych równań w przełożeniu na język potoczny żaden człowiek nie rozumie.
Przejście z równaniem koniunkcyjno-alternatywnym to tożsamego równania alternatywno-koniunkcyjnego jest trywialne - wystarczy wymnożyć wielomiany.

Na czym polega kwadratura koła?
Oczywiście na udowodnieniu, iż choćby w jednym równaniu alternatywo-koniunkcyjnym nie mamy do czynienia tylko i wyłącznie z miękkimi jedynkami (mogą zajść ale nie muszą).

Przykładowy algorytm dowodu:
Proszę rozpisywać wszelkie równania alternatywno-koniunkcyjne do tabel zero-jedynkowych, jak ktokolwiek złamie prawo Jeża to bezwarunkowo kasują calusieńką algebrę Kubusia.

Tabel zero-jedynkowych jest oczywiście nieskończenie wiele.

Pokażę na przykładzie o co chodzi w prawie Jeża, cytując fragment kluczowego dla sprawy postu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1075.html#416045
Algebra Kubusia - teoria matematyczna!

3.0 Teoria tworzenia równań logicznych w znaczkach (*) i (+)

Pierwotnie teoria tworzenia równań logicznych z dowolnej tabeli zero-jedynkowej wyprowadzona została na bazie teorii zbiorów, tłumaczyłem to ziemskim matematykom w 12-letniej dyskusji milion razy - niestety, zawsze było to gadanie dziada do obrazu.
Zmieniam zatem taktykę.
Teorię tworzenia równań alternatywno-koniunkcyjnych i koniunkcyjno-alternatywnych z dowolnej tabeli zero-jedynkowej przyjmuję na mocy definicji.
Nie jest prawdą, co twierdzą niektórzy ziemscy matematycy iż definicji się nie obala.
Prawdą jest, że poprawnych definicji jak choćby przedstawione za chwilę algorytmy tworzenia równań logicznych alternatywno-koniunkcyjnych i koniunkcyjno-alternatywnych z dowolnej tabeli zero-jedynkowej po prostu nie da się obalić!

Rozważmy przykładową tabelę zero-jedynkową:
Kod:

   p  q ~p ~q Y=? ~Y=?
A: 1  1  0  0  1    0
B: 1  0  0  1  0    1
C: 0  1  1  0  0    1
D: 0  0  1  1  1    0

Jak opisać powyższą tabelę równaniami logicznymi w znaczkach (*) i (+)?
Matematycznie możemy to zrobić na dwa tożsame sposoby, w technice równań alternatywno-koniunkcyjnych oraz technice równań koniunkcyjno-alternatywnych.

3.1 Technika tworzenia równań alternatywno-koniunkcyjnych w spójnikach „i””(*) i „lub”(+)

Definicja tworzenia równań alternatywno-koniunkcyjnych:
W technice tworzenia równań alternatywno-koniunkcyjnych z dowolnej tabeli zero-jedynkowej opisujemy wyłącznie jedynki. W poziomach stosujemy znaczki (*) natomiast w pionach znaczki (+).

Przyjmijmy następujące definicje:
„i”(*) - spójnik „i”(*) z języka potocznego człowieka
„lub”(+) - spójnik „lub”(+) z języka potocznego człowieka

Zobaczmy to na naszym przykładzie.
Kod:

T3
Tworzenie równań alternatywno-koniunkcyjnych
z dowolnej tabeli zero-jedynkowej.
W poziomach stosujemy spójniki „i”(*)
natomiast w pionach spójniki „lub”(+)
                       |Technika miękkich   |Równania cząstkowe
                       |jedynek             |w miękkich jedynkach
   p  q ~p ~q Y=? ~Y=? |                    |
A: 1  1  0  0  1    0  | Ya=1<=> p=1 i  q=1 | Ya= p* q
B: 1  0  0  1  0    1  |~Yb=1<=> p=1 i ~q=1 |~Yb= p*~q
C: 0  1  1  0  0    1  |~Yc=1<=>~p=1 i  q=1 |~Yc=~p* q
D: 0  0  1  1  1    0  | Yd=1<=>~p=1 i ~q=1 | Yd=~p*~q
   1  2  3  4  5    6    a       b      c     d   e  f

Dlaczego jedynki w tabeli ABCDabc są miękkimi jedynkami (mogą zajść ale nie muszą)?
Odpowiadam:
W tabeli zero-jedynkowej ABCD123456 mamy do czynienia ze zmiennymi binarnymi (p. q, ~p, ~q, Y, ~Y) zapisanymi w nagłówkach kolumn. Oś czasu występuje tu w pionie. Doskonale widać, że w tabeli ABCDabc zmienne te przyjmują wartość logiczną 1 ale tylko i wyłącznie w odpowiednich liniach, czyli w odpowiednich chwilach czasowych. W osi czasu nie są to twarde jedynki i twarde zera, co widać w kolumnach w tabeli zero-jedynkowej ABCD123456.

Z tabeli równań cząstkowych ABCDdef doskonale widać, że naszą tabelę zero-jedynkową ABCD123456 opisuje układ równań logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y).

Tylko i wyłącznie taki opis jest kompletną definicją tabeli zero-jedynkowej ABCD125 znanej ziemianom jako definicja równoważności <=>.

Z tabeli równań cząstkowych ABCDdef zapisujemy:
1.
Y = Ya+Yb
Po rozwinięciu mamy:
Y = A: p*q + D: ~p*~q
co w logice miękkich jedynek oznacza:
Y=1 <=> A: p=1 i q=1 lub D: ~p=1 i ~q=1
2.
~Y=~Yb+~Yc
Po rozwinięciu mamy:
~Y= B: p*~q + C: ~p*q
co w logice miękkich jedynek oznacza:
~Y=1 <=> B: p=1 i ~q=1 lub C: ~p=1 i q=1

Sprawdzenie poprawności ułożonych równań logicznych:
1.
Y = (p*q) + (~p*~q)
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników:
~Y = (~p+~q)*(p+q)
Wymnożenie wielomianu celem przejścia do tożsamego równania alternatywno-koniunkcyjnego
~Y = ~p*p + ~p*q + ~q*p + ~q*q
~Y = p*~q + ~p*q
Doskonale tu widać, że wszystko tu doskonale gra i buczy, zatem przyjęta definicja tworzenia równań alternatywno-koniunkcyjnych z dowolnej tabeli zero-jedynkowej jest matematycznie nie do obalenia!


3.2 Technika tworzenia równań koniunkcyjno-alternaty w spójnikach „i””(*) i „lub”(+)

Definicja tworzenia równań koniunkcyjno-alternatywnych:
W technice tworzenia równań koniunkcyjno-alternatywnych z dowolnej tabeli zero-jedynkowej opisujemy wyłącznie zera. W poziomach stosujemy znaczki (+) natomiast w pionach znaczki (*).

Przyjmijmy następujące definicje:
„i”(*) - spójnik „i”(*) z języka potocznego człowieka
„lub”(+) - spójnik „lub”(+) z języka potocznego człowieka

Zobaczmy to na naszym przykładzie.
Kod:

T4
Tworzenie równań koniunkcyjno-alternatywnych
z dowolnej tabeli zero-jedynkowej.
W poziomach stosujemy spójnik „lub”(+)
natomiast w pionach spójnika „i”(*)
                       |Technika miękkich     |Równania cząstkowe
                       |zer                   |w miękkich zerach
   p  q ~p ~q Y=? ~Y=? |                      |
A: 1  1  0  0  1    0  |~Ya=0<=>~p=0 lub ~q=0 |~Ya=~p+~q
B: 1  0  0  1  0    1  | Yb=0<=>~p=0 lub  q=0 | Yb=~p+ q
C: 0  1  1  0  0    1  | Yc=0<=> p=0 lub ~q=0 | Yc= p+~q
D: 0  0  1  1  1    0  |~Yd=0<=> p=0 lub  q=0 |~Yd= p+ q
   1  2  3  4  5    6    a       b        c     d   e  f

Dlaczego zera w tabeli ABCDabc są miękkimi zerami (mogą zajść ale nie muszą)?
Odpowiadam:
W tabeli zero-jedynkowej ABCD123456 mamy do czynienia ze zmiennymi binarnymi (p. q, ~p, ~q, Y, ~Y) zapisanymi w nagłówkach kolumn. Oś czasu występuje tu w pionie. Doskonale widać, że w tabeli ABCDabc zmienne te przyjmują wartość logiczną 0 ale tylko i wyłącznie w odpowiednich liniach, czyli w odpowiednich chwilach czasowych. W osi czasu nie są to twarde jedynki i twarde zera, co widać w kolumnach w tabeli zero-jedynkowej ABCD123456.

Z tabeli równań cząstkowych ABCDdef doskonale widać, że naszą tabelę zero-jedynkową ABCD123456 opisuje układ równań logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y).

Tylko i wyłącznie taki opis jest kompletną definicją tabeli zero-jedynkowej ABCD125 znanej ziemianom jako definicja równoważności <=>.

Z tabeli równań cząstkowych ABCDdef zapisujemy:
3.
Y = Yb*Yc
Po rozwinięciu mamy:
Y = B: (~p+q)* C: (p+~q)
co w logice miękkich zer oznacza:
Y=0 <=> B: (~p=0 lub q=0) i C: (p=0 i ~q=0)
4.
~Y=~Ya*~Yd
Po rozwinięciu mamy:
~Y = A: (~p+~q)*D: (p+q)
co w logice miękkich zer oznacza:
~Y=0 <=> A: (~p=0 lub ~q=0) i D: (p=0 i q=0)

Jak sprawdzić poprawność ułożonych równań?
Możemy to zrobić na gruncie przekształceń równań logicznych, jakiekolwiek tabele zero-jedynkowe nie są nam tu potrzebne.

Wystarczy że mamy jedno i tylko jedno równanie z dowolnych czterech ułożonych w tym punkcie i poprzednim.

Wystartujmy do równania 3 ciut wyżej, matematycznie to bez znaczenia:
3.
Y = (~p+q)*(p+~q)
Wymnażamy wielomian przechodząc do równania alternatywno-koniunkcyjnego:
1.
Y = ~p*p + ~p*~q + q*p + q*~q
Y = (p*q) + (~p*~q)
To jest równanie alternatywno-koniunkcyjne wyprowadzone w poprzednim punkcie
4.
Przejście z równaniem 1 do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = (~p+~q)*(p+q)
To jest równanie koniunkcyjno-alternatywne wyprowadzone ciut wyżej
2.
Przejście z równaniem 4 do tożsamego równania alternatywno-koniunkcyjnego poprzez wymnożenie wielomianu:
~Y = ~p*p + ~p*q + ~q*p + ~q*q
~Y = p*~q + ~p*q
To jest równanie alternatywno-koniunkcyjne wyprowadzone w poprzednim punkcie.

Matematycznie zachodzą tożsamości logiczne:
1: Y = p*q + ~p*~q = 3: Y = (~p+q)*(p+~q)
2: ~Y=p*~q +~p*q = 4: ~Y=(~p+~q)*(p+q)

Doskonale widać, że wszystko tu doskonale gra i buczy, zatem przyjęte definicje tworzenia równań alternatywno-koniunkcyjnych i koniunkcyjno-alternatywnych z dowolnej tabeli zero-jedynkowej są matematycznie nie do obalenia!

W praktyce okazuje się że w przełożeniu na język potoczny każdy człowiek, od 5-cio latka poczynając doskonale rozumie tylko i wyłącznie równania alternatywno-koniunkcyjne.
Równań koniunkcyjno-alternatywnych żaden człowiek nie rozumie, nawet najwybitniejszy ziemski matematyk.
Z powyższych tożsamości logicznych wynika że z punktu odniesienia logiki matematycznej człowieka, czyli jego języka potocznego którym się posługuje, wszelkie równania koniunkcyjno-alternatywne możemy wykopać w kosmos.
Powiem więcej: musimy wykopać w kosmos - dokładnie dlatego, że żaden człowiek w przełożeniu na język potoczny ich nie rozumie.
… ale to temat na oddzielny post


Ostatnio zmieniony przez rafal3006 dnia Nie 17:27, 18 Lis 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pon 9:51, 19 Lis 2018    Temat postu:

Prawo Jeża - nieudana próba obalenia!

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1100.html#417447
rafal3006 napisał:
Kwadratura koła dla najwybitniejszych ziemskich matematyków!
Prawo Jeża:
Algebra Kubusia w spójnikach „i”(*) i „lub”(+) to algebra tylko i wyłącznie równań alternatywno-koniunkcyjnych gdzie wszystkie zmienne binarne mają wartość logiczną miękkich jedynek.
Równania koniunkcyjno-alternatywne gdzie mamy tylko i wyłącznie miękkie zera wykopujemy w kosmos bo tych równań w przełożeniu na język potoczny żaden człowiek nie rozumie.
Przejście z równaniem koniunkcyjno-alternatywnym to tożsamego równania alternatywno-koniunkcyjnego jest trywialne - wystarczy wymnożyć wielomiany.

Na czym polega kwadratura koła?
Oczywiście na udowodnieniu, iż choćby w jednym równaniu alternatywo-koniunkcyjnym nie mamy do czynienia tylko i wyłącznie z miękkimi jedynkami (mogą zajść ale nie muszą).

Przykładowy algorytm dowodu:
Proszę rozpisywać wszelkie równania alternatywno-koniunkcyjne do tabel zero-jedynkowych, jak ktokolwiek złamie prawo Jeża to bezwarunkowo kasują calusieńką algebrę Kubusia.

Pani:
Jutro pójdziemy na basen lub do kina i do teatru
Y=B+K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> B=1 lub K=1 i T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy:
B=1 - jutro pójdziemy na basen (B=1)
LUB
K*T=1*1=1 - jutro pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie (~Y=1)?
Negujemy równanie 1 stronami:
~Y = ~(B+K*T) = ~B*~(K*T) = ~B*(~K+~T)
~Y = ~B*~K + ~B*~T
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~B=1 i ~K=1 lub ~B=1 i ~T=1
Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy:
~B*~K=1*1 =1 - jutro nie pójdziemy na basen (~B=1) i nie pójdziemy do kina (~K=1)
LUB
~B*~T=1*1 =1 - jutro nie pójdziemy na basen (~B=1) i nie pójdziemy do teatru (~T=1)

Spróbujmy obalić prawo Jeża przykładem trzyargumentowym jak w cytacie wyżej.

Przejdźmy na zapis ogólny podstawiając:
p=B
q=K
r=T
Stąd mamy układ równań Y i ~Y w zapisie ogólnym:
1: Y = p+q*r
2: ~Y=~p*~q+~p*~r
Budujemy tabelę zero-jedynkową dla funkcji logicznej 1 z uwzględnieniem wszystkich możliwych przeczeń sygnałów
Kod:

T1
W równaniach alternatywno-koniunkcyjnych (miękkie jedynki)
w liniach stosujemy spójnik „i”(*), zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa dla         |Tożsama funkcja logiczna   |Równania
funkcji logicznej Y=p+q*r         |w miękkich jedynkach       |cząstkowe
                        Y=        |                           |
   p  q  r ~p ~q ~r q*r p+q*r ~Y=?|                           |
A: 1  1  1  0  0  0  1   1      0 | Ya=1<=> p=1 i  q=1 i  r=1 | Ya= p* q* r
B: 1  1  0  0  0  1  0   1      0 | Yb=1<=> p=1 i  q=1 i ~r=1 | Yb= p* q*~r
C: 1  0  1  0  1  0  0   1      0 | Yc=1<=> p=1 i ~q=1 i  r=1 | Yc= p*~q* r
D: 1  0  0  0  1  1  0   1      0 | Yd=1<=> p=1 i ~q=1 i ~r=1 | Yd= p*~q*~r
E: 0  1  1  1  0  0  1   1      0 | Ye=1<=>~p=1 i  q=1 i  r=1 | Ye=~p* q* r
F: 0  1  0  1  0  1  0   0      1 |~Yf=1<=>~p=1 i  q=1 i ~r=1 |~Yf=~p* q*~r
G: 0  0  1  1  1  0  0   0      1 |~Yg=1<=>~p=1 i ~q=1 i  r=1 |~Yg=~p*~q* r
H: 0  0  0  1  1  1  0   0      1 |~Yh=1<=>~p=1 i ~q=1 i ~r=1 |~Yh=~p*~q*~r
   1  2  3  4  5  6  7   8      9   a       b      c      d     e   f  g  h

Układ równań Y i ~Y opisujących naszą tabelę zero-jedynkową odczytujemy z tabeli równań cząstkowych ABCDEFGHabcdefgh
1.
Y = Ya+Yb+Yc+Yd+Ye
Po rozwinięciu mamy:
Y = A: p*q*r + B: p*q*~r + C: p*~q*r + D: p*~q*~r + E: ~p*q*r
co w logice miękkich jedynek (równania alternatywno-koniunkcyjne) oznacza:
Y=1<=>A: p=1 i q=1 i r=1 lub B: p=1 i q=1 i ~r=1 lub C: p=1 i ~q=1 i r=1 lub D: p=1 i ~q=1 i ~r=1 lub ~p=1 i q=1 i r=1
2.
~Y=~Yf+~Yg+~Yh
po rozwinięciu mamy:
~Y = F: ~p*q*~r + G: ~p*~q*r + H: ~p*~q*~r
co w logice miękkich jedynek (równania alternatywno-koniunkcyjne) oznacza:
~~Y=1 <=> F: ~p=1 i q=1 i ~r=1 lub G: ~p=1 i ~q=1 i r=1 lub H: ~p=1 i ~q=1 i ~r=1

Oczywistym jest że łatwiej nam będzie zminimalizować równanie funkcji logicznej ~Y bo jest po prostu krótsze.
Jedziemy:
~Y = ~p*q*~r + ~p*~q*r + ~p*~q*~r
~Y = ~p*q*~r + ~p*~q*(r+~r)
~Y = ~p*q*~r + ~p*~q
~Y = ~p*(q*~r+~q)
z= (q*~r)+~q
~z = q*(~q+r)
~z = q*r
z=~q+~r
~Y = ~p*(~q+~r)
~Y=~p*~q+~p*~r
Doskonale widać, że otrzymaliśmy poprawną funkcję logiczną:
2: ~Y=~p*~q + ~p*~r
Funkcję logiczną Y otrzymujemy tu poprzez dwustronną negację funkcji ~Y.
Metoda skrócona to negacja to negacja sygnałów i wymiana spójników na przeciwne:
2: ~Y = (~p*~q)+(~p*~r)
stąd:
1.
Y = (p+q)*(p+r)
Y = p*p+p*r + q*p+q*r
Y = p+p*r + p*q + q*r
Y = p*(1+r+q)+q*r
Y = p+q*r
cnd

Zadanie dla masochistów:
Zminimalizować funkcje logiczną Y wynikłą z tabeli T1 według powyższego algorytmu.

Mamy dwie funkcje logiczne minimalne:
1: Y = p+q*r
2: ~Y=~p*~q+~p*~r

Zbudujmy tabelę zero-jedynkową dla funkcji logicznej:
Y=p+q*r
Kod:

T2       
   p  q  r ~p ~q ~r  p q*r Y=p+q*r ~Y=~p*~q+~p*~r
A: 1  1  1  0  0  0  1  1   1        0
B: 1  1  0  0  0  1  1  0   1        0
C: 1  0  1  0  1  0  1  0   1        0
D: 1  0  0  0  1  1  1  0   1        0
E: 0  1  1  1  0  0  0  1   1        0
F: 0  1  0  1  0  1  0  0   0        1
G: 0  0  1  1  1  0  0  0   0        1
H: 0  0  0  1  1  1  0  0   0        1
   1  2  3  4  5  6  7  8   9        a

Doskonale tu widać poprawność poniższego zapisu:
Y=p+q*r
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 lub (q*r)=1
Rozwijając głębiej mamy:
Y=1 <=> p=1 lub q=1 i r=1

Zbudujmy tabelę zero-jedynkową dla funkcji:
~Y=~p*~q+~p*~r
Kod:

T3       
   p  q  r ~p ~q ~r ~p*~q ~p*~r ~Y=~p*~q+~p*~r Y=p+q*r
A: 1  1  1  0  0  0   0     0     0             1
B: 1  1  0  0  0  1   0     0     0             1
C: 1  0  1  0  1  0   0     0     0             1
D: 1  0  0  0  1  1   0     0     0             1
E: 0  1  1  1  0  0   0     0     0             1
F: 0  1  0  1  0  1   0     1     1             0
G: 0  0  1  1  1  0   1     0     1             0
H: 0  0  0  1  1  1   1     1     1             0
   1  2  3  4  5  6   7     8     9             a

Doskonale tu widać poprawność poniższego zapisu:
~Y=~p*~q + ~p*~r
co w logice miękkich jedynek oznacza:
~Y=1 <=> (~p*~q)=1 lub (~p*~r)=1
rozwijając głębiej mamy:
~Y=1 <=> ~p=1 i ~q=1 lub ~p=1 i ~r=1

Pytanie do wszystkich:
Czy ten post jest zrozumiały?


Ostatnio zmieniony przez rafal3006 dnia Pon 11:44, 19 Lis 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Pon 10:26, 19 Lis 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:

Więc podaj ten wynik.
Wejście 1: 1
Wejście 2: 1
Wyjście: ?

(...)
Wyjście:
(~)Y=1

Nie pytam ile będzie (~)Y, pytam o WARTOŚĆ na wyjściu bramki.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pon 11:29, 19 Lis 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:

Więc podaj ten wynik.
Wejście 1: 1
Wejście 2: 1
Wyjście: ?

(...)
Wyjście:
(~)Y=1

Nie pytam ile będzie (~)Y, pytam o WARTOŚĆ na wyjściu bramki.

1.
Kod:

Zero-jedynkowa definicja spójnika „i”(*):
   p  q Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0
Definicja podstawowa:
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Inaczej:
Y=0
Definicja alternatywna:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

2.
Kod:

Zero-jedynkowa definicja 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 podstawowa:
Y=p+q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 lub q=1
Inaczej:
Y=0
Definicja alternatywna:
Y=0 <=> p=0 i q=0
Inaczej:
Y=1

Zauważ Irbisolu, że poprawna definicja spójnika „i”(*) to:
Y=1 <=> p=1 i q=1
Bowiem znaczek <=> determinuje:
Inaczej:
Y=0

Identycznie jest ze spójnikiem „lub”(+).
Poprawna definicja spójnika „lub”(+) to:
Y=1 <=> p=1 lub q=1
Bowiem znaczek <=> determinuje:
Inaczej:
Y=0

Weźmy to na przykładzie z postu wyżej:
Zbudujmy tabelę zero-jedynkową dla funkcji:
~Y=~p*~q+~p*~r
Kod:

T3       
   p  q  r ~p ~q ~r ~p*~q ~p*~r ~Y=~p*~q+~p*~r Y=p+q*r
A: 1  1  1  0  0  0   0     0     0             1
B: 1  1  0  0  0  1   0     0     0             1
C: 1  0  1  0  1  0   0     0     0             1
D: 1  0  0  0  1  1   0     0     0             1
E: 0  1  1  1  0  0   0     0     0             1
F: 0  1  0  1  0  1   0     1     1             0
G: 0  0  1  1  1  0   1     0     1             0
H: 0  0  0  1  1  1   1     1     1             0
   1  2  3  4  5  6   7     8     9             a

Doskonale tu widać poprawność poniższego zapisu:
~Y=~p*~q + ~p*~r
co w logice miękkich jedynek oznacza:
~Y=1 <=> (~p*~q)=1 lub (~p*~r)=1
rozwijając głębiej mamy:
~Y=1 <=> ~p=1 i ~q=1 lub ~p=1 i ~r=1

Podsumowanie:
Zauważ Irbisolu, że w tabeli T3 spełniona jest zero-jedynkowa definicja spójnika „i”(*) między odpowiednimi kolumnami np.
1,
~p*~q
Tu traktujemy spójnikiem „i”(*) kolumny 4 i 5
2.
~p*~r
Tu traktujemy spójnikiem „i”(*) kolumny 4 i 6
3.
~Y=~p*~q + ~p*~r
Tu traktujemy spójnikiem „lub”(+) kolumny 7 i 8

Uważaj Irbisolu:
Ty chcesz ogołocić nagłówki kolumn zero-jedynkowych z wszelkich symboli opisujących te kolumny.
Innymi słowy:
Twój problem polega na tym że ty widzisz logikę „matematyczną” w poniższym gównie:
Kod:

T4
Tabela T3 ogołocona z wszelkich opisów kolumn w rachunku zero-jedynkowym       
A: 1  1  1  0  0  0   0     0     0             1
B: 1  1  0  0  0  1   0     0     0             1
C: 1  0  1  0  1  0   0     0     0             1
D: 1  0  0  0  1  1   0     0     0             1
E: 0  1  1  1  0  0   0     0     0             1
F: 0  1  0  1  0  1   0     1     1             0
G: 0  0  1  1  1  0   1     0     1             0
H: 0  0  0  1  1  1   1     1     1             0
   1  2  3  4  5  6   7     8     9             a       


Kluczowe pytania:
1.
Czy zgadzasz się że tabela T4 to jedno wielkie gówno a nie logika matematyczna, bo TOTALNIE nie wiadomo o jakie zmienne w niej chodzi (brak opisów w nagłówkach)?
2.
Czy zgadzasz się że poprawną logikę matematyczną w rachunku zero-jedynkowym przedstawia tylko i wyłącznie tabela T3.
3.
Czy zgadzasz się z faktem, że ziemianie nie widząc logiki dodatniej (bo Y) i ujemnej (bo ~Y) w tabeli T3 popełniają błąd czysto matematyczny?
Kod:

T3       
   p  q  r ~p ~q ~r ~p*~q ~p*~r ~Y=~p*~q+~p*~r Y=p+q*r
A: 1  1  1  0  0  0   0     0     0             1
B: 1  1  0  0  0  1   0     0     0             1
C: 1  0  1  0  1  0   0     0     0             1
D: 1  0  0  0  1  1   0     0     0             1
E: 0  1  1  1  0  0   0     0     0             1
F: 0  1  0  1  0  1   0     1     1             0
G: 0  0  1  1  1  0   1     0     1             0
H: 0  0  0  1  1  1   1     1     1             0
   1  2  3  4  5  6   7     8     9             a       

W tabeli T3 stoi ci jak wół:
A: ~Y=1<=> (~p*~q)=1 lub (~p*~r)=1
Prawo Prosiaczka:
(~Y=1)=(Y=0)
Prawo Prosiaczka możemy stosować wybiórczo do dowolnej zmiennej, stad zapis tożsamy:
B: Y=0 <=> (~p*~q)=1 lub (~p*~r)=1

Czy zgadzasz się na logiczną tożsamość zapisów:
A = B

TAK/NIE
Poproszę o odpowiedź.


Ostatnio zmieniony przez rafal3006 dnia Pon 13:31, 19 Lis 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Pon 12:25, 19 Lis 2018    Temat postu:

Nie interesuje mnie definicja spójnika "i".
Zapytałem, jaką wartość zwróci bramka.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pon 13:27, 19 Lis 2018    Temat postu:

Irbisol napisał:
Nie interesuje mnie definicja spójnika "i".
Zapytałem, jaką wartość zwróci bramka.


W żadnej ziemskiej literaturze nie pokażesz definicji spójnika „i”(*) - twoja bramka AND - gdzie w nagłówkach kolumn nie byłoby symboli (zmiennych binarnych) opisujących tą zero-jedynkową definicję.
Dowód choćby tu:
[link widoczny dla zalogowanych]

Oficjalna definicja spójnika „i”(*) (twoje bramka AND) jest zatem następująca:
1.
Kod:

Zero-jedynkowa definicja spójnika „i”(*):
   p  q Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0
Definicja podstawowa:
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Inaczej:
Y=0
Definicja alternatywna:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

2.
Kod:

Zero-jedynkowa definicja 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 podstawowa:
Y=p+q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 lub q=1
Inaczej:
Y=0
Definicja alternatywna:
Y=0 <=> p=0 i q=0
Inaczej:
Y=1

Zauważ Irbisolu, że poprawna definicja spójnika „i”(*) to:
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Bowiem znaczek <=> determinuje:
Inaczej:
Y=0

Identycznie jest ze spójnikiem „lub”(+).
Poprawna definicja spójnika „lub”(+) to:
Y=p+q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 lub q=1
Bowiem znaczek <=> determinuje:
Inaczej:
Y=0

Uważaj Irbisolu:
1.
Twierdzę, że nie znasz fundamentów logiki matematycznej, gdzie we wszystkich prawach logiki matematycznej parametry ogólne występujące w tym prawie mogą być w dowolnych przeczeniach lub nawet być dowolnie długimi funkcjami logicznymi!
2.
Definicja spójnika „i”(*) jest co prawda taka:
Kod:

T1.
Zero-jedynkowa definicja spójnika „i”(*):
   p  q Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0
   1  2  3
Definicja podstawowa:
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Inaczej:
Y=0
Definicja alternatywna:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

Ale parametry ogólne opisujące tą tabelę mogą w logice matematycznej występować w dowolnych przeczeniach.
Dla trzech parametrów p, q, Y w definicji spójnika „i”(*) może być aż 8 mutacji tego spójnika.
Oto wszystkie możliwe mutacje:
1. Y=p*q
2. Y=p*~q
3. Y=~p*q
4. Y=~p*~q
5. ~Y=p*q
6. ~Y=p*~q
7. ~Y=~p*q
8. ~Y=~p*~q
Spójnik „i”(*) to ten znaczek (*).
Przykładowa zero-jedynkowa tabela opisująca przypadek 8 będzie następująca:

Kod:

T2.
Zero-jedynkowa definicja spójnika „i”(*):
  ~p ~q ~Y=~p*~q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0
   1  2  3
Definicja podstawowa:
~Y=~p*~q
co w logice miękkich jedynek oznacza:
~Y=1 <=>~p=1 i ~q=1
Inaczej:
Y=0
Definicja alternatywna:
~Y=0 <=>~p=0 lub ~q=0
Inaczej:
Y=1

Podsumowanie:
Głupotą jest za definicję znaczka (*) uważać tylko i wyłącznie gołą tabelę zero-jedynkową, bowiem stoi wyżej jak wół.
Gołe tabele zero-jedynkowe bez opisu w nagłówkach T1 i T2 są absolutnie tożsame.
ALE!
Po opisaniu kolumn nazwami zmiennych tabele T1 i T2 są rożne na mocy definicji ##:
T1: Y=p*q ## T2: ~Y=~p*~q

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne Y1 i Y2 są różne na mocy definicji gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej

Kwadratura koła dla Irbisola:
Czy tabele T1 i T2 są różne na mocy definicji ##?

TAK/NIE
Poproszę o odpowiedź.


Ostatnio zmieniony przez rafal3006 dnia Pon 14:14, 19 Lis 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Pon 15:23, 19 Lis 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Nie interesuje mnie definicja spójnika "i".
Zapytałem, jaką wartość zwróci bramka.


W żadnej ziemskiej literaturze nie pokażesz definicji spójnika „i”(*)

Ale jest taka ziemska literatura, która odpowie mi, co zwróci bramka AND, gdy podam na jej wejście dwie jedynki.
Twoja algebra nie zna odpowiedzi na to pytanie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pon 15:45, 19 Lis 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Nie interesuje mnie definicja spójnika "i".
Zapytałem, jaką wartość zwróci bramka.


W żadnej ziemskiej literaturze nie pokażesz definicji spójnika „i”(*)

Ale jest taka ziemska literatura, która odpowie mi, co zwróci bramka AND, gdy podam na jej wejście dwie jedynki.
Twoja algebra nie zna odpowiedzi na to pytanie.

W takim razie poproszę o link do Wikipedii - na 100% nie potwierdzisz swoich wyssanych z palca bredni konkretnym linkiem.
Dlaczego golusieńka tabela bez żadnych zapisów symbolicznych nad kolumnami jest potworną głupotą czysto matematyczną?
Tłumaczyłem w kilku ostatnich postach, ze szczególnym wskazaniem na ostatni post.

Zatem do dzieła Irbisolu, podaj jeden link na potwierdzenie bredni które prawisz.
Czekam, czekam, czekam …

Zauważ, że twoja gówno-tabela zero-jedynkowa bez opisu symbolicznego nad kolumnami odcina cię od jakichkolwiek praw logiki matematycznej - choćby tego:
Y=p*q
Negujemy dwustronnie (gdzie o tym jest w dowolnym podręczniku matematyki ziemian?!)
~Y=~p+~q
Związek logiki dodatniej (bo Y0 i ujemnej (bo ~Y):
Y=~(~Y) - gdzie o tym jest w dowolnym podręczniku ziemian?!
Stąd:
Y = p*q = ~(~p+~q) - prawo De Morgana w logice dodatniej (bo Y).

Czy czujesz już swoją głupotę czysto matematyczną - czy jeszcze nie czujesz?
Poproszę o odpowiedź.

P.S.
Kod:

Zero-jedynkowa definicja spójnika „i”(*):
   p  q Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0
Definicja podstawowa:
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Inaczej:
Y=0
Definicja alternatywna:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

Można się od biedy zgodzić na taką uproszczoną definicję bramki „i”(*):
Bramka „i”(*) o n-wejściach odpowie na wyjściu 1 wtedy i tylko wtedy gdy na każdym jej wejściu zostanie ustawione 1.

Taka definicja nie zamyka drogi do poprawnych zapisów matematycznych np. takiego:
~Y=p*q*~r
Co w logice miękkich jedynek oznacza:
~Y=1 <=> p=1 i q=1 i ~r=1
To wystarczy - KONIEC!
bowiem znaczek <=> determinuje:
Inaczej:
Y=0


Ostatnio zmieniony przez rafal3006 dnia Pon 16:06, 19 Lis 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
szaryobywatel




Dołączył: 21 Wrz 2016
Posty: 5545
Przeczytał: 106 tematów


Płeć: Mężczyzna

PostWysłany: Pon 15:52, 19 Lis 2018    Temat postu:

Zapytam wprost Kubusiu: czy według Ciebie to co dostaje na wejściu bramka logiczna/funkcja, ma wpływ na to jak działa/jak jest zdefiniowana?
Np. bramka AND w naszym przykładzie z kinem i teatrem jest zdefiniowana tak:

wartość(r) = wartość(p)*wartość(q)

czy to co bramka dostanie na wejściu, czy to co zwróci na wyjściu, czy będzie to "miękkie" czy "twarde" mówiąc Twoim językiem, czy ma to wpływ na powyższą definicję?
W celu uporządkowania naszej dyskusji, proszę żebyś na razie odpowiedział:
1. Tak
2. Nie
3. To zależy
4. Nie wiadomo
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13994
Przeczytał: 55 tematów


PostWysłany: Pon 16:18, 19 Lis 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Ale jest taka ziemska literatura, która odpowie mi, co zwróci bramka AND, gdy podam na jej wejście dwie jedynki.
Twoja algebra nie zna odpowiedzi na to pytanie.

W takim razie poproszę o link do Wikipedii

A dlaczego do Wikipedii?
Piszę o literaturze ogólnie.
W laboratorium też mogę podłączyć dwie jedynki i sprawdzić, co jest na wyjściu.
A twoja algebra nie ma pojęcia, co tam będzie.

I przestań pierdolić o jakichś tabelach zero-jedynkowych. Nikt cię o nie nie pyta.
Pytanie jest o realną bramkę, która otrzymuje sygnały na wejście.
Masz podać wartość na wyjściu, czego nie jesteś w stanie zrobić.

@szary - uważaj, bo dostaniesz odpowiedź na temat
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pon 16:48, 19 Lis 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ale jest taka ziemska literatura, która odpowie mi, co zwróci bramka AND, gdy podam na jej wejście dwie jedynki.
Twoja algebra nie zna odpowiedzi na to pytanie.

W takim razie poproszę o link do Wikipedii

A dlaczego do Wikipedii?
Piszę o literaturze ogólnie.
W laboratorium też mogę podłączyć dwie jedynki i sprawdzić, co jest na wyjściu.
A twoja algebra nie ma pojęcia, co tam będzie.

I przestań pierdolić o jakichś tabelach zero-jedynkowych. Nikt cię o nie nie pyta.
Pytanie jest o realną bramkę, która otrzymuje sygnały na wejście.
Masz podać wartość na wyjściu, czego nie jesteś w stanie zrobić.

@szary - uważaj, bo dostaniesz odpowiedź na temat

No i dostajesz na laboratorium czarną skrzynkę z dwoma kabelkami wejściowymi p i q i jedynym wyjściowym Y.
Ty na serio uważasz że jak podasz:
p=1 i q=1 i otrzymasz Y=1
To będzie to bramka "i"(*) (twoja AND)?
Hehe ... dobre.

Definicja logiki matematycznej:
Logika matematyczna to badanie nieznanego, czyli nie wiesz z jaką bramką masz do czynienia.

Dowód:
Jeśli liczba jest podzielna przez 8 to na 100% jest podzielna przez 3
P8=>P3 =1

Czy z faktu że użyłeś tu spójnika "Jesli p to q" wynika że to zdanie jest prawdziwe?


Ostatnio zmieniony przez rafal3006 dnia Pon 16:49, 19 Lis 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32228
Przeczytał: 32 tematy

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

PostWysłany: Pon 17:08, 19 Lis 2018    Temat postu:

szaryobywatel napisał:
Zapytam wprost Kubusiu: czy według Ciebie to co dostaje na wejściu bramka logiczna/funkcja, ma wpływ na to jak działa/jak jest zdefiniowana?
Np. bramka AND w naszym przykładzie z kinem i teatrem jest zdefiniowana tak:

wartość(r) = wartość(p)*wartość(q)

czy to co bramka dostanie na wejściu, czy to co zwróci na wyjściu, czy będzie to "miękkie" czy "twarde" mówiąc Twoim językiem, czy ma to wpływ na powyższą definicję?
W celu uporządkowania naszej dyskusji, proszę żebyś na razie odpowiedział:
1. Tak
2. Nie
3. To zależy
4. Nie wiadomo

Jeśli punkt odniesienia ustalimy na np. n-wejściowej bramce „i”(*) to definicja tej bramki z tego konkretnego punktu odniesienia będzie taka.

Definicja Irbisola:
Definicja bramki „i”(*) z punktu odniesienia ustawionego na bramce „i”(*):
Wyjście n-wejściowej bramki „i”(*) przyjmie wartość logiczną 1 wtedy i tylko wtedy gdy wszystkie n wejść zostanie ustawionych na 1
Ten punkt odniesienia to matematyczna głupota bowiem nie widać tu ani jednego zapisu nad dowolną kolumną zero-jedynkową - co więcej, z tego punktu odniesienia nie ma choćby jednej kolumny zero-jedynkowej!

Taka definicja jest poprawna ale ma zerową wartość matematyczną, bowiem żadnego prawa rachunku zero-jedynkowego nie sposób udowodnić, choćby najprostszego:
Definicja operatora transmisji (transmituje sygnały z wejścia na wyjście):
Y=p
… a kiedy zajdzie ~p?
Negujemy stronami:
~Y=~p

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y = ~(~Y)
Stąd mamy prawo podwójnego przeczenia w logice dodatniej (bo Y):
Y = p=~(~p)

Związek logiki ujemnej (bo ~Y) z logiką dodatnią (bo Y):
~Y = ~(Y) = ~p = ~(p)

Problem w tym że głupole ziemianie nie potrafią poprawnie matematycznie opisać choćby banałów wyżej - winna jest temu gówno-definicja Irbisola o zerowej wartości użytecznej.

Poprawne przedstawienie powyższych przekształceń jest tylko i wyłącznie takie:
Kod:

T1
   p ~p Y=p ~Y=~p Y=~(~Y)=~(~p) ~Y=~(Y)=~(p)=~p
A: 1  0  1    0    1              0
B: 0  1  0    1    0              1
   1  2  3    4    5              6

Oczywistym jest, że jak wymażemy z powyższej definicji opisy kolumn zero-jedynkowych to zobaczymy dokładnie to co widzi bramka transmisji: Y=p
Czyli zobaczymy gówno, a nie jakąkolwiek logikę matematyczną.
Dowód:
Kod:

T2 - gówno tabela Irbisola:
Tabela T1 po wycięciu symbolicznego opisu zmiennych binarnych zapisanych
nad kolumnami
A: 1  0  1    0    1              0
B: 0  1  0    1    0              1
   1  2  3    4    5              6

Wszyscy widzą że z punktu odniesienia człowieka tabela T2 to gówno-logika a nie matematyka.
cnd


Ostatnio zmieniony przez rafal3006 dnia Pon 17:23, 19 Lis 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 44, 45, 46 ... 64, 65, 66  Następny
Strona 45 z 66

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

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