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 ... 45, 46, 47 ... 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ść
fiklit




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


Płeć: Mężczyzna

PostWysłany: Pią 10:50, 10 Cze 2016    Temat postu:

Bardzo dobrze, że to zauważyłeś i doprecyzowałeś. Inaczej AK było by trochę niezrozumiałe. W KRZ na szczęście nie ma tego problemu.
Czekam na obiecaną odpowiedź.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 1:34, 11 Cze 2016    Temat postu:

Dowód wewnętrznej sprzeczności KRZ!

fiklit napisał:
Bardzo dobrze, że to zauważyłeś i doprecyzowałeś. Inaczej AK było by trochę niezrozumiałe. W KRZ na szczęście nie ma tego problemu.
Czekam na obiecaną odpowiedź.

W KRZ jest problem fundamentalny - KRZ jest wewnętrznie sprzeczna.

Dowód:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1100.html#282445
fiklit napisał:
Cytat:
Zauważ, że wyszło ci iż równanie logiczne M4 wynikłe z ostatniej linii tabeli zero-jedynkowej:
M4=p+q
Jest tożsame z nagłówkiem tabeli:
Y = p+q

Nie jest to prawdą bo ostatnią linię tabeli opisuje równanie:

Co nie jest prawdą?
która "=" nie zachodzi?


Część I
Operator OR(|+) i jego związki z operatorem AND(|*) w algebrze Kubusia:

Kod:

Tabela 1
Wersja AK dla tabeli zero-jedynkowej ABCD123:
Operator OR(|+) i jego związki z operatorem AND(|*):
   p  q  Y=p+q                      ||~p ~q  ~Y=~p*~q
A: 1  1  =1  <-|Y=1<=>p=1 lub q=1   || 0  0  =0    <-|~Y=0<=>~p=0 lub ~q=0
B: 1  0  =1  <-|Po obcięciu jedynek:|| 0  1  =0    <-|Po obcięciu zer:
C: 0  1  =1  <-|Y=p+q               || 1  0  =0    <-|~Y=~p+~q
--------------------------------------------------------------------------
D: 0  0  =0  <=|Y=0<=>p=0  i  q=0   || 1  1  =1    <=|~Y=1<=>~p=1  i  ~q=1
               |Po obcięciu zer:    ||               |Po obcięciu jedynek:
               |Y=p*q               ||               |~Y=~p*~q
   1  2   3     a b c                  4  5   6        d  e  f
Definicja operatora OR(|+) w równaniach algebry Boole’a to układ równań logicznych:
ABC123=Cabc:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D456=Ddef:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Jak wyjaśniłem w poprzednim poście, w algebrze Kubusia z tabel zero-jedynkowych ABCD123 i ABCD456 bierzemy wyłącznie te części w których zmienne sprowadzone są do jedynek, inaczej mamy sprzeczność czysto matematyczną bowiem:
Tabela zero-jedynkowa ABCD123 to nie jest tabela operatora AND(|*) jakby to wynikało z zapisu Dabc.
Podobnie, tabela zero-jedynkowa ABCD456 to nie jest tabela operatora OR(|+) jakby to wynikało z zapisu Cdef.
Stąd mamy:

Prawo Sowy:
Nagłówki wszelkich tabel zero-jedynkowych wyrażonych spójnikami „lub”(+) i „i”(*) opisują wyłącznie linie z jedynkami w wyniku

Prawo Sowy to zdecydowanie najważniejsze prawo w logice matematycznej!
Wnioski z prawa Sowy:
Znaczek „+” w nagłówku tabeli ABCD123 (Y=p+q) to spójnik „lub”(+) z naturalnej logiki matematycznej człowieka - to wyłącznie obszar ABC123 opisany równaniem Cabc.
Znaczek „*” w nagłówku tabeli ABCD456 (~Y=~p*~q) to wyłącznie spójnik „i”(*) z naturalnej logiki matematycznej człowieka - to wyłącznie linia D456 opisana równaniem Ddef.

Pozostałe części tabel zero-jedynkowych ABCD123 i ABCD456 to ślepaki (zapchaj dziury) utworzone na mocy praw Prosiaczka:
(p=0)=(~p=1)
(p=1)=(~p=0)
potrzebne wyłącznie dla potrzeb rachunku zero-jedynkowego, bez żadnego znaczenia w logice matematycznej!

Część II
Budowa operatora OR(|+) w interpretacji KRZ


… a jak dokładnie tą samą tabelę ABCD123 interpretuje KRZ?
… ano tak:
Kod:

Tabela 2
Wersja KRZ dla tabeli zero-jedynkowej ABCD123:
Operator OR(|+):
                                     |Mintermy
   p  q  Y=p+q                       |
A: 1  1  =1  <-|Y=1<=>p=1 lub q=1    |m1= p* q
B: 1  0  =1  <-|Po obcięciu jedynek: |m2= p*~q
C: 0  1  =1  <-|Y=p+q                |m3=~p* q
                                     |Y=m1+m2+m3=p*q+p*~q+~p*q = p+q
                                     |Y=p+q
--------------------------------------------------------------------
                                     |Maksterm M4!
                                     |M4 = Y = p+q
                                     |Sprowadzenie do zer
D: 0  0  =0                        <=|Y=0<=> p=0 lub q=0
                                     |Po obcięciu zer
                                     |Y=p+q
   1  2   3                           a b c

Pytania:
I.
KRZ widzi wyłącznie tabelę ABCD123 oraz ABCDabc
Czy możesz zapisać w którym miejscu w KRZ jest miejsce na funkcję logiczną:
~Y= ~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Zauważ, że KRZ widzi odpowiedź na pytanie „Kiedy skłamię (Y=0)” wyłącznie na gruncie tabeli zero-jedynkowej ABCD123.
ABC123:
Dotrzymam słowa (Y=1):
Y=1 <=> p=1 lub q=1 (co doskonale widać w tabeli ABCD123 - obszar ABC123)
D123:
Skłamię (Y=0):
Y=0 <=> p=0 i q=0 (co doskonale widać w tabeli ABCD123 - linia D123)
W KRZ na gruncie tabeli zero-jedynkowej ABCD123 w linii D123 jest spójnik „i”(*) - nigdy „lub”(+)!

Dowód na przykładzie:
p=K, q=T
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T (logika dodatnia bo Y)
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1 (widać to doskonale w tabeli zero-jedynkowej ABCD123 - obszar ABC123)
… a kiedy pani skłamie?
Linia D123 się kłania!
Pani skłamie (Y=0) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)
D123: Y=0 <=> K=0 i T=0 (widać to doskonale w tabeli zero-jedynkowej ABCD123 - linia D123)
Powtórzę:
Na gruncie KRZ w linii D123 mamy spójnik „i”(*), nigdy „lub”(+) - jak to jest w makstermie M4
Dokładnie to samo w AK:
2.
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do teatru (~T=1) i nie pójdziemy do kina (~K=1)
~Y=~K*~T (logika ujemna bo ~Y)
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
W AK da się zapisać funkcję logiczną ~Y=~K*~T (logika ujemna bo ~Y) w równaniu algebry Boole’a, natomiast na gruncie KRZ to niewykonalne. KRZ jest bez sensu, bo nie pozwala na naturalną komunikację człowieka z człowiekiem, generuje debilne logiki formalne będące totalnym odjazdem od języka mówionego którym posługują się wszyscy ludzie, od 5-cio latków poczynając na prof. matematyki kończąc. KRZ to epoka kamienna, gdzie ludziki grzebią się cały czas w logice zero-jedynkowej, podczas gdy przykładowo programiści pisali programy bezpośrednio w kodzie zero-jedynkowym przez mgnienie oka po czym natychmiast skopiowali działanie własnego mózgu i przeszli na języki symboliczne (równania algebry Boole’a) od asemblera wzwyż.
Prawa algebry Boole’a:
Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y):
Y = ~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = K+T = ~(~K*~T)
Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
Logika ujemna (bo ~Y) to zanegowana logika dodatnia (bo Y):
~Y = ~(Y)
podstawiając 2 i 1 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y=~K*~T = ~(K+T)

II.
Czy nie widzisz sprzeczności w tym co KRZ zapisuje?
M4 = Y=p+q
Zauważ, że w makstermie M4 KRZ pisze na mocy linii D123:
M4:
Y=0 <=> p=0 lub q=0 (bo innego zera w wyniku nie ma w tabeli ABCD123!)
co jest oczywistym i absolutnym fałszem czysto matematycznym!

Dowód:
Maksterm M4 jest spełniony także dla linii B i C bo mamy tu:
Linia B: q=0
Linia C: p=0
Czy aby na pewno linie B i C opisują fałsz (Y=0)?

Podsumowując:
W tym momencie wewnętrzna sprzeczność KRZ została udowodniona!
… pozamiatane.


Ostatnio zmieniony przez rafal3006 dnia Sob 8:13, 11 Cze 2016, w całości zmieniany 24 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 7:43, 11 Cze 2016    Temat postu:

Cytat:
Zauważ, że w makstermie M4 piszesz:
M4:
Y=0 <=> p=0 lub q=0

