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 ... 94, 95, 96 ... 108, 109, 110 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Pon 19:20, 08 Lip 2024 Temat postu:

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

Czy mózg szarego obywatela kiedykolwiek dorośnie do pięt mózgowi 5-cio latka będącego ekspertem AK?
Oto jest pytanie.

szaryobywatel napisał:

Cytat:

Y = (p<=>(p=>p)) = p<=>1 = p*1 + ~p*0 =p

Co się dzieje gdy p = 0?

Brawo, dotarłeś do sedna problemu, do funkcji jednoargumentowej Y=p

Problem w tym, że dla największego nawet obecnego ziemskiego matematyka banalna, jednoargumentowa funkcja logiczna Y=p to ciemna strona księżyca - tzn. ni w ząb nie rozumie w którym kościele dzwony biją.

Wyjaśnienie masz w cytacie niżej:
Zwróć uwagę na prawo Grzechotnika (1.5.4)!
Jeśli nie zrozumiesz cytatu niżej, który cytat biegle rozumie mózg każdego 5-cio latka (oczywiście na przykładzie) to twój mózg szary obywatelu, póki co, nie dorasta do pięt mózgowi każdego 5-cio latka, będącego ekspertem AK.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:

Spis treści
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 1
1.5 Funkcje Y=x i operatory Y|=x jednoargumentowe 1
1.5.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 1
1.5.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 3
1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 4
1.5.4 Prawo Grzechotnika dla funkcji jednoargumentowych 5

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

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ł wejściowy 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

1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p

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

Zauważmy, że jeśli pominiemy nagłówki albo uwzględnimy wyłącznie prawe strony funkcji logicznych Y i ~Y to kolumna A1 będzie tożsama z kolumną B2.

Jeśli uwzględnimy nagłówki to relacja kolumn A1 i B2 nie będzie tożsamościowa mimo że zero-jedynkowo kolumny te są identyczne.
A1: Y=p ## B2: ~Y=p
Gdzie:
## - różne na mocy definicji

Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:

Kod:

OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Tożsama definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice, dodatniej (bo Y) albo ujemnej (bo ~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy prawe strony tych funkcji nie są tożsame.

Kod:

A1: Y= p ## A2: Y=~p
B1:~Y=~p ## B2:~Y= p
Gdzie:
## - różne na mocy definicji

W tabeli OTON widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.

Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##

1.5.4 Prawo Grzechotnika dla funkcji jednoargumentowych

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.

Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.

Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli OTON

Kod:

OTON":
A1: p # B1: ~p
A2: ~p # B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale widać, że w tabeli OTON" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli OTON” zgubiona została kluczowa informacja o tym kiedy zajdzie Y, a kiedy zajdzie ~Y.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Pon 19:21, 08 Lip 2024 Temat postu:

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

Czy mózg szarego obywatela kiedykolwiek dorośnie do pięt mózgowi 5-cio latka będącego ekspertem AK?
Oto jest pytanie.

szaryobywatel napisał:

rafal3006 napisał:

szaryobywatel napisał:

Cytat:

Y = (p<=>(p=>p)) = p<=>1 = p*1 + ~p*0 =p

Co się dzieje gdy p = 0?

Brawo, dotarłeś do sedna problemu, do funkcji jednoargumentowej Y=p

Jaką wartość ma Y gdy p = 0? Ułatwienie, zostaw sobie tylko to:
Y = (p<=>(p=>p))
pomijam że nie rozumiesz co to jest zdanie, wyrażenie, "=".

Jeśli kwestionujesz, iż powyższa funkcja logiczna Y jest tożsama z funkcją:
Y=p
to jesteś matematycznym zerem.
Kwestionujesz?
TAK/NIE

Płaskoziemco, teraz rozmawiamy o algebrze Kubusia z matematycznym podkładem w bramkach logicznych.

Teoria bramek logicznych jest Bogiem (przez duże B) dla algebry Kubusia.
Tu masz dowód czysto matematyczny tego faktu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#706217

rafal3006 napisał:

Algebra Kubusia - matematyka języka potocznego
11.0 Algebra Kubusia w bramkach logicznych

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.5 Definicje spójników logicznych w bramkach logicznych 9
11.5.1 Definicja spójnika „i”(*) i operatora „i”(|*) w bramkach logicznych 10
11.5.2 Definicja spójnika „lub”(+) i operatora „lub”(|+) w bramkach logicznych 11
11.6 Spójniki związane z obsługą zdań warunkowych „Jeśli p to q” 12
11.6.1 Definicja warunku wystarczającego => w bramkach logicznych 12
11.6.2 Definicja warunku koniecznego ~> w bramkach logicznych 13
11.7 Definicje spójników implikacyjnych p|?q w logice dodatniej (bo q) 14
11.7.1 Implikacja prosta p|=>q w bramkach logicznych 16
11.7.2 Implikacja odwrotna p|~>q w bramkach logicznych 17
11.7.3 Równoważność p<=>q w bramkach logicznych 18
11.7.4 Spójnik „albo”($) w bramkach logicznych 20
11.7.5 Definicja „chaosu” (|~~>) w bramkach logicznych 23
11.7.6 Zero-jedynkowa interpretacja znaczka różne na mocy definicji ## 24
11.8 Dowód poprawności algebry Kubusia w funkcjach logicznych 25
11.8.1 Prawo Grzechotnika - Armagedon ziemskiego rachunku zero-jedynkowego 27

Uważaj płaskoziemco, obalisz choć jedną linijkę z punktu 11.0 kasuję AK
Algebra Kubusia jest weryfikowalna w laboratorium bramek logicznych.
Chodzi tu przede wszystkim o obsługę zdań warunkowych „Jeśli p to q” w spójnikach:
~~> - element wspólny zbiorów lub zdarzenie możliwe
=> - warunek wystarczający
~> - warunek konieczny

Masz dokładnie to samo co w moim poście wyżej, lecz na przykładzie zrozumiałym dla każdego 5-cio latka.

Szary obywatelu, kiedy twój mózg dobije to poziomu 5-cio latka?

Algebra Kubusia napisał:

Spis treści
1.7 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka 2
1.7.1 Dowód prawa Grzechotnika na poziomie przedszkola 5
1.7.2 Prawo Sokoła 6

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

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:

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:

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: 34703
Przeczytał: 24 tematy

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

Wysłany: Pon 19:22, 08 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Ty z nikim nie rozmawiasz tylko przeklejasz w kółko swój bełkot i deklarujesz że ten bełkot ma coś wspólnego z logiką. Ja przeprowadzam eksperymenty na Twoim stolcu pomiędzy uszami sprawdzając jak zareaguje. Teraz przerosło Cię proste pytanie na które odpowiedziałby przedszkolak. Z reguły gdy tak jest to wklejasz ten spis "treści".

Stolcu międzyuszny, jesteś totalnym matematycznym zerem bo kwestionujesz tożsamość funkcji logicznych Y:
Y=(p<=>(p=>p)) <=> Y=((p<=>p)=>p) <=> Y=p
Gdzie na mocy prawa Irbisa zachodzi tożsamość znaczków:
"<=>" = "="
Jeśli tego nie rozumiesz to udaj się po nauki do Irbisola, który jako pierwszy ziemianin zaakceptował powyższą tożsamość znaczków.

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

rafal3006 napisał:

Czy mózg szarego obywatela kiedykolwiek dorośnie do pięt mózgowi 5-cio latka będącego ekspertem AK?
Oto jest pytanie.

szaryobywatel napisał:

rafal3006 napisał:

szaryobywatel napisał:

Cytat:

Y = (p<=>(p=>p)) = p<=>1 = p*1 + ~p*0 =p

Co się dzieje gdy p = 0?

Brawo, dotarłeś do sedna problemu, do funkcji jednoargumentowej Y=p

Jaką wartość ma Y gdy p = 0? Ułatwienie, zostaw sobie tylko to:
Y = (p<=>(p=>p))
pomijam że nie rozumiesz co to jest zdanie, wyrażenie, "=".

Jeśli kwestionujesz, iż powyższa funkcja logiczna Y jest tożsama z funkcją:
Y=p
to jesteś matematycznym zerem.
Kwestionujesz?
TAK/NIE

Odpowiedz na wytłuszczone pytanie stolcu międzyuszny.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Pon 19:50, 08 Lip 2024 Temat postu:

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

Twierdzenia debila!

szaryobywatel napisał:

Cytat:

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.

A czy to zdanie:
Y <-> (p -> p)
to w AK to samo co:
p -> p
?

Nie!
To zdecydowanie nie to samo!
Widzę, że zacząłeś czytać o prawie Grzechotnika.
Jak przeczytasz końcowy cytat w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7850.html#806315
To na 100% zrozumiesz dlaczego:
Y=K
to fundamentalnie co innego niż samo K
K
Życzę powodzenia.

Wracając do twojej funkcji logicznej którą zapisałeś:
Y = p=>p = ~p+p
Czyli:
Y = ~p+p =1

Jaka jest wartość matematyczna takich twierdzeń matematycznych?

Twierdzenia debila:
1.
Dowolny trójkąt jest prostokątny lub nie jest prostokątny
Y = TP+~TP =1
2.
Dowolny trójkąt jest równoboczny lub nie jest równoboczny
Y = TR + ~TR =1
3.
Dowolny prostokąt jest prostokątem lub nie jest prostokątem
Y = PR + ~PR =1

Oczywiście wszystkie twierdzenia debila są prawdziwe.
Pytam jaka jest ich wartość w matematyce klasycznej?
Co one definiują?!
Czy twierdzenie 1 definiuje trójkąt prostokątny?
Czy twierdzenie 2 definiuje trójkąt równoboczny?
Czy twierdzenie 3 definiuje prostokąt?

Czy już rozumiesz dlaczego twierdzenia 1, 2, 3 w algebrze Kubusia są twierdzeniami debila?
TAK/NIE

Podsumowujac:
Zdania zawsze prawdziwe typu:
Y=p+~p =1
są debilizmem zarówno w matematyce jak i języku potocznym

Zgadzasz się z tym faktem?
TAK/NIE

Ostatnio zmieniony przez rafal3006 dnia Pon 21:39, 08 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Pon 22:51, 08 Lip 2024 Temat postu:

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

Irbisol napisał:

Spierdalacz, odpowiedz na pytanie szarego:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7850.html#806305

Nie ma z tym problemu ale!
Nie zamierzam otwierać nowych wątków dopóki szary nie wypowie się w temacie matematycznych twierdzeń debila poruszonych w moim poście wyzej.
Najpierw wy, płaskoziemcy musicie zrozumieć fundamenty logiki (twierdzenia debila) byśmy mogli iść gdziekolwiek indziej.

P.S.
Szary to tchórz - twierdzę że już tu się nie pojawi - przeraziły go twierdzenia debila:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7850.html#806383

rafal3006 napisał:

Twierdzenia debila!

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 0:26, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Masz:
Jaką wartość ma Y gdy p = 0? Ułatwienie, zostaw sobie tylko to:
Y = (p<=>(p=>p))
pomijam że nie rozumiesz co to jest zdanie, wyrażenie, "=".

To swoje ułatwienie zapisz sobie na papierku toaletowym i pupcię podetrzyj.
Ja minimalizuję funkcję logiczną Y na bazie teorii bramek logicznych.
Y = (p<=>p)=>p = ~(p<=>p)+p = p*~p + ~p*p +p =p
Wolno mi, czy twoje gówno zwane KRZ mi tego zakazuje?

Stąd po minimalizacji mamy:
Y=p
Pytasz mnie jaka będzie odpowiedź funkcji logicznej Y=p jeśli na jej wejściu ustawimy p=0?
Moja odpowiedź brzmi:
~Y=1
... i co, zatkało kakao?

Ostatnio zmieniony przez rafal3006 dnia Wto 11:11, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 7:17, 09 Lip 2024 Temat postu:

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

Logika zero-jedynkowa to język matematycznych głąbów nie znających praw Prosiaczka!
.. i co, zatkało kakao?

szaryobywatel napisał:

A ja pytałem o Y, a nie o ~Y.

No i tu dochodzimy do sedna sprawy.
Język potoczny 5-cio latków i humanistów nie widzi ani jednego zera, widzi tylko i wyłącznie tabele symboliczne gdzie wszystkie zmienne i stałe binarne sprowadzone są do logicznych jedynek na mocy praw Prosiaczka
Innymi słowy:
Język potoczny wszelkie zera ma w głębokim poważaniu czyli w dupie na mocy praw Prosiaczka.

I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Fałsz (=0) w logice dodatniej (bo p) jest tożsamy z prawdą (=1) w logice ujemnej (bo ~p)
(p=0) = (~p=1)
Gdzie:
## - różne na mocy definicji

Prawa Prosiaczka możemy stosować wybiórczo w stosunku do dowolnej zmiennej lub stałej binarnej.

Drugie prawo Prosiaczka umożliwia zamianę logiki zero jedynkowej {1, 0} na logikę symboliczną {p, ~p} gdzie nie ma ani jednego zera!
Drugie prawo Prosiaczka umożliwia też przejście odwrotne, czyli od logiki symbolicznej {p, ~p} do logiki zero-jedynkowej {1, 0}

O co chodzi w języku potocznym wyjaśnia poniższa tabela:

Kod:

Doskonale widać że:
Linia A:
A1: p=1 <=> A5: p=1 - tu jest p=1, zatem zmiennej p nie musimy sprowadzać do jedynki
A3: Y=1 <=> Y6: Y=1 - tu jest Y=1, zatem zmiennej Y nie musimy sprowadzać do jedynki
Linia B:
B1: p=0 <=> B5: ~p=1 - drugie prawo Prosiaczka, sprowadzenie zmiennej p=0 do jedynki
B3: Y=0 <=> B6: ~Y=1 - drugie prawo Prosiaczka, sprowadzenie zmiennej Y=0 do jedynki

Podsumowując:
Logika zero-jedynkowa to język matematycznych głąbów nie znających praw Prosiaczka!

Jak działa logika 5-cio latków i humanistów w praktyce.
Udajmy się po nauki do przedszkola, do ekspertów algebry Kubusia.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia 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 6

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

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:

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

Ostatnio zmieniony przez rafal3006 dnia Wto 14:14, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 13:18, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Pytałeś jakie znaczenie mają dla matematyków tautologie typu:
p => p czy p => (p => p)
o tyle istotne, o ile istotna jest logika w ogóle jako metateoria teorii matematycznej.

Czyli w AK jeśli:
~Y = 1
to wtedy Y ma niezdefiniowaną wartość?

Nie wiem co to jest metateoria i gówno mnie to obchodzi.
Twoja wypowiedź, na gruncie AK jest gównem od A do Z, w szczególności to wyłuszczone wyżej jest gównem do potęgi nieskończonej.

Właśnie poprawiłem początek mojego cytatu wyżej, bo to co jest oczywistością dla mnie, nie musi być oczywistością dla ciebie szaryobywatelu.

Czy teraz początek mojego postu wyżej jest jaśniejszy?
Jeśli nie to napisz czego nie rozumiesz, co kwestionujesz?

Zauważ, że prawa Prosiaczka stosują podświadomie absolutnie wszyscy matematycy, nie wiedząc o tym.

Mogę ci to udowodnić.
Czy mam to zrobić?

P.S.
1.
Czy jeśli ci udowodnię że prof. L. Newelski stosuje prawa Prosiaczka nie wiedząc o tym - to czy ten argument będzie dla ciebie wystarczający?
Ludomir Newelski (ur. 1960) – polski matematyk, profesor Uniwersytetu Wrocławskiego, specjalizujący się w algebrze i podstawach matematyki, zwłaszcza teorii modeli i teorii mnogości.
2.
Czy jeśli ci udowodnię, że prof. Newelski który nie zna pojęć logika dodatnie (bo Y) i ujemna (bo ~Y) popełnia w swoim podręczniku matematyki dla studentów matematyki, czysto matematyczny błąd fatalny - to czy ten argument będzie dla ciebie wystarczający ... bo posłać KRZ do piekła na wieczne piekielne męki, oczywiście.

Dokładnie w tym podręczniku jest błąd fatalny generowany w logice matematycznej przez brak logiki ujemnej (bo ~Y):
[link widoczny dla zalogowanych]
Wstęp do matematyki
Ludomir Newelski

Ostatnio zmieniony przez rafal3006 dnia Wto 13:19, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 14:10, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Cytat:

Nie wiem co to jest metateoria i gówno mnie to obchodzi

No właśnie w tym jest problem że gówno Cię obchodzi i potem nic nie rozumiesz.

P.S.
1.
Czy jeśli ci udowodnię że prof. L. Newelski stosuje prawa Prosiaczka nie wiedząc o tym - to czy ten argument będzie dla ciebie wystarczający?
Ludomir Newelski (ur. 1960) – polski matematyk, profesor Uniwersytetu Wrocławskiego, specjalizujący się w algebrze i podstawach matematyki, zwłaszcza teorii modeli i teorii mnogości.
2.
Czy jeśli ci udowodnię, że prof. Newelski który nie zna pojęć logika dodatnie (bo Y) i ujemna (bo ~Y) popełnia w swoim podręczniku matematyki dla studentów matematyki, czysto matematyczny błąd fatalny - to czy ten argument będzie dla ciebie wystarczający ... bo posłać KRZ do piekła na wieczne piekielne męki, oczywiście.

Dokładnie w tym podręczniku jest błąd fatalny generowany w logice matematycznej przez brak logiki ujemnej (bo ~Y):
[link widoczny dla zalogowanych]
Wstęp do matematyki
Ludomir Newelski

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 15:42, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Powiem tak: gdybyś na moment zamknął jadaczkę i posłuchał kogoś innego niż siebie, to wytłumaczyłbym Ci skąd Twoje niezrozumienie się bierze. Pomógł bym Ci w tworzeniu AK.

Zero szans, bo najpierw musiałbyś zacząć czytać AK od zera, bo 100% definicji mamy innych.
Ty z definicji wykluczasz choćby przeczytanie kilku początkowych stron AK do prawa Grzechotnika włącznie.
Miałem w podstawowym podręczniku nie atakować prof. L. Newelskiego by nie robić sobie wrogów wśród matematyków.
Po dyskusji z tobą zamieszczę dowód iż prof. L. Newelski popełnia fatalny błąd czysto matematyczny, wierząc że jest matematykiem na poziomie i za znalezienie błędu "nie utnie mi głowy".
Zresztą, ty jesteś zawodowym matematykiem i to ty mnie przekonałeś, że powinienem napisać o błędzie fatalnym prof. L. Newelskiego.
Oczywiście narobię sobie wrogów wśród fanatyków KRZ, podobnych tobie, ale to bez znaczenia - AK jest logiką matematyczną perfekcyjnie znaną w praktyce przez każdego 5-cio latka - ziemscy matematycy musieliby być idiotami, by nie zrozumieć AK.
KRZ ma wielu wrogów wśród samych matematyków przy zdrowych zmysłach, spotkałem takich w mojej 18 letniej dyskusji.
Dla mnie liczą się wyłącznie matematycy na poziomie, wrogo nastawieni do KRZ z definicji.
Fanatycy KRZ, tobie podobni, mnie nie interesują - nigdy nie znajdziemy wspólnego języka.
W następnym poście napiszę o błędzie prof. L. Newelskiego - myślę, że na pewno zrozumie swój błąd a kto wie, może przejdzie do obozu algebry Kubusia?

Ostatnio zmieniony przez rafal3006 dnia Wto 18:32, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 15:46, 09 Lip 2024 Temat postu:

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

Algebra Kubusia - matematyka języka potocznego
32.0 Błąd fatalny w podręczniku akademickim matematyki

Spis treści
32.0 Błąd fatalny w podręczniku akademickim matematyki 1
32.1 Jak udowodnić błędność dowodu prof. L. Newelskiego? 3
32.2 Geneza błędu czysto matematycznego prof. L. Newelskiego w oryginale 4
32.2.1 Poprawny matematycznie dowód prof. L. Newelskiego w oryginale 6
32.2.2 Igraszki masochistów dla funkcji Y 12
32.2.2 Igraszki masochistów dla funkcji ~Y 15

32.0 Błąd fatalny w podręczniku akademickim matematyki

Niniejszy punkt nawiązuje do prawa Małpki omówionego w punkcie 1.15.1
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680047

Przepraszam prof. Ludomira Newelskiego za znalezienie błędu czysto matematycznego w jego dowodzie prawa Małpki w podręczniku akademickim dla studentów I roku matematyki "Wstęp do matematyki".

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)

