Dyskusja na temat algebry Kubusia

Ś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.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Dyskusja na temat algebry Kubusia
Idź do strony Poprzedni 1, 2, 3 ... 74, 75, 76, 77, 78 Następny

Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Pon 18:44, 29 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794605

Irbisol napisał:

Nie piszę o tym, czy "znana mi" czy "nieznana".
Wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Chcesz w tym wytłuszczonym powiedzieć, iż nie jest ważne iż twoja zero-jedynkowa definicja funkcji negacji jest gównem ... bo tak jest w istocie!

Póki co ty masz taką zero-jedynkową definicję funkcji negacji:
Definicja zero-jedynkowa funkcji negacji znana Irbisolowi = czarna dziura
bo póki co jej nie zapisał i nigdy nie zapisze, bo musiałby wbić osikowy kołek prosto w serce swojego gówno-boga zwanego KRZ

Dla każdego oczywistym jest że twoja czarna dziura (tzn. twoje gówno) ma zero wspólnego z algebrą Boole'a.

Irbisolu, przejdźmy do konkretów:
W Wikipedii masz tylko i wyłącznie taką zero-jedynkową definicję:
[link widoczny dla zalogowanych]

Kod:

https://pl.wikipedia.org/wiki/Negacja

Kod:

p ~p
1 0
0 1

Czy to jest wedle ciebie zero-jedynkowa definicja funkcji negacji?
TAK/NIE
Innej odpowiedzi nie akceptuję.

P.S.
Czy kto ma nadzieję, że Irbisol odpowie precyzyjnie na precyzyjne pytanie?
Będzie spieprzał, byle dalej od precyzyjnej odpowiedzi szybciej niż Struś Pędziwiatr - to absolutnie pewne, co wszyscy za chwilkę zobaczą.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Pon 18:59, 29 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794611

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

Nie piszę o tym, czy "znana mi" czy "nieznana".
Wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Chcesz w tym wytłuszczonym powiedzieć, iż nie jest ważne iż twoja zero-jedynkowa definicja funkcji negacji jest gównem ... bo tak jest w istocie!

Chcę ci w tym wytłuszczonym powiedzieć, iż pierniczysz nie na temat.
Tematem jest to, iż wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Totalnie niekumaty jesteś.
By dyskutować, czy dana definicja zero-jedynkowa jest zero-jedynkową definicją funkcji negacji, czy nie jest, trzeba tą definicję jasno i klarownie zapisać - ty nawet tego nie jesteś w stanie zrozumieć, to straszne jak ci gówno zwane KRZ-tem mózg spustoszyło.

Jeszcze raz:
Irbisolu, przejdźmy do konkretów:
W Wikipedii masz tylko i wyłącznie taką zero-jedynkową definicję:
[link widoczny dla zalogowanych]

Kod:

https://pl.wikipedia.org/wiki/Negacja

Kod:

p ~p
1 0
0 1

Czy to jest wedle ciebie zero-jedynkowa definicja funkcji negacji?
TAK/NIE
Innej odpowiedzi nie akceptuję.

P.S.
Czy kto ma nadzieję, że Irbisol odpowie precyzyjnie na precyzyjne pytanie?
Będzie spieprzał, byle dalej od precyzyjnej odpowiedzi szybciej niż struś pędziwiatr - to absolutnie pewne, co wszyscy za chwilkę zobaczą.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 9:08, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794639

Prawo Pytona dla funkcji negacji Y=~p

Prawo Pytona dla funkcji negacji Y=~p:
Poprawny, matematyczny opis funkcji logicznej negacji Y=~p to nie tylko opis wszystkich możliwych wartościowań na wejściu p {p, ~p} tej funkcji, ale przede wszystkim precyzyjna odpowiedź tej funkcji na wyjściu Y zgodna z zero-jedynkową tabelą prawdy funkcji negacji Y=~p

Wniosek z prawa Pytona dla funkcji negacji Y=~p:
Każdy matematyk który twierdzi, że do poprawnego matematycznie opisu funkcji logicznej negacji Y=~p potrzeba i wystarcza zapisać wszystkie możliwe wartościowania na jej wejściu p {p, ~p} jest matematycznym idiotą.