Ja tak piszę? Kłamiesz.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 7:53, 11 Cze 2016    Temat postu:

fiklit napisał:
Cytat:
Zauważ, że w makstermie M4 piszesz:
M4:
Y=0 <=> p=0 lub q=0

Ja tak piszę? Kłamiesz.

Przepraszam, myślałem iż to co niżej to oficjalna wykładnia KRZ.
Czy się mylę?

Historyczny link z Internetu!
[link widoczny dla zalogowanych]
Cytat:

Dysjunkcyjna postać kanoniczna funkcji = postać alternatywno-koniunkcyjna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 1 tworzy produkt termalny w którym zmienne przyjmujące wartość 1 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 0 w sposób zanegowany. Tak tworzone mintermy są sumowane tworząc kanoniczną postać dysjunkcyjną dla funkcji

Koniunkcyjna postać kanoniczna funkcji = postać koniunkcyjno-alternatywna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 0 tworzy maxterm w którym zmienne przyjmujące wartość 0 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 1 w sposób zanegowany. Tak tworzone maxtermy są mnożone tworząc kanoniczną postać koniunkcyjną dla funkcji.

Zobacz to wytłuszczone.

P.S.
Wymieniłem ten fragment, teraz brzmi on tak:
II.
Czy nie widzisz sprzeczności w tym co KRZ zapisuje?
M4 = Y=p+q
Zauważ, że w makstermie M4 KRZ pisze na mocy linii D123:
M4:
Y=0 <=> p=0 lub q=0 (bo innego zera w wyniku nie ma w tabeli ABCD123!)
co jest oczywistym i absolutnym fałszem czysto matematycznym!

Dowód:
Maksterm M4 jest spełniony także dla linii B i C bo mamy tu:
Linia B: q=0
Linia C: p=0
Czy aby na pewno linie B i C opisują fałsz (Y=0)?

Podsumowując:
W tym momencie wewnętrzna sprzeczność KRZ została udowodniona!
… pozamiatane.


Ostatnio zmieniony przez rafal3006 dnia Sob 8:14, 11 Cze 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 8:26, 11 Cze 2016    Temat postu:

Zgodne z tym wytłuszczonym maxterm dla linii D ma postać: M4=p+q.
Wyniki w kolumnie 3 nie mają żadnego wpływu na postać makstermu.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 13:44, 11 Cze 2016    Temat postu:

fiklit napisał:
Zgodne z tym wytłuszczonym maxterm dla linii D ma postać: M4=p+q.
Wyniki w kolumnie 3 nie mają żadnego wpływu na postać makstermu.

Weźmy konkretne zdanie wypowiedziane przez panią w przedszkolu:
1.
Drogie dzieci:
Jutro pójdziemy do kina lub do teatru
Y=K+T

Tabela prawdy dla tego zdania to:
Kod:

Tabela 2
Wersja KRZ dla tabeli zero-jedynkowej ABCD123:
Operator OR(|+):
                                     |Mintermy
   K  T  Y=K+T                       |
A: 1  1  =1  <-|Y=1<=>K=1 lub T=1    |m1= K* T
B: 1  0  =1  <-|Po obcięciu jedynek: |m2= K*~T
C: 0  1  =1  <-|Y=p+q                |m3=~K* T
                                     |Y=m1+m2+m3=K*T+K*~T+~K*T = K+T
                                     |Y=K+T
--------------------------------------------------------------------
                                     |Maksterm M4!
                                     |M4 = Y = K+T
                                     |Sprowadzenie do zer
D: 0  0  =0                        <=|Y=0<=> K=0 lub T=0
                                     |Po obcięciu zer
                                     |Y=K+T
   1  2   3                           a b c

Mam zatem bardzo proste i konkretne pytania.
Czy KRZ w tabeli zero-jedynkowej ABCD123 widzi odpowiedź dwa pytania:
1.
Kiedy jutro pani dotrzyma słowa?
Znaczy:
Kiedy Y=1?
2.
Kiedy jutro pani skłamie?
Znaczy:
Kiedy Y=0?

Pozwolisz że odpowiem jak to jest w KRZ zdaniem moim i np. Fizyka który poprawnie interpretował tabelę zero-jedynkową z trzema zmiennymi:
Y=p+q*r
Nasz forumowy Idiota nigdy tego nie zrozumie tzn. jest słabszy od Fizyka, obu znam w realu (spotkania w piwiarni na Chmielnej w Warszawie) - czy mam rację Idioto?
Co ciekawe w początkowej dyskusji na ateiście.pl (z 7 lat temu) Fizyk myślał o logice jak normalny człowiek, tzn. myślał naturalną logiką każdego człowieka ... dopóki nasz Idiota nie zaczął mu prać mózgu KRZ-tem.
Dowód choćby tu:
[link widoczny dla zalogowanych]

Interpretacja Fizyka:
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
Kiedy JUTRO pani dotrzyma słowa?
Odpowiedź mamy w obszarze ABC123:
Pani dotrzyma słowa (Y=1) 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
Czyli:
Wystarczy że JUTRO pójdziemy w dowolne miejsce i już pani dotrzyma słowa!
… dalsze jej działania będą bez znaczenia.

Czekam teraz na odpowiedź na pytanie 2:
2.
Kiedy jutro pani skłamie?
Znaczy:
Kiedy Y=0?


Ostatnio zmieniony przez rafal3006 dnia Sob 14:38, 11 Cze 2016, w całości zmieniany 8 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 15:04, 11 Cze 2016    Temat postu:

Przytaczam poniższy cytat, bo to jest typowe zachowanie ziemskiego "matematyka" np. Idioty.
Czy mam rację Idioto?

http://www.sfinia.fora.pl/blog-hushek,67/koncik-naukowo-techniczny-ale-ino-la-tfardzieli,7722-1375.html#282693
WLR napisał:
rafal3006 napisał:

Wystarczy że JUTRO pójdziemy w dowolne miejsce i już pani dotrzyma słowa!
… dalsze jej działania będą bez znaczenia.



Głupoty Pan wypisujesz Kubusiu.
Jutro może padać deszcz, albo pani przedszkolanka skręci sobie nogę
na baletach z panem katechetą i już nigdzie z bachorami nie pójdzie.

... a co to ma za znaczenie dla matematyki?
Matematyki to nie rusza!
Każde dziecko potrafi odpowiedzieć na pytanie kiedy jutro pani dotrzyma słowa (Y=1) a kiedy skłamie (Y=0).
... a jak będzie jutro w rzeczywistości to gówno kogo obchodzi - pani ma wolną wolę i może skłamać, może w nią walnąć piorun 5 min po wypowiedzianym zdaniu - prawdziwej matematyki, algebry Kubusia, to nie rusza!

Logika jest po to by wiedzieć z góry kiedy JUTRO pani skłamie (Y=0) a kiedy dotrzyma słowa (Y=1)!

Pani musi znać odpowiedź na te pytania w momencie wypowiadania tego zdania ... inaczej co WLR?
Pani będzie se działać chaotycznie bo nie wie kiedy skłamie i dopiero po fakcie ma obudzić się z ręką w nocniku?

Jest pojutrze ...
Pani:
Kurwa!
Skłamałam!
To nie moja wina!
To jest wina tej zasranej logiki KRZ - która może odpowiedzieć na pytanie kiedy dotrzymałam słowa a kiedy skłamałam wyłącznie w czasie przeszłym, dopiero po zaistniałym fakcie, bo na mocy definicji z KRZ musi znać wartości logiczne zmiennych K i T ... a te są znane dopiero po zaistniałym fakcie.
Przed zaistniałym faktem ta zakichana logika, KRZ, o niczym nie ma pojęcia!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 15:27, 11 Cze 2016    Temat postu:

Ciąg dalszy głupot WLR-a ...
To tylko pokazuje, jak fundamentalnie INACZEJ rozumiemy pojęcie "logika matematyczna" w algebrze Kubusia i KRZ-cie.

WLR napisał:
rafal3006 napisał:

Pani musi znać odpowiedź na te pytania w momencie wypowiadania tego zdania ... inaczej co WLR?
Pani będzie se działać chaotycznie bo nie wie kiedy skłamie i dopiero po fakcie ma obudzić się z ręką w nocniku?



Nikt nie zna faktów które mają dopiero nastąpić. dlatego każda deklaracja dotycząca przyszłości,
opierać się może jedynie na rachunku prawdopodobieństwa.

Dlatego tak, ona pani pojęcia nie ma, skłamie czy też nie o czym przekona się dopiero jutro
a do tego niepotrzebna jej matematyka.

Ja Panie Kubusiu mogę obiecać mojemu synowi, że dzisiaj wygram w Lotto kilka milionów,
bo mam silną motywację i zrobiłem wszystko co w mojej mocy, aby słowa dotrzymać.
Obawiam się, że jednak skłamałbym jak bura suka.

Rachunek prawdopodobieństwo nie ma tu nic do rzeczy.
Każdy 5-cio latek, każdy normalny człowiek, z normalnym matematykiem na czele (np. Fizyk) wie z pewnością absolutną, z pewnością Boga, kiedy JUTRO pani dotrzyma słowa (Y=1), a kiedy pani skłamie (Y=0).