Dowód prawa Małpki (Uwaga 2.7) w podręczniku „Wstęp do matematyki” autorstwa prof. L. Newelskiego.
[link widoczny dla zalogowanych]

Cytuję słowo w słowo dowód prawa Małpki w wykonaniu prof. L. Newelskiego na prostszym przykładzie, co jest bez znaczenia:
1.
Załóżmy tabelę zero-jedynkową z dwoma zmiennymi wejściowymi {p,q} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q)

Kod:

p q Y
A: 1 1 1
B: 1 0 0
C: 0 0 1
D: 0 1 0

2.
Z tabeli odczytujemy, że funkcja logiczna Y przyjmuje wartość logiczną 1 wtedy i tylko wtedy gdy:
2: Y=1 <=> A: p=1 i q=1 lub C: p=0 i q=0
3.
Zatem funkcja logiczna Y opisująca tą tabelę to:
3: Y= A: p*q + C: ~p*~q
co w logice jedynek oznacza:
Y=1 <=> A: p=1 i q=1 lub C: ~p=1 i ~q=1
która jest w postaci alternatywno-koniunkcyjnej

Uwagi Rafala3006:
a)
W przejściu z punktu 2 do 3 prof. L. Newelski nie podał studentom podstawy matematycznej przejścia z 2 do 3.
Ta podstawa matematyczna to prawa Prosiaczka, które możemy stosować wybiórczo do dowolnej zmiennej binarnej
I Prawo Prosiaczka:
(p=1)=(~p=0)
##
II Prawo Prosiaczka:
(p=0) = (~p=1)
Gdzie:
## różne na mocy definicji

b)
Naturalną logiką człowieka są równania alternatywno-koniunkcyjne powstałe wtedy i tylko wtedy gdy na mocy II prawa Prosiaczka wszystkie zmienne binarne w dowolnej tabeli zero-jedynkowej sprowadzimy do jedynek.
Alternatywnie, na mocy I prawa Prosiaczka wszystkie zmienne w tabeli zero-jedynkowej możemy sprowadzić do zera otrzymując totalnie niezrozumiałe przez człowieka równania koniunkcyjno-alternatywne.

Ciąg dalszy algorytmu prof. L. Newelskiego:

4.
Przypuśćmy dla przykładu, że funkcja ~Y jest równoważna funkcji:
4: ~Y = A: p*q + C: ~p*~q

Uwaga Rafała3006:
W przejściu z punktu 3 do 4 jest błąd czysto matematyczny bo:
3: Y= A: p*q + C: ~p*~q
4: ~Y = A: p*q + C: ~p*~q
Funkcja logiczna 4 nie jest negacją funkcji logicznej 3 bo w funkcji 4 brakuje negacji prawej strony!

Ciąg dalszy algorytmu prof. L. Newelskiego:
5.
Wówczas funkcja Y jest równoważna funkcji:
Y = ~(p*q+~p*~q)
Na mocy prawa De Morgana mamy:
Y = ~(p*q)*~(~p*~q)
Kolejny raz stosujemy prawo De Morgana
5: Y = (~p+~q)*(p+q)
Ostatnia funkcja jest już postaci koniunkcyjno-alternatywnej.

Funkcja logiczna 5 u prof. L. Newelskiego jest błędna bo:
Wejściowa funkcja alternatywno-koniunkcyjna jest taka:
3: Y= (p*q) + (~p*~q)
Przejście do logiki ujemnej (bo ~Y) metodą skróconą poprzez negację zmiennych i wymianę spójników.
5’: ~Y = (~p+~q)*(p+q)

Tymczasem prof. L. Newelski zapisuje tu:
5: Y = (~p+~q)*(p+q)
Błąd czysto matematyczny widać tu jak na dłoni:
Funkcja logiczna 5 nie jest negacją funkcji logicznej 3
cnd

Geneza błędu prof. L. Newelskiego:
Ziemska logika matematyczna nie zna pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).
Dokładnie dlatego prof. L. Newelski nie jest w stanie zapisać tu poprawnej matematycznie funkcji logicznej 5’ w logice ujemnej (bo ~Y)

32.1 Jak udowodnić błędność dowodu prof. L. Newelskiego?

Dowód prawa Małpki bez tabel zero-jedynkowych

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)

Definicja równoważności p<=>q w spójnikach "i"(*) i "lub"(+):
Y = p<=>q = p*q+~p*~q

Dowód prawa Małpki na naszym przykładzie równoważności:
Y = p<=>q = p*q+~p*~q
jest trywialny o ile skorzystamy z algorytmu przejścia do logiki przeciwnej autorstwa Wuja Zbója.

