 |
Ś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: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Pią 8:27, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631523
| Irbisol napisał: | Miałeś podać dowód a nie zadawać pytania. W dodatku dowód miał być "twardy" wg zapowiedzi, a nawet miękkiego nie ma.
I zapomniałeś napisać w jakiej logice (dodatnia czy ujemna} jest X i Y. Łatwe pytanie, krótka odpowiedź. Ale ty po prostu nie masz pojęcia co odpowiedzieć. To jest twoja największa tragedia. |
Irbisolu, jak odpowiesz na moje pytanie do na 100% zrozumiesz, iż twój KRZ jest wewnętrznie sprzeczny.
To pytanie jest na końcu poniższego cytatu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631477
| rafal3006 napisał: | Twardy dowód wewnętrznej sprzeczności Irbisolowego KRZ!
Twierdzenie Irbisa:
Nie jest możliwe, by ziemski matematyk przy zdrowych zmysłach nie zrozumiał niniejszego dowodu wewnętrznej sprzeczności Irbisolowego KRZ!
Bardzo proszę Irbisolu:
Podaję dowód wewnętrznej sprzeczności twojego KRZ!
To jest dowód zrozumiały dla każdego 5-cio latka, zatem nie jest możliwe, byś go nie zrozumiał!
Czy mam rację?
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro pójdziemy do kina lub do teatru
D=K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1:
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
D=K+T - logika dodania (bo D)
Innymi słowy:
Pójdziemy w dowolne miejsce i już dotrzymam słowa.
Jaś:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(K+T) = ~K*~T - prawo De Morgana
stąd:
2.
~D = ~K*~T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
A2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~D=~K*~T - logika ujemna (bo D)
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro nie pójdziemy ani do kina, ani też do teatru
D = ~K*~T
co w logice jedynek oznacza:
D=1 <=> ~K=1 i ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
D=~K*~T - logika dodatnia (bo D)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(~K*~T) = K+T - prawo De Morgana
stąd:
E2.
~D = K+T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> K=1 lub T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
Wystarczy, że pójdziemy w dowolne miejsce, i już nie dotrzymam słowa.
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A: D = K+ T ## E: D=~K*~T
# #
A: ~D =~K*~T ## E: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A: D =K+T ## E: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
D=K+T - logika dodania (bo D)
Czy poprawną odpowiedzią na pytanie:
Kiedy pani Ania nie dotrzyma słowa (~D=1)?
Będzie odpowiedź z przedszkola pani Ewy?
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
W tabeli T1 mamy dwie funkcje logiczne:
A: D=K+T
E: ~D=K+T
Pytanie do Irbisola:
Irbisolu,
Czy z faktu, że prawe strony funkcji logicznych A i E są tożsame wolno ci wyciągać ze 100% pewnością wniosek, iż funkcje A i E mają ze sobą cokolwiek wspólnego?
TAK/NIE |
Odpowiem za ciebie Irbisolu:
Ja Irbisol, twierdzę z całą mocą, iż jest fizycznie niemożliwym by na podstawie poniższego zapisu:
Pani Ania - PA: W = p+q
Pani Ewa - PE: Z = ~p*~q
Rozstrzygać o jakimkolwiek związku zachodzącym między zdaniem wypowiedzianym przez panią Anią a panią Ewą.
Mój komentarz:
Brawo Irbisolu, dokładnie o taką wypowiedź mi chodziło.
Ta odpowiedź oznacza że twój KRZ jest wewnętrznie sprzeczny bo widzi związek między zdaniami PA i PE tam gdzie go nie ma.
Pytanie:
Czy zgadzasz się moją odpowiedzią włożoną w twoje usta?
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 8:31, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631523
| Irbisol napisał: | Miałeś podać dowód a nie zadawać pytania. W dodatku dowód miał być "twardy" wg zapowiedzi, a nawet miękkiego nie ma.
I zapomniałeś napisać w jakiej logice (dodatnia czy ujemna} jest X i Y. Łatwe pytanie, krótka odpowiedź. Ale ty po prostu nie masz pojęcia co odpowiedzieć. To jest twoja największa tragedia. |
Irbisolu, jak odpowiesz na moje pytanie to na 100% zrozumiesz, iż twój KRZ jest wewnętrznie sprzeczny.
To pytanie jest na końcu poniższego cytatu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631477
| rafal3006 napisał: | Twardy dowód wewnętrznej sprzeczności Irbisolowego KRZ!
Twierdzenie Irbisa:
Nie jest możliwe, by ziemski matematyk przy zdrowych zmysłach nie zrozumiał niniejszego dowodu wewnętrznej sprzeczności Irbisolowego KRZ!
Bardzo proszę Irbisolu:
Podaję dowód wewnętrznej sprzeczności twojego KRZ!
To jest dowód zrozumiały dla każdego 5-cio latka, zatem nie jest możliwe, byś go nie zrozumiał!
Czy mam rację?
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro pójdziemy do kina lub do teatru
D=K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1:
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
D=K+T - logika dodania (bo D)
Innymi słowy:
Pójdziemy w dowolne miejsce i już dotrzymam słowa.
Jaś:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(K+T) = ~K*~T - prawo De Morgana
stąd:
2.
~D = ~K*~T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
A2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~D=~K*~T - logika ujemna (bo D)
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro nie pójdziemy ani do kina, ani też do teatru
D = ~K*~T
co w logice jedynek oznacza:
D=1 <=> ~K=1 i ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
D=~K*~T - logika dodatnia (bo D)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(~K*~T) = K+T - prawo De Morgana
stąd:
E2.
~D = K+T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> K=1 lub T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
Wystarczy, że pójdziemy w dowolne miejsce, i już nie dotrzymam słowa.
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A: D = K+ T ## E: D=~K*~T
# #
A: ~D =~K*~T ## E: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A: D =K+T ## E: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
D=K+T - logika dodania (bo D)
Czy poprawną odpowiedzią na pytanie:
Kiedy pani Ania nie dotrzyma słowa (~D=1)?
Będzie odpowiedź z przedszkola pani Ewy?
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
W tabeli T1 mamy dwie funkcje logiczne:
A: D=K+T
E: ~D=K+T
Pytanie do Irbisola:
Irbisolu,
Czy z faktu, że prawe strony funkcji logicznych A i E są tożsame wolno ci wyciągać ze 100% pewnością wniosek, iż funkcje A i E mają ze sobą cokolwiek wspólnego?
TAK/NIE |
Odpowiem za ciebie Irbisolu:
Ja Irbisol, twierdzę z całą mocą, iż jest fizycznie niemożliwym by na podstawie poniższego zapisu:
Pani Ania - PA: W = p+q
Pani Ewa - PE: Z = ~p*~q
Rozstrzygać o jakimkolwiek związku zachodzącym między zdaniem wypowiedzianym przez panią Anią a panią Ewą.
Mój komentarz:
Brawo Irbisolu, dokładnie o taką wypowiedź mi chodziło.
Ta odpowiedź oznacza że twój KRZ jest wewnętrznie sprzeczny bo widzi związek między zdaniami PA i PE tam gdzie go nie ma.
Pytanie:
Czy zgadzasz się moją odpowiedzią włożoną w twoje usta?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 9:19, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631535
Trzeci problem milenijny dla Irbisola
| Irbisol napisał: | Czekam na dowód sprzeczności KRZ. Nadal zostało ci prawie 10 lat, ale postępów nie robisz żadnych.
I nadal spierdalasz przed pytaniem, która czy zmienne X i Y z przykładu wyżej są w logice dodatniej czy ujemnej.
Wystarczy, że napiszesz np.:
X - dodatnia
Y - ujemna
ale nie robisz tego, bo się twoja algebra wysrała i sama nie wie, co odpowiedzieć. |
W = p+q
Z = ~p*~q
Ściśle matematycznie odpowiadam tak:
Funkcje W i Z spełniają definicję znaczka różne na mocy definicji ##
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różna na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Dowód:
| Kod: |
T1
W = p+q ## Z=~p*~q
# ## #
~W=~p*~q ## ~Z=p+q
Gdzie:
# - dowolna strona # jest negacją drugiej strony
|
Doskonale widać, że w tabeli T1 obie definicje znaczków # i ## są perfekcyjnie spełnione
Twierdzenie Borsuka:
Logika matematyczna która nie zna definicji znaczków # i ## jest wewnętrznie sprzeczna!
cnd
Trzeci problem milenijny dla Irbisola:
Poproszę o obalenie twierdzenia Borsuka
Czy już rozumiesz dlaczego KRZ jest wewnętrznie sprzeczny?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 10:26, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631553
| Irbisol napisał: |
Co z tymi X i Y? Nadal bidoku nie masz pojęcia, która ze zmiennych jest w dodatniej czy ujemnej? |
Mamy dwie funkcje logiczne:
W = p+q - logika dodatnia (bo W)
Z = ~p*~q - logika dodatnia (bo Z)
Ściśle matematycznie odpowiadam tak.
Z pewnością absolutną (= z pewnością Boską) odpowiadam:
1.
Zaprzeczeniem funkcji:
W =p+q - logika dodatnia (bo W)
jest funkcja ~W:
#
~W = ~p*~q - logika ujemna (bo ~W)
##
2.
Zaprzeczeniem funkcji:
Z=~p*~q - logika dodatnia (bo Z)
jest funkcja ~Z:
#
~Z=p+q - logika ujemna (bo ~Z)
Gdzie:
## - różne na mocy definicji ##
Definicja #:
Dowolna strona znaczka # jest zaprzeczeniem drugiej strony
Definicja znaczka ##:
Dwie funkcje logiczne są różna na mocy definicji ## wtedy i tylko wtedy gdy nie sa tożsame i żadna z nich nie jest zaprzeczeniem drugiej
Twierdzenie Borsuka:
Logika matematyczna która nie zna definicji znaczków # i ## jest wewnętrznie sprzeczna!
cnd
Podsumowanie:
Irbisolu:
Fałszem jest twoje twierdzenie iż znając treść funkcji W=p+q i Z=~p*~q nie możemy powiedzieć NIC w temacie zaprzeczeń tych funkcji
Zgadzasz się z ostatnim zdaniem?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 14:18, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631581
| Irbisol napisał: | Spierdalasz od tematu, który sam zacząłeś.
Pytam o moje przykłady X i Y oraz o sprzeczność w KRZ. |
Co za różnica czy wezmę twoje przykłady X, Y czy moje W,Z?
Moje są takie:
W = p+q
Z = ~p*~q
Moje już omówiłem i nie zmierzam mówić o twoich przykładach, chyba że obalisz choćby przecinek z omówienia moich przykładów.
Jeśli dokonasz tej sztuki to AK legnie w gruzach, ale najpierw musisz powalczyć z wiatrakami Irbisolu, bo obalenie choćby przecinka z mojego dowodu wewnętrznej sprzeczności KRZ jest niemożliwe.
Mój dowód masz niżej, zajmij się nim i roznieś go w puch - jest na poziomie 5-cio letniego dziecka!
Wszyscy widzowie czekają … na twoją walkę z wiatrakami.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631477
| rafal3006 napisał: | Twardy dowód wewnętrznej sprzeczności Irbisolowego KRZ!
Twierdzenie Irbisa:
Nie jest możliwe, by ziemski matematyk przy zdrowych zmysłach nie zrozumiał niniejszego dowodu wewnętrznej sprzeczności Irbisolowego KRZ!
Bardzo proszę Irbisolu:
Podaję dowód wewnętrznej sprzeczności twojego KRZ!
To jest dowód zrozumiały dla każdego 5-cio latka, zatem nie jest możliwe, byś go nie zrozumiał!
Czy mam rację?
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro pójdziemy do kina lub do teatru
D=K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1:
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
D=K+T - logika dodania (bo D)
Innymi słowy:
Pójdziemy w dowolne miejsce i już dotrzymam słowa.
Jaś:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(K+T) = ~K*~T - prawo De Morgana
stąd:
2.
~D = ~K*~T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
A2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~D=~K*~T - logika ujemna (bo D)
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro nie pójdziemy ani do kina, ani też do teatru
D = ~K*~T
co w logice jedynek oznacza:
D=1 <=> ~K=1 i ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
D=~K*~T - logika dodatnia (bo D)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(~K*~T) = K+T - prawo De Morgana
stąd:
E2.
~D = K+T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> K=1 lub T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
Wystarczy, że pójdziemy w dowolne miejsce, i już nie dotrzymam słowa.
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A: D = K+ T ## E: D=~K*~T
# #
A: ~D =~K*~T ## E: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A: D =K+T ## E: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
D=K+T - logika dodania (bo D)
Czy poprawną odpowiedzią na pytanie:
Kiedy pani Ania nie dotrzyma słowa (~D=1)?
Będzie odpowiedź z przedszkola pani Ewy?
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
W tabeli T1 mamy dwie funkcje logiczne:
A: D=K+T
E: ~D=K+T
Pytanie do Irbisola:
Irbisolu,
Czy z faktu, że prawe strony funkcji logicznych A i E są tożsame wolno ci wyciągać ze 100% pewnością wniosek, iż funkcje A i E mają ze sobą cokolwiek wspólnego?
TAK/NIE |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 15:51, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631605
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Spierdalasz od tematu, który sam zacząłeś.
Pytam o moje przykłady X i Y oraz o sprzeczność w KRZ. |
Co za różnica czy wezmę twoje przykłady X, Y czy moje W,Z?
Moje są takie:
W = p+q
Z = ~p*~q
Moje już omówiłem i nie zmierzam mówić o twoich przykładach |
A po co je w ogóle tworzyłeś? Mnie interesują te moje.
I nie chcę, żebyś je omawiał, tylko żebyś odpowiedział na pytanie.
Przykładowo:
X dodatnia
Y ujemna
Nic więcej. A uciekasz od tej odpowiedzi w popłochu. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1075.html#631427
| rafal3006 napisał: | Drugi problem milenijny wrzucony do ogródka Irbisola
Pierwszy problem milenijny do rozwiązania przez Irbisola jest tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1075.html#631303
| Irbisol napisał: | A co mnie to obchodzi? Znowu zmieniasz temat.
Gdzie ta sprzeczność w KRZ?
Skoro tak długo budujesz ten dowód, okraszony pierdoleniem nie na temat (to po prostu pewnik), to jeszcze odniosę się do takiego fragmentu, bo najwyraźniej nie zrozumiałeś, o co mi chodzi z de Morganem:
| Cytat: | Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna zapisana jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zaprzeczona. |
To powiedz mi teraz, która zmienna jest w logice dodatniej:
X = ~A * B
Y = A + ~B
X nie jest zaprzeczone i Y nie jest zaprzeczone. Natomiast X = ~Y.
|
Irbisolu, zapisuję następujące dwie funkcje logiczne:
W = p+q
Z = ~p*~q
Drugi problem milenijny wrzucony do ogródka Irbisola
Udowodnij, że z powyższego zapisu wynika w algebrze Kubusia iż:
W=~Z
Jak to udowodnisz to kasuję AK! |
Irbisolu, nie chcę zajmować się twoimi przykładami z trywialnego powodu.
Największy ziemski matematyk nie potrafi opisać warunku wystarczającego =>:
p=>q = ~p+q
w zdarzeniach rozłącznych wyrażonych spójnikami "i"(*) i "lub"(+):
p=>q = ~p*q + ~p*~q + p*q
Skoro największy ziemski matematyk nie rozumie powyższej funkcji logicznej , to niby czemu mam to tobie wyjaśniać.
Podsumowując:
Najpierw musisz zrozumieć przykład na poziomie 5-cio latka, mój przykład:
W = p+q
Z = ~p*~q
... a dopiero po tym fakcie możesz się porywać na matematyczny opis zdań warunkowych "Jeśli p to q".
Oczywistym jest, że tej wytłuszczonej funkcji logicznej wyżej p=>q nie zna żaden ziemski matematyk.
Dowód iż żaden ziemski matematyk nie zna tego kluczowego dla logiki matematycznej, wytłuszczonego równania logicznego - znajdź mi dokładnie to równanie w całym obszarze Internetu.
Czas START.
Klikam na googlach:
Implikacja p=>q wyrażona równaniem alternatywno-koniunkcyjnym"
Wyników: 0
cnd
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 16:10, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631621
| Irbisol napisał: | To tylko proste pytanie.
Nie musisz niczego obalać, dowodzić ani tłumaczyć.
Zwyczajnie masz przypisać do X oraz Y jedną z 2 cech. Ale tego nie robisz.
Czyli nie masz pojęcia, co odpowiedzieć... |
... przecież bez przerwy odpowiadam na dokładnie twoje pytanie posługując się moim przykładem, moimi funkcjami W,Z zamiast twoimi X,Y - dlaczego to robię wyjaśniłem w moim poście wyżej.
Tu masz precyzyjną odpowiedź na dokładnie twoje pytanie:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631553
| rafal3006 napisał: | | Irbisol napisał: |
Co z tymi X i Y? Nadal bidoku nie masz pojęcia, która ze zmiennych jest w dodatniej czy ujemnej? |
Mamy dwie funkcje logiczne:
W = p+q - logika dodatnia (bo W)
Z = ~p*~q - logika dodatnia (bo Z)
Ściśle matematycznie odpowiadam tak.
Z pewnością absolutną (= z pewnością Boską) odpowiadam:
1.
Zaprzeczeniem funkcji:
W =p+q - logika dodatnia (bo W)
jest funkcja ~W:
#
~W = ~p*~q - logika ujemna (bo ~W)
##
2.
Zaprzeczeniem funkcji:
Z=~p*~q - logika dodatnia (bo Z)
jest funkcja ~Z:
#
~Z=p+q - logika ujemna (bo ~Z)
Gdzie:
## - różne na mocy definicji ##
Definicja #:
Dowolna strona znaczka # jest zaprzeczeniem drugiej strony
Definicja znaczka ##:
Dwie funkcje logiczne są różna na mocy definicji ## wtedy i tylko wtedy gdy nie sa tożsame i żadna z nich nie jest zaprzeczeniem drugiej
Twierdzenie Borsuka:
Logika matematyczna która nie zna definicji znaczków # i ## jest wewnętrznie sprzeczna!
cnd
Podsumowanie:
Irbisolu:
Fałszem jest twoje twierdzenie iż znając treść funkcji W=p+q i Z=~p*~q nie możemy powiedzieć NIC w temacie zaprzeczeń tych funkcji
Zgadzasz się z ostatnim zdaniem?
TAK/NIE |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 18:00, 03 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631659
Czy Irbisol da sobie wyjaśnić o co chodzi w logice dodatniej (bo p) i ujemnej (bo ~p)?
Wykładem na poziomie 3-letniego dziecka, naturalnego eksperta logiki dodatniej (bo p) i ujemnej (bo ~p)?
… czy ktokolwiek ma nadzieję że pozwoli Jasiowi (lat 3) wyjaśnić o co tu chodzi?
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | To tylko proste pytanie. Nie musisz niczego obalać, dowodzić ani tłumaczyć.Zwyczajnie masz przypisać do X oraz Y jedną z 2 cech. Ale tego nie robisz.Czyli nie masz pojęcia, co odpowiedzieć... |
... przecież bez przerwy odpowiadam na dokładnie twoje pytanie posługując się moim przykładem, moimi funkcjami W,Z zamiast twoimi X,Y |
Dlatego to nie jest odpowiedź na moje pytanie.
Odpowiedzią na moje pytanie jest jedna wersja z czterech:
1.
X - dodatnia
Y - ujemna
2.
X - dodatnia
Y - dodatnia
3.
X - ujemna
Y - ujemna
4.
X - ujemna
Y - dodatnia
Możesz nawet jako odpowiedź zawerzeć tylko JEDEN znak: liczbę od 1 do 4.
Ale tego nie zrobisz, tylko będziesz pierdzielił o czym innym i zadawał pytania.
Bo na prostym przykładzie twoja algebra się widowiskowo wypierdzieliła. Więc jedyne, co ci pozostaje, to właśnie zmiana tematu i zadawanie pytań. Co niniejszym czynisz. |
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
| Irbisol napisał: | | Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach |
Irbisolu, dostałeś odpowiedź super-precyzyjną w moim poście wyżej - dokładniej w cytacie w tym poście.
Powtórzę, bo nie mam z tobą podstawowego kontaktu:
Mamy dwie funkcje logiczne:
W = p+q - logika dodatnia (bo W)
Z = ~p*~q - logika dodatnia (bo Z)
Ogólnie:
Mamy dwie funkcje logiczne:
W = f(x) - logika dodatnia bo W
Z = f(y) - logika dodatnia bo Z
Pod wyrażenie f(x) i f(y) podstaw sobie dowolne wyrażenie algebry Boole'a (na przykład twoje X,Y) to absolutnie niczego w mojej odpowiedzi nie zmieni.
Przykład:
1.
f(x) = p*q+~p*r+~q*s
Stąd masz:
W = p*q+~p*r+~q*s - logika dodatnia bo W
2.
f(Y) = p*~q + r*s
Stąd masz:
Z = p*~q + r*s - logika dodatnia bo Z
Czego tu jeszcze nie rozumiesz?
Problem milenijny dla Irbisola:
W = p*q+~p*r+~q*s - logika dodatnia bo W
Dlaczego po stronie wejścia odróżniasz logikę dodatnią:
q - logika dodatnia bo q
i logikę ujemną:
~q - logika ujemna bo ~q
.. a nie jesteś w stanie tego samego rozpoznać po stronie wyjścia W!
W = p*q+~p*r+~q*s - logika dodatnia bo W
Negujemy równanie dwustronnie:
~W = ~(p*q+~p*r+~q*s) - logika ujemna bo ~W
Koniec i kropka!
To jest logika matematyczna na poziomie 3-letniego dziecka i mogę ci ten fakt udowodnić - problem w tym że ty tego nie chcesz, wolisz w koło Macieju pisać "niezamówionych wykładów nie czytam"
Pytam więc!
Czy mam ci wyjaśnić na poziomie 3-letniego dziecka, eksperta logiki dodatniej (bo p) i ujemnej (bo ~p) ... o co tu chodzi?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pią 22:43, 03 Gru 2021, w całości zmieniany 8 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 9:44, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631717
| Irbisol napisał: | | Nadal brak odpowiedzi czy X i Y są w dodatniej czy ujemnej |
W tym poście masz precyzyjne wyjaśnienie ogólne, niezależne od zdań wypowiadanych przez człowieka:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631659
Cytuję:
| rafal3006 napisał: | Czy Irbisol da sobie wyjaśnić o co chodzi w logice dodatniej (bo p) i ujemnej (bo ~p)?
Wykładem na poziomie 3-letniego dziecka, naturalnego eksperta logiki dodatniej (bo p) i ujemnej (bo ~p)?
… czy ktokolwiek ma nadzieję że pozwoli Jasiowi (lat 3) wyjaśnić o co tu chodzi?
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | To tylko proste pytanie. Nie musisz niczego obalać, dowodzić ani tłumaczyć.Zwyczajnie masz przypisać do X oraz Y jedną z 2 cech. Ale tego nie robisz.Czyli nie masz pojęcia, co odpowiedzieć... |
... przecież bez przerwy odpowiadam na dokładnie twoje pytanie posługując się moim przykładem, moimi funkcjami W,Z zamiast twoimi X,Y |
Dlatego to nie jest odpowiedź na moje pytanie.
Odpowiedzią na moje pytanie jest jedna wersja z czterech:
1.
X - dodatnia
Y - ujemna
2.
X - dodatnia
Y - dodatnia
3.
X - ujemna
Y - ujemna
4.
X - ujemna
Y - dodatnia
Możesz nawet jako odpowiedź zawerzeć tylko JEDEN znak: liczbę od 1 do 4.
Ale tego nie zrobisz, tylko będziesz pierdzielił o czym innym i zadawał pytania.
Bo na prostym przykładzie twoja algebra się widowiskowo wypierdzieliła. Więc jedyne, co ci pozostaje, to właśnie zmiana tematu i zadawanie pytań. Co niniejszym czynisz. |
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
| Irbisol napisał: | | Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach |
Irbisolu, dostałeś odpowiedź super-precyzyjną w moim poście wyżej - dokładniej w cytacie w tym poście.
Powtórzę, bo nie mam z tobą podstawowego kontaktu:
Mamy dwie funkcje logiczne:
W = p+q - logika dodatnia (bo W)
Z = ~p*~q - logika dodatnia (bo Z)
Ogólnie:
Mamy dwie funkcje logiczne:
W = f(x) - logika dodatnia bo W
Z = f(y) - logika dodatnia bo Z
Pod wyrażenie f(x) i f(y) podstaw sobie dowolne wyrażenie algebry Boole'a (na przykład twoje X,Y) to absolutnie niczego w mojej odpowiedzi nie zmieni.
Przykład:
1.
f(x) = p*q+~p*r+~q*s
Stąd masz:
W = p*q+~p*r+~q*s - logika dodatnia bo W
2.
f(Y) = p*~q + r*s
Stąd masz:
Z = p*~q + r*s - logika dodatnia bo Z
Czego tu jeszcze nie rozumiesz?
Problem milenijny dla Irbisola:
W = p*q+~p*r+~q*s - logika dodatnia bo W
Dlaczego po stronie wejścia odróżniasz logikę dodatnią:
q - logika dodatnia bo q
i logikę ujemną:
~q - logika ujemna bo ~q
.. a nie jesteś w stanie tego samego rozpoznać po stronie wyjścia W!
W = p*q+~p*r+~q*s - logika dodatnia bo W
Negujemy równanie dwustronnie:
~W = ~(p*q+~p*r+~q*s) - logika ujemna bo ~W
Koniec i kropka!
To jest logika matematyczna na poziomie 3-letniego dziecka i mogę ci ten fakt udowodnić - problem w tym że ty tego nie chcesz, wolisz w koło Macieju pisać "niezamówionych wykładów nie czytam"
Pytam więc!
Czy mam ci wyjaśnić na poziomie 3-letniego dziecka, eksperta logiki dodatniej (bo p) i ujemnej (bo ~p) ... o co tu chodzi?
TAK/NIE
|
W czym masz kłopot Irbisolu by na podstawie powyższego cytatu samodzielnie odpowiedzieć sobie na twoje pytanie o X i Y?
Napisz gdzie widzisz problem, wtedy będę wyjaśniał.
Pytam więc!
Czy mam ci wyjaśnić na poziomie 3-letniego dziecka, eksperta logiki dodatniej (bo p) i ujemnej (bo ~p) ... o co tu chodzi?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:43, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631739
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Nadal brak odpowiedzi czy X i Y są w dodatniej czy ujemnej |
W tym poście masz precyzyjne wyjaśnienie ogólne |
Nie chcę wyjaśnienia ogólnego. Chcę odpowiedzi na moje pytanie.
Powinieneś bez problemu tej odpowiedzi udzielić na podstawie wiedzy ogólnej. |
Mówisz i masz …
Moja odpowiedź ogólna jest następująca:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631659
| rafal3006 napisał: |
Odpowiedź ogólna na problem Irbisola
Mamy dwie funkcje logiczne:
W = p+q - logika dodatnia (bo W)
Z = ~p*~q - logika dodatnia (bo Z)
Ogólnie:
Mamy dwie funkcje logiczne:
W = f(x) - logika dodatnia bo W
Z = f(y) - logika dodatnia bo Z
Pod wyrażenie f(x) i f(y) podstaw sobie dowolne wyrażenie algebry Boole'a (na przykład twoje X,Y) to absolutnie niczego w mojej odpowiedzi nie zmieni.
Przykład:
1.
f(x) = p*q+~p*r+~q*s
Stąd masz:
W = p*q+~p*r+~q*s - logika dodatnia bo W
2.
f(Y) = p*~q + r*s
Stąd masz:
Z = p*~q + r*s - logika dodatnia bo Z
Czego tu jeszcze nie rozumiesz?
Problem milenijny dla Irbisola:
W = p*q+~p*r+~q*s - logika dodatnia bo W
Dlaczego po stronie wejścia odróżniasz logikę dodatnią:
q - logika dodatnia bo q
i logikę ujemną:
~q - logika ujemna bo ~q
.. a nie jesteś w stanie tego samego rozpoznać po stronie wyjścia W!
W = p*q+~p*r+~q*s - logika dodatnia bo W
Negujemy równanie dwustronnie:
~W = ~(p*q+~p*r+~q*s) - logika ujemna bo ~W
Koniec i kropka!
To jest logika matematyczna na poziomie 3-letniego dziecka i mogę ci ten fakt udowodnić - problem w tym że ty tego nie chcesz, wolisz w koło Macieju pisać "niezamówionych wykładów nie czytam"
Pytam więc!
Czy mam ci wyjaśnić na poziomie 3-letniego dziecka, eksperta logiki dodatniej (bo p) i ujemnej (bo ~p) ... o co tu chodzi?
TAK/NIE |
Mówisz i masz Irbisolu ..
Funkcje logiczne które ty zapisałeś są następujące:
DA = ~K * T
DE = K + ~T
Odpowiadam na pytanie według wzoru ogólnego podanego w cytacie:
1.
DA = ~K*T - logika dodatnia (bo DA)
#
Negujemy dwustronnie:
~DA = K+~T - logika ujemna (bo ~DA)
##
2.
DE=K+~T - logika dodatnia (bo DE)
#
Negujemy dwustronnie:
~DE = ~K*T - logika ujemna (bo ~DE)
Gdzie:
## - różne na mocy definicji
Definicja #:
Dowolna strona znaczka # jest zaprzeczeniem drugiej strony
Definicja znaczka ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
Irbisolu,
Czy to jest jasne?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 12:04, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631751
Twardy dowód wewnętrznej sprzeczności logiki ziemian na poziomie funkcji logicznych!
| Irbisol napisał: | | rafal3006 napisał: |
| Kod: |
1.
DA =~K*T - logika dodatnia (bo DA)
#
~DA = K+~T - logika ujemna (bo ~DA)
##
2.
DE=K+~T - logika dodatnia (bo DE)
#
~DE=~K*T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
|
Czyli K+~T jest jednocześnie logiką dodatnią i ujemną? |
Czy widzisz znaczek różne na mocy definicji ## między funkcjami 1 i 2?
Brak znaczka różne na mocy definicji ## w logice „matematycznej” ziemian powoduje, iż ziemska logika matematyczna jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Pokazuję i objaśniam o co tu chodzi!
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro nie pójdziemy do kina, ale pójdziemy do teatru
DA=~K*T - logika dodatnia (bo DA)
co w logice jedynek oznacza:
DA=1 <=> ~K=1 i T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1.
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
DA=~K*T - logika dodania (bo DA)
Jaś:
… a kiedy pani nie dotrzyma słowa (~DA=1)?
Negujemy równanie 1 dwustronnie:
~DA=~(~K*T) = K+~T - prawo De Morgana
stąd:
~DA = K+~T - logika ujemna (bo ~DA)
co w logice jedynek oznacza:
~DA=1 <=> K=1 lub ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
2.
Nie dotrzymam słowa (~DA=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
~DA = K+~T - logika ujemna (bo ~DA)
co w logice jedynek oznacza:
~DA=1 <=> K=1 lub ~T=1
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro pójdziemy do kina lub nie pójdziemy do teatru
DE = K+~T
co w logice jedynek oznacza:
DE=1 <=> K=1 lub ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (DE=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
DE=K+~T - logika dodatnia (bo DE)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~DE=1)?
Negujemy równanie 1 dwustronnie:
~DE=~(K+~T) = ~K*T - prawo De Morgana
stąd:
E2.
~DE = ~K*T - logika ujemna (bo ~DE)
co w logice jedynek oznacza:
~DE=1 <=> ~K=1 * T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
~DE=~K*T - logika ujemna (bo ~DE)
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A: D = ~K*T ## E: D = K+~T
# #
A: ~D = K+~T ## E: ~D =~K*T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A: D =~K*T ## E: ~D=~K*T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro nie pójdziemy do kina (~K=1) ## jutro nie pójdziemy do kina (~K=1)
„i”(*) ## „i”(*)
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbisolu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
D=~K*T - logika dodania (bo D)
Czy poprawną odpowiedzią na pytanie:
Kiedy pani Ania nie dotrzyma słowa (~D=1)?
Będzie odpowiedź z przedszkola pani Ewy?
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
~D=~K*T - logika ujemna (bo ~D)
Innymi słowy:
W tabeli T1 mamy dwie funkcje logiczne:
A: D=~K*T
E: ~D=~K*T
Pytanie do Irbisola:
Irbisolu,
Czy z faktu, że prawe strony funkcji logicznych A i E są tożsame wolno ci wyciągać ze 100% pewnością wniosek, iż funkcje A i E mają ze sobą cokolwiek wspólnego?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Sob 12:12, 04 Gru 2021, 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: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 15:00, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631789
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
| Kod: |
1.
DA =~K*T - logika dodatnia (bo DA)
#
~DA = K+~T - logika ujemna (bo ~DA)
##
2.
DE=K+~T - logika dodatnia (bo DE)
#
~DE=~K*T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
|
Czyli K+~T jest jednocześnie logiką dodatnią i ujemną? |
Czy widzisz znaczek różne na mocy definicji ## między funkcjami 1 i 2? |
K+~T jest różne na mocy definicji od K+~T ?
K+~T nie jest tożsame z K+~T?
|
Widzę Irbisolu, że nie rozumiesz.
Pokazuję i objaśniam:
Przechodzę na przykład gdzie po stronie wejścia mamy niezanegowane zmienne K (kino) i T(teatr):
K+T
bo ten przykład jest doskonale rozumiany przez 5-cio latków.
Natomiast tego co ty proponujesz:
K+~T = (T=>K)
w języku potocznym nikt nie używa, bo nikt nie przechodzi z warunku wystarczającego T=>K do jego opisu w spójnikach „i”(*) i „lub”(+).
Wniosek:
Zajmijmy się niezanegowanym wyrażeniem algebry Boole’a:
K+T
które to wyrażenie doskonale znają wszyscy, od 5-cio latka poczynając, łącznie z tobą Irbisolu.
Irbisolu:
Nie odróżniasz wyrażenia algebry Boole'a np:
K+T
od funkcji logicznej algebry Boole’a
Y = K+T
dokładnie dlatego twoja logika jest wewnętrznie sprzeczna.
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
To jest wyrażenie algebry Boole'a:
Kino lub teatr
K+T
.. a to jest funkcja algebry Boole’a:
D = K+T
... a to są funkcje logiczne algebry Boole'a w logice dodatniej (bo D) i w logice ujemnej (bo ~D):
1: D = K+T # 2: ~D=~K*~T
gdzie:
Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony
Pani przedszkolanka Ania mówi:
1.
Jutro pójdziemy do kina lub do teatru
D = K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
1: D = K+T - logika dodatnia (bo D)
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy dwustronnie funkcję logiczną 1.
~D = ~(K+T) =~K*~T - prawo De Morgana
Stąd:
~D=~K*~T - logika ujemna (bo ~D)
Co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Czytamy:
2.
Pani nie dotrzyma słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
2: ~D = ~K*~T - logika ujemna (bo ~D)
Problem milenijny dla Irbisola:
Zapisz powyższy dialog tylko i wyłącznie z użyciem wyrażenia algebry Boole’a (K+T) tzn. bez użycia definicji funkcji logicznej (D=K+T)
Ostatnio zmieniony przez rafal3006 dnia Sob 17:01, 04 Gru 2021, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 18:46, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631823
Dwa największe odkrycia w historii AK do których doszło dzięki Irbisolowi!
Największe dlatego, że ostatnie z wielkich ... ile razy ja to już pisałem?
Zapowiedź - w trakcie opracowania szczegółowego.
Odkrycie I
W definicjach algebry Boole'a należy zdecydowanie mówić o zmiennych binarnych, bowiem ani algebra Boole'a, ani algebra Kubusia nie działa na stałych binarnych.
Dowód:
W technice cyfrowej idiotyzmem jest projektowania układu sterującego w bramkach logicznych, gdzie na wejście bramki podajemy twardą jedynką, albo twarde zero.
Wniosek:
Odkrycie I to oczywiście gwóźdź do trumny z napisem Klasyczny Rachunek Zdań który w definicji ustawia na wejściu bramki logicznej twarde zera i twarde jedynki.
Odkrycie II
Zlokalizowałem położenie praw Prosiaczka w definicjach wszystkich możliwych spójników logicznych (16 sztuk), których poprawny zapis matematyczny musi być taki:
I prawo Prosiaczka:
(Y=1) # (~Y=0)
##
II prawo Prosiaczka:
(Y=0) # (~Y=1)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Definicja znaczka różna 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 zaprzeczeniem drugiej
W dotychczasowych prawach Prosiaczka zapisywałem tożsamości, co jest błędem czysto matematycznym ale bez żadnych negatywnych skutków dla samej algebry Kubusia, bowiem w naturalnej logice człowieka wszystkie zmienne binarne są sprowadzone do jedynek na mocy praw Kubusia właśnie.
Dzięki Irbisolu!
Mam nadzieję, że wkrótce dołączysz do wyznawców algebry Kubusia.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 19:03, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631823
Dwa największe odkrycia w historii AK do których doszło dzięki Irbisolowi!
Największe dlatego, że ostatnie z wielkich ... ile razy ja to już pisałem?
Zapowiedź - w trakcie opracowania szczegółowego.
Odkrycie I
W definicjach algebry Boole'a należy zdecydowanie mówić o zmiennych binarnych, bowiem ani algebra Boole'a, ani algebra Kubusia nie działa na stałych binarnych.
Dowód:
W technice cyfrowej idiotyzmem jest projektowania układu sterującego w bramkach logicznych, gdzie na wejście bramki podajemy twardą jedynką, albo twarde zero.
Wniosek:
Odkrycie I to oczywiście gwóźdź do trumny z napisem Klasyczny Rachunek Zdań który w definicji ustawia na wejściu bramki logicznej twarde zera i twarde jedynki.
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramek logicznych
Y - wyjście bramki logicznej
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Przykład:
Y = p*q+~p*~q
Odkrycie II
Zlokalizowałem położenie praw Prosiaczka w definicjach wszystkich możliwych spójników logicznych (16 sztuk), których poprawny zapis matematyczny musi być taki:
I prawo Prosiaczka:
(Y=1) # (~Y=0)
##
II prawo Prosiaczka:
(Y=0) # (~Y=1)
Gdzie:
# - dowolna strona znaczka # 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 zaprzeczeniem drugiej
W dotychczasowych prawach Prosiaczka zapisywałem tożsamości, co jest błędem czysto matematycznym ale bez żadnych negatywnych skutków dla samej algebry Kubusia, bowiem w naturalnej logice człowieka wszystkie zmienne binarne są sprowadzone do jedynek na mocy praw Kubusia właśnie.
Dzięki Irbisolu!
Mam nadzieję, że wkrótce dołączysz do wyznawców algebry Kubusia.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 19:40, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631843
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | K+~T jest różne na mocy definicji od K+~T ?
K+~T nie jest tożsame z K+~T?
|
Widzę Irbisolu, że nie rozumiesz.
Pokazuję i objaśniam |
Nie chcę, żebyś pokazywał i objaśniał, tylko żebyś odpowiedział na pytanie.
Jeżeli nie podoba ci się K+~T, to odpowiedz, czy DE jest różne na mocy definicji od ~DA. |
Irbisolu, będę z tobą dyskutował pod warunkiem, że przejdziesz na wejściach funkcji logicznej na niezanegowane zmienne K i T - powód tego podałem w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631789
Dlaczego jestem taki uparty?
1.
Bo chcę aby nasza dyskusja była zrozumiała dla wszystkich od 5-cio latków po najwybitniejszego ziemskiego matematyka.
2.
Algebra Kubusia to matematyczny opis języka potocznego gdzie absolutnie nikt nie przechodzi z warunku wystarczającego => do jego opisu w spójnikach „i”(*) i „lub”(+) bowiem przy takim przejściu zabijana jest istota warunku wystarczającego =>, opisywana tu gwarancja matematyczna =>
Jeśli zajdzie p to na 100% => zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona, wtedy i tylko wtedy gdy zajście p jest wystarczające => dla zajścia q.
Matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => Gwarancja matematyczna =>
Inaczej:
p=>q =0
Definicja warunku wystarczającego => w spójnikach „i’(*) i „lub”(+) to:
Y = (p=>q) = ~p+q = ~p*q + ~p*~q + p*q
Po przejściu do spójników „i”(*) i „lub”(+) zabijasz istotę warunku wystarczającego =>, czego absolutnie nikt w języku potocznym nie robi, od 5-cio latka poczynając.
Dokładnie dlatego, że ani 5-cio latek, ani ty, ani też najwybitniejszy ziemski matematyk nie rozumiecie poniższej tożsamości czysto matematycznej:
Y = (p=>q) = ~p+q = ~p*q + ~p*~q + p*q
nie zamierzam z tobą dyskutować w temacie twojego wyrażenia ~p+q, chyba że udowodnisz iż rozumiesz o co chodzi w powyższym wytłuszczonym zapisie.
Ponieważ z góry wiem że nie rozumiesz powyższego wytłuszczonego zapisu zmieniam twój przykład na wyrażenie bez negacji, czyli:
K+T
i o takim wyrażeniu dyskutujmy
Zrozum:
Nie chcę dyskutować o czymś, czego ty nie rozumiesz czyli o wytłuszczonym równaniu logicznym wyżej.
Pewne jest, że jak zacznę ci tłumaczyć, co oznacza to wytłuszczone równanie to zaczniesz krzyczeć „nie zamówionych wykładów nie czytam”
Analogia:
Kto uczy dzieciaków w szkole podstawowej mnożenia dowolnych liczb bez znajomości tabliczki mnożenia do 100?
Twoim przykładem robisz dokładnie to samo, skaczesz na głęboką wodę nie umiejąc pływać, czyli chcesz dyskutować o skomplikowanej funkcji logicznej:
Y = (p=>q) = ~p+q = ~p*q + ~p*~q + p*q
bez uprzedniego rozeznania jak dokładnie to samo działa na funkcji zrozumiałej dla każdego 5-cio latka:
Y = K+T
Więc jak?
Zgadzasz się byśmy przeszli na funkcję banalnie prostą i zrozumiałą dla wszystkich 5-cio latków funkcję logiczną:
D = K+T
Czy też się uparłeś i chcesz rozmawiać matematycznie o tym samym, lecz na przykładzie funkcji logicznej której znaczenia na 100% nie rozumiesz, mówię tu o warunku wystarczającym => wyrażonym spójnikami „i”(*) i „lub”(+):
D = (p=>q) = ~p+q = ~p*q + ~p*~q + p*q
Ostatnio zmieniony przez rafal3006 dnia Nie 7:05, 05 Gru 2021, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 23:19, 04 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631881
Problem Irbisola omówiony na przykładzie zrozumiałym dla 5-cio latka!
Irbisolu, omówię dokładnie twój problem na wyrażeniu zrozumiałym dla każdego 5-cio latka,
czyli K+T (zamiast twojego K+~T - matematycznie to kompletnie bez znaczenia).
Definicje podstawowe:
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramek logicznych
Y - wyjście bramki logicznej
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Przykład:
Y = p*q+~p*~q
Zaczynamy!
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro pójdziemy do kina lub do teatru
D=K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1:
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Innymi słowy:
Pójdziemy w dowolne miejsce i już dotrzymam słowa.
Jaś:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(K+T) = ~K*~T - prawo De Morgana
stąd:
2.
~D = ~K*~T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
A2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
A2: ~D=~K*~T - logika ujemna (bo D)
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro nie pójdziemy ani do kina, ani też do teatru
D = ~K*~T
co w logice jedynek oznacza:
D=1 <=> ~K=1 i ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
E1: D=~K*~T - logika dodatnia (bo D)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(~K*~T) = K+T - prawo De Morgana
stąd:
E2.
~D = K+T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> K=1 lub T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
E2: ~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
Wystarczy, że pójdziemy w dowolne miejsce, i już nie dotrzymam słowa.
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A1: D = K+ T ## E1: D=~K*~T
# #
A2: ~D =~K*~T ## E2: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A1: D =K+T ## E2: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Jaś pyta Irbisola (przedszkolnego wizytatora):
Kiedy pani nie dotrzyma słowa (~D=1)?
Irbisol odpowiada zdaniem E2 z przedszkola pani Ewy:
Jasiu,
E2.
Pani nie dotrzyma słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziecie do kina (K=1) lub pójdziecie do teatru (T=1)
E2: ~D=K+T
Pytanie do Irbisola:
Czy dalej jesteś pewien, że dałeś poprawną odpowiedź na pytanie Jasia?
Jeśli nie, to wyjaśnij dlaczego moja odpowiedź włożona w twoje usta jest błędem czysto matematycznym!
Ostatnio zmieniony przez rafal3006 dnia Nie 8:19, 05 Gru 2021, 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: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 9:34, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631903
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | K+~T jest różne na mocy definicji od K+~T ?
K+~T nie jest tożsame z K+~T?
|
Widzę Irbisolu, że nie rozumiesz.
Pokazuję i objaśniam |
Nie chcę, żebyś pokazywał i objaśniał, tylko żebyś odpowiedział na pytanie.
Jeżeli nie podoba ci się K+~T, to odpowiedz, czy DE jest różne na mocy definicji od ~DA. |
Irbisolu, będę z tobą dyskutował pod warunkiem, że przejdziesz na wejściach funkcji logicznej na niezanegowane zmienne K i T |
Ale ja nie chcę dyskutować.
Chcę, żebyś odpowiedział na trywialne, proste pytanie, które zadaję od jakiegoś czasu.
No chyba że twoja algebra się na nim wysrywa i nie masz pojęcia, co z tym zrobić. |
Jak zwykle wszystko jest odwrotnie niż myślisz - to twoja pseudo-algebra wysrywa się na prostym przykładzie.
Twierdzisz bowiem, że zachodzi tożsamość funkcji logicznych Y i ~Y:
(Y=p+~q) = (~Y=p+~q)
bo zachodzi tożsamość wyrażeń:
(p+~q) = (p+~q)
Ty na serio wierzysz, że masz rację?
Bardzo proszę, oto moja odpowiedź - innej nie dostaniesz.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631881
| rafal3006 napisał: | Problem Irbisola omówiony na przykładzie zrozumiałym dla 5-cio latka!
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A1: D = K+ T ## E1: D=~K*~T
# #
A2: ~D =~K*~T ## E2: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A1: D =K+T ## E2: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Jaś pyta Irbisola (przedszkolnego wizytatora):
Kiedy pani nie dotrzyma słowa (~D=1)?
Irbisol odpowiada zdaniem E2 z przedszkola pani Ewy:
Jasiu,
E2.
Pani nie dotrzyma słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziecie do kina (K=1) lub pójdziecie do teatru (T=1)
E2: ~D=K+T
Pytanie do Irbisola:
Czy dalej jesteś pewien, że dałeś poprawną odpowiedź na pytanie Jasia?
Jeśli nie, to wyjaśnij dlaczego moja odpowiedź włożona w twoje usta jest błędem czysto matematycznym! |
Irbisolu,
Podstaw sobie w miejsce mojego wyrażenia K+T twoje jedynie słuszne wyrażenie K+~T (to bez znaczenia), wtedy zrozumiesz ... że zawali się w 100% twoja logika "matematyczna".
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:11, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631913
Nowa algebra Boole’a
4.0 Nieznana algebra Boole’a
http://www.sfinia.fora.pl/forum-kubusia,12/nowa-algebra-boole-a,18893.html#593691
Spis treści
4.0 Nieznana algebra Boole’a 1
4.1 Prawa Prosiaczka w tabeli wszystkich możliwych spójników logicznych 5
4.2 Armagedon logiki matematycznej ziemian na poziomie funkcji logicznych 6
4.3 Armagedon ziemskiego rachunku zero-jedynkowego 11
4.4 Armagedon algebry Boole’a 12
4.4.1 Armagedon algebry Boole’a w spójnikach „i”(*) i „lub”(+) w przedszkolu 16
4.0 Nieznana algebra Boole’a
Dlaczego nieznana?
W tabeli wszystkich możliwych spójników logicznych TS (niżej) po raz pierwszy w historii ludzkości zdefiniowano wszystkie występujące w logice matematycznej, elementarne znaczki logiczne.
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) - negacja
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramek logicznych
Y - wyjście bramki logicznej
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Przykład:
Y = p+q
Y = ~p*~q
Y = p*q+~p*~q
Wniosek z definicji funkcji logicznej:
Nie jest funkcją logiczną zapis uwzględniający choćby jedno wartościowanie dowolnej zmiennej binarnej.
Przykładowe zapisy które nie spełniają definicji funkcji logicznej to:
Y=1<=>p+q
Y=0<=>~p*~q
etc
Dowolną funkcję logiczną Y mamy prawo tylko i wyłącznie dwustronnie zanegować:
Y = p+q
co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
Negujemy dwustronnie:
~Y = ~(p+q) = ~p*~q - na mocy prawa De Morgana (poznamy za chwilę)
co w logice jedynek oznacza:
~Y=1 <=> ~p=1 i ~q=1
Definicja funkcji logicznej Y dwóch zmiennych binarnych p i q:
Funkcja logiczna Y w logice dodatniej (bo Y) dwóch zmiennych binarnych p i q to cyfrowy układ logiczny dający na wyjściu binarnym Y jednoznaczne odpowiedzi na wszystkie możliwe wymuszenia na wejściach p i q.
Zachodzi tożsamość pojęć:
binarny = dwuelementowy
Wszystkie możliwe wymuszenia binarne (dwuwartościowe) na wejściach p i q dla funkcji logicznej w logice dodatniej (bo Y) to:
| Kod: |
T1
Wszystkie możliwe wymuszenia binarne na wejściach p i q
dla funkcji logicznej w logice dodatniej (bo Y)
p q Y
A: 1 1 x
B: 1 0 x
C: 0 1 x
D: 0 0 x
Gdzie:
x={0,1}
|
Z definicji funkcji logicznej Y wynika, że możliwe jest szesnaście i tylko szesnaście różnych na mocy definicji ## funkcji logicznych dwuargumentowych w logice dodatniej (bo Y).
Funkcje te definiujemy tabelą prawdy pokazującą wszystkie możliwe wymuszenia na wejściach p i q oraz wszystkie możliwe, różne na mocy definicji ## odpowiedzi na wyjściu Y.
Każda ze zmiennych binarnych {p, q, Y} może występować w logice dodatniej (bo x) albo w logice ujemnej (bo ~x). Oczywistym jest, że zmienna binarna w logice dodatniej (bo x) wymusza zmienną binarną w logice ujemnej (bo ~x), albo odwrotnie.
Na dowolny układ cyfrowy można zatem spojrzeć w logice dodatniej (bo Y) albo w logice ujemnej (bo ~Y).
| Kod: |
T2
Wszystkie możliwe wymuszenia binarne na wejściach p i q
dla funkcji logicznej w logice dodatniej (bo Y)
wymuszające wszystkie możliwe stany binarne na wejściach ~p i ~q
dla funkcji logicznej w logice ujemnej (bo ~Y) i odwrotnie.
p q Y # ~p ~q ~Y
A: 1 1 x 0 0 ~(x)
B: 1 0 x 0 1 ~(x)
C: 0 1 x 1 0 ~(x)
D: 0 0 x 1 1 ~(x)
Gdzie:
x={0,1}
Y=f(p,q) # ~Y=f(~p,~q)
# - różne w znaczeniu iż dowolna strona znaczka #
jest negacją drugiej strony
|
| Kod: |
TS - tabela wszystkich możliwych spójników logicznych
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
|Grupa I |Grupa II |Grupa III | Grupa IV
|Spójniki „i”(*)|Spójniki typu |Spójniki przeciwne | Wejścia
|oraz „lub”(+) |Jeśli p to q |do grupy II | p i q
| Y Y | Y Y | Y Y Y Y | Y Y Y Y | Y Y Y Y
p q | * + | ~* ~+ | => ~> <=> ~~>| ~=> ~(~>) $ ~(~~>)| p q ~p ~q
A: 1 1 | 1 1 | 0 0 | 1 1 1 1 | 0 0 0 0 | 1 1 0 0
B: 1 0 | 0 1 | 1 0 | 0 1 0 1 | 1 0 1 0 | 1 0 0 1
C: 0 1 | 0 1 | 1 0 | 1 0 0 1 | 0 1 1 0 | 0 1 1 0
D: 0 0 | 0 0 | 1 1 | 1 1 1 1 | 0 0 0 0 | 0 0 1 1
A A A A A A A A A A A A A A A A
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
Stąd mamy:
Grupa spójników „i”(*) oraz „lub”(+)w logice dodatniej (bo Y):
A0: Y=p*q # B0: ~Y=~( p* q) =~p+~q
## ##
A1: Y=p+q # B1: ~Y=~( p+ q) =~p*~q
## ##
A2: Y=~(p*q)=~p+~q # B2: ~Y=~(~p+~q) = p* q
## ##
A3: Y=~(p+q)=~p*~q # B3: ~Y=~(~p*~q) = p+ q
Grupa spójników implikacyjnych „Jeśli p to q” w logice dodatniej (bo Y):
## ##
A4: Y = (p=>q) = ~p+q # B4: ~Y=~(p=>q)=~(~p+ q)=p*~q
## ##
A5: Y = (p~>q) = p+~q # B5: ~Y=~(p~>q)=~( p+~q)=~p*q
## ##
A6: Y = p<=>q = ~(p$q) =p*q+~p*~q # B6: ~Y=~(p<=>q)=(p$q)=p*~q+~p*q
## ##
A7: Y = (p~~>q) =1 # B7: ~Y=~(p~~>q) =0
## ##
A8: Y =~(p=>q) = p*~q # B8: ~Y= (p=>q)=~( p*~q)=~p+q
## ##
A9: Y =~(p~>q) =~p* q # B9: ~Y= (p~>q)=~(~p* q)=p+~q
## ##
A10: Y = p$q = ~(p<=>q)=p*~q+~p*q # B10:~Y=~(p$q) =(p<=>q)=p*q+~p*~q
## ##
A11: Y =~(p~~>q) =0 # B11:~Y= (p~~>q) =1
Grupa spójników jednoargumentowych w logice dodatniej (bo Y):
## ##
A12: Y = p # B12:~Y=~p
## ##
A13: Y= q # B13:~Y=~q
## ##
A14: Y =~p # B14:~Y= p
## ##
A15: Y=~q # B15:~Y= q
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Funkcje logiczne Y w logice dodatniej (bo Y) w ilości 16 sztuk to funkcje różne na mocy definicji ##.
Znaczenie najważniejszych znaczków w logice matematycznej które sukcesywnie będziemy poznawać w algebrze Kubusia:
Y=p*q - spójnik „i”(*) w języku potocznym
Y=p+q - spójnik „lub”(+) w języku potocznym
Y = p=>q =~p+q - definicja warunku wystarczającego => w języku potocznym
Y = p~>q = p+~q - definicja warunku koniecznego ~> w języku potocznym
Y = p<=>q = p*q+~p*~q - definicja spójnika „wtedy i tylko wtedy” <=> w języku potocznym
Y = p$q = p*~q+~p*q - definicja spójnika „albo”($) w języku potocznym
Zdarzenia:
Y = p~~>q =p*q - definicja zdarzenia możliwego ~~> w teorii zdarzeń w języku potocznym
tu wystarczy udowodnić, że możliwe jest jednoczesne zajście zdarzeń p i q
lub
Zbiory:
Y = p~~>q =p*q - definicja elementu wspólnego zbiorów ~~> w teorii zbiorów w języku potocznym
tu wystarczy udowodnić iż istnieje wspólny element zbiorów p i q
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji funkcji logicznych ##:
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, że w tabeli TS definicje obu znaczków # i ## są perfekcyjnie spełnione.
Innymi słowy:
Nie istnieje funkcja logiczna w dowolnej linii w tabeli TS która byłaby tożsama z funkcją występującą w innej linii tabeli TS.
Jak widzimy, w definicji znaczka różne na mocy definicji ## mowa jest o funkcjach logicznych Y dla dowolnej z kolumn zero-jedynkowych w rachunku zero-jedynkowym, a nie o gołych zerach i jedynkach w dowolnej z kolumn z pominięciem definicji funkcji logicznej Y i ~Y
4.1 Prawa Prosiaczka w tabeli wszystkich możliwych spójników logicznych
Przepiszmy funkcje logiczne A7 i A11 z tabeli wszystkich możliwych spójników logicznych.
| Kod: |
A7: Y = (p~~>q) =1 # B7: ~Y=~(p~~>q) =0
## ##
A11: Y =~(p~~>q) =0 # B11:~Y= (p~~>q) =1
|
Dowód poprawności zapisu A7 gdzie w wyniku spójnika p~~>q mamy same jedynki:
A7 = (p~~>q) = p*q + p*~q + ~p*~q + ~p*q = p*(q+~q) + ~p*(~q+q) = p+~p =1
cnd
Uwaga:
Funkcje logiczne A7 i A11 definiują prawa Prosiaczka:
| Kod: |
A7: Y=1 # B7: ~Y=0
## ##
A11: Y=0 # B11:~Y=1
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący w osi czasu przyjmować tylko i wyłącznie dwie wartości logiczne 1 i 0.
Definicja zmiennej binarnej w logice dodatniej (bo p)
Zmienna binarna wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zaprzeczona
Inaczej zmienna binarna zapisana jest w logice ujemnej (bo ~p)
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.
I Prawo Prosiaczka:
A7: (p=1) # B7: (~p=0)
Zmienna binarna w logice dodatniej (bo p) ma wartość logiczną 1 wtedy i tylko wtedy gdy zmienna binarna w logice ujemnej (bo ~p) ma wartość logiczną 0
Definicja równoważności:
p<=>q = (p=>q)*(q=>p) =1*1 =1
Prawo Prosiaczka:
(p=1) <=> (~p=0) = ((p=1)=>(~p=0))*((~p=0)=>(p=1)) =1*1 =1
Każda równoważność to tożsamość logiczna i odwrotnie, stąd:
Innymi słowy:
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:
A11: (p=0) # B11: (~p=1)
Zmienna binarna w logice dodatniej (bo p) ma wartość logiczną 0 wtedy i tylko wtedy gdy zmienna binarna w logice ujemnej (bo ~p) ma wartość logiczną 1 (i odwrotnie)
Definicja równoważności:
p<=>q = (p=>q)*(q=>p) =1*1 =1
Prawo Prosiaczka:
(p=0) <=> (~p=1) = ((p=0)=>(~p=1))*((~p=1)=>(p=0)) =1*1 =1
Każda równoważność to tożsamość logiczna i odwrotnie, stąd:
Innymi słowy:
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)
Definicja tożsamości logicznej „=”:
(p=0) = (~p=1)
Spełnienie dowolnej strony tożsamości logicznej „=” wymusza spełnienie drugiej strony
Gdzie:
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie zmienne binarne są różne na mocy definicji wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
4.2 Armagedon logiki matematycznej ziemian na poziomie funkcji logicznych
Przypomnijmy fundamentalne definicje logiki matematycznej.
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) - negacja
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramek logicznych
Y - wyjście bramki logicznej
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Przykład:
Y = p+q
Y = ~p*~q
Y = p*q+~p*~q
Ziemska logika matematyczna nie zna poprawnej definicji funkcji logicznej, dla niej funkcja logiczna Y nie istnieje bo jest tożsama z wyrażeniem algebry Boole’a.
To jest błąd fatalny, uniemożliwiający matematyczny opis języka potocznego.
Ten błąd fatalny dyskwalifikuje wszelkie znane ziemianom logiki „matematyczne”, ich miejsce jest w piekle na wiecznych mękach.
Zobaczmy na przykładzie rodem z przedszkola na czym ten błąd fatalny polega zapoznając się z fragmentem dyskusji Rafała3006 z Irbisolem, znakomitym testerem algebry Kubusia, za wszelką cenę usiłującym ją obalić.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631881
Problem Irbisola omówiony na przykładzie zrozumiałym dla 5-cio latka!
Irbisolu, omówię dokładnie twój problem na wyrażeniu zrozumiałym dla każdego 5-cio latka,
czyli K+T (zamiast twojego K+~T - matematycznie to kompletnie bez znaczenia).
Definicje podstawowe:
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramek logicznych
Y - wyjście bramki logicznej
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Przykład:
Y = p*q+~p*~q
Zaczynamy!
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro pójdziemy do kina lub do teatru
D=K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1:
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Innymi słowy:
Pójdziemy w dowolne miejsce i już dotrzymam słowa.
Jaś:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(K+T) = ~K*~T - prawo De Morgana
stąd:
2.
~D = ~K*~T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
A2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
A2: ~D=~K*~T - logika ujemna (bo D)
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro nie pójdziemy ani do kina, ani też do teatru
D = ~K*~T
co w logice jedynek oznacza:
D=1 <=> ~K=1 i ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
E1: D=~K*~T - logika dodatnia (bo D)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(~K*~T) = K+T - prawo De Morgana
stąd:
E2.
~D = K+T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> K=1 lub T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
E2: ~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
Wystarczy, że pójdziemy w dowolne miejsce, i już nie dotrzymam słowa.
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A1: D = K+ T ## E1: D=~K*~T
# #
A2: ~D =~K*~T ## E2: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A1: D =K+T ## E2: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Jaś (lat 5) pyta Irbisola (przedszkolnego wizytatora):
Kiedy pani nie dotrzyma słowa (~D=1)?
Irbisol odpowiada zdaniem E2 z przedszkola pani Ewy:
Jasiu,
E2.
Pani nie dotrzyma słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziecie do kina (K=1) lub pójdziecie do teatru (T=1)
E2: ~D=K+T
Pytanie do Irbisola:
Czy dalej jesteś pewien, że dałeś poprawną odpowiedź na pytanie Jasia?
Jeśli nie, to wyjaśnij dlaczego moja odpowiedź włożona w twoje usta jest błędem czysto matematycznym!
4.3 Armagedon ziemskiego rachunku zero-jedynkowego
Korzystając z tabeli wszystkich możliwych spójników logicznych rozpiszmy szczegółowo grupę spójników „i”(*) i „lub”(+)
Grupa I
Grupa spójników „i”(*) oraz „lub”(+):
| Kod: |
T1
A0: Y= p* q # B0: ~Y=~p+~q
##
A1: Y= p+q # B1: ~Y=~p*~q
##
A2: Y=~(p*q)=~p*+~q # B2: ~Y=~(~p+~q)=p*q
##
A3: Y=~(p+q)=~p*~q # B3: ~Y=~(~p*~q)=p+q
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych ##
p i q muszą być wszędzie tymi samymi p i q 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 zaprzeczeniem drugiej.
Zapiszmy tabelę T1 w rachunku zero-jedynkowym:
| Kod: |
T2
Schemat: A0B0
p q ~p ~q A0: Y=p*q # B0:~Y=~(p*q)=~p+~q
A: 1 1 0 0 1 1
B: 1 0 0 1 0 1
C: 0 1 1 0 0 1
D: 0 0 1 1 0 0
##
Schemat: A1B1:
p q ~p ~q A1: Y=p+q # B1:~Y=~(p+q)=~p*~q
A: 1 1 0 0 1 0
B: 1 0 0 1 1 0
C: 0 1 1 0 1 0
D: 0 0 1 1 0 1
##
Schemat: A2B2:
p q ~p ~q A2: Y=~(p*q)=~p+~q # B2:~Y=~(~p+~q)=p*q
A: 1 1 0 0 0 1
B: 1 0 0 1 1 0
C: 0 1 1 0 1 0
D: 0 0 1 1 1 0
##
Schemat: A3B3:
p q ~p ~q A3: Y=~(p+q)=~p*~q # B3:~Y=~(~p*~q)=p+q
A: 1 1 0 0 0 1
B: 1 0 0 1 0 1
C: 0 1 1 0 0 1
D: 0 0 1 1 1 0
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych ##
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ## dla funkcji logicznych:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Zauważmy, że między dowolnymi dwoma wierszami spełniona jest definicja znaczka różne na mocy definicji funkcji logicznych ##.
Przykładowo:
| Kod: |
A0: Y=p*q ## B2: ~Y=~(~p+~q) = p* q
|
Definicja znaczka różne na mocy definicji funkcji logicznych ## jest spełniona, mimo że kolumny zero-jedynkowe p+q są identyczne, co widać w tabeli T2.
Dogmat ziemskich matematyków:
Ziemscy matematycy we wszelkich dowodach zero-jedynkowych operują wyłącznie wyrażeniami algebry Boole’a pomijając wszędzie funkcje logiczne Y i ~Y.
Dowód:
Nikt nie znajdzie choćby jednego dowodu zero-jedynkowego w całej Wikipedii (plus podręczniki) który by uwzględniał funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y).
Zauważmy, ze jeśli zgodnie z dogmatem ziemskich matematyków w powyższej tabeli pominiemy funkcje logiczne Y i ~Y to musimy między A0 i B2 postawić znak tożsamości.
| Kod: |
A0: p*q [=] B2: p* q
|
Wniosek:
Ziemski rachunek zero-jedynkowy jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
Łatwo zauważyć, że w tabeli wszystkich możliwych spójników implikacyjnych znajdziemy 16 takich przypadków.
4.4 Armagedon algebry Boole’a
Fundamentem algebry Boole’a jest rachunek zero-jedynkowy.
Wystarczy zatem pokazać wewnętrzną sprzeczność ziemskiego rachunku zero-jedynkowego, aby udowodnić wewnętrzną sprzeczność ziemskiej algebry Boole’a
Twierdzenie Smoka:
Ziemska algebra Boole’a jest wewnętrznie sprzeczna na poziomie funkcji logicznych
Definicja funkcji logicznej:
Funkcja logiczna to dowolny symbol do którego przypisujemy wyrażenie algebry Boole’a
W technice zwyczajowo jest to symbol Y.
Przykłady poprawnych funkcji logicznych:
Y = ~p*~q
Y = p+q
Y = p*~q+~p*q
etc
Wniosek z definicji funkcji logicznej:
Nie jest funkcją logiczną zapis uwzględniający choćby jedno wartościowanie dowolnej zmiennej binarnej.
Przykładowe zapisy które nie spełniają definicji funkcji logicznej to:
Y=1<=>p+q
Y=0<=>~p*~q
etc
Dowolną funkcję logiczną Y mamy prawo tylko i wyłącznie dwustronnie zanegować:
Y = p+q
co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
Negujemy dwustronnie:
~Y = ~(p+q) = ~p*~q - na mocy prawa De Morgana (poznamy za chwilę)
co w logice jedynek oznacza:
~Y=1 <=> ~p=1 i ~q=1
Świat techniki (inżynierowie elektronicy) doskonale zna pojęcie funkcji logicznej w algebrze Boole’a - sam z tego świata przybyłem.
Dowód:
W żadnym katalogu bramek logicznych nie znajdziemy opisu choćby jednej bramki logicznej przedstawionej w postaci wyrażenia algebry Boole’a z pominięciem funkcji logicznej Y.
Przykład:
[link widoczny dla zalogowanych]
| Texas Instruments - pionier układów TTL napisał: |
SN7486
They perform the Boolean function Y = A*~B + ~A*B
|
Oczywistym jest że nie jest funkcją Boole’a samo wyrażenie algebry Boole’a:
A*~B+~A*B
Wyłącznie jełopy mogą tego nie wiedzieć.
Twierdzenia Pumy:
1.
Ziemski matematyk który będzie twierdził iż nie zna powyższej definicji funkcji logicznej algebry Boole’a powinien skreślić słówko „matematyk” sprzed swego nazwiska.
2.
Ziemski matematyk który będzie twierdził iż nie wolno dowolnej funkcji logicznej dwustronnie zanegować powinien spalić się ze wstydu i wziąć zimny prysznic.
Armagedon algebry Boole’a na przykładzie:
Grupa spójników „i”(*) oraz „lub”(+) w tabeli spójników TS to funkcje logiczne w logice dodatniej (bo Y):
A0: Y=p*q
A1: Y=p+q
A2: Y=~(p*q) = ~p+~q - na mocy prawa De Morgana
A3: Y=~(p+q) = ~p*~q - na mocy prawa De Morgana
Weźmy funkcję logiczną A1: Y=p+q:
A1:
Y=p+q
co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
… a kiedy zajdzie ~Y (~Y=1)?
Dowolną funkcję logiczną mamy prawo zanegować dwustronnie, stąd:
~Y=~(p+q)=~p*~q - prawo De Morgana
B1:
~Y=~p*~q
co w logice jedynek oznacza:
~Y=1 <=> ~p=1
Stąd mamy:
A1: Y=p+q # B1: ~Y=~p*~q
Definicja znaczka różne #
Dowolna strona znaczka różne # jest negacją drugiej strony
Weźmy funkcję logiczną A3: Y=~p*~q:
A3:
Y=~p*~q
co w logice jedynek oznacza:
Y=1 <=> ~p=1 i ~q=1
… a kiedy zajdzie ~Y (~Y=1)?
Dowolną funkcję logiczną mamy prawo zanegować dwustronnie, stąd:
~Y=~(~p*~q) = p+q - prawo De Morgana
B3:
~Y=p+q
co w logice jedynek oznacza:
~Y=1 <=> p=1 lub q=1
Stąd mamy:
A3: Y=~p # B3: ~Y=p
Definicja znaczka różne #
Dowolna strona znaczka różne # jest negacją drugiej strony
Zapiszmy funkcje logiczne A1 i A3 w tabeli prawdy:
| Kod: |
T1
A1: Y=p+q # B1: ~Y=~p*~q
## ##
A3: Y=~p*~q # B3: ~Y=p+q
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Definicja znaczka różne #
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji funkcji logicznych ##
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać iż w tabeli T1 definicje znaczków # i ## są perfekcyjnie spełnione.
Dowód:
Po przekątnych mamy:
| Kod: |
A1: Y=p+q ## B3: ~Y=p+q
A3: Y=~p*~q ## B1: ~Y=~p*~q
Gdzie:
## - różne na mocy definicji funkcji logicznych
|
Dogmat ziemskich matematyków:
Ziemscy matematycy we wszelkich dowodach zero-jedynkowych operują wyłącznie wyrażeniami algebry Boole’a pomijając wszędzie funkcje logiczne Y i ~Y.
Dowód:
Nikt nie znajdzie choćby jednego dowodu zero-jedynkowego w całej Wikipedii (plus podręczniki) który by uwzględniał funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y).
Zgodnie z aktualnym dogmatem ziemskich matematyków w tabeli T1 likwidujemy wszelkie funkcje logiczne Y i ~Y.
| Kod: |
T1
A1: p+q # B1: ~p*~q
## ##
A3: ~p*~q # B3: p+q
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Zauważmy, że na poziomie wyrażeń algebry Boole’a (z pominięciem funkcji logicznych Y i ~Y) definicja znaczka różne # dalej jest spełniona
ALE!
Definicja znaczka różne na mocy definicji funkcji logicznych ## legła w gruzach bo po przekątnych zachodzą tożsamości [=]:
| Kod: |
A1: p+q [=] B3: p+q
A3:~p*~q [=] B1:~p*~q
|
co łatwo sprawdzić w tabeli zero-jedynkowej.
Wniosek:
Nie do obrony jest algebra Boole’a bez pojęcia funkcji logicznej w logice dodatniej (bo Y) oraz w funkcji logicznej w logice ujemnej (bo ~Y) - taka algebra Boole’a jest wewnętrznie sprzeczna!
cnd
4.4.1 Armagedon algebry Boole’a w spójnikach „i”(*) i „lub”(+) w przedszkolu
I.
Pani w przedszkolu mówi:
A1.
Jutro pójdziemy do kina (K=1) lub to teatru (T=1)
Y=K+T
co w logice jedynek oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
Innymi słowy:
Pójdziemy w dowolne miejsce i już pani dotrzyma słowa (Y=1)
… a kiedy pani skłamie (~Y=1)?
Negujemy dwustronnie funkcję logiczną A1.
~Y=~(K+T) = ~K*~T - prawo De Morgana
Stąd mamy:
B1:
~Y = ~K*~T
co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
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)
Zauważmy, że pani zamiast zdania A1 pani może wypowiedzieć zdanie A3:
A3.
Jutro nie pójdziemy ani do kina (~K=1), ani do teatru (~T=1)
zdanie tożsame:
Jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co w logice jedynek oznacza:
Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
… a kiedy pani skłamie (~Y=1)?
Negujemy dwustronnie funkcję logiczną A2:
~Y=~(~K*~T)=K+T
Stąd mamy:
B3:
~Y = K+T
co w logice jedynek oznacza:
~Y=1 <=> K=1 lub T=1
Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
Innymi słowy:
Pójdziemy w dowolne miejsce i już pani skłamie (~Y=1)
Każdy 5-cio latek doskonale wie, że zdanie A1 pani przedszkolanki:
A1.
Jutro pójdziemy do kina (K=1) lub to teatru (T=1)
Y=K+T
to fundamentalnie co innego niż zdanie A3:
A3.
Jutro nie pójdziemy ani do kina (~K=1), ani do teatru (~T=1)
Y=~K*~T
Znaczenie symboli Y i ~Y:
1.
Znaczenie symbolu Y:
Y - pani dotrzyma słowa
Jedynki w logice matematycznej są domyślne, stąd zapis tożsamy:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
Prawo Prosiaczka które możemy stosować wybiórczo do dowolnej zmiennej binarnej:
(Y=1)=(~Y=0)
stąd kolejny zapis tożsamy:
~Y=0 - fałszem jest (=0), że pani nie dotrzyma słowa (~Y)
Innymi słowy:
Pani dotrzyma słowa
2.
Znaczenie symbolu ~Y:
~Y - pani nie dotrzyma słowa (~Y)
Jedynki w logice matematycznej są domyślne, stąd zapis tożsamy:
~Y=1 - prawdą jest (=1) że pani nie dotrzyma słowa (~Y)
Prawo Prosiaczka które możemy stosować wybiórczo do dowolnej zmiennej binarnej:
(~Y=1)=(Y=0)
Stąd kolejny zapis tożsamy:
Y=0 - fałszem jest (=0) że pani dotrzyma słowa (Y)
Innymi słowy:
Pani skłamie
Zapiszmy zdania A1 i A3 w tabeli prawdy:
| Kod: |
T1
A1: Y=K+T # B1: ~Y=~K*~T
## ##
A3: Y=~K*~T # B3: ~Y=K+T
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
|
Definicja znaczka różne #
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji funkcji logicznych ##
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać iż w tabeli T1 definicje znaczków # i ## są perfekcyjnie spełnione.
Dowód:
Po przekątnych mamy:
| Kod: |
A1: Y=K+T ## B3: ~Y=K+T
A3: Y=~K*~T ## B1: ~Y=~K*~T
Gdzie:
## - różne na mocy definicji funkcji logicznych
|
Dogmat ziemskich matematyków:
Ziemscy matematycy we wszelkich dowodach zero-jedynkowych operują wyłącznie wyrażeniami algebry Boole’a pomijając wszędzie funkcje logiczne Y i ~Y.
Dowód:
Nikt nie znajdzie choćby jednego dowodu zero-jedynkowego w całej Wikipedii (plus podręczniki) który by uwzględniał funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y).
Zgodnie z aktualnym dogmatem ziemskich matematyków w tabeli T1 likwidujemy wszelkie funkcje logiczne Y i ~Y.
| Kod: |
T2
A1: K+T # B1: ~K*~T
## ##
A3: ~K*~T # B3: K+T
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
|
Zauważmy, że na poziomie wyrażeń algebry Boole’a (z pominięciem funkcji logicznych Y i ~Y) definicja znaczka różne # dalej jest spełniona
ALE!
Definicja znaczka różne na mocy definicji funkcji logicznych ## legła w gruzach bo po przekątnych zachodzą tożsamości [=]:
| Kod: |
A1: K+T [=] B3: K+T
A3:~K*~T [=] B1:~K*~T
|
co łatwo sprawdzić w tabeli zero-jedynkowej.
Wniosek:
Nie do obrony jest algebra Boole’a bez pojęcia funkcji logicznej w logice dodatniej (bo Y) oraz w funkcji logicznej w logice ujemnej (bo ~Y) - taka algebra Boole’a jest wewnętrznie sprzeczna!
cnd
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:14, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631919
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | K+~T jest różne na mocy definicji od K+~T ?
K+~T nie jest tożsame z K+~T?
|
Widzę Irbisolu, że nie rozumiesz.
Pokazuję i objaśniam |
Nie chcę, żebyś pokazywał i objaśniał, tylko żebyś odpowiedział na pytanie.
Jeżeli nie podoba ci się K+~T, to odpowiedz, czy DE jest różne na mocy definicji od ~DA. |
Irbisolu, będę z tobą dyskutował pod warunkiem, że przejdziesz na wejściach funkcji logicznej na niezanegowane zmienne K i T |
Ale ja nie chcę dyskutować.
Chcę, żebyś odpowiedział na trywialne, proste pytanie, które zadaję od jakiegoś czasu.
No chyba że twoja algebra się na nim wysrywa i nie masz pojęcia, co z tym zrobić. |
Jak zwykle wszystko jest odwrotnie niż myślisz - to twoja pseudo-algebra wysrywa się na prostym przykładzie.
Twierdzisz bowiem, że zachodzi tożsamość funkcji logicznych Y i ~Y:
(Y=p+~q) = (~Y=p+~q)
|
Niczego takiego nie twierdzę.
Odpowiedz na pytanie. Od moich twierdzeń się odwal. Skup się na swojej zjebanej algebrze, która wywala się na pierwszym przykładzie, jaki podałem. |
Twierdzisz!
Bowiem z tożsamości wyrażeń algebry Boole’a:
p+~q = p+~q
Która to tożsamość bezdyskusyjnie zachodzi:
Wysuwasz wniosek o tożsamości funkcji logicznych Y i ~Y
(Y=p+~q) = (~Y=p+~q)
Udowodnij, że tego nie twierdzisz  |
Nie, pajacu - to ty masz udowodnić, że to twierdzę.
Twoja zjebana algebra jest w stanie odpowiedzieć na pytanie, czy DE jest różne na mocy definicji od ~DA? |
Bardzo proszę, dowód iż dokładnie to twierdzisz masz w cytacie niżej
cnd
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631881
| rafal3006 napisał: | Problem Irbisola omówiony na przykładzie zrozumiałym dla 5-cio latka!
Irbisolu, omówię dokładnie twój problem na wyrażeniu zrozumiałym dla każdego 5-cio latka,
czyli K+T (zamiast twojego K+~T - matematycznie to kompletnie bez znaczenia).
Definicje podstawowe:
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Zwyczajowe zmienne binarne w technice to:
p, q, r, s … - wejścia bramek logicznych
Y - wyjście bramki logicznej
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna 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)
Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Przykład:
p*q+~p*~q
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Przykład:
Y = p*q+~p*~q
Zaczynamy!
Irbisolu,
Scenka I:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ania.
Pani Ania:
1.
Jutro pójdziemy do kina lub do teatru
D=K+T - logika dodatnia (bo D)
co w logice jedynek oznacza:
D=1 <=> K=1 lub T=1
Jaś (lat 5)
Co to znaczy proszę pani?
Pani Ania:
Jasiu, to znaczy że:
A1:
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Innymi słowy:
Pójdziemy w dowolne miejsce i już dotrzymam słowa.
Jaś:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(K+T) = ~K*~T - prawo De Morgana
stąd:
2.
~D = ~K*~T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> ~K=1 i ~T=1
Jaś:
… a co to znaczy proszę pani?
Pani Ania:
A2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
A2: ~D=~K*~T - logika ujemna (bo D)
Irbisolu,
Scenka II:
Udajmy się do przedszkola gdzie wychowawczynią jest pani Ewa.
1.
Jutro nie pójdziemy ani do kina, ani też do teatru
D = ~K*~T
co w logice jedynek oznacza:
D=1 <=> ~K=1 i ~T=1
Zuzia (lat 5):
Co to znaczy proszę pani?
Pani Ewa:
Zuziu, to znaczy że:
E1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
E1: D=~K*~T - logika dodatnia (bo D)
Zuzia:
… a kiedy pani nie dotrzyma słowa (~D=1)?
Negujemy równanie 1 dwustronnie:
~D=~(~K*~T) = K+T - prawo De Morgana
stąd:
E2.
~D = K+T - logika ujemna (bo ~D)
co w logice jedynek oznacza:
~D=1 <=> K=1 lub T=1
Zuzia:
… a co to znaczy proszę pani?
Pani Ewa:
E2.
Nie dotrzymam słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
E2: ~D=K+T - logika ujemna (bo ~D)
Innymi słowy:
Wystarczy, że pójdziemy w dowolne miejsce, i już nie dotrzymam słowa.
Podsumowując:
Zapiszmy analizy zdań z przedszkola pani Ani i z przedszkola pani Ewy w tabeli prawdy:
| Kod: |
T1.
Przedszkole pani Ani ## Przedszkole pani Ewy
A1: D = K+ T ## E1: D=~K*~T
# #
A2: ~D =~K*~T ## E2: ~D = K+ T
Gdzie:
# - różne w znaczeniu iż jedna strona jest negacją drugiej strony
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne D są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, iż tabela T1 perfekcyjnie spełnia definicję obu znaczków # i ##
Przykładowy dowód:
| Kod: |
Przedszkole pani Ani: ## Przedszkole pani Ewy:
A1: D =K+T ## E2: ~D=K+T
Pani Ania: ## Pani Ewa:
Dotrzymam słowa (D=1) gdy: ## Nie dotrzymam słowa (~D=1) gdy:
jutro pójdziemy do kina (K=1) ## jutro pójdziemy do kina (K=1
lub ## lub
pójdziemy do teatru (T=1) ## pójdziemy do teatru (T=1)
|
Teraz uważaj Irbioslu:
Weźmy zdanie wypowiedziane w przedszkolu pani Ani:
A1.
Dotrzymam słowa (D=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
A1: D=K+T - logika dodania (bo D)
Jaś pyta Irbisola (przedszkolnego wizytatora):
Kiedy pani nie dotrzyma słowa (~D=1)?
Irbisol odpowiada zdaniem E2 z przedszkola pani Ewy:
Jasiu,
E2.
Pani nie dotrzyma słowa (~D=1) wtedy i tylko wtedy gdy jutro pójdziecie do kina (K=1) lub pójdziecie do teatru (T=1)
E2: ~D=K+T
Pytanie do Irbisola:
Czy dalej jesteś pewien, że dałeś poprawną odpowiedź na pytanie Jasia?
Jeśli nie, to wyjaśnij dlaczego moja odpowiedź włożona w twoje usta jest błędem czysto matematycznym! |
Irbisolu, sam widzisz, że z tożsamości wyrażeń algebry Boole'a:
K+T = K+T
Wysuwasz wniosek, iż wolno ci odpowiedzieć na pytanie Jasia (lat 5) odpowiedzią poprawną, ale pochodzącą z innego przedszkola, niż to w którym jesteś wizytatorem.
cnd.
Problem milenijny dla Irbisola:
1.
Czy wolno ci na pytanie Jasia w przedszkolu pani Ani:
Kiedy pani nie dotrzyma słowa (~D=1)?
użyć poprawnej odpowiedzi w temacie o ~D z przedszkola pani Ewy?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:55, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631933
| Irbisol napisał: |
Czy twoja zjebana algebra jest w stanie odpowiedzieć na pytanie, czy DA jest różne na mocy definicji od ~DE? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631775
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
| Kod: |
1.
Przedszkole pani Ani:
DA =K+T - logika dodatnia (bo DA)
#
~DA = ~K*~T - logika ujemna (bo ~DA)
##
2.
Przedszkole pani Ewy
DE=~K*~T - logika dodatnia (bo DE)
#
~DE=K+T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
|
Czyli K+T jest jednocześnie logiką dodatnią i ujemną? |
Czy widzisz znaczek różne na mocy definicji ## między funkcjami 1 i 2? |
K+T jest różne na mocy definicji od K+T ?
K+T nie jest tożsame z K+T?
|
Odpowiadam super precyzyjnie na twoje pytania:
Wyrażenie K+T jest tożsame z samym sobą:
K+T = K+T
ALE!
Funkcja logiczna DA z przedszkola pani Ani:
Pani Ania:
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
DA=K+T
Nie jest tożsama z funkcją logiczną ~DE z przedszkola pani Ewy:
Pani Ewa:
Nie dotrzymam słowa (~DE=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
~DE=K+T
Matematycznie zapisujemy to tak:
DA=K+T ## ~DE=K+T
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różna na mocy definicji wtedy i tylko wtedy gdy nie sa tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Sprawdzamy:
| Kod: |
T1
DA = K+ T ## ~DE = K + T
# #
~DA =~K*~T ## DE=~K*~T
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
W tabeli T1 doskonale widać że funkcje DA i ~DE perfekcyjnie spełniają definicję obu znaczków # i ##, zatem są różne na mocy definicji ##
cnd
Podsumowując:
Ciekaw jestem Irbisolu, kiedy zrozumiesz powyższe matematyczne banały na poziomie 5-cio latka?
Ostatnio zmieniony przez rafal3006 dnia Nie 11:06, 05 Gru 2021, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 11:33, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631943
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
Czy twoja zjebana algebra jest w stanie odpowiedzieć na pytanie, czy DA jest różne na mocy definicji od ~DE? |
Odpowiadam super precyzyjnie na twoje pytania:
Wyrażenie K+T jest tożsame z samym sobą |
Nie pytałem o wyrażenie K+T.
Pierdolisz o czymś innym. W dodatku zmodyfikowałeś mój cytat, kłamco. |
Zgadza się, że zmodyfikowałem, a zmodyfikowałem dlatego by przykład był zrozumiały przez 5-cio latka.
Wszystko należy upraszczać jak tylko można, ale nie bardziej.
Albert Einstein
Zauważ, że moja modyfikacja absolutnie nie zmienia istoty twojego problemu.
Zgadzasz się z tym twardym faktem?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 13:05, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631959
Twardy dowód wewnętrznej sprzeczności Klasycznego Rachunku Zdań!
Prawo Niedźwiedzia:
Dowolna logika matematyczna która nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczna.
Dowód w niniejszym poście.
Wniosek:
Absolutnie wszystkie logiki „matematyczne” ziemskich matematyków są wewnętrznie sprzeczne.
cnd
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
Czy twoja zjebana algebra jest w stanie odpowiedzieć na pytanie, czy DA jest różne na mocy definicji od ~DE? |
Odpowiadam super precyzyjnie na twoje pytania:
Wyrażenie K+T jest tożsame z samym sobą |
Nie pytałem o wyrażenie K+T.
Pierdolisz o czymś innym. W dodatku zmodyfikowałeś mój cytat, kłamco. |
Zgadza się, że zmodyfikowałem, a zmodyfikowałem dlatego by przykład był zrozumiały przez 5-cio latka.
Wszystko należy upraszczać jak tylko można, ale nie bardziej.
Albert Einstein
Zauważ, że moja modyfikacja absolutnie nie zmienia istoty twojego problemu. |
Nie obchodzi mnie, czy zmienia, czy nie. Jeżeli nie zmienia istoty problemu, to wciąż nie masz prawa mojego cytatu modyfikować. Jesteś zasranym kłamcą.
Jeżeli chcesz zrozumiałości przykładu dla 5-latka, to możesz sobie to robić OSOBNO.
Nadal nie odpowiedziałeś na pytanie o tożsamość DE i ~DA (albo ~DE i DA - jak kto woli).
Nadal nie pokazałeś dowodu sprzeczności w KRZ. |
Bardzo proszę, masz na twoim oryginale.
Z faktu że nie rozumiesz twojego przykładu uproszczonego przez mnie do poziomu 5-cio latka wynika, że nie rozumiesz totalnie o co chodzi w logice matematycznej, a nie rozumiesz dlatego, że twój mózg jest zabetonowany Klasycznym Rachunkiem Zdań, który nie odróżnia wyrażenia algebry Boole’a:
K+T
od funkcji logicznej algebry Boole’a:
Y = K+T
… a nie odróżnia dlatego, że nie ma we współczesnej algebrze Boole’a logiki dodatniej (bo Y) i ujemnej (bo ~Y) - i to jest największa tragedia współczesnej algebry Boole’a, to jest największa tragedia totalnie całej, aktualnej logiki matematycznej ziemian.
Bardzo proszę, zajmę się dokładnie twoim przykładem, by ci udowodnić, iż jest zero różnicy między twoim przykładem a przykładem zrozumiałym przez każdego 5-cio latka, który wyżej omówiłem.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1100.html#631775
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: |
| Kod: |
1.
DA =~K*T - logika dodatnia (bo DA)
#
~DA = K+~T - logika ujemna (bo ~DA)
##
2.
DE=K+~T - logika dodatnia (bo DE)
#
~DE=~K*T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
|
Czyli K+~T jest jednocześnie logiką dodatnią i ujemną? |
Czy widzisz znaczek różne na mocy definicji ## między funkcjami 1 i 2? |
K+~T jest różne na mocy definicji od K+~T ?
K+~T nie jest tożsame z K+~T?
|
Odpowiadam na twoje wytłuszczone pytanie:
Dowolne wyrażenie algebry Boole’a jest tożsame z samym sobą, tu masz:
(K+~T) = (K+~T)
cnd
Zajmijmy się teraz dialogami w przedszkolu pani Ani i pani Ewy:
| Kod: |
1.
Przedszkole pani Ani:
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A1: DA =~K*T - logika dodatnia (bo DA)
Innymi słowy pani Ania mówi:
A1.
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
A1: DA =~K*T - logika dodatnia (bo DA)
#
… a kiedy pani Ania nie dotrzyma słowa (~DA=1)?
Negujemy równanie A1 stronami:
A2: ~DA = K+~T - logika ujemna (bo ~DA)
Pani Ania mówi tu:
A2.
Nie dotrzymam słowa (~DA=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
A2: ~DA = K+~T - logika ujemna (bo ~DA)
##
2.
Przedszkole pani Ewy:
Jutro pójdziemy do kina, lub nie pójdziemy do teatru
E1: DE=K+~T - logika dodatnia (bo DE)
Innymi słowy pani Ewa mówi:
E1.
Dotrzymam słowa (DE=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
E1: DE=K+~T - logika dodatnia (bo DE)
#
… a kiedy pani Ewa nie dotrzyma słowa (~DE=1)?
Negujemy równanie E1 stronami:
E2: ~DE = K*~T
Pani Ewa mówi tu:
E2.
Nie dotrzymam słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
| Irbisol napisał: |
Nadal nie odpowiedziałeś na pytanie o tożsamość DE i ~DA (albo ~DE i DA - jak kto woli).
Nadal nie pokazałeś dowodu sprzeczności w KRZ. |
Odpowiadam na to wytłuszczone.
Przedszkole pani Ani:
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A1: DA =~K*T - logika dodatnia (bo DA)
Innymi słowy pani Ania mówi:
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
Jaś (lat 5) do Irbisola, wizytatora w przedszkolu u pani Ani:
… czy wiesz kiedy pani nie dotrzymam słowa?
Irbisol,
Oczywiście że wiem, i przytacza zdanie z przedszkola pani Ewy:
Pani nie dotrzyma słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziecie do kina do kina (~K=1) i pójdziecie do teatru (T=1)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
Podsumowując:
A1: DA =~K*T - logika dodatnia (bo DA)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
Irbisol twierdzi, że z faktu iż wyrażenia algebry Boole’a w obu przedszkolach pani Ani i pani Ewy są identyczne:
A1: ~K*T = E2: ~K*T - ta tożsamość bezdyskusyjnie zachodzi w algebrze Kubusia i KRZ
wynika, iż w KRZ zachodzi tożsamość funkcji logicznych A1 i E2
(A1: DA=~K*T) = (E2: ~DE=~K*T)
Dlaczego Irbisol tak twierdzi?
… bo KRZ utożsamia wyrażenie algebry Boole’a (~K*T) z funkcją logiczną algebry Boole’a DA=~K*T, co jest błędem czysto matematycznym, co udowodniłem na przykładzie wyżej.
Jeśli twierdzisz co innego Irbisolu, to po prostu napisz to czarno na białym!
Czy ktokolwiek ma wątpliwości iż za chwilkę Irbisol napisze:
„nie zamówionych wykładów nie czytam”
… i taka jest moja dyskusja z Irbisolem od zawsze, przykre to, ale prawdziwe.
Ostatnio zmieniony przez rafal3006 dnia Nie 18:45, 05 Gru 2021, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 17:59, 05 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#632037
| Irbisol napisał: | | rafal3006 napisał: | Dowolne wyrażenie algebry Boole’a jest tożsame z samym sobą, tu masz:
(K+~T) = (K+~T) |
X = K+~T
~Y = K+~T
Czy X jest tożsame z ~Y? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631959
| rafal3006 napisał: | Twardy dowód wewnętrznej sprzeczności Klasycznego Rachunku Zdań!
Prawo Niedźwiedzia:
Dowolna logika matematyczna która nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczna.
Dowód w niniejszym poście.
Wniosek:
Absolutnie wszystkie logiki „matematyczne” ziemskich matematyków są wewnętrznie sprzeczne.
cnd
Zajmijmy się teraz dialogami w przedszkolu pani Ani i pani Ewy:
| Kod: |
1.
Przedszkole pani Ani:
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A1: DA =~K*T - logika dodatnia (bo DA)
Innymi słowy pani Ania mówi:
A1.
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
A1: DA =~K*T - logika dodatnia (bo DA)
#
… a kiedy pani Ania nie dotrzyma słowa (~DA=1)?
Negujemy równanie A1 stronami:
A2: ~DA = K+~T - logika ujemna (bo ~DA)
Pani Ania mówi tu:
A2.
Nie dotrzymam słowa (~DA=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
A2: ~DA = K+~T - logika ujemna (bo ~DA)
##
2.
Przedszkole pani Ewy:
Jutro pójdziemy do kina, lub nie pójdziemy do teatru
E1: DE=K+~T - logika dodatnia (bo DE)
Innymi słowy pani Ewa mówi:
E1.
Dotrzymam słowa (DE=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
E1: DE=K+~T - logika dodatnia (bo DE)
#
… a kiedy pani Ewa nie dotrzyma słowa (~DE=1)?
Negujemy równanie E1 stronami:
E2: ~DE = K*~T
Pani Ewa mówi tu:
E2.
Nie dotrzymam słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
| Irbisol napisał: |
Nadal nie odpowiedziałeś na pytanie o tożsamość DE i ~DA
(albo ~DE i DA - jak kto woli).
Nadal nie pokazałeś dowodu sprzeczności w KRZ. |
Odpowiadam na to wytłuszczone.
Przedszkole pani Ani:
A1.
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A1: DA =~K*T - logika dodatnia (bo DA)
Innymi słowy pani Ania mówi:
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
Jaś (lat 5) do Irbisola, wizytatora w przedszkolu u pani Ani:
… czy wiesz kiedy pani nie dotrzymam słowa?
Irbisol,
Oczywiście że wiem, i przytacza zdanie z przedszkola pani Ewy:
E2.
Pani nie dotrzyma słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziecie do kina do kina (~K=1) i pójdziecie do teatru (T=1)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
Podsumowując:
A1: DA =~K*T - logika dodatnia (bo DA)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
Irbisol twierdzi, że z faktu iż wyrażenia algebry Boole’a w obu przedszkolach pani Ani i pani Ewy są identyczne:
A1: ~K*T = E2: ~K*T - ta tożsamość bezdyskusyjnie zachodzi w algebrze Kubusia i KRZ
wynika, iż w KRZ zachodzi tożsamość funkcji logicznych A1 i E2
(A1: DA=~K*T) = (E2: ~DE=~K*T)
Dlaczego Irbisol tak twierdzi?
… bo KRZ utożsamia wyrażenie algebry Boole’a (~K*T) z funkcją logiczną algebry Boole’a DA=~K*T, co jest błędem czysto matematycznym, co udowodniłem na przykładzie wyżej.
Jeśli twierdzisz co innego Irbisolu, to po prostu napisz to czarno na białym.
Czy ktokolwiek ma wątpliwości iż za chwilkę Irbisol napisze:
„nie zamówionych wykładów nie czytam”
… i taka jest moja dyskusja z Irbisolem od zawsze, przykre to, ale prawdziwe. |
Jak wszyscy widzą, Irbisol zachował się dokładnie według ostatniego zdania.
Biedny, zmienił wyrażenie logiczne na (K+~T), mimo iż w swoim cytacie wyraźnie mówi o wyrażeniu (~K*T) co mu zapisałem wielkimi literami myśląc, że to go uratuje.
Nie Irbisolu, zarówno dla twojego ukochanego KRZ, jak również dla wszelkich innych ziemskich logik "matematycznych" nie ma już ratunku - wszystkie lądują w piekle na wiecznych piekielnych mękach bo są wewnętrznie sprzeczne.
Ostatnio zmieniony przez rafal3006 dnia Nie 18:41, 05 Gru 2021, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 9:09, 06 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#632117
| Irbisol napisał: | | Odpowiedz na pytanie, spierdalaczu. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631949
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
Czy twoja zjebana algebra jest w stanie odpowiedzieć na pytanie, czy DA jest różne na mocy definicji od ~DE? |
Odpowiadam super precyzyjnie na twoje pytania:
Wyrażenie K+T jest tożsame z samym sobą |
Nie pytałem o wyrażenie K+T.
Pierdolisz o czymś innym. W dodatku zmodyfikowałeś mój cytat, kłamco. |
Zgadza się, że zmodyfikowałem, a zmodyfikowałem dlatego by przykład był zrozumiały przez 5-cio latka.
Wszystko należy upraszczać jak tylko można, ale nie bardziej.
Albert Einstein
Zauważ, że moja modyfikacja absolutnie nie zmienia istoty twojego problemu. |
Nie obchodzi mnie, czy zmienia, czy nie. Jeżeli nie zmienia istoty problemu, to wciąż nie masz prawa mojego cytatu modyfikować. Jesteś zasranym kłamcą.
Jeżeli chcesz zrozumiałości przykładu dla 5-latka, to możesz sobie to robić OSOBNO.
Nadal nie odpowiedziałeś na pytanie o tożsamość DE i ~DA
(albo ~DE i DA - jak kto woli).
Nadal nie pokazałeś dowodu sprzeczności w KRZ. |
Na twoje wytłuszczone pytanie odpowiedziałem - nie zmieniaj pytania w trakcie dyskusji!
Czy mam ci jeszcze odpowiedzieć na TWOJE pytanie o DE i ~DA.
Czy myślisz, że to uratuje cię przed szachowym matem?
W logice matematycznej dowody na przykładach są uznawane.
Dowód:
[link widoczny dla zalogowanych]
| prof. L. Newelski napisał: |
Uwaga 2..7 (1) Każda formuła zdaniowa jest równoważna formule w postaci alternatywno-koniunkcyjnej.
(2) Każda formuła zdaniowa jest równoważna formule w postaci koniunkcyjno-alternatywnej.
Dowód.
Dowód przeprowadzimy na przykładzie.
(1) Załóżmy, że tabelka wartości logicznych formuły f(p,q,r) wygląda następująco: |
P.S.
Przypomniała mi się dyskusja z fanatykiem KRZ (chyba Windziarz) na ateiście.pl gdzie dane było zdanie.
Pani Ania w przedszkolu:
DA.
Jutro pójdziemy do kina lub do teatru
DA=K+T
Na moje pytanie do Windziarza:
Czy wiesz kiedy pani nie dotrzyma słowa (~DA)?
Windziarz odpowiedział:
Nie wiadomo, bo pani nie powiedziała kiedy nie dotrzyma słowa.
Przykro mi Irbisolu, reprezentujesz ten sam poziom matematyczny, co Windziarz.
Czyż nie mam racji?
Ostatnio zmieniony przez rafal3006 dnia Pon 10:09, 06 Gru 2021, 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: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 12:40, 06 Gru 2021 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#632147
Kluczowe pytanie do Irbisola!
Koniec postu.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631959
| rafal3006 napisał: | Twardy dowód wewnętrznej sprzeczności Klasycznego Rachunku Zdań!
Prawo Niedźwiedzia:
Dowolna logika matematyczna która nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczna.
Dowód w niniejszym poście.
Wniosek:
Absolutnie wszystkie logiki „matematyczne” ziemskich matematyków są wewnętrznie sprzeczne.
cnd
Zajmijmy się teraz dialogami w przedszkolu pani Ani i pani Ewy:
| Kod: |
1.
Przedszkole pani Ani:
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A1: DA =~K*T - logika dodatnia (bo DA)
Innymi słowy pani Ania mówi:
A1.
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
A1: DA =~K*T - logika dodatnia (bo DA)
#
… a kiedy pani Ania nie dotrzyma słowa (~DA=1)?
Negujemy równanie A1 stronami:
A2: ~DA = K+~T - logika ujemna (bo ~DA)
Pani Ania mówi tu:
A2.
Nie dotrzymam słowa (~DA=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
A2: ~DA = K+~T - logika ujemna (bo ~DA)
##
2.
Przedszkole pani Ewy:
Jutro pójdziemy do kina, lub nie pójdziemy do teatru
E1: DE=K+~T - logika dodatnia (bo DE)
Innymi słowy pani Ewa mówi:
E1.
Dotrzymam słowa (DE=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do teatru (~T=1)
E1: DE=K+~T - logika dodatnia (bo DE)
#
… a kiedy pani Ewa nie dotrzyma słowa (~DE=1)?
Negujemy równanie E1 stronami:
E2: ~DE = K*~T
Pani Ewa mówi tu:
E2.
Nie dotrzymam słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
|
Gdzie:
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 zaprzeczeniem drugiej
| Irbisol napisał: |
Nadal nie odpowiedziałeś na pytanie o tożsamość DE i ~DA
(albo ~DE i DA - jak kto woli).
Nadal nie pokazałeś dowodu sprzeczności w KRZ. |
Odpowiadam na to wytłuszczone.
Przedszkole pani Ani:
A1.
Jutro pójdziemy do kina, ale nie pójdziemy do teatru
A1: DA =~K*T - logika dodatnia (bo DA)
Innymi słowy pani Ania mówi:
Dotrzymam słowa (DA=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
Jaś (lat 5) do Irbisola, wizytatora w przedszkolu u pani Ani:
… czy wiesz kiedy pani nie dotrzymam słowa?
Irbisol,
Oczywiście że wiem, i przytacza zdanie z przedszkola pani Ewy:
E2.
Pani nie dotrzyma słowa (~DE=1) wtedy i tylko wtedy gdy jutro nie pójdziecie do kina do kina (~K=1) i pójdziecie do teatru (T=1)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
Podsumowując:
A1: DA =~K*T - logika dodatnia (bo DA)
E2: ~DE=~K*T - logika ujemna (bo ~DE)
Irbisol twierdzi, że z faktu iż wyrażenia algebry Boole’a w obu przedszkolach pani Ani i pani Ewy są identyczne:
A1: ~K*T = E2: ~K*T - ta tożsamość bezdyskusyjnie zachodzi w algebrze Kubusia i KRZ
wynika, iż w KRZ zachodzi tożsamość funkcji logicznych A1 i E2
(A1: DA=~K*T) = (E2: ~DE=~K*T)
Dlaczego Irbisol tak twierdzi?
… bo KRZ utożsamia wyrażenie algebry Boole’a (~K*T) z funkcją logiczną algebry Boole’a DA=~K*T, co jest błędem czysto matematycznym, co udowodniłem na przykładzie wyżej.
Jeśli twierdzisz co innego Irbisolu, to po prostu napisz to czarno na białym.
|
| Irbisol napisał: | | Nie zmieniam pytania. To osobne pytanie |
No to zacznijmy od tych twoich osobnych pytań, bo one są tu kluczowe.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631933
| Irbisol napisał: |
Czy twoja zjebana algebra jest w stanie odpowiedzieć na pytanie, czy DA jest różne na mocy definicji od ~DE? |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1125.html#631949
| Irbisol napisał: |
Nadal nie odpowiedziałeś na pytanie o tożsamość DE i ~DA
(albo ~DE i DA - jak kto woli).
Nadal nie pokazałeś dowodu sprzeczności w KRZ. |
Kluczowe pytanie do Irbisola:
Czy na podstawie załączonego cytatu wyżej (szczególnie czerwony wyróżnik) zgadzasz się, iż utożsamianie przez KRZ wyrażenia algebry Boole’a (~K*T) z funkcją logiczną algebry Boole’a DA=~K*T prowadzi do wewnętrznej sprzeczności w KRZ?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pon 12:55, 06 Gru 2021, w całości zmieniany 2 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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