Irbisol napisał:

Mowa nie jest o definicji, funkcjonalny analfabeto, lecz o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Mowa jest o zero-jedynkowej definicji funkcji negacji, a nie o tabeli prawdy negacji jak niżej!

Zapiszmy jedyną znaną matematykom zero-jedynkową definicję negacji:

Kod:

Tabela prawdy negacji (~)
p # ~p
A: 1 # 0
B: 0 # 1
Gdzie:
Dowolna strona znaczka # jest negacją (~) drugiej strony

Zmienna binarna p wymusza tu zmienną binarną ~p i odwrotnie.
Matematycznie:
Może zajść p albo ($) ~p, trzeciej możliwości brak.
Dowód iż mamy tu do czynienia ze spójnikiem „albo”($).
Definicja spójnika „albo”($):
p$q = p*~q + ~p*q
Po podstawieniu q=~p mamy:
p$~p = (p)*~(~p) + ~(p)*(~p) = p*p + ~p*~p = p+~p=1
cnd

Powyższa, zero-jedynkowa tabela prawdy negacji (~p) nie jest (=0) zero-jedynkową definicją funkcji negacji Y=~p z czego wynika, iż powyższa tabela prawdy jest fałszywą (=0) zero-jedynkową definicją funkcji negacji - a skoro jest FAŁSZYWĄ, to nie należy ona do algebry Boole’a.
cnd

Tabela prawdy negacji jest w algebrze Boole’a prawdziwa (jak wyżej), ale mówi ona tylko i wyłącznie o zmiennej binarnej p (a co za tym idzie również o ~p) na wejściu funkcji logicznej Y algebry Boole’a
Oczywistym jest, że wejście funkcji logicznej algebry Boole’a (p, ~p) to co innego niż wyjście funkcji logicznej algebry Boole’a (Y i ~Y).

Każdy matematyk który utożsamia wejście funkcji logicznej algebry Boole’a (p i ~p) z wyjściem Y funkcji logicznej algebry Boole’a (Y i ~Y) jest matematyczny idiotą.
Bardzo łatwo to udowodnić już na poziomie 5-cio latka, co uczynię tuż po łyku teorii w temacie funkcji logicznych jednoargumentowych.

Poprawna teoria funkcji logicznych jednoargumentowych Y=x dostępna jest w cytacie niżej.
Uwaga:
Poniższa teoria jest totalnie nieznana ziemskim matematykom (w tym Irbisolowi), ale „za chwilkę” będzie dostępna w każdym podręczniku matematyki do I klasy LO.

Zacytujmy teraz fragment algebry Kubusia dotyczący funkcji logicznych jednoargumentowych:
"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 napisał:

Spis treści
1.4 Definicja funkcji logicznej jednoargumentowej Y=x 2
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 3
1.5 Funkcje Y=x i operatory Y|=x jednoargumentowe 3
1.5.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 3
1.5.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 4

1.4 Definicja funkcji logicznej jednoargumentowej Y=x

Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.

Zainteresowanym szczegółami polecam teorię operatorów jednoargumentowych w rachunku zero-jedynkowym zawartą w punkcie 20.0

W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}

Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.

Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}

Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0

Zdanie zawsze prawdziwe (Y=1) i zdanie zawsze fałszywe (Y=0) to matematyczne śmieci co udowodniono w pkt. 1.3.1, dlatego te przypadki mało nas interesują.

1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x

Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y

Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

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 logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.3.1.

1.5 Funkcje Y=x i operatory Y|=x jednoargumentowe

Z tabeli wszystkich możliwych operatorów jednoargumentowych zajmiemy się wyłącznie liniami A1A2 i B1B2.

1.5.1 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:

Doskonale tu widać że:
A1:
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A1.
B1:
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1

1.5.2 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:

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