Zaczynamy od definicji równoważności Y=p<=>q w spójnikach „i”(*) i „lub”(+):
1: Y = p*q + ~p*~q

Algorytm Wuja Zbója przejścia do logiki przeciwnej:
a)
Uzupełniamy brakujące nawiasy i spójniki:
Y = (p*q)+(~p*~q) - postać alternatywno-koniunkcyjna (alternatywa koniunkcji)
b)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
2: ~Y = (~p+~q)*(p+q) - postać koniunkcyjno-alternatywna (koniunkcja alternatyw)
Koniec algorytmu Wuja Zbója

Zauważmy że:
Jeśli wymnożymy wielomian 2 to otrzymamy tożsamą do niego postać alternatywno-koniunkcyjną.
Zróbmy to:
~Y = (~p+~q)*(p+q) = ~p*p + ~p*q + ~q*p + ~q*q = 0 + ~p*q + p*~q + 0 = p*~q + ~p*q
3: ~Y = p*~q + ~p*q - postać alternatywno-koniunkcyjna (alternatywa koniunkcji)

Dla funkcji logicznej 3 ponownie korzystamy z algorytmu Wuja przechodząc do logiki dodatniej:
Mamy:
3: ~Y = (p*~q) + (~p*q)
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
4: Y = (~p+q)*(p+~q) - funkcja koniunkcyjno-alternatywna (koniunkcja alternatyw)

Stąd mamy:

Kod:

T1
Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik
w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
1: Y = p* q + ~p*~q <=> 4: Y = (~p+ q)*(p+~q)
# #
3: ~Y = p*~q + ~p* q <=> 2: ~Y = (~p+~q)*(p+ q)
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negację drugiej

W tak bajecznie prosty sposób udowodniliśmy prawo Małpki bez użycia tabel zero-jedynkowych.

Doskonale tu widać matematyczny błąd fatalny prof. L. Newelskiego, który zapisał:
1: Y=p*q+~p*~q [=] 2: Y=(~p+~q)*(p+q)
cnd

Podsumowanie:
W podręczniku akademickim „Wstęp do matematyki” jest błąd czysto matematyczny bowiem zapisano w nim tożsamość logiczną:
p*q+~p*~q = (~p+~q)*(p+q)
W świecie rzeczywistym powyższa tożsamość nie zachodzi co wyżej udowodniliśmy.
Innymi słowy:
Miejsce dowodu z podręcznika akademickiego jest w koszu na śmieci.

32.2 Geneza błędu czysto matematycznego prof. L. Newelskiego w oryginale

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)

Dowód prawa Małpki w wykonaniu prof. L. Newelskiego (Uwaga 2.7)
[link widoczny dla zalogowanych]

Weźmy dowód prof. L. Newelskiego w oryginale cytowany słowo w słowo:
1.
Załóżmy tabelę zero-jedynkową z trzema zmiennymi wejściowymi {p,q,r} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q,r)

Kod:

p q r Y=?
A: 0 0 0 0
B: 0 0 1 1
C: 0 1 0 1
D: 0 1 1 0
E: 1 0 0 0
F: 1 0 1 1
G: 1 1 0 0
H: 1 1 1 0

2.
Z tabelki odczytujemy że funkcja logiczna Y przyjmuje wartość logiczną 1 wtedy i tylko wtedy gdy:
Y=1 <=> B: p=0 i q=0 i r=1 lub C: p=0 i q=1 i r=0 lub F: p=1 i q=0 i r=1
3.
Zatem funkcja logiczna Y w postaci alternatywno-koniunkcyjnej to:
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
co w logice jedynek oznacza:
Y=1 <=> B: ~p=1 i ~q=1 i r=1 lub C: ~p=1 i q=1 i ~r=1 lub F: p=1 i ~q=1 i r=1

Uwagi Rafala3006:
a)
W przejściu z punktu 2 do 3 prof. L. Newelski nie podał studentom podstawy matematycznej przejścia z 2 do 3.
Ta podstawa matematyczna to prawa Prosiaczka, które możemy stosować wybiórczo do dowolnej zmiennej binarnej
I Prawo Prosiaczka:
(p=0) = (~p=1
##
II Prawo Prosiaczka:
(p=1)=(~p=0)
Gdzie:
## różne na mocy definicji
b)
Naturalną logiką człowieka są równania alternatywno-koniunkcyjne powstałe wtedy i tylko wtedy gdy na mocy I prawa Prosiaczka wszystkie zmienne binarne w dowolnej tabeli zero-jedynkowej sprowadzimy do jedynek.
Alternatywnie, na mocy II prawa Prosiaczka wszystkie zmienne w tabeli zero-jedynkowej możemy sprowadzić do zera otrzymując totalnie niezrozumiałe przez człowieka równania koniunkcyjno-alternatywne.

Ciąg dalszy algorytmu prof. L. Newelskiego:

4.
Przypuśćmy dla przykładu że funkcja ~Y jest równoważna funkcji:
4: ~Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r

Uwaga Rafała3006:
W przejściu z punktu 3 do 4 jest błąd czysto matematyczny bo:
Funkcja wejściowa w logice dodatniej (bo Y) jest taka:
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
Natomiast punkt 4 u prof. L. Newelskiego to błąd czysto matematyczny bo:
4: ~Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
Funkcja logiczna 4 nie jest negacją funkcji logicznej 3 bo nie zanegowano dodatkowo prawej strony!

5.
Wówczas funkcja Y jest równoważna funkcji:
Y = ~(B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r)
Stosując serię praw De Morgana dla prawej strony otrzymujemy:
5: Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)

Oczywistym jest, że w przejściu z 3 do 4 jest błąd czysto matematyczny.
Dowód:
Wejściowa funkcja alternatywno-koniunkcyjna jest taka:
3: Y = (~p*~q*r) + (~p*q*~r) + (p*~q*r)
Przejście do logiki ujemnej (bo ~Y) metodą skróconą poprzez negację zmiennych i wymianę spójników
5’. ~Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)

Tymczasem prof. Nwewelski pisze tu:
5: Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)
Błąd czysto matematyczny widać tu jak na dłoni bowiem w punkcie 5 prof. L. Newelski powinien zapisać funkcję logiczną w logice ujemnej (bo ~Y), czego nie robi … bo nie zna definicji funkcji logicznej Y w logice ujemnej (bo ~Y), co jest tożsame z faktem, iż nie wie że dowolną funkcję logiczną Y=f(x) możemy tylko i wyłącznie dwustronnie zanegować.

Innymi słowy:
To jest poprawny zapis prof. Newelskiego:
3.
Zatem funkcja logiczna Y w postaci alternatywno-koniunkcyjnej to
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r

… a to jest błąd fatalny prof. Newelskiego:
4.
Przypuśćmy dla przykładu że funkcja ~Y jest równoważna funkcji:
4: ~Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
cnd

Geneza błędu prof. L. Newelskiego:
Ziemska logika matematyczna nie zna pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).
Dokładnie dlatego prof. L. Newelski nie jest w stanie zapisać tu poprawnej matematycznie funkcji logicznej 5’ w logice ujemnej (bo ~Y)
5’. ~Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)

32.2.1 Poprawny matematycznie dowód prof. L. Newelskiego w oryginale

I.
(*) - spójnik „i”(*) z języka potocznego człowieka
Znaczek tożsamy w matematyce:
(*) - znaczek koniunkcji
Znaczek tożsamy w technice:
(*) - bramka logiczna AND

Definicja zero-jedynkowa spójnika „i”(*):

Kod:

p q Y=p*q
A: 1* 1 =1
B: 1* 0 =0
C: 0* 1 =0
D: 0* 0 =0
Definicja spójnika „i”(*) w logice jedynek:
Y=1 <=> p=1 i q=1
inaczej:
Y=0
Definicja spójnika „i”(*) w logice zer:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

Uwaga:
Przy wypełnianiu tabel zero-jedynkowych w rachunku zero-jedynkowym nie ma znaczenia którą logiką będziemy się posługiwać. W przypadku spójnika „i”(*) użycie logiki jedynek jest najszybszym sposobem wypełnienia wynikowej kolumny zero-jedynkowej.

II.
(+) - spójnik „lub”(+) z języka potocznego człowieka
Znaczek tożsamy w matematyce:
(+) - znaczek alternatywy
Znaczek tożsamy w technice:
(+) - bramka logiczna OR

Definicja zero-jedynkowa spójnika „lub”(+):

Kod:

p q Y=p+q
A: 1+ 1 =1
B: 1+ 0 =1
C: 0+ 1 =1
D: 0+ 0 =0
Definicja spójnika „lub”(+) w logice jedynek:
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
Definicja spójnika „lub”(+) w logice zer:
Y=0 <=> p=0 i q=0
Inaczej:
Y=1

Uwaga:
Przy wypełnianiu tabel zero-jedynkowych w rachunku zero-jedynkowym nie ma znaczenia którą logiką będziemy się posługiwać. W przypadku spójnika „lub”(+) użycie logiki zer jest najszybszym sposobem wypełnienia wynikowej kolumny zero-jedynkowej.

Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)

Poprawny dowód prof. L. Newelskiego powinien wyglądać tak:

Załóżmy tabelę zero-jedynkową z trzema zmiennymi wejściowymi {p,q,r} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q,r)

Kod:

T1
p q r Y=?
A: 0 0 0 0
B: 0 0 1 1
C: 0 1 0 1
D: 0 1 1 0
E: 1 0 0 0
F: 1 0 1 1
G: 1 1 0 0
H: 1 1 1 0

Definicja pełnej tabeli zero-jedynkowej:
Pełna tabela zero-jedynkowa układu logicznego (bramka logiczna) to zero-jedynkowy zapis wszystkich sygnałów wejściowych w postaci niezanegowanej (p, q, r..) i zanegowanej (~p, ~q, ~r..) oraz zapis wyjścia Y również w postaci niezanegowanej (Y) i zanegowanej (~Y).

Algorytm przejścia z dowolnej tabeli zero-jedynkowej do jej opisu w spójnikach „i”(*) i „lub”(+):

Definicja standardu dodatniego w języku potocznym człowieka:
W języku potocznym ze standardem dodatnim mamy do czynienia wtedy i tylko wtedy gdy wszelkie przeczenia w zdaniach są uwidocznione w kodowaniu matematycznym tych zdań.
Inaczej mamy do czynienia ze standardem ujemnym lub mieszanym.

1.
Tworzymy pełną definicję tabeli zero-jedynkowej, czyli:
Zapisujemy wszelkie zmienne po stronie wejścia p,q,r w postaci niezanegowanej i zanegowanej.
Do wyjścia Y również dopisujemy postać zanegowaną ~Y
W powstałej tabeli tworzymy równania cząstkowe dla wszystkich linii.

2.
SD - standard dodatni w języku potocznym człowieka = logika jedynek
W logice jedynek opisujemy wyłącznie jedynki gdzie w poziomie używamy spójnika „i”(*) zaś w pionie spójnika „lub”(+)
Logika jedynek prowadzi do równań alternatywno-koniunkcyjnych zgodnych z naturalną logika matematyczną człowieka, co oznacza, że będą one rozumiane w języku potocznym przez wszystkich ludzi, od 5-cio latka poczynając.

3.
SU - standard ujemny (niezrozumiały dla człowieka) = logika zer
W logice zer opisujemy wyłącznie zera gdzie w poziomie używamy spójnika „lub”(+) zaś w pionie spójnika „i”(*)
Logika zer prowadzi do równań koniunkcyjno-alternatywnych totalnie niezrozumiałych w języku potocznym. Z tego względu zawsze wymnażamy wielomian koniunkcyjno-alternatywny przechodząc do tożsamej postaci alternatywno-koniunkcyjnej.

Przykładowy, poprawny dowód prof. L. Newelskiego jest następujący:
1.
Zapiszmy pełną tabelę zero-jedynkową dla czterech zmiennych binarnych {p,q,r,Y):

Kod:

I.
Układ równań logicznych Y i ~Y w logice jedynek:
1.
Y = Yb+Yc+Yf
Po rozwinięciu mamy:
Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
2.
~Y = ~Ya+~Yd+~Ye+~Yg+~Yh
Po rozwinięciu mamy:
~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r

Matematycznie na 100% zachodzą tożsamości logiczne:
1: Y = 2: ~(~Y)
1: ~(Y) = 2: ~Y
Powyższych tożsamości nie musimy sprawdzać, gwarantuje je algebra Boole’a.

II.
Układ równań logicznych Y i ~Y w logice zer:
3.
Y = Ya*Yd*Ye*Yg*Yh
Po rozwinięciu mamy:
Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)
4.
~Y=~Yb*~Yc*~Yf
Po rozwinięciu mamy:
~Y = B: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Matematycznie na 100% zachodzą tożsamości logiczne:
3: Y = 4: ~(~Y)
3: ~(Y) = 4: ~Y
Powyższych tożsamości nie musimy sprawdzać, gwarantuje je algebra Boole’a.

Zadanie dla masochistów:
Udowodnij, iż w tabeli T1 (a tym samym w T2) zachodzą prawa Małpki:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

Oraz:
2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Gdzie:
[=] - znaczek tożsamości logicznej

Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej wymusza [=] fałszywość drugiej strony

W algebrze Kubusia zachodzą tożsamości znaczków:
<=>, „=”, [=] - tożsame znaczki tożsamości logicznej

Jako że nigdy nie byłem masochistą udowodnię tylko matematyczne związki między funkcjami minimalnymi w logice jedynek i w logice zer - resztę pozostawiam masochistom albo komputerowi (łatwy do napisania program).

Zauważmy, że w logice jedynek najprostszą funkcją logiczną jest funkcja 1:
1.
Y = A: ~p*~q*r + C: ~p*q*~r + p*~q*r

Natomiast w logice zer najprostszą funkcją logiczną jest funkcja 4:
4.
~Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)

Jeśli odpowiednie funkcje w logice jedynek i w logice zer są tożsame tzn.
Y (logika jedynek) = Y (logika zer)
~Y (logika jedynek) =~Y (logika zer)
to musi zachodzić:
1: Y = Yb+Yc+Yf (logika jedynek) # 4: ~Y=~Yb*~Yc*~Yf (logika zer)
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony

Prawo podwójnego przeczenia:
Y = ~(~Y)
stąd:
Matematycznie musi zachodzić tożsamość logiczna [=]:
1: Y = Yb+Yc+Yf (logika jedynek) [=] 4’: Y = ~(~Y=~Yb*~Yc*~Yf (logika zer))

Zbadajmy w rachunku zero-jedynkowym czy powyższa tożsamość zachodzi:
I.
LJ = Logika jedynek:
1.
Y = Yb+Yc+Yf
Po rozwinięciu mamy:
Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r

Kod:

T1
Logika jedynek dla Y
| Yb= Yc= Yf Y=
p q r Y=? ~p ~q ~r ~Y=? | ~p*~q* r ~p* q*~r p*~q* r Yb+Yc+Yf
A: 0 0 0 0 1 1 1 1 | 0 0 0 0
B: 0 0 1 1 1 1 0 0 | 1 0 0 1
C: 0 1 0 1 1 0 1 0 | 0 1 0 1
D: 0 1 1 0 1 0 0 1 | 0 0 0 0
E: 1 0 0 0 0 1 1 1 | 0 0 0 0
F: 1 0 1 1 0 1 0 0 | 0 0 1 1
G: 1 1 0 0 0 0 1 1 | 0 0 0 0
H: 1 1 1 0 0 0 0 1 | 0 0 0 0
1 2 3 4 5 6 7 8 9 10 11 12

Podpowiedź dla szybkiego wypełniania kolumn wynikowych:
Przy wypełnianiu kolumny Yb szukamy dwóch jedynek w kolumnach ~p i ~q, są tylko dwa takie przypadki w liniach A i B, zatem tylko dla tych linii szukamy jedynki w kolumnie r która jest w linii B, stąd w linii Yb mamy jedynkę, zaś pozostałe linie uzupełniamy zerami.
Podobnie postępujemy z kolumnami Yc i Yf

II.
LZ = Logika zer
4.
~Y=~Yb*~Yc*~Yf
Po rozwinięciu mamy:
~Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)

Kod:

T4
Logika zer dla ~Y
| ~Yb= ~Yc= ~Yf ~Y= Y=
p q r Y=? ~p ~q ~r ~Y=? | p+q+~r p+~q+r ~p+q+~r ~Yb*~Yc*~Yf ~(~Y)
A: 0 0 0 0 1 1 1 1 | 1 1 1 1 0
B: 0 0 1 1 1 1 0 0 | 0 1 1 0 1
C: 0 1 0 1 1 0 1 0 | 1 0 1 0 1
D: 0 1 1 0 1 0 0 1 | 1 1 1 1 0
E: 1 0 0 0 0 1 1 1 | 1 1 1 1 0
F: 1 0 1 1 0 1 0 0 | 1 1 0 0 1
G: 1 1 0 0 0 0 1 1 | 1 1 1 1 0
H: 1 1 1 0 0 0 0 1 | 1 1 1 1 0
1 2 3 4 5 6 7 8 9 10 11 12 13

Podpowiedź dla szybkiego wypełniania kolumn wynikowych:
Przy wypełnianiu kolumny ~Yb szukamy dwóch zer w kolumnach p i q, są tylko dwa takie przypadki w liniach A i B, zatem tylko dla tych linii szukamy zera w kolumnie ~r które jest w linii B, stąd w linii ~Yb mamy zero, zaś pozostałe linie uzupełniamy jedynkami.
Podobnie postępujemy z kolumnami ~Yc i ~Yf.

Z powyższego rachunku zero-jedynkowego wynika, że matematycznie zachodzi:
T1_12: Y =Yb+Yc+Yf (logika jedynek) # T4_12: ~Y=~Yb*~Yc*~Yf (logika zer)
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony

Prawo podwójnego przeczenia:
Y = ~(~Y)

Stąd mamy:
T1_12: Y=Yb+Yc+Yf (logika jedynek) [=] T4_13: Y = ~(~Y=~Yb*~Yc*~Yf (logika zer))

Tożsamość kolumn wynikowych:
T1_12: Y [=] T4_13: Y
Jest dowodem formalnym poprawności powyższej tożsamości logicznej [=]
cnd

32.2.2 Igraszki masochistów dla funkcji Y

W poprzednim punkcie padało zadanie dla masochistów.

Przykładowy, poprawny dowód prof. L. Newelskiego jest następujący:
1.
Zapiszmy pełną tabelę zero-jedynkową dla czterech zmiennych binarnych {p,q,r,Y):

Kod:

I.
Układ równań logicznych Y i ~Y w logice jedynek:
1.
Y = Yb+Yc+Yf
Po rozwinięciu mamy:
Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
2.
~Y = ~Ya+~Yd+~Ye+~Yg+~Yh
Po rozwinięciu mamy:
~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r

Matematycznie na 100% zachodzą tożsamości logiczne:
1: Y = 2: ~(~Y)
1: ~(Y) = 2: ~Y
Powyższych tożsamości nie musimy sprawdzać, gwarantuje je algebra Boole’a.

II.
Układ równań logicznych Y i ~Y w logice zer:
3.
Y = Ya*Yd*Ye*Yg*Yh
Po rozwinięciu mamy:
Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)
4.
~Y=~Yb*~Yc*~Yf
Po rozwinięciu mamy:
~Y = B: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Matematycznie na 100% zachodzą tożsamości logiczne:
3: Y = 4: ~(~Y)
3: ~(Y) = 4: ~Y
Powyższych tożsamości nie musimy sprawdzać, gwarantuje je algebra Boole’a.

Zadanie dla masochistów:
Udowodnij, iż w tabeli T1 (a tym samym w T2) zachodzą prawa Małpki:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

Oraz:
2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Gdzie:
[=] - znaczek tożsamości logicznej

Spróbujmy udowodnić w sposób bezpośredni tożsamość logiczną:
1: Y [=] 3: Y

Z minimalizacją równania 3: Y w celu dojścia to tożsamego równania 1: Y będzie miał potężny problem zarówno człowiek, jak i komputer. W równaniu 3: Y trzeba bowiem wymnożyć wszystkie wielomiany przechodząc do postaci alternatywno-koniunkcyjnej po czym zminimalizować otrzymaną funkcję logiczną dochodząc do postaci 1: Y.
Nieporównywalnie lepsze zarówno dla człowieka jak i dla komputera (szczególnie) jest tu zastosowanie rachunku zero-jedynkowego w stosunku do oryginalnej postaci koniunkcyjno-alternatywnej 3: Y, co niżej pokażemy.

I.
Funkcję logiczną 1: Y obliczyliśmy w tabeli zero-jedynkowej w poprzednim punkcie, zatem wystarczy ją przepisać.

LJ = Logika jedynek dla Y
1.
Y = Yb+Yc+Yf
Po rozwinięciu mamy:
1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r

Kod:

Podpowiedź dla szybkiego wypełniania kolumn wynikowych:
Przy wypełnianiu kolumny Yb szukamy dwóch jedynek w kolumnach ~p i ~q, są tylko dwa takie przypadki w liniach A i B, zatem tylko dla tych linii szukamy jedynki w kolumnie r która jest w linii B, stąd w linii Yb mamy jedynkę, zaś pozostałe linie uzupełniamy zerami.
Podobnie postępujemy z kolumnami Yc i Yf

II.
Obliczmy w rachunku zero-jedynkowym funkcję logiczną 3:Y w logice zer.

LZ = logika zer dla Y
3.
Y = Ya*Yd*Ye*Yg*Yh
po rozwinięciu mamy:
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

Kod:

T3
Logika zer dla Y Y=
Ya= Yd= Ye= Yg= Yh= A*D*E*
p q r Y=? ~p ~q ~r ~Y=? p+q+r p+~q+~r ~p+q+r ~p+~q+r ~p+~q+~r *G*H
A: 0 0 0 0 1 1 1 1 0 1 1 1 1 0
B: 0 0 1 1 1 1 0 0 1 1 1 1 1 1
C: 0 1 0 1 1 0 1 0 1 1 1 1 1 1
D: 0 1 1 0 1 0 0 1 1 0 1 1 1 0
E: 1 0 0 0 0 1 1 1 1 1 0 1 1 0
F: 1 0 1 1 0 1 0 0 1 1 1 1 1 1
G: 1 1 0 0 0 0 1 1 1 1 1 0 1 0
H: 1 1 1 0 0 0 0 1 1 1 1 1 0 0
1 2 3 4 5 6 7 8 9 10 11 12 13 14

Podpowiedź dla szybkiego wypełniania kolumn wynikowych:
Przy wypełnianiu kolumny Ya szukamy dwóch zer w kolumnach p i q, są tylko dwa takie przypadki w liniach A i B, zatem tylko dla tych linii szukamy zera w kolumnie r które jest w linii A, stąd w linii Ya mamy zero, zaś pozostałe linie uzupełniamy jedynkami.
Podobnie postępujemy z kolumnami Yd, Ye, Yg i Yh

Jak widzimy wypełnienie tabeli T3 nie jest tak straszne, jak się początkowo wydawało, szczególnie dla komputera to po prostu pikuś.

Podsumowanie:
Tożsamość kolumn wynikowych:
T1_12: Y = T3_14: Y
jest dowodem formalnym zachodzącej tożsamości logicznej [=]:

1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

Gdzie:
[=] - znaczek tożsamości logicznej

Jak widzimy, nie taki diabeł straszny, jak się początkowo wydawał
c.n.d

Zadanie domowe dla czytelnika:
Wzorując się na przykładzie wyżej udowodnij w rachunku zero-jedynkowym w sposób bezpośredni zachodzącą tożsamość logiczną [=].

2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Gdzie:
[=] - znaczek tożsamości logicznej

Poprawne rozwiązanie w kolejnym punkcie.

32.2.2 Igraszki masochistów dla funkcji ~Y

Weźmy tożsamość logiczną dla funkcji ~Y:
2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

Funkcję 4:~Y zapisaliśmy w tabeli zero-jedynkowej wyżej.

Przypomnijmy:
I.
LZ = Logika zer dla ~Y
4.
~Y=~Yb*~Yc*~Yf
Po rozwinięciu mamy:
~Y = (p+q+~r)*(p+~q+r)*(~p+q+~r)

Kod:

T4
| II.
| Logika zer
| ~Yb= ~Yc= ~Yf ~Y=
p q r Y=? ~p ~q ~r ~Y=? | p+q+~r p+~q+r ~p+q+~r ~Yb*~Yc*~Yf
A: 0 0 0 0 1 1 1 1 | 1 1 1 1
B: 0 0 1 1 1 1 0 0 | 0 1 1 0
C: 0 1 0 1 1 0 1 0 | 1 0 1 0
D: 0 1 1 0 1 0 0 1 | 1 1 1 1
E: 1 0 0 0 0 1 1 1 | 1 1 1 1
F: 1 0 1 1 0 1 0 0 | 1 1 0 0
G: 1 1 0 0 0 0 1 1 | 1 1 1 1
H: 1 1 1 0 0 0 0 1 | 1 1 1 1
1 2 3 4 5 6 7 8 9 10 11 12

