 |
Ś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: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Wto 17:04, 30 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | Zrozumiałem, co napisałeś.
Napisałeś, że funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Napisałem to będąc pewnym że jedyną zero-jedynkową definicją funkcji negacji w logice ziemskich matematyków jest definicja jak niżej:
| Kod: |
DN
Zero-jedynkowa definicja negacji DN: ~p
w logice ziemskich matematyków jest tożsama [=]
z zero-jedynkową definicją funkcji negacji FN: Y=~p
DN: ~p [=] FN: Y=~p
Bo to jest jedyna zero-jedynkowa definicja znaczka negacji (~) we współczesnej logice matematycznej
Dokładnie na tym polega dramat ziemskiej logiki matematycznej
p ~p
1 1
0 1
|
Obiektywna prawda jest taka, że definicja negacji DN: ~p to nie jest (=0) zero-jedynkowa definicja funkcji negacji FN: Y=~p.
Dlatego ta zero-jedynkowa "definicja" funkcji negacji FN: Y=~p [=] DN: ~p nie należy do algebry Boole'a - dokładnie to pisałem od zawsze.
Podsumowując:
Algebra Kubusia:
Do algebry Boole'a należą definicje negacji DN: ~p i funcji negacji FN: Y=~p
Gdzie matematycznej zachodzi:
DN: ~p ## FN: Y=~p
Gdzie:
## - różne na mocy definicji
Na mocy powyższej definicji wykluczone jest aby do algebry Boole'a należało cokolwiek co spełnia poniższą tożsamość [=]:
DN: ~p [=] FN: Y=~p
a dokładnie tym są wszystkie ziemskie logiki matematyczne wykopujące w kosmos zarówno Y jak i ~Y.
Dogmat Irbisola:
W logice matematycznej funkcje Y i ~Y są psu na budę potrzebne, bo logika matematyczna nie potrzebuje tych znaczków
Czy podtrzymujesz swój dogmat Irbisolu?
Zauważ, że na mocy swojego dogmatu robisz z logiki matematycznej potwornie śmierdzące gówno.
Dowód:
To jest poprawny zapis w logice matematycznej:
DN: ~p ## FN: Y=~p
Gdzie:
## - różne na mocy definicji
Natomiast po wywaleniu w kosmos Y robi ci się tu tożsamość [=] czyli jedno, wielkie potwornie śmierdzące gówno, a nie logika matematyczna:
DN: ~p [=] FN: ~p - tożsamość po wywaleniu Y w kosmos!
czyli jedno wielkie, potwornie śmierdzące gówno
cnd
Ostatnio zmieniony przez rafal3006 dnia Wto 17:25, 30 Kwi 2024, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Wto 19:25, 30 Kwi 2024 Temat postu: |
|
|
|
Pisałeś, że funkcja negacji nie ma nic wspólnego z algebrą Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 21:21, 30 Kwi 2024 Temat postu: |
|
|
Aktualna, ziemska definicja funkcji negacji FN: ~p ma gówno wspólnego z algebrą Boole'a!
Dowód w niniejszym poście.
| Kwintesencja logiki matematycznej w temacie DN: ~p i FN: Y=~p napisał: |
Zapiszmy jedyną znaną matematykom zero-jedynkową definicję negacji:
| Kod: |
DN
Zero-jedynkowa definicja negacji (~)
p # ~p
A: 1 # 0
B: 0 # 1
Gdzie:
Dowolna strona znaczka # jest negacją (~) drugiej strony
|
##
Definicja funkcji logicznej negacji Y=~p:
Funkcja logiczna negacji Y=~p to funkcja definiowana tabelą prawdy:
| Kod: |
FN
Zero-jedynkowa definicja funkcji negacji Y=~p
Wejście |Wyjście
| A2:
p # ~p | Y=~p
1 # 0 | 0
0 # 1 | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Na wyjściu Y mamy tu zawsze zanegowany sygnał p (Y=~p)
Doskonale tu widać że:
Zero-jedynkowa definicja negacji DN: ~p ## zero-jedynkowa definicja funkcji negacji FN: Y=~p
Gdzie:
## - różne na mocy definicji
W tabeli FN widzimy że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1 - dokładnie to jest tu kwintesencją funkcji negacji Y=~p! |
| Irbisol napisał: |
Pisałeś, że funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Algebra Kubusia:
To jest poprawna definicja funkcji negacji FN: Y=~p różna na mocy definicji ## od definicji negacji DN: ~p
FN: Y=~p ## DN: ~p
gdzie:
## - różne na mocy definicji
Oczywiście obie te definicje FN: Y=~p i DN=~p należą do definicji algebry Boole'a
Od zawsze pisałem tylko i wyłącznie, że ziemska funkcja negacji FN: Y=~p gdzie matematycznie zachodzi:
FN: Y=~p [=] DN: ~p
Ma gówno wspólnego z algebrą Boole'a.
Najprostszy dowód to twój dogmat.
Dogmat Irbisola (i wszystkich ziemskich matematyków!):
Funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) są w logice matematycznej zbędne, bo logika matematyczna doskonale działa bez znaczków Y i ~Y
Teraz uważaj:
To jest jedyna poprawna w logice matematycznej definicja funkcji negacji (algebra Kubusia):
FN: Y=~p ## DN: ~p
Gdzie:
## - różne na mocy definicji
Zgodnie z twoim dogmatem (i dogmatem matematyków) wywalam w kosmos funkcję logiczną Y bo twoim zdaniem (i zdaniem ziemskich matematyków) jest ona w logice matematycznej zbędna.
Zauważ, że wtedy z poprawnej definicji funkcji negacji FN: Y=~p robisz potwornie śmierdzące matematyczne gówno.
Oto potwornie śmierdzące gówno twoje (i wszystkich matematyków) wygenerowane przez dogmat o zbędności Y i ~Y.
FN: ~p [=] DN: ~p - to jest gówno a nie definicja funkcji logicznej FN: ~p
Oczywistym jest, że powyższe gówno, dla niepoznaki zwane definicją funkcji logicznej FN: ~p nigdy nie należało i nigdy nie będzie należeć do algebry Boole'a
Podsumowując:
Nie pierdól więcej swojego w koło Macieju:
| Irbisol napisał: | | Pisałeś, że funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Tak, pisałem, i powtórzę po raz n-ty:
Aktualna, ziemska definicja funkcji negacji FN: ~p (twoja i wszystkich ziemskich matematyków) ma gówno wspólnego z algebrą Boole'a
Amen.
Ostatnio zmieniony przez rafal3006 dnia Śro 9:04, 01 Maj 2024, w całości zmieniany 12 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Śro 12:08, 01 Maj 2024 Temat postu: |
|
|
| Cytat: | Od zawsze pisałem tylko i wyłącznie, że ziemska funkcja negacji FN: Y=~p gdzie matematycznie zachodzi:
FN: Y=~p [=] DN: ~p
Ma gówno wspólnego z algebrą Boole'a. |
A algebra Boole'a przypadkiem nie jest właśnie ziemska?
Poza tym nie pisałeś o definicji, lecz o tym, że FUNKCJA negacji nie ma nic wspólnego z albebrą Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 12:24, 01 Maj 2024 Temat postu: |
|
|
Sorry Irbisolu, jeśli twój mózg nie dorasta do pięt mózgowi 5-cio latka, to nie mamy o czym dyskutować.
| Irbisol napisał: | | Cytat: | Od zawsze pisałem tylko i wyłącznie, że ziemska funkcja negacji FN: Y=~p gdzie matematycznie zachodzi:
FN: Y=~p [=] DN: ~p
Ma gówno wspólnego z algebrą Boole'a. |
A algebra Boole'a przypadkiem nie jest właśnie ziemska?
Poza tym nie pisałeś o definicji, lecz o tym, że FUNKCJA negacji nie ma nic wspólnego z algebrą Boole'a. |
Algebra Boole’a jest ziemska, ale do dupy zdefiniowana tzn. z błędem czysto matematycznym w temacie funkcji logicznej FN: Y=~p czego dowód masz w poście wyżej.
Powtórzę:
Znana ziemskim matematykom funkcja negacji FN: ~p to potwornie śmierdzące gówno które nigdy nie należało i nigdy nie będzie należeć do algebry Boole’a.
Dowód masz w poście wyżej.
Współczesna algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych o czym mówi prawo Grzechotnika.
Dokładnie to prawo udowodniłem w moim poście wyżej.
Bardzo proszę, masz fragment AK dowodzący dokładnie tego samego co w moim poście wyżej na poziomie 5-cio latka.
Sorry Irbisolu, jeśli twój mózg nie dorasta do pięt mózgowi 5-cio latka, to nie mamy o czym dyskutować.
"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1106):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Pełna wersja algebry Kubusia zawierająca wszystkie możliwe szczegóły w tym temacie.
| Algebra Kubusia - matematyka języka potocznego napisał: |
Spis treści
1.7 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka 1
1.7.1 Dowód prawa Grzechotnika na poziomie przedszkola 5
1.7.2 Prawo Sokoła 5
1.7 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka
| Kod: |
OT
Zamknięty świat operatora transmisji Y|=p
Definicja operatora transmisji: Y|=p
Wejście |Wyjście
| A1: B1:
p # ~p | Y=p # ~Y=~p
1 # 0 | 1 # 0
0 # 1 | 0 # 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Zamknięty świat oznacza tu, że żadne zdanie z operatora negacji Y|=~p
nie ma prawa znaleźć się w operatorze transmisji Y|=p
|
##
| Kod: |
ON
Zamknięty świat operatora negacji Y|=~p
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
1 # 0 | 0 # 1
0 # 1 | 1 # 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Zamknięty świat oznacza tu, że żadne zdanie z operatora transmisji Y|=p
nie ma prawa znaleźć się w operatorze negacji Y|=~p
|
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
W niniejszym punkcie zajmiemy się dowodem prawa Grzechotnika dla funkcji jednoargumentowych Y=p i Y=~p na konkretnym przykładzie, doskonale rozumianym przez każdego 5-cio latka.
Zadanko Kubusia:
Dane są dwa zdania pań przedszkolanek z dwóch różnych przedszkoli A1 i A2.
Pani w przedszkolu A1:
A1.
Jutro pójdziemy do kina
Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina
Treść polecenia:
Zapisz w funkcjach logicznych kiedy panie dotrzymają słowa a kiedy skłamią?
Rozwiązanie Jasia, ucznia I klasy LO w 100-milowym lesie.
Niezbędna teoria:
| Kod: |
OT
Definicja operatora transmisji: Y|=p
Wejście |Wyjście
| A1: B1:
p # ~p | Y=p # ~Y=~p
Przykład który za chwilkę zrobimy p=K:
K # ~K | Y=K # ~Y=~K
1 # 0 | 1 # 0
0 # 1 | 0 # 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Pani w przedszkolu A1:
A1.
Jutro pójdziemy do kina
Y=K
co w logice jedynek oznacza:
Y=1 <=> K=1 - doskonale to widać w tabeli OT
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A1 stronami:
B1.
~Y=~K
co w logice jedynek oznacza:
~Y=1 <=> ~K=1 - doskonale to widać w tabeli OT
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
##
Niezbędna teoria:
| Kod: |
ON
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
Przykład który za chwilkę zrobimy p=K:
K # ~K | Y=~K # ~Y=K
1 # 0 | 0 # 1
0 # 1 | 1 # 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1 - doskonale to widać w tabeli ON
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A2 dwustronnie.
~Y=K
Stąd mamy:
B2.
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
~Y=K
co w logice jedynek oznacza:
~Y=1 <=> K=1 - doskonale to widać w tabeli ON
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Gdzie:
Zmienne Y i K muszą być wszędzie tymi samymi zmiennymi, inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
Znaczenie zmiennych Y i K w logice dodatniej (bo p) i ujemnej (bo ~p):
Y - pani dotrzyma słowa (Y=1)
~Y - pani nie dotrzyma słowa (~Y=1)
K - jutro pójdziemy do kina (K=1)
~K - jutro nie pójdziemy do kina (~K=1)
Definicja dziedziny D dla zdarzeń:
Dziedzina D dla zdarzeń to zbiór wszystkich możliwych zdarzeń jakie mogą wystąpić
K+~K =D =1 - zdanie zawsze prawdziwe (stała binarna)
K*~K =[] =0 - zdanie zawsze fałszywe (stała binarna)
Zauważmy, że pojęcia K (kino) i ~K (nie kino) nie są zdaniami.
Zdaniami są dopiero funkcje logiczne Y=x
Matematycznie zachodzi:
| Kod: |
Zdarzenie x ## funkcja logiczna Y=x
Gdzie:
x={K,~K} - zmienne wejściowe dla funkcji logicznej Y=x
## - różne na mocy definicji
|
Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:
| Kod: |
T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K
|
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~K=~(K)
Stąd mamy:
K, Y muszą być wszędzie tymi samymi K, Y inaczej błąd podstawienia
Definicja znaczka #:
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 negacją drugiej
W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
1.7.1 Dowód prawa Grzechotnika na poziomie przedszkola
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.
Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli T1.
| Kod: |
T1"
Pani w przedszkolu A1:
A1: K # B1: ~K
Pani w przedszkolu A2:
A2: ~K # B2: K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale widać, że w tabeli T1" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.
Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.
1.7.2 Prawo Sokoła
Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.
|
Ostatnio zmieniony przez rafal3006 dnia Śro 12:46, 01 Maj 2024, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Czw 7:25, 02 Maj 2024 Temat postu: |
|
|
|
Czyli funkcja negacji ma coś wspólnego z algebrą Boole'a czy nie ma?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:31, 02 Maj 2024 Temat postu: |
|
|
Czy potwornie śmierdzące gówno może należeć do jakiejkolwiek teorii np. algebry Boole’a?
Ma kto nadzieję, że Irbisol odpowie na to pytanie?
| rafal3006 napisał: |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794723
Aktualna, ziemska definicja funkcji negacji FN: ~p ma gówno wspólnego z algebrą Boole'a!
Dowód w niniejszym poście.
| Kwintesencja logiki matematycznej w temacie DN: ~p i FN: Y=~p napisał: |
Zapiszmy jedyną znaną matematykom zero-jedynkową definicję negacji:
| Kod: |
DN
Zero-jedynkowa definicja negacji (~)
p # ~p
A: 1 # 0
B: 0 # 1
Gdzie:
Dowolna strona znaczka # jest negacją (~) drugiej strony
|
##
Definicja funkcji logicznej negacji Y=~p:
Funkcja logiczna negacji Y=~p to funkcja definiowana tabelą prawdy:
| Kod: |
FN
Zero-jedynkowa definicja funkcji negacji Y=~p
Wejście |Wyjście
| A2:
p # ~p | Y=~p
1 # 0 | 0
0 # 1 | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Na wyjściu Y mamy tu zawsze zanegowany sygnał p (Y=~p)
Doskonale tu widać że:
Zero-jedynkowa definicja negacji DN: ~p ## zero-jedynkowa definicja funkcji negacji FN: Y=~p
Gdzie:
## - różne na mocy definicji
W tabeli FN widzimy że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1 - dokładnie to jest tu kwintesencją funkcji negacji Y=~p! |
|
| Irbisol napisał: | | Czyli funkcja negacji ma coś wspólnego z algebrą Boole'a czy nie ma? |
Na początku niniejszego postu masz dowód poprawności w logice matematycznej poniższego zapisu:
| Kod: |
DNFN:
Definicja negacji DN: ~p ## Definicja funkcji negacji FN: Y=~p
Gdzie:
## - różne na mocy definicji
|
Dogmat Irbisola (i wszystkich matematyków):
W logice matematycznej nie są potrzebne funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) bo logika matematyczna doskonale działa bez pojęć Y i ~Y, operując wyłącznie na wyrażeniach algebry Boole'a czyli na prawych stronach funkcji logicznych Y i ~Y
Zauważ, że jeśli z tabeli DNFN zgodnie z dogmatem twoim (i ziemskich matematyków) usuniemy funkcję logiczną w logice dodatniej (bo Y) to natychmiast lądujemy w potwornie śmierdzącym gównie.
| Kod: |
Gówno DNFN:
Definicja negacji DN: ~p [=?] Definicja funkcji negacji FN: ~p
Gdzie:
[=?] - gówno tożsamość obowiązująca w logice Irbisola (i wszystkich matematyków)
|
Powtórzę twoje pytanie Irbisolu:
| Irbisol napisał: | | Czyli funkcja negacji ma coś wspólnego z algebrą Boole'a czy nie ma? |
Funkcja negacji z algebry Kubusia:
FN: Y=~p
Należy do definicji "Nowej Algebry Boole'a" zaprezentowanej w algebrze Kubusia
Póki co, w logice twojej (i ziemskich matematyków) funkcja negacji w aktualnej algebrze Boole'a jest potwornie śmierdzącym gównem
FN: ~p - gówno-funkcja negacji po wywaleniu w kosmos funkcji logicznej Y.
Pytanie do Irbisola:
Czy potwornie śmierdzące gówno może należeć do jakiejkolwiek teorii np. algebry Boole’a?
Czy ma kto nadzieję, że Irbisol odpowie? 
Podsumowując:
Nie rozpaczaj Irbisolu, że ziemska algebra Boole'a właśnie legła w gruzach, bowiem pewne jest że już wkrótce ziemscy matematycy w 100% zaakceptują w algebrze Boole'a zarówno funkcje logiczne w logice dodatniej (bo Y) jak i w logice ujemnej (bo ~Y).
Wtedy wszystko wróci do normalności, matematyczny świat stanie na nogach!
Ostatnio zmieniony przez rafal3006 dnia Czw 9:06, 02 Maj 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Czw 20:08, 02 Maj 2024 Temat postu: |
|
|
|
Wyżej zadałem ci pytanie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 20:42, 02 Maj 2024 Temat postu: |
|
|
| Irbisol napisał: | | Wyżej zadałem ci pytanie. |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794841
| Irbisol napisał: | | Czyli funkcja negacji ma coś wspólnego z algebrą Boole'a czy nie ma? |
Wyżej dostałeś precyzyjną odpowiedź:
1.
Funkcja negacji rodem z Nowej Algebry Boole'a zdefinicowanej w algebrze Kubusia:
FN: Y=~p
jest częścią składową Nowej Algebry Boole'a zdefiniowanej w algebrze Kubusia
Dogmat Irbisola i wszystkich ziemskich matematyków:
Funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) są w logice matematycznej zbędne, bo logika matematyczna doskonale działa bez tych pojęć.
Na mocy twojego dogmatu Irbisolu (i dogmatu wszystkich matematyków) wykopujemy w kosmos funkcję logiczną Y w definicji FN wyżej.
2.
Stąd w obecnej algebrze Boole'a mamy potwornie śmierdzące gówno w postaci zapisu nie mającego NIC WSPÓLNEGO z funkcją logiczną w logice matematycznej Y=f(x) np. Y=p*q+~p*~q
FN: ~p - potwornie śmierdzące gówno, a nie funkcja negacji Y=~p.
Ponawiam pytanie:
Czy potwornie śmierdzące gówno FN: ~p jest według ciebie funkcją negacji Y=~p
TAK/NIE
Łopatologicznie:
Co ci da wymuszanie wszystkich możliwych wartościowań na wejściu bramki logicznej {p, q, r..} jak nie będziesz miał dostępu do wyjścia bramki logicznej Y (funkcji logicznej Y)?
Zaprawdę, trzeba być osłem, by nie rozumieć że "gówno da" - taka logika to jedno wielkie potwornie śmierdzące gówno a nie logika.
Ostatnio zmieniony przez rafal3006 dnia Czw 20:57, 02 Maj 2024, 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: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 7:02, 03 Maj 2024 Temat postu: |
|
|
Operatory jednoargumentowe w bramkach logicznych!
Dla mnie operatory jednoargumentowe w bramkach logicznych były tak oczywiste, że pominąłem je w algebrze Kubusia skupiając się na operatorach dwuargumentowych.
Na skutek dyskusji z Irbisolem dopisałem brakujący fragment w temacie operatorów jednoargumentowych w bramkach logicznych.
Dzięki Irbisolu, dokładnie dlatego jesteś dla mnie bezcennym wrogiem algebry Kubusia Nr.1
"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1106):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Pełna wersja algebry Kubusia zawierająca wszystkie możliwe szczegóły w tym temacie.
| Algebra Kubusia - matematyka języka potocznego napisał: |
Spis treści
11.0 Algebra Kubusia w bramkach logicznych 1
11.1 Negator dwukierunkowy w bramkach logicznych 2
11.2 Operatory logiczne jednoargumentowe w bramkach logicznych 3
11.2.1 Realizacja zdania zawsze prawdziwego ZP w bramkach logicznych 4
11.2.2 Realizacja zdania zawsze fałszywego ZF w bramkach logicznych 4
11.3 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 5
11.3.1 Realizacja operatora transmisji Y|=p w bramkach logicznych 6
11.4 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 7
11.4.1 Realizacja operatora negacji Y|=~p w bramkach logicznych 8
11.0 Algebra Kubusia w bramkach logicznych
Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym
Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.9 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodniliśmy w pkt. 1.5.4 i 1.7
11.1 Negator dwukierunkowy w bramkach logicznych
Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.
W szczególnym przypadku symbol w nagłówku kolumny może być stałą binarną gdy w kolumnie są same jedynki albo same zera.
| Kod: |
DN
Definicja negacji:
p # ~p
A: 1 # 0
B: 0 # 1
1 2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
|
Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
p#~p
Dowodem jest tu definicja negacji DN.
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)
Zauważmy, że w definicji negacji DN symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)
Stąd mamy:
Definicja osi czasu w logice matematycznej
W dowolnej tabeli zero-jedynkowej oś czasu to zero-jedynkowa zawartość kolumny opisanej symbolem nad tą kolumną.
W logice matematycznej odpowiednikiem układu Kartezjańskiego są wykresy czasowe.
Dowód na przykładzie (strona 5):
| Kod: | | https://www.ti.com/lit/ds/symlink/sn54ls193-sp.pdf |
W technice cyfrowej znaczek różne # o definicji jak wyżej jest odpowiednikiem dwukierunkowego negatora „O”.
Zachodzi tożsamość znaczków: # = O
| Kod: |
Realizacja dwukierunkowego negatora „O” w bramkach logicznych
-----
p --x-------->| ~ |o-x--> ~p
| ----- |
| |
| p=~(~p) ----- |
-<-------o| ~ |<-x--- ~p
-----
Gdzie:
„O” - symbol dwukierunkowego negatora o budowie jak wyżej
„o"(~) - symbole negacji w technice „o” i języku potocznym „~”
--->| - wejście bramki logicznej negatora (~)
|o--> - wyjście bramki logicznej negatora (~)
W świecie rzeczywistym musi tu być negator z otwartym kolektorem (OC)
na przykład typu SN7406. Wyjście OC musi być podparte rezystorem do Vcc.
|
W świecie rzeczywistym podajemy sygnały cyfrowe {0,1} na wejściu negatora p albo ~p obserwując co jest na jego wyjściu. Wszystko musi być zgodne z definicją DN.
11.2 Operatory logiczne jednoargumentowe w bramkach logicznych
Wyprowadzenie i tabelę wszystkich możliwych operatorów jednoargumentowych znajdziemy w punkcie 1.4
Tabela wszystkich możliwych operatorów jednoargumentowych (1.4.2)
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje prawa Prosiaczka, czego dowód znajdziemy w punkcie 1.2.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w komunikacji człowieka z człowiekiem są bezwartościowe, czego dowód w dwóch kolejnych punktach.
11.2.1 Realizacja zdania zawsze prawdziwego ZP w bramkach logicznych
| Kod: |
Linia A3B3:
Realizacja zdania zawsze prawdziwego ZP w bramkach logicznych
ZP
----------
f(x) -->| 1-->|-------> A3: Y=1
----------
|
W algebrze Boole’a pod zmienną binarną p możemy podstawić dowolnie złożone wyrażenie algebry Boole’a f(x) które z definicji również jest zmienną binarną.
Zdanie na wejściu f(x) musi być twardą jedynką Y=1 tzn. bez możliwości ustawienia Y=0.
Przykład:
f(x)=p+~p=1
Pani w przedszkolu:
A3.
Jutro pójdziemy do kina lub nie pójdziemy do kina
Y=K+~K =1
Cokolwiek pani jutro nie zrobi to dotrzyma słowa (Y=1), nie ma tu możliwości ustawienia (Y=0)
Wniosek:
Linia A3B3 jest w praktyce komunikacyjnej człowieka z człowiekiem bezwartościowa.
11.2.2 Realizacja zdania zawsze fałszywego ZF w bramkach logicznych
| Kod: |
Linia A4B4:
Realizacja zdania zawsze fałszywego ZF w bramkach logicznych
ZF
----------
f(x) -->| 0-->|-------> A4: Y=0
----------
|
W algebrze Boole’a pod zmienną binarną p możemy podstawić dowolnie złożone wyrażenie algebry Boole’a f(x) które z definicji również jest zmienną binarną.
Zdanie na wejściu f(x) musi być twardym zerem Y=0 tzn. bez możliwości ustawienia Y=1.
Przykład:
f(x)=p*~p=0
Pani w przedszkolu:
A4.
Jutro pójdziemy do kina i nie pójdziemy do kina
Y=K*~K =0
W tym przypadku pani zostaje kłamcą (Y=0) z chwilą wypowiedzenia zdania A4
Cokolwiek pani jutro nie zrobi to nie ma szans na dotrzymanie słowa (Y=1).
Wniosek:
Linia A4B4 jest w praktyce komunikacyjnej człowieka z człowiekiem bezwartościowa.
11.3 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p
Definicja transmitera:
Transmiter to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany zawsze niezanegowany sygnał p (Y=p)
Realizacja rzeczywista:
SN7407 (Strona 1: Y=p)
| Kod: | | https://www.ti.com/lit/ds/symlink/sn7407.pdf |
Definicja matematyczna:
Funkcja logiczna transmitera Y=p w logice dodatniej (bo Y) to funkcja definiowana tabelą prawdy:
| Kod: |
FT
Funkcja transmisji Y=p
Wejście |Wyjście
| A1:
p # ~p | Y=p
1 # 0 | 1
0 # 1 | 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Na wyjściu Y mamy tu zawsze niezanegowany sygnał p (Y=p)
Definicja operatora transmisji Y|=p:
Operator transmisji Y|=p to układ równań logicznych Y=p i ~Y=~p dający odpowiedź na pytanie o Y i ~Y
Zobaczmy to w tabeli zero-jedynkowej:
| Kod: |
OT
Definicja operatora transmisji: Y|=p
Wejście |Wyjście
| A1: B1:
p # ~p | Y=p # ~Y=~p
A: 1 # 0 | 1 # 0
B: 0 # 1 | 0 # 1
1 2 3 4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale tu widać że:
A1:
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A1.
B1:
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1
11.3.1 Realizacja operatora transmisji Y|=p w bramkach logicznych
| Kod: |
OT
Definicja operatora transmisji: Y|=p
Wejście |Wyjście
| A1: B1:
p # ~p | Y=p # ~Y=~p
A: 1 # 0 | 1 # 0
B: 0 # 1 | 0 # 1
1 2 3 4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
W technice cyfrowej produkowane są wyłącznie bramki logiczne z wejściem w logice dodatniej (bo p) oraz wyjściem w logice dodatniej (bo Y).
Kluczowa jest tu dostępna dowolna ilość negatorów dwukierunkowych „O” o fizycznej realizacji opisanej w punkcie 11.1
| Kod: |
OT
Operator transmisji Y|=p w bramkach logicznych
Wejście | Wyjście
-------
p ---x------>| T |---x---> A1: Y=p
| ------- |
| O = # (negator dwukierunkowy)
| ~p ------- |
x--O--->| T |---x---> B1: ~Y=~p
-------
Gdzie:
T - bramka transmisji, sygnał z wejścia transmitowany jest na wyjście
# - dowolna strona znaczka # jest negacją drugiej strony
„O” - negator dwukierunkowy (pkt. 11.1)
|
Jak to działa?
1.
Funkcja transmisji A1: Y=p w logice dodatniej (bo Y) realizowana jest tabelą zero-jedynkową AB13.
Na wejściu p podajemy 1 sprawdzając czy na wyjściu A1: Y=p również mamy 1
Na wejściu p podajemy 0 sprawdzając czy na wyjściu A1: Y=p również mamy 0
2.
Funkcja transmisji B1: ~Y=~p w logice ujemnej (bo ~Y) realizowana jest tabelą zero-jedynkową AB24.
Na wejściu ~p podajemy 0 sprawdzając czy na wyjściu B1: ~Y=~p również mamy 0
Na wejściu ~p podajemy 1 sprawdzając czy na wyjściu B1: ~Y=~p również mamy 1
11.4 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p
Definicja negatora:
Negator to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze zanegowany sygnał p (Y=~p)
Realizacja rzeczywista:
SN7406 (strona 2: Y=~p)
| Kod: | | https://www.ti.com/lit/ds/symlink/sn7406.pdf |
Definicja matematyczna:
Funkcja logiczna negatora Y=~p to funkcja definiowana tabelą prawdy:
| Kod: |
FN
Funkcja negatora Y=~p
Wejście |Wyjście
| A2:
p # ~p | Y=~p
1 # 0 | 0
0 # 1 | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Na wyjściu Y mamy tu zawsze zanegowany sygnał p (Y=~p)
Definicja operatora negacji Y|=~p:
Operator negacji Y|=~p to układ równań logicznych Y=~p i ~Y=p dający odpowiedź na pytanie o Y i ~Y
Zobaczmy to w tabeli zero-jedynkowej:
| Kod: |
ON
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
A: 1 # 0 | 0 # 1
B: 0 # 1 | 1 # 0
1 2 3 4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale tu widać że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1
11.4.1 Realizacja operatora negacji Y|=~p w bramkach logicznych
| Kod: |
ON
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
A: 1 # 0 | 0 # 1
B: 0 # 1 | 1 # 0
1 2 3 4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
W technice cyfrowej produkowane są wyłącznie bramki logiczne z wejściem w logice dodatniej (bo p) oraz wyjściem w logice dodatniej (bo Y).
Kluczowa jest tu dostępna dowolna ilość negatorów dwukierunkowych „O” o fizycznej realizacji opisanej w punkcie 11.1
| Kod: |
ON
Operator negacji Y|=~p w bramkach logicznych
Wejście | Wyjście
~p -------
p ---x--O--->| T |---x---> A2: Y=~p
| ------- |
| O = # (negator dwukierunkowy)
| ------- |
x------>| T |---x---> B2: ~Y=p
-------
Gdzie:
T - bramka transmisji, sygnał z wejścia transmitowany jest na wyjście
# - dowolna strona znaczka # jest negacją drugiej strony
O - negator dwukierunkowy (pkt. 11.1)
|
Jak to działa?
1.
Funkcja negacji A2: Y=~p w logice dodatniej (bo Y) realizowana jest tabelą zero-jedynkową AB13.
Na wejściu p podajemy 1 sprawdzając czy na wyjściu A2: Y=~p mamy 0
Na wejściu p podajemy 0 sprawdzając czy na wyjściu A2: Y=~p mamy 1
2.
Funkcja negacji B2: ~Y=p w logice ujemnej (bo ~Y) realizowana jest tabelą zero-jedynkową AB24.
Na wejściu ~p podajemy 0 sprawdzając czy na wyjściu B2: ~Y=p mamy 1
Na wejściu ~p podajemy 1 sprawdzając czy na wyjściu B2: ~Y=p mamy 0
|
Ostatnio zmieniony przez rafal3006 dnia Pią 15:21, 03 Maj 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Pią 17:22, 03 Maj 2024 Temat postu: |
|
|
|
Pytam o normalną algebrę Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 17:59, 03 Maj 2024 Temat postu: |
|
|
Czy Irbisol jest w stanie zrozumieć najprostsze ćwiczenie z logiki matematycznej?
| Irbisol napisał: | | Pytam o normalną algebrę Boole'a. |
Dostałeś wyżej precyzyjną odpowiedź.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794899
| rafal3006 napisał: | http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794841
| Irbisol napisał: | | Czyli funkcja negacji ma coś wspólnego z algebrą Boole'a czy nie ma? |
Wyżej dostałeś precyzyjną odpowiedź:
1.
Funkcja negacji rodem z Nowej Algebry Boole'a zdefinicowanej w algebrze Kubusia:
FN: Y=~p
jest częścią składową Nowej Algebry Boole'a zdefiniowanej w algebrze Kubusia
Dogmat Irbisola i wszystkich ziemskich matematyków:
Funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) są w logice matematycznej zbędne, bo logika matematyczna doskonale działa bez tych pojęć.
Na mocy twojego dogmatu Irbisolu (i dogmatu wszystkich matematyków) wykopujemy w kosmos funkcję logiczną Y w definicji FN wyżej.
2.
Stąd w obecnej algebrze Boole'a mamy potwornie śmierdzące gówno w postaci zapisu nie mającego NIC WSPÓLNEGO z funkcją logiczną w logice matematycznej Y=f(x) np. Y=p*q+~p*~q
FN: ~p - potwornie śmierdzące gówno, a nie funkcja negacji Y=~p.
Ponawiam pytanie:
Czy potwornie śmierdzące gówno FN: ~p jest według ciebie funkcją negacji Y=~p
TAK/NIE
Łopatologicznie:
Co ci da wymuszanie wszystkich możliwych wartościowań na wejściu bramki logicznej {p, q, r..} jak nie będziesz miał dostępu do wyjścia bramki logicznej Y (funkcji logicznej Y)?
Zaprawdę, trzeba być osłem, by nie rozumieć że "gówno da" - taka logika to jedno wielkie potwornie śmierdzące gówno a nie logika. |
Wyobraź sobie Irbisolu najprostsze ćwiczenie w laboratorium logiki matematycznej, czyli w laboratorium bramek logicznych - prostsze ćwiczenie nie istnieje.
W świecie techniki produkowane są wyłącznie bramki logiczne w logice dodatniej tzn. wszystkie wejścia mają w logice dodatniej (bez przeczeń) {p, q, r..} i wyjścia Y też mają wyłącznie w logice dodatniej (bo Y).
Definicja transmitera:
Transmiter to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze niezanegowany sygnał wejściowy p (Y=p)
Realizacja rzeczywista:
SN7407 (Strona 1: Y=p)
| Kod: | | https://www.ti.com/lit/ds/symlink/sn7407.pdf |
(These devices perform the Boolean function Y = A in positive logic)
Definicja matematyczna:
Funkcja logiczna transmitera Y=p w logice dodatniej (bo Y) to funkcja definiowana tabelą prawdy:
| Kod: |
FT
Funkcja transmisji Y=p
Wejście |Wyjście
| A1:
p # ~p | Y=p
A: 1 # 0 | 1
B: 0 # 1 | 0
1 2 3
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Na wyjściu Y mamy tu zawsze niezanegowany sygnał p (Y=p)
Ćwiczenie 1
Załóżmy, że z układu scalonego starto napisy informujące o typie układu SN7407.
Pozostawiono tylko oznaczone wejście p i wyjście Y.
Jak rozpoznać, że taki układ realizuje funkcję logiczna transmisji Y=p?
Rozwiązanie:
W świecie rzeczywistym mamy wyłącznie dostęp do sygnału wejściowego p w logice dodatniej (bo p) oraz do wyjścia w logice dodatniej (bo Y):
A1: Y=p
Oczywiście na wejściu p wymuszamy wszystkie możliwe wartościowania p (kolumna AB1) - jeśli dwie możliwe tu odpowiedzi układu z wytartymi napisami będą zgodne z funkcją logiczną Y (kolumna AB3) to mamy 100% pewność że mamy do czynienia z układem SN7407.
Zadanie zostało wykonane!
Weźmy twój dogmat Irbisolu (i wszystkich ziemskich matematyków):
Funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) są w logice matematycznej zbędne, bo logika matematyczna doskonale działa bez tych pojęć.
Na mocy twojego dogmatu Irbisolu (i dogmatu wszystkich matematyków) wykopujemy w kosmos funkcję logiczną Y w definicji FT wyżej.
W przełożeniu na świat rzeczywisty oznacza to że:
Ja rafał3006, wycinam ci nóżkę wyjściową Y z układu ze startymi napisami SN7407 bo według dogmatu twojego i wszystkich matematyków funkcja logiczna Y w logice dodatniej (bo Y) jest tu matematycznie zbędna.
i co?
I gówno!
Choćbyś zjadł 1000 kotletów i nie wiem jak się naprężał to nie rozszyfrujesz typu układu scalonego z wytartymi napisami w laboratorium bramek logicznych.
Twoja ocena z tego ćwiczenia to 2 z trzema wykrzyknikami!
Czy masz jakieś zastrzeżenia co do słuszności tej oceny?
Ostatnio zmieniony przez rafal3006 dnia Sob 15:17, 04 Maj 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Sob 16:11, 04 Maj 2024 Temat postu: |
|
|
|
Rozwlekła i nie na temat nie oznacza prezycyjna.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 17:04, 04 Maj 2024 Temat postu: |
|
|
..
Ostatnio zmieniony przez rafal3006 dnia Sob 17:24, 04 Maj 2024, 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: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 17:12, 04 Maj 2024 Temat postu: |
|
|
Obalaj prawo Grzechotnika płaskoziemco - obalisz, kasuję algebrę Kubusia!
| Irbisol napisał: | | Rozwlekła i nie na temat nie oznacza precyzyjna. |
Dowód prawa Grzechotnika to dowód króciutki, na dodatek na poziomie 5-cio letniego dziecka, któremu twój mózg, jak wszyscy widzą, do pięt nie dorasta.
Jeszcze raz, po raz n-ty:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794967
| Irbisol napisał: | | Pytam o normalną algebrę Boole'a. |
Wedle ciebie zachodzi tożsamość:
Normalna algebra Boole'a = algebra Boole'a w rozumieniu ziemskich matematyków.
Którzy wykopali w kosmos wszelkie funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) sprowadzając normalną algebrę Boole'a (tą z algebry Kubusia) do rynsztoku. Świat techniki jest tu lata świetlne przed ziemskimi matematykami bo wszelkie bramki logiczne definiuje się tu za pomocą funkcji logicznych w logice dodatniej (bo Y) - które to funkcje matematycy (i ty Irbisolu) z definicji wykopujecie w kosmos - dowód tej straszliwej zbrodni na logice matematycznej masz w moim poście wyżej.
Masz przykładową definicję funkcji transmisji ze świata techniki, o której matematycy nie mają bladego pojęcia, bo gdyby mieli to poniższa definicja byłaby w aktualnej algebrze Boole’a - a jej nigdzie nie znajdziesz.
Definicja transmitera:
Transmiter to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze niezanegowany sygnał wejściowy p (Y=p)
Realizacja rzeczywista:
SN7407 (Strona 1: Y=p)
| Kod: | | https://www.ti.com/lit/ds/symlink/sn7407.pdf |
W świecie techniki pisze ci jak byk:
(These devices perform the Boolean function Y=p in positive logic)
Gdzie jest funkcja logiczna transmisji Y=p w aktualnej logice matematycznej ziemskich matematyków?
W dupie jest - zgadza się?
Cały czas piszę o aktualnie obowiązującej algebrze Boole'a - napisz czego nie rozumiesz bez swojego "w koło Macieju".
Twój slogan "pytam o normalną algebrę Boole'a" - to jest twoje aktualne "w koło Macieju" które będziesz powtarzał do nieskończoności, zamiast przeczytać co się do ciebie pisze tzn. obalić prawa Grzechotnika!
Obalaj prawo Grzechotnika płaskoziemco - obalisz, kasuję algebrę Kubusia.
O co tu chodzi masz w aktualnym wstępie do algebry Kubusia:
"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1106):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Pełna wersja algebry Kubusia zawierająca wszystkie możliwe szczegóły w tym temacie.
Kluczowym prawem algebry Kubusia jest prawo Grzechotnika (pkt. 1.5.4, 1.7)
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Prawo Grzechotnika jest dowodem, iż wszystkie ziemskie logiki matematyczne (KRZ, modalna, intuicjonistyczna, relewantna etc) zbudowane są na fundamencie z piasku - algebrze Boole’a która jest wewnętrznie sprzeczna.
Algebra Kubusia to rewolucja w logice matematycznej.
Istotą każdej rewolucji jest zburzenie starego porządku (prawo Grzechotnika) by na gruzach mogła zakwitnąć nowa idea, algebra Kubusia.
W algebrze Kubusia wszystkie definicje i prawa logiki matematycznej mają 100% pokrycie w teorii bramek logicznych (pkt. 11.0), co jest twardym dowodem jej poprawności czysto matematycznej.
Matematycy znają zero-jedynkową tabelę wszystkich 16 dwuargumentowych spójników logicznych:
[link widoczny dla zalogowanych]
ale nie znają jej poprawnej interpretacji matematycznej
Poprawną interpretację matematyczną tej tabeli znajdziemy wyłącznie w algebrze Kubusia (pkt. 1.16)
Fundamentalne różnice między KRZ a algebrą Kubusia (polecam matematykom) opisano w rozdziale:
28.0 Klasyczny Rachunek Zdań vs Algebra Kubusia
Wspólny punkt zaczepienia między KRZ i AK to prawo eliminacji znaczka =>, sprowadzające obsługę zdań warunkowych „Jeśli p to q” do poziomu spójników „lub”(+) i „i”(*), gdzie o żadnych warunkach wystarczających => i koniecznych ~> (istocie zdań warunkowych!) mowy być nie może.
Ostatnio zmieniony przez rafal3006 dnia Sob 17:57, 04 Maj 2024, w całości zmieniany 14 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Sob 17:59, 04 Maj 2024 Temat postu: |
|
|
Gad jest nie na temat.
Czekam na odpowiedź na moje pytanie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 18:07, 04 Maj 2024 Temat postu: |
|
|
| Irbisol napisał: | Gad jest nie na temat.
Czekam na odpowiedź na moje pytanie. |
Odpowiedź na twoje pytanie dostałeś wyżej.
Kwintesencja tej odpowiedzi to:
Normalna algebra Boole'a, ta znana ziemskim matematykom jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) algebry Boole'a - dokładnie o tym mówi prawo Grzechotnika!
Kwintesencja powyższego to:
Normalna algebra Boole'a, czyli ta znana ziemskim matematykom = potwornie śmierdzące gówno dokładnie dlatego, że to gówno jest wewnętrznie sprzeczne!
Chcesz powiedzieć, że nie interesuje cię czysto matematyczne i na poziome 5-cio letniego dziecka obalenie wszelkiego gówna które panoszy się na ziemi tzn. KRZ, logika modalna, intuicjonistyczna, relewantna etc. ?
Jeszcze raz, cytuję wstęp do AK:
"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1106):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Pełna wersja algebry Kubusia zawierająca wszystkie możliwe szczegóły w tym temacie.
Kluczowym prawem algebry Kubusia jest prawo Grzechotnika (pkt. 1.5.4, 1.7)
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Prawo Grzechotnika jest dowodem, iż wszystkie ziemskie logiki matematyczne (KRZ, modalna, intuicjonistyczna, relewantna etc) zbudowane są na fundamencie z piasku - algebrze Boole’a która jest wewnętrznie sprzeczna.
Algebra Kubusia to rewolucja w logice matematycznej.
Istotą każdej rewolucji jest zburzenie starego porządku (prawo Grzechotnika) by na gruzach mogła zakwitnąć nowa idea, algebra Kubusia.
W algebrze Kubusia wszystkie definicje i prawa logiki matematycznej mają 100% pokrycie w teorii bramek logicznych (pkt. 11.0), co jest twardym dowodem jej poprawności czysto matematycznej.
Matematycy znają zero-jedynkową tabelę wszystkich 16 dwuargumentowych spójników logicznych:
[link widoczny dla zalogowanych]
ale nie znają jej poprawnej interpretacji matematycznej
Poprawną interpretację matematyczną tej tabeli znajdziemy wyłącznie w algebrze Kubusia (pkt. 1.16)
Fundamentalne różnice między KRZ a algebrą Kubusia (polecam matematykom) opisano w rozdziale:
28.0 Klasyczny Rachunek Zdań vs Algebra Kubusia
Wspólny punkt zaczepienia między KRZ i AK to prawo eliminacji znaczka =>, sprowadzające obsługę zdań warunkowych „Jeśli p to q” do poziomu spójników „lub”(+) i „i”(*), gdzie o żadnych warunkach wystarczających => i koniecznych ~> (istocie zdań warunkowych!) mowy być nie może.
Ostatnio zmieniony przez rafal3006 dnia Sob 18:13, 04 Maj 2024, 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: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 13:51, 06 Maj 2024 Temat postu: |
|
|
Funkcja tożsamościowa - tragedia ziemskiej logiki matematycznej!
Prawo Czarnej Mamby:
Warunkiem koniecznym postawienia ziemskiej logiki matematycznej na nogi jest jej akceptacja prawa Irbisa, jako jednego z najważniejszych praw logiki matematycznej.
Kwintesencja obsługi teorii zdań warunkowych „Jeśli p to q” w algebrze Kubusia:
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Zobaczmy co na temat funkcji tożsamościowych pisze w Wikipedii:
http://www.sfinia.fora.pl/posting.php?mode=editpost&p=706875
@Wikipedia
Funkcja tożsamościowa (funkcja identycznościowa, tożsamość, identyczność) – funkcja danego zbioru w siebie, która każdemu argumentowi przypisuje jego samego. Intuicyjnie: funkcja, która „nic nie zmienia”.
To wytłuszczone w definicji tożsamościowej jest dowodem, iż chodzi tu o prawo Irbisa, na cześć mojego wroga Nr.1 Irbisola nazwane, który jako pierwszy ziemianin zgodził się na jego prawdziwość.
Weźmy przykład z Wikipedii równania tożsamościowego:
[link widoczny dla zalogowanych]
Równania tożsamościowe
Równania tożsamościowe - to takie równania, które mają nieskończenie wiele rozwiązań.
Jeżeli w równaniu tożsamościowym podstawimy pod x-a dowolną liczbę, to otrzymamy zawsze równanie prawdziwe.
2x=2x
5x−3=5x−3
Irbisolu,
Moje zapisy tożsamościowe, które podaję od zawsze typu:
2=2
2x=2x
TP=TP
Zbiór trójkątów prostokątnych TP = zbiór trójkątów prostokątnych TP
pies=pies
miłość=miłość
suche gacie na dnie morza = suche gacie na dnie morza
etc
To po prostu algebra Boole'a:
a=a
Prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q
p=q <=> A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Podstawmy:
p=a
q=a
Stąd mamy:
a=a <=> A1B1: a<=>a = (A1: a=>a)*(B1:a~>a) =1*1=1
Dowód:
A1: a=>a =1 - bo każde pojęcie/zbiór/zdarzenie jest podzbiorem => siebie samego
B1: a~>a =1 - bo każde pojęcie/zbiór/zdarzenie jest nadzbiorem ~> siebie samego
Sam widzisz irbisolu, że ma się to nijak do twojej definicji funkcji tożsamościowej:
f(x)=x
Gdzie:
x - zmienna binarna
Stąd twoja szczegółowa definicja funkcji tożsamościowej to:
f(1)=1
f(0)=0
Niespodziewany zwrot akcji:
W mojej kilkunastostronicowej (albo i więcej) dyskusji z Irbisolem prosiłem go n-razy o podanie zero-jedynkowej definicji funkcji tożsamościowej na gruncie algebry Boole’a.
Oczywiście Irbisol nie podał takiej definicji bo nie ma jej w Wikipedii, a dla Irbisola Wikipedia jest najwyższą świętością, alfą i omegą.
Kilka dni temu modyfikując wstęp do algebry Kubusia odkryłem, że zero-jedynkowa definicja funkcji tożsamościowej jest w Wikipedii, tyle że ukryta, której żaden matematyk na światło dzienne nie wyciąga, bo jej po prostu nie rozumie.
Oto ta skrzętnie zakopana i ukryta prawda o rzeczywistej definicji funkcji tożsamościowej na gruncie algebry Boole’a
Matematycy znają zero-jedynkową tabelę wszystkich czterech jednoargumentowych spójników logicznych jak w linku niżej:
[link widoczny dla zalogowanych]
ale nie znają jej poprawnej interpretacji matematycznej
Poprawną interpretację matematyczną tej tabeli znajdziemy wyłącznie w algebrze Kubusia (pkt. 1.4)
Dokładnie w tym linku mamy zero-jedynkową definicję funkcji tożsamościowej.
| Kod: |
Definicja funkcji tożsamościowej wedle Wikipedii
to jest dokładnie to samo co funkcja transmitera w algebrze Kubusia
Wejście | Wyjście
p ~p | Y=p
A: 1 # 0 | 1
B: 0 # 1 | 0
|
Definicja transmitera w technicznej algebrze Boole’a:
Transmiter to jednowejściowa bramka logiczna opisana funkcją logiczną Y=p, gdzie na wyjście Y transmitowany jest zawsze sygnał wejściowy p bez zniekształceń.
Oczywiście nie ma sensu bym robił tu kopiuj wklejkę punktu 1.4 z niniejszego podręcznika.
Skupmy się na istocie operatora transmisji z algebry Kubusia, totalnie nieznanej ziemskim matematykom.
Dlaczego totalnie nieznanej?
Bo nie ma we współczesnej logice matematycznej kluczowego tu prawa, prawa Irbisa.
Prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q
p=q <=> A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Jak do tej pory zaledwie jeden ziemianin rozumie i akceptuje prawo Irbisa - to Irbisol.
Weźmy fragment z algebry Kubusia dotyczący:
Funkcji tożsamościowej wedle logiki ziemian = funkcji transmisji wedle algebry Kubusia
| Kod: |
OT
Definicja operatora transmisji: Y|=p
Wejście |Wyjście
| A1: B1:
p # ~p | Y=p # ~Y=~p
Przykład który za chwilkę zrobimy p=K:
K # ~K | Y=K # ~Y=~K
1 # 0 | 1 # 0
0 # 1 | 0 # 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Pani w przedszkolu A1:
A1.
Jutro pójdziemy do kina
Y=K
co w logice jedynek oznacza:
Y=1 <=> K=1 - doskonale to widać w tabeli OT
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A1 stronami:
B1.
~Y=~K
co w logice jedynek oznacza:
~Y=1 <=> ~K=1 - doskonale to widać w tabeli OT
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej sytrony
Prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q
p=q <=> A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Podstawmy nasz przykład:
p=Y
q=K
Stąd dla naszego przykładu prawo Irbisa w logice dodatniej (bo K) przybiera postać:
Dwa pojęcia Y i K są tożsame Y=K wtedy i tylko wtedy gdy znajdują się w relacji równoważności Y<=>K
Y=K <=> A1B1: Y<=>K = (A1: Y=>K)*(B1: Y~>K)=1*1=1
Lewą stronę prawa Irbisa czytamy:
Na mocy prawa Irbisa zachodzi tożsamość pojęć Y=K:
Pojęcie „pani dotrzyma słowa” (Y) jest tożsame „=” z pojęciem „jutro pójdziemy do kina” (K)
Środek prawa Irbisa czytamy:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
A1B1: Y<=>K =1
Prawą stronę prawa Irbisa czytamy:
Dotrzymanie słowa przez panią (Y) jest warunkiem koniecznym ~> (B1) i wystarczającym => (A1) do tego, byśmy poszli do kina (K)
Innymi słowy:
Do tego byśmy poszli do kina (K) potrzeba ~> (B1) i wystarcza => (A1) by pani dotrzymała słowa (Y)
W logice matematycznej dowolne pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p
W logice matematycznej dowolną tożsamość „=” czy też równoważność <=> mamy prawo dwustronnie zanegować przechodząc do logiki przeciwnej z tym samym znaczkiem.
Dwustronna negacja warunku wystarczającego => czy też koniecznego ~> także jest możliwa na mocy praw Kubusia
A1: p=>q = A2: ~p~>~q
B1: p~>q = B2: ~p=>~q
Nasz przykład:
A1: Y=>K = A2: ~Y~>~K
B1: Y~>K = B2: ~Y=>~K
Stąd mamy prawo Irbisa w logice ujemnej (bo ~q):
Dwa pojęcia/zbiory/zdarzenia ~p i ~q są tożsame ~p=~q wtedy i tylko wtedy gdy znajdują się w relacji równoważności ~p<=>~q
~p=~q <=> A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) =1*1=1
Nasz przykład:
Prawo Irbisa w logice ujemnej (bo ~K):
Dwa pojęcia ~Y i ~K są tożsame ~Y=~K wtedy i tylko wtedy gdy znajdują się w relacji równoważności ~Y<=>~K
~Y=~K <=> A2B2: ~Y<=>~K = (A2: ~Y~>~K)*(B2: ~Y=>~K) =1*1=1
Lewą stronę prawa Irbisa czytamy:
Na mocy prawa Irbisa zachodzi tożsamość pojęć ~Y=~K:
Pojęcie „pani nie dotrzyma słowa” (~Y) jest tożsame „=” z pojęciem „jutro nie pójdziemy do kina” (~K)
Środek prawa Irbisa czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
A2B2: ~Y<=>~K =1
Prawą stronę prawa Irbisa czytamy:
Nie dotrzymanie słowa przez panią (~Y) jest warunkiem koniecznym ~> (A2) i wystarczającym => (B2) do tego, byśmy nie poszli do kina (~K)
Innymi słowy:
Do tego byśmy nie poszli do kina (~K) potrzeba ~> (A2) i wystarcza => (B2) by pani nie dotrzymała słowa (~Y)
Matematyczne związki między prawem Irbisa w logice dodatniej (bo q) i ujemnej (bo ~q) są następujące:
1.
Zachodzi matematyczna tożsamość równoważności:
A1B1: p<=>q = A2B2: ~p<=>~q
Dowód:
A1B1: p<=>q = p*q + ~p*~q - definicja równoważności w spójnikach „i”(*) i „lub”(+)
Rozwijamy A2B2 definicją A1B1:
(~p)<=>(~q) = (~p)*(~q) + ~(~p)*~(~q)
~p<=>~q = ~p*~q + p*q
Stąd mamy:
A2B2: ~p<=>~q = A1B1: p<=>q = p*q + ~p*~q
cnd
2.
Zapiszmy w tabeli prawdy istotę operatora równoważności:
| Kod: |
Równoważność | Równoważność
A1B1: p<=>q [=] A2B2: ~p<=>~q
Definiuje tożsamość pojęć: | definiuje tożsamość pojęć:
p=q # ~p=~q
Gdzie:
Dowolna strona znaczka # jest negacją drugiej strony
|
3.
Nasz przykład:
| Kod: |
Równoważność | Równoważność
A1B1: Y<=>K [=] A2B2: ~Y<=>~K
Definiuje tożsamość pojęć: | definiuje tożsamość pojęć:
Y=K # ~Y=~K
Gdzie:
Dowolna strona znaczka # jest negacją drugiej strony
|
Z ostatniej linii widzimy że pojęcie Y (czy też K) związane jest z pojęciem ~Y (czy też ~K) spójnikiem „albo”($)
Dowód:
Jutro pani może dotrzymać słowa (Y) „albo”($) nie dotrzymać słowa (~Y)
Y$~Y =1
Trzeciej możliwości brak.
Sprawdzenie formalne.
Definicja spójnika „albo”($) w spójnikach „i”(*) i „lub”(+):
p$q = p*~q + ~p*q
Dla q=~p mamy:
p$~p = p*~(~p) + ~p*~(~p) = p*p + ~p*~p = p+~p =1
cnd
Oczywistym jest że równoważność (tożsamość) między p i ~p jest wykluczona.
Sprawdzenie formalne:
Definicja równoważności p<=>q w spójnikach „i”(*) i „lub”(+):
p<=>q = p*q + ~p*~q
dla q=~p mamy:
p<=>(~p) = p*(~p) + ~p*~(~p) = p*~p + ~p*p = 0+0 =0
cnd
Zajrzyjmy jeszcze raz do zero-jedynkowej definicji wszystkich czterech jednoargumentowych spójników logicznych podanych w Wikipedii:
[link widoczny dla zalogowanych]
Pisze tu jak wół że:
Spójnik funkcji tożsamościowej (w algebrze Kubusia funkcji transmisji) to rzadko używany spójnik asercji (funkcja tożsamościowa)
Jak widzimy wyżej, w teorii zdarzeń spójnik transmisji (funkcja tożsamościowa w logice ziemian) jest w języku potocznym każdego człowieka zdecydowanie najczęściej używanym spójnikiem logicznym.
Dowód:
Spójnik transmisji w języku potocznym (funkcja tożsamościowa w logice ziemian) jest nierozerwalnie związany z najprostszą obietnicą bezwarunkową typu:
W przyszłości (np. jutro) coś tam zrobimy
Przykłady:
Jutro pójdziemy do kina
Jutro pójdziemy do lasu
Jutro idę na egzamin
etc.
Kliknijmy w Wikipedii co się kryje pod pojęciem „funkcji tożsamościowej”?
Mamy definicję jak na początku niniejszego wpisu:
http://www.sfinia.fora.pl/posting.php?mode=editpost&p=706875
| Wikipedia napisał: |
Funkcja tożsamościowa (funkcja identycznościowa, tożsamość, identyczność) – funkcja danego zbioru w siebie, która każdemu argumentowi przypisuje jego samego. Intuicyjnie: funkcja, która „nic nie zmienia”.
|
O co chodzi w tej definicji wyjaśniliśmy sobie zarówno na gruncie teorii zdarzeń (wyżej), jak i na gruncie teorii zbiorów (początek rozdziału)
Ostatnio zmieniony przez rafal3006 dnia Pon 22:08, 06 Maj 2024, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Pon 21:46, 06 Maj 2024 Temat postu: |
|
|
|
Nie pytałem o gada
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:03, 06 Maj 2024 Temat postu: |
|
|
| Irbisol napisał: | | Nie pytałem o gada |
Gad jest tu kluczowy i najważniejszy.
Na dodatek doszła Czarna Mamba - patrz początek postu wyżej.
Prawo Grzechotnika to powszechne prawo w logice matematycznej tzn. jest obecne w dowolnej funkcji n-argumentowej czego dowód masz w punkcie 24.0.
Innymi słowy:
Nie istnieje funkcja logiczna n-argumentowa która by się obroniła przed ukąszeniem Grzechotnika.
Innymi słowy:
Grzechotnik to nadzorca piekła zwanego KRZ tzn. jakąkolwiek funkcję n-argumentową byś nie zapisał to Grzechotnik walnie ją w łeb - tyle z niej zostanie.
Irbisolu, kończę z tobą dyskusję - to już nie ma sensu.
Dzięki za pomoc - pewne jest, że nasza dyskusja przejdzie do historii matematyki.
Ostatnio zmieniony przez rafal3006 dnia Wto 8:14, 07 Maj 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Wto 16:18, 07 Maj 2024 Temat postu: |
|
|
Czyli pytanie z gatunku TAK/NIE rozwaliło algebrę 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: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 18:47, 07 Maj 2024 Temat postu: |
|
|
| Irbisol napisał: | | Czyli pytanie z gatunku TAK/NIE rozwaliło algebrę Kubusia |
Niczego nie rozwaliło.
Dostałeś moją precyzyjną odpowiedź na wszystkie twoje pytania.
Tu nie ma TAK/NIE bo 100% definicji w algebrze Kubusia jest innych niż w potwornie śmierdzącym gównie zwanym KRZ - zrozumiesz to kiedy czy nigdy?
Przykładowo:
Twoje potwornie śmierdzące gówno które zostało wysłane do piekła na wieczne piekielne męki to twoja definicja funkcji tożsamościowej:
f(x)=x
Gdzie:
x - zmienna binarna
Zatem twoja definicja szczegółowa i ostateczna to:
f(1)=1
f(0)=0
Ciekawe kiedy zajarzysz, że twoja definicja funkcji tożsamościowej jest potwornie śmierdzącym gównem, co udowodniłem w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795245
| rafal3006 napisał: | | Funkcja tożsamościowa - tragedia ziemskiej logiki matematycznej! |
P.S.
Zacytuj to swoje pytanie, bo nie wiem co się w twoim schizofrenicznym móżdżku aktualnie urodziło.
Zaznaczam, że z twoimi rojeniami pt. sam sobie znajdź co miałem na myśli - nie zamierzam dyskutować.
Ostatnio zmieniony przez rafal3006 dnia Wto 18:57, 07 Maj 2024, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Wto 19:33, 07 Maj 2024 Temat postu: |
|
|
Nie pytałem o definicję w AK, schizofreniku.
Totalnie nie masz pojęcia, o czym jest mowa.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 33021
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 19:55, 07 Maj 2024 Temat postu: |
|
|
| Irbisol napisał: | Nie pytałem o definicję w AK, schizofreniku.
Totalnie nie masz pojęcia, o czym jest mowa. |
Jak wszyscy widzą - bez kontaktu.
Od kilkudziesięciu chyba stron mowa jest o twojej gówno-definicji funkcji tożsamościowej - już ci się totalnie nóżki poplątały.
Ja obaliłem twoją definicję funkcji tożsamościowej rodem z gówna zwanego KRZ.
Ciekawe kiedy zajarzysz, że twoja definicja funkcji tożsamościowej jest potwornie śmierdzącym gównem, co udowodniłem w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795245
| rafal3006 napisał: | | Funkcja tożsamościowa - tragedia ziemskiej logiki matematycznej! |
Dotrze to kiedy do ciebie, czy nigdy?
Zacytuj to swoje pytanie, bo nie wiem co się w twoim schizofrenicznym móżdżku aktualnie urodziło.
Zaznaczam, że z twoimi rojeniami pt. sam sobie znajdź co miałem na myśli - nie zamierzam dyskutować.
P.S.
Tu masz początek twoich potwornych, schizofrenicznych majaczeń w temacie funkcji tożsamościowej:
Pon 11:13, 19 Lut 2024 Strona 198  ... a teraz mamy stronę: 267
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
| Irbisol napisał: | Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej. |
Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej. |
Funkcja tożsamościowa:
Y = f(x) = x
Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej. |
Ostatnio zmieniony przez rafal3006 dnia Wto 20:12, 07 Maj 2024, w całości zmieniany 11 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14289
Przeczytał: 19 tematów
|
| Wysłany: Śro 8:26, 08 Maj 2024 Temat postu: |
|
|
W ramach tej funkcji tożsamościowej pojawiły się podtematy, które sam zacząłeś a o których już nie masz pojęcia.
A nie masz pojęcia, bo zamiast pisać na temat, pierdzielisz swoje kocopały. Które oczywiście łatwo obalić - ale po kolei. Najpierw odpowiedz na pytanie.
Ostatnio zmieniony przez Irbisol dnia Śro 8:26, 08 Maj 2024, w całości zmieniany 1 raz
|
|
| 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