Z powyższej teorii wyłuskajmy zero-jedynkową definicję funkcji logicznej negacji Y=~p bo o niej dyskutuję teraz z Irbisolem, podkładając po nią pod nią konkretny przykład na poziomie 5-cio letniego dziecka.
Zacytujmy ten fragment algebry Kubusia:

Zadanko Kubusia:
Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina

Treść polecenia:
Zapisz w funkcjach logicznych kiedy pani dotrzyma słowa a kiedy skłamie?

Rozwiązanie Jasia, ucznia I klasy LO w 100-milowym lesie.
Niezbędna teoria:

Kod:

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 zmienne wejściowe (pojęcia) K (kino) i ~K (nie kino) nie są zdaniami.

Zdaniami są dopiero funkcje logiczne Y=~K oraz ~Y=K wchodzące w skład operatora negacji Y|=~K
cnd

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

Prawo Pytona dla funkcji negacji Y=~p:
Poprawny, matematyczny opis funkcji logicznej negacji Y=~p to nie tylko opis wszystkich możliwych wartościowań na wejściu p {p, ~p} tej funkcji, ale przede wszystkim precyzyjna odpowiedź tej funkcji na wyjściu Y zgodna z zero-jedynkową tabelą prawdy funkcji negacji Y=~p

Wniosek z prawa Pytona dla funkcji negacji Y=~p:
Każdy matematyk który twierdzi, że do poprawnego matematycznie opisu funkcji logicznej negacji Y=~p potrzeba i wystarcza zapisać wszystkie możliwe wartościowania na jej wejściu p {p, ~p} jest matematycznym idiotą.

Dowód na naszym przykładzie:
Wywalmy z naszego przykładu funkcje Y i ~Y które zdaniem matematycznych idiotów są zbędne i zobaczmy co wówczas będzie się działo.

Weźmy zdanie 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)

Zdaniem matematycznego idioty po wywaleniu w kosmos funkcji logicznej Y (bo idiota dokładnie to robi!) zdanie tożsame jakie pani w przedszkolu ma prawo wypowiedzieć to:
A2”.
Nie kino
~K
Pytanie do idioty:
Czy nadal twierdzisz Idioto że zachodzi gówno tożsamość [=?]
A2: Y=~K [=?] A2”: ~K
Gdzie:
[=?] - znaczek gówno-tożsamości

Identycznie mamy ze zdaniem B2.
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)

Zdaniem matematycznego idioty po wywaleniu w kosmos funkcji logicznej ~Y (bo idiota dokładnie to robi!) zdanie tożsame jakie pani w przedszkolu ma prawo wypowiedzieć to:
B2”.
kino
K
Pytanie do idioty:
Czy nadal twierdzisz Idioto że zachodzi gówno tożsamość [=?]
B2: ~Y=K [=?] B2”: K
Gdzie:
[=?] - znaczek gówno-tożsamości

Ostatnio zmieniony przez rafal3006 dnia Wto 9:33, 30 Kwi 2024, 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 11:00, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794651

Żaden matematyk (łącznie z Irbisolem!) póki co, nie zna zero-jedynkowej definicji funkcji negacji FN: Y=~p
To jest zdecydowanie największa tragedia wszelkich ziemskich logik "matematycznych"

Irbisol napisał:

Znowu pierniczysz nie na temat, schizofreniku.
Mowa jest o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Jak wszyscy widzą, przeczytanie króciótkiego postu ze zrozumieniem jest poza zasięgiem mózgu Irbisola zatopionego w gównie zwanym KRZ

Cytuje kwintesencję postu wyżej:

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!

Wniosek:
Zero-jedynkowa tabela prawdy DN negacji ~p jest fałszywą (=0) zero-jedynkową definicją funkcji negacji FN A2: Y=~p

Irbisol napisał:

Mowa jest o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Kwadratura koła do Irbisola:
Czy fałszywa (=0) zero-jedynkowa definicja funkcji negacji DN: ~p jak wyżej jest częścią algebry Boole'a?
TAK/NIE
Czy kto ma nadzieję że Irbisol odpowie na to pytanie?

Zauważmy, że żaden matematyk (łącznie z Irbisolem!) póki co, nie zna zero-jedynkowej definicji funkcji negacji FN: Y=~p