Kod:

T2
Logika jedynek dla ~Y ~Y=
~Ya= ~Yd= ~Ye= ~Yg= ~Yh= A+D+E
p q r Y=? ~p ~q ~r ~Y=? ~p*~q*~r ~p*q*r p*~q*~r p*q*~r p*q*r +G+H
A: 0 0 0 0 1 1 1 1 1 0 0 0 0 1
B: 0 0 1 1 1 1 0 0 0 0 0 0 0 0
C: 0 1 0 1 1 0 1 0 0 0 0 0 0 0
D: 0 1 1 0 1 0 0 1 0 1 0 0 0 1
E: 1 0 0 0 0 1 1 1 0 0 1 0 0 1
F: 1 0 1 1 0 1 0 0 0 0 0 0 0 0
G: 1 1 0 0 0 0 1 1 0 0 0 1 0 1
H: 1 1 1 0 0 0 0 1 0 0 0 0 1 1
1 2 3 4 5 6 7 8 9 10 11 12 13 14

Podpowiedź dla szybkiego wypełniania kolumn wynikowych:
Przy wypełnianiu kolumny ~Ya szukamy dwóch jedynek w kolumnach ~p i ~q, są tylko dwa takie przypadki w liniach A i B, zatem tylko dla tych linii szukamy jedynki w kolumnie ~r która jest w linii A, stąd w linii ~Ya mamy jedynkę, zaś pozostałe linie uzupełniamy zerami.
Podobnie postępujemy z kolumnami ~Yd, ~Ye, ~Yg, ~Yh

Podsumowanie:
Tożsamość kolumn zero-jedynkowych:
T4_12: ~Y = T2_14:~Y

Jest dowodem formalnym poniższej tożsamości logicznej [=]:
2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)
cnd

Porównując dowody w niniejszym punkcie i poprzednim możemy zapisać:

2: ~Y = A: ~p*~q*~r + D: ~p*q*r + E: p*~q*~r + G: p*q*~r + H: p*q*r
[=]
4: ~Y = A: (p+q+~r)* C: (p+~q+r)* F: (~p+q+~r)

#

1: Y = A: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
[=]
3: Y = A: (p+q+r)* D: (p+~q+~r)* E: (~p+q+r)* G: (~p+~q+r)* H: (~p+~q+~r)

Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 18:25, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Dlaczego AK nie używa spójników intensjonalnych?

Nie wiem co to za gówno!
Wszystkie znaczki używane w AK są perfekcyjnie znane w praktyce każdemu 5-cio latkowi (powtórzę: każdemu).
Żadnych innych znaczków w AK nie ma i nigdy nie będzie bo jest fizycznie niemożliwe, a wynika to z zero-jedynkowych definicji wszystkich możliwych spójników logicznych w ilości 16 sztuk, które zero-jedynkowo matematycy znają ale totalnie nie znają ich rzeczywistego znaczenia - to zna wyłącznie algebra Kubusia.

0.0 Skorowidz znaczków używanych w algebrze Kubusia

Definicje znaczków używanych w algebrze Kubusia poparto prostymi przykładami, zrozumiałymi dla każdego 5-cio latka.

I.
Nowa algebry Boole'a związana wyłącznie za spójnikami "lub"(+) i "i"(*)

1.
Znaczki elementarne (1.1):
1 = prawda
0 = fałsz
(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Definicja logiki dodatniej (bo p) i logiki ujemnej (bo ~p) (1.1.1)

2.
Spójniki podstawowe "lub"(+) i "i"(*) zgodne z językiem potocznym:
(+) - spójnik „lub”(+) w języku potocznym (1.12)
(*) - spójnik „i”(*) w języku potocznym (1.13)

3.
Operatory logiczne "lub"(|+) i "i'(|*) definiowane spójnikami podstawowymi "lub"(+) i "i"(*):
(|+) - operator "lub"(|+) w języku potocznym (1.12.1)
(|*) - operator "i"(|*) w języku potocznym (1.13.1)

II.
Algebra Kubusia obsługująca zdania warunkowe "Jeśli p to q"

Definicja spójnika implikacyjnego:
Spójnik implikacyjny to spójnik związany w obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>

Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
1.
Elementarne spójniki implikacyjne: =>, ~>, ~~>
2.
Podstawowe spójniki implikacyjne: |=>, |~>, <=>, |~~> definiowane spójnikami elementarnymi
3.
Operatory implikacyjne: ||=>, ||~>, |<=>, ||~~> definiowane podstawowymi spójnikami implikacyjnymi.

1.
Spójniki elementarne zdań warunkowych "Jeśli p to q":
Zdarzenia:
~~> - zdarzenie możliwe w teorii zdarzeń (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Zbiory:
~~> - element wspólny zbiorów w teorii zbiorów (2.3.1)
=> - warunek wystarczający (2.3.2)
~> - warunek konieczny (2.3.3)

2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12, 3.1)
|~> - implikacja odwrotna (2.13, 4.1)
<=> - równoważność (2.14, 6.1)
|~~> - chaos (2.15, 8.1)
$ - spójnik "albo" dostępny w rozszerzonej algebrze Kubusia (7.2)

3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi:
||=> - operator implikacji prostej (2.12.1, 3.1.1)
||~> - operator implikacji odwrotnej (2.13.1, 4.1.1)
|<=> - operator równoważności (2.14.1, 6.1.1)
||~~> - operator chaosu (2.15.1, 8.1.1)
|$ - operator "albo" dostępny w rozszerzonej algebrze Kubusia (7.2.1)

III.
Pozostałe znaczki algebry Kubusia:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony (2.5.1)
## - różne na mocy definicji (2.5.1)
### - różne na mocy nietrywialnego błędu podstawienia (2.7.4)

Uwaga:
To są wszystkie znaczki używane w algebrze Kubusia tzn. nie są potrzebne w AK jakiekolwiek inne znaczki.
W szczególności nie ma w algebrze Kubusia rachunku kwantyfikatorów i związanych z nim znaczków: kwantyfikator mały (istnieje) \/ i kwantyfikator duży (dla każdego) /\

Ostatnio zmieniony przez rafal3006 dnia Wto 18:27, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 19:07, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Cytat:

Nie wiem co to za gówno!

To taki funktor jedno lub więcej argumentowy który jeśli dodasz go do zdania lub połączysz nim zdania, to sprawiasz że ich prawdziwość zależy od całości. Wtedy dopiero masz "logikę symboliczną" na Algebrze Boole'a.

Wtedy masz potwornie śmierdzące gówno, a nie logikę symboliczną - pojęcia nie masz co to jest logika symboliczna.
Tłumaczyłem ci to w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-7875.html#806443

rafal3006 napisał:

Logika zero-jedynkowa to język matematycznych głąbów nie znających praw Prosiaczka!
.. i co, zatkało kakao?

Grochem o ścianę...
Nie interesują mnie twoje dalsze gówna, z punktu odniesienia AK każde zdanie wyżej (powtórzę: każde!) które zapisałeś to potwornie śmierdzące gówno.

Operujesz gównami, których żaden 5-cio latek nie zrozumie.
Natomiast symbole używane w AK każdy 5-cio latek zna perfekcyjnie.
Weź sobie poczytaj początek AK, to na 100% zrozumiesz ... ale ty nie będziesz czytał, zgadza się?
Podyskutować możemy wyłącznie w jeden sposób - czytasz AK od początku i piszesz z czym się nie zgadzasz, czego nie rozumiesz.
Żadna inna dyskusja nie wchodzi w grę bo 100% definicji mamy innych, rozumiesz co znaczy INNYCH?

Ostatnio zmieniony przez rafal3006 dnia Wto 19:09, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 19:19, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Tu lepsza definicja z Wikipedii:

Funktor intensjonalny, spójnik intensjonalny – funktor zdaniotwórczy od argumentów zdaniowych taki, że wartość logiczna zdania utworzonego za jego pomocą zależy nie tylko od wartości logicznych zdań składowych, lecz także od ich treści.

To jest Wikipediowa kontynuacja bredni w temacie logiki matematycznej ... ciąg dalszy, niestety.

Jeśli chodzi o logikę matematyczną, to Wikipedia jest w 100% jednym, wielkim, potwornie śmierdzącym gównem.
Już niedługo, totalnie cała Wikipedia w temacie logiki matematycznej legnie w gruzach - bredni z Wikipedii będą bronić tacy fanatycy KRZ jak ty, ale na 100% nie matematycy przy zdrowych zmysłach - ci w 100% przejdą do obozu algebry Kubusia - zaczną czytać algebrę Kubusia i się nią zachwycać.

Ostatnio zmieniony przez rafal3006 dnia Wto 19:21, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 19:30, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Kubuś, stworzę Ci taką logikę zdań że matematycy wezmą Cię poważnie. Nie będzie żadnych kwantyfikatorów ani logiki wyższego rzędu, i będzie pełna zgodność z algebrą boole'owską. Zgoda?

KRZ-owska logika zdań to debilizm:
Jeśli 2+2=5 to jestem papieżem
Tego chcesz bronić wariacie? :shock:

Ty się lepiej zabierz za czytanie AK od zera szukając w niej wewnętrznej sprzeczności - wtedy i tylko wtedy mi pomożesz, bo będziesz mi sygnalizował czego nie rozumiesz, a ja ci będę tłumaczył to, czego nie rozumiesz.

Podsumowując:
Zajmij się lepiej obalaniem AK szukając w niej wewnętrznej sprzeczności - wtedy przejdziesz do historii matematyki bo jako pierwszy ziemianin zrozumiesz że AK jest Boska (przez duże B), dlatego nie jest możliwe znalezienie w niej wewnętrznej sprzeczności.

Ostatnio zmieniony przez rafal3006 dnia Wto 19:32, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 19:40, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

KRZ-owska logika zdań to debilizm:
Jeśli 2+2=5 to jestem papieżem
Tego chcesz bronić wariacie? :shock:

Każda logika zdań stworzona na bazie gówna zwanego KRZ-em będzie debilizmem - tak więc nawet nie zabieraj się za modyfikację KRZ bo zawsze będziesz siedział w gównie i tylko w gównie, cokolwiek byś nie kombinował.

Ty się lepiej zabierz za czytanie AK od zera szukając w niej wewnętrznej sprzeczności - wtedy i tylko wtedy mi pomożesz, bo będziesz mi sygnalizował czego nie rozumiesz, a ja ci będę tłumaczył to, czego nie rozumiesz.

Podsumowując:
Zajmij się lepiej obalaniem AK szukając w niej wewnętrznej sprzeczności - wtedy przejdziesz do historii matematyki bo jako pierwszy ziemianin zrozumiesz że AK jest Boska (przez duże B), dlatego nie jest możliwe znalezienie w niej wewnętrznej sprzeczności.

Ostatnio zmieniony przez rafal3006 dnia Wto 19:41, 09 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 19:43, 09 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Apropos, kolejny raz wykażę Ci sprzeczność. Czy Uniwersum w AK to zbiór wszystkich zbiorów?

NIE!
Zbiór wszystkich zbiorów to fundamentalnie co innego niż Uniwersum.
Poczytaj sobie tu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#708257

rafal3006 napisał:

Algebra Kubusia - matematyka języka potocznego
13.0 Algebra Kubusia w zbiorach

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Wto 20:01, 09 Lip 2024 Temat postu:

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

Czy szaryobywatel obali definicję zbioru wszystkich zbiorów w AK?
Jego szanse na obalenie wynoszą 0%

Szary obywatelu, dyskutujmy o konkretach.
Jak wykażesz że definicja zbioru wszystkich zbiorów nie działa to kasuję AK.
Wszystkie niezbędne definicje w tym temacie masz w cytacie niżej - krótki jest, wiec w czym masz problem?
Obalaj definicję zbioru wszystkich zbiorów w algebrze Kubusia.
Czas START!

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

szaryobywatel napisał:

Apropos, kolejny raz wykażę Ci sprzeczność. Czy Uniwersum w AK to zbiór wszystkich zbiorów?

Algebra Kubusia napisał:

Spis treści
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów 1
12.2.1 Definicja pojęcia 1
12.2.2 Definicja elementu zbioru 1
12.2.3 Definicja zbioru 1
12.2.4 Definicja Uniwersum U 1
12.2.5 Definicja zbioru pustego 2
12.2.6 Definicja dziedziny absolutnej DA 2
12.2.7 Definicja zbioru wszystkich zbiorów 2
12.2.8 Prawo Owieczki 2

12.2 Definicje podstawowe w Kubusiowej teorii zbiorów

Przypomnijmy znane już definicje podstawowe.

12.2.1 Definicja pojęcia

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, miłość, krasnoludek, ZWZ, LN ...]
Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

12.2.2 Definicja elementu zbioru

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

12.2.3 Definicja zbioru

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.2.4 Definicja Uniwersum U

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek, pies ma cztery łapy ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)
Dla uproszczenia zapisów w Uniwersum umieszczamy pojęcia niezaprzeczone, bowiem pojęcia zaprzeczone to relacja czysto matematyczna # zawsze tu obowiązująca.
Przykład:
Pies ma cztery łapy # pies nie ma czterech łap
Gdzie:
# - dowolna strona znaczka # jest zaprzeczeniem drugiej strony
Oczywiście pojęcie „pies nie ma czterech łap” jest pojęciem dla nas zrozumiałym, zatem należy do Uniwersum.

Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 40 lat temu pojęcie „Internet” było zbiorem pustym, nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.

Uniwersum lokalne:
Uniwersum lokalne to zbiór pojęć związanych z konkretną gałęzią wiedzy np. medycznej, elektronicznej etc. gdzie znane każdemu człowiekowi słówka znaczą co innego.

Przykład:
Bramka w teorii bramek logicznych to co innego niż bramka na boisku piłkarskim
Czasami w dowolnym języku mogą występować dwa słowa identyczne, ale znaczące co innego.
Przykład:
W języku polskim morze i może
Tu różnice są rozpoznawalne albo w pisowni (jak wyżej) albo w kontekście użycia tego słówka:
Może pojedziemy nad morze?
Z reguły dla najpopularniejszych słówek mamy sporo synonimów, co w logice jest bez znaczenia.

12.2.5 Definicja zbioru pustego

Definicja zbioru pustego []:
Zbiór pusty to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

12.2.6 Definicja dziedziny absolutnej DA

Definicja dziedziny absolutnej DA:
Dziedzina absolutna DA to zbiór wszelkich pojęć możliwych do zdefiniowania w naszym Wszechświecie.

12.2.7 Definicja zbioru wszystkich zbiorów

Zbiór wszystkich zbiorów:
Zbiór wszystkich zbiorów jest tożsamy z dziedziną absolutną DA.

12.2.8 Prawo Owieczki

Definicja Uniwersum:
Uniwersum U to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Definicja zbioru pustego []:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

Zbiór pusty zawiera nieskończenie wiele pojęć niezrozumiałych dla człowieka, jeszcze niezdefiniowanych. Definiować elementy w naszym Wszechświecie może wyłącznie człowiek, świat martwy sam sobie nic nie definiuje.

Przed pojawieniem się człowieka na ziemi zawartość zbioru pustego była taka:
[] - wszystkie elementy naszego Wszechświata w sensie absolutnym, nie ma jeszcze człowieka który by cokolwiek definiował.

W dniu dzisiejszym sytuacja jest inna, taka:

Kod:

Na mocy powyższego zachodzi:
[] = ~U - zbiór pusty [] to zaprzeczenie Uniwersum U w dziedzinie absolutnej DA
U = ~[] - zbiór Uniwersum U to zaprzeczenie zbioru pustego [] w dziedzinie absolutnej DA

Na mocy definicji dziedziny absolutnej DA mamy:
1: U+~U = U+[] =U =1
2: U*~U = U*[] =[] =0
Komentarz:
1.
Do zbioru Uniwersum (pojęcia zrozumiałe dla człowieka) możemy dodać elementy ze zbioru ~U (pojęcia niezrozumiałe dla człowieka np. kgstl), ale na mocy definicji Uniwersum wszelkie takie elementy musimy natychmiast usunąć, inaczej gwałcimy definicję Uniwersum.
2.
U*~U=[] =0
Iloczyn logiczny elementów ze zbioru U (pojęcia zrozumiałe dla człowieka) i ~U (pojęcia niezrozumiałe dla człowieka) jest zbiorem pustym tzn. nie ma ani jednego elementu wspólnego w zbiorach U i ~U=[].

Prawo Owieczki:
Prawdziwe jest zdanie ziemskich matematyków iż „ze zbioru pustego [] wynika wszystko” wtedy i tylko wtedy gdy definicje zbioru pustego [] i Uniwersum U będą zgodne z definicjami obowiązującymi w algebrze 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Śro 8:43, 10 Lip 2024 Temat postu:

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

Szaryobywatel, biedny człowiek akceptujący np. teorię strun i nie akceptujący banalnej definicji dziedziny absolutnej DA z algebry Kubusia
Innymi słowy:
Biedaczek akceptuje teorię Wieloświatów i przestrzeni n-wymiarowych a nie może sobie wyobrazić, abstrakcyjnej definicji dziedziny absolutnej DA zrozumiałej dla każdego ucznia I klasy LO.

Wyobraź sobie szaryobywatelu, że jesteś człowiekiem żyjącym w epoce kamienia łupanego przed wynalezieniem koła.
Dla ciebie wszelkie pojęcia znane obecnie człowiekowi od koła poczynając, na promie kosmicznym i Internecie kończąc są zbiorem pustym [], czyli pojęciami jeszcze niezdefiniowanymi.
Zgadzasz się z tym faktem, czy go kwestionujesz?
... i co, zatkało kakao.

szaryobywatel napisał:

Czyli nawet nie trzeba się powoływać na zbiór wszystkich zbiorów, wystarczy że ten Twój juniwers U zawiera z definicji każde zrozumiałe pojęcie, a więc musi się w nim zawierać zbiór wszystkich jego podzbiorów P(U).
A to znaczy że P(U) nie może zawierać więcej elementów niż U, bo każdy element P(U) jest już elementem U.
I tutaj dochodzimy do sprzeczności, bo zbiór wszystkich podzbiorów dowolnego zbioru Z, musi zawierać więcej elementów niż Z.

Kasuj AK.

Żartuję, zostaw bo lubię się z niej śmiać.

Nie rozumiesz dwóch fundamentów z Kubusiowej teorii zbiorów.
1.
Nie rozumiesz definicji zbioru pustego []

12.2.5 Definicja zbioru pustego

Definicja zbioru pustego []:
Zbiór pusty to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

2.
Nie rozumiesz definicji dziedziny absolutnej DA

12.2.6 Definicja dziedziny absolutnej DA

Definicja dziedziny absolutnej DA:
Dziedzina absolutna DA to zbiór wszelkich pojęć możliwych do zdefiniowania w naszym Wszechświecie.

12.2.7 Definicja zbioru wszystkich zbiorów

Zbiór wszystkich zbiorów:
Zbiór wszystkich zbiorów jest tożsamy z dziedziną absolutną DA.

To dziedzina absolutna DA jest zbiorem wszystkich zbiorów a nie Uniwersum.

Podsumowując:
Widzę, że nie rozumiesz tekstu na poziomie ucznia I klasy LO.

Wniosek:
Nie rozumiem dlaczego abstrakcyjna definicja dziedziny absolutnej DA tak cię przeraziła, a nie przeraziła cię np. teoria Wieloświatów, przestrzeni n-wymiarowych itp.

Ostatnio zmieniony przez rafal3006 dnia Śro 8:44, 10 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Śro 17:33, 10 Lip 2024 Temat postu:

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

AK to logika matematyczna skierowana do matematyków widzących głupotę KRZ!
Poszukujących alternatywy, ze świata ludzi normalnych, 5-cio latków i humanistów, naturalnych ekspertów algebry Kubusia!

szaryobywatel napisał:

Kubuś, ani juniwers U, ani DA nie mogą istnieć, bo gdyby istniały, to ich podzbiorami byłyby ich zbiory potęgowe. Popraw to.

Twoje zbiory potęgowe to taki sam debilizm jak twój KRZ, dokładnie dlatego, że obalasz nimi definicję zbioru wszystkich zbiorów z algebry Kubusia, która matematycznie i fizycznie jest nie do obalenia, bo jest weryfikowalna w naszym Wszechświecie tzn. jest zrozumiała dla każdego ucznia I klasy LO z wykluczeniem podobnych tobie głąbów.
cnd

Zmieniam moją opinię o definicji dziedziny absolutnej DA tzn.
Rezygnuję z mojego twierdzenia iż jest to definicja na poziomie abstrakcyjnym, bo w rzeczywistości DA jest najświętszą prawdą człowieka a nie abstrakcją.
ok.
Poprawiam - oto aktualna AK w temacie zbioru wszystkich zbiorów
... i co zatkało kakao?

P.S.
Dzięki, dokładnie w ten sposób pomagasz mi udoskonalać przekaz AK - oczywiście mam zero nadziei, że podobni tobie fanatycy KRZ cokolwiek z tego zrozumieją.
Piszę AK dla matematyków zdrowych na umyśle, negujących KRZ (wielu jest takich) a nie dla podobnych tobie głąbów.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#707763

Algebra Kubusia napisał:

Spis treści
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów 1
12.2.1 Definicja pojęcia 1
12.2.2 Definicja elementu zbioru 1
12.2.3 Definicja zbioru 1
12.2.4 Definicja Uniwersum U 2
12.2.5 Definicja zbioru pustego 2
12.2.6 Definicja dziedziny absolutnej DA 4
12.2.7 Definicja zbioru wszystkich zbiorów 4
12.2.8 Prawo Owieczki 5

12.2 Definicje podstawowe w Kubusiowej teorii zbiorów

Przypomnijmy znane już definicje podstawowe.

12.2.1 Definicja pojęcia

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, miłość, krasnoludek, ZWZ, LN ...]
Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

12.2.2 Definicja elementu zbioru

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

12.2.3 Definicja zbioru

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.2.4 Definicja Uniwersum U

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek, pies ma cztery łapy ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)
Dla uproszczenia zapisów w Uniwersum umieszczamy pojęcia niezaprzeczone, bowiem pojęcia zaprzeczone to relacja czysto matematyczna # zawsze tu obowiązująca.
Przykład:
Pies ma cztery łapy # pies nie ma czterech łap
Gdzie:
# - dowolna strona znaczka # jest zaprzeczeniem drugiej strony
Oczywiście pojęcie „pies nie ma czterech łap” jest pojęciem dla nas zrozumiałym, zatem należy do Uniwersum.

Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 40 lat temu pojęcie „Internet” było zbiorem pustym, nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.

Uniwersum lokalne:
Uniwersum lokalne to zbiór pojęć związanych z konkretną gałęzią wiedzy np. medycznej, elektronicznej etc. gdzie znane każdemu człowiekowi słówka znaczą co innego.

Przykład:
Bramka w teorii bramek logicznych to co innego niż bramka na boisku piłkarskim
Czasami w dowolnym języku mogą występować dwa słowa identyczne, ale znaczące co innego.
Przykład:
W języku polskim morze i może
Tu różnice są rozpoznawalne albo w pisowni (jak wyżej) albo w kontekście użycia tego słówka:
Może pojedziemy nad morze?
Z reguły dla najpopularniejszych słówek mamy sporo synonimów, co w logice jest bez znaczenia.

Podsumowując:
Przedstawiona wyżej definicja Uniwersum jest pojęciem rzeczywistym łatwym do zrozumienia przez każdego ucznia I klasy LO.

12.2.5 Definicja zbioru pustego

Co wiemy o naszej Ziemi?
[link widoczny dla zalogowanych]

Wikipedia napisał:

Ziemia – trzecia, licząc od Słońca, oraz piąta pod względem wielkości planeta Układu Słonecznego. Pod względem średnicy, masy i gęstości jest to największa planeta skalista Układu Słonecznego. Planeta uformowała się około 4,54 mld lat temu.

Ziemia jest jedynym znanym miejscem we Wszechświecie, w którym występuje życie, jest zamieszkana przez miliony gatunków, w tym przez człowieka. Życie pojawiło się w oceanach w ciągu pierwszego miliarda lat po uformowaniu się Ziemi. Dystans dzielący Słońce od Ziemi, jej właściwości fizyczne oraz jej historia geologiczna są najważniejszymi czynnikami, które pozwoliły organizmom żyć i ewoluować. Różnorodność biologiczna Ziemi nieustannie powiększa się, chociaż w dziejach życia Ziemi proces ten był kilkukrotnie przerywany, kiedy miało miejsce masowe wymieranie gatunków. Szacuje się, że 99% gatunków organizmów żywych (ok. 5 mld) kiedykolwiek zamieszkujących Ziemię wymarło, wciąż mieszka na niej 10–14 mln gatunków, z czego 1,2 mln zostało udokumentowanych.

Kiedy pojawił się człowiek na Ziemi?
[link widoczny dla zalogowanych]

Wikipedia napisał:

Kolebka ludzkości
Od wielu lat przyjmuje się, że pierwsi przedstawiciele rodzaju Homo pojawili się w Afryce ok. 2,5 mln lat temu. Tam również pojawił się anatomicznie współczesny człowiek Homo sapiens sapiens prawdopodobnie ok. 250–200 tys. lat temu (mitochondrialna Ewa). Wskazują na to liczne odkrycia paleoantropologiczne oraz wyniki badań genetycznych (mtDNA). Wcześniej przyjmowano, że człowiek wyruszył na podbój świata z Afryki ok. 40 tys. lat temu. Obecnie wiadomo, że nastąpiło to znacznie wcześniej i nie ma pewności, który z przedstawicieli Homo dokonał tego pierwszy.

Aktualna wiedza o otaczającym nas Wszechświecie to wiedza dostępna wyłącznie człowiekowi z wykluczeniem wszelkich zwierząt.
Matematycznie zachodzi:
Człowiek ## Dowolne zwierzę
Gdzie:
## - różne na mocy definicji

Pierwszy współczesny człowiek pojawił się na Ziemi zaledwie 200tys lat temu.
Z definicji wiadomo, że wyłącznie człowiek (mimo że podobno pochodzi od małpy) jest zdolny do coraz to nowych odkryć związanych z otaczających go światem.

Co wiedzieli o otaczającym ich świecie pierwsi ludzie żyjący na ziemi 200tys lat temu?
Czy znali takie pojęcia wyższego rzędu dostępne współczesnemu człowiekowi jak: koło, fakt iż ziemia jest kulą, galaktyka, prom kosmiczny, że o Internecie nie wspomnę?
Oczywiście nie znali.
Wspomniane wyżej pojęcia dla człowieka sprzed 200tys lat były pojęciami jeszcze niezdefiniowanymi.
Stąd mamy wyprowadzoną definicje zbioru pustego.

Definicja zbioru pustego []:
Zbiór pusty to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Dowód poprawności definicji zbioru pustego:
Wyobraźmy sobie, że żyjemy w epoce kamienia łupanego przed wynalezieniem koła.
Dla nas wszelkie pojęcia znane obecnie człowiekowi od koła poczynając, na promie kosmicznym i Internecie kończąc są zbiorem pustym [], czyli pojęciami jeszcze niezdefiniowanymi.
cnd

12.2.6 Definicja dziedziny absolutnej DA

Idąc dalej tropem zbioru pustego [] łatwo zdefiniować nowatorskie pojęcie zwane dziedziną absolutną DA.

Definicja dziedziny absolutnej DA:
Dziedzina absolutna DA to zbiór wszelkich pojęć możliwych do zdefiniowania w naszym Wszechświecie.

Zauważmy, że największy współczesny wynalazek ludzkości, Internet, mógł zaistnieć tylko i wyłącznie dlatego, że na naszej Ziemi były ku temu warunki niezależne od człowieka, które istniały „od zawsze”.
Nie widomo jakimi jeszcze wynalazkami w przyszłości ludzkość zostanie zaskoczona, pewne jest, że zostanie zaskoczona wynalazkami tylko i wyłącznie możliwymi do zaistnienia w naszym Wszechświecie.

Ludzkość w tym zakresie nieustannie marzy, próbując zrealizować swoje marzenia.

Wiele z tych marzeń jest wątpliwej jakości.
Przykłady:
Faraonowie w grobowcach gromadzili niebotyczne skarby marząc o życiu w zaświatach gdzie będą ich potrzebować.
Średniowieczni alchemicy marzyli o zrobieniu złota z piasku bo to żółte i to żółte
etc

Przykłady zrealizowanych marzeń ludzkości o których największym ziemskim, średniowiecznym filozofom się nie śniło to:
- radio i telewizja
- prom kosmiczny
- Internet
etc

Jak widzimy, na bazie powyższych rozważań pojęcie dziedziny absolutnej DA jest pojęciem rzeczywistym, dziejącym się na naszych oczach, tu i teraz.
W żadnym przypadku pojęcie dziedziny absolutnej DA nie jest pojęciem abstrakcyjnym.

12.2.7 Definicja zbioru wszystkich zbiorów

Jak udowodniliśmy wyżej, kluczowe pojęcia Kubusiowej Teorii Zbiorów:
- Uniwersum (U)
- Zbiór pusty ([])
- Dziedzina absolutna (DA)
To pojęcia rzeczywiste, weryfikowalne w naszym Wszechświecie.
Stąd mamy łatwo wyprowadzoną definicję zbioru wszystkich zbiorów.

Zbiór wszystkich zbiorów:
Zbiór wszystkich zbiorów jest tożsamy z dziedziną absolutną DA.

12.2.8 Prawo Owieczki

Definicja Uniwersum:
Uniwersum U to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Definicja zbioru pustego []:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

Zbiór pusty zawiera nieskończenie wiele pojęć niezrozumiałych dla człowieka, jeszcze niezdefiniowanych. Definiować elementy w naszym Wszechświecie może wyłącznie człowiek, świat martwy sam sobie nic nie definiuje.

Przed pojawieniem się człowieka na ziemi zawartość zbioru pustego była taka:
[] - wszystkie elementy naszego Wszechświata w sensie absolutnym, nie ma jeszcze człowieka który by cokolwiek definiował.

W dniu dzisiejszym sytuacja jest inna, taka:

Kod:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Śro 21:09, 10 Lip 2024 Temat postu:

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

Czy możliwe jest nawiązanie kontaktu z Szarymobywatelem?
Oto jest pytanie.

szaryobywatel napisał:

Kubuś, to nie ma znaczenia czy Ty zdefiniujesz pojęcie zbioru potęgowego, znaczenie ma to że żaden zbiór nie może zawierać wszystkich swoich podzbiorów, a Twój juniwers U i Adelajda AD zawierają je z konieczności, czyli AK jest wewnętrznie sprzeczna.

Na prostym przykładzie (pominę w ogóle zagadnienie zbioru pustego): zbiór {kot, pies, koń} ma 3 elementy. Każdy jego podzbiorór zawiera niewięcej elementów niż on, np:
{kot}
{pies}
{koń}
{kot, pies}
{pies, koń}
itd.
Ile podzbiorów wypisałem? 5. Czyli zbiór podzbiorów zbioru {kot, pies, koń} zawiera co najmniej 5 elementów. Ile elementów zawiera zbiór {kot, pies, koń}? 3.
AK twierdzi że 5 mieści się w 3.

Niestety, nic a nic nie rozumiesz z tego co napisałem!
Gdybyś był Irbisolem, to pewne jest że do końca świata byś powtarzał te bzdurne swoje wywody olewając co ja do ciebie piszę.
Mam nadzieję, że nie jesteś Irbisolem i nawiążemy kontakt - wtedy wszystko ci wytłumaczę i na 100% zrozumiesz iż definicja zbioru wszystkich zbiorów z AK jest definicją Boską, czyli nie do obalenia.

Teraz robię test czy mamy szansę na sensowny kontakt.
Czy rozumiesz kluczowy fragment mojego postu wyżej?

Ten fragment:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#707763

Algebra Kubusia - teoria zbiorów napisał:

12.2.8 Prawo Owieczki

Definicja Uniwersum:
Uniwersum U to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Definicja zbioru pustego []:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

Zbiór pusty zawiera nieskończenie wiele pojęć niezrozumiałych dla człowieka, jeszcze niezdefiniowanych. Definiować elementy w naszym Wszechświecie może wyłącznie człowiek, świat martwy sam sobie nic nie definiuje.

Przed pojawieniem się człowieka na ziemi zawartość zbioru pustego była taka:
[] - wszystkie elementy naszego Wszechświata w sensie absolutnym, nie ma jeszcze człowieka który by cokolwiek definiował.

W dniu dzisiejszym sytuacja jest inna, taka:

Kod:

Jeśli czegoś nie rozumiesz to zacytuj czego nie rozumiesz - nie interesują mnie twoje kolejne, bzdurne przykłady.
Skup się tylko i wyłącznie na cytacie wyżej i napisz co dokładnie kwestionujesz.

Uważaj:
Szczegółowe definicje wszystkich pojęć z AK:
- Uniwersum
- Zbiór pusty
- Dziedzina absolutna
Masz w moim cytacie wyżej.

Pamiętaj - zero twoich przykładów - wolno ci kwestionować wyłącznie to co ja piszę w niniejszym poście i poprzednim poście.
Potrafisz?

Ostatnio zmieniony przez rafal3006 dnia Śro 21:17, 10 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Śro 23:23, 10 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Kubuś, zapomniałeś napisać że jak wykażę Ci sprzeczność, to skasujesz AK.

Jedyne co wykazałeś to twoje potwornie śmierdzące gówno w postaci twojego przykładu.
Na ten moment nie rozmawiamy o gównach z teorii zbiorów ziemian - dyskutujemy o teorii zabiorów w algebrze Kubusia.

Wszyscy widzą, że boisz się jak diabeł święconej wody wykazać wewnętrzną sprzeczność w Kubusiowej teorii zbiorów zakładając, że gówno które znasz jest jedyną poprawną teorią zbiorów.

Konkretne pytanie:
Jeśli wytłumaczę ci Boską definicję zbioru wszystkich zbiorów na gruncie algebry Kubusia (bo o niej rozmawiamy) to ją przeczytasz ze zrozumieniem?
Oczywiście będziesz mógł obalać tą definicję pod warunkiem że ją przeczytasz - proste jak cep.
Wykład o co chodzi Kubusiowej teorii zbiorów będzie krótki i na poziomie co najwyżej ucznia I klasy LO.
Obiecujesz przeczytać?
TAK/NIE

Ostatnio zmieniony przez rafal3006 dnia Śro 23:25, 10 Lip 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: 34703
Przeczytał: 24 tematy

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

Wysłany: Czw 11:33, 11 Lip 2024 Temat postu:

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

I. Dowód wewnętrznej sprzeczności KRZ!
II. „Ciemna strona Księżyca” dla każdego Ziemskiego matematyka!
(Ciemna strona Księżyca - koniec postu)

szaryobywatel napisał:

To jest sprzeczność w AK, w oparciu o to jak naiwnie AK rozumie zbiory, a nie w oparciu o zbyt trudne dla Ciebie ziemskie teorie zbiorów.

Sprzeczność w AK?
Znasz AK?
NIE!
Zatem nie wypowiadaj się w temacie AK.

I. Dowód wewnętrznej sprzeczności KRZ!

Wewnętrzną sprzeczność to masz w KRZ.
Niniejszego dowodu wewnętrznej sprzeczności w KRZ na mocy prawa Irbisa nie zrozumie wyłącznie matematyczny głąb, zwany szarymobywatelem.
To jest dowód zaakceptowany przez fanatyka KRZ, Irbisola.

Szaryobywatelu:
Bierzcie zatem do ręki siekiery i wzajemnie się pozabijajcie - będzie to z pożytkiem dla całej ludzkości - o dwóch fanatyków KRZ mniej!

Przed pojedynkiem na śmierć i życie uchroni was tylko i wyłącznie akceptacja przez Szaregoobywatela prawa Irbisa.

Dlaczego Szaryobywatel nigdy nie zaakceptuje prawa Irbisa?
Odpowiedź:
Szaryobywatel doskonale wie, że akceptacja prawa Irbisa oznacza wbicie osikowego kołka w samo serce jego gówno-boga, zwanego Klasycznym Rachunkiem Zdań.

Czy mam rację Szaryobywatelu:
Na to pytanie Szaryobywatel nigdy nie odpowie - będzie przed nim uciekał szybciej niż struś Pędziwiatr, o czym za chwilkę wszyscy czytelnicy się przekonają.

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q i jednocześnie zbiór q jest podzbiorem => zbioru p
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Prawo irbisa zaakceptował z marszu i bez mrugnięcia oka mój odwieczny wróg, fanatyk KRZ, Irbisol - dlatego nosi ono jego imię.

Fanatyk KRZ Irbisol twierdzi, że to jest prawo KRZ, bo wedle niego zachodzi tożsamość czysto matematyczna.
Warunek wystarczający => = implikacja rodem z KRZ =>

Zobaczmy to na przykładzie równoważności Pitagorasa TP<=>SK:
I.
Twierdzenie proste Pitagorasa:
A1.
Jeśli trójkąt jest prostokątny (TP) to na 100% => zachodzi w nim suma kwadratów (SK)
A1: TP=>SK =1
To samo w zapisie ogólnym:
A1: p=>q =1 - matematyczne twierdzenie prosta
Nasz punkt odniesienia dla zapisów ogólnych to:
p=TP (zbiór trójkątów prostokątnych)
q=SK (zbiór trójkątów ze spełniona sumą kwadratów)

Twierdzenie proste Pitagorasa ludzkość udowodniła poprawnie wieki temu, więc jest bezdyskusyjnie prawdziwe.
Co oznacza twierdzenie proste Pitagorasa?
Czytamy:
Poziom ucznia 6 klasy SP:
Bycie trójkątem prostokątnym jest (=1) warunkiem wystarczającym => by zachodziła w nim suma kwadratów, bo w każdym trójkącie prostokątnym zachodzi suma kwadratów
Poziom ucznia I klasy LO:
Bycie trójkątem prostokątnym jest (=1) warunkiem wystarczającym => by zachodziła w nim suma kwadratów wtedy i tylko wtedy gdy zbiór TP jest (=1) podzbiorem => zbioru SK

II.
Twierdzenie odwrotne Pitagorasa:
B3.
Jeśli w trójkącie zachodzi suma kwadratów (SK) to na 100% => trójkąt ten jest prostokątny (TP)
B3: SK=>TP =1
To samo w zapisie ogólnym:
B3: q=>p=1 - matematyczne twierdzenie odwrotne (w odniesieniu do A1: p=>q)
Twierdzenie odwrotne Pitagorasa ludzkość udowodniła poprawnie wieki temu, więc jest bezdyskusyjnie prawdziwe.
Co oznacza twierdzenie odwrotne Pitagorasa?
Czytamy:
Poziom ucznia 6 klasy SP:
Bycie trójkątem ze spełnioną suma kwadratów (SK) jest (=1) warunkiem wystarczającym => by ten trójkąt był prostokątny (TP), bo każdy trójkąt w którym spełniona jest suma kwadratów (SK) jest (=1) trójkątem prostokątnym (TP)
Poziom ucznia I klasy LO:
Bycie trójkątem ze spełnioną suma kwadratów (SK) jest (=1) warunkiem wystarczającym => by ten trójkąt był prostokątny (TP) wtedy i tylko wtedy gdy zbiór SK jest (=1) podzbiorem => zbioru TP

Stąd mamy dowód spełnionej równoważności Pitagorasa:
A1B3: TP<=>SK = (A1: TP=>SK)*(B3: SK=>TP) =1*1=1
To samo w zapisie ogólnym:
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) = 1*1=1

Dla zdania B3 zastosujmy prawo Tygryska doskonale znane każdemu ziemskiemu matematykowi.

Prawo Tygryska:
Mówiące o związku warunku wystarczającego => B3: q=>p z warunkiem koniecznym ~> B1: p~>q
B3: q=>p = B1: p~>q

Stąd mamy zapis tożsamy równoważności Pitagorasa:
A1B3: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) =1*1=1
To samo w zapisie ogólnym:
A1B3: p<=>q = (A1: p=>q)*(B1: p~>q) = 1*1=1

Lewą stronę czytamy:
A1B3: TP<=>SK
Trójkąt jest prostokątny (TP) wtedy i tylko wtedy gdy spełniona jest w nim suma kwadratów (SK)

Prawą stronę czytamy:
(A1: TP=>SK)*(B1: TP~>SK) =1*1=1
Bycie trójkątem prostokątnym (TP) jest warunkiem koniecznym ~> (B1) i wystarczającym => (A1) do tego, by zachodziła w nim suma kwadratów (SK)
Innymi słowy:
Do tego, aby w trójkącie zachodziła suma kwadratów (SK) potrzeba ~> (B1) i wystarcza => (A1) by ten trójkąt był prostokątny (TP)

To jest poprawna definicja równoważności TP<=>SK znana absolutnie każdemu matematykowi, a więc także Szaremuobywatelowi
Czy mam rację Szaryobywatelu?
TAK/NIE
Jeśli kto ma nadzieję że Szaryobywatel odpowie na to pytanie to jest w błędzie - o czym za chwilkę wszyscy się przekonamy.

Dowód poprawności definicji równoważności TP<=>SK
Klikamy na googlach:
„koniecznym i wystarczającym”
Wyników: tysiące (10 stron na googlach)
„potrzeba i wystarcza”
Wyników: tysiące (12 stron na googlach)

Zastosujmy prawo Irbisa w odniesieniu do równoważności Pitagorasa.
Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q i jednocześnie zbiór q jest podzbiorem => zbioru p
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q

Prawo Irbisa dla równoważności Pitagorasa przyjmuje brzmienie:
Dwa zbiory TP i SK są tożsame TP=SK wtedy i tylko wtedy gdy zbiór TP jest podzbiorem => zbioru SK i jednocześnie zbiór SK jest podzbiorem => zbioru TP
A1B3: TP=SK <=> (A1: TP=>SK)*(B3: SK=>TP) = A1B3: TP<=>SK

II. „Ciemna strona Księżyca” dla każdego Ziemskiego matematyka!

Pokazuję i objaśniam co oznacza tożsamość zbiorów TP=SK o która to tożsamość jest „ciemną stroną Księżyca” dla każdego ziemskiego matematyka.
Zobaczmy co oznacza tożsamość zbiorów:
TP=SK
Czyli:
[TP = zbiór trójkątów prostokątnych] = [SK - zbiór trójkątów ze spełnioną suma kwadratów]

Stąd mamy:
I.
Twierdzenie proste Pitagorasa w przełożeniu na zbiory:
A1: TP=>SK =1
To samo w zapisie ogólnym:
A1: p=>q =1
Punkt odniesienia:
p=TP (zbiór trójkątów prostokątnych)
q=SK (zbiór trójkątów ze spełniona sumą kwadratów)

[TP = zbiór trójkątów prostokątnych] => [SK - zbiór trójkątów ze spełnioną suma kwadratów]
Jeśli ze zbioru wszystkich trójkątów (ZWT) wylosujemy dowolny trójkąt prostokątny (TP) ze zbioru TP to mamy 100% pewność, iż w tym trójkącie spełniona jest sumak kwadratów (SK) dostępna w zbiorze SK, przy czym odwzorowanie jest tu 1:1 co oznacza, że dla dowolnego trójkąta prostokątnego (TP) ze zbioru TP istnieje wyłącznie jedna suma kwadratów (SK) w zbiorze SK przypisana do tego trójkąta.

I.
Twierdzenie odwrotne Pitagorasa w przełożeniu na zbiory:
B3: SK=>TP =1
To samo w zapisie ogólnym:
B3: q=>p =1

[TP = zbiór trójkątów prostokątnych] <= [SK - zbiór trójkątów ze spełnioną suma kwadratów]

Jeśli ze zbioru wszystkich trójkątów (ZWT) wylosujemy trójkąt ze spełnioną suma kwadratów (SK) ze zbioru SK to mamy 100% pewność, że ten trójkąt jest trójkątem prostokątnym (TP) istniejącym w zbiorze TP przy czym odwzorowanie jest tu 1:1 co oznacza, że dla dowolnego trójkąta ze spełnioną sumą kwadratów (SK) ze zbioru SK istnieje wyłącznie jeden trójkąt prostokątny (TP) w zbiorze TP.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Czw 16:23, 11 Lip 2024 Temat postu:

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

szaryobywatel napisał:

No gdzie ta sprzeczność w KRZ?

Konkrety proszę.
Zgadzasz się że opisane w cytacie niżej prawo Irbisa jest prawem Klasycznego Rachunku Zdań?
TAK/NIE
Innej odpowiedzi nie akceptuję.

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

rafal3006 napisał:

Czy kto ma nadzieję, że potworny tchórz zwany Szarym obywatelem odpowie na banalne pytanie?

Szary obywatelu konkrety proszę:
Irbisol twierdzi, ze prawo Irbisa to prawo KRZ
Zgadzasz się z Irbisolem?
TAK/NIE
Czy kto ma nadzieję, że potworny tchórz zwany Szarym obywatelem odpowie na to banalne pytanie?

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

Rafal3006 napisał:

II. „Ciemna strona Księżyca” dla każdego Ziemskiego matematyka!

Zastosujmy prawo Irbisa w odniesieniu do równoważności Pitagorasa.
Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q i jednocześnie zbiór q jest podzbiorem => zbioru p
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q

Prawo Irbisa dla równoważności Pitagorasa przyjmuje brzmienie:
Dwa zbiory TP i SK są tożsame TP=SK wtedy i tylko wtedy gdy zbiór TP jest podzbiorem => zbioru SK i jednocześnie zbiór SK jest podzbiorem => zbioru TP
A1B3: TP=SK <=> (A1: TP=>SK)*(B3: SK=>TP) = A1B3: TP<=>SK

Pokazuję i objaśniam co oznacza tożsamość zbiorów TP=SK o która to tożsamość jest „ciemną stroną Księżyca” dla każdego ziemskiego matematyka.
Zobaczmy co oznacza tożsamość zbiorów:
TP=SK
Czyli:
[TP = zbiór trójkątów prostokątnych] = [SK - zbiór trójkątów ze spełnioną suma kwadratów]

Stąd mamy:
I.
Twierdzenie proste Pitagorasa w przełożeniu na zbiory:
A1: TP=>SK =1
To samo w zapisie ogólnym:
A1: p=>q =1
Punkt odniesienia:
p=TP (zbiór trójkątów prostokątnych)
q=SK (zbiór trójkątów ze spełniona sumą kwadratów)

[TP = zbiór trójkątów prostokątnych] => [SK - zbiór trójkątów ze spełnioną suma kwadratów]
Jeśli ze zbioru wszystkich trójkątów (ZWT) wylosujemy dowolny trójkąt prostokątny (TP) ze zbioru TP to mamy 100% pewność, iż w tym trójkącie spełniona jest sumak kwadratów (SK) dostępna w zbiorze SK, przy czym odwzorowanie jest tu 1:1 co oznacza, że dla dowolnego trójkąta prostokątnego (TP) ze zbioru TP istnieje wyłącznie jedna suma kwadratów (SK) w zbiorze SK przypisana do tego trójkąta.

I.
Twierdzenie odwrotne Pitagorasa w przełożeniu na zbiory:
B3: SK=>TP =1
To samo w zapisie ogólnym:
B3: q=>p =1

[TP = zbiór trójkątów prostokątnych] <= [SK - zbiór trójkątów ze spełnioną suma kwadratów]

Jeśli ze zbioru wszystkich trójkątów (ZWT) wylosujemy trójkąt ze spełnioną suma kwadratów (SK) ze zbioru SK to mamy 100% pewność, że ten trójkąt jest trójkątem prostokątnym (TP) istniejącym w zbiorze TP przy czym odwzorowanie jest tu 1:1 co oznacza, że dla dowolnego trójkąta ze spełnioną sumą kwadratów (SK) ze zbioru SK istnieje wyłącznie jeden trójkąt prostokątny (TP) w zbiorze TP.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34703
Przeczytał: 24 tematy

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

Wysłany: Czw 17:47, 11 Lip 2024 Temat postu:

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

szaryobywatel napisał:

Rafal3006 napisał:

Chcesz powiedzieć, że twoje gówno zwane KRZ nie zna pojęcia "Równoważność Pitagorasa TP<=>SK?

No wyobraź sobie że nie, idioto. To jest równoważność w teorii dla której KRZ jest metateorią.

Metateorią - matko Boska i wszyscy Święci - a co to za gówno jest! :shock:

I.
Jak wytłumaczysz to uczniowi 6 klasy SP który tak rozumie równoważność Pitagorasa?

[link widoczny dla zalogowanych]

zadanie.info napisał:

Trójkąt jest prostokątny wtedy i tylko wtedy gdy kwadrat długości najdłuższego boku jest równy sumie kwadratów dwóch pozostałych boków (twierdzenie Pitagorasa). Musimy zatem sprawdzić czy jest spełniony ten warunek.

II.
Jak wytłumaczysz Irbisolowi że prawo Irbisa nie jest prawem KRZ?
Uważaj, bo Irbisol, za moją radą, kupił sobie siekierę, i idzie w twoim kierunku

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

rafal3006 napisał:

Rafal3006 napisał:

Ostatnio zmieniony przez rafal3006 dnia Czw 20:11, 11 Lip 2024, w całości zmieniany 2 razy

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 ... 94, 95, 96 ... 108, 109, 110 Następny
Strona 95 z 110

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