... a jak będzie JUTRO w rzeczywistości, to gówno kogo obchodzi - może być oczywiście cokolwiek, bo pani ma wolną wolę, może kłamać etc.

Powtórzę:
Logika matematyczna jest po to, by dać odpowiedź na pytanie kiedy jutro pani dotrzyma słowa (Y=1), a kiedy skłamie (Y=0) już w momencie wypowiedzenia tego zdania!

Logika matematyczna to 100% WIEDZA o tym co może zdarzyć się w przyszłości, czyli kiedy w przyszłości pani skłamie (Y=0) a kiedy dotrzyma słowa (Y=1).
Faktyczna rzeczywistość, która zaistnieje JUTRO jest tu kompletnie bez znaczenia!


Ostatnio zmieniony przez rafal3006 dnia Sob 16:01, 11 Cze 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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Sob 15:58, 11 Cze 2016    Temat postu:

Ciąg dalszy wynurzeń WLR-a ...

http://www.sfinia.fora.pl/blog-hushek,67/koncik-naukowo-techniczny-ale-ino-la-tfardzieli,7722-1400.html#282709
WLR napisał:
rafal3006 napisał:

Rachunek prawdopodobieństwo nie ma tu nic do rzeczy.
Każdy 5-cio latek, każdy normalny człowiek, z normalnym matematykiem na czele (np. Fizyk) wie z pewnością absolutną, z pewnością Boga, kiedy pani JUTRO pani dotrzyma słowa (Y=1), a kiedy pani skłamie (Y=0).

... a jak będzie JUTRO w rzeczywistości, to gówno kogo obchodzi - może być oczywiście cokolwiek, bo pani ma wolną wolę, może kłamać etc.



To proszę mi tu zaraz matematycznie a bez uciekania się do rachunku prawdopodobieństwa udowodnić
kłamliwość zdania: Dzisiaj wygram w Lotto bo kupiłem los. Proszę mi udowodnić, że jutro to zdanie
będzie w 100% kłamstwem.

To jest tylko twoje pobożne życzenie - nie masz tu żadnej gwarancji matematycznej - masz tu najzwyklejsze rzucanie monetą.

Zupełnie czym innym jest zdanie.
Mówisz do syna:
Jeśli dzisiaj wygram w totka to kupię ci samochód
T=>S

Tu dajesz synowi gwarancję matematyczną =>, 100% pewność, że jeśli w tego totka wygrasz to synuś będzie jeździł samochodzikiem.
Natomiast jeśli w tego totka nie wygrasz to też możesz mu kupić samochodzik i na 100% kłamcą nie zostaniesz.

Ot, i cała logika matematyczna IMPLIKACJĄ prostą zwana :)

http://www.sfinia.fora.pl/blog-hushek,67/koncik-naukowo-techniczny-ale-ino-la-tfardzieli,7722-1400.html#282743

WLR napisał:
rafal3006 napisał:


Tu dajesz synowi gwarancję matematyczną =>, 100% pewność, że jeśli w tego totaka wygrasz to synuś będzie jeździł samochodzikiem.
Natomiast jeśli w tego totka nie wygrasz to też możesz mu kupić samochodzik i na 100% kłamcą nie zostaniesz.

Ot, i cała logika matematyczna IMPLIKACJĄ zwana :)

Otóż dupa, Panie Kubuś! Połowa zdania okaże się nieprawdziwa, bo przecież obiecywałem wygrać a nie wygrałem.
To, że samochód mu kupię, da 50% prawdziwości zdania, więc równie dobrze mogę wygrać i samochodu nie kupić
a prawdziwość zdania również będzie połowiczna. Tutaj nie wiek ma znaczenie Panie Kubuś ale logika zwykła, która
przecież nieobca jest nawet 5 latkom a jak widzę Panu jakoś i owszem.

To wytłuszczone nie ma sensu, znaczy jak wygrasz i nie kupisz to kłamcą zostajesz. Kłamstwo boli tego którego okłamujesz a i normalnego człowieka również - z wyjątkiem ciebie WLR bo se twierdzisz że możesz wygrać i nie kupić synowi samochodu - gówno to oczywiście prawda.

Wyłącznie w przypadku nie wygrania masz 100% wolnej woli, możesz synkowi kupić samochód albo nie kupić - kłamcą nie zostaniesz.
Nie masz wolnej woli, czyli zostaniesz kłamcą tylko i wyłącznie w przypadku gdy wygrasz i samochodu nie kupisz.
Kto cię pozbawił wolnej woli?
Sam się jej pozbawiłeś DOBROWOLNIE obiecując samochód jak wygrasz :)
Kłamać oczywiście możesz do woli.


Ostatnio zmieniony przez rafal3006 dnia Nie 6:49, 12 Cze 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ść
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 2:53, 12 Cze 2016    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1125.html#282653
fiklit napisał:
Zgodne z tym wytłuszczonym maxterm dla linii D ma postać: M4=p+q.
Wyniki w kolumnie 3 nie mają żadnego wpływu na postać makstermu.

Historyczny link z Internetu!
[link widoczny dla zalogowanych]
Cytat:

Dysjunkcyjna postać kanoniczna funkcji = postać alternatywno-koniunkcyjna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 1 tworzy produkt termalny w którym zmienne przyjmujące wartość 1 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 0 w sposób zanegowany. Tak tworzone mintermy są sumowane tworząc kanoniczną postać dysjunkcyjną dla funkcji

Koniunkcyjna postać kanoniczna funkcji = postać koniunkcyjno-alternatywna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 0 tworzy maxterm w którym zmienne przyjmujące wartość 0 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 1 w sposób zanegowany. Tak tworzone maxtermy są mnożone tworząc kanoniczną postać koniunkcyjną dla funkcji.


Masz rację Fiklicie, mintermy i makstermy mają banalny sens matematyczny pod warunkiem objęcia tymi definicjami także wyjścia Y!
Bez objęcia definicjami mintermu i makstermu wyjścia Y nierozróżnialna jest w logice matematycznej banalna logika dodatnia (bo Y) i logika ujemna (bo ~Y) … z matematyki robi się wówczas kociokwik.
Dowód w tym poście.

Twierdzenie:
Największą tragedią logiki matematycznej ziemian jest nieodróżniania w algebrze Boole’a banalnej logiki dodatniej (bo Y) i ujemnej (bo ~Y).

Wracając do tematu, fragment najważniejszego postu w historii AK:
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1100.html#282479

Część I
Operator OR(|+) i jego związki z operatorem AND(|*):

Kod:

Tabela 1
Operator OR(|+) i jego związki z operatorem AND(|*):
   p  q  Y=p+q                      ||~p ~q  ~Y=~p*~q
A: 1  1  =1  <-|Y=1<=>p=1 lub q=1   || 0  0  =0    <-|~Y=0<=>~p=0 lub ~q=0
B: 1  0  =1  <-|Po obcięciu jedynek:|| 0  1  =0    <-|Po obcięciu zer:
C: 0  1  =1  <-|Y=p+q               || 1  0  =0    <-|~Y=~p+~q
--------------------------------------------------------------------------
D: 0  0  =0  <=|Y=0<=>p=0  i  q=0   || 1  1  =1    <=|~Y=1<=>~p=1  i  ~q=1
               |Po obcięciu zer:    ||               |Po obcięciu jedynek:
               |Y=p*q               ||               |~Y=~p*~q
   1  2   3     a b c                  4  5   6        d  e  f
Definicja operatora OR(|+) w równaniach algebry Boole’a:
ABC123=Cabc:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D456=Ddef:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Z tabeli ABCD1234abc doskonale widać, że w logice matematycznej nie wolno mieszać sprowadzania zmiennych do jedynek (ABC123=c123) i sprowadzania zmiennych do zer (linia D123abc) na mocy praw Prosiaczka:
(p=0)=(~p=1)
(p=1)=(~p=0)
Bo robi się sprzeczność czysto matematyczna.
Dowód:
Spójnik „lub”(+) z nagłówka tabeli ABCD123 Y=p+q nagle staje się spójnikiem „i”(*) Y=p*q w linii Dabc co jest błędem czysto matematycznym (sprzeczność)

Podobnie w tabeli ABCD456 nie wolno mieszać sprowadzania do jedynek (linia D456def) i sprowadzania zmiennych do zer (ABC456=Cdef) na mocy praw Prosiaczka bo robi się sprzeczność czysto matematyczna.
Dowód:
Spójnik „i”(*) z nagłówka tabeli ~Y=~p*~q staje się nagle spójnikiem „lub”(+) w obszarze ABC456=cdef ~Y=~p+~q co jest błędem czysto matematycznym (sprzeczność).

Dowód na przykładzie dla tabeli ABCD123.
Pani w przedszkolu:
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
z linii D123abc wynika, że zdanie:
2.
Jutro pójdziemy do kina i do teatru
Y=K*T
również będzie prawdziwe.
Tymczasem matematycznie zdanie 2 ma zero wspólnego ze zdaniem 1 - to zupełnie inne zdanie, z zupełnie innego operatora, operatora AND(|*) opisanego niżej.
Zapis Y=p*q w linii D123abc jest tu zatem błędem czysto matematycznym.


Część II
Operator AND(|*) i jego związki z operatorem OR(|+):

Kod:

Tabela 2
Operator AND(|*) i jego związki z operatorem OR(|+):
   p  q  Y=p*q                      ||~p ~q  ~Y=~p+~q
A: 0  0  =0  <-|Y=0<=>p=0 lub q=0   || 1  1  =1    <-|~Y=1<=>~p=1 lub ~q=1
B: 0  1  =0  <-|Po obcięciu zer:    || 1  0  =1    <-|Po obcięciu jedynek:
C: 1  0  =0  <-|Y=p+q               || 0  1  =1    <-|~Y=~p+~q
--------------------------------------------------------------------------
D: 1  1  =1  <=|Y=1<=>p=1 i q=1     || 0  0  =0    <=|~Y=0<=>~p=0 i ~q=0
               |Po obcięciu jedynek:||               |Po obcięciu zer:
               |Y=p*q               ||               |~Y=~p*~q
   1  2   3     a b c                  4  5   6        d  e  f
Definicja operatora AND(|*) w równaniach algebry Boole’a:
D123=Dabc:
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
ABC456=Cdef:
~Y=~p+~q
co matematycznie oznacza:
~Y=1 <=>~p=1 i ~q=1

Tu mamy identycznie jak w tabeli 1.
Zapis ABC456=Cabc Y=p+q jest tu błędem czysto matematycznym, bo jest sprzeczny z nagłówkiem tabeli ABCD123, funkcją logiczną Y=p*q.
Podobnie, zapis D456=Ddef ~Y=~p*~q jest błędem czysto matematycznym, bo jest sprzeczny z nagłówkiem tabeli ABCD456, funkcją logiczną ~Y=~p+~q.

Podsumowując:
W logice matematycznej, w naturalnej logice człowieka, wszystkie zmienne muszą być sprowadzone do logicznych jedynek.
To jest warunek konieczny zrozumienia tego co się chce powiedzieć przez drugiego człowieka!

Przykład:
Pani w przedszkolu:
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Wystarczy że pójdziemy w jedno miejsce i już pani dotrzyma słowa
… dalsze jej działania będą nieistotne.

Na mocy obszaru ABC123 w tabeli 1 możemy tu sprowadzić wszystkie zmienne do jedynek (mintermy) i tak powstałe zdanie musi być zrozumiałe przez każdego 5-cio latka.
Zapiszmy tabelę 1 w mintermach i makstermach, matematycznie poprawnie, czyli z uwzględnieniem logiki dodatniej (bo Y) i ujemnej (bo ~Y)!
Kod:

Tabela 1
Operator OR(|+):
   K  T  Y=K+T                      ||~K ~T  ~Y=~K*~T
A: 1  1  =1  <-|Ya= K* T (minterm)  || 0  0  =0    <-|~Ya=~K+~T (maksterm)
B: 1  0  =1  <-|Yb= K*~T (minterm)  || 0  1  =0    <-|~Yb=~K+ T (maksterm)
C: 0  1  =1  <-|Yc=~K* T (minterm)  || 1  0  =0    <-|~Yc= K+~T (maksterm)
--------------------------------------------------------------------------
D: 0  0  =0  <=|Yd= K+ T (maksterm) || 1  1  =1    <=|~Yd=~K*~T (minterm)
   1  2   3     a   b  c               4  5   6        d   e  f
Definicja operatora OR(|+) w równaniach algebry Boole’a:
ABC123=Cabc:
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D456=Ddef:
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Doskonale widać, że jeśli w mintermach i makstermach uwzględnimy logiką dodatnią (bo Y) i ujemną (bo ~Y) to mintermy i makstermy mają sens matematyczny!

Dowód:
Matematycznie zachodzi:
Obszar ABC123:
1. Y = Ya+Yb+Yc = A: (K*T) + B: (K*~T) + C: (~K*T) - logika dodatnia (bo Y)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
2. ~Y = A: (~K+~T) * B: (K+~T) * C: (K+~T) - logika ujemna (bo ~Y)

Zapiszmy matematycznie obszar ABC456 w makstermach:
2. ~Y= ~Ya*~Yb*~Yc = A: (~K+~T) * B: (~K+T) * C: (K+~T) - logika ujemna (bo ~Y)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
1. Y = A: (K*T) + B: (K*~T) + C: (~K*T) - logika dodatnia (bo Y)

Doskonale widać tożsamość równań logicznych:
1=1
2=2

Wnioski:
1.
Mintermy i makstermy mają banalnie prościutki sens matematyczny pod warunkiem objęcia definicjami mintermu i makstermu także wyjścia Y, czyli uwzględnienia w opisie logiki dodatniej (bo Y) i ujemnej (bo ~Y), czego logika ziemian nie robi - dlatego mamy w niej kociokwik a nie matematykę.
2.
Sprowadzanie zmiennych do zera (makstermy) to logika przeciwna do naturalnej logiki matematycznej człowieka, czyli przez normalnych ludzi, 5-cio latków i humanistów TOTALNIE niezrozumiała.

Dowód:
Sprawdźmy że bez problemu każdy 5-cio latek zrozumie obszar ABC123 zapisany w mintermach
Pani w przedszkolu:
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Wystarczy że pójdziemy w jedno miejsce i już pani dotrzyma słowa
… dalsze jej działania będą nieistotne.

Zdanie tożsame w mintermach (postać alternatywno-koniunkcyjna) to:
Y = A: K*T + B: K*~T + C: ~K*T
co matematycznie oznacza:
Y=1 <=> A: K=1 i T=1 lub B: K=1 lub ~Y=1 C: ~K=1 i T=1
Uzasadnienie w logice ziemian:
Na mocy definicji mintermu wszystkie zmienne sprowadzone są do jedynek.
Uzasadnienie w AK:
To jest nic innego jak skorzystanie z banalnego prawa Prosiaczka:
(p=0) = (~p=1)
Ciekawe ile wody w Wiśle musi upłynąć, zanim ziemscy matematycy załapią absolutnie genialne prawa Prosiaczka:
(p=0) = (~p=1)
(p=1) = (~p=0)

Czyli:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro:
A: K*T = 1*1 =1 - pójdziemy do kina (K=1) i do teatru (T=1)
lub
B: K*~T = 1*1 =1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~K*T = 1*1 =1 - nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)

Oczywistym jest, że zdanie tożsame w mintermach będzie zrozumiałe dla każdego 5-cio latka, bo to tylko szczegółowa rozpiska matematyczna w naturalnej logice człowieka zdania Y=K+T.
Zauważmy, że odpowiednie zdanie w makstermach to zdanie mówiące o tym kiedy pani skłamie (~Y=1), czyli zupełnie co innego niż zdanie mówiące o tym kiedy pani dotrzyma słowa (Y=1).
To jest właśnie ten dowód, iż nierozróżnianie w mintermach i makstermach logiki dodatniej (bo Y) i ujemnej (bo ~Y), jak to jest w aktualnej logice matematycznej ziemian, czyni z tej logiki najzwyklejszy kociokwik a nie matematykę.

Zdanie ~Y (pani skłamie) wyrażone maksterami powinno być totalnie niezrozumiałe przez ludzi normalnych, 5-cio latków i humanistów.

Sprawdźmy to:
Zapiszmy matematycznie obszar ABC456 w makstermach (postać koniunkcyjno-alternatywna):
2.
~Y= ~Ya*~Yb*~Yc = A: (~K+~T) * B: (~K+T) * C: (K+~T) - logika ujemna (bo ~Y)
Stąd:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro:
A: ~K+~T = 1+1 =1 - nie pójdziemy do kina (~K=1) lub nie pójdziemy do teatru (~T=1)
i
B: ~K+T = 1+1 =1 - nie pójdziemy do kuna (~K=1) lub pójdziemy do teatru (T=1)
i
C: K+~T = 1+1 =1 - pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)

Oczywistym jest że zdanie 2 po minimalizacji (masochiści mogą minimalizować na piechotę wymnażając wielomiany) przyjmie postać:
Ddef:
~Y = ~K*~T
To jest postać alternatywno-koniunkcyjna, zatem musi być zrozumiała przez każdego 5-cio latka i humanistę.

Sprawdzamy:
3.
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Innymi słowy:
Prawdą jest (=1), że pani skłamie (~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

Jest oczywistym, że zdanie 3 zrozumie każdy 5-cio latek, natomiast zdania 2 absolutnie nikt nie zrozumie z matematykiem włącznie.
Oczywiście matematyk może się tu mądrzyć że przecież zachodzi matematyczna tożsamość:
2: ~Y=(~K+~T)*(~K+T)*(K+~T) = 3: ~K*~T
… tylko co to ludzi normalnych, 5-cio latków i humanistów obchodzi?

Zauważmy że jak zanegujemy zdanie w postaci alternatywno-koniunkcyjnej:
~Y = ~K*~T
to otrzymamy zdanie w postaci koniunkcyjno-alternatywnej kompletnie niezrozumiałe przez człowieka, czyli zdanie:
Dabc:
Y=K+T - postać koniunkcyjno-alternatywna
Akurat w tym przypadku, szczęśliwym zbiegiem okoliczności bo mamy wyłącznie jedno zero w tabeli zero-jedynkowej, postać koniunkcyjno-alternatywna pokrywa się ze zdanie wypowiedzianym:
ABC123:
Y=K+T
W ogólnym przypadku, gdy zer w tabeli zero-jedynkowej będzie więcej niż jedno, postać koniunkcyjno-alternatywna będzie niezrozumiała dla człowieka.

W najprostszej postaci nasze zdanie przyjmuje postać:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Wystarczy że pójdziemy w jedno miejsce i już pani dotrzyma słowa
… dalsze jej działania będą nieistotne.
… a kiedy pani skłamie?
Przejście ze zdaniem A do logiki ujemnej poprzez negację zmiennych i wymianę spójników
B.
Pani skłamie (~Y=1) 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

Banalne związki logiki dodatniej (bo Y) i ujemnej (bo ~Y):
1.
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y):
Y=~(~Y)
Podstawiając A i B mamy prawo De Morgana w logice dodatniej (bo Y):
Y = K+T = ~(~K*~T)
2.
Logika ujemna (bo ~Y) to zanegowana logika dodatnia (bo Y):
~Y = ~(Y)
Podstawiając B i A mamy prawo De Morgana w logice ujemnej (bo ~Y):
Y = ~K*~T = ~(K+T)


Podsumowanie:
1.
Zauważmy, że mintermy i makstermy mają matematyczny, banalny sens, wyłącznie pod warunkiem objęcia tymi definicjami także wyjścia Y, czyli zaakceptowania przez matematyków logiki dodatniej (bo Y) i ujemnej (bo ~Y) - bez tego mamy matematyczny kociokwik.
2.
I prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo q) jest tożsama z fałszem (=0) w logice ujemnej (bo ~q)
(p=1) = (~p=0)
II prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)

Na mocy praw Prosiaczka dowolną zmienną binarną możemy sprowadzić do jedynki (minterm) albo do zera (maksterm).
Minterm narzuca spójnik „i”(*) w funkcjach cząstkowych Yx oraz spójnik „lub”(+) do łączenia funkcji cząstkowych w tej samej logice (Y albo ~Y).
Maksterm narzuca spójnik „lub”(+) w funkcjach cząstkowych Yx oraz spójnik „i”(*) do łączenia funkcji cząstkowych w tej samej logice (Y albo ~Y).

Czy ten post jest zrozumiały?


Ostatnio zmieniony przez rafal3006 dnia Nie 8:16, 12 Cze 2016, w całości zmieniany 10 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 8:30, 13 Cze 2016    Temat postu:

Błąd czysto matematyczny w logice ziemian

W poście wyżej popełniłem błąd czysto matematyczny sugerując się ziemskimi definicjami mintermu i makstermu.
[link widoczny dla zalogowanych]
Cytat:

Dysjunkcyjna postać kanoniczna funkcji = postać alternatywno-koniunkcyjna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 1 tworzy produkt termalny w którym zmienne przyjmujące wartość 1 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 0 w sposób zanegowany. Tak tworzone mintermy są sumowane tworząc kanoniczną postać dysjunkcyjną dla funkcji

W części pierwszej definicji mintermu mamy tu ewidentne sprowadzanie zmiennych do jedynek na mocy praw Prosiaczka:
(p=0)=(~p=1)
(~p=0)=(p=1)
Cytat:

Koniunkcyjna postać kanoniczna funkcji = postać koniunkcyjno-alternatywna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 0 tworzy maxterm w którym zmienne przyjmujące wartość 0 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 1 w sposób zanegowany. Tak tworzone maxtermy są mnożone tworząc kanoniczną postać koniunkcyjną dla funkcji.

W części pierwszej definicji makstermu mamy tu ewidentne sprowadzanie zmiennych do zer na mocy praw Prosiaczka:
(p=1) = (~p=0)
(~p=1) = (p=0)

rafal3006 napisał:

Zapiszmy tabelę 1 w mintermach i makstermach, matematycznie poprawnie, czyli z uwzględnieniem logiki dodatniej (bo Y) i ujemnej (bo ~Y)!
Kod:

Tabela 1
Operator OR(|+):
   p  q  Y=p+q                      ||~p ~q  ~Y=~p*~q
A: 1  1  =1  <-|Ya= p* q (minterm)  || 0  0  =0    <-|~Ya=~p+~q (maksterm)
B: 1  0  =1  <-|Yb= p*~q (minterm)  || 0  1  =0    <-|~Yb=~p+ q (maksterm)
C: 0  1  =1  <-|Yc=~p* q (minterm)  || 1  0  =0    <-|~Yc= p+~q (maksterm)
--------------------------------------------------------------------------
D: 0  0  =0  <=|Yd= p+ q (maksterm) || 1  1  =1    <=|~Yd=~p*~q (minterm)
   1  2   3     a   b  c               4  5   6        d   e  f
Definicja operatora OR(|+) w równaniach algebry Boole’a:
ABC123=Cabc:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D456=Ddef:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1


To co wyżej to brednie czysto matematyczne.
Z tabeli symbolicznej ABCDabc wynika bowiem co następuje:
Y = Ya+Yd+Yc+Yd
Powinno być:
Y = Ya+Yb+Yc
Identyczne brednie są też w tabeli ABCDdef:
~Y=~Ya*~Yb*~Yc*~Yd
Powinno być:
~Y=~Yd

Powyższa tabela poprawna matematycznie jest jak niżej:
Kod:

Tabela 1
Operator OR(|+):
   p  q  Y=p+q                       ||~p ~q  ~Y=~(p+q)
A: 1  1  =1  <-| Ya= p* q (minterm)  || 0  0  =0    <-|~Ya=~p+~q (maksterm)
B: 1  0  =1  <-| Yb= p*~q (minterm)  || 0  1  =0    <-|~Yb=~p+ q (maksterm)
C: 0  1  =1  <-| Yc=~p* q (minterm)  || 1  0  =0    <-|~Yc= p+~q (maksterm)
--------------------------------------------------------------------------
D: 0  0  =0  <=|~Yd=~p*~q (minterm)  || 1  1  =1    <=| Yd= p+ q (maksterm)
   1  2   3     a    b  c               4  5   6        d   e  f
Definicja operatora OR(|+) w równaniach algebry Boole’a:
ABC123=Cabc:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D123abc:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Dopiero w tym momencie jest wszystko w porządku:
Z tabeli symbolicznej ABCDabc odczytujemy:
1.
ABC123abc
Y = Ya+Yb+Yc
Y = A: (p*q) + B: (p*~q) + C: (~p*q)
2.
D123abc
~Y=~Yd
~Y = D: (~p*~q)

Z tabeli symbolicznej ABCDdef odczytujemy:
3.
ABC456def
~Y = ~Ya*~Yb*~Yc
~Y = A: (~p+~q)* B: (~p+q)* C: (p+~q)
4.
D456def
Y=Yd
Y= p+q

Matematycznie zachodzi:
4=1
Y = p+q = A: (p*q) + B: (p*~q) + C: (~p*q)

Matematycznie zachodzi również:
2=3
~Y = ~p*~q = A: (~p+~q)* B: (~p+q)* C: (p+~q)

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia to zanegowana logika ujemna
Y=~(~Y)
Podstawiając 4 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y=p+q = ~(~p*~q)

Związek logiki ujemnej (bo ~Y) z logiką dodatnią (bo Y):
Logika ujemna to zanegowana logika dodatnia
~Y = ~(Y)
Podstawiając 2 i 4 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y = ~p*~q = ~(p+q)

Doskonale tu widać, że logika matematyczna bez rozróżnienia logiki dodatniej (bo Y) i ujemnej (bo ~Y) jest bez sensu.


Ostatnio zmieniony przez rafal3006 dnia Pon 8:45, 13 Cze 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 8:45, 13 Cze 2016    Temat postu:

To o czym piszesz nie jest logiką ujemną. To tylko zanegowanie funkcji.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 15:43, 13 Cze 2016    Temat postu:

fiklit napisał:
To o czym piszesz nie jest logiką ujemną. To tylko zanegowanie funkcji.


[link widoczny dla zalogowanych]
W układach logicznych, gdzie są zdefiniowane tylko dwie wartości liczbowe, rozróżnia się dwa przedziały napięć: wysoki (ozn. H, z ang. high) i niski (ozn. L, z ang. low); pomiędzy nimi jest przerwa, dla której nie określa się wartości liczbowej – jeśli napięcie przyjmie wartość z tego przedziału, to stan logiczny układu jest nieokreślony.
Jeśli do napięć wysokich zostanie przyporządkowana logiczna jedynka, a do niskich logiczne zero, wówczas mówi się, że układ pracuje w logice dodatniej (inaczej zwanej pozytywną), w przeciwnym razie mamy do czynienia z logiką ujemną (lub negatywną).


Definicja z Wikipedii jest dobra!
Należy tu rozumieć że dotyczy to zarówno wejścia p i q jak i wyjścia Y.
Wtedy i tylko wtedy ta definicja jest dobra!

Dowodem poprawności tej definicji jest układ równań logicznych opisujących bramkę OR(|+):
1.
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
2.
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Kod:

Tabela 1
Operator OR(|+) - interpretacja równań cząstkowych Ya, Yb, Yc, ~Yd
Operator OR(|+)|Mintermy  |Co matematycznie oznacza
   p  q  Y=p+q           
A: 1  1  =1  <-| Ya= p* q | Ya=1 <=> p=1 i  q=1
B: 1  0  =1  <-| Yb= p*~q | Yb=1 <=> p=1 i ~q=1
C: 0  1  =1  <-| Yc=~p* q | Yc=1 <=>~p=1 i  q=1
               |Y=Ya+Yb+Yc|
               | Y=  p+ q
-----------------------------------------------
D: 0  0  =0  <=|~Yd=~p*~q |~Yd=1 <=>~p=1 i ~q=1
   1  2   3     a    b  c
Definicja operatora OR(|+) w równaniach algebry Boole’a:
ABC123=Cabc:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D123abc:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Kod:

Tabela 2
Operator OR(|+) w układzie bramek logicznych:
Operator OR(|+)|Mintermy  |
   p  q  Y=p+q |          | ~p ~q ~Y=~p*~q
A: 1  1  =1  <-| Ya= p* q |  0  0   =0 <-|Uzupełnienie dla bramki logicznej
B: 1  0  =1  <-| Yb= p*~q |  0  1   =0 <-|na mocy prawa Prosiaczka:
C: 0  1  =1  <-| Yc=~p* q |  1  0   =0 <-|(p=1)=(~p=0)
               |Y=Ya+Yb+Yc|
               | Y=  p+ q
-------------------------------------------------
D: 0  0  =0  <=|Uzupełn.  |  1  1   =1 |~Y =~p*~q (minterm)
   1  2   3      a   b  c |  4  5    6   d   e  f
Definicja operatora OR(|+) w równaniach algebry Boole’a:
ABC123=Cabc:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
… a kiedy zajdzie ~Y?
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników
D456def:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1


Definicja bramki OR(|+) w układzie równań logicznych:
1.
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
2.
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Zauważmy, że bramka logiczna ABCD456 ma wszystkie sygnały (~Y=~p*~q) przeciwne do bramki ABCD123 (Y=p+q).
Matematyczne związki między bramkami ABCD123 i ABCD456 są następujące.

Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y):
Y=~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = p+q = ~(~p*~q)

Logika ujemna (bo ~Y) to zanegowana logika dodatnia (bo Y):
~Y = ~(Y)
Podstawiając 2 i 1 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y=~p*~q = ~(p+q)

Tłumacząc równanie 2 na logikę dodatnią (brak negacji przy nazwach) po skorzystaniu z prawa Prosiaczka:
(~Y=1) = (Y=0)
(~p=1) = (p=0)
(~q=1) = (q=0)
mamy:
2’.
~Y=~p*~q
co matematycznie oznacza:
Y=0 <=> p=0 i q=0

Równanie 2’:
Y=0 <=> p=0 i q=0
ma wszystkie sygnały przeciwne do równania 1:
Y=1 <=> p=1 lub q=1

Zatem w myśl definicji z Wikipedii równanie 2’ jest logiką ujemną w stosunku do równania 1.

Podsumowując:
Sprzętowa logika dodatnia i ujemna znana jest elektronikom po studiach elektronicznych (np. Kubusiowi) … ale matematycznego podkładu pod tą logikę nikt na świecie, póki co, nie zna.

Po fakcie to wszystko wydaje się banalnie proste, ten post to właśnie podkład matematyczny pod sprzętową logikę dodatnią i ujemną, czyli matematyczna logika dodatnia i ujemna.

Twierdzenie:
Jeśli logika dodatnia i ujemna jest oczywistością w sprzęcie (to wie każdy elektronik) to musi istnieć jej matematyczny opis.

10 lat temu to było credo Kubusia w walce o rozszyfrowanie matematycznego podkładu pod sprzętową logikę dodatnią i ujemną, przy okazji rozszyfrowana została poprawna, matematyczna interpretacja wszystkich 16 operatorów logicznych z genialną implikacją prostą p|=>q i odwrotną p|~>q na czele. Nie moja winą jest że przy okazji legł w gruzach debilizm ziemian zwany KRZ.

Poprawność niniejszego wykładu na temat logiki dodatniej i ujemnej można potwierdzić doświadczalnie - zapraszam wszystkich ziemskich matematyków na demonstrację, do laboratorium układów cyfrowych.


Ostatnio zmieniony przez rafal3006 dnia Pon 15:57, 13 Cze 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 16:06, 13 Cze 2016    Temat postu:

Logika ujemna jest wtedy gdy logicznej jedynce przyporządkujesz niski stan napięcia. W tabelkach masz logiczne jedynki i zera ale ja tam nie widzę żadnych napięć. Co przyporządkowujesz logicznym 0 1?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 16:34, 13 Cze 2016    Temat postu:

fiklit napisał:
Logika ujemna jest wtedy gdy logicznej jedynce przyporządkujesz niski stan napięcia. W tabelkach masz logiczne jedynki i zera ale ja tam nie widzę żadnych napięć. Co przyporządkowujesz logicznym 0 1?

Logika dodatnia:
1=H (2,4-5,0V)
0=L (0,0-0,4V)

Logika ujemna:
1 = L (0,0-0,4V)
0 =H (2,4-5,0V)

We wszystkich katalogach układów cyfrowych uwidoczniona jest wyłącznie logika dodatnia (bo Y). Nie oznacza to oczywiście że logika ujemna (bo ~Y) nie istnieje.

W katalogach układów cyfrowych praktycznie nigdy nie zobaczysz 0 i 1.
We wszystkich katalogach w tabeli prawdy podawane są poziomu napięć H (high) i L (low) z wolną wolą dla matematyki jak sobie ona przyporządkuje swoje:
1 = prawda
0 = fałsz

Dowód choćby w tabeli 3 (str. 3) w tym linku, opisującym bramkę OR(|+):
[link widoczny dla zalogowanych]

P.S.
Texas Instrument to pionier w technice bramek logicznych - zawsze miał najlepsze matematyczne opisy.

Zobacz pierwszą stronę tego linku:
[link widoczny dla zalogowanych]
(prawy dolny róg!)

Stoi jak wół:
Y = p+q
Y = ~(~p*~q)
Pod spodem dopisek: Positive logic

Zanegujmy ostatnie równanie stronami!
Y = p+q - logika dodatnia (bo Y)
~Y = ~p*~q - logika ujemna (bo ~Y)

Brawo TI!
Witamy w algebrze Kubusia!


Ostatnio zmieniony przez rafal3006 dnia Pon 16:45, 13 Cze 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: Pon 16:55, 13 Cze 2016    Temat postu:

No tak, przyporządkowujesz H i L do 0 i 1. A w logice co przyprządkowujesz do 0 1 aby mieć rozróżnienie dodtaniej i ujemnej?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Śro 17:43, 15 Cze 2016    Temat postu:

Kolejny błąd czysto matematyczny ziemian!

Twierdzenie ziemian:
Teoretycznie całą logikę matematyczną można zbudować przy pomocy jednego operatora OR i negatora (są też inne możliwości np. przy pomocy jednej bramki NAND albo NOR).

Odpowiedź Kubusia:
Nie jest to prawdą. W logice matematycznej nie ma fizycznej możliwości, aby wyrugować z niej choćby jeden z 16 różnych na mocy definicji operatorów logicznych.
Jak ktoś kompletnie nie rozumie algebry Boole’a, to sobie może twierdzić jak w twierdzeniu Ziemian.
Ziemianom się tu wszystko pokićkało, twierdzenie ziemian jest prawdziwe na poziomie sprzętu, czyli .. wszystkie chwyty dozwolone byleby otrzymać konkretną tabelę zero-jedynkową. Problem w tym że sprzęt nie ma nic wspólnego z logiką matematyczną, tak jak bramki logiczne nie mają nic wspólnego z jakimkolwiek językiem programowania komputerów. Programów komputerowcy nie pisze się w bramkach logicznych!

Oczywista matematyczna oczywistość:
Aby obalić dowolne twierdzenie matematyczne wystarczy pokazać jeden kontrprzykład

Twierdzenie Ziemian obalimy na przykładzie operatorów OR(|+) i AND(*):



W teorii bramek logicznych kółko jest symbolem negatora „~”
W dowolnej tabeli zero-jedynkowej punktem odniesienia jest nagłówek tabeli.
Przykładowo w tabeli R3A obserwując otaczajacą nas rzeczywistość stoimy na punktach ~p, ~q, ~Y obserwując jak zachowuje bramka AND(|*) R3.
Doskonale widać że logiką ujemną (~Y) można uzyskać na dwa sposoby:
1.
Negujemy wyjście Y, co widać na rys R2A
R2A: ~Y=~(p+q)
2.
Przechodzimy z równaniem R1A do logiki ujemnej R3A negując wszystkie zmienne i wymieniając spójniki
R3A: ~Y=~p*~q
Uwaga:
W technice cyfrowej stosuje się wyłącznie punkt 1 celem dopasowania poziomów logicznych - tu wystarczy dołożyć negator na wyjściu Y.
Sposób 2 wymaga przebudowy dosłownie całego układu logicznego, co jest czysto praktycznym bezsensem - po co harować jak wół, skoro dołożenie negatora na wyjściu funkcji Y daje to samo?
W technice mikroprocesorowej aktywne są z reguły sygnały sterujące w logice ujemnej (bo ~Y - aktywne 0) oznaczane kreską nad nazwą sygnału.
Jeśli chcemy mieć sygnał sterujący w logice dodatniej (bo Y - aktywne 1) to musimy zanegować sygnał w logice ujemnej:
Y=~(~Y)

Prawa Prosiaczka:
(p=1) = (~p=0)
Na mocy prawa Prosiaczka wiersze ABCD w tabeli R1A są tym samym co wiersze ABCD w tabeli R3A.
Nagłówki tych tabel są już inne.

Prawo Sowy:
Nagłówek wynikowy w dowolnej tabeli zero-jedynkowej, będący równaniem algebry Boole’a opisuje wyłacznie wynikowe jedynki.
Prostą interpretację dowolnych tabel zero-jedynkowych, zrozumiałą dla 5-cio latka i humanisty, mamy wyłacznie w równaniach alternatywno-koniunkcyjnych. Nietrywialnych równań koninkcyjno-alternatywnych żaden człowiek nie jest w stanie zrozumieć. W naszych definicjach widać jak prosta jest interpretacja równań alternatywno-koniunkcyjnych (w ogólnym przypadku) w tabelach R1A i R3A oraz w R1B i R3B.

Nagłówek tabeli ABCD123 w R1A (Y=p+q) daje odpowiedź na pytanie kiedy dotzrymam słowa (Y=1) - obszar ABC123.
Nagłówek tabeli ABCD123 w R3A (~Y=~p*~q) daje odpowiedź na pytanie kiedy skłamię (~Y=1) - linia D123.

Przykład zdania obsługiwanego przez operator OR(|+):
R1A:
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)

… a kiedy pani skłamie?
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników
R3A: ~Y=~K*~T
Prawdą jest (=1) że pani skłamie (~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




Przykład zdania obsługiwanego przez operator AND(|*):
R1B:
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 do teatru (T=1)

… a kiedy pani skłamie?
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników
R3B: ~Y=~K+~T
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

Podsumowanie:
Zauważmy, że tabela zero-jedynkowe ABCD123 w R3A jest identyczna jak tabela zero-jedynkowa ABCD123 w R1B - to zero-jedynkowa definicja operatora AND(|*).
ABCD123 w R3A:
~Y=~p*~q
ABCD123 w R1B:
Y=p*q
Co z tego ze tabele zero-jedynkowe są tu identyczne, skoro fundamentalnie różne są tu równania algebry Boole’a opisujące te tabele!
Matematycznie zachodzi:
~Y=~p*~q ## Y=p*q
## - różne na mocy definicji.

Twierdzenie ziemian iż można z logiki matematycznej wyrugować operator AND(|*) można miedzy bajki włożyć.
Dowód:
Jak wykopiemy w kosmos operator AND(|*) to w żaden sposób nie obsłużymy matematycznie banalnego zdania 5-cio latka.
R1B:
Jutro pójdziemy do kina i do teatru
Y=K*T
Oczywistym jest że tabela zero-jedynkowa operatora OR(|+) nie obsługuje tego zdania!
Twierdzenie ziemian, jakoby z logiki dało się wyrugować operator AND(|*) jest zatem czysto matematyczną brednią, niczym więcej.
cnd


Ostatnio zmieniony przez rafal3006 dnia Czw 5:48, 16 Cze 2016, w całości zmieniany 6 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 18:12, 15 Cze 2016    Temat postu:

Dowod wskazuje ze nie rizumiesz tego co obalasz.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Śro 18:17, 15 Cze 2016    Temat postu:

fiklit napisał:
Dowod wskazuje ze nie rizumiesz tego co obalasz.

AK i LZ różnią się dosłownie w każdej definicji, ale ...
Czy możesz pokazać na jakiej podstawie matematycznej ziemianie są przekonani iż można z logiki matematycznej wyrugować operator AND(|*)?
Jestem ciekaw, bo ja takiej możliwości matematycznej nawet na gruncie LZ nie widzę - udowodniłem to w poście wyżej.

Nie możesz zaprzeczyć, że technika bramek logicznych to nie jest logika matematyczna.
Zauważ, że w moim poprzednim poście nie zachodzą żadne (powtórzę żadne) prawa logiczne wiążące operator OR(|+) i AND(|*).
Nie widzę zatem matematycznej możliwości wyrugowania z logiki matematycznej któregokolwiek z tych operatorów.
Operator OR(|+) i AND(|*) to dwa totalnie izolowane światy, co widać w tabelach w moim ostatnim poście.

Na mocy mojego ostatniego postu mamy:
I.
Równania logiczne opisujące operator OR(|+):
Y = p+q
~Y=~(p+q)
~Y=~p*~q
~Y = ~(~p*~q)
Matematyczne związki:
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo Y~)
Y = ~(~Y)
Logika ujemna (bo ~Y) to zanegowana logika dodatnia (bo Y)
~Y=~(Y)

II.
Równania logiczne opisujące operator AND(|*):
Y = p*q
~Y= ~(p*q)
~Y=~p+~q
Y = ~(~p+~q)
Matematyczne związki:
Y = ~(~Y)
~Y=~(Y)

Nie ma najmniejszych szans na znalezienie choćby najmniejszego związku czysto matematycznego między I i II - to dwa izolowane matematycznie wszechświaty.
Z tym mam nadzieję się zgadzamy.


Ostatnio zmieniony przez rafal3006 dnia Śro 18:41, 15 Cze 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: Śro 18:35, 15 Cze 2016    Temat postu:

Do KRZ uzyj tabelek tak jak sie to robi w KRZ. I mow o operatorach z LZ a nie z AK. Wtedy ci wyjdzie a+b=~(~a * ~b).
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Śro 18:49, 15 Cze 2016    Temat postu:

fiklit napisał:
Do KRZ uzyj tabelek tak jak sie to robi w KRZ. I mow o operatorach z LZ a nie z AK. Wtedy ci wyjdzie a+b=~(~a * ~b).


To weźmy dwa zdania:
I.
Operator OR(|+):
Jutro pójdziemy do kina lub do teatru
Y=K+T
Zdanie tożsame:
Nie może się zdarzyć ~(...) że jutro nie pójdziemy do kina i nie pójdziemy do teatru
Y = ~(~K*~T)

II.
Operator AND(|*):
Jutro pójdziemy do kina i do teatru
Y=K*T
Zdanie tożsame:
Nie może się zdarzyć ~(...) że jutro nie pójdziemy do kina lub nie pójdziemy do teatru
Y = ~(~K+~T)

Nigdy nie zstąpisz układu I (operator OR) działaniami z układu II (operator AND) albo odwrotnie.
To jest fizycznie i matematycznie niemożliwe - nie da się więc wyrugować z logiki ani operatora OR(|+), ani AND(|+).


Ostatnio zmieniony przez rafal3006 dnia Śro 18:52, 15 Cze 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: Czw 9:39, 16 Cze 2016    Temat postu:

Zastapiles zdanie z niepozadanym operatorem zdaniem tozsamym uzywajacym tylko zadanych operatorow. O to chodzi. Oczywiscie mowie o operatoroch w rozumienu lz, nie twoim.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 5:27, 17 Cze 2016    Temat postu:

rafal3006 napisał:
fiklit napisał:
Do KRZ uzyj tabelek tak jak sie to robi w KRZ. I mow o operatorach z LZ a nie z AK. Wtedy ci wyjdzie a+b=~(~a * ~b).


To weźmy dwa zdania:
I.
Operator OR(|+):
Jutro pójdziemy do kina lub do teatru
Y=K+T
Zdanie tożsame:
Nie może się zdarzyć ~(...) że jutro nie pójdziemy do kina i nie pójdziemy do teatru
Y = ~(~K*~T)

II.
Operator AND(|*):
Jutro pójdziemy do kina i do teatru
Y=K*T
Zdanie tożsame:
Nie może się zdarzyć ~(...) że jutro nie pójdziemy do kina lub nie pójdziemy do teatru
Y = ~(~K+~T)

Nigdy nie zstąpisz układu I (operator OR) działaniami z układu II (operator AND) albo odwrotnie.
To jest fizycznie i matematycznie niemożliwe - nie da się więc wyrugować z logiki ani operatora OR(|+), ani AND(|+).


fiklit napisał:
Zastapiles zdanie z niepozadanym operatorem zdaniem tozsamym uzywajacym tylko zadanych operatorow. O to chodzi. Oczywiscie mowie o operatoroch w rozumienu lz, nie twoim.

Problem w tym że ziemianie nie rozumieją co to jest operator logiczny.

Dowód:
Logika matematyczna ziemian:

Weźmy nasze zdanie:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T

Tabela zero-jedynkowa dla tego zdania w LZ:
Kod:

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

Ziemianie doskonale wiedzą, iż operator OR(|+) przekazuje informację nie tylko o tym kiedy pani jutro dotrzyma słowa (Y=1) ale również kiedy jutro pani skłamie (Y=0)!
Czyli:
Informacja o faktach Y=1 i Y=0 jest zawarta w operatorze OR(|+)!

Gdybyśmy chcieli wyrazić pełną informację którą przekazuje nam operator OR(|+) musielibyśmy powiedzieć tak.
Każdy 5-cio latek doskonale wie, że jutro pani może dotrzymać słowa (Y=1) lub skłamać (Y=0) - może zajść jedno albo drugie - operator OR(|+) (Y=K|+T) przekazuje kompletną o tym informację.

Wniosek:
Nagłówek w powyższej tabeli to wyłącznie spójnik „lub”(+) opisujący wyłącznie wynikowe jedynki w tej tabeli czyli wyłącznie obszar ABC123.

Prawo Sowy:
Nagłówek dowolnej tabeli zero-jedynkowej to równanie algebry Boole’a opisujące wyłącznie wynikowe jedynki w tej tabeli.

Najśmieszniejsze jest to, że ziemianie o tym wiedzą
Dowód: definicja mintermu
[link widoczny dla zalogowanych]
Cytat:

Dysjunkcyjna postać kanoniczna funkcji = postać alternatywno-koniunkcyjna
Każdy wiersz w tablicy prawdy dla którego funkcja przyjmuje wartość 1 tworzy produkt termalny w którym zmienne przyjmujące wartość 1 są wpisywane w sposób prosty, a zmienne przyjmujące wartość 0 w sposób zanegowany. Tak tworzone mintermy są sumowane tworząc kanoniczną postać dysjunkcyjną dla funkcji

W części pierwszej definicji mintermu mamy tu ewidentne sprowadzanie zmiennych do jedynek na mocy praw Prosiaczka:
(p=0)=(~p=1)
(~p=0)=(p=1)

Analiza matematyczna naszego zdania w logice matematycznej ziemian!

ABC123:
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Doskonale to widać w obszarze ABC123.

Obszar ABC123 w rozpisce szczegółowej w logice matematycznej ziemian:
ABC123:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy:
A.
Jutro pójdziemy do kina (K=1) i do teatru (T=1)
Ya=1 <=> K=1 i T=1
lub
B.
Jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (T=0)
Yb=1 <=> K=1 i T=0
lub
C.
Jutro nie pójdziemy do kina (K=0) i pójdziemy do teatru (T=1)
Yc=1 <=> K=0 i T=1
Oczywistym jest że zdarzenia Ya, Yb i Yc są matematycznie rozłączne, zaś odpowiedź na pytanie kiedy pani dotrzyma słowa (Y=1) jest sumą logiczną tych zdarzeń:
Y=Ya+Yb+Yc
Znaczek „+” w powyższym zapisie to również spójnik „lub”(+) - to nie jest operator logiczny bo powyższy zapis nie przekazuje kompletnej informacji niesionej przez operator OR(|+), czyli informacji o tym kiedy pani dotrzyma słowa (Y=1) oraz kiedy pani skłamie (Y=0)

… a kiedy pani skłamie?
Ten fakt opisuje matematycznie wyłącznie ostatnia linia w tabeli operatora OR(|+):
D123:
Pani skłamie (Y=0) wtedy i tylko wtedy gdy:
D.
Jutro nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)
Yd=0 <=> K=0 i T=0

Doskonale widać, że kompletna informacja niesiona przez operator OR(|+) to seria czterech zdań opisujących zdarzenia rozłączne A, D, C i D.

Jeśli chcemy przekazać słownie pełną informację którą niesie w sobie operator OR(|+) to musimy powiedzieć tak:
Zdanie głupka 1:
Jutro pani dotrzyma słowa (Y=1) „lub”(+) skłamie (Y=0)
(Y=1 <=> Ya=1 lub Yb=1 lub Yc=1) + (Y=0)
To jest zdanie zawsze prawdziwe, czyli matematyczny bełkot!

Innymi słowy podstawiając nasze zdania A, B, C i D mamy:
Zdanie głupka 2:
Pani dotrzyma słowa (Y=1) gdy jutro:
ABC123:
Pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
Y=1 <=> K=1 lub T=1
… „lub”(+) pani skłamie (Y=0) gdy jutro:
D123:
Nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)
Y=0<=> K=0 i T=0


Dopiero po dodaniu części wytłuszczonej mamy pełną informację niesioną przez operator OR(|+).

Wniosek:
Symbol „+” w nagłówku tabeli zero- jedynkowej:
Y=K+T
nie jest operatorem OR(|+)!
Symbol „+” to wyłącznie spójnik „lub”(+) z naturalnej logiki matematycznej człowieka, to opis wyłącznie wynikowych jedynek w tabeli zero-jedynkowej operatora OR(|+) ABC123, to opis zaledwie połówki tabeli zero-jedynkowej ABCD123.

Operowanie w zapisie zdaniowym kompletnymi operatorami OR(|+) i AND(|*) to zdania zawsze prawdziwe - zdania głupków (delikatnie mówiąc), czyli takie zdania.

ABCD123 (kompletna tabela w zapisie słownym!):
Jutro pójdziemy do kina lub do teatru albo nie pójdziemy do kina i nie pójdziemy do teatru

Innymi słowy:
Zdanie głupka 1:
Jutro pani dotrzyma słowa (Y=1) lub skłamie (Y=0)
(Y=1 <=> Ya=1 lub Yb=1 lub Yc=1) + (Y=0)
To jest zdanie zawsze prawdziwe, czyli matematyczny bełkot!

Zdanie ABCD123 (kompletna tabela ABCD123) w rozpisce szczegółowej:
Zdanie głupka 2:
Pani dotrzyma słowa (Y=1) gdy jutro:
ABC123:
Pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
Y=1 <=> K=1 lub T=1
… „lub”(+) pani skłamie (Y=0) gdy jutro:
D123:
Nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)
Y=0<=> K=0 i T=0


Zdanie ABCD123, czyli opis pełnej informacji jaką niesie w sobie operator OR(|+) to matematyczny bełkot, bowiem nikt zdrowy na umyśle nie wypowiada zdań zawsze prawdziwych.
To samo dla operatora jednoargumentowego:
Jutro pójdę do kina (K=1) lub nie pójdę do kina (K=0)
Innymi słowy:
Jutro dotrzymam słowa (Y=1) lub skłamię (Y=0)
Wczoraj padało (P=1) lub nie padało (P=0)
Jaś do pani w przedszkolu:
Czy Mickiewicz był Polakiem?
Pani:
Mickiewicz był Polakiem (MP=1) lub nie był Polakiem (MP=0)
etc
Każdy widzi, że wartość matematyczna i użytkowa zdań zawsze prawdziwych jest równa ZERU!

Podsumowując:
1.
Ziemianie nie mają bladego pojęcia jak wyglądają równania algebry Boole’a opisujące serię czterech, niezależnych i rozłącznych zdarzeń A, B, C i D (równania cząstkowe Ya, Yb, Yc i Yd) w tabeli zero-jedynkowej ABCD123.
… bo gdyby takie pojęcie mieli to niechybnie wylądowali by w algebrze Kubusia!
2.
Czy to zapisałem w tym poście to jest poprawna analiza matematyczna zdania:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
w logice matematycznej ziemian?
Jeśli nie to poproszę o pokazanie co tu jest niezgodne z logiką matematyczną ziemian.
Zauważmy, że analizuję to zdanie wyłącznie na gruncie zero-jedynkowej tabeli prawdy opisującej to zdanie, że kompletnie mnie tu nie interesują równania cząstkowe Ya, Yb, Yc, Yd algebry Boole’a opisujące tą tabelą, których ziemianie nie znają albo nie rozumieją (patrz definicja mintermu wyżej).


Ostatnio zmieniony przez rafal3006 dnia Pią 7:34, 17 Cze 2016, w całości zmieniany 17 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ą 10:05, 17 Cze 2016    Temat postu:

Tak konkretnie to uwazasz ze
1.teor okreslanu przez definije oeratora z lz to jest to samo co wg definicji z ak
Czy tez
2. Twor okreslany przez definicje z lz w ogole nie istnieje.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 15:12, 17 Cze 2016    Temat postu:

...

Ostatnio zmieniony przez rafal3006 dnia Pią 15:30, 17 Cze 2016, w całości zmieniany 2 razy
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 ... 45, 46, 47 ... 124, 125, 126  Następny
Strona 46 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