|
Ś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.
|
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
|
Wysłany: Nie 23:22, 17 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | A co ma Pitagoras do tego? To jest jakiś przypadek, który nie musi być zbieżny z obecnym przypadkiem.
To tak, jak byś udowadniał, że mam czerwony samochód. No bo Kazik spod 15 u ciebie w bloku ma czerwony samochód i jest to fakt niezaprzeczalny, więc tylko takie samochody mają prawo istnieć. |
W analogi masz tożsamość:
Pitagoras = prawo Grzechotnika!
Takich banałów nie rozumiesz płaskoziemco? |
PItagoras jest udowodniony, a twój gad jest fałszywy.
Dlatego analogii tu nie ma.
A teraz wskazuj, na czym polegała moja manipulacja. |
Zarówno prawo De Morgana jak również prawo Grzechotnika to prawa rachunku zero-jedynkowego.
Zachodzi zatem analogia:
Prawo De Morgana = prawo Grzechotnika
Kluczowe pytanie:
Prawo De Morgana jest udowodnione, czy fałszywe
Ostatnio zmieniony przez rafal3006 dnia Nie 23:35, 17 Gru 2023, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Nie 23:31, 17 Gru 2023 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | A co ma Pitagoras do tego? To jest jakiś przypadek, który nie musi być zbieżny z obecnym przypadkiem.
To tak, jak byś udowadniał, że mam czerwony samochód. No bo Kazik spod 15 u ciebie w bloku ma czerwony samochód i jest to fakt niezaprzeczalny, więc tylko takie samochody mają prawo istnieć. |
W analogi masz tożsamość:
Pitagoras = prawo Grzechotnika!
Takich banałów nie rozumiesz płaskoziemco? |
PItagoras jest udowodniony, a twój gad jest fałszywy.
Dlatego analogii tu nie ma.
A teraz wskazuj, na czym polegała moja manipulacja. |
Zarówno prawo De Morgana jak również prawo Grzechotnika to prawa rachunku zero-jedynkowego.
Zachodzi zatem analogia:
Prawo De Morgana = prawo Grzechotnika
Kluczowe pytanie:
Prawo De Morgana jest udowodnione, czy fałszywe |
Zarówno fałszywe prawo rachunku zero-jedynkowego jak i prawdziwe prawo rachunku zero-jedynkowego to prawa rachunku zaro-jedynkowego.
Zachodzi zatem analogia:
fałszywe prawo rachunku zero-jedynkowego = prawdziwe rachunku zero-jedynkowego
Facet, ty naprawdę jesteś tak głupi, że nie widzisz, co wypisujesz?
|
|
Powrót do góry |
|
|
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
|
Wysłany: Nie 23:38, 17 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | A co ma Pitagoras do tego? To jest jakiś przypadek, który nie musi być zbieżny z obecnym przypadkiem.
To tak, jak byś udowadniał, że mam czerwony samochód. No bo Kazik spod 15 u ciebie w bloku ma czerwony samochód i jest to fakt niezaprzeczalny, więc tylko takie samochody mają prawo istnieć. |
W analogi masz tożsamość:
Pitagoras = prawo Grzechotnika!
Takich banałów nie rozumiesz płaskoziemco? |
PItagoras jest udowodniony, a twój gad jest fałszywy.
Dlatego analogii tu nie ma.
A teraz wskazuj, na czym polegała moja manipulacja. |
Zarówno prawo De Morgana jak również prawo Grzechotnika to prawa rachunku zero-jedynkowego.
Zachodzi zatem analogia:
Prawo De Morgana = prawo Grzechotnika
Kluczowe pytanie:
Prawo De Morgana jest udowodnione, czy fałszywe |
Zarówno fałszywe prawo rachunku zero-jedynkowego jak i prawdziwe prawo rachunku zero-jedynkowego to prawa rachunku zaro-jedynkowego.
Zachodzi zatem analogia:
fałszywe prawo rachunku zero-jedynkowego = prawdziwe rachunku zero-jedynkowego
Facet, ty naprawdę jesteś tak głupi, że nie widzisz, co wypisujesz? |
Od razu widać, że nigdy nie widziałeś bramki logicznej na oczy
Rachunkiem zero-jedynkowym prawa Grzechotnika zajmiemy się za chwilę.
Ostatnio zmieniony przez rafal3006 dnia Nie 23:51, 17 Gru 2023, w całości zmieniany 4 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Nie 23:47, 17 Gru 2023 Temat postu: |
|
|
Gad to nie jest żadne prawo, tylko twój ułomny wymysł.
I na nic ci nie będę odpowiadał. To ty masz zaległą odpowiedź dla mnie.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Nie 23:53, 17 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | Gad to nie jest żadne prawo, tylko twój ułomny wymysł.
I na nic ci nie będę odpowiadał. To ty masz zaległą odpowiedź dla mnie. |
Odpowiedz na kluczowe pytania:
1.
Prawo De Morgana jest prawdziwe w rachunku zero-jedynkowym, czy fałszywe.
Odpowiem za ciebie:
Jest prawdziwe
2.
Co wspólnego ma twoja posrana manipulacja z prawem De Morgana
Na to pytanie odpowiedz!
Włożę poprawną, matematyczną odpowiedź w twoje usta, bo inaczej zapiszemy 100 stron i twojej odpowiedzi się nie doczekamy.
Irbisol:
Moja posrana manipulacja ma zero wspólnego z jakimkolwiek prawem (w tym z prawem De Morgana) udowodnionym w rachunku zero-jedynkowym
... i co?
Zatkało kakao?
Zgadzasz się z tym faktem?
Masz jakieś wąty?
Jak masz jakieś wąty to weź se pomanipuluj przy prawie De Morgana by stało się fałszywe
Teraz sobie zrobimy STOP, dopóki Irbisol nie potwierdzi, jednej poprawnej odpowiedzi wyżej - to jest kluczowe i tego mu nie odpuszczę.
Ostatnio zmieniony przez rafal3006 dnia Pon 8:21, 18 Gru 2023, w całości zmieniany 8 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 8:51, 18 Gru 2023 Temat postu: |
|
|
Nic nie ma wspólnego z de Morganem.
I co w związku z tym?
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 9:14, 18 Gru 2023 Temat postu: |
|
|
Twardy dowód iż prawo Grzechotnika jest prawem rachunku zero-jedynkowego
Uzupełnionego o definicje logiki dodatniej (bo Y) i ujemnej (bo ~Y)
Irbisol napisał: | Gad to nie jest żadne prawo, tylko twój ułomny wymysł. |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
rafal3006 napisał: | Algebra Kubusia - matematyka języka potocznego
1.0 Nowa algebra Boole'a |
Kluczowy początek algebry Kubusia.
Napisz Irbisolu czego nie rozumiesz, będę cierpliwie tłumaczył.
Spis treści
1.0 Nowa algebra Boole’a 1
1.1 Definicje elementarne algebry Boole'a 2
1.1.1 Definicja negacji 2
1.2 Prawa Prosiaczka 4
1.2.1 Dowód praw Prosiaczka na gruncie fizyki 5
1.3 Definicja wyrażenia algebry Boole'a 5
1.3.1 Definicja funkcji logicznej algebry Boole'a: 6
1.3.2 Prawo negacji funkcji logicznej Y 7
1.4 Definicja funkcji logicznej jednoargumentowej Y=x 8
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x 8
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 8
1.5 Prawo Grzechotnika 9
1.5.1 Definicja funkcji transmisji Y=p w logice dodatniej (bo Y) 9
1.5.2 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y) 10
1.5.3 Relacja matematyczna między funkcjami Y=p oraz Y=~p 10
1.5.4 Definicja operatora transmisji Y|=p 10
1.5.5 Definicja operatora negacji Y|=~p 11
1.5.6 Relacja matematyczna między operatorami Y|=p a Y|=~p 12
1.5.7 Prawo Grzechotnika dla funkcji jednoargumentowych 14
1.5.8 Prawo Grzechotnika dla dowolnych funkcji n-argumentowych 14
1.5.9 Prawo Sokoła 16
1.0 Nowa algebra Boole’a
Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).
Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym
Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.9 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodnimy za chwilkę (pkt. 1.5.7 i 1.5.8)
1.1 Definicje elementarne algebry Boole'a
1 = prawda
0 = fałsz
Gdzie:
1##0
Prawda (1) jest różna na mocy definicji ## od fałszu (0)
Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) - negacja
Innymi słowy:
Prawda (1) to zaprzeczenie (~) fałszu (0)
Fałsz (0) to zaprzeczenie (~) prawdy (1)
Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)
Pani w przedszkolu:
Pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 - zdanie zawsze prawdziwe
Pójdziemy do kina (K) i nie pójdziemy do kina (~K)
Y = K*~K =0 - zdanie zawsze fałszywe
Gdzie:
Y - stała binarna
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1.
Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa
1.1.1 Definicja negacji
Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.
W szczególnym przypadku symbol w nagłówku kolumny może być stałą binarną gdy w kolumnie są same jedynki albo same zera.
Kod: |
DN
Definicja negacji:
p # ~p
A: 1 # 0
B: 0 # 1
1 2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
|
Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
p#~p
Dowodem jest tu definicja negacji DN.
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)
Zauważmy, że w definicji negacji DN symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)
Stąd mamy:
Definicja osi czasu w logice matematycznej
W dowolnej tabeli zero-jedynkowej oś czasu to zero-jedynkowa zawartość kolumny opisanej symbolem nad tą kolumną.
W logice matematycznej odpowiednikiem układu Kartezjańskiego są wykresy czasowe.
Dowód na przykładzie (strona 5):
Kod: | https://www.ti.com/lit/ds/symlink/sn54ls193-sp.pdf |
W technice cyfrowej znaczek różne # o definicji jak wyżej jest odpowiednikiem dwustronnego negatora (~).
Kod: |
Definicja znaczka różne # w bramkach logicznych
-----
p --x-------->| ~ |o-x--> ~p
| ----- |
| |
| p=~(~p) ----- |
-<-------o| ~ |<-x--- ~p
-----
Gdzie:
"o"(~) - symbole negacji
--->| - wejście bramki logicznej negatora (~)
|o--> - wyjście bramki logicznej negatora (~)
W świecie rzeczywistym musi tu być negator z otwartym kolektorem (OC)
na przykład typu SN7406. Wyjście OC musi być podparte rezystorem do Vcc.
|
W świecie rzeczywistym podajemy sygnały cyfrowe {0,1} na wejściu negatora obserwując co jest na jego wyjściu. Wszystko musi być zgodne z definicją DN.
Matematyczne związki między p i ~p:
a)
Dowolna strona znaczka # jest negacją drugiej strony
p#~p
b)
Prawo podwójnego przeczenia:
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
c)
Prawo zaprzeczenia logiki dodatniej (bo p):
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Dowód w rachunku zero-jedynkowym:
Kod: |
Matematyczne związki w definicji negacji:
p ~p ~(~p) ~(p)
A: 1 0 1 0
B: 0 1 0 1
1 2 3 4
|
Tożsamość kolumn 1=3 jest dowodem formalnym prawa podwójnego przeczenia:
p=~(~p)
Tożsamość kolumn 2=4 jest dowodem formalnym prawa negacji logiki dodatniej (bo p):
~p=~(p)
1.2 Prawa Prosiaczka
I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Fałsz (=0) w logice dodatniej (bo p) jest tożsamy z prawdą (=1) w logice ujemnej (bo ~p)
(p=0) = (~p=1)
Gdzie:
## - różne na mocy definicji
Zauważmy, że negując dwustronnie I prawo Prosiaczka dalej będziemy w I prawie Prosiaczka bez możliwości przejścia do II prawa Prosiaczka, stąd znak różne na mocy definicji ##
Dowód:
I prawo Prosiaczka:
(p=1)=(~p=0)
Negujemy dwustronnie:
(~p=0)=(p=1) - dalej jesteśmy w I prawie Prosiaczka, bez możliwości dojścia do II prawa Prosiaczka
##
Identycznie będziemy mieli w II prawie Prosiaczka.
II prawo Prosiaczka:
(p=0)=(~p=1)
Negujemy dwustronnie:
(~p=1)=(p=0) - dalej jesteśmy w II prawie Prosiaczka, bez możliwości dojścia do I prawa Prosiaczka
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Znaczek różne na mocy definicji ## to brak matematycznych powiązań między prawą i lewą stroną znaczka ##
Prawa Prosiaczka wiążą zmienną binarną w logice dodatniej (bo p) ze zmienną binarną w logice ujemnej (bo ~p). Prawa Prosiaczka możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej.
1.2.1 Dowód praw Prosiaczka na gruncie fizyki
Rozważmy żarówkę istniejącą w naszym pokoju
Przyjmijmy znaczenie symboli:
S - żarówka świeci
~S - żarówka nie świeci
Równie dobrze można by przyjąć odwrotnie, ale nie byłoby to zgodne z językiem potocznym człowieka gdzie wszelkie przeczenia w kodowaniu matematycznym muszą być zapisane jawnie.
Dowód I prawa Prosiaczka na przykładzie:
A.
S - żarówka świeci
Co w logice jedynek oznacza:
S=1 - prawdą jest (=1) że żarówka świeci (S)
Zdanie tożsame na mocy prawa Prosiaczka:
(S=1)=(~S=0)
Czytamy:
~S=0 - fałszem jest (=0) że żarówka nie świeci (~S)
Prawdziwość I prawa Prosiaczka widać tu jak na dłoni:
(S=1) = (~S=0)
##
Dowód II prawa Prosiaczka na przykładzie:
B.
~S - żarówka nie świeci
Co w logice jedynek oznacza:
~S=1 - prawdą jest (=1) że żarówka nie świeci (~S)
Zdanie tożsame na mocy prawa Prosiaczka:
(~S=1)=(S=0)
Czytamy:
S=0 - fałszem jest (=0) że żarówka świeci (S)
Prawdziwość II prawa Prosiaczka widać tu jak na dłoni:
(~S=1) = (S=0)
Gdzie:
## - różne na mocy definicji
Innymi słowy:
Pojęcie "żarówka świeci" (S=1) jest różne na mocy definicji ## od pojęcia "żarówka nie świeci" (~S=1)
1.3 Definicja wyrażenia algebry Boole'a
Kod: |
Definicja dwuargumentowego spójnika „i”(*):
p* q Y=p*q
A: 1* 1 1
B: 1* 0 0
C: 0* 1 0
D: 0* 0 0
Y=1 <=> p=1 i q=1
inaczej:
Y=0 |
Kod: |
Definicja dwuargumentowego spójnika „lub”(+):
p+ q Y=p+q
A: 1+ 1 1
B: 1+ 0 1
C: 0+ 1 1
D: 0+ 0 0
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
|
Gdzie:
<=> - wtedy i tylko wtedy
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
1.3.1 Definicja funkcji logicznej algebry Boole'a:
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
W szczególnym przypadku funkcja logiczna Y może być stałą binarną, gdy w kolumnie opisującej symbol Y są same jedynki albo same zera.
Definicja dziedziny w zbiorach:
Zbiór ~p jest uzupełnieniem zbioru p do wspólnej dziedziny D oraz zbiory p i ~p są rozłączne.
Czyli:
Y = p+~p =D =1 - zdanie zawsze prawdziwe (stała binarna)
Y = p*~p =[] =0 - zdanie zawsze fałszywe (stała binarna)
W algebrze Kubusia zdanie zawsze prawdziwe (Y=1) oraz zdanie zawsze fałszywe (Y=0) to bezużyteczne śmieci zarówno w matematyce, jak i w języku potocznym
Dowód na przykładzie.
Rozważmy dwa zbiory:
TP - zbiór trójkątów prostokątnych (TP)
~TP - zbiór trójkątów nieprostokątnych (~TP)
Wspólna dziedzina:
ZWT - zbiór wszystkich trójkątów
Definicja dziedziny w zbiorach:
Zbiór ~TP jest uzupełnieniem zbioru TP do wspólnej dziedziny ZWT oraz zbiory TP i ~TP są rozłączne w dziedzinie ZWT.
Czyli:
Twierdzenie T1:
Dowolny trójkąt jest prostokątny (TP) lub nie jest prostokątny (~TP)
Y = TP+~TP =ZWT =1 - zdanie zawsze prawdziwe (stała binarna)
Twierdzenie T2:
Dowolny trójkąt jest prostokątny (TP) i nie jest prostokątny (~TP)
Y = TP*~TP =[] =0 - zdanie zawsze fałszywe (stała binarna)
Wartość matematyczna twierdzeń T1 i T2 jest zerowa (śmieci).
Analogia do programowania:
Nie da się napisać najprostszego nawet programu dysponując wyłącznie stałymi binarnymi, o z góry wiadomej wartości logicznej.
Definicja bramki logicznej:
Bramka logiczna to układ cyfrowy o n wejściach binarnych {p,q,r,s..} i tylko jednym wyjściu binarnym Y
Matematycznie zachodzi tożsamość:
funkcja logiczna Y = wyjście bramki logicznej Y
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramki logicznej
Y - wyjście bramki logicznej
Przykład:
Y = f(p,q) = p*q+~p*~q
Zapis tożsamy:
Y = p*q+~p*~q
1.3.2 Prawo negacji funkcji logicznej Y
Definicja funkcji logicznej w logice dodatniej (bo Y):
Funkcja logiczna Y zapisana jest w logice dodatniej wtedy i tylko wtedy gdy nie jest zanegowana.
W przeciwnym przypadku mamy do czynienia z funkcją logiczną w logice ujemnej (bo ~Y)
Prawo negacji funkcji logicznej Y:
Dowolną funkcję logiczną Y=f(x) wolno nam dwustronnie zanegować przechodząc do logiki przeciwnej ~Y=~f(x).
1.4 Definicja funkcji logicznej jednoargumentowej Y=x
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y = f(x) =x
Zapis tożsamy:
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
co w logice jedynek oznacza:
Y=1 <=> x=1
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
Zdanie zawsze prawdziwe (Y=1) i zdanie zawsze fałszywe (Y=0) to matematyczne śmieci co udowodniono w pkt. 1.3.1, dlatego te przypadki mało nas interesują.
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
Kod: |
TWJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TWJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
1.5 Prawo Grzechotnika
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
W kolejnych podpunktach zajmiemy się dowodem formalnym (ogólnym) prawa Grzechotnika.
1.5.1 Definicja funkcji transmisji Y=p w logice dodatniej (bo Y)
Definicja transmitera:
Transmiter to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany zawsze niezanegowany sygnał p (Y=p)
Realizacja rzeczywista:
SN7407 (strona 1)
Kod: | https://www.ti.com/lit/ds/symlink/sn7407.pdf |
Definicja matematyczna:
Funkcja logiczna transmitera Y=p w logice dodatniej (bo Y) to funkcja definiowana tabelą prawdy:
Kod: |
FT
A1:
p ~p Y=p
1 0 1
0 1 0
|
Na wyjściu Y mamy tu zawsze niezanegowany sygnał p (Y=p)
1.5.2 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y)
Definicja negatora:
Negator to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze zanegowany sygnał p (Y=~p)
Realizacja rzeczywista:
SN7406 (strona 2)
Kod: | https://www.ti.com/lit/ds/symlink/sn7406.pdf |
Definicja matematyczna:
Funkcja logiczna negatora Y=~p to funkcja definiowana tabelą prawdy:
Kod: |
FN
A2:
p ~p Y=~p
1 0 0
0 1 1
|
Na wyjściu Y mamy tu zawsze zanegowany sygnał p (Y=~p)
1.5.3 Relacja matematyczna między funkcjami Y=p oraz Y=~p
Matematycznie zachodzi:
A1: Y=p ## A2: Y=~p
Gdzie:
## - różne na mocy definicji
Dowód:
Kod: |
FTFN:
A1: A2:
p ~p Y=p ## Y=~p
1 0 1 ## 0
0 1 0 ## 1
|
Definicja znaczka rożne na mocy definicji ## dla funkcji jednoargumentowej:
Dwie funkcje logiczne Y w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściu p w logice dodatniej (bo p) mają różne kolumny wynikowe Y.
1.5.4 Definicja operatora transmisji Y|=p
Definicja operatora transmisji Y|=p:
Operator transmisji Y|=p to układ równań logicznych Y=p i ~Y=~p dający odpowiedź na pytanie o Y i ~Y
Zobaczmy to w tabeli zero-jedynkowej:
Kod: |
OT
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale tu widać że:
A1:
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A1.
B1:
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1
1.5.5 Definicja operatora negacji Y|=~p
Definicja operatora negacji Y|=~p:
Operator negacji Y|=~p to układ równań logicznych Y=~p i ~Y=p dający odpowiedź na pytanie o Y i ~Y
Zobaczmy to w tabeli zero-jedynkowej:
Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale tu widać że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1
1.5.6 Relacja matematyczna między operatorami Y|=p a Y|=~p
Kod: |
OT
Definicja operatora transmisji Y|=p:
A1: B1:
p ~p Y=p # ~Y=~p
1 0 1 # 0
0 1 0 # 1
|
##
Kod: |
ON
Definicja operatora negacji Y|=~p:
A2: B2:
p ~p Y=~p # ~Y=p
1 0 0 # 1
0 1 1 # 0
|
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
Zauważmy, że jeśli pominiemy nagłówki albo uwzględnimy wyłącznie prawe strony funkcji logicznych Y i ~Y to kolumna A1 będzie tożsama z kolumną B2.
Jeśli uwzględnimy nagłówki to relacja kolumn A1 i B2 nie będzie tożsamościowa mimo że zero-jedynkowo kolumny te są identyczne.
A1: Y=p ## B2: ~Y=p
Gdzie:
## - różne na mocy definicji
Uwaga:
Czy ktokolwiek widział w ziemskim rachunku zero-jedynkowym przypadek jak wyżej w tabelach OT i ON gdzie kolumny zero-jedynkowe A1 i B2 są tożsame a funkcje logiczne opisujące te kolumny nie są tożsame?
Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:
Kod: |
OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p
|
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
W tabeli OTON widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
Komentarz do znaczków # i ##
1.
Kod: |
OTON:
A1: Y= p # B1: ~Y=~p
A2: Y=~p # B2: ~Y= p |
Dowolną funkcję logiczną, w naszym przypadku jednoargumentową, wolno nam dwustronnie zanegować
Stąd mamy:
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
2.
Kod: |
OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p
|
W tabeli OTON między liniami A1B1 oraz A2B2 obowiązuje znaczek różne na mocy definicji ##.
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Sprawdzenie:
A1B1:
Weźmy dowolną funkcję logiczną z linii A1B1 np.:
A1: Y=p
##
A2B2:
Weźmy dowolną funkcję logiczną z linii A2B2 np.:
B2: ~Y=p
Zadajmy sobie teraz dwa banalne pytania:
a)
Czy funkcja logiczna A1: Y=p jest tożsama z funkcją logiczną B2: ~Y=p?
Nie jest.
Dowód:
Aby porównywać dwie funkcje logiczne musimy je sprowadzić do tej samej logiki dodatniej (bo Y) albo ujemnej (bo ~Y)
Zanegujmy funkcję logiczną A1: Y=p sprowadzając ją do logiki ujemnej (bo ~Y):
A1”: ~Y=~p ## B2: ~Y=p
Definicję znaczka różne na mocy definicji ## widać tu jak na dłoni.
b)
Czy funkcja logiczna A1: Y=p jest negacją funkcji logicznej B2: ~Y=p?
Nie jest.
Dowód:
Negujemy dwustronnie funkcję logiczną B2 sprowadzając ją do tej samej logiki dodatniej (bo Y):
A1: Y=p ## B2”: Y=~p
Definicję znaczka różne na mocy definicji ## widać tu jak na dłoni.
Stąd:
Poprawność definicji znaczka ## została sprawdzona
1.5.7 Prawo Grzechotnika dla funkcji jednoargumentowych
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.
Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli OTON
Kod: |
OTON":
A1: p # B1: ~p
A2: ~p # B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale widać, że w tabeli OTON" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli OTON” zgubiona została kluczowa informacja o tym kiedy zajdzie Y, a kiedy zajdzie ~Y.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.
1.5.8 Prawo Grzechotnika dla dowolnych funkcji n-argumentowych
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Dowód dla funkcji n-argumentowych:
Cechą charakterystyczną prawidłowo rozumianej algebry Boole’a jest fakt, że pod dowolną zmienną binarną x możemy podstawić dowolnie długie wyrażenie algebry Boole’a f(x) i wszelkie prawa logiki matematycznej dalej będą działały poprawnie, w tym prawo Grzechotnika.
Wyżej udowodniliśmy prawo Grzechotnika dla jednoargumentowej funkcji transmisji FT oraz jednoargumentowej funkcji negacji FN między którymi zachodzi relacja różne na mocy definicji ##.
FT - funkcja logiczna transmisji
A1: Y=p
##
FN - funkcja logiczna negacji
A2: Y=~p
Gdzie:
## - różne na mocy definicji
Zgodnie z prawidłowo rozumianą algebrą Boole’a pod p możemy podstawić dowolnie długie wyrażenie algebry Boole’a f(x) i prawo Grzechotnika dalej musi działać.
f(x) - dowolne wyrażenie algebry Boole'a
Przykład:
f(x)=p*~q + r*~s
Stąd mamy:
Niech będą dane dwie funkcje logiczne Y n-argumentowe o następującej budowie:
A1: Y = f(x)
##
A2: Y = ~f(x)
Gdzie:
## - rożne na mocy definicji
Weźmy funkcję A1:
A1: Y=f(x)
#
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję A1:
B1: ~Y=~f(x)
##
Weźmy funkcję A2:
A2: Y=~f(x)
#
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję A2:
B2: ~Y=f(x)
Umieśćmy naszą analizę w tabeli prawdy:
Kod: |
T1
Funkcja A1:
A1: Y= f(x) # B1: ~Y=~f(x)
## ##
Funkcja A2:
A2: Y=~f(x) # B2: ~Y= f(x)
|
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~f(x)=~(f(x))
Stąd mamy:
Wyrażenie f(x) musi być wszędzie tym samym f(x), inaczej błąd podstawienia
Podobnie funkcja Y musi być wszędzie tą samą funkcją Y, inaczej błąd podstawienia
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
W tabeli T1 widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.
Usuńmy zatem z tabeli T1 wszelkie funkcje logiczne Y i ~Y.
Kod: |
T1"
Funkcja A1:
A1: f(x) # B1:~f(x)
Funkcja A2:
A2:~f(x) # B2: f(x)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale widać, że w tabeli T1" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli T1” zgubiona została kluczowa informacja o tym kiedy zajdzie Y, a kiedy zajdzie ~Y.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.
1.5.9 Prawo Sokoła
Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.
Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) nie jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Ostatnio zmieniony przez rafal3006 dnia Pon 9:20, 18 Gru 2023, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 11:10, 18 Gru 2023 Temat postu: |
|
|
Więc inaczej - jest to błędne prawo.
Co jest niezależne od prawdziwości de Morgana.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 11:28, 18 Gru 2023 Temat postu: |
|
|
Pożegnanie z Irbisolem!
Irbisol napisał: | Więc inaczej - jest to błędne prawo.
Co jest niezależne od prawdziwości de Morgana. |
Błędne (fałszywe) prawa w logice matematycznej dostają kopa w dupę i się o takim gównie zapomina.
Oczywiście łatwo możesz sobie zapisać nieskończoną ilość błędnych praw i udowadniać zero-jedynkowo że są błędne - życia ci nie starczy, a wylądujesz w szpitalu psychiatrycznym
Irbisolu, prawo De Morgana i prawo Grzechotnika to oczywiście dwa różne prawa rachunku zero-jedynkowego, z czego wynika że jesteś w błędzie twierdząc iż masz dowód fałszywości prawa Grzechotnika.
Twierdzisz, że prawo Grzechotnika nie jest prawem rachunku zero-jedynkowego?
To masz!
Algorytm dowodzenia iż prawo Grzechotnika nie jest prawem rachunku zero-jedynkowego uzupełnionego o definicje funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y:
Czytasz początek algebry Kubusia (pierwsze 16 stron) i cytujesz jedno, jedyne zdanie fałszywe w tym podręczniku - wtedy oczywiście wyrzucam algebrę Kubusia do kosza.
Podpowiedź:
Pojęcie funkcji logicznej w logice dodatniej (bo Y) znane jest zarówno w matematyce, jak i w technice.
ALE!
Definicji funkcji logicznej w logice ujemnej (bo ~Y) nie ma ani w technice, ani też w matematyce.
To jest totalna nowość!
Zauważ, że bez pojęcia funkcji logicznej w logice ujemnej (bo ~Y) nie wolno ci dwustronnie zanegować funkcji logicznej w logice dodatniej (bo Y).
Takiego banału ci nie wolno!
A1.
Y=p
Co w logice jedynek oznacza:
Y=1 <=> p=1
... a kiedy zajdzie ~Y
Negujemy dwustronnie funkcję logiczną Y:
B1.
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=>~p=1
Miałem nadzieję (płonną jak widzę) że przeczytasz te pierwsze 16 stron i napiszesz czego nie rozumiesz umożliwiając mi korektę do postaci przez ciebie rozumianej - to byłoby dla mnie bezcenne.
Widzę, że nie ma na to szans.
Dlatego z tego miejsca dziękuję ci za 15 letnie obalanie algebry Kubusia - byłeś dla mnie bezcennym pomocnikiem w jej rozszyfrowaniu.
Jeśli chcesz dalej wałkować swoją manipulację, bez twojej chociażby próby zrozumienia iż prawo Grzechotnika to prawo rachunku zero-jedynkowego to dzięki - do twojego gówna zwanego twoją manipulacją przy prawie Grzechotnika, będącym prawem rachunku zero-jedynkowego - nie wchodzę!
Na pożegnanie Irbisolu masz całą prawdę o tobie:
1.
Prawo Grzechotnika doskonale rozumie każdy 5-cio latek, oczywiście przy niewielkiej pomocy pani przedszkolanki, czego dowód masz w linku niżej i nie potrzebuje dla zrozumienia tego faktu rachunku zero-jedynkowego, bo nie ma pojęcie co to jest - dowie się w I klasie LO
Dowód w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4525.html#769395
rafal3006 napisał: | Czy schizofrenik jest w stanie przeczytać króciutki dowód prawdziwości prawa Grzechotnika?
Prawdopodobieństwo takiego zdarzenia jest bliskie zeru.
Dlaczego?
Bo musiałby przyznać, że jego dowód fałszywości prawa Grzechotnika to tylko i wyłącznie jego schizofreniczne majaczenia.
… ale cuda się czasami zdarzają. |
2.
Fakt że ty Irbisolu, nie jesteś w stanie pojąć prawdziwości prawa Grzechotnika w znaczeniu potocznym, zrozumiałym dla każdego 5-cio latka jest twardym dowodem iż masz potwornie sprany mózg gównem o nazwie:
"Prywatny KRZ Irbisola"
który z KRZ matematyków ma zero wspólnego!
Ostatnio zmieniony przez rafal3006 dnia Pon 11:54, 18 Gru 2023, w całości zmieniany 9 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 12:55, 18 Gru 2023 Temat postu: |
|
|
rafal3006 napisał: | Irbisolu, prawo De Morgana i prawo Grzechotnika to oczywiście dwa różne prawa rachunku zero-jedynkowego, z czego wynika że jesteś w błędzie twierdząc iż masz dowód fałszywości prawa Grzechotnika. |
Czyli wystarczy dać prawo różne od de Morgana i już wiadomo, że musi być prawdziwe?
No bo wg ciebie z tej różnicy wynika, że dowodu fałszywości być nie może ...
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 13:17, 18 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Irbisolu, prawo De Morgana i prawo Grzechotnika to oczywiście dwa różne prawa rachunku zero-jedynkowego, z czego wynika że jesteś w błędzie twierdząc iż masz dowód fałszywości prawa Grzechotnika. |
Czyli wystarczy dać prawo różne od de Morgana i już wiadomo, że musi być prawdziwe?
No bo wg ciebie z tej różnicy wynika, że dowodu fałszywości być nie może ... |
Prawo De Morgana ma zero wspólnego z prawem Grzechotnika - oba te prawa to prawdziwe prawa rachunku zero-jedynkowego.
Dowód prawdziwości prawa Grzechotnika w rachunku zero-jedynkowym masz w tym linku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4550.html#769603
rafal3006 napisał: | Twardy dowód iż prawo Grzechotnika jest prawem rachunku zero-jedynkowego
Uzupełnionego o definicje logiki dodatniej (bo Y) i ujemnej (bo ~Y) |
Obalisz prawo Grzechotnika wtedy i tylko wtedy gdy znajdziesz jedno zdanie fałszywe w linku wyżej.
Czas START!
Ostatnio zmieniony przez rafal3006 dnia Pon 13:19, 18 Gru 2023, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 13:58, 18 Gru 2023 Temat postu: |
|
|
A co wynika z faktu, że gad i Morgan to różne prawa?
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 14:09, 18 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | A co wynika z faktu, że gad i Morgan to różne prawa? |
Prawo De Morgana jest różne na mocy definicji ## od prawa Grzechotnika, czyli nie ma żadnego związku matematycznego między tymi prawami (poza różne na mocy definicji ##)
Oba te prawa to prawdziwe prawa rachunku zero-jedynkowego.
Chodzi o to że do ciebie łatwo dotrzeć przy pomocy prawa De Morgana.
Sam napisałeś:
A: Irbisol:
Moja posrana manipulacja ma zero wspólnego z prawdziwością/fałszywością prawa De Morgana.
Chodzi o to, że skoro powiedziałeś A jak wyżej to musisz powiedzieć B jak niżej.
B: Irbisol:
Moja posrana manipulacja ma zero wspólnego z prawdziwością/fałszywością prawa prawa Grzechotnika.
Kapujesz?
Ostatnio zmieniony przez rafal3006 dnia Pon 14:10, 18 Gru 2023, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 14:34, 18 Gru 2023 Temat postu: |
|
|
To po kiego piszesz o de Morganie?
Skoro nie ma między gadem a Morganem związku, to jaki prawem stwierdzasz jakiekolwiek analogie?
Ostatnio zmieniony przez Irbisol dnia Pon 14:35, 18 Gru 2023, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 14:46, 18 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | To po kiego piszesz o de Morganie?
Skoro nie ma między gadem a Morganem związku, to jaki prawem stwierdzasz jakiekolwiek analogie? |
Analogia jest tylko i wyłącznie taka, że oba te prawa są prawdziwymi prawami rachunku zero-jedynkowego, a z tej prawdziwości wynika prawdziwość twoich zdań A i B w linku niżej.
Kapujesz?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4550.html#769661
rafal3006 napisał: | Irbisol napisał: | A co wynika z faktu, że gad i Morgan to różne prawa? |
Prawo De Morgana jest różne na mocy definicji ## od prawa Grzechotnika, czyli nie ma żadnego związku matematycznego między tymi prawami (poza różne na mocy definicji ##)
Oba te prawa to prawdziwe prawa rachunku zero-jedynkowego.
Chodzi o to że do ciebie łatwo dotrzeć przy pomocy prawa De Morgana.
Sam napisałeś:
A: Irbisol:
Moja posrana manipulacja ma zero wspólnego z prawdziwością/fałszywością prawa De Morgana.
Chodzi o to, że skoro powiedziałeś A jak wyżej to musisz powiedzieć B jak niżej.
B: Irbisol:
Moja posrana manipulacja ma zero wspólnego z prawdziwością/fałszywością prawa prawa Grzechotnika.
Kapujesz? |
Twoje, własnoręcznie napisane zdania A i B roznoszą w puch twoją schizofreniczną pewność jakoby prawo Grzechotnika było fałszywe.
Kapujesz?
Podsumowując.
Prawo Absolutu:
Jeśli mamy do czynienia z udowodnionym prawem rachunku zero-jedynkowego to to prawo pozostanie prawdziwe do końca naszego Wszechświata.
Tu nawet Bóg (Absolut) nie da rady zamienić tego prawa na prawo fałszywe kiedykolwiek w przyszłości.
... no ale Irbisol jest ateistą - i może zamienić?
Ostatnio zmieniony przez rafal3006 dnia Pon 14:52, 18 Gru 2023, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 14:51, 18 Gru 2023 Temat postu: |
|
|
Czyli w dyskusji uczyniłeś założenie, które właśnie jest tematem dyskusji.
Nie ma drugiego takiego, co wykłada się na logice, jak ty.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 14:53, 18 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | Czyli w dyskusji uczyniłeś założenie, które właśnie jest tematem dyskusji.
Nie ma drugiego takiego, co wykłada się na logice, jak ty. |
Nie ma żadnego założenia, sam napisałeś:
A: Irbisol:
Moja posrana manipulacja ma zero wspólnego z prawdziwością/fałszywością prawa De Morgana.
Prawo Absolutu:
Jeśli mamy do czynienia z udowodnionym prawem rachunku zero-jedynkowego to to prawo pozostanie prawdziwe do końca naszego Wszechświata.
Tu nawet Bóg (Absolut) nie da rady zamienić tego prawa na prawo fałszywe kiedykolwiek w przyszłości.
... no ale Irbisol jest ateistą - i może zamienić?
Ostatnio zmieniony przez rafal3006 dnia Pon 14:55, 18 Gru 2023, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 15:06, 18 Gru 2023 Temat postu: |
|
|
I co z tego, skoro nie ma tu analogii z gadem?
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 15:06, 18 Gru 2023 Temat postu: |
|
|
Propozycja nie do odrzucenia dla Irbisola!
Irbisol napisał: | I co z tego, skoro nie ma tu analogii z gadem? |
Analogia jest tylko i wyłącznie taka, że oba te prawa to prawdziwe prawa rachunku zero-jedynkowego. Ten fakt jest wystarczający by zburzyć twoją schizofreniczną pewność co do fałszywości prawa Grzechotnika.
cnd
Irbisolu, 100% definicji w algebrze Kubusia jest innych, niż w jakiejkolwiek logice matematycznej ziemskich matematyków
Jeśli kopniesz w dupę ten swój pierdolony KRZ, i zaczniesz myśleć naturalnym językiem potocznym 5-cio lataka, to daję ci absolutną gwarancję matematyczną, że zrozumiesz prawdziwość zarówno prawa Grzechotnika, jak i całej algebry Kubusia.
Więc jak?
Podejmiesz taką próbę?
Ostatnio zmieniony przez rafal3006 dnia Pon 15:10, 18 Gru 2023, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 15:12, 18 Gru 2023 Temat postu: |
|
|
Prawdziwość gada jest TEMATEM dyskusji. A ty w tej dyskusji stosujesz założenie prawdziwości gada jako argument za jego prawdziwością.
Ty naprawdę tego nie widzisz, czy tylko udajesz głupiego?
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 15:20, 18 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | Prawdziwość gada jest TEMATEM dyskusji. A ty w tej dyskusji stosujesz założenie prawdziwości gada jako argument za jego prawdziwością.
Ty naprawdę tego nie widzisz, czy tylko udajesz głupiego? |
Po kiego grzyba potrzebne ci jakiekolwiek założenie w rachunku zero-jedynkowym - masz totalny odjazd od matematycznej rzeczywistości!
Prawdziwość prawa Grzechotnika jest udowodniona w rachunku zero-jedynkowym w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4550.html#769603
rafal3006 napisał: | Twardy dowód iż prawo Grzechotnika jest prawem rachunku zero-jedynkowego
Uzupełnionego o definicje logiki dodatniej (bo Y) i ujemnej (bo ~Y) |
Obalisz ten dowód wtedy i tylko wtedy jak znajdziesz tu jedno, jedyne zdanie fałszywe.
Prawo De Morgana również jest udowodnione w rachunku zero-jedynkowym.
Ta i tylko ta analogia wystarczy, by roznieść w puch twój posrany dowód fałszywości prawa Grzechotnika.
Dotrze to kiedy do ciebie, czy nigdy?
Ostatnio zmieniony przez rafal3006 dnia Pon 15:25, 18 Gru 2023, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 16:04, 18 Gru 2023 Temat postu: |
|
|
Czyli jednak.
Ty autentycznie posiłkujesz się faktem prawdziwości Morgana jako argumentem za prawdziwością gada.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 16:26, 18 Gru 2023 Temat postu: |
|
|
Irbisol napisał: | Czyli jednak.
Ty autentycznie posiłkujesz się faktem prawdziwości Morgana jako argumentem za prawdziwością gada. |
NIE!
Prawo De Morgana przytaczam tylko dla ciebie bo ty nie tak dawno nie mogłeś zrozumieć braku związku jakiejkolwiek twojej posranej manipulacji z dowodem twierdzenia Pitagorasa z Wikipedii.
Zgadza się?
Wyczyść sobie swój mózg i zostaw tylko i wyłącznie to.
Prawdziwość prawa Grzechotnika jest udowodniona w rachunku zero-jedynkowym w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4550.html#769603
rafal3006 napisał: | Twardy dowód iż prawo Grzechotnika jest prawem rachunku zero-jedynkowego
Uzupełnionego o definicje logiki dodatniej (bo Y) i ujemnej (bo ~Y) |
Obalisz ten dowód wtedy i tylko wtedy jak znajdziesz tu jedno, jedyne zdanie fałszywe.
... i przestań raz na zawsze pierdolić, że prawo Grzechotnika nie jest prawdziwym prawem rachunku zero-jedynkowego.
P.S.
Jakiekolwiek założenia prawdziwości/fałszywości czegokolwiek mają gówno do rachunku zero-jedynkowego.
Zrozumiesz to kiedykolwiek, czy nigdy?
Posługując się językiem potocznym pod rachunek zero-jedynkowy wszyscy podlegamy od 5-cio latka do prof. matematyki ... z tobą włącznie Irbisolu, tylko ty nie chcesz bym ci to UDOWODNIŁ!
... i w tym cały problem.
Język potoczny 5-cio latka da się opisać językiem matematyki w przełożeniu 1:1 - tylko i wyłącznie dlatego rozszyfrowałem algebrę Kubusia - inaczej nie miałbym najmniejszych szans!
Ostatnio zmieniony przez rafal3006 dnia Pon 16:45, 18 Gru 2023, w całości zmieniany 4 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
Wysłany: Pon 19:12, 18 Gru 2023 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Czyli jednak.
Ty autentycznie posiłkujesz się faktem prawdziwości Morgana jako argumentem za prawdziwością gada. |
NIE!
Prawo De Morgana przytaczam tylko dla ciebie bo ty nie tak dawno nie mogłeś zrozumieć braku związku jakiejkolwiek twojej posranej manipulacji z dowodem twierdzenia Pitagorasa z Wikipedii.
Zgadza się? |
Nie, nie zgadza się.
Wymyśliłeś gada, twierdzisz, że jest prawdziwy, ja twierdzę, że jest fałszywy. Więc JEŻELI jest fałszywy, to moja manipulacja ma wiele do rzeczy.
A ty wyskakujesz z de Morganem, który nic do tego nie ma.
I nie spamuj tym gównem o dowodzie gada, bo właśnie tam jest błąd. A ty piszesz, jak by to załatwiało sprawę.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pon 20:16, 18 Gru 2023 Temat postu: |
|
|
Propozycja nie do odrzucenia dla Irbisola!
Czy kto ma nadzieję, że Irbisol ją przyjmie?
Ja mam, bo nadzieja umiera ostatnia.
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Czyli jednak.
Ty autentycznie posiłkujesz się faktem prawdziwości Morgana jako argumentem za prawdziwością gada. |
NIE!
Prawo De Morgana przytaczam tylko dla ciebie bo ty nie tak dawno nie mogłeś zrozumieć braku związku jakiejkolwiek twojej posranej manipulacji z dowodem twierdzenia Pitagorasa z Wikipedii.
Zgadza się? |
Nie, nie zgadza się.
Wymyśliłeś gada, twierdzisz, że jest prawdziwy, ja twierdzę, że jest fałszywy. Więc JEŻELI jest fałszywy, to moja manipulacja ma wiele do rzeczy.
A ty wyskakujesz z de Morganem, który nic do tego nie ma.
I nie spamuj tym gównem o dowodzie gada, bo właśnie tam jest błąd. A ty piszesz, jak by to załatwiało sprawę. |
Zacytuj ten błąd - wtedy wywalam algebrę Kubusia do kosza.
Czas START!
Irbisolu,
Ja udowodniłem prawdziwość prawa Grzechotnika w rachunku zero-jedynkowym w sposób absolutnie pewny i doskonały - nie do obalenia!
Oto ten dowód:
Prawdziwość prawa Grzechotnika jest udowodniona w rachunku zero-jedynkowym w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4550.html#769603
rafal3006 napisał: | Twardy dowód iż prawo Grzechotnika jest prawem rachunku zero-jedynkowego
Uzupełnionego o definicje logiki dodatniej (bo Y) i ujemnej (bo ~Y) |
Obalisz ten dowód wtedy i tylko wtedy jak znajdziesz tu jedno, jedyne zdanie fałszywe.
Istnieje też dowód prawdziwości prawa Grzechotnika zrozumiały dla każdego 5-cio latka.
Te dwa dowody są absolutnie tożsame!
Irbisolu, dla mnie, z racji wykształcenia (elektronika na Politechnice Warszawskiej) mój dowód prawdziwości prawa Grzechotnika w rachunku zero-jedynkowym do absolutny banał.
Rozumiem jednak, że dla nie elektronika (czyli dla ciebie) ten dowód może być niezrozumiały, szczególnie że widzę, iż nigdy bramki logicznej nie trzymałeś w łapkach, że nigdy niczego nie projektowałeś w bramkach logicznych - zgadza się?
Dlatego składam ci propozycję nie do odrzucenia!
Proponuję byśmy się zajęli tożsamym dowodem prawdziwości prawa Grzechotnika w wersji dla 5-cio latków.
To są wersje absolutnie tożsame, a pewne jest, że wersję dla 5-cio latków zrozumiesz i nie będziesz tu miał szansy stawania Okoniem.
Zauważ, że 5-cio latek z definicji nie ma pojęcia co to jest rachunek zero-jedynkowy, ale daję ci gwarancję absolutną, ze doskonale rozumie prawdziwość prawa Grzechotnika!
... oczywiście z niewielką pomocą pani przedszkolanki, kolejnej ekspertki od prawdziwości prawa Grzechotnika.
Więc jak?
Zaczynamy?
To na serio bułka z masłem będzie!
Ostatnio zmieniony przez rafal3006 dnia Pon 20:35, 18 Gru 2023, w całości zmieniany 7 razy
|
|
Powrót do góry |
|
|
|
|
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
|