Ostatnio zmieniony przez rafal3006 dnia Wto 11:13, 30 Kwi 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 12:33, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794665

Ustalmy fakty Irbisolu, bo nie ma nic bardziej upartego od faktów!

Irbisol napisał:

Znowu schizofrenik pierniczy nie na temat.

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

Irbisol widzi tu tak:
Definicja negacji ~p jest jedyną znaną matematykom zero-jedynkową definicją odnoszącą się do znaczka negacji (~).

Wniosek Irbisola:
Wnioskuję z tego, że tabela zero-jedynkowa negacji DN: ~p jest tożsama [=] z tabelą zero jedynkową funkcji negacji FN: Y=~p
Innymi słowy matematycznie zachodzi tu tożsamość [=]:
Zero-jedynkowa definicja negacji DN: ~p [=] Zero-jedynkowa definicja funkcji negacji FN: Y=~p

Oczywistym jest, że wnioskowanie Irbisola jest dowodem, że zarówno zero-jedynkowa definicja negacji DN: ~p w logice matematycznej ziemian, jak i zero-jedynkowa definicja funkcji negacji w logice matematycznej ziemian FN: Y=~p należy do definicji algebry Boole’a.
c.n.d.

Zadowolony?
Czy masz jakieś zastrzeżenia do swojego rozumowania?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 14:35, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794671

Irbisol napisał:

Fakty są takie, że gadasz nie na temat.

Jak nie na temat, jak na temat

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794649

Irbisol napisał:

Znowu pierniczysz nie na temat, schizofreniku.
Mowa jest o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

Fakty wyprowadzone na gruncie logiki matematycznej ziemian w moim poście wyżej przyznają rację ziemskim matematykom i tobie Irbisolu iż matematycznie w logice matematycznej ziemskich matematyków (i twojej logice) zachodzi tożsamość [=].

Zero-jedynkowa definicja negacji DN: ~p w logice matematycznej ziemskich matematyków jest tożsama [=] z zero-jedynkową definicją funkcji negacji FN: Y=~p

Czego jeszcze chcesz schizofreniku?
Przecież udowodniłem na gruncie ziemskiej logiki matematycznej (i twoim gruncie), iż zero-jedynkowa definicja funkcji negacji ziemskich matematyków (i twoja) FN: Y=~p jest częścią składową algebry Boole'a!

Czyż nie o to walczysz do upadłego?

Irbisol napisał:

Mowa jest o tym, że wg ciebie 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 14:38, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794675

Irbisol napisał:

Temat jest o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.

I.
W algebrze Kubusia jest tak:
Zero-jedynkowa definicja negacji DN: ~p jest różna na mocy definicji ## od zero-jedynkowej definicji funkcji negacji FN: Y=~p
Oczywiście na gruncie algebry Kubusia obie te definicje należą do algebry Boole'a

II
W logice ziemskich matematyków (i twojej irbisolu) jest inaczej bo tu zachodzi:
Zero-jedynkowa definicja negacji DN: ~p tożsama [=] z zero-jedynkową definicją funkcji negacji FN: Y=~p
Oczywiście na gruncie logiki matematycznej ziemskich matematyków (i twoim) obie te definicje należą do algebry Boole'a

Coś ci się tu nie podoba?
To sprecyzuj co chcesz obalać I czy II, czyli:
Definicje ziemskich matematyków (i twoją) w kwestii DN: ~p i FN:Y=~p, czy też definicje rodem z algebry Kubusia w tej samej kwestii: DN: ~p i FN: Y=~p

Oczywiście tylko idiota twierdzi, iż definicji się nie obala - tu na 100% się zgadzamy.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 15:13, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794683

Irbisol napisał:

Więc dlaczego twierdzisz, że funkcja negacji nie ma nic wspólnego z algebrą Boole'a?

Ja twierdzę, że definicje zawarte w punkcie II to potwornie śmierdzące gówno (bo definicje DN: ~p i FN: Y=~p są tu wewnętrznie sprzeczne), a nie logika matematyczna - zatem również zero-jedynkowa definicja funkcji logicznej tu zdefiniowana jest potwornie śmierdzącym gównem!
Zatem tylko we łbie wariata należy ona do definicji algebry Boole'a (twoim łbie?)

Czyżbyś twierdził inaczej?
Jeśli tak to udowodnij że punkt II ma matematyczny sens i nie jest potwornie śmierdzącym gównem!

Przypominam punkty I i II:

I.
W algebrze Kubusia jest tak:
Zero-jedynkowa definicja negacji DN: ~p jest różna na mocy definicji ## od zero-jedynkowej definicji funkcji negacji FN: Y=~p
Oczywiście na gruncie algebry Kubusia obie te definicje należą do algebry Boole'a

II
W logice ziemskich matematyków (i twojej irbisolu) jest inaczej bo tu zachodzi:
Zero-jedynkowa definicja negacji DN: ~p tożsama [=] z zero-jedynkową definicją funkcji negacji FN: Y=~p
Oczywiście na gruncie logiki matematycznej ziemskich matematyków (i twoim) obie te definicje należą do algebry Boole'a

Coś ci się tu nie podoba?
To sprecyzuj co chcesz obalać I czy II, czyli:
Definicje ziemskich matematyków (i twoją) w kwestii DN: ~p i FN:Y=~p, czy też definicje rodem z algebry Kubusia w tej samej kwestii: DN: ~p i FN: Y=~p

Oczywiście tylko idiota twierdzi, iż definicji się nie obala - tu na 100% się zgadzamy.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 15:37, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6625.html#794689

Irbisol napisał:

Pisałeś, że funkcja negacji nie ma nic wspólnego z algebrą Boole'a - bez kontekstu definicji.

Rozumiem że nie rozumiałeś tego co pisałem - tego co w moim poście wyżej ja byłem pewien w 100% od zawsze.
Czym innym jest fakt że ja jestem pewnien czegoś na 100%, a fundamantalnie czym innym jest przekonać fanatyka KRZ że sie myli, że nie ma racji

Tu masz przykład supertwardogłowego KRZ-owca:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6475.html#793575
@matematyk szaryobywatel w dyskusji ze mną napisał:
Upośledzenie to nic śmiesznego, niemniej za zasrywanie forum swoim spamem, kompletny brak szacunku dla użytkowników do których krytyki się w ogóle nie odnosisz, tylko zasrywasz dalej tymi samymi bredniami cały czas myśląc że jesteś na tropie czegoś genialnego, powinieneś być trwale wyłączony z dyskusji.

Co do wytłuszczonego:
100% definicji w algebrze Kubusia jest innych, niż w jakiejkolwiek logice matematycznej ziemskich matematyków, więc jak się mam odnosić do krytyki AK z punktu widzenia KRZ?

Odezwa do fanatyków ziemskich logik matematycznych podobnych do szarego obywatela:

Panowie, wasze pojęcie algebry Boole’a rozdmuchane do granic możliwości np. algebra Boole’a zupełna, funkcje kardynalne i inne głupoty nie mają zastosowania w matematycznej obsłudze języka potocznego człowieka, dlatego one mnie totalnie nie interesują.

Dajcie żyć, nie zwalczajcie czegoś (algebry Kubusia), czego totalnie nie rozumiecie w stylu szarego obywatela jak wyżej.

Jeśli chcecie obalać algebrę Kubusia to zapraszam do jej czytania od A do Z.
Algebra Kubusia zostanie obalona wtedy i tylko wtedy gdy znajdziecie jedną, jedyną, wewnętrzną sprzeczność w trakcie jej czytania.

Oczywiście wszelkie niejasności póki żyję, będę wam wyjaśniał.
Rafal3006

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 17:27, 30 Kwi 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794701

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 21:43, 30 Kwi 2024 Temat postu:

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

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:06, 01 Maj 2024, w całości zmieniany 5 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Śro 12:47, 01 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794785

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:

Kod:

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:

Kod:

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.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Czw 8:44, 02 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794847

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

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:08, 02 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Czw 20:54, 02 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794899

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:59, 02 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Pią 10:01, 03 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794911

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:

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

Kod:

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:

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

Kod:

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:

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:22, 03 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Pią 18:03, 03 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#794977

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:18, 04 Maj 2024, 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Sob 17:36, 04 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795085

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:58, 04 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Sob 18:14, 04 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795095

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Pon 17:03, 06 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795245

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:

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:09, 06 Maj 2024, 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Pon 22:22, 06 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795267

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:16, 07 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 18:59, 07 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795353

Irbisol napisał:

Czyli pytanie z gatunku TAK/NIE rozwaliło algebrę Kubusia :rotfl:

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ć.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Wto 20:15, 07 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6650.html#795367

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 :shock:

... 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.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Śro 9:15, 08 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6675.html#795389

Irbisol napisał:

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.

Twoja definicja funkcji tożsamościowej to potwornie śmierdzące gówno.
Przeczytałeś dowód niżej?
TAK/NIE
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!

Teraz uważaj:
Twoje podtematy jakiekolwiek by nie były są totalnie bez znaczenia dopóki nie obalisz mojego dowodu wyżej mówiącego iż funkcja tożsamościowa z KRZ to jedno, wielkie, potwornie śmierdzące gówno
Wyłącznie matematyczny idiota któremu pokaże się ewidentny błąd czysto matematyczny w jego teorii - w funkcji tożsamościowej z KRZ chodzi o matematycznie błędny opis otaczającej nas rzeczywistości - będzie się domagał dyskusji o czymkolwiek, byle nie o jego błędzie czysto matematycznym!
Twoja ucieczka od obalenia mojego dowodu który jest na poziomie 5-cio latka (sic!) jest tu tego przykładem.

Podsumowując:
Dopóki twój mózg nie dorośnie do poziomu 5-cio latka dalsza dyskusja z tobą nie ma sensu.
Wniosek:
Póki co jesteś w żłobku, masz ze dwa latka, musisz poczekać aż dobijesz do lat 5, gdy będziesz w grupie przedszkolnych starszaków - wtedy wznowimy dyskusję.

P.S.
Po kolei to zacytuj swój pierwszy podtemat, bo nie jestem bogiem i nie potrafię czytać co się w twoim schizofrenicznym móżdżku urodziło/rodzi.
Jeśli nie rozumiesz słowa "zacytuj" to żegnam.

Ostatnio zmieniony przez rafal3006 dnia Śro 9:19, 08 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: 32951
Przeczytał: 22 tematy

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

Wysłany: Śro 10:54, 08 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6675.html#795395

Irbisol napisał:

Nic z tego - obowiązuje kolejność.
Nie uciekniesz od tego, co sam rozpocząłeś.

Czekam na odpowiedź na moje pytanie.

Tematem głównym naszej dyskusji jest twoja definicja funkcji tożsamościowej - nie masz szans na ucieczkę od tego tematu w swoje pozatemacie.
Twoja definicja funkcji tożsamościowej to potwornie śmierdzące gówno.
Przeczytałeś dowód niżej?
TAK/NIE
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!

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 32951
Przeczytał: 22 tematy

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

Wysłany: Śro 11:55, 08 Maj 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6675.html#795407

Prawo Grzechotnika - Armagedon wszelkich ziemskich logik matematycznych!
W szczególności niniejszy post jest dowodem totalnego niezrozumienia przez ziemskich matematyków zarówno funkcji tożsamościowej (funkcji transmisji w AK) Y=p, jak i funkcji negacji Y=~p.

"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1124):
[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.

Cytat z algebry Kubusia:

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 4
1.7.2 Prawo Sokoła 5

1.7 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka

Kod:

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

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

Powrót do góry

Wyświetl posty z ostatnich:

	Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia	Wszystkie czasy w strefie CET (Europa) Idź do strony Poprzedni 1, 2, 3 ... 74, 75, 76, 77, 78 Następny
Strona 75 z 78

Skocz do:

Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

Regulamin