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 

Prawo subalternacji
Idź do strony Poprzedni  1, 2, 3 ... 66, 67, 68 ... 124, 125, 126  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ść
Andy72




Dołączył: 30 Sie 2010
Posty: 6618
Przeczytał: 2 tematy


Płeć: Mężczyzna
PostWysłany: Nie 9:32, 11 Wrz 2016    Temat postu:
rafal3006 napisał:
Andy72 napisał:
Czyli to obietnica a nie groźba. A jak obiecam panu B,że zbiję pana A?

Z jakiego powodu?
Tu w relacji ANDY72=>A to ewidentna groźba a nie obietnica. Przyczyna zabójstwa jest bez znaczenia.
Zdrowy na umyśle B na pewno tej twojej obietnicy sobie nie życzy, bo jak B będzie podsycał twój zamiar w jakikolwiek sposób to staje się współwinnym zabójstwa.

Nie wszystkie obietnice są dobre dla odbiorcy np. zabójstwo A, przyjęcie pieniędzy pochodzących z przestępstwa etc.

Nie napisałem "zabiję" a "zbiję"
Mamy do czynienia z obietnicą, złamanie obietnicy spowoduje że wypowiadający będzie kłamcą.
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Nie 9:43, 11 Wrz 2016    Temat postu:

... czym byłby nasz świat bez wariatów?
http://www.sfinia.fora.pl/swiat-ozywiony,11/wielcy-tworcy-i-ich-choroby,4512.html#98130

I tak jak obłęd, w wyższym tego słowa znaczeniu, jest początkiem wszelkiej mądrości, tak schizofrenia jest początkiem wszelkiej sztuki, wszelkiej fantazji.
Herman Hesse.

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć.
Alfred Hitchcok


Stało się!
Wewnętrzna sprzeczność logiki matematycznej Ziemian została UDOWODNIONA!
Uwaga:
Za pomocą narzędzi z logiki matematycznej Ziemian: zero-jedynkowe definicje operatorów logicznych plus techniki tworzenia równań logicznych z dowolnej tabeli zero-jedynkowej (mintermy plus makstermy). Żaden matematyk nie ma zatem prawa kwestionować tego dowodu.

Tu jej ekselencja:
Dzisiaj dzień wolny, zarządzam święto państwowe.
https://www.youtube.com/watch?v=ADCXl8pR99Y

Wszystkie krasnoludki, znaczy ziemscy matematycy, mogą wyjść na powierzchnię Ziemi i podziwiać piękno przyrody zamiast tkwić na wieki w kopalni soli w Wieliczce (miejsce kręcenia Seksmisji).


Dowód wewnętrznej sprzeczności logiki matematycznej Ziemian!

Definicje znaczków "i"(*), "lub"(+), AND(|*) i OR(|+)
(kluczowe fragmenty wyróżniono na niebiesko)

Wymagane wiadomości wstępne z logiki matematycznej Ziemian, poza zero-jedynkowymi definicjami operatorów logicznych algebry Boole’a, to znajomość technik tworzenia równań logicznych z dowolnej tabeli zero-jedynkowej, czyli …

Mintermy (równania alternatywno-koniunkcyjne) i makstermy (równania koniunkcyjno-alterantywne) z Wikipedii:
[link widoczny dla zalogowanych]

Weźmy przykład operatora AND(|*).
I.
Funkcja alternatywno-koniunkcyjna:
Kod:

   p  q  Y=p*q |Mintermy
A: 1  1  =1    |Ya=p*q
B: 1  0  =0
C: 0  1  =0
D: 0  0  =0
   1  2   3

I.
Y=Ya
Y = p*q

II.
Funkcja koniunkcyjno-alternatywna:
Kod:

   p  q  Y=(~p+q)*(p+~q)*(p+q)  |Makstermy
A: 1  1  =1                     |
B: 1  0  =0                     | Yb=~p+ q
C: 0  1  =0                     | Yc= p+~q
D: 0  0  =0                     | Yd= p+ q
   1  2   3

II.
Y = Yb*Yc*Yd
Y=(~p+q)*(p+~q)*(p+q)
Minimalizacja:
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
~Y=p*~q + ~p*q + ~p*~q
~Y = p*~q + ~p*(q+~q)
~Y = ~p+(p*~q)
Powrót do logiki dodatniej:
Y = p*(~p+q)
Y = p*~p+p*q
Y = p*q

Doskonale widać, że matematycznie zachodzi:
I = II
Y = p*q = (~p+q)*(p+~q)*(p+q)

Doskonale też widać, że z tabeli zero-jedynkowej operatora AND(|*) nie da się wycisnąć równania algebry Boole’a wyznaczającego funkcję logiczną ~Y=?

Gdzie leży problem w logice matematycznej Ziemian?

W tabelach zero-jedynkowych ta logika jest dobra i działa tak.

Pani przedszkolanka:
A.
Jutro pójdziemy do kina i do teatru
Y=K*T

Jaś (lat 5):
Co to znaczy proszę pani?

Tu pani wyjmuje tabelę zero-jedynkową operatora AND(|*) i tłumaczy.
Kod:

   K  T  Y=K*T
A: 1  1  =1
B: 1  0  =0
C: 0  1  =0
D: 0  0  =0
   1  2   3

Sam widzisz Jasiu że:
Dotrzymam słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)
Y=1 <=> K=1 i T=1

Zauważ, że przypadek kiedy dotrzymam słowa (Y=1) opisuje wyłącznie linia A123 z definicji operatora AND(|*), stąd wnioskujemy, że spójnik „i”(*) z naturalnej logiki człowieka to nie jest to samo co operator AND(|*) opisujący wszystkie cztery linie ABCD

Stąd muszą tu być użyte dwa różne znaczki:
AND(|*) ## „i”(*)
gdzie:
## - różne na mocy definicji

Obszar BCD123 opisuje przypadek kiedy jutro skłamię (Y=0).

Odczytujemy:
Jutro skłamię (Y=0) wtedy i tylko wtedy gdy:
B: Yb=0 <=> K=1 i T=0 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (T=0)
lub
C: Yc=0 <=> K=0 i T=1 - nie pójdziemy do kina (K=0) i pójdziemy do teatru (T=1)
lub
D: Yd=0 <=> K=0 i T=0 - nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)

stąd mamy:
Y=0 <=> B: K=1 i T=0 lub C: K=0 i T=1 lub K=0 i T=0

To jest poprawna analiza zdania pani przedszkolanki, wynikła z tabeli zero-jedynkowej operatora AND(|*).

Sęk w tym że Ziemianie nie potrafią zapisać tego samego w równaniach algebry Boole’a!

Dlaczego nie potrafią?
Bo równanie alternatywno-koniunkcyjne (mintermy) opisujące wynikową jedynkę (A123) w definicji operatora AND(|*):
Y=p*q
Jest TOŻSAME z równaniem koniunkcyjno-alternatywnym (makstermy) opisującym zera w tej samej tabeli (obszar BCD123), co udowodniliśmy na początku tego postu.
Y=(~p+q)*(p+~q)*(p+q)

Innych równań logicznych nie da się ułożyć dla tabeli zero-jedynkowej operatora AND(|*)!

Nie ma zatem matematycznego sposobu, by z definicji operatora AND(|*) uzyskać odpowiedź na pytanie kiedy pani skłamie (Y=0) w równaniu algebry Boole’a!

Jednocześnie jednak, analiza zero-jedynkowa operatora AND(|*) pozwala poprawnie odpowiedzieć na pytanie kiedy pani dotrzyma słowa (Y=1), a kiedy skłamie (Y=0), co udowodniła pani przedszkolanka - o niebo lepsza w matematyce od ziemskich matematyków, czego dowodem analiza matematyczna zdania Y=K*T w jej wykonaniu.

Zauważmy, że tabela zero-jedynkowa operatora AND(|*) pozwala odpowiedzieć na pytanie kiedy pani skłamie (Y=0) natomiast równania logiczne opisujące tą tabelę takiej wiedzy NIE PRZEKAZUJĄ!

Jak rozwiązać ten problem?

Mamy zdanie wypowiedziane:
I.
Jutro pójdziemy do kina i do teatru
Y = K*T
co matematycznie oznacza:
Y=1<=> K=1 i T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru
Y=1 <=> K=1 i T=1

… a kiedy pani skłamie (~Y)?
Negujemy powyższe równanie dwustronnie:
~Y=~(K*T) = ~K+~T - negacja plus prawo De Morgana
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1
czyli:
Nie pójdziemy w dowolne miejsce i już pani skłamie (~Y=1)
Stąd mamy:
II.
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
~Y=~K+~T
co matematycznie oznacza:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
~Y=1 <=> ~K=1 lub ~K=1

Znaczenie symboli:
Y=1 - pani dotrzyma słowa (Y) = prawdą jest (=1), że pani dotrzyma słowa (Y)
~Y=1 - pani skłamie (nie dotrzyma słowa ~Y) = prawdą jest (=1) że pani skłamie (~Y)

… i po bólu!
Problem został rozwiązany w banalny sposób.

Oczywistym jest że tabela zero-jedynkowa:
~Y=~K+~T
to tabela zero-jedynkowa operatora OR(|+) w logice ujemnej (bo ~Y), czyli matematycznie coś fundamentalnie innego niż definicja operatora AND(|*) wyżej opisana.

Zobaczmy to w tabelach zero-jedynkowych przechodząc na zapisy ogólne:
p=K
q=T
Kod:

              Mintermy                Mintermy  |Co matematycznie oznacza
   p  q Y=p*q          ~p ~q ~Y=~p+~q           |
A: 1  1  =1   Ya=p*q    0  0  =0                | Ya=1<=> p=1 i  q=1
B: 1  0  =0             0  1  =1      ~Yb= p*~q |~Yb=1<=> p=1 i ~q=1
C: 0  1  =0             1  0  =1      ~Yc=~p* q |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0             1  1  =1      ~Yd=~p*~q |~Yd=1<=>~p=1 i ~q=1
   1  2   3             4  5   6

Zauważmy, że tabela ABCD123 to co innego niż tabela ABCD456.
I.
Równanie alternatywno-koniunkcyjne (mintermy) opisujące tabelę ABCD123:
Y=Ya
Y=p*q
co matematycznie oznacza:
Y=1<=>p=1 i q=1
II.
Równanie alternatywno-koniunkcyjne (mintermy) opisujące tabelę ABCD456:
~Y = ~Yb+~Yc+~Yd
~Y = B: p*~q + C: ~p*q +D: ~p*~q
Minimalizujemy:
~Y = p*~q + ~p*q + ~p*~q
~Y= p*~q + ~p(q+~q)
~Y = ~p + (p*~q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników
Y = p*(~p+q)
Y = p*~p+p*q
Y = p*q
Powrót do logiki ujemnej:
~Y=~p+~q
Matematycznie zachodzi zatem:
~Y = ~p+~q = p*~q + ~p*q + ~p*~q

Matematyczne związki między tabelami ABCD123 i ABCD456 są następujące:
Y=~(~Y)
~Y=~(Y)
bo kolumna ~Y (6) to zaprzeczenie kolumny Y (3) - i odwrotnie.
Stąd mamy prawa De Morgana:
Y = p*q = ~(~p+~q)
~Y=~p+~q = ~(p*q)

Zauważmy, że dopiero tabela ABCD123456 przekazuje w równaniach algebry Boole’a pełną informację o tym kiedy pani dotrzyma słowa Y=K*T (ABCD123) oraz kiedy pani skłamie ~Y=~K+~T (ABCD456).

Stąd możemy zapisać tożsamą definicję operatora AND(|*) w układzie równań logicznych:
I.
Y = p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
II.
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Poprawność ostatniego zapisu pięknie widać w obszarze BCD456.
Czyli:
Spójnik „lub”(+) z tabeli zero-jedynkowej ABCD456 to wyłącznie obszar BCD456.
Kompletna tabela ABCD456 to definicja operatora OR(|+).
Na mocy definicji zachodzi:
OR(|+) ## „lub”(+)
gdzie:
## - różne na mocy definicji

Podsumowując:
1.
Zero-jedynkowa definicja operatora AND(|*) pozwala odpowiedzieć na pytanie kiedy w przyszłości pani dotrzyma słowa (Y=1) a kiedy skłamie (Y=0)
2.
W równaniach algebry Boole’a uzyskamy dokładnie tą samą wiedzę wtedy i tylko wtedy gdy zbudujemy tabelę zero-jedynkową ABCD123456.


Dowód wewnętrznej sprzeczności logiki matematycznej Ziemian!

Definicja operatora AND(|*) w układzie równań logicznych na przykładzie.
I.
Jutro pójdziemy do kina i do teatru
Y = K*T
co matematycznie oznacza:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru
Y=1 <=> K=1 i T=1

… a kiedy pani skłamie (~Y)?
Negujemy równanie wyżej stronami:
~Y=~(K*T) = ~K+~T - negacja plus prawo De Morgana
stąd mamy:
II.
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
~Y=~p+~q
co matematycznie oznacza:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
~Y=1 <=> ~K=1 lub ~K=1

Dokładnie ta sama definicja w tabeli zero-jedynkowej wraz z równaniami alternatywno-koniunkcyjnymi opisującymi tą definicję (mintermy).
Kod:

T1 - tabela 1
              Mintermy                   Mintermy |Co matematycznie oznacza
   K  T Y=K*T           ~K ~T ~Y=~K+~T            |
A: 1  1  =1   Ya= K* T   0  0  =0                 | Ya=1<=> K=1 i  T=1
B: 1  0  =0              0  1  =1       ~Yb= K*~T |~Yb=1<=> K=1 i ~T=1
C: 0  1  =0              1  0  =1       ~Yc=~K* T |~Yc=1<=>~K=1 i  T=1
D: 0  0  =0              1  1  =1       ~Yd=~K*~T |~Yd=1<=>~K=1 i ~T=1
   1  2   3              4  5   6        7   8  9

I.
Sytuacje w których pani dotrzyma słowa (Y=1):
Z tabeli ABC123 odczytujemy:
A.
Y=Ya
Y=K*T
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro:
Y=1<=>K=1 i T=1 - pójdziemy do kina (K=1) i pójdziemy do teatru (T=1

II.
Sytuacje w których pani skłamie (~Yx=1):
Z tabeli ABCD456 odczytujemy:
~Y=~Yb+~Yc+~Yd
~Y= B: K*~T + C: ~K*T + D: ~K*~T
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro:
B: ~Yb=1<=> K=1 i ~T=1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~Yc=1<-=>~K=1 i T=1 - nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
lub
D: ~Yd=1<=>~K=1 i ~T=1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

Wedle ziemskich matematyków znaczek AND(*) to kompletna tabela zero-jedynkowa ABCD123, natomiast znaczek OR(+) to kompletna tabela zero-jedynkowa ABCD456.

Sokoro tak, to wolno nam dowolne równanie z tabeli ABC123456 rozwijać względem operatora AND(*) w nieskończoność. Dostaniemy oczywiście rekurencję nieskończoną, czyli gówno-matematykę.

[link widoczny dla zalogowanych]
Cytat:

Rekurencja
Słowo rekurencja (również rekursja) wywodzi się z języka łacińskiego - recurrere = biec z powrotem. W algorytmice mówimy, że dany algorytm jest rekurencyjny, jeśli do rozwiązania pewnego problemu wykorzystuje on sam siebie. W programowaniu dana funkcja jest rekurencyjna, jeśli wywołuje samą siebie. Kolejne wywołania takiej funkcji nazywamy rekurencyjnym ciągiem wywołań. Ciąg ten nie może być nieskończony - każde wywołanie funkcji powoduje umieszczenie w pamięci komputera adresu powrotu, czyli miejsca w programie, do którego wraca procesor, gdy zakończy wykonywać kod funkcji. Ponieważ pamięć jest skończona, to nie można w niej umieścić nieskończenie wiele adresów powrotnych. Dlatego w rekurencji bardzo ważne jest określenie warunku, który kończy rekurencję - np. funkcja przestaje już dalej wywoływać samą siebie.

Cytat wyżej to uproszczenie, nie chodzi tu bowiem tyko o adres powrotu - ale dla celów dydaktycznych może być.

Zróbmy pierwsze iterowanie dla funkcji B: ~Yb=p*~q (B789) rozwijając ją względem operatora AND(*).
B: ~Yb=K*~T
Zastosujmy ziemską definicję operatora AND(*) opisując ją także równaniami alternatywno-koniunkcyjnymi (mintermy).
Kod:

T2 - tabela 2
                   Mintermy                 Mintermy  |Co matematycznie
    K ~T  ~Yb=K*~T           ~K  T  Yb=~K+T           |oznacza
AA: 1  1  =1      ~Yba= K*~T  0  0  =0                |~Yba=1<=> K=1 i ~T=1
BB: 1  0  =0                  0  1  =1      Ybb= K* T | Ybb=1<=> K=1 i  T=1
CC: 0  1  =0                  1  0  =1      Ybc=~K*~T | Ybc=1<=>~K=1 i ~T=1
DD: 0  0  =0                  1  1  =1      Ybd=~K* T | Ydb=1<=>~K=1 i  T=1
    1  2   3                  4  5   6      7    8  9

Zauważmy, że już przy pierwszym iterowaniu mamy dwie sprzeczności czysto matematyczne.
1.
W tabeli T1 mamy:
Pani skłamie (~Yd=1) gdy jutro:
D: ~Yd=1<=> ~K=1 i ~T=1 - nie pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
Prawo Prosiaczka:
(~Yd=1) = (Yd=0)
stąd zapis tożsamy:
Yd=0 <=> ~K=1 i ~T=1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

Natomiast w tabeli T2 po pierwszym iterowaniu mamy:
CC: Ybc=~K*~T
co matematycznie oznacza:
Ybc=1 <=> ~K=1 i ~T=1
Pani dotrzyma słowa (Ybc=1) gdy jutro:
CC: Ybc=1 <=> ~K=1 i ~T=1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

Zatem:
Ta sama sytuacja:
~K=1 i ~T=1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Oznacza wedle tabeli T1 iż pani skłamie:
Yd=0 <=> ~K=1 i ~T=1
natomiast wedle tabeli T2 oznacza że pani dotrzyma słowa:
Ybc=1 <=> ~K=1 i ~T=1

2.
Identyczną sprzeczność czysto matematyczną mamy w liniach:
T1: C: ~Yc=~K*T =1 - w sytuacji ~K=1 i T=1 pani skłamie (~Yc=1)
T2: DD: Ybd=~K*T =1 - w pierwszym iterowaniu w identycznej sytuacji ~K=1 i T=1 pani dotrzyma słowa (Ybd=1)

Podsumowując:
Sprzeczność czysto matematyczna w logice ziemian, nie odróżniającej operatora AND(|*) od spójnika logicznego „i”(*) została UDOWODNIONA!

Nie jest możliwe, aby dobry matematyk, rozumiejący równania logiczne w mintermach (alternatywno-koniunkcyjne) i makstermach (koniunkcyjno-alternatywne) opisujących dowolną tabelę zero-jedynkową nie zrozumiał zaprezentowanego tu dowodu wewnętrznej sprzeczności logiki matematycznej Ziemian.

Zauważmy, że w algebrze Kubusia nie ma opisanej tu wewnętrznej sprzeczności, bowiem definicja spójnika „i”(*) jest tu taka:
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

Definicja spójnika „i”(*) w AK w tabeli zero-jedynkowej:
Kod:

   p  q  Y=p*q
A: 1  1  =1

Koniec definicji spójnika „i”(*) w algebrze Kubusia!

Oczywistym jest, że w tym momencie w AK nie ma mowy o jakiejkolwiek rekurencji, zatem nie ma mowy o wewnętrznej sprzeczności w algebrze Kubusia.
Dokładniejsze wyjaśnienie - patrz wyróżnione na niebiesko fragmenty tego postu.

Ostatnio zmieniony przez rafal3006 dnia Pon 10:44, 12 Wrz 2016, w całości zmieniany 30 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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Nie 14:38, 11 Wrz 2016    Temat postu:
http://www.sfinia.fora.pl/blog-hushek,67/koncik-naukowo-techniczny-ale-ino-la-tfardzieli,7722-1750.html#291433

zbigniewmiller napisał:
jestem wstrząśnięty KUBUSIA PRACOWITOSCIA I MARZĘ, ABY KUBUŚ WYDAŁ SWOJE ZRZUTY EKRANOWE W POSTACI KSIĄŻKI

Gdybyś był pewien, że logika matematyczna Ziemian to jedno wielkie gówno.
Na dodatek gdybyś był pewien, iż znasz poprawną logikę matematyczną ... to jakie miałbyś wyjście?

Po prostu nie mogłem odpuścić, razem z Fiklitem posłaliśmy to gówno (logikę ziemian) do piekła.

Oczywistym jest, że warunkiem koniecznym zauważenia algebry Kubusia przez ziemskich matematyków jest obalenie ich własnej logiki "matematycznej", ich własnymi środkami, które rozumieją, co właśnie się stało.

Pewne jest, że dobrzy matematycy nie będą kwestionowali dowodu wewnętrznej sprzeczności aktualnej logiki „matematycznej” Ziemian wyżej zaprezentowanego - pozostali mogą sobie myśleć co im się podoba, mi to wisi.

Ostatnio zmieniony przez rafal3006 dnia Nie 14:38, 11 Wrz 2016, 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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Nie 15:15, 11 Wrz 2016    Temat postu:
http://www.sfinia.fora.pl/blog-hushek,67/koncik-naukowo-techniczny-ale-ino-la-tfardzieli,7722-1750.html#291449

Komandor napisał:

Zrozumiesz logikę i to, że to nie jest język naturalny i kieruje się innymi zasadami.

Jakimi zasadami może kierować się język naturalny jak nie matematycznymi!

Gdyby język człowieka nie podlegał pod żadną matematykę to by oznaczało że:
Język człowieka = chaos
bez żadnych praw MATEMATYCZNYCH!
Oczywistym jest, że wyłącznie DEBIL może w to wierzyć :fight:

Skoro zatem język człowieka MUSI podlegać pod matematykę, to jest możliwe znalezienie tej matematyki ... i właśnie to się stało Komandorze.
Pewne jest, że znajdą się na świecie matematycy bez problemu rozumiejący dowód wyżej, iż ich aktualna logika matematyczna jest wewnętrznie sprzeczna.
Jak myślisz, co się wtedy stanie?

Ostatnio zmieniony przez rafal3006 dnia Nie 15:21, 11 Wrz 2016, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Pon 16:21, 12 Wrz 2016    Temat postu:
Cytat:
Pani dotrzyma słowa (Ybc=1) gdy jutro:

Dlaczego tak uważasz?
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Pon 18:06, 12 Wrz 2016    Temat postu:
Dowód wewnętrznej sprzeczności logiki matematycznej Ziemian w zapisach ogólnych!

fiklit napisał:

Cytat:
Pani dotrzyma słowa (Ybc=1) gdy jutro:

Dlaczego tak uważasz?

Użyłem przykładu bo całą otaczającą rzeczywistość najlepiej tłumaczy się na przykładach.
Matematyka tego nie wymaga, można udowodnić wewnętrzną sprzeczność logiki matematycznej ziemian na poziomie czysto matematycznym.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1650.html#291421
Rafal3006 napisał:

Zobaczmy to w tabelach zero-jedynkowych przechodząc na zapisy ogólne:
p=K
q=T
Kod:

Definicja operatora AND(|*) w równaniach logicznych:
              Mintermy                Mintermy  |Co matematycznie oznacza
   p  q Y=p*q          ~p ~q ~Y=~p+~q           |
A: 1  1  =1   Ya=p*q    0  0  =0                | Ya=1<=> p=1 i  q=1
B: 1  0  =0             0  1  =1      ~Yb= p*~q |~Yb=1<=> p=1 i ~q=1
C: 0  1  =0             1  0  =1      ~Yc=~p* q |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0             1  1  =1      ~Yd=~p*~q |~Yd=1<=>~p=1 i ~q=1
   1  2   3             4  5   6

Zauważmy, że tabela ABCD123 to co innego niż tabela ABCD456.
I.
Równanie alternatywno-koniunkcyjne (mintermy) opisujące tabelę ABCD123:
Y=Ya
Y=p*q
co matematycznie oznacza:
Y=1<=>p=1 i q=1
II.
Równanie alternatywno-koniunkcyjne (mintermy) opisujące tabelę ABCD456:
~Y = ~Yb+~Yc+~Yd
~Y = B: p*~q + C: ~p*q +D: ~p*~q
Minimalizujemy:
~Y = p*~q + ~p*q + ~p*~q
~Y= p*~q + ~p(q+~q)
~Y = ~p + (p*~q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników
Y = p*(~p+q)
Y = p*~p+p*q
Y = p*q
Powrót do logiki ujemnej:
~Y=~p+~q
Matematycznie zachodzi zatem:
~Y = ~p+~q = p*~q + ~p*q + ~p*~q

Z cytatu widzimy, że definicja znaczka z nagłówka kolumny wynikowej, zarówno ABCD123 jak i ABCD456 opisuje wyłącznie wynikowe jedynki w tej tabeli.

W algebrze Kubusia ta właściwość jest znana od dawna w postaci prawa Sowy.

Prawo Sowy:
W dowolnej tabeli zero-jedynkowej wyrażonej spójnikami „lub”(+) i „i”(*) wynikowy nagłówek tej tabeli opisuje wyłącznie wynikowe jedynki.

Domyślnie mówimy tu o równaniach alternatywno-koniunkcyjnych (mintermach) w 100% zgodnych z naturalną logiką człowieka.
Znaczące dokładnie to samo równanie koniunkcyjno-alternatywne (makstermy) nie jest zgodne z naturalną logiką człowieka tzn. już przy dwóch zerach wynikowych w tabeli zero-jedynkowej żaden człowiek nie zrozumie równania koniunkcyjno-alternatywnego (to temat na oddzielny artykulik).

Nie oznacza to jednak, że równania koniunkcyjno-alternatywne są bezużyteczne w logice matematycznej.

Weźmy naszą tabelę z cytatu:
Kod:

Definicja operatora AND(|*) w równaniach logicznych:
              Mintermy                Mintermy  |Co matematycznie oznacza
   p  q Y=p*q          ~p ~q ~Y=~p+~q           |
A: 1  1  =1   Ya=p*q    0  0  =0      ~Ma=~p+~q | Ya=1<=> p=1 i  q=1
B: 1  0  =0             0  1  =1      ~Yb= p*~q |~Yb=1<=> p=1 i ~q=1
C: 0  1  =0             1  0  =1      ~Yc=~p* q |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0             1  1  =1      ~Yd=~p*~q |~Yd=1<=>~p=1 i ~q=1
   1  2   3             4  5   6

Zauważmy, że w cytacie męczyliśmy się z minimalizację funkcji:
~Y=~Yb+~Yc+~Yd
Tymczasem linia A456 wyrażona makstermami (sprowadzanie zmiennych do zer) daje nam funkcję minimalną w sposób natychmiastowy bo matematycznie zachodzi:
~Ma=~Ya=~Y=~p+~q - bo w tabeli ABCD456 jest tylko jedna linia z zerami.

Wniosek:
Jeśli w dużej tabeli zero-jedynkowej mamy mniej wynikowych zer niż jedynek, to korzystniej jest ułożyć równania cząstkowe w makstermach dla wynikowych zer, po czym wymnożyć wielomiany.
W naszej tabeli ABCD456 wyżej mamy przypadek szczególny z jedynym wynikowym zerem, gdzie nie dostajemy żadnego wielomianu do wymnożenia, zatem nic a nic nie musimy tu robić.
Od razu dostajemy funkcję minimalną dla tabeli ABCD456:
~Ma=~Ya=~Y = ~p+~q

Wracając do tematu wewnętrznej sprzeczności w logice matematycznej Ziemian.
Ziemianie błędnie uważają, że znaczek (*) w tabeli zero-jedynkowej ABCD123 zdefiniowany jest kompletną tabelą zero-jedynkową ABCD123.

Dowód błędności:

Załóżmy, że tak jest w istocie.
Wróćmy do tabeli z cytatu:
Kod:

Tabela 1
Definicja operatora AND(|*) w równaniach logicznych:
              Mintermy                Mintermy  |Co matematycznie oznacza
   p  q Y=p*q          ~p ~q ~Y=~p+~q           |
A: 1  1  =1   Ya=p*q    0  0  =0                | Ya=1<=> p=1 i  q=1
B: 1  0  =0             0  1  =1      ~Yb= p*~q |~Yb=1<=> p=1 i ~q=1
C: 0  1  =0             1  0  =1      ~Yc=~p* q |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0             1  1  =1      ~Yd=~p*~q |~Yd=1<=>~p=1 i ~q=1
   1  2   3             4  5   6

Tabela ABCD123456 jest doskonale zrozumiała przez dobrych Ziemskich matematyków, choćby przez prof. Newelskiego który równanie dla przypadkowej tabeli zero-jedynkowej tworzy, opisując wyłącznie wynikowe jedynki.
Dowód:
Uwaga 2.7 w tym linku:
[link widoczny dla zalogowanych]

W algebrze Kubusia kompletna tabela zero-jedynkowa ABCD123 to definicja operatora AND(|*) gdzie na mocy prawa Sowy nagłówek tabeli Y=p*q opisuje wyłącznie wynikowe jedynki w tej tabeli.

Wniosek:
Definicja znaczka (*) jest taka:
Y=Ya
Y = p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Doskonale to widać w definicji operatora AND(|*), czyli znaczek (*) zdefiniowany jest wyłącznie w linii A123 operatora AND(|*).
Wniosek:
AND(|*) = kompletna tabela ABCD123 ## (*) = wyłącznie linia A123
gdzie:
## - różne na mocy definicji

Zauważmy, że przy tej definicji znaczka (*) nie mamy żadnych szans na jakąkolwiek rekurencję w naszej tabeli ABCD123456 tzn.

Nie możemy przykładowego równania:
~Yb=p*~q
rozwijać rekurencyjnie względem znaczka (*) bo definicja znaczka (*) jest taka:
Y = p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

Definicja znaczka (*) w tabeli zero-jedynkowej:
Kod:

   p  q  Y=p*q |Co matematycznie oznacza
A: 1  1  =1    |Y=1<=> p=1 i q=1

Koniec zero-jedynkowej definicji znaczka (*)!

Logika Ziemian popełnia błąd FUNDAMENTALNY sądząc, iż definicja znaczka (*) to kompletna tabela zero-jedynkowa, czyli taka:
Kod:

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

Przy tej definicji dowolne równanie z tabeli 1 możemy rekurencyjnie rozwijać przy pomocy tejże samej definicji w nieskończoność.
Oczywistym jest, że dostaniemy gówno-matematykę, rekurencję nieskończoną.
Ta rekurencja załamuje się już na pierwszym iterowaniu prowadząc do czysto matematycznej sprzeczności co pokazałem na przykładzie Y=K*T w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1650.html#291421

Oczywistym jest że to samo można zrobić w czystej matematyce bez żadnego przykładu.

Jedziemy!

Z tabeli 1 wybieram równanie:
~Yd=~p*~q

Rozwijam to równanie zgodnie z Ziemską definicją znaczka (*):
Kod:

Tabela 2
                  Mintermy                Mintermy  |Co matematycznie
                                                    |oznacza
   ~p ~q ~Yd=~p*~q           p  q  Yd=p+q           |
AA: 1  1  =1     ~Yda=~p*~q  0  0  =0               |~Yda=1<=>~p=1 i ~q=1
BB: 1  0  =0                 0  1  =1     Ydb=~p* q | Ydb=1<=>~p=1 i  q=1
CC: 0  1  =0                 1  0  =1     Ydc= p*~q | Ydc=1<=> p=1 i ~q=1
DD: 0  0  =0                 1  1  =1     Ydd= p* q | Ydd=1<=> p=1 i  q=1
    1  2   3                 4  5   6

Porównajmy teraz tabele 1 i 2.

Na wejściu tabeli 1 ustawiam sygnały:
p=1 i ~q=1
Odczytuję na wyjściu:
B: ~Yb=1
Prawo Prosiaczka:
(~p=1) = (p=0)
Stąd dokładnie to samo wyjście B w logice dodatniej (bo Yb):
B: Yb=0

Na wejściu tabeli 2 ustawiam identyczne sygnały wejściowe:
p=1 i ~q=1
Odczytuję na wyjściu:
CC: Ydc=1

Zauważmy, że już przy pierwszym iterowaniu względem Ziemskiej definicji znaczka (*) otrzymaliśmy sprzeczność czysto matematyczną (to pogrubione), co jest dowodem wewnętrznej sprzeczności logiki matematycznej Ziemian.
To jest dowód czysto matematyczny iż Ziemianie nie rozumieją definicji operatora AND(|*)!

Wszystkich pozostałych operatorów (co do sztuki) również ni w ząb nie rozumieją!

Stąd powychodziły im gówna w stylu:
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa
2+2=4 wtedy i tylko wtedy gdy Płock leży nad Wisłą

U niektórych ziemskich matematyków nieśmiało przebija się głos rozsądku (protestu), czego dowód w tym artykule:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1600.html#288325

Ostatnio zmieniony przez rafal3006 dnia Wto 1:23, 13 Wrz 2016, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Wto 9:31, 13 Wrz 2016    Temat postu:
Cytat:
Zauważmy, że już przy pierwszym iterowaniu względem Ziemskiej definicji znaczka (*) otrzymaliśmy sprzeczność czysto matematyczną (to pogrubione), co jest dowodem wewnętrznej sprzeczności logiki matematycznej Ziemian.

Ale skąd oczekiwanie że Yb będzie się zachowywało tak samo jak Ydc?
W całym tym wywodzie robisz dużo opracji typowych dla siebie, które od dawna budzą moje zdziwienie, o czym zresztą nieraz ci pisałem.

Yb i Ydc to są dwa różne mintermy, nie mają jednocześnie wartości 1 więc wszystko jest ok. Może jeszcze sobie doczytasz?
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Pią 2:33, 16 Wrz 2016    Temat postu:
Poprawny dowód wewnętrznej sprzeczności logiki matematycznej Ziemian!
fiklit napisał:
Cytat:
Zauważmy, że już przy pierwszym iterowaniu względem Ziemskiej definicji znaczka (*) otrzymaliśmy sprzeczność czysto matematyczną (to pogrubione), co jest dowodem wewnętrznej sprzeczności logiki matematycznej Ziemian.

Ale skąd oczekiwanie że Yb będzie się zachowywało tak samo jak Ydc?
W całym tym wywodzie robisz dużo operacji typowych dla siebie, które od dawna budzą moje zdziwienie, o czym zresztą nieraz ci pisałem.

Yb i Ydc to są dwa różne mintermy, nie mają jednocześnie wartości 1 więc wszystko jest ok. Może jeszcze sobie doczytasz?

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1650.html#291563
rafal3006 napisał:

Na wejściu tabeli 1 ustawiam sygnały:
p=1 i ~q=1
Odczytuję na wyjściu:
B: ~Yb=1
Prawo Prosiaczka:
(~p=1) = (p=0)
Stąd dokładnie to samo wyjście B w logice dodatniej (bo Yb):
B: Yb=0

Na wejściu tabeli 2 ustawiam identyczne sygnały wejściowe:
p=1 i ~q=1
Odczytuję na wyjściu:
CC: Ydc=1

Zauważmy, że już przy pierwszym iterowaniu względem Ziemskiej definicji znaczka (*) otrzymaliśmy sprzeczność czysto matematyczną (to pogrubione), co jest dowodem wewnętrznej sprzeczności logiki matematycznej Ziemian.
To jest dowód czysto matematyczny iż Ziemianie nie rozumieją definicji operatora AND(|*)!

Doszedłem do faktu iż Yb=0 nie ma nic wspólnego z Ydc=1 przed zobaczeniem twojego postu (możesz mi wierzyć).
„Udowodnienie” błędności logiki matematycznej Ziemian to mała gafa Kubusia, ale ze szczęśliwym happy endem …. czyli ponownym udowodnieniem wewnętrznej sprzeczności logiki matematycznej Ziemian.
Poprzedni dowód to była marchewka - teraz będzie kij.

Zacznijmy od wytłumaczenia o co chodzi w definicji symbolicznej operatora AND(|*)
Kod:

Tabela 1
Definicja operatora AND(|*) w równaniach logicznych:
              Mintermy                Mintermy  |Co matematycznie oznacza
   p  q Y=p*q          ~p ~q ~Y=~p+~q           |
A: 1  1  =1   Ya=p*q    0  0  =0                | Ya=1<=> p=1 i  q=1
B: 1  0  =0             0  1  =1      ~Yb= p*~q |~Yb=1<=> p=1 i ~q=1
C: 0  1  =0             1  0  =1      ~Yc=~p* q |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0             1  1  =1      ~Yd=~p*~q |~Yd=1<=>~p=1 i ~q=1
   1  2   3             4  5   6

Jak widzimy, definicja znaczka z nagłówka kolumny wynikowej, zarówno ABCD123 (*) jak i ABCD456 (+) opisuje wyłącznie wynikowe jedynki w tej tabeli i jest zgodna z naturalną logiką matematyczną człowieka.
W algebrze Kubusia ta właściwość jest znana od dawna w postaci prawa Sowy.

Prawo Sowy:
W dowolnej tabeli zero-jedynkowej wyrażonej spójnikami „lub”(+) i „i”(*) wynikowy nagłówek tej tabeli opisuje wyłącznie wynikowe jedynki.

Stąd otrzymujemy:
Kod:

Tabela 2
Definicja symboliczna operatora AND(|*) w równaniach logicznych:
Definicja         |Definicja         |Co matematycznie oznacza
zero-jedynkowa    |Symboliczna       |
operatora AND(|*) |operatora AND(|*) |
   p  q Y=p*q     |                  |
A: 1  1  =1       | Ya= p* q         | Ya=1<=> p=1 i  q=1
B: 1  0  =0       |~Yb= p*~q         |~Yb=1<=> p=1 i ~q=1
C: 0  1  =0       |~Yc=~p* q         |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0       |~Yd=~p*~q         |~Yd=1<=>~p=1 i ~q=1
   1  2   3         4   5  6           7       8      9

W tabeli symbolicznej ABCD456 mamy do czynienia ze zmiennymi binarnymi (Y, p i q) których wartości logicznej nie znamy.
W logice symbolicznej wszystkie zmienne binarne, których wartości nie znamy, sprowadzone są do logicznych jedynek na mocy prawa Prosiaczka:
(p=0) = (~p=1)
Pokazuje to tabela ABCD789.

Zapiszmy gołą definicję symboliczną operatora AND(|*) bez żadnego wartościowania:
Kod:

Tabela 3
Definicja symboliczna operatora AND(|*) w równaniach logicznych:
Definicja         |Co matematycznie oznacza
Symboliczna       |
operatora AND(|*) |
 Ya= p* q         | Ya=1<=> p=1 i  q=1
~Yb= p*~q         |~Yb=1<=> p=1 i ~q=1
~Yc=~p* q         |~Yc=1<=>~p=1 i  q=1
~Yd=~p*~q         |~Yd=1<=>~p=1 i ~q=1
 4   5  6           7       8      9

Definicję symboliczną operatora AND(|*) doskonale znają i posługują się nią w praktyce absolutnie wszyscy ludzie na Ziemi, od 5-cio latka poczynając na prof. matematyki kończąc … ten ostatni po prostu, póki co, o tym nie wiem.

Z powyższego mamy:
Symboliczna definicja operatora AND(|*) to układ równań logicznych:
I.
Y=Ya
Y= A: p*q
co matematycznie oznacza:
Y=1 <=> A: p=1 i q=1
II.
~Y=~Yb+~Yc+~Yd
~Y=B: p*~q+ C: ~p*q+ D: ~p*~q
co matematycznie oznacza:
~Y=1 <=> B: (p=1 i ~q=1) lub C: (~p=1 i q=1) lub D: (~p=1 i ~q=1)

Minimalizujemy równanie II.
~Y=p*~q + ~p*q + ~p*~q
~Y = p*~q + ~p*(q+~q)
~Y = ~p+(p*~q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników
Y = p*(~p+q)
Y = p*~p+p*q
Y = p*q
Powrót do logiki ujemnej:
~Y=~p+~q
Stąd równanie logiczne tożsame do II.
IIA.
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> p=1 lub ~q=1

Matematyczne związki między funkcją logiczną w logice dodatniej (bo Y) i ujemnej (bo ~Y) to prawa De Morgana.
Y=~(~Y)
Y=p*q = ~(~p+~q)
~Y = ~(Y)
~Y = ~p+~q = ~(p*q)

W naturalnym języku mówionym człowiek może wypowiadać zdania I oraz II=IIA wchodzące w skład operatora AND(|*).

Lekcja logiki matematycznej z dedykacją dla profesorów matematyki, w wykonaniu 5-cio latków!

Pani w przedszkolu:
A.
Jutro pójdziemy do kina i do teatru
Y=A: K*T
co matematycznie oznacza:
Y=1 <=> A: K=1 i T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie?
IIA.
Przejście ze zdaniem A do logiki ujemnej poprzez negację zmiennych i wymianę spójników
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1
Czytamy:
Prawdą jest (=1), że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)

Gdzie:
Y=1 - prawdą jest (=1) że pani dotrzyma słowa (Y)
~Y=1 - prawdą jest (=1), że pani skłamie (~Y) = nie dotrzyma słowa (~Y)

Funkcja logiczna tożsama do IIA to II.
II.
~Y=~Yb+~Yc+~Yd
~Y= B: p*~q+ C: ~p*q+ D: ~p*~q
co matematycznie oznacza:
~Y=1 <=> (p=1 i ~q=1) lub (~p=1 i q=1) lub (~p=1 i ~q=1)
Nasz przykład:
~Y=B: K*~T + C: ~K*T + D: ~K*~T
co matematycznie oznacza:
~Y=1 <=> B: K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: ~K=1 i ~T=1

Stąd mamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro:
B: ~Yb= K*~T = 1*1 =1 - pójdźmy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~Yc= ~K*T = 1*1 =1 - nie pójdziemy do kina (~K=1 i pójdziemy do teatru (T=1)
lub
D: ~Yd= ~K*~T = 1*1 =1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

Doskonale widać, że logika matematyczna 5-cio latków jest w 100% zgodna z równaniami algebry Boole’a!
Jeśli którykolwiek z prof. matematyki udowodni, że tak nie jest to natychmiast kasuję algebrę Kubusia.

Na mocy naszego przykładu opisujemy właściwości mintermów:
1.
W dowolnej tabeli zero-jedynkowe opisanej mintermami dowolny z mintermów jest rozłączny z dowolnym innym mintermem.
2.
Suma logiczna wszystkich możliwych minermów dla dowolnej tabeli zero-jedynkowej jest zdaniem zawsze prawdziwym, czyli najzwyklejszym … matematycznym śmieciem!

Dowód 1 i 2 na naszym przykładzie:
Kod:

Mintermy dla      |Co matematycznie
operatora AND(|*) |oznacza
A: Ya= K* T =1    | Ya=1<=> K=1 i  T=1
B:~Yb= K*~T =1    |~Yb=1<=> K=1 i  T=1
C:~Yc=~K* T =1    |~Yc=1<=>~K=1 i ~T=1
D:~Yd=~K*~T =1    |~Yd=1<=>~K=1 i ~T=1

Oczywistym jest że jutro może zajść wyłącznie jedna, opisana mintermami sytuacja A albo B albo C albo D.
Wynika z tego, że zdarzenia A,B,C i D są rozłączne czyli nie jest możliwe aby jutro którekolwiek z tych zdarzeń mogło zajść równocześnie z jakimkolwiek innym zdarzeniem opisanym powyższą definicją symboliczną operatora AND(|*).

Sprawdzamy sumę logiczną wszystkich możliwych mintermów dla naszej tabeli symbolicznej przechodząc na zapisy ogólne.
Y= p*q + p*~q + ~p*q + ~p*~q
Minimalizujemy:
Y = p*(q+~q) + ~p(q+~q)
Y = p+~p =1
cnd

Oczywistym jest że twierdzenie iż jutro może zajść którakolwiek z sytuacji A,B,C lub D jest zdaniem zawsze prawdziwym czyli matematycznie … to jest śmieć absolutny i totalny!
Dokładnie tyle warte jest zdanie zawsze prawdziwe, alfa i omega (wyrocznia praw logicznych) ziemskich matematyków.

Prostszy przykład:
Jutro pójdziemy do kina lub nie pójdziemy do kina
Y=K+~K =1
To jest zdanie zawsze prawdziwe = matematyczny śmieć!

Wracając do Kubusiowego „dowodu” wewnętrznej sprzeczności logiki matematycznej Ziemian.

Mamy naszą tabelę symboliczną operatora AND(|*):
Kod:

Tabela 3
Definicja symboliczna operatora AND(|*) w równaniach logicznych:
Definicja           |Co matematycznie oznacza
Symboliczna         |
operatora AND(|*)   |
A: Ya= p* q         | Ya=1<=> p=1 i  q=1
B:~Yb= p*~q         |~Yb=1<=> p=1 i ~q=1
C:~Yc=~p* q         |~Yc=1<=>~p=1 i  q=1
D:~Yd=~p*~q         |~Yd=1<=>~p=1 i ~q=1
 4   5  6             7       8      9

Y=Ya
~Y=~Ya+~Yb+~Yc
Funkcje logiczne A, B, C i D są ze sobą w matematycznych związkach:
Y= ~(~Y)
~Y=~(Y)
Funkcje cząstkowe ~Yb, ~Yc i ~Yd wchodzą w skład funkcji ~Y, ale nie wchodzą w skład funkcji Y.

Oczywistym jest że dowolną z funkcji cząstkowych A,B,C lub D możemy rekurencyjnie rozwijać w nieskończoność korzystając z definicji symbolicznej operatora AND(|*).

Zauważmy, że w rozwinięciu rekurencyjnym funkcji A dostaniemy symboliczną definicję operatora AND(|*) zatem nie jest możliwa rekurencja nieskończona funkcji A: Y=p*q.

Rekurencja nieskończona może dotyczyć wyłącznie funkcji różnych od A.

Przykładowo:
Rozwińmy rekurencyjnie funkcję logiczną B: ~Yb=p*~q

Tworzymy symboliczną definicję operatora AND(|*) dla tego przypadku:
Kod:

Tabela 4
Rozwinięcie rekurencyjne dla funkcji cząstkowej B:~Yb=p*~q
przy wykorzystaniu symbolicznej definicji operatora AND(|*)
Definicja           |Co matematycznie oznacza
Symboliczna         |
operatora AND(|*)   |
BA: Yba= p* q       | Ya=1<=> p=1 i  q=1
BB:~Ybb= p*~q       |~Yb=1<=> p=1 i ~q=1
BC: Ybc=~p* q       |~Yc=1<=>~p=1 i  q=1
BD: Ybd=~p*~q       |~Yd=1<=>~p=1 i ~q=1
 4   5  6             7       8      9

W tym przypadku nie są możliwe dalsze rozwinięcia rekurencyjne funkcji BB: ~Ybb=p*~q
… ale pozostałe funkcje BA, BC i BD możemy dalej rozwijać rekurencyjnie w nieskończoność.

Wniosek:
W pierwszym rozwinięciu rekurencyjnym względem ~Yb=p*~q zachodzą matematyczne tożsamości:
1. Ya = Yba = p*q
2. ~Yb=~Ybb = p*~q
Nie zachodzą natomiast dalsze tożsamości mimo identycznych mintermów!
3. ~Yc=~p*q ## Ybc=~p*q
4. ~Yd=~p*~q ## Ybd=~p*~q
gdzie:
## - różne na mocy definicji

Podsumowanie:
Logika matematyczna Ziemian nie wiążąca minetrmów z wyjściem funkcji logicznej Yx jest wewnętrznie sprzeczna bowiem w takiej logice zachodzi.
3. ~p*q = ~p*q
4. ~p*~q = ~p*~q

cnd

Ostatnio zmieniony przez rafal3006 dnia Pią 6:43, 16 Wrz 2016, w całości zmieniany 12 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Pią 11:09, 16 Wrz 2016    Temat postu:
Cytat:
Nie zachodzą natomiast dalsze tożsamości mimo identycznych mintermów!
3. ~Yc=~p*q ## Ybc=~p*q
4. ~Yd=~p*~q ## Ybd=~p*~q

Ja jednak wolę wyniki z normalnej matematyki.
Dwie rzeczy równe, ale jednak nierówne jakoś mnie odrzucają.
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Sob 8:32, 17 Wrz 2016    Temat postu:
Dowód wewnętrznej sprzeczności logiki matematycznej na przykładzie!
… z zaskakującym finałem (koniec postu).

W klasie IA szkoły podstawowej na pierwszej lekcji o godz. 8:00 nauczycielka mówi:
A1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1

Udający głupka Jaś zapytuje:
Co to znaczy proszę pani?

Pani A:
To znaczy że:
A1.
Prawdą jest (=1) że dotrzymam słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T-=1)
Y=K+T
co matematycznie oznacza:
Y=1 <=> T=1 lub K=1

Jaś kontynuuje, udając że nie zna logiki matematycznej w której jest ekspertem!
… a kiedy pani skłamie?

Tu mózg pani A wykonuje prostą operację matematyczną, poza jej świadomością … bo na studiach (o zgrozo) jej tego nie uczyli!
Przechodzę ze zdaniem A1 do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne.

BCD1.
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Stąd pani A odpowiada:
BCD1.
Prawdą jest (=1) że skłamię (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
Innymi słowy:
Wystarczy że nie pójdziemy w dowolne miejsce i już skłamię.

Gdzie:
Y=1 - dotrzymam słowa (Y) = prawdą jest (=1) że dotrzymam słowa (Y)
~Y-=1 - skłamię (~Y= nie dotrzymam słowa) = prawdą jest (=1), że skłamię (~Y)

Na pierwszej przerwie Jaś chwali się do koleżanki Zuzi z klasy równoległej IB.
Zuzia, my jutro pójdziemy do kina lub do teatru, a wy?
Zuzia:
Nie wiem, nasza pani nic na ten temat nie mówiła.

Zaczyna się druga lekcja o godz. 9:00 w tym samym dniu.

Zuzia z klasy IB do swojej pani.
Proszę pani, klasa IA idzie jutro do kina lub do teatru, a my?

Pani B:
A2.
My jutro nie pójdziemy ani do kina, ani do teatru
Y=~K*~T
Innymi słowy:
My jutro nie pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co matematycznie oznacza:
Y=1 <=> ~K=1 i ~T=1

Tym razem, Zuzia, również ekspertka logiki matematycznej, rżnie głupa udając że nie wie o co chodzi.
Co to znaczy proszę pani?

Pani B:
To znaczy że …
A2.
Prawdą jest (=1) że dotrzymam słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co matematycznie oznacza:
Y=1 <=> ~K=1 i ~T=1

Zuzia kontynuuje udając że nie rozumie:
… a kiedy Pni skłamie?

Pani B również (o zgrozo) nie wyniosła z ziemskiej szkółki elementarza logiki matematycznej.
Mózg pani B wykonuje trywialną operację matematyczną przejścia z równaniem A2 do logiki ujemnej (bo ~Y).
BCD2.
~Y=K+T
co matematycznie oznacza:
~Y=1 <=> K=1 lub T=1

Stąd pani B odpowiada:
BCD2.
Prawdą jest (=1) że skłamię (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~Y=K+T
co matematycznie oznacza:
~Y=1 <=> K=1 lub T=1

Gdzie:
Y=1 - dotrzymam słowa (Y) = prawdą jest (=1) że dotrzymam słowa (Y)
~Y-=1 - skłamię (~Y= nie dotrzymam słowa) = prawdą jest (=1), że skłamię (~Y)

Weźmy kluczowe dla sprawy zdania wypowiedziane przez panie A i B:

Klasa IB:
Pani B:
A2.
Prawdą jest (=1) że dotrzymam słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co matematycznie oznacza:
Y=1 <=> ~K=1 i ~T=1

Klasa IA:
Pani A:
BCD1.
Prawdą jest (=1) że skłamię (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Ogólna definicja zmiennej binarnej:
Zmienna binarna to symbol którego wartości logicznej nie znamy

W naszym przykładzie symbole:
Y, ~Y, K, T, ~K, ~T
spełniają definicję zmiennej binarnej.

Zakres działania zmiennych binarnych:
Zakres działania zmiennych binarnych to odcinek czasu w którym zmienne binarne są aktywne

W naszym przypadku w dniu dzisiejszym zmienne Y, ~Y, K, T, ~K i ~T są zmiennymi nieaktywnymi.
Zmienne te będą aktywne wyłącznie w dniu jutrzejszym.
Pojutrze zmienne binarne Y, ~Y, K, T, ~K i ~T przejdą w stałe binarne o znanej wartości logicznej.

Definicja stałej binarnej:
Stała binarna to symbol, którego wartość logiczna jest nam znana z góry.
Wartość logiczna stałej binarnej nie może być zmieniona.

Dla każdego człowieka, od 5-cio latka do prof. matematyki, jest oczywistym iż zachodzi równanie:

Klasa IB - A2: Y=~K*~T ## Klasa IA - BCD1: ~Y=~K*~T
gdzie:
## - różne na mocy definicji

Jest oczywistym że pojutrze zmienne binarne Y, ~Y, K, ~K, T, ~T z klasy IA mogą przyjąć dowolne wartości logiczne!
Także zmienne binarne Y, ~Y, K, ~K, T, ~T z klasy IB mogą pojutrze przyjąć dowolne wartości logiczne i te wartości nie muszą pokrywać się z analogicznymi zmiennymi z klasy IA!

Stąd zapisujemy:
Klasa IA: Y, ~Y, K, ~K, T, ~T ## Klasa IB: Y, ~Y, K, ~K, T, ~T
gdzie:
## - różne na mocy definicji

fiklit napisał:
Cytat:
Nie zachodzą natomiast dalsze tożsamości mimo identycznych mintermów!
3. ~Yc=~p*q ## Ybc=~p*q
4. ~Yd=~p*~q ## Ybd=~p*~q

Ja jednak wolę wyniki z normalnej matematyki.
Dwie rzeczy równe, ale jednak nierówne jakoś mnie odrzucają.

Weźmy nasz przykład ze szkoły podstawowej.

Zapiszmy kluczowe równanie w mintermach z naszego przykładu:
A2: Y=~K*~T ## BCD1: ~Y=~K*~T
gdzie:
## - różne na mocy definicji

Zauważmy, że w naszym przykładzie zmienne binarne Y, ~Y, K, ~K, T, ~T w obu klasach IA i IB znaczą dokładnie to samo, co więcej, działają w identycznym odcinku czasowym, czyli wyłącznie jutro.

Zauważmy, że logika matematyczna ziemian, wywalająca w kosmos funkcje logiczne Y i ~Y zapisuje wytłuszczone równanie w mintermach tak:
(A2: ~K*~T) = (BCD1: ~K*~T)
Oczywistym jest że ten zapis ziemskich matematyków to fałsz, bo wynika z niego ze zdanie A2: Y=~K*~T będące odpowiedzią na pytanie kiedy pani dotrzyma słowa (Y=1), jest tożsame ze zdaniem BCD1: ~Y=~K*~T będące odpowiedzią na pytanie kiedy pani skłamią (~Y=1).

To jest trywialny dowód wewnętrznej sprzeczności logiki matematycznej ziemian, zrozumiały dla wszystkich ludzi na świecie, od 5-cio latka poczynając na prof. matematyki kończąc.

Podsumowanie:
1.
W poście:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1650.html#291833
udowodniłem wewnętrzną sprzeczność logiki matematycznej ziemian w zapisach ogólnych
2.
W bieżącym poście udowodniłem wewnętrzną sprzeczność logiki matematycznej ziemian na przykładzie.
3.
… ale!
Dowód wewnętrznej sprzeczności ziemskiej logiki matematycznej ziemian jest pozorny bowiem wszelkie zmienne Y, ~Y, K, ~K, T, ~T z klasy IA nie mają nic wspólnego ze zmiennymi Y, ~Y, K, ~K, T, ~T z klasy IB.
Klasa IA: Y, ~Y, K, ~K, T, ~T ## Klasa IB: Y, ~Y, K, ~K, T, ~T
gdzie:
## - różne na mocy definicji
To są dwa rozłączne światy matematyczne, mimo że zmienne te mają identyczne nazwy i znaczenie oraz identyczny zakres działania.
4.
Uogólniając nasz przykład otrzymujemy równanie ogólne dla operatorów AND(|*) i OR(|+)
Kod:

Definicja operatora AND(|*)          ## Definicja operatora OR(|+)
w równaniach algebry Boole’a         ## w równaniach algebry Boole’a
A1.                                  ## A1.
Y=p*q                                ## Y=p+q
co matematycznie oznacza:            ## co matematycznie oznacza:
Y=1<=> p=1 i q=1                     ## Y=1<=> p=1 lub q=1
BCD1.                                ## BCD1.
~Y=~p+~q                             ## ~Y=~p*~q
co matematycznie oznacza:            ## co matematycznie oznacza:
~Y=1<=>~p=1 lub ~q=1                 ## ~Y=1<=>~p=1 i ~q=1
Zmienne binarne w operatorze AND(*): ## Zmienne binarne w operatorze OR(|+)
Y, ~Y, p, ~p, q, ~q                  ## Y, ~Y, p, ~p, q, ~q
Gdzie:
## - różne na mocy definicji

W ten sposób, z wielką pomocą przyjaciół Kubusia, 5-cio latków i uczniów I klasy SP doszliśmy do równania ogólnego dla operatorów AND(|*) i OR(|+) o którym to równaniu Kubuś pisze od co najmniej 7 lat, którego to równania ziemscy matematycy póki co, nie są w stanie pojąć.
Dlaczego nie są w stanie?
… bo mają na mózgu kaganiec jedynie słusznej logiki, ich logiki.

Logika „matematyczna” ziemian:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1600.html#288325
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa
2+2=4 wtedy i tylko wtedy gdy Płock leży nad Wisłą

Jak widzimy, logika „matematyczna” ziemian to pieprzenie kotka za pomocą młotka - nic więcej.

Ostatnio zmieniony przez rafal3006 dnia Sob 9:00, 17 Wrz 2016, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Sob 9:08, 17 Wrz 2016    Temat postu:
Cytat:
2.
W bieżącym poście udowodniłem wewnętrzną sprzeczność logiki matematycznej ziemian na przykładzie.
3.
… ale!
Dowód wewnętrznej sprzeczności ziemskiej logiki matematycznej ziemian jest pozorny bowiem wszelkie zmienne Y, ~Y, K, ~K, T, ~T z klasy IA nie mają nic wspólnego ze zmiennymi Y, ~Y, K, ~K, T, ~T z klasy IB.
Klasa IA: Y, ~Y, K, ~K, T, ~T ## Klasa IB: Y, ~Y, K, ~K, T, ~T

Czyli udowodniłeś, ale nie udowodniłeś.
Funkcje są równe, ale nie są równe.
Tak trzymać, naprzód rewolucjo matematyczna.
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Sob 9:42, 17 Wrz 2016    Temat postu:
fiklit napisał:
Cytat:
2.
W bieżącym poście udowodniłem wewnętrzną sprzeczność logiki matematycznej ziemian na przykładzie.
3.
… ale!
Dowód wewnętrznej sprzeczności ziemskiej logiki matematycznej ziemian jest pozorny bowiem wszelkie zmienne Y, ~Y, K, ~K, T, ~T z klasy IA nie mają nic wspólnego ze zmiennymi Y, ~Y, K, ~K, T, ~T z klasy IB.
Klasa IA: Y, ~Y, K, ~K, T, ~T ## Klasa IB: Y, ~Y, K, ~K, T, ~T

Czyli udowodniłeś, ale nie udowodniłeś.
Funkcje są równe, ale nie są równe.
Tak trzymać, naprzód rewolucjo matematyczna.

Oczywiście że nie udowodniłem wewnętrznej sprzeczności logiki matematycznej ziemian - podsumowanie jest tego dowodem.

Udowodniłem natomiast coś absolutnie kluczowego dla logiki matematycznej.
Logika matematyczna bez znaczka:
## - różne na mocy definicji
nie ma żadnego sensu, bo wtedy mój pozorny dowód stanie się:
I. Dowodem rzeczywistym wewnętrznej sprzeczności logiki matematycznej
ALBO!
II. Dowodem iż panie A i B nie mają pojęcia o jedynie słusznej logice matematycznej ziemskich matematyków - ich logice.

Póki co, matematycy akceptują wyłącznie II co oznacza, iż logika człowieka jest niepojęta, że człowiek nie podlega pod żadną logikę matematyczną … a panie A i B najzwyczajniej w świecie bredzą sobie nie-matematycznie.

Dla zdrowego na umyśle człowieka jest nie do przyjęcia iż logika języka mówionego człowieka nie podlega pod żadną matematykę, bo gdyby tak było to człowiek nie mógłby się porozumieć z drugim człowiekiem
Zauważmy, że nawet zwierzęta wzajemnie się porozumiewają, zatem ich wzajemna komunikacja również musi podlegać pod logikę matematyczną. Oczywistym jest że pod tą samą logikę matematyczną co człowiek, bowiem poprawna logika naszego Wszechświata (żywego i martwego) może być wyłącznie JEDNA - to algebra Kubusia, stwórcy naszego Wszechświata, obojętnie co pod tym pojęciem rozumieć - dla ateistów Bogiem może być kosmiczna zupa.
Rafal3006 napisał:

Podsumowanie:
3.
… ale!
Dowód wewnętrznej sprzeczności ziemskiej logiki matematycznej ziemian jest pozorny bowiem wszelkie zmienne Y, ~Y, K, ~K, T, ~T z klasy IA nie mają nic wspólnego ze zmiennymi Y, ~Y, K, ~K, T, ~T z klasy IB.
Klasa IA: Y, ~Y, K, ~K, T, ~T ## Klasa IB: Y, ~Y, K, ~K, T, ~T
gdzie:
## - różne na mocy definicji
To są dwa rozłączne światy matematyczne, mimo że zmienne te mają identyczne nazwy i znaczenie oraz identyczny zakres działania.
4.
Uogólniając nasz przykład otrzymujemy równanie ogólne dla operatorów AND(|*) i OR(|+)
Kod:

Definicja operatora AND(|*)          ## Definicja operatora OR(|+)
w równaniach algebry Boole’a         ## w równaniach algebry Boole’a
A1.                                  ## A1.
Y=p*q                                ## Y=p+q
co matematycznie oznacza:            ## co matematycznie oznacza:
Y=1<=> p=1 i q=1                     ## Y=1<=> p=1 lub q=1
BCD1.                                ## BCD1.
~Y=~p+~q                             ## ~Y=~p*~q
co matematycznie oznacza:            ## co matematycznie oznacza:
~Y=1<=>~p=1 lub ~q=1                 ## ~Y=1<=>~p=1 i ~q=1
Zmienne binarne w operatorze AND(*): ## Zmienne binarne w operatorze OR(|+)
Y, ~Y, p, ~p, q, ~q                  ## Y, ~Y, p, ~p, q, ~q
Gdzie:
## - różne na mocy definicji

W ten sposób, z wielką pomocą przyjaciół Kubusia, 5-cio latków i uczniów I klasy SP doszliśmy do równania ogólnego dla operatorów AND(|*) i OR(|+) o którym to równaniu Kubuś pisze od co najmniej 7 lat, którego to równania ziemscy matematycy póki co, nie są w stanie pojąć.


Istotą moich ostatnich postów jest dowód poprawności równania ogólnego dla operatorów AND(|*) i OR(|+) zapisanego w cytacie.
Dokładnie to udowodniłem w kilku moich ostatnich postach!

Podsumowując:
Czy ktokolwiek ma choćby najmniejsze wątpliwości co do poprawności równania ogólnego dla operatorów AND(|*) i OR(|+) zapisanego w cytacie?

Jeśli tak, to proszę o sygnał, będę cierpliwie wyjaśniał.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Sob 9:57, 17 Wrz 2016    Temat postu:
Nic tu nie jest jasne. Ale napisałem ci już o tylu niejasnościach, których nie chciało ci się rozjaśnić, że nie chce mi się powtarzać.
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Sob 10:11, 17 Wrz 2016    Temat postu:
fiklit napisał:

Nic tu nie jest jasne. Ale napisałem ci już o tylu niejasnościach, których nie chciało ci się rozjaśnić, że nie chce mi się powtarzać.

Wyjaśnienie tego jest proste.
Patrzysz Fiklicie na algebrę Kubusia poprzez swoją wiedzę na temat logiki matematycznej.
To nie jest dobre, bo wszystkie definicje mamy TOTALNIE sprzeczne … co nie oznacza że nie jest pożyteczne, bowiem sprzeczność to warunek konieczny jakiejkolwiek dyskusji - dzięki temu AK posuwa się do przodu.

Powtórzę przykład ze szkoły podstawowej:
Rafal3006 napisał:

W klasie IA szkoły podstawowej na pierwszej lekcji o godz. 8:00 nauczycielka mówi:
A1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1

Udający głupka Jaś zapytuje:
Co to znaczy proszę pani?

Pani A:
To znaczy że:
A1.
Prawdą jest (=1) że dotrzymam słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T-=1)
Y=K+T
co matematycznie oznacza:
Y=1 <=> T=1 lub K=1

Jaś kontynuuje, udając że nie zna logiki matematycznej w której jest ekspertem!
… a kiedy pani skłamie?

Tu mózg pani A wykonuje prostą operację matematyczną, poza jej świadomością … bo na studiach (o zgrozo) jej tego nie uczyli!
Przechodzę ze zdaniem A1 do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne.

BCD1.
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Stąd pani A odpowiada:
BCD1.
Prawdą jest (=1) że skłamię (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
Innymi słowy:
Wystarczy że nie pójdziemy w dowolne miejsce i już skłamię.

Gdzie:
Y=1 - dotrzymam słowa (Y) = prawdą jest (=1) że dotrzymam słowa (Y)
~Y-=1 - skłamię (~Y= nie dotrzymam słowa) = prawdą jest (=1), że skłamię (~Y)

Na pierwszej przerwie Jaś chwali się do koleżanki Zuzi z klasy równoległej IB.
Zuzia, my jutro pójdziemy do kina lub do teatru, a wy?
Zuzia:
Nie wiem, nasza pani nic na ten temat nie mówiła.

Zaczyna się druga lekcja o godz. 9:00 w tym samym dniu.

Zuzia z klasy IB do swojej pani.
Proszę pani, klasa IA idzie jutro do kina lub do teatru, a my?

Pani B:
A2.
My jutro nie pójdziemy ani do kina, ani do teatru
Y=~K*~T
Innymi słowy:
My jutro nie pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co matematycznie oznacza:
Y=1 <=> ~K=1 i ~T=1

Tym razem, Zuzia, również ekspertka logiki matematycznej, rżnie głupa udając że nie wie o co chodzi.
Co to znaczy proszę pani?

Pani B:
To znaczy że …
A2.
Prawdą jest (=1) że dotrzymam słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co matematycznie oznacza:
Y=1 <=> ~K=1 i ~T=1

Zuzia kontynuuje udając że nie rozumie:
… a kiedy Pni skłamie?

Pani B również (o zgrozo) nie wyniosła z ziemskiej szkółki elementarza logiki matematycznej.
Mózg pani B wykonuje trywialną operację matematyczną przejścia z równaniem A2 do logiki ujemnej (bo ~Y).
BCD2.
~Y=K+T
co matematycznie oznacza:
~Y=1 <=> K=1 lub T=1

Stąd pani B odpowiada:
BCD2.
Prawdą jest (=1) że skłamię (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~Y=K+T
co matematycznie oznacza:
~Y=1 <=> K=1 lub T=1

Gdzie:
Y=1 - dotrzymam słowa (Y) = prawdą jest (=1) że dotrzymam słowa (Y)
~Y-=1 - skłamię (~Y= nie dotrzymam słowa) = prawdą jest (=1), że skłamię (~Y)

Weźmy kluczowe dla sprawy zdania wypowiedziane przez panie A i B:

Klasa IB:
Pani B:
A2.
Prawdą jest (=1) że dotrzymam słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co matematycznie oznacza:
Y=1 <=> ~K=1 i ~T=1

Klasa IA:
Pani A:
BCD1.
Prawdą jest (=1) że skłamię (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Ogólna definicja zmiennej binarnej:
Zmienna binarna to symbol którego wartości logicznej nie znamy

W naszym przykładzie symbole:
Y, ~Y, K, T, ~K, ~T
spełniają definicję zmiennej binarnej.

Zakres działania zmiennych binarnych:
Zakres działania zmiennych binarnych to odcinek czasu w którym zmienne binarne są aktywne

W naszym przypadku w dniu dzisiejszym zmienne Y, ~Y, K, T, ~K i ~T są zmiennymi nieaktywnymi.
Zmienne te będą aktywne wyłącznie w dniu jutrzejszym.
Pojutrze zmienne binarne Y, ~Y, K, T, ~K i ~T przejdą w stałe binarne o znanej wartości logicznej.

Definicja stałej binarnej:
Stała binarna to symbol, którego wartość logiczna jest nam znana z góry.
Wartość logiczna stałej binarnej nie może być zmieniona.

Dla każdego człowieka, od 5-cio latka do prof. matematyki, jest oczywistym iż zachodzi równanie:

Klasa IB - A2: Y=~K*~T ## Klasa IA - BCD1: ~Y=~K*~T
gdzie:
## - różne na mocy definicji

Jest oczywistym że pojutrze zmienne binarne Y, ~Y, K, ~K, T, ~T z klasy IA mogą przyjąć dowolne wartości logiczne!
Także zmienne binarne Y, ~Y, K, ~K, T, ~T z klasy IB mogą pojutrze przyjąć dowolne wartości logiczne i te wartości nie muszą pokrywać się z analogicznymi zmiennymi z klasy IA!

Stąd zapisujemy:
Klasa IA: Y, ~Y, K, ~K, T, ~T ## Klasa IB: Y, ~Y, K, ~K, T, ~T
gdzie:
## - różne na mocy definicji


fiklit napisał:
Nic tu nie jest jasne.

Czy możesz napisać, czego w cytowanym dialogu pań A i B nie rozumiesz?

Ostatnio zmieniony przez rafal3006 dnia Sob 10:38, 17 Wrz 2016, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Sob 10:46, 17 Wrz 2016    Temat postu:
Bo nie potrafisz jasno i spójnie przekazać informacji o swoich konstrukcjach.

Co to jest operator? Tylko nie pisz o czterech wierszach tabeli. Tabela to tylko sposób na opisanie czegoś. Czego?
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Nie 18:00, 18 Wrz 2016    Temat postu:
Algebra Kubusia - Wielki Restart
fiklit napisał:

Bo nie potrafisz jasno i spójnie przekazać informacji o swoich konstrukcjach.
Co to jest operator? Tylko nie pisz o czterech wierszach tabeli. Tabela to tylko sposób na opisanie czegoś. Czego?

Nie mogę nie pisać o czterech wierszach, bowiem zero-jedynkowe definicje operatorów logicznych dwuargumentowych to zawsze tylko i wyłącznie cztery wiersze.

o.k.
Dzięki,
Znów robię Wielki Restart.

Spis treści
1.0 Notacja 1
2.0 Operatory AND(|*) i OR(|+) 2
2.1 Operator AND(|*) 2



1.0 Notacja

1 - prawda
0 - fałsz

(~) - przeczenie, przedrostek NIE z naturalnej logiki człowieka

Prawa matematyczne na poziomie zero-jedynkowym:
1=~0 - prawda to zaprzeczenie fałszu
0=~1 - fałsz to zaprzeczenie prawdy

Prawo podwójnego przeczenia:
p=~(~p)
Przykład:
Jestem uczciwy = nie jest prawdą, że jestem nieuczciwy
U = ~(~U)

Prawa Prosiaczka:
I. (p=1) = (~p=0)
II. (~p=1) = (p=0)
Przykład:
I.
Prawdą jest (=1) że to jest pies (P) = fałszem jest (=0) że to nie jest pies (~P)
(P=1) = (~P=0)
II.
Prawdą jest (=1) że to nie jest pies (P) = fałszem jest (=0) że to jest pies (P)
(~P=1) = (P=0)

(*) - spójnik „i”(*) z naturalnej logiki człowieka
(+) - spójnik „lub”(+) z naturalnej logiki człowieka


2.0 Operatory AND(|*) i OR(|+)

W matematyce klasycznej nie da się wytłumaczyć dziecku prostych operacji dodawania i mnożenia bez poparcia ich przykładami np. dodawanie jabłek, paluszków etc.
Identycznie jest w logice matematycznej, nie da się jej skutecznie wytłumaczyć na poziomie czysto abstrakcyjnym bez podawania przykładów.

Aksjomaty Kubusia:
1.
Logika matematyczna pod którą podlega nasz Wszechświat jest jedna, nie jest możliwa jakakolwiek inna logika matematyczna bowiem między PRAWDĘ i FAŁSZ, istotę logiki matematycznej, niczego nie da się wcisnąć.
2.
Nie jest możliwe, aby język człowieka nie podlegał pod żadną logikę matematyczną bo człowiek z człowiekiem nie komunikuje się na bazie chaosu.
3.
Skoro język człowieka podlega pod logikę matematyczną to musi to być logika którą posługują się biegle wszystkie 5-cio latki


2.1 Operator AND(|*)

Z aksjomatów Kubusia wynika, że najwłaściwszym miejscem do poznania logiki matematycznej naszego Wszechświata będzie przedszkole i wsłuchanie się co na jej temat mają do powiedzenia eksperci tej logiki, 5-cio latki.

Pani w przedszkolu:
A.
Jutro pójdziemy do kina i do teatru
Y=K*T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1 - logika dodatnia (bo Y)
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)
Y=1 <=> K=1 i T=1

W logice matematycznej operujemy zapisami ogólnymi niezależnymi od jakiegokolwiek przykładu, zwyczajowo są to symbole Y, p i q.

Z założenia człowiek podlega pod logikę matematyczną.
Wystarczy zatem podstawić:
p=K
q=T
i już jesteśmy w zapisach ogólnych

To samo w zapisach ogólnych:
A.
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

… a kiedy pani skłamie?
Przejście ze zdaniem A do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1 - logika ujemna (bo ~Y)
Czytamy:
BCD.
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1 lub nie pójdziemy do teatru (~T=1)
~Y=~K+~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1
Innymi słowy:
Nie pójdziemy w dowolne miejsce i już pani skłamie.

To samo w zapisach ogólnych:
BCD.
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1

Gdzie:
Y=1 - dotrzymam słowa (Y) = prawdą jest (=1) że dotrzymam słowa (Y)
~Y-=1 - skłamię (~Y= nie dotrzymam słowa) = prawdą jest (=1), że skłamię (~Y)

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
I.
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y)
Y = ~(~Y)
Podstawiając A i BCD mamy prawo De Morgana dla logiki dodatniej (bo Y):
Y = p*q = ~(~p+~q)
II.
Logika ujemna (bo ~Y) to zaprzeczenie logiki dodatniej (bo Y)
~Y = ~(Y)
Podstawiając A i BCD mamy prawo De Morgana dla logiki ujemnej (bo ~Y)
~Y = ~p+~q = ~(p*q)

Zuzia do Jasia (oboje po 5 wiosenek):
Jasiu, czy ja dobrze rozumuję?
Skoro pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1), to tylko w jednym, jedynym przypadku:
Y=K*T = 1*1 =1
pani dotrzyma słowa, w pozostałych przypadkach pani skłamie.

Jaś:
Dobrze rozumujesz,
Rozpiszmy wszystkie możliwe przypadki jakie mogą zajść jutro.

Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro:
A.
Ya = K*T = 1*1 =1 - pójdziemy do kina (K=1) i do teatru (T=1)
W zapisach ogólnych:
Ya=p*q
co matematycznie oznacza:
Ya=1 <=> p=1 i q=1

W pozostałych przypadkach pani skłamie.
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro:
B.
~Yb = K*~T = 1*1 =1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
W zapisach ogólnych:
~Yb=p*~q
co matematycznie oznacza:
~Yb=1 <=> p=1 i ~q=1
lub
C.
~Yc = ~K*T = 1*1 =1 - nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
W zapisach ogólnych:
~Yc = ~p*q
co matematycznie oznacza:
~Yc=1 <=> ~p=1 i q=1
lub
D.
~Yd = ~K*~T = 1*1 =1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
W zapisach ogólnych:
~Yd=~p*~q
co matematycznie oznacza:
~Yd=1 <=> ~p=1 i ~q=1

Zapiszmy wszystkie możliwe przypadki jakie jutro mogą zajść (A,B,C i D) w tabeli symbolicznej:
Kod:

Symboliczna definicja |Co matematycznie    |Zapis tożsamy po skorzystaniu
operatora AND(|*)     |oznacza             |z prawa Prosiaczka dla ~Yx
                      |                    |(~Yx=1)=(Yx=0)
A: p* q = Ya          | Ya=1<=> p=1 i  q=1 | Ya=1<=> p=1 i  q=1
B: p*~q =~Yb          |~Yb=1<=> p=1 i ~q=1 | Yb=0<=> p=1 i ~q=1
C:~p* q =~Yc          |~Yc=1<=>~p=1 i  q=1 | Yc=0<=>~p=1 i  q=1
D:~p*~q =~Yd          |~Yd=1<=>~p=1 i ~q=1 | Yd=0<=>~p=1 i ~q=1
   a  b   c             d       e      f     g       h      i

Z definicji symbolicznej ABCDabc bez problemów odczytujemy przypadki w których pani dotrzyma słowa/skłamie.

Pani dotrzyma słowa (Y=1):
Y = Ya
Y = A: p*q
co matematycznie oznacza:
Y=1 <=> A: (p=1 i q=1)

Pani skłamie (~Y=1):
~Y=~Ya+~Yb+~Yc
Po podstawieniu argumentów mamy:
~Y = B: p*~q + C: ~p*q + D: ~p*~q
co matematycznie oznacza:
~Y=1 <=> B: (p=1 i ~q=1) lub C: (~p=1 i q=1) lub D: (~p=1 i ~q=1)

Na podstawie powyższych rozważań matematycznie musi zachodzić tożsamość:
~Y = ~p+~q = p*~q + ~p*q + ~p*~q
Dowód (wkrótce poznamy prawa logiczne tu wykorzystane):
~Y = p*~q + ~p*q + ~p*~q
~Y= p*~q + ~p*(q+~q)
~Y = ~p + (p*~q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników
Y = p*(~p+q)
Y = p*~p + p*q
Y= p*q
Powrót do logiki ujemnej (bo ~Y):
~Y=~p+~q
cnd

Definicja operatora AND(|*):
Operator AND(|*) to opis wszystkich możliwych przeczeń p i q (ABCD) w postaci równań cząstkowych w spójnikach „i”(*) i „lub”(+), gdzie wyłącznie jedno równanie cząstkowe w logice dodatniej (bo Yx) ma wartość logiczną równą jeden.

Z definicji tej wynika że:
Pozostałe równania cząstkowe zapisane w logice dodatniej (bo Yx) mają wartość logiczną równą zeru.
Doskonale to widać w tabeli ABCDghi.

Zauważmy, że korzystając z prawa Prosiaczka symboliczną definicję operatora AND(|*) możemy zakodować zero-jedynkowo z dwóch różnych punktów odniesienia.

I.
Punkt pierwszy opisuje wynikowe jedynki w logice dodatniej (bo Y):
A.
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Prawa Prosiaczka z których będziemy korzystać przy tworzeniu tabeli zero-jedynkowej dla tego punktu:
(~Yx=1) = (Yx=0)
(~p=1) = (p=0)
(~q=1) = (q=0)

II.
Punkt drugi opisuje wynikowe jedynki w logice ujemnej (bo ~Y):
BCD.
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Prawa Prosiaczka z których będziemy korzystać przy tworzeniu tabeli zero-jedynkowej dla tego punktu:
(Yx=1) = (~Yx=0)
(p=1) = (~p=0)
(q=1) = (~q=0)
Kod:

Symboliczna  |Co matematycznie    |Prawo        |Prawo
definicja    |oznacza             |Prosiaczka   |Prosiaczka
operatora    |                    |(~p=1)=(p=0) |(p=1)=(~p=0)
AND(|*)      |                    | p  q  Y=p*q |~p ~q ~Y=~p+~q |Y=~(~p+~q)
A: p* q = Ya | Ya=1<=> p=1 i  q=1 | 1  1  =1    | 0  0  =0      | =1
B: p*~q =~Yb |~Yb=1<=> p=1 i ~q=1 | 1  0  =0    | 0  1  =1      | =0
C:~p* q =~Yc |~Yc=1<=>~p=1 i  q=1 | 0  1  =0    | 1  0  =1      | =0
D:~p*~q =~Yd |~Yd=1<=>~p=1 i ~q=1 | 0  0  =0    | 1  1  =1      | =0
   a  b   c    d       e      f     1  2   3      4  5   6         7

Tożsamość kolumn wynikowych 3 i 7 jest dowodem formalnym prawa De Morgana:
Y = p*q = ~(~p+~q)

Zauważmy że:
1.
Nagłówek tabeli zero-jedynkowej ABCD123 opisuje wyłącznie wynikowe jedynki w tej tabeli, czyli wyłącznie linię A123.
Odczyt na podstawie definicji symbolicznej A123:
Y = Ya
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
2.
Nagłówek tabeli zero-jedynkowej ABCD456 opisuje wyłącznie wynikowe jedynki w tej tabeli, czyli obszar BCD456.
Odczyt na podstawie tabeli symbolicznej BCDdef:
~Y=~Yb+~Yc+~Yd
~Y = B: p*~q + C: ~p*q + D: ~p*~q
Po minimalizacji otrzymujemy tożsame równanie minimalne:
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Doskonale to widać w obszarze BCD456.

Stąd otrzymujemy jedno z najważniejszych praw logiki matematycznej.

Prawo Sowy:
Nagłówek dowolnej tabeli zero-jedynkowej wyrażonej spójnikami „i”(*) i „lub”(+) opisuje wyłącznie wynikowe jedynki w tej tabeli.

Z prawa Sowy wynika że operator AND(|*) opisujący wszystkie cztery linie ABCD123, to co innego niż spójnik „i”(*) z naturalnej logiki człowieka opisujący wyłącznie linię A123.

Podobnie:
Z prawa Sowy wynika, że operator OR(|+) opisujący wszystkie cztery linie ABCD456 to co innego niż spójnik „lub”(+) opisany obszarem BCD456.

Stąd mamy.
Szczegółowa definicja operatora AND(|*):
Operator AND(|*) to złożenie definicji spójnika „i”(*) w logice dodatniej (bo Y):
Linia Aabc:
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
ze spójnikiem „lub”(+) w logice ujemnej (bo ~Y):
Obszar BCDabc:
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=q lub ~q=1

Tu robię STOP!
Czy ten post jest zrozumiały?
W szczególności czy do zaakceptowania jest definicja operatora AND(|*) tu podana.

Definicja operatora AND(|*):
Operator AND(|*) to opis wszystkich możliwych przeczeń p i q (ABCD) w postaci równań cząstkowych w spójnikach „i”(*) i „lub”(+), gdzie wyłącznie jedno równanie cząstkowe w logice dodatniej (bo Yx) ma wartość logiczną równą jeden.

Ostatnio zmieniony przez rafal3006 dnia Nie 18:16, 18 Wrz 2016, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica
PostWysłany: Nie 20:20, 18 Wrz 2016    Temat postu:
Czy '~' jest operatorem?
Na czym operują operatory?
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Nie 20:58, 18 Wrz 2016    Temat postu:
idiota napisał:
Czy '~' jest operatorem?
Na czym operują operatory?

Negator (~) to operator logiczny opisany równaniami algebry Boole'a:
Y=~p
~Y=p

Operator AND(|*) to układ równań logicznych:
Y=p*q
~Y=~p+q

Operator OR(|+) to układ równań logicznych:
Y=p+q
~Y=~p*~q

Gdzie znaczki (*) i (+) to spójniki logiczne "i"(*) i "lub"(+) z naturalnej logiki 5-cio latka.

To nie są operatory logiczne!

Z dedykacją dla Idioty:

Zero-jedynkowa definicja negatora:
Kod:

Definicja         |Definicja   |Co matematycznie
zero-jedynkowa    |symboliczna |oznacza
negatora          |negatora    |
   p ~p Y=~p ~Y=p |            |
A: 1  0  =0   =1  | ~Y=p       | ~Y=1<=> p=1
B: 0  1  =1   =0  |  Y=~p      |  Y=1<=>~p=1

Przykład:
Pani:
B.
Jutro nie pójdziemy do kina
Y=~K
co matematycznie oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

… a kiedy pani skłamie?
Negujemy równanie B dwustronnie
A.
~Y=K
co matematycznie oznacza:
~Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Gdzie:
Y=1 - dotrzymam słowa (Y) = prawdą jest (=1) że dotrzymam słowa (Y)
~Y-=1 - skłamię (~Y= nie dotrzymam słowa) = prawdą jest (=1), że skłamię (~Y)

Podsumowując:
Wyłącznie matematyczne żółtodzioby noszą po kieszeniach tabele zero-jedynkowe i coś tam sobie nawzajem „udowadniają” np. prawdziwość poniższego gówna:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1600.html#288325
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa
2+2=4 wtedy i tylko wtedy gdy Płock leży nad Wisłą

Normalni ludzie, od 5-cio latka poczynając, w komunikacji człowiek-człowiek operują równaniami algebry Boole’a, jak chociażby w ostatnim przykładzie:
Y=~K
~Y=K

Ostatnio zmieniony przez rafal3006 dnia Nie 21:51, 18 Wrz 2016, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Nie 21:59, 18 Wrz 2016    Temat postu:
Nie. Bo nie wiadomo co to jest "równanie w spójnikach". W szczególności nie wiadomo co to jest spójnik i i spójnik lub..
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Nie 23:09, 18 Wrz 2016    Temat postu:
fiklit napisał:
Nie. Bo nie wiadomo co to jest "równanie w spójnikach". W szczególności nie wiadomo co to jest spójnik i i spójnik lub..


Weźmy zero-jedynkową definicję operatora AND(|*) i opiszmy wszystkie jej linie równaniami cząstkowymi.
Kod:

             |Mintermy  |Makstermy
             |opis Yx=1 |opis Yx=0
   p  q  Y=? |          |
A: 1  1  =1  | Ya= p* q |
B: 1  0  =0             | Yb=~p+ q
C: 0  1  =0             | Yc= p+~q
D: 0  0  =0             | Yd= p+ q
   1  2   3    a   b  c   d   e  f

Dla makstermów mamy:
Y=Yb*Yc*Yd
Y=(~p+q)*(p+~q)*(p+q)
Minimalizujemy:
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
~Y=p*~q + ~p*q + ~p*~q
~Y = p*~q + ~p*(q+~q)
~Y = ~p+(p*~q)
Powrót do logiki dodatniej (bo Y):
Y = p*(~p+q)
Y = p*~p+p*q
Y= p*q

Zauważmy, że równanie w mintermach opisuje tylko i wyłącznie pierwszą linię operatora AND(|*):
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

Dlaczego?
Bo równanie w makstermach opisujące wynikowe zera w tabeli zero-jedynkowej operatora AND(|*) jest tożsame z pierwszą linią tej tabeli A123abc.

Przepiszmy naszą tabelę zapisując w nagłówku tabeli zero-jedynkowej naniesione obliczenie:
Y=p*q
Kod:
 
               |Mintermy  |Makstermy
               |opis Yx=1 |opis Yx=0
   p  q  Y=p*q |          |
A: 1  1  =1    | Ya= p* q |
B: 1  0  =0               | Yb=~p+ q
C: 0  1  =0               | Yc= p+~q
D: 0  0  =0               | Yd= p+ q
   1  2   3      a   b  c   d   e  f

Aktualna tabela to dowód iż znaczek (*) nie może opisywać kompletnej tabeli zero-jedynkowej.
Znaczek (*) opisuje wyłącznie pierwszą linię powyższej tabeli i jest to definicja spójnika „i”(*) z naturalnej logiki człowieka o definicji jak niżej:
Kod:

Definicja spójnika „i”(*) w logice dodatniej (bo Y)
               |Mintermy  |Co matematycznie
               |opis Yx=1 |oznacza
   p  q  Y=p*q |          |
A: 1  1  =1    | Ya= p* q | Ya=1<=> p=1 i  q=1
   1  2   3      a   b  c

… a co definiują pozostałe linie definicji operatora AND(|*)?
Ponieważ pierwszą linię opisaliśmy w mintermach to obszar BCD123 również musimy opisać w mintermach, tylko wtedy będzie to funkcja logiczna różna od pierwszej linii zapisanej wyżej.
Kod:
 
                                |Mintermy  |Mintermy
                                |opis Yx=1 |opis ~Yx=1
   p  q  Y=p*q  ~p ~q ~Y=?      |          |
A: 1  1  =1      0  0  =0       | Ya= p* q |
B: 1  0  =0      0  1  =1       |          |~Yb= p*~q   
C: 0  1  =0      1  0  =1       |          |~Yc=~p* q
D: 0  0  =0      1  1  =1       |          |~Yd=~p*~q
   1  2   3      4  5   6         a   b  c   d   e  f

Prawa Prosiaczka:
(p=0)=(~p=1)
(p=1)=(~p=0)
Na mocy praw Prosiaczka wszystkie pozycje w tabeli ABCD123 są tożsame z odpowiednimi pozycjami tabeli ABCD456.

Obliczamy funkcję logiczną ~Y:
~Y=~Yb+~Yc+~Yd
~Y = p*~q + ~p*q + ~p*~q
Minimalizujemy:
~Y = p*~q + ~p*(q+~q)
~Y = ~p+ (p*~q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników
Y = p*(~p+q)
Y = p*~q + p*q
Y = p*q
~Y=~p+~q
Nanieśmy nasze obliczenia na nagłówek tabeli ABCD456:
Kod:
 
                                |Mintermy  |Mintermy
                                |opis Yx=1 |opis ~Yx=1
   p  q  Y=p*q  ~p ~q ~Y=~p+~q  |          |
A: 1  1  =1      0  0  =0       | Ya= p* q |
B: 1  0  =0      0  1  =1       |          |~Yb= p*~q   
C: 0  1  =0      1  0  =1       |          |~Yc=~p* q
D: 0  0  =0      1  1  =1       |          |~Yd=~p*~q
   1  2   3      4  5   6         a   b  c   d   e  f

Zauważmy, że funkcja logiczna:
~Y=~p+~q
opisuje wyłącznie obszar BCD456 w tabeli zero-jedynkowej ABCD456.
Doskonale widać, że to jest definicja spójnika „lub”(+) w logice ujemnej (bo ~Y) o zero-jedynkowej reprezentacji jak niżej.
Kod:

Definicja spójnika „lub”(+) w logice ujemnej (bo ~Y)
                                |Mintermy  |Mintermy   |Co matematycznie
                                |opis Yx=1 |opis ~Yx=1 |oznacza
   p  q  Y=p*q  ~p ~q ~Y=~p+~q  |          |           |
B: 1  0  =0      0  1  =1       |          |~Yb= p*~q  |~Yb=1<=> p=1 i ~q=1 
C: 0  1  =0      1  0  =1       |          |~Yc=~p* q  |~Yc=1<=>~p=1 i  q=1
D: 0  0  =0      1  1  =1       |          |~Yd=~p*~q  |~Yd=1<=>~p=1 i ~q=1
   1  2   3      4  5   6         a   b  c   d   e  f

Definicja operatora AND(|*) w układzie równań logicznych:
I.
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
II.
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1

Gdzie znaczki (*) i (+) to spójniki logiczne z naturalnej logiki matematycznej człowieka „i”(*) i „lub”(+).
To nie są operatory logiczne!

Zauważmy że operatora logicznego AND(|*) żaden człowiek nie jest w stanie sensownie wypowiedzieć, bo musiałby w jednym zdaniu wypowiedzieć wszystkie cztery linie tabeli zero-jedynkowej operatora AND(|*).

Będzie to brzmiało tak:
A.
Dotrzymam słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i do teatru (T=1)
Y=1<=>K=1 i T=1
lub
BCD.
Skłamię (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)

Dopiero te dwa zdania razem są KOMPLETNYM zdaniem przystającym do definicji operatora AND(|*).
Oczywistym jest że nikt tak nie mówi, bo nawet 5-cio latkowi wystarczy znajomość dowolnego z tych zdań, by wygenerować drugie (domyślne).

Zauważmy, zdanie A nie jest kompletnym operatorem AND(|*), zatem znaczek (*) tu użyty nie jest operatorem logicznym - to tylko spójnik ‘i”(*) z naturalnej logiki człowieka.
Podobnie:
Znaczek (+) użyty w zdaniu BCD nie jest kompletnym operatorem OR(|+), zatem znaczek tu użyty nie jest operatorem logicznym - to tylko spójnik „lub”(+) z naturalnej logiki człowieka

Podsumowanie:
Kod:
 
               |Mintermy  |Makstermy
               |opis Yx=1 |opis Yx=0
   p  q  Y=p*q |          |
A: 1  1  =1    | Ya= p* q |
B: 1  0  =0               | Yb=~p+ q
C: 0  1  =0               | Yc= p+~q
D: 0  0  =0               | Yd= p+ q
   1  2   3      a   b  c   d   e  f

Weźmy nasze sztandarowe zdanie:
A.
Jutro pójdziemy do kina i do teatru
Y=K*T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1

Żaden człowiek nie zrozumie zdania tożsamego wyrażonego w makstermach:
Y = (~K+T)*(K+~T)*(K+T)

Logika makstermów to „lustrzane odbicie” logiki człowieka, niezrozumiałe dla człowieka.
Z tego powodu, z punktu widzenia człowieka, zera w dowolnej tabeli zero-jedynkowej opisane makstermami kompletnie nas nie interesują, bo mamy mintermy rozumiane poprawnie przez każdego 5-cio latka.

Z punktu widzenia logiki człowieka zera w dowolnej tabeli zero-jedynkowej to obszary martwe, potrzebne wyłącznie dla potrzeb rachunku zero-jedynkowego … i w tym sensie są one pożyteczne i konieczne.

Oczywistym jest że wystarczy mieć informację w których liniach tabeli zero-jedynkowej są jedynki, bo z tej informacji wynika wiedza o zerach w tej tabeli.

Ostatnio zmieniony przez rafal3006 dnia Pon 8:04, 19 Wrz 2016, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Pon 10:20, 19 Wrz 2016    Temat postu:
Dalej nie wiem co to: operator, równanie, spójnik logiczny, z naturalnej logiki matematycznej człowieka"
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Pon 11:47, 19 Wrz 2016    Temat postu:
Matematyczne myślenie w zerach i jedynkach

fiklit napisał:
Dalej nie wiem co to: operator, równanie, spójnik logiczny, z naturalnej logiki matematycznej człowieka"


Zero-jedynkową definicję operatora AND(|*) na 100% mamy wspólną.

Weźmy nasz sztandarowe zdanie:
A.
Jutro pójdziemy do kina i do teatru
Y=K*T

Co robi ziemski matematyk np. Fizyk czy Vorath?
Podstawia zdanie A pod zero-jedynkową definicję operatora AND(|*) bo w zdaniu wypowiedzianym został użyty spójnik „i”(*).

Kod:

Zero-jedynkowa definicja operatora AND(|*)
   K  T  Y=K|*T |Co matematycznie oznacza
A: 1  1  =1     | Ya=1<=> K=1 i T=1
B: 1  0  =0     | Yb=0<=> K=1 i T=0
C: 0  1  =0     | Yc=0<=> K=0 i T=1
D: 0  0  =0     | Yd=0<=> K=0 i T=0

Fizyk w powyższej tabeli akceptuje wyłącznie logikę dodatnią (bo Y), ale bez trudu potrafi opisać
kiedy jutro pani dotrzyma słowa a kiedy skłamie.

Znaczenie symboli w logice dodatniej:
Y=1 - pani dotrzyma słowa
Y=0 - pani skłamie

K=1 - jutro pójdę do kina (Jesli jutro pójde do kina to zmienna K przyjmie wartość 1)
K=0 - jutro nie pójdę do kina (Jesli jutro nie pójde do kina to zmienna K przyjmie wartość 0)
etc

T=1 - jutro pójdę do teatru
T=0 - jutro nie pójdę do teatru

Analiza zero-jedynkowa zdania Y=K*T:
A.
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro:
Yb=1<=> K=1 i T=1 - pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie?
Uwaga - to jest tu kluczowe!

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

To jest poprawna, zero-jedynkowa analiza matematyczna zdania Y=K*T zarówno w algebrze Kubusia jak i logice Ziemian.

Kluczowe pytanie:
Czy to jest rzeczywiście poprawna analiza zero-jedynkowa zdania Y=K*T w logice Ziemian?

Nie jestem tego pewien, więc pytam.

Ostatnio zmieniony przez rafal3006 dnia Pon 11:56, 19 Wrz 2016, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Śro 9:30, 21 Wrz 2016    Temat postu:
Cytat:
Zero-jedynkową definicję operatora AND(|*) na 100% mamy wspólną.

Czyli twój AND też jest funkcją dwuargumentową, której oba argumenty przyjmują wartości ze zbioru 0,1 i wartość funkcji również jest ze zbioru 0,1, a konkretne wartości podane są w znanej tabelce?
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: 35368
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna
PostWysłany: Sob 10:12, 24 Wrz 2016    Temat postu:
Kropka nad „i”!
Czyli:
Dowód zgodności algebry Kubusia z teorią bramek logicznych - tu Kubuś jest ekspertem od zawsze z racji wykształcenia (elektronika na PW-wa).

fiklit napisał:
Cytat:
Zero-jedynkową definicję operatora AND(|*) na 100% mamy wspólną.

Czyli twój AND też jest funkcją dwuargumentową, której oba argumenty przyjmują wartości ze zbioru 0,1 i wartość funkcji również jest ze zbioru 0,1, a konkretne wartości podane są w znanej tabelce?

Tak,
W ogólnym przypadku operatory AND i OR są n-argumentowe.
Gdzie:
n = 2 do oo (nieskończoności)

Przykład operatora AND 4-argumentowego.

Pani w przedszkolu:
A1.
Jutro pójdziemy do kina i do teatru ale nie pójdziemy ani do parku, ani do lasu.
Y = K*T*~P*~L
co matematycznie oznacza:
Y=1 <=> K=1 i T=1 i ~P=1 i ~L=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa gdy jutro pójdziemy do kina (K=1) i to teatru (T=1) ale nie pójdziemy ani do parku (~P=1), ani do lasu (~L=1)

… a kiedy pani skłamie?
Negujemy powyższe równanie dwustronnie, tylko i wyłącznie to wolno nam robić w logice matematycznej - nie wolno przenosić zmiennych z lewej strony na stronę prawą i odwrotnie jak to jest z równaniami w matematyce klasycznej np. 2x+1=5, o czym wie każdy dobry matematyk.
Prawo przejścia do logiki przeciwnej to po prostu wersja wzorów skróconego mnożenia z matematyki klasycznej.

Prawo przejścia do logiki przeciwnej:
Przejście ze zdaniem A do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne - „i”(*) na „lub”(+) oraz odwrotnie.

Stąd:
A2.
~Y=~K+~T+P+L
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1 lub P=1 lub L=1
Wystarczy, że zajdzie którekolwiek zdarzenie z prawej strony przyjmując wartość logiczną jeden np. jutro pójdziemy do lasu (L=1) i już pani skłamie (~Y=1), dalsze poczynania pani będą matematycznie bez najmniejszego znaczenia.

Rozważmy dla uproszczenia operator 3-argumentowy, doskonale pokazujący o co w tym wszystkim chodzi.

Pani w przedszkolu:
A.
Jutro pójdziemy do kina i do teatru ale nie pójdziemy do parku
Y = K*T*~P
co matematycznie oznacza:
Y=1 <=> K=1 i T=1 i ~P=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa gdy jutro pójdziemy do kina (K=1) i to teatru (T=1) ale nie pójdziemy do parku (~P=1).

… a kiedy pani skłamie?
Przejście ze zdaniem A do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
B.
~Y=~K+~T+P
co matematycznie oznacza:
~Y=1 <=> ~K=1 lub ~T=1 lub P=1
Wystarczy prawdziwość dowolnego członu po prawej stronie i już pani skłamie (~Y=1), dalsze jej poczynania będą bez znaczenia.

Naturalna logika matematyczna człowieka ma przełożenie na matematykę ścisłą w skali 1:1. Wystarczy zatem że podstawimy:
p=K
q=T
r=P
… i już jesteśmy w pięknej i prostej do bólu, matematyce klasycznej.

Nasze zdania w zapisach ogólnych:
A.
Y=p*q*~r
co matematycznie oznacza:
Y=1 <=> p=1 i q=1 i ~r=1

B.
~Y=~p+~q+r
co matematycznie oznacza:
~Y=1 <=> ~p=1 lub ~q=1 lub r=1

Zobaczmy jak to wygląda w wyroczni logiki matematycznej, w bramkach logicznych.



W logice symbolicznej, naturalnej logice matematycznej 5-cio latków, negujemy zmienne binarne, pozostawiając nieruszone jedynki.
W logice zero-jedynkowej robimy dokładnie odwrotnie, pozostawiamy nieruszone zmienne binarne, negując zera i jedynki.

Jest oczywistym, że jeśli przykładowo jutro pójdziemy do parku (r=1) to na wyjściu bramki OR otrzymamy:
OR:
~Y=~p+~q + 1 =1 - pani skłamie (~Y=1) w logice ujemnej (bo ~Y)
Wartość logiczna zmiennych ~p i ~q staje się bez znaczenia.

Wartość logiczna (r=1) na wejściu bramki OR wymusi na wejściu bramki AND wartość logiczną (~r=0) i odwrotnie.
Prawo Prosiaczka:
(r=1) = (~r=0)
Stąd:
AND:
Y = p*q*~r = p*q*0 = 0 - pani skłamie w logice dodatniej (bo Y)
Wartość logiczna zmiennych p i q staje się bez znaczenia.
etc

Definicja zmiennej binarnej:
Zmienna binarna to symbol, którego wartości logicznej nie znamy

Zauważmy, że symbole p, q i ~r ze zdania wypowiedzialnego to zmienne binarne, które będą aktywne wyłącznie w dniu jutrzejszym.
Pojutrze wszystkie zmienne binarne ze zdania wypowiedzianego MUSZĄ przyjąć konkretne wartości logiczne - innej możliwości matematycznej nie ma.

Definicja stałej symbolicznej:
Stała symboliczna to symbol o zdeterminowanej wartości logicznej, której to wartości logicznej nie jesteśmy w stanie zmienić.

Zdeterminowana wartość logiczna stałej symbolicznej, nie oznacza iż wartość logiczna tej stałej musi być nam znana. Jeśli wartość logiczna stałej symbolicznej nie jest nam znana to logika matematyczna dalej obowiązuje.
Przykładowo:
Poszukujemy mordercy, wiemy że (M=1) morderca istnieje, ale go nie znamy - zadaniem logiki matematycznej jest odnalezienie nieznanego (póki co) mordercy.

Jeśli morderca został znaleziony, to oczywistym jest że logika matematyczna mająca doprowadzić do jego wykrycia staje się psu na budę potrzebna - wiemy wszystko i matematycznie niczego więcej się nie dowiemy.

Ciekawostki:
1.
Z faktu że wyżej przyjęliśmy w zapisach symbolicznych konwencję:
Y=1 - pani dotrzyma słowa
~Y=1 - pani skłamie
nie wynika, że nie wolno nam przyjąć konwencji dokładnie odwrotnej:
~Y=1 - pani dotrzyma słowa
Y=1 - pani skłamie
Będzie to odpowiednik Anglika i Polaka poruszających się po swoich drogach dokładnie przeciwnymi stronami - obie to logiki są równoważne, bo to jest równoważność.

2.
Przełożenie logiki symbolicznej na tabele zero-jedynkowe:
Kod:

                                          |logika symboliczna w mintermach
   p  q ~r  Y=p*q*~r ~p ~q  r  ~Y=~p+~q+r |
A: 1  1  1  =1        0  0  0   =0        | Ya= p* q*~r
B: 1  1  0  =0        0  0  1   =1        |~Yb= p* q* r
C: 1  0  1  =0        0  1  0   =1        |~Yc= p*~q*~r
D: 1  0  0  =0        0  1  1   =1        |~Yd= p*~q* r
E: 0  1  1  =0        1  0  0   =1        |~Ye= p*~q*~r
F: 0  1  0  =0        1  0  1   =1        |~Yf=~p* q* r
G: 0  0  1  =0        1  1  0   =1        |~Yg=~p*~q*~r
H: 0  0  0  =0        1  1  1   =1        |~Yh=~p*~q* r
   1  2  3   4        5  6  7    8          a   b  c  d


Z tabeli symbolicznej w mintermach odczytujemy układ równań logicznych opisujących tabelę zero-jedynkową operatora AND (1234)
I.
Y=Ya = p*q*~r
II.
~Y=~Yb+~Yc+~Yd+~Ye+~Yf+~Yg+~Yh

Masochiści mogą sobie podstawić do równania ~Y funkcje cząstkowe z tabeli abcd i pracowicie minimalizować, pewne jest że uzyskają funkcję minimalną:
~Y=~p+~q+r

3.
Zapis matematycznie tożsamy do punktu 2, preferowany w algebrze Kubusia:
Kod:

                                  |Logika       |Co matematycznie oznacza
                                  |symboliczna  |
                                  |w mintermach |
                    Y=     ~Y=    |             |
   p  q ~r ~p ~q  r p*q*~r ~p+~q+r|             |
A: 1  1  1  0  0  0  =1    =0     | Ya= p* q*~r | Ya=1<=> p=1 i  q=1 i ~r=1
B: 1  1  0  0  0  1  =0    =1     |~Yb= p* q* r |~Yb=1<=> p=1 i  q=1 i  r=1
C: 1  0  1  0  1  0  =0    =1     |~Yc= p*~q*~r |~Yc=1<=> p=1 i ~q=1 i ~r=1
D: 1  0  0  0  1  1  =0    =1     |~Yd= p*~q* r |~Yd=1<=> p=1 i ~q=1 i  r=1
E: 0  1  1  1  0  0  =0    =1     |~Ye= p*~q*~r |~Ye=1<=> p=1 i ~q=1 i ~r=1
F: 0  1  0  1  0  1  =0    =1     |~Yf=~p* q* r |~Yf=1<=>~p=1 i  q=1 i  r=1
G: 0  0  1  1  1  0  =0    =1     |~Yg=~p*~q*~r |~Yg=1<=>~p=1 i ~q=1 i ~r=1
H: 0  0  0  1  1  1  =0    =1     |~Yh=~p*~q* r |~Yh=1<=>~p=1 i ~q=1 i  r=1
   1  2  3  4  5  6   7     8       a   b  c  d   e       f      g      h

Dlaczego ten zapis jest zdecydowanie lepszy?
… bo doskonale widać tu logikę symboliczną opisaną tabelą symboliczną abcdefgh, gdzie wszystkie zmienne binarne sprowadzone są do jedynek na mocy prawa Prosiaczka.

Prawa Prosiaczka:
I.
Fałsz (=0) w logice dodatniej (bo p) jest tożsamy z prawdą (=1) w logice ujemnej (bo ~p)
(p=0)=(~p=1)
II.
Fałsz (=0) w logice ujemnej (bo ~p) jest tożsamy z prawdą (=1) w logice dodatniej (bo p)
(~p=0)=(p=1)

Rzeczone JEDYNKI, wartości zmiennych symbolicznych w tabeli efgh doskonale widać w tabeli zero-jedynkowej 12345678!

Ostatnio zmieniony przez rafal3006 dnia Pon 5:53, 26 Wrz 2016, w całości zmieniany 13 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna
PostWysłany: Pon 16:42, 26 Wrz 2016    Temat postu:
Czy twój AND dla n=2 jest funkcją jaką opisałem w poprzednim wpisie?
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 ... 66, 67, 68 ... 124, 125, 126  Następny
Strona 67 z 126

 
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
Na skróty:BiuroKomentarze do artykułówŚwiatopoglądNaukaSztukaTowarzystwoStopkaFilozofiaWięzienieKretowiskoKawiarniaApologia kontra krytyka teizmuMetodologiaForum KubusiaRozbieranie irracjonalizmuBlog: hushekKatolicyzmGwiezdne WojnyNauki społeczneBlog: Michał DyszyńskiReligie i wyznaniaŚwięte KsięgiBlog: IroBKosmosGenesisBlog: MMMPowitaniaNauka a światopoglądŚmietnikRegulamin