Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Dyskusja na temat algebry Kubusia
Idź do strony Poprzedni  1, 2, 3 ... 137, 138, 139 ... 152, 153, 154  Następny
 
Napisz nowy temat   Odpowiedz do tematu    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: 37105
Przeczytał: 22 tematy

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

PostWysłany: Pią 11:08, 10 Sty 2025    Temat postu:

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

Czy ma kto nadzieję że punkty 1 i 2 Irbisol kiedykolwiek zrozumie?

Irbisol napisał:
rafal3006 napisał:
Dlaczego twoje dowody są poprawne a Jasia dowód jest do dupy?
Pytanie retoryczne:
Wyjaśnisz to kiedykolwiek, czy nigdy?

Już wyjaśniałem to dwa razy.
Nie tyle dowód Jasia jest do dupy, co nie wiadomo, czy jest zgodny ze sposobem nauczanym obecnie.
Retoryczne jest więc tylko pytanie, kiedy to do ciebie dotrze.

Aktualnie nauczana jest tylko i wyłącznie definicja równoliczności zbiorów p~q, - podana razem z zadaniem do rozwiązania!
Znajdź błąd w rozwiązaniu twojego testu przez Jasia.
Znajdziesz taki błąd, kasuję calusieńką algebrę Kubusia.
Czas START

Poznaj moje dobre serduszko - podpowiedź.

Gdzie może być błąd?
1.
Błąd jest w samej, matematycznej definicji zbiorów równolicznych w podręczniku matematyki
2.
Jaś błędnie używa definicji równoliczności ze swojego podręcznika matematyki - podanej w cytacie niżej!

Trzeciej możliwości brak!

Dotrze to kiedykolwiek do ciebie, czy nigdy?
Czy ma kto nadzieję że punkty 1 i 2 Irbisol kiedykolwiek zrozumie?

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

rafal3006 napisał:
Czy Irbisol wystawi ocenę swojemu uczniowi Jasiowi?

Irbisol napisał:
Nie wiem co to znaczy "mój dowód". Ja nie mam jakichś "moich" dowodów.

Wyobraź sobie że jesteś nauczycielem matematyki.
Dajesz swoim uczniom zadanie testowe jak niżej sprawdzające zrozumienie definicji równoliczności z podręcznika matematyki.

Irbisolu:
Uczeń Jas zapisał ci rozwiązanie zadania testowego jak niżej.
Twoim zadaniem jest wystawić mu ocenę od 2-5.

Pytanie retoryczne:
Czy ma kto nadzieję że Irbisol wystawi jakąkolwiek ocenę?

Zadanie testowe.
Definicja równoliczności "~" zbiorów p~q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów
p~q =1 - p i q są (=1) równoliczne wtedy i tylko wtedy gdy mają identyczną liczbę elementów
inaczej:
p~q =0 - zbiory p i q nie są (=0) równoliczne

Plecenie:
Udowodnij, że poniższe dwa zbiory p i q są równoliczne lub nie są równoliczne.
p=[dziecko, dziecko, dziecko, dziecko, dziecko]
q=[dziecko]

Rozwiązanie ucznia Jasia:
p=[dziecko + dziecko + dziecko + dziecko + dziecko] = [5-cioro dzieci]
q=[jedno dziecko]

Gdzie:
"+" - znak dodawania algebraicznego

Odpowiedź:
Zbiory p i q nie są równoliczne, bo pięcioro dzieci (zbiór p) to nie to samo co jedno dziecko (zbiór q)
c.n.d.


Ostatnio zmieniony przez rafal3006 dnia Pią 11:10, 10 Sty 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 11:19, 10 Sty 2025    Temat postu:

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

Czy Irbisol odpowie na pytanie na poziomie 5-cio latka?
Ma kto taką nadzieję?

Irbisol napisał:
Nauczanie jest jakie jest - a nie takie, jakie sobie wymyślisz.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827701
rafal3006 napisał:

Gdzie może być błąd?
1.
Błąd jest w samej, matematycznej definicji zbiorów równolicznych w podręczniku matematyki
2.
Jaś błędnie używa definicji równoliczności ze swojego podręcznika matematyki - podanej w cytacie niżej!

Trzeciej możliwości brak!

Zacznijmy od podstaw.

Ad.1
Możliwe jest że sama definicja równoliczności zbiorów w podręczniku Jasia jest błędna

W podręczniku Jasia widnieje taka definicja równoliczności zbiorów.

Definicja równoliczności "~" zbiorów p~q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów
p~q =1 - p i q są (=1) równoliczne wtedy i tylko wtedy gdy mają identyczną liczbę elementów
inaczej:
p~q =0 - zbiory p i q nie są (=0) równoliczne

Pytanie retoryczne do Irbisola (bo nigdy nie odpowie):
Czy powyższa definicja równoliczności zbiorów p~q widniejąca w podręczniku Jasia jest matematycznie poprawna?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Pią 11:49, 10 Sty 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 14:08, 10 Sty 2025    Temat postu:

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

Definicja równoliczności p~q w algebrze Kubusia!
Jest fundamentalnie inna niż definicja równoliczności p~q w gównie zwanym teorią mnogości!

Irbisol napisał:

Zobacz, schizofreniku, od ilu tematów już zdążyłeś uciec:
- niezgodność liczenia Jasia z tym, co twierdzi AK na temat liczności zbiorów z powtarzającymi się elementami

Irbisolu,
W algebrze Kubusia przed przystąpieniem do liczenia elementów w zbiorze twoim psim obowiązkiem jest eliminacja powtarzających się (identycznych) elementów w zbiorze.

Oczywistym jest, że to generuje czysto matematyczną sprzeczność między definicją równoliczności wedle podręcznika Jasia gdzie nie ma obowiązku minimalizacji zbioru a algebrą Kubusia gdzie istnieje obowiązek wstępnej minimalizacji zbioru.

Szczegóły!

1.
W podręczniku Jasia widnieje taka poniższa definicja równoliczności p~q zbiorów.


Definicja równoliczności "~" zbiorów p~q w podręczniku Jasia:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów
p~q =1 - p i q są (=1) równoliczne wtedy i tylko wtedy gdy mają identyczną liczbę elementów
inaczej:
p~q =0 - zbiory p i q nie są (=0) równoliczne

W powyższej definicji nie ma nic na temat zastąpienie w zbiorach wszelkich elementów powtarzających się (identycznych) [a+a+..a] jednym elementem [a]

2.
Definicja równoliczności zbiorów w algebrze Kubusia jest fundamentalnie inna!


W podręczniku algebry Kubusia widnieje taka definicja równoliczności zbiorów.

Definicja równoliczności "~" zbiorów p~q w algebrze Kubusia:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów
p~q =1 - p i q są (=1) równoliczne wtedy i tylko wtedy gdy mają identyczną liczbę elementów
inaczej:
p~q =0 - zbiory p i q nie są (=0) równoliczne

Zastrzeżenie:
Warunkiem koniecznym prawidłowego policzenia elementów w zbiorze jest jego minimalizacja, tzn. wszelkie powtarzające się elementy (identyczne) zbioru sprowadzamy do jednego elementu na mocy prawa algebry Boole’a:
a+a+ …+a =a – redukcja serii identycznych pojęć a w zbiorze p=[a,a,a,a,..a] do jednego pojęcia p=[a]

Dokładnie z tego powodu rozwiązanie Jasia poproszonego o rozstrzygnięcie czy poniższe zbiory p i q są równoliczne jest matematycznie błędne!

Plecenie:
Udowodnij, że poniższe dwa zbiory p i q są równoliczne lub nie są równoliczne.
p=[dziecko, dziecko, dziecko, dziecko, dziecko]
q=[dziecko]

Rozwiązanie ucznia Jasia:
p=[dziecko + dziecko + dziecko + dziecko + dziecko] = [5-cioro dzieci]
q=[jedno dziecko]

Gdzie:
"+" - znak dodawania algebraicznego

Odpowiedź:
Zbiory p i q nie są równoliczne, bo pięcioro dzieci (zbiór p) to nie to samo co jedno dziecko (zbiór q)
c.n.d

Podsumowując:
Zauważ Irbisolu, że błędne rozwiązanie Jasia nie jest jego winą!

100% odpowiedzialności za błędne rozwiązanie Jasia ponosi gówno-definicja równoliczności zbiorów p~q widniejącej w jego podręczniku, która to definicja nie zmusza go do wstępnej minimalizacji zbioru p (jak wyżej) przed przystąpieniem do liczenia elementów w zbiorze.

3.
Poprawne rozwiązanie twojego testu Irbisolu na gruncie AK jest takie:


Plecenie:
Udowodnij, że poniższe dwa zbiory p i q są równoliczne lub nie są równoliczne.
p=[dziecko, dziecko, dziecko, dziecko, dziecko]
q=[dziecko]

Rozwiązanie uczennicy Zuzi:
p=[dziecko + dziecko + dziecko + dziecko + dziecko]
q=[dziecko]
Przed przystąpieniem do liczenia elementów w zbiorach p i q musimy zminimalizować zbiór p na mocy prawa algebry Boole’a:
a+a+ …+a =a - redukcja serii identycznych pojęć a w zbiorze p=[a,a,a,a,a] do jednego pojęcia p=[a]

Stąd po minimalizacji budowa zbiorów p i q jest następująca:
p=[dziecko]
q=[dziecko]

Stąd mamy jedyną poprawną matematycznie odpowiedź:
Zbiory p i q są równoliczne, bo zawierają identyczną liczbę elementów (tu akurat jeden element)
c.n.d
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pią 21:18, 10 Sty 2025    Temat postu:

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

Teoria niezbędna dla zrozumienia dalszej mojej dyskusji z Irbisolem!

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

Algebra Kubusia napisał:
Algebra Kubusia - matematyka języka potocznego

Spis treści
12.0 Kubusiowa teoria zbiorów 1
12.1 Elementarne działania logiczne na zbiorach 2
12.1.1 Suma logiczna zbiorów 2
12.1.2 Iloczyn logiczny zbiorów 3
12.1.3 Różnica (-) zbiorów 3


12.0 Kubusiowa teoria zbiorów

Punkty 1.0 do 11.0 dotyczą teorii zdarzeń, czyli logiki matematycznej którą w praktyce rozumie każdy 5-cio latek na przykładach stosownych do jego wieku np. o chmurce i deszczu.
Teoria zbiorów dla potrzeb logiki matematycznej opisana w punktach 12.0 do 18.0 jest analogiczna do teorii zdarzeń.

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

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

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)

Prawa Prosiaczka
Prawa Prosiaczka omówiono szczegółowo w punkcie 1.4

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:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji

Przykład 1.
(p=1) = (~p=0)
1.
[pies]=1 - prawdą jest (=1) iż wiem co znaczy pojęcie pies
Prawo Prosiaczka:
(p=1) = (~p=0)
Nasz przykład:
(pies=1) = (~pies=0) - na mocy prawa Prosiaczka
stąd zdanie tożsame do 1:
~pies=0 - fałszem jest (=0), że nie wiem (~) co znaczy pojęcie [pies]

Przykład 2.
(~p=1) = (p=0)
2.
agstd=0 - fałszem jest (=0) iż wiem co znaczy pojęcie „agstd”
Prawo Prosiaczka:
(agstd=0) = (~agstd=1)
stąd zdanie tożsame do 2:
~agstd=1 - prawdą jest (=1), że nie wiem (~) co znaczy pojęcie agstd

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

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

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.1 Elementarne działania logiczne na zbiorach

Elementarne działania na zbiorach to:
(+) - suma logiczna zbiorów
(*) - iloczyn logiczny zbiorów
(-) - różnica logiczna zbiorów

12.1.1 Suma logiczna zbiorów

Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
Zdefiniujmy dwa zbiory p i q:
p=[K, T] =1 - bo zbiór niepusty
q=[T, P] =1 - bo zbiór niepusty
Y=p+q=[K,T]+[T,P]=[K,T,T,P] = [K+T+T+P] = [K+T+P] = [K,T,P] =1 - bo zbiór wynikowy niepusty
Bo prawo Algebry Boole’a:
p+p =p
Uwaga:
Przecinek przy wyliczaniu elementów zbioru jest tożsamy ze spójnikiem „lub”(+) z algebry Boole’a co pokazano i udowodniono wyżej.

12.1.2 Iloczyn logiczny zbiorów

Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Y = p*q =1 - gdy zbiory p i q mają (=1) co najmniej jeden element wspólny (zbiór wynikowy jest niepusty)
Y = p*q =0 - gdy zbiory p i q nie mają (=0) elementu wspólnego (są rozłączne)

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
S - Słoń
Zdefiniujmy zbiory p, q, r:
p=[K,T] =1 - bo zbiór niepusty
q=[T,P] =1 - bo zbiór niepusty
r=[P,S] =1 - bo zbiór niepusty
Y=p*q=[K,T]*[T,P]=[T] =1 - zbiory p i q mają (=1) co najmniej jeden element wspólny
Y=p*r=[K,T]*[P,S] =[] =0 - zbiory p i r nie mają (=0) elementu wspólnego

Identyczne wyniki można uzyskać poprzez wymnażanie logiczne zbiorów.
Przykład:
p*q = [K+T]*[T+P] = K*T + K*P + T*T + T*P =[] + [] + T + [] = T
bo:
K*T+ K*P + T*P =[]+[]+[] =0+0+0 =0 - iloczyn logiczny „*” zbiorów (pojęć) rozłącznych jest zbiorem pustym []
T*T =T
bo prawo algebry Boole’a:
p*p =p
Jak widzimy, przy wyliczaniu elementów zbioru przecinek jest tożsamy ze spójnikiem „lub”(+) rodem z algebry Boole’a.

12.1.3 Różnica (-) zbiorów

Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q

Oznaczmy:
K - Kubuś
T - Tygrysek
p=[K,T] =1 - bo zbiór niepusty
q=[T] =1 - bo zbiór niepusty
Stąd:
Y=p-q = [K,T]-[T] =[K+T-T] =[K] =1 - bo zbiór wynikowy niepusty
Y=q-p =[K]-[K,T]=[K-(K+T)]=[K-K-T]= [] + [-T] =[-T] =[] =0 - bo zbiór wynikowy pusty

Prawo odejmowania zbiorów:
Jeśli w operacji odejmowania zbiorów wynikowy zbiór jest z minusem {-} to taki zbiór zamieniamy na zbiór pusty []
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 7:39, 11 Sty 2025    Temat postu:

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

Teoria mnogości = jedno wielkie potwornie śmierdzące gówno
Dowód w niniejszym poście.

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

Algebra Kubusia z definicji nie rozpoznaje pojęć którym mózg człowieka nadaje znaczenie. W tym sensie algebra Kubusia jest głupsza niż ustawa przewiduje, czyli jest niezależna od jakiegokolwiek języka.

Dokładnie to jest powodem konieczności wprowadzenia do logiki matematycznej „pojęcia matematycznego”

Definicja „pojęcia matematycznego” w algebrze Kubusia:
„Pojęcie matematyczne” w algebrze Kubusia to jednoznaczny ciąg znaczków (niekoniecznie literek).

Przykłady jednoznacznych „pojęć matematycznych” widzianych oczami algebry Kubusia:
dziecko
##
bleble
##
asfdtuesdff
Gdzie:
## - „pojęcia matematyczne” różne na mocy definicji definiowane indywidualnym, dowolnym ciągiem znaków.

Z punktu odniesienia człowieka, na mocy prawa Rekina mamy następującą definicję pojęcia.

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

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Prawo algebry Boole’a:
Prawo redukcji pojęć tożsamych [a+a+…+a] do jednego pojęcia [a]
[a+a+…+a] =[a]

Uwaga 1
Znaczek „+” to znaczek sumy logicznej a nie znaczek dodawania algebraicznego „+”
Małe, a robi fundamentalną różnicę.

Tożsamości w języku potocznym:
Kod:

Język potoczny     Teoria zbiorów      Teoria bramek   Matematyka
Spójnik „lub”(+) = suma logiczna „+” = bramka OR(+)  = alternatywa (+)

Uwaga 2
W teorii zbiorów zachodzi tożsamość:
Przecinek (,) = spójnik logiczny „lub”(+) = suma logiczna (+)
Przecinek (,) oddzielający elementy w zbiorze jest tożsamy ze spójnikiem „lub”(+) w języku potocznym oraz jest tożsamy z sumą logiczną w teorii zbiorów (+)

Zadanie typowe z logiki matematycznej:
Zbadaj z ilu elementów zbudowany jest poniższy zbiór p?
p=[dziecko, dziecko, dziecko, dziecko Ewy, Jaś, kura]

Zapis matematycznie tożsamy to:
p =[dziecko + dziecko + dziecko + dziecko Ewy + Jaś + kura]
Gdzie:
(+) – suma logiczna z teorii zbiorów

Kolejny zapis matematycznie tożsamy to:
p =[dziecko „lub” dziecko „lub” dziecko „lub” dziecko Ewy „lub” Jaś „lub” kura]
Gdzie:
„lub” – spójnik „lub”(+) w języku potocznym człowieka

Na mocy redukcji pojęć tożsamych poprawna odpowiedź dla zadania typowego to:
Zbiór p zbudowany jest z czterech elementów

Dowód:
p= [dziecko, dziecko, dziecko, dziecko Ewy, Jaś, kura] = [dziecko, dziecko Ewy, Jaś, kura]
bowiem na mocy redukcji pojęć tożsamych w algebrze Boole’a mamy:
[dziecko, dziecko, dziecko]=[dziecko]
c.n.d.

Uwaga 3
Nieodróżnianie spójnika „lub”(+) od znaczka dodawania algebraicznego „+” jest przyczyną błędu fatalnego w ziemskiej logice matematycznej zwanej „teorią mnogości”

Wniosek:
Zachodzi matematyczna tożsamość:
Teoria mnogości = jedno wielkie potwornie śmierdzące gówno
c.n.d.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 7:48, 11 Sty 2025    Temat postu:

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

Irbisol napisał:
Nikogo chyba nie musisz przekonywać, że zawsze masz pod opieką tylko jedno dziecko albo żadnego i dlatego możesz gubić dzieci dowolnie (byleby przynajmniej jedno zostało) :rotfl:
Tylko nadal ciekawi mnie, jak działa Karta Dużej Rodziny, skoro wszyscy mają max. po jednym dziecku.

Irbisolu, mój post wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827869
rafal3006 napisał:
Teoria mnogości = jedno wielkie potwornie śmierdzące gówno
Dowód w niniejszym poście.

to odpowiedź na twoją głupotę czysto matematyczną zawartą w twojej wypowiedzi.

Pytanie retoryczne:
Ma kto nadzieję, ze Irbisol przeczyta :shock:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 13:08, 11 Sty 2025    Temat postu:

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

Irbisol napisał:
Czyli przyznanie ci racji w tym, co piszesz, nazywasz głupotą matematyczną - oto kolejny poziom schizofrenii.

Piszę to samo od zawsze.
Zrozumiał?
Jeśli tak, to witamy w klubie algebry Kubusia
:szacunek: :* :pidu:

P.S.
Dzięki, definicja "pojęcia matematycznego" to premiera w algebrze Kubusia:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827869


Ostatnio zmieniony przez rafal3006 dnia Sob 13:09, 11 Sty 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 16:08, 11 Sty 2025    Temat postu:

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

Fundamenty logiki matematycznej vs liczenie elementów w zbiorze

Prawo Kruka:
Logika matematyczna ma zero wspólnego z liczeniem elementów w zbiorze

Prawo Jelenia:
Dowolny matematyk który mówi, że logika matematyczna ma cokolwiek wspólnego z liczeniem elementów w zbiorze jest matematycznym idiotą.

Dowód prawa Jelenia:
Dowód prawa Jelenia to definicje elementarnych znaczków używanych w logice matematycznej.
Każdy znaczek w logice matematycznej musi mieć swoją jednoznaczną definicję zero-jedynkową, inaczej nie jest znaczkiem z obszaru logiki matematycznej!
Żaden z elementarnych znaczków logiki matematycznej nie pozwala na jakiekolwiek liczenie elementów w zbiorze.

Elementarne znaczki matematyki klasycznej które nie należą do logiki matematycznej to:
„+” - suma algebraiczna
„*” - iloczyn algebraiczny
„/” – dzielenie algebraiczne

Część I.
Elementarne operacje logiczne na zbiorach


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


Spis treści
12.1 Elementarne działania logiczne na zbiorach 1
12.1.1 Suma logiczna zbiorów 1
12.1.2 Iloczyn logiczny zbiorów 2
12.1.3 Różnica (-) zbiorów 2

12.1 Elementarne działania logiczne na zbiorach

Elementarne działania na zbiorach to:
(+) - suma logiczna zbiorów
(*) - iloczyn logiczny zbiorów
(-) - różnica logiczna zbiorów

12.1.1 Suma logiczna zbiorów

Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
Zdefiniujmy dwa zbiory p i q:
p=[K, T] =1 - bo zbiór niepusty
q=[T, P] =1 - bo zbiór niepusty
Y=p+q=[K,T]+[T,P]=[K,T,T,P] = [K+T+T+P] = [K+T+P] = [K,T,P] =1 - bo zbiór wynikowy niepusty
Bo prawo Algebry Boole’a:
p+p =p
Uwaga:
Przecinek przy wyliczaniu elementów zbioru jest tożsamy ze spójnikiem „lub”(+) z algebry Boole’a co pokazano i udowodniono wyżej.

12.1.2 Iloczyn logiczny zbiorów

Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Y = p*q =1 - gdy zbiory p i q mają (=1) co najmniej jeden element wspólny (zbiór wynikowy jest niepusty)
Y = p*q =0 - gdy zbiory p i q nie mają (=0) elementu wspólnego (są rozłączne)

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
S - Słoń
Zdefiniujmy zbiory p, q, r:
p=[K,T] =1 - bo zbiór niepusty
q=[T,P] =1 - bo zbiór niepusty
r=[P,S] =1 - bo zbiór niepusty
Y=p*q=[K,T]*[T,P]=[T] =1 - zbiory p i q mają (=1) co najmniej jeden element wspólny
Y=p*r=[K,T]*[P,S] =[] =0 - zbiory p i r nie mają (=0) elementu wspólnego

Identyczne wyniki można uzyskać poprzez wymnażanie logiczne zbiorów.
Przykład:
p*q = [K+T]*[T+P] = K*T + K*P + T*T + T*P =[] + [] + T + [] = T
bo:
K*T+ K*P + T*P =[]+[]+[] =0+0+0 =0 - iloczyn logiczny „*” zbiorów (pojęć) rozłącznych jest zbiorem pustym []
T*T =T
bo prawo algebry Boole’a:
p*p =p
Jak widzimy, przy wyliczaniu elementów zbioru przecinek jest tożsamy ze spójnikiem „lub”(+) rodem z algebry Boole’a.

12.1.3 Różnica (-) zbiorów

Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q

Oznaczmy:
K - Kubuś
T - Tygrysek
p=[K,T] =1 - bo zbiór niepusty
q=[T] =1 - bo zbiór niepusty
Stąd:
Y=p-q = [K,T]-[T] =[K+T-T] =[K] =1 - bo zbiór wynikowy niepusty
Y=q-p =[K]-[K,T]=[K-(K+T)]=[K-K-T]= [] + [-T] =[-T] =[] =0 - bo zbiór wynikowy pusty

Prawo odejmowania zbiorów:
Jeśli w operacji odejmowania zbiorów wynikowy zbiór jest z minusem {-} to taki zbiór zamieniamy na zbiór pusty [].


Część II.
Elementarne relacje między zbiorami


http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:

Spis treści

2.3 Elementarne spójniki implikacyjne w zbiorach 3
2.3.1 Definicja elementu wspólnego zbiorów ~~> 3
2.3.2 Definicja warunku wystarczającego => w zbiorach 4
2.3.3 Definicja warunku koniecznego ~> w zbiorach 5


2.3 Elementarne spójniki implikacyjne w zbiorach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zbiorów/zdarzeń p i q.

2.3.1 Definicja elementu wspólnego zbiorów ~~>

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q =p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q= p*q= [] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>

Decydujący w powyższej definicji jest znaczek elementu wspólnego zbiorów ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
W operacji iloczynu logicznego zbiorów p*q poszukujemy jednego wspólnego elementu co kończy dowód.
Kod:

Zero-jedynkowa definicja elementu wspólnego zbiorów ~~>:
   p  q p~~>q = p*q + p*~q + ~p*~q + ~p*q
A: 1  1  =1
B: 1  0  =1
C: 0  0  =1
D: 0  1  =1
Interpretacja:
p~~>q=p*q=1 - wtedy i tylko wtedy
              gdy istnieje (=1) element wspólny ~~> zbiorów p i q
Inaczej:
p~~>q=p*q=0

Przykład:
Jeśli dowolna liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3 = P8*P3 =1
Istnieje (=1) wspólny element zbiorów P8=[8,16,24..] i P3=[3,6,9..24..] np. 24

2.3.2 Definicja warunku wystarczającego => w zbiorach

Definicja podzbioru => w algebrze Kubusia:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek wystarczający => = relacja podzbioru =>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Przykład:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2
P8=>P2 =1
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Udowodnić relację podzbioru P8=>P2 potrafi każdy matematyk.

W zapisie formalnym mamy tu:
p=P8=[8,16,24..] - zbiór liczb podzielnych przez 8
q=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")

Podsumowując:
Kod:

Definicja warunku wystarczającego =>:
Zapis formalny:
A1: p=>q = ~p+q
Zapis aktualny (przykład):
A1: p=P8
A1: q=P2
A1: P8=>P2=~P8+P2


2.3.3 Definicja warunku koniecznego ~> w zbiorach

Definicja nadzbioru ~> w algebrze Kubusia:
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zbiór p zawiera co najmniej wszystkie elementy zbioru q
p~>q =1 - wtedy i tylko wtedy gdy relacja nadzbioru ~> jest (=1) spełniona
Inaczej:
p~>q =0 - wtedy i tylko wtedy gdy relacja nadzbioru ~> nie jest (=0) spełniona

Definicja warunku koniecznego ~> w zbiorach:
Jeśli p to q
p~>q =1
Zajście p jest (=1) konieczne ~> dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Zajście p nie jest (=0) konieczne ~> dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek konieczny ~> = relacja nadzbioru ~>

Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

Przykład:
B1.
Jeśli dowolna liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8 =1
Podzielność dowolnej liczby przez 2 jest warunkiem koniecznym ~> dla jej podzielności przez 8 wtedy i tylko wtedy gdy zbiór P2=[2,4,6,8..] jest nadzbiorem ~> zbioru P8=[8,16,24..]

W zapisie formalnym mamy tu:
p=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
q=P8=[8,16,24..] - zbiór liczb podzielnych przez 8
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")

Podsumowując:
Kod:

Definicja warunku koniecznego ~>:
Zapis formalny:
B1: p~>q = p+~q
Zapis aktualny (przykład):
B1: p=P2
B1: q=P8
B1: P2~>P8=P2+~P8

Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 16:28, 11 Sty 2025    Temat postu:

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

Irbisolu, czy zgadzasz się na prawo Kruka i prawo Jelenia?

Irbisol napisał:

No właśnie jestem pod wrażeniem, że można mieć pod opieką 10 dzieci, zgubić 9 i nadal mieć pod opieką tyle samo dzieci - czyli żadnego nie zgubić.
Dzięki AK problem zgubionych dzieci zostaje praktycznie rozwiązany - trzeba tylko uważać, żeby przynajmniej jedno zostało :rotfl:


Irbisolu, ustalmy najpierw wspólne fundamenty logiki matematycznej tzn. czym zajmuje się logika matematyczna, a czym matematyka klasyczna.
To są dwa, różne na mocy definicji działy matematyki, mające ze sobą zero wspólnego.

Dowód masz w tym moim poście:
Rafal3006 napisał:

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

Fundamenty logiki matematycznej vs liczenie elementów w zbiorze

Prawo Kruka:
Logika matematyczna ma zero wspólnego z liczeniem elementów w zbiorze

Prawo Jelenia:
Dowolny matematyk który mówi, że logika matematyczna ma cokolwiek wspólnego z liczeniem elementów w zbiorze jest matematycznym idiotą.

Dowód prawa Jelenia:
Dowód prawa Jelenia to definicje elementarnych znaczków używanych w logice matematycznej.
Każdy znaczek w logice matematycznej musi mieć swoją jednoznaczną definicję zero-jedynkową, inaczej nie jest znaczkiem z obszaru logiki matematycznej!
Żaden z elementarnych znaczków logiki matematycznej nie pozwala na jakiekolwiek liczenie elementów w zbiorze.

Elementarne znaczki matematyki klasycznej które nie należą do logiki matematycznej to:
„+” - suma algebraiczna
„*” - iloczyn algebraiczny
„/” – dzielenie algebraiczne


Podsumowując:
Irbisolu, czy zgadzasz się na prawo Kruka i prawo Jelenia?
TAK/NIE
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Sob 16:29, 11 Sty 2025    Temat postu:

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

Irbisol napisał:
To może od razu prawo Tasiemca: AK rządzi, a KRZ to gówno.

Brawo!
Zgadzam się z twoim wnioskiem w 100%

.. a teraz wróć do tematu i wypowiedz się co do meritum naszej dyskusji:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827943

rafal3006 napisał:
Irbisolu, czy zgadzasz się na prawo Kruka i prawo Jelenia?

Irbisol napisał:

No właśnie jestem pod wrażeniem, że można mieć pod opieką 10 dzieci, zgubić 9 i nadal mieć pod opieką tyle samo dzieci - czyli żadnego nie zgubić.
Dzięki AK problem zgubionych dzieci zostaje praktycznie rozwiązany - trzeba tylko uważać, żeby przynajmniej jedno zostało :rotfl:


Irbisolu, ustalmy najpierw wspólne fundamenty logiki matematycznej tzn. czym zajmuje się logika matematyczna, a czym matematyka klasyczna.
To są dwa, różne na mocy definicji działy matematyki, mające ze sobą zero wspólnego.

Dowód masz w tym moim poście:
Rafal3006 napisał:

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

Fundamenty logiki matematycznej vs liczenie elementów w zbiorze

Prawo Kruka:
Logika matematyczna ma zero wspólnego z liczeniem elementów w zbiorze

Prawo Jelenia:
Dowolny matematyk który mówi, że logika matematyczna ma cokolwiek wspólnego z liczeniem elementów w zbiorze jest matematycznym idiotą.

Dowód prawa Jelenia:
Dowód prawa Jelenia to definicje elementarnych znaczków używanych w logice matematycznej.
Każdy znaczek w logice matematycznej musi mieć swoją jednoznaczną definicję zero-jedynkową, inaczej nie jest znaczkiem z obszaru logiki matematycznej!
Żaden z elementarnych znaczków logiki matematycznej nie pozwala na jakiekolwiek liczenie elementów w zbiorze.

Elementarne znaczki matematyki klasycznej które nie należą do logiki matematycznej to:
„+” - suma algebraiczna
„*” - iloczyn algebraiczny
„/” – dzielenie algebraiczne


Podsumowując:
Irbisolu, czy zgadzasz się na prawo Kruka i prawo Jelenia?
TAK/NIE
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 13:56, 12 Sty 2025    Temat postu:

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

Rozniesienie w puch „Teorii mnogości” we wstępie do AK!

Irbisolu, nawet jak nic nie rozumiesz z tego co piszę (bo nie jesteś elektronikiem), to pięknie ci dziękuję.
Finał naszej ostatniej dyskusji zamieściłem we wstępie do algebry Kubusia – ten mój post.

To będzie mocne uderzenie w każdego matematyka który przeczyta wstęp do algebry Kubusia w stylu Alfreda Hitchcocka:

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


http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680041
Algebra Kubusia napisał:


Spis treści
0.0 Skorowidz znaczków używanych w algebrze Kubusia 4
0.1 Fundamenty logiki matematycznej 6
0.1.1 Elementarne znaczki logiki matematycznej: 6
0.1.2 Elementarne znaczki matematyki klasycznej 7
0.2 Dowód śmieciowości „Teorii mnogości” 7
0.2.1 Geneza błędu fatalnego w „Teorii mnogości” 8


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.14)
(*) - spójnik „i”(*) w języku potocznym (1.15)

3.
Operatory logiczne "lub"(|+) i "i'(|*) definiowane spójnikami podstawowymi "lub"(+) i "i"(*):

(|+) - operator "lub"(|+) w języku potocznym (1.14.1)
(|*) - operator "i"(|*) w języku potocznym (1.15.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) /\

0.1 Fundamenty logiki matematycznej

Logika matematyczna zajmuje się rozpoznawalnością elementów w zbiorze, nigdy algebraicznym liczeniem elementów w zbiorze.

Prawo Kruka:
Logika matematyczna ma zero wspólnego z liczeniem elementów w zbiorze

Prawo Barana:
Dowolny matematyk który mówi, że logika matematyczna ma cokolwiek wspólnego z liczeniem elementów w zbiorze jest matematycznym Baranem.

Dowód prawa Barana:
Dowód prawa Barana to porównanie definicji elementarnych znaczków używanych w „Logice matematycznej” z elementarnymi znaczkami używanymi w „Matematyce klasycznej”

0.1.1 Elementarne znaczki logiki matematycznej:

Każdy znaczek w „Logice matematycznej” musi mieć swoją jednoznaczną definicję zero-jedynkową, inaczej nie jest znaczkiem z obszaru logiki matematycznej.
W szczególności zauważmy że:
Żaden z elementarnych znaczków „Logiki matematycznej” nie pozwala na jakiekolwiek liczenie elementów w zbiorze.

Elementarne znaczki logiki matematycznej to:
1.
„+” - suma logiczna zbiorów
p+q - wszystkie elementy zbiorów p i q bez powtórzeń
2.
„*” - iloczyn logiczny zbiorów
p*q - wspólne elementy zbiorów p i q bez powtórzeń
3.
„-„ - różnica symetryczna zbiorów
p-q - wszystkie elementy zbioru p z wykluczeniem elementów wspólnych

Elementarne znaczki w obsłudze zdań warunkowych „Jeśli p to q”:
4.
~~> - element wspólny zbiorów
Jeśli p to q
p~~>q =1 - wtedy i tylko wtedy gdy zbiory p i q mają (=1) co najmniej jeden element wspólny
Inaczej:
p~>q =0
5.
=> - warunek wystarczający = relacja podzbioru
Jeśli p to q
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
6.
~> - warunek konieczny = relacja nadzbioru
Jeśli p to q
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0

0.1.2 Elementarne znaczki matematyki klasycznej

Elementarne znaczki matematyki klasycznej to:
„+” - suma algebraiczna (7+3=10)
„*” - mnożenie algebraiczne (7*3=21]
„-” - odejmowania algebraiczne (7-3=4)
„/” - dzielenie algebraiczne (21/7=3)

Doskonale widać, że dowolny elementarny znaczek z „Matematyki klasycznej” ma zero wspólnego z jakimkolwiek elementarnym znaczkiem z „Logiki matematycznej”.

Podsumowanie:
Dział matematyki „Logika matematyczna” jest rozłączny z działem „Matematyka klasyczna”

0.2 Dowód śmieciowości „Teorii mnogości”

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


Dowód śmieciowości ziemskiej logiki matematycznej zwanej „Teorią mnogości” poprzedzimy małym wstępem dotyczącym algebry Kubusia.

Algebra Kubusia z definicji nie rozpoznaje pojęć którym mózg człowieka nadaje znaczenie.
W tym sensie algebra Kubusia jest głupsza niż ustawa przewiduje, czyli jest niezależna od jakiegokolwiek języka.
Dokładnie to jest powodem konieczności wprowadzenia do logiki matematycznej definicji „pojęcia matematycznego”

Definicja „pojęcia matematycznego” w algebrze Kubusia:
„Pojęcie matematyczne” w algebrze Kubusia to jednoznaczny ciąg znaczków, niekoniecznie liter.

Przykładowo może to być malarstwo jaskiniowe:
[link widoczny dla zalogowanych]

Przykłady jednoznacznych „pojęć matematycznych” widzianych oczami algebry Kubusia:

dziecko
##
kura
##
bleble
##
asfdtuesdff
Gdzie:
## - „pojęcia matematyczne” różne na mocy definicji ## definiowane indywidualnym, dowolnym ciągiem znaków.

Z punktu odniesienia człowieka świat wygląda inaczej.

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

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

0.2.1 Geneza błędu fatalnego w „Teorii mnogości”

Aktualna logika matematyczna miesza dwa rozłączne działy matematyki:
1: Logika matematyczna
2: Matematyka klasyczna
błędnie zaliczając ziemską „Teorię mnogości” do działu „Logika matematyczna”

Szczegółowy dowód tego faktu znajdziemy w punkcie 32.0

Geneza błędu fatalnego w „Teorii mnogości”:
Fundamentem ziemskiej logiki matematycznej zwanej „Teorią mnogości” jest równoliczność zbiorów definiowana jak niżej.

Definicja równoliczności (~) zbiorów p i q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów.
p~q =1 - wtedy i tylko wtedy gdy zbiory p i q mają (=1) identyczną liczbę elementów
Inaczej:
p~q =0

Zauważmy że:
Na mocy definicji równoliczności zbiorów p~q nieistotne jest co te zbiory zawierają tzn. mogą zawierać „mydło i powidło”

Przykład 1
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =1 - zbiory p i q są (=1) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Przykład 2
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =0 - zbiory p i q nie są (=0) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Na czym polega śmieciowość „Teorii mnogości” przy zaliczeniu jej do działu „Logika matematyczna” każdy widzi.
Fundamentem logiki matematycznej zwanej „Teorią mnogości” jest algebraiczne liczenie elementów, co wyklucza ją z działu „Logika matematyczna”.
Definicja równoliczności zbiorów p~q jest poprawna, ale jest to definicja z działu „Matematyka klasyczna”, bowiem zajmujemy się tu algebraicznym liczeniem elementów w zbiorze, co wyklucza tą definicję z działu „Logika matematyczna”

Zauważmy fundamentalną różnicę między „Matematyką klasyczną” a „Logiką matematyczną”.

Matematyka klasyczna:
Przykład 3
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
poprawna odpowiedź: 7

Logika matematyczna:
Przykład 4
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Poprawna odpowiedź: 5
p=[dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Bo prawo redukcji/powielania tych samych elementów w zbiorze (prawo algebry Boole’a):
[a+a+..+a] = [a]
Nasz przykład:
[dziecko, dziecko, dziecko]=[dziecko]
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 14:16, 12 Sty 2025    Temat postu:

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

Na czym polega genialność Irbisola?
Na wyszukiwaniu gówien z aktualnej logiki matematycznej którymi warto się zająć.

Irbisol napisał:
Czyli liczenie nie opiera się na logice? Śmiem wątpić.


Gdy pierwszy raz w życiu w roku 2006 (26 lat po studiach elektronicznych) zobaczyłem pierwsze gówno rodem z KRZ
Jeśli 2+2=5 to jestem papieżem
podjąłem decyzję o rozszyfrowaniu poprawnej logiki matematycznej obowiązującej w naszym Wszechświecie którą nazwałem algebrą Kubusia.

To dzięki studiom elektronicznym na Politechnice Warszawskiej, jako ekspert sterowań w bramkach logicznych, od początku byłem absolutnie pewien, że KRZ (o którym na studiach nie było wspomniane nawet w jednym słowie) to jedno wielkie, potwornie śmierdzące gówno

Od razu dałem publicznie słowo, że nigdy w życiu nie przeczytam ani jednej strony z jakiegokolwiek podręcznika logiki matematycznej, bo w tak potwornie śmierdzącym gównie nie zamierzam pływać.
Słowa dotrzymałem – bez sensu byłoby czytanie milionów stron gówna dostępnego w Internecie w temacie „Logika matematyczna”.

W historii rozszyfrowywania algebry Kubusia dwóch ludzi było kluczowych, Fiklit i Irbisol.
Wstęp do AK napisał:

Kluczowi przyjaciele Kubusia, którzy wnieśli największy wkład w rozszyfrowanie algebry Kubusia to: Rafal3006, Wuj Zbój, Irbisol, Volrath, Macjan, Fiklit (kolejność chronologiczna).

Szczególne podziękowania dla:
1.
Fiklita, zdecydowanie najlepszego logika matematycznego z którymi dyskutowałem za jego 7 letnią dyskusję, dzięki której mogłem uszczelnić algebrę Kubusia przed zakusami jej zaciekłych wrogów.
2.
Irbisola, będącego odwiecznym i bezcennym wrogiem Nr.1 algebry Kubusia (18 lat dyskusji) za wszelką cenę usiłującym ją obalić, dzięki czemu wędrowaliśmy po dziewiczych zakamarkach matematyki, do których bez jego pomocy nigdy bym nie dotarł.

Komentarz:
1.
Jestem pewien, że Filit to najlepszy w Polsce wykładowca logiki matematycznej.
Fiklit starał się zrozumieć AK a nie tylko na siłę obalać, jak Irbisol – pamiętam, że już w początkach dyskusji (która trwała 7 lat) napisał, że kluczowe definicje w AK są inne niż w KRZ mówiąc, ze rozumie te inne definicje w AK.
Jego genialność polegała na tym, że podawał problemy z KRZ pytając jak dany problem rozwiązuje AK, dzięki czemu mogłem uszczelniać AK przed zakusami jej śmiertelnych wrogów np. Irbisola :)
2.
Irbisol to przeciwieństwo Fiklita.
Irbisol z góry zakłada, iż AK to gówno, dlatego nie przeczyta ani jednej strony z AK ale będzie ją zaciekle obalał posługując się definicjami rodem z KRZ.
Ostatni jego wściekły atak na AK przy pomocy „Teorii mnogości” zakończył się dla niego samego niespodziewanie – mam nadzieję, że już zrozumiał (albo wkrótce zrozumie), że „Teoria mnogości” to jedno, wielkie, potwornie śmierdzące gówno.

Irbisolu, nawet jak nic nie rozumiesz z tego co piszę (bo nie jesteś elektronikiem), to pięknie ci dziękuję.
Finał naszej ostatniej dyskusji zamieściłem we wstępie do algebry Kubusia – patrz mój post wyżej.

To będzie mocne uderzenie w każdego matematyka który przeczyta wstęp do algebry Kubusia w stylu Alfreda Hitchcocka:

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 16:41, 12 Sty 2025    Temat postu:

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

Irbisol napisał:
rafal3006 napisał:
Na czym polega genialność Irbisola?
Na wyszukiwaniu gówien z aktualnej logiki matematycznej którymi warto się zająć.
Irbisol napisał:
Czyli liczenie nie opiera się na logice? Śmiem wątpić.

Gdy pierwszy raz w życiu w roku 2006 (26 lat po studiach elektronicznych) zobaczyłem pierwsze gówno rodem z KRZ
Jeśli 2+2=5 to jestem papieżem
podjąłem decyzję o rozszyfrowaniu poprawnej logiki matematycznej obowiązującej w naszym Wszechświecie którą nazwałem algebrą Kubusia.

Gówniane jest jedynie twoje rozumienie tego zdania - w KRZ od dawna wiadomo, co to zdanie oznacza.

Dałeś właśnie dowód swojej matematycznej głupoty.
To, że zdanie:
Jeśli 2+2=5 to jestem papieżem
jest potwornie śmierdzącym gównem wie każdy 5-cio latek i humanista.

Oczywiście, że nigdy nie przeczytam twojego dowodu czysto "matematycznego" prawdziwości tego gówna, bo nie zamierzam nurkować w twoim gównie.
Zrozumiesz to kiedykolwiek, czy nigdy?
Gdybyś przeczytał początek AK to byś zrozumiał że twoje gówno jest gównem - no, ale ty masz swój dogmat:
AK to gówno i ja, Irbisol nie będę czytał AK
Zgadza się?

Irbisol napisał:
Pamiętasz jeszcze, o czym dyskutowałeś, a od czego notorycznie uciekasz? Chcesz nową, uaktualnioną listę?

Z mojego punktu odniesienia nie ma żadnych pytań na które nie dostałeś odpowiedzi.
Problem z tobą od zawsze mam taki że ty pytasz:
Czy 2+2=5?
i akceptujesz wyłącznie moje potwierdzenie:
Tak Irbisolu, masz rację: 2+2=5

Ty nigdy nie próbujesz zrozumieć czegokolwiek z punktu widzenia algebry Kubusia bo nigdy jej nie czytałeś i nigdy nie przeczytasz.

Ty Irbisolu nie znasz fundamentu obalania czegokolwiek.
Otóż, by obalić cokolwiek trzeba to cokolwiek przeczytać wykazując w tym cokolwiek wewnętrzną sprzeczność.
Zatem proponuję byś wziął się za obalanie algebry Kubusia od tej strony, zaczynając ją czytać - wszystko w niej napisane jest na poziomie co najwyżej 5-cio latka, więc w czym masz problem?

Twój problem to twój odwieczny dogmat:
AK jest gównem i nie muszę jej czytać.
Zgadza się?

P.S.
Obalanie AK nie polega na jakiejkolwiek dyskusji ze mną bo masz ją przed nosem, napisaną czarno na białym - szczytem twojej matematycznej głupoty jest fakt, że twoim zdaniem nie musisz czytać AK by ją obalić.
Wyobraź sobie że mnie nie ma, wyparowałem, i co, już nie jesteś w stanie obalić AK?
Twoja głupota polega na tym, że w przeszłości oświadczałeś wielokrotnie, że już, już byłbyś obalił AK, tylko uciekłem ci od dyskusji.
Ja nie uciekłem, po prostu nie mogę ci odpowiedzieć TAK na twoje pytanie czy:
2+2=5
Zrozumiesz to kiedykolwiek, czy nigdy?

Teraz możesz zapisać swoje pytania na które twoim zdaniem ci nie odpowiedziałem - pewne jest że z punktu odniesienia AK wszystkie twoje pytania będą identyczne:
Czy 2+2=5?
Gdzie jedyną poprawną odpowiedzią, której oczekujesz to moje potwierdzenie:
Tak Irbisolku: 2+2=5
Wszyscy za chwilkę się przekonają, że dokładnie tak właśnie będzie.


Ostatnio zmieniony przez rafal3006 dnia Nie 17:00, 12 Sty 2025, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 20:23, 12 Sty 2025    Temat postu:

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

Irbisol napisał:
rafal3006 napisał:

Problem z tobą od zawsze mam taki że ty pytasz:
Czy 2+2=5?
i akceptujesz wyłącznie moje potwierdzenie:
Tak Irbisolu, masz rację: 2+2=5

Ale pytanie o coś nie oznacza, że ja twierdzę iż odpowiedź powinna być pozytywna. Problem z tobą jest taki, że ty w ogóle nie odpowiadasz.


Irbisolu, to jest twój post raptem z dnia wczorajszego, czyli jeszcze gorący:
Wysłany: Sob 15:01, 11 Sty 2025
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827905
Irbisol napisał:
No właśnie jestem pod wrażeniem, że można mieć pod opieką 10 dzieci, zgubić 9 i nadal mieć pod opieką tyle samo dzieci - czyli żadnego nie zgubić.
Dzięki AK problem zgubionych dzieci zostaje praktycznie rozwiązany - trzeba tylko uważać, żeby przynajmniej jedno zostało :rotfl:

Irbisolu, wszyscy widzą twoją paniczną ucieczkę od najważniejszego twojego pytania jak wyżej w całym ostatnim okresie naszej dyskusji, które to pytanie powtarzałeś do porzygu.
To jest właśnie twoje pytanie typu:
Czy 2+2=5?
Gdzie od kilkudziesięciu postów oczekiwałeś ode mnie potwierdzenia:
Tak Irbisolku, masz rację: 2+2=5

Mam nadzieję, że już zrozumiałeś głupotę swojego pytania wyżej.
Gdybyś zaczął czytać ze zrozumieniem algebrę Kubusia, to byś tego pytania po prostu nie zadał, bo to jest matematyczny idiotyzm czystej wody.
Najśmieszniejszy jest fakt, że ty zamiast prosto z mostu napisać iż chodzi ci dokładnie o to co w twoim cytacie w kółko powtarzasz bym sam sobie znalazł problem o który ci chodzi (jak w cytacie wyżej).

Kurwa mać!
Jak ja mogę znajdować tego typu problemy w twoim mózgu, skoro z punktu widzenia algebry Kubusia to jest potworny idiotyzm do potęgi nieskończonej.
Na przyszłość pisz o takich swoich problemach otwarcie, co zaoszczędzi nam kilkudziesięciu stron mojego domyślania się o co ci chodzi?

P.S.
W sumie to dziękuję ci za twój upór - bo wyszukujesz mi potwornie śmierdzące gówna z logiki matematycznej ziemskich matematyków, którymi warto się zająć.
Oczywistym jest, że osobiście milionów stron gówno-logiki z Wikipedii opartej na fundamencie potwornie śmierdzącego gówna zwanego KRZ nie zamierzam czytać.


Ostatnio zmieniony przez rafal3006 dnia Nie 20:49, 12 Sty 2025, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Nie 23:05, 12 Sty 2025    Temat postu:

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

Czy kto ma nadzieję, że Irbisol udzieli zaległej odpowiedzi?

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:

Problem z tobą od zawsze mam taki że ty pytasz:
Czy 2+2=5?
i akceptujesz wyłącznie moje potwierdzenie:
Tak Irbisolu, masz rację: 2+2=5

Ale pytanie o coś nie oznacza, że ja twierdzę iż odpowiedź powinna być pozytywna. Problem z tobą jest taki, że ty w ogóle nie odpowiadasz.


Irbisolu, to jest twój post raptem z dnia wczorajszego, czyli jeszcze gorący:
Wysłany: Sob 15:01, 11 Sty 2025
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827905
Irbisol napisał:
No właśnie jestem pod wrażeniem, że można mieć pod opieką 10 dzieci, zgubić 9 i nadal mieć pod opieką tyle samo dzieci - czyli żadnego nie zgubić.
Dzięki AK problem zgubionych dzieci zostaje praktycznie rozwiązany - trzeba tylko uważać, żeby przynajmniej jedno zostało :rotfl:

Irbisolu, wszyscy widzą twoją paniczną ucieczkę od najważniejszego twojego pytania jak wyżej w całym ostatnim okresie naszej dyskusji, które to pytanie powtarzałeś do porzygu.
To jest właśnie twoje pytanie typu:
Czy 2+2=5?
Gdzie od kilkudziesięciu postów oczekiwałeś ode mnie potwierdzenia:
Tak Irbisolku, masz rację: 2+2=5

Ucieczka od mojego pytania? Schizofrenia nie zwalnia ...

Kolejność obowiązuje schizofreniku.
Aktualnie zajmujemy się tym twoim postem:
Wysłany: Sob 15:01, 11 Sty 2025
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#827905
Irbisol napisał:
No właśnie jestem pod wrażeniem, że można mieć pod opieką 10 dzieci, zgubić 9 i nadal mieć pod opieką tyle samo dzieci - czyli żadnego nie zgubić.
Dzięki AK problem zgubionych dzieci zostaje praktycznie rozwiązany - trzeba tylko uważać, żeby przynajmniej jedno zostało :rotfl:

Tu masz moją odpowiedź dokładnie na twój post wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10125.html#828045
rafal3006 napisał:
Rozniesienie w puch „Teorii mnogości” we wstępie do AK!

Irbisolu, nawet jak nic nie rozumiesz z tego co piszę (bo nie jesteś elektronikiem), to pięknie ci dziękuję.
Finał naszej ostatniej dyskusji zamieściłem we wstępie do algebry Kubusia – ten mój post.

To będzie mocne uderzenie w każdego matematyka który przeczyta wstęp do algebry Kubusia w stylu Alfreda Hitchcocka:

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


http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680041
Algebra Kubusia napisał:


Spis treści
0.1 Fundamenty logiki matematycznej 6
0.1.1 Elementarne znaczki logiki matematycznej: 6
0.1.2 Elementarne znaczki matematyki klasycznej 7
0.2 Dowód śmieciowości „Teorii mnogości” 7
0.2.1 Geneza błędu fatalnego w „Teorii mnogości” 8

0.1 Fundamenty logiki matematycznej

Logika matematyczna zajmuje się rozpoznawalnością elementów w zbiorze, nigdy algebraicznym liczeniem elementów w zbiorze.

Prawo Kruka:
Logika matematyczna ma zero wspólnego z liczeniem elementów w zbiorze

Prawo Barana:
Dowolny matematyk który mówi, że logika matematyczna ma cokolwiek wspólnego z liczeniem elementów w zbiorze jest matematycznym Baranem.

Dowód prawa Barana:
Dowód prawa Barana to porównanie definicji elementarnych znaczków używanych w „Logice matematycznej” z elementarnymi znaczkami używanymi w „Matematyce klasycznej”

0.1.1 Elementarne znaczki logiki matematycznej:

Każdy znaczek w „Logice matematycznej” musi mieć swoją jednoznaczną definicję zero-jedynkową, inaczej nie jest znaczkiem z obszaru logiki matematycznej.
W szczególności zauważmy że:
Żaden z elementarnych znaczków „Logiki matematycznej” nie pozwala na jakiekolwiek liczenie elementów w zbiorze.

Elementarne znaczki logiki matematycznej to:
1.
„+” - suma logiczna zbiorów
p+q - wszystkie elementy zbiorów p i q bez powtórzeń
2.
„*” - iloczyn logiczny zbiorów
p*q - wspólne elementy zbiorów p i q bez powtórzeń
3.
„-„ - różnica symetryczna zbiorów
p-q - wszystkie elementy zbioru p z wykluczeniem elementów wspólnych

Elementarne znaczki w obsłudze zdań warunkowych „Jeśli p to q”:
4.
~~> - element wspólny zbiorów
Jeśli p to q
p~~>q =1 - wtedy i tylko wtedy gdy zbiory p i q mają (=1) co najmniej jeden element wspólny
Inaczej:
p~>q =0
5.
=> - warunek wystarczający = relacja podzbioru
Jeśli p to q
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
6.
~> - warunek konieczny = relacja nadzbioru
Jeśli p to q
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0

0.1.2 Elementarne znaczki matematyki klasycznej

Elementarne znaczki matematyki klasycznej to:
„+” - suma algebraiczna (7+3=10)
„*” - mnożenie algebraiczne (7*3=21]
„-” - odejmowania algebraiczne (7-3=4)
„/” - dzielenie algebraiczne (21/7=3)

Doskonale widać, że dowolny elementarny znaczek z „Matematyki klasycznej” ma zero wspólnego z jakimkolwiek elementarnym znaczkiem z „Logiki matematycznej”.

Podsumowanie:
Dział matematyki „Logika matematyczna” jest rozłączny z działem „Matematyka klasyczna”

0.2 Dowód śmieciowości „Teorii mnogości”

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


Dowód śmieciowości ziemskiej logiki matematycznej zwanej „Teorią mnogości” poprzedzimy małym wstępem dotyczącym algebry Kubusia.

Algebra Kubusia z definicji nie rozpoznaje pojęć którym mózg człowieka nadaje znaczenie.
W tym sensie algebra Kubusia jest głupsza niż ustawa przewiduje, czyli jest niezależna od jakiegokolwiek języka.
Dokładnie to jest powodem konieczności wprowadzenia do logiki matematycznej definicji „pojęcia matematycznego”

Definicja „pojęcia matematycznego” w algebrze Kubusia:
„Pojęcie matematyczne” w algebrze Kubusia to jednoznaczny ciąg znaczków, niekoniecznie liter.

Przykładowo może to być malarstwo jaskiniowe:
[link widoczny dla zalogowanych]

Przykłady jednoznacznych „pojęć matematycznych” widzianych oczami algebry Kubusia:

dziecko
##
kura
##
bleble
##
asfdtuesdff
Gdzie:
## - „pojęcia matematyczne” różne na mocy definicji ## definiowane indywidualnym, dowolnym ciągiem znaków.

Z punktu odniesienia człowieka świat wygląda inaczej.

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

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

0.2.1 Geneza błędu fatalnego w „Teorii mnogości”

Aktualna logika matematyczna miesza dwa rozłączne działy matematyki:
1: Logika matematyczna
2: Matematyka klasyczna
błędnie zaliczając ziemską „Teorię mnogości” do działu „Logika matematyczna”

Szczegółowy dowód tego faktu znajdziemy w punkcie 32.0

Geneza błędu fatalnego w „Teorii mnogości”:
Fundamentem ziemskiej logiki matematycznej zwanej „Teorią mnogości” jest równoliczność zbiorów definiowana jak niżej.

Definicja równoliczności (~) zbiorów p i q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów.
p~q =1 - wtedy i tylko wtedy gdy zbiory p i q mają (=1) identyczną liczbę elementów
Inaczej:
p~q =0

Zauważmy że:
Na mocy definicji równoliczności zbiorów p~q nieistotne jest co te zbiory zawierają tzn. mogą zawierać „mydło i powidło”

Przykład 1
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =1 - zbiory p i q są (=1) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Przykład 2
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =0 - zbiory p i q nie są (=0) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Na czym polega śmieciowość „Teorii mnogości” przy zaliczeniu jej do działu „Logika matematyczna” każdy widzi.
Fundamentem logiki matematycznej zwanej „Teorią mnogości” jest algebraiczne liczenie elementów, co wyklucza ją z działu „Logika matematyczna”.
Definicja równoliczności zbiorów p~q jest poprawna, ale jest to definicja z działu „Matematyka klasyczna”, bowiem zajmujemy się tu algebraicznym liczeniem elementów w zbiorze, co wyklucza tą definicję z działu „Logika matematyczna”

Zauważmy fundamentalną różnicę między „Matematyką klasyczną” a „Logiką matematyczną”.

Matematyka klasyczna:
Przykład 3
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
poprawna odpowiedź: 7

Logika matematyczna:
Przykład 4
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Poprawna odpowiedź: 5
p=[dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Bo prawo redukcji/powielania tych samych elementów w zbiorze (prawo algebry Boole’a):
[a+a+..+a] = [a]
Nasz przykład:
[dziecko, dziecko, dziecko]=[dziecko]

Oczywiście masz prawo napisać, że czegoś nie rozumiesz.
Napisz więc czego nie rozumiesz - będę dodatkowo tłumaczył.

Czy kto ma nadzieję, że Irbisol udzieli zaległej odpowiedzi?
:shock: :shock: :shock:


Ostatnio zmieniony przez rafal3006 dnia Nie 23:09, 12 Sty 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 9:35, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Tak w skrócie, streszczając spam powyżej:
- błędem w teorii mnogości jest to, iż nie zalicza się ona do logiki klasycznej
- nadal, mając pod opieką 5 dzieci, gdy zgubisz 4, to wg AK masz tyle samo dzieci
Coś pominąłem?

Tak, błędem logiki matematycznej ziemian jest zaliczenie "Teorii mnogości" do logiki matematycznej, zamiast do "Matematyki klasycznej"
Wyłącznie w „Matematyce klasycznej” masz prawo do algebraicznego liczenia elementów w zbiorze.
Dowód masz w moim poście wyżej.
No, ale jak wszyscy widzą, ty gówna zwanego AK czytał nie będziesz
Skutek:
Dalej srasz potwornie śmierdzącym gównem jak w twojej wypowiedzi wyżej.

Dowód iż Teoria mnogości jest błędnie ulokowana w „Logice matematycznej” zamiast w „Matematyce klasycznej” masz niżej:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#800825
Algebra Kubusia napisał:


Spis treści
32.2 Dowód śmieciowości Wikipediowej teorii mnogości 1
32.2.1 Definicja 1 równoważności p<=>q rodem z 7 klasy Szkoły Podstawowej 1
32.2.2 Definicja 2 równoliczności p~q z teorii mnogości 4
32.2.3 Uproszony dowód śmieciowości „teorii mnogości” 6


32.2 Dowód śmieciowości Wikipediowej teorii mnogości

W dowodzie posłużymy się cytatem z anglojęzycznej Wikipedii:
[link widoczny dla zalogowanych]
Cytat ten podzielimy na dwie części:
Definicja 1 równoważności p<=>q rodem z 7 klasy Szkoły Podstawowej (równoważność Pitagorasa)
Definicja 2 równoliczności p~q rodem z teorii mnogości.

Oczywistym jest, że żaden matematyk nie powie, iż teoria mnogości nie należy do ziemskiej logiki matematycznej, zatem wykazując śmieciowość definicji 2 w stosunku do definicji 1 udowodnimy śmieciowość totalnie całej ziemskiej teorii mnogości.

32.2.1 Definicja 1 równoważności p<=>q rodem z 7 klasy Szkoły Podstawowej

Na przykładzie równoważności Pitagorasa TP<=>SK
[link widoczny dla zalogowanych]
@Anglojęzyczna Wikipedia
W matematyce zbiór jest definiowany jako kolekcja dobrze zdefiniowanych odrębnych obiektów. Różne obiekty tworzące zbiór nazywane są elementami zbioru. Zasadniczo elementy zbiorów można zapisać w dowolnej kolejności, ale nie powinny się powtarzać. Zbiór jest zwykle reprezentowany przez wielką literę. W podstawowej teorii zbiorów dwa zbiory mogą być równoważne, równe lub nierówne sobie. W tym artykule omówimy, co oznaczają równy i równoważny zbiór z przykładami, a także różnicę między nimi.

Czym są zbiory równe?
Dwa zbiory p i q mogą być równe tylko wtedy, gdy każdy element zbioru p jest również elementem zbioru q. Ponadto, jeśli dwa zbiory są podzbiorami siebie nawzajem, to mówi się, że są równe. Jest to reprezentowane przez:
p=q <=> (p=>q)*(q=>p)

Jeśli warunek omówiony powyżej nie jest spełniony, wówczas zbiory są nazywane nierównymi. Jest to reprezentowane przez:
p##q
Gdzie:
## - zbiory różne na mocy definicji


Powyższy cytat to 100% zgodność z algebrą Kubusia, dlatego zmieniłem tu notację ma zgodną z AK.
1.
p=>q =1 – wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0 – wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q
2.
Matematycznie zachodzi tożsamość pojęć:
Zbiory równe z aktualnej matematyki = Zbiory tożsame z algebry Kubusia
Jak widzimy, prawo Irbisa jest w aktualnej matematyce teoretycznie znane, ale w praktyce nieznane bo wywraca do góry nogami pojęcie równoważności p<=>q o czym jest w części 2 definicji z Wikipedii.

Prawo Irbisa:
Dwa zbiory/zdarzenia/pojęcia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Gdzie:
Matematyczne twierdzenie proste:
A1: p=>q =1 – wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
A1: p=>q =0 – wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q
##
Matematyczne twierdzenie odwrotne (względem A1):
B3: q=>p =1 – wtedy i tylko wtedy gdy zbiór q jest (=1) podzbiorem => zbioru p
Inaczej:
B3: q=>p =0 – wtedy i tylko wtedy gdy zbiór q nie jest (=0) podzbiorem => zbioru p

Matematycznie zachodzi:
A1: Twierdzenie proste p=>q = ~p+q ## Twierdzenie odwrotne B3: q=>p = ~q+p
Gdzie:
## - twierdzenia różne na mocy definicji

Część 1A
Tożsamość zbiorów nieskończonych


Przykład działania prawa Irbisa w zbiorach nieskończonych to równoważność Pitagorasa TP<=>SK.

Prawo Irbisa dla równoważności Pitagorasa TP<=>SK:
Dwa zbiory TP i SK są tożsame TP=SK wtedy i tylko wtedy gdy znajdują się w relacji równoważności TP<=>SK (i odwrotnie)
A1B3: TP=SK <=> (A1: TP=>SK)*(B3: SK=>TP) = A1B3: TP<=>SK
To samo w zapisie formalnym:
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Gdzie:
A1: TP=>SK – matematyczne twierdzenie proste Pitagorasa (udowodnione wieki temu)
B3: SK=>TP – matematyczne twierdzenie odwrotne Pitagorasa (udowodnione wieki temu)

Dla B3 skorzystajmy z prawa Tygryska:
B3: q=>p = B1: p~>q

Stąd mamy tożsamą wersję równoważności Pitagorasa:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Nasz przykład:
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK) =1*1=1
Lewą stronę czytamy:
Trójkąt jest prostokątny TP wtedy i tylko wtedy gdy zachodzi w nim suma kwadratów SK
Prawą stronę czytamy:
Bycie trójkątem prostokątnym TP jest warunkiem koniecznym ~> (B1) i wystarczającym => (A1) do tego, by w trójkącie tym zachodziła suma kwadratów SK
Innymi słowy:
Do tego by w trójkącie zachodziła suma kwadratów (SK) potrzeba ~> (B1) i wystarcza => (A1) by ten trójkąt był prostokątny TP

Ta definicja równoważności A1B1: p<=>q jest powszechnie znana, nie tylko matematykom.
Dowód:
Klikamy na goglach:
„koniecznym i wystarczającym”
Wyników: kilkadziesiąt tysięcy
„potrzeba i wystarcza”
Wyników: Kilkadziesiąt tysięcy

Wniosek:
Równoważność Pitagorasa TP<=>SK definiuje tożsamość zbiorów TP=SK

Co oznacza tożsamość zbiorów TP=SK?
Każdy element w zbiorze trójkątów prostokątnych TP ma swój jedyny, unikalny odpowiednik w zbiorze trójkątów ze spełnioną sumą kwadratów SK (i odwrotnie)

Twardy dowód nieznajomości prawa Irbisa w logice matematycznej ziemskich matematyków.
Klikamy na goglach:
„równoważność Pitagorasa”
Wyników: 4
Oczywiście wszystkie linki prowadzą do algebry Kubusia.

Część 1B
Tożsamość zbiorów skończonych


Przykład 1
Działanie definicji równoważności p<=>q z pierwszej części cytatu rodem z 7 klasy szkoły podstawowej.
Weźmy dwa zbiory:
p=[Tygrysek, Prosiaczek, Słoń]
q=[Słoń, Prosiaczek, Tygrysek]
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1=1
Dowód:
Każdy zbiór jest podzbiorem => siebie samego
Kolejność elementów w zbiorze jest bez znaczenia

Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
A1B3: p=q <=> (A1: p=>q)*(B3: q=>p) = A1B3: p<=>q
Nasz przykład – twierdzenie proste A1:
A1: p=>q =1 – zbiór p jest (=1) podzbiorem => zbioru q
Dowód:
A1: p=[Tygrysek, Prosiaczek, Słoń] => q=[Słoń, Tygrysek, Prosiaczek] =1 – zbiór p jest podzbiorem => q
##
Nasz przykład – twierdzenie odwrotne B3:
B3: q=>p =1 – zbiór q jest (=1) podzbiorem => zbioru p
Dowód:
B3: q=[Słoń, Prosiaczek, Tygrysek] => p=[Tygrysek, Prosiaczek, Słoń]=1 – zbiór q jest podzbiorem => p

Gdzie:
## - twierdzenia różne na mocy definicji

Wniosek na mocy prawa Irbisa:
Zbiór p jest tożsamy ze zbiorem q (p=q), bo kolejność umieszczenia elementów w zbiorze jest bez znaczenia

32.2.2 Definicja 2 równoliczności p~q z teorii mnogości

Weźmy drugą część tego samego cytatu z Wikipedii:
[link widoczny dla zalogowanych]
@Szmatławiec Wikipedia
Czym są zbiory równoważne?
Aby były równoważne, zbiory powinny mieć tę samą kardynalność. Oznacza to, że powinna istnieć jednoznaczna korespondencja między elementami obu zbiorów. Tutaj jednoznaczna korespondencja oznacza, że dla każdego elementu w zbiorze A istnieje element w zbiorze B, dopóki zbiory nie zostaną wyczerpane.

Definicja 1: Jeżeli dwa zbiory A i B mają tę samą moc , to istnieje funkcja celu ze zbioru A do B.
Definicja 2: Dwa zbiory A i B są równoważne, jeżeli mają tę samą moc, tj. n ( A ) = n ( B ) .

Ogólnie rzecz biorąc, możemy powiedzieć, że dwa zbiory są sobie równoważne, jeśli liczba elementów w obu zbiorach jest równa. I nie jest konieczne, aby miały te same elementy lub były podzbiorem siebie nawzajem.


Na mocy powyższego zapisujemy definicję równoliczności.

Definicja równoliczności "~" zbiorów p i q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów:
p~q =1 – wtedy i tylko wtedy gdy mają (=1) identyczną liczbę elementów
Inaczej:
p~q =0 – wtedy i tylko wtedy gdy zbiory p i q nie są (=0) równoliczne
Gdzie:
"~" - symbol równoliczności zbiorów

Formalnie rzecz biorąc definicja równoliczności p~q jest poprawna, ale w praktyce to zbędny matematyczny śmieć, co za chwilkę udowodnimy.

Przykład działanie definicji równoliczności p~q z drugiej części cytatu z Wikipedii.

Przykład 2
Weźmy dwa zbiory:
p=[Tygrysek, Prosiaczek, Słoń]
q=[Słoń, Prosiaczek, Tygrysek]
p~q=1 – wtedy i tylko wtedy gdy zbiory p i q są równoliczne
Jak widzimy definicja równoliczności „~” jest tu spełniona.

Porównajmy to dla tych samych argumentów z definicją równoważności p<=>q z pierwszej części cytatu, rodem z 7 Klasy szkoły podstawowej (równoważność Pitagorasa).

Przykład 1
Działanie definicji równoważności p<=>q z pierwszej części cytatu rodem z 7 klasy szkoły podstawowej.
Weźmy dwa zbiory:
p=[Tygrysek, Prosiaczek, Słoń]
q=[Słoń, Prosiaczek, Tygrysek]
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) =1*1=1
Dowód:
Każdy zbiór jest podzbiorem => siebie samego
Kolejność elementów w zbiorze jest bez znaczenia

Jak widzimy definicja równoliczności p~q pokrywa się z definicją równoważności p<=>q wtedy i tylko wtedy gdy zbiory p i q będą tożsame p=q, co w przykładzie 2 jest spełnione.
W każdym innym przypadku zbiorów równolicznych definicja równoważności p<=>q nie jest spełniona

Przykłady niespełnionych definicji równoważności p<=>q=0 skolerowanych z naszym przykładem.

Przykład 3
p=[Tygrysek, Prosiaczek, Słoń]
q=[Słoń, Prosiaczek, Kubuś]
p<=>q =0

Przykład 4
p=[Tygrysek, Prosiaczek, Słoń]
q=[mydło, powidło, złote gacie]
p<=>q =0
Doskonale widać, że zbiorów q równolicznych do zbioru p może być nieskończenie wiele, ale tylko w jedynym, jedynym przypadku (gdy zbiory p i q będą tożsame) spełniona będzie definicja spójnika równoważności p<=>q rodem z 7 klasy szkoły podstawowej (równoważność Pitagorasa)

Wniosek:
Definicja równoliczności zbiorów „~” jest matematycznym śmieciem w całym obszarze logiki matematycznej, bowiem z punktu widzenia logiki matematycznej o niczym nie rozstrzyga.
1.
Nie rozstrzyga o równoważności p<=>q zbiorów tożsamych, czego dowód mamy wyżej
2.
Nie rozstrzyga o implikacji prostej p|=>q (pkt. 14.0) i odwrotnej p|~>q (pkt. 15.0) bowiem tu z definicji zbiory p i q nie mogą być równoliczne
3.
Nie rozstrzyga o istnieniu elementu wspólnego zbiorów p~~>q, bowiem tu zbiory równoliczne mogą mieć wspólny element p~~>q =1 (przykład 3) albo mogą nie mieć elementu wspólnego p~~>q=0 (przykład 4)

Podsumowując:
Definicja równoliczności zbiorów p~q będąca matematycznym fundamentem teorii mnogości jest matematycznym śmieciem, matematycznie zbędnym!

… zatem idzie do piekła na wieczne piekielne męki.

32.2.3 Uproszony dowód śmieciowości „teorii mnogości”

Matematycznie ziemska definicja równoliczności p~q zbiorów jest poprawna.
Gdzie:
"~" znaczek równoliczności

Definicja równoliczności zbiorów:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają tą samą liczbę elementów
p~q =1 - wtedy i tylko wtedy gdy mają taką samą liczbę elementów
Inaczej:
p~q =0

Oczywistym jest, ze nie pokażemy tu kontrprzykładu typu zbiory p i q są równoliczne p~q=1 i jednocześnie te same zbiory nie są równoliczna p~q=0
Dowód iż definicja równoliczności zbiorów p~q jest gównem polega na udowodnieniu totalnej jej nieprzydatności do czegokolwiek w logice matematycznej!

Definicja równoliczności zbiorów p~q jest potwornie śmierdzącym gównem bo:
Weźmy dwa zbiory p i q
p=[tygrysek, prosiaczek, słoń]
q=[słoń, prosiaczek, tygrysek]

Pytanie wstępne:
Czy zbiory p i q są równoliczne?
p~q =1
TAK!

Pytanie 1.
Czy definicja równoliczności p~q rozstrzyga o zachodzącej tu relacji podzbioru =>?
p=>q =1
Odpowiedź:
NIE!

Pytanie 2.
Czy definicja równoliczności p~q rozstrzyga o zachodzącej tu relacji nadzbioru ~>?
p~>q =1
Odpowiedź:
NIE!

Pytanie 3.
Czy definicja równoliczności p~q rozstrzyga o zachodzącej tu relacji równoważności <=>?
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Odpowiedź:
NIE!

Pytanie 4.
Czy definicja równoliczności p~q rozstrzyga o istnieniu tu elementu wspólnego zbiorów ~~>?
p~~>q = p*q =1
Odpowiedź:
NIE!

Dla ostatniego NIE podajemy kontrprzykład:
p=[tygrysek, prosiaczek, słoń]
r=[mydło, powidło, złote gacie]
Ja widzimy równoliczność zbiorów p~r jest spełniona:
p~r =1
Natomiast definicja elementu wspólnego zbiorów p~~>r nie jest spełniona:
p~~>r = p*r =0

Podsumowanie:
Fundament "teorii mnogości" którym jest "równoliczność zbiorów p~q" to potwornie śmierdzące gówno dokładnie z powodu nieprzydatności tego gówna do czegokolwiek w logice matematycznej czego dowód mamy w punktach 1-4 wyżej.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 9:54, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Nie odczytałeś sedna.
Czy w swoim streszczeniu wyżej coś pominąłem?

Twoje streszczenie to twoja sraczka, mająca zero wspólnego z matematyką.
Irbisol napisał:
Tak w skrócie, streszczając spam powyżej:
- błędem w teorii mnogości jest to, iż nie zalicza się ona do logiki klasycznej
- nadal, mając pod opieką 5 dzieci, gdy zgubisz 4, to wg AK masz tyle samo dzieci
Coś pominąłem?

Tak, błędem logiki matematycznej ziemian jest zaliczenie "Teorii mnogości" do logiki matematycznej, zamiast do "Matematyki klasycznej"
Wyłącznie w „Matematyce klasycznej” masz prawo do algebraicznego liczenia elementów w zbiorze.
Dowód masz w moim poście wyżej.
No, ale jak wszyscy widzą, ty gówna zwanego AK czytał nie będziesz
Skutek:
Dalej srasz potwornie śmierdzącym gównem jak w twojej wypowiedzi wyżej.

Zacytuję ci kwintesencję aktualnego wstępu do AK, a ty mi wskaż w którym miejscu jest tu błąd:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10150.html#828123
Kwintesencja AK w temacie Teorii mnogości napisał:


0.2.1 Geneza błędu fatalnego w „Teorii mnogości”

Aktualna logika matematyczna miesza dwa rozłączne działy matematyki:
1: Logika matematyczna
2: Matematyka klasyczna
błędnie zaliczając ziemską „Teorię mnogości” do działu „Logika matematyczna”

Szczegółowy dowód tego faktu znajdziemy w punkcie 32.0

Geneza błędu fatalnego w „Teorii mnogości”:
Fundamentem ziemskiej logiki matematycznej zwanej „Teorią mnogości” jest równoliczność zbiorów definiowana jak niżej.

Definicja równoliczności (~) zbiorów p i q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów.
p~q =1 - wtedy i tylko wtedy gdy zbiory p i q mają (=1) identyczną liczbę elementów
Inaczej:
p~q =0

Zauważmy że:
Na mocy definicji równoliczności zbiorów p~q nieistotne jest co te zbiory zawierają tzn. mogą zawierać „mydło i powidło”

Przykład 1
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =1 - zbiory p i q są (=1) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Przykład 2
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =0 - zbiory p i q nie są (=0) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Na czym polega śmieciowość „Teorii mnogości” przy zaliczeniu jej do działu „Logika matematyczna” każdy widzi.
Fundamentem logiki matematycznej zwanej „Teorią mnogości” jest algebraiczne liczenie elementów, co wyklucza ją z działu „Logika matematyczna”.
Definicja równoliczności zbiorów p~q jest poprawna, ale jest to definicja z działu „Matematyka klasyczna”, bowiem zajmujemy się tu algebraicznym liczeniem elementów w zbiorze, co wyklucza tą definicję z działu „Logika matematyczna”

Zauważmy fundamentalną różnicę między „Matematyką klasyczną” a „Logiką matematyczną”.

Matematyka klasyczna:
Przykład 3
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
poprawna odpowiedź: 7

Logika matematyczna:
Przykład 4
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Poprawna odpowiedź: 5
p=[dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Bo prawo redukcji/powielania tych samych elementów w zbiorze (prawo algebry Boole’a):
[a+a+..+a] = [a]
Nasz przykład:
[dziecko, dziecko, dziecko]=[dziecko]

Irbisolu, napisz czego nie rozumiesz w tym króciutkim cytacie wyżej.
Zacytuj fragment z którym się nie zgadzasz!
Ma kto nadzieję, że Irbisol zacytuje?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 14:27, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Nie pytam, czy moje streszczenie ma coś wspólnego z matematyką. Pytam, czy coś w nim pominąłem.

Doprecyzujmy o co ci chodzi.
Irbisol napisał:

Tak w skrócie, streszczając spam powyżej:
- błędem w teorii mnogości jest to, iż nie zalicza się ona do logiki klasycznej

Kluczowe pytanie:
Czy teorię mnogości zaliczasz do logiki matematycznej, czy też do matematyki klasycznej?
Bo jeśli do matematyki klasycznej to zgadzamy się w 100% i nie ma oczym dalej dyskutować.
Irbisol napisał:

- nadal, mając pod opieką 5 dzieci, gdy zgubisz 4, to wg AK masz tyle samo dzieci
Coś pominąłem?

Zapisałeś gówno (o to wytłuszczone chodzi) a gówna nie będę komentował.
Udowodnij że AK twierdzi to wytłuszczone.
Udowodnisz - kasuję AK
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 14:29, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Na razie pytam, czy coś pominąłem

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10150.html#828149
Irbisol napisał:
Tak w skrócie, streszczając spam powyżej:
- błędem w teorii mnogości jest to, iż nie zalicza się ona do logiki klasycznej
- nadal, mając pod opieką 5 dzieci, gdy zgubisz 4, to wg AK masz tyle samo dzieci
Coś pominąłem?

Po prostu się zesrałeś, bo twierdzisz że na gruncie AK prawdziwe jest twoje wytłuszczone, potwornie śmierdzące gówno.
Nie przeczytałeś choćby jednego zdania z AK a już srasz, że ty wiesz lepiej, bo na gównie piękne kwiatki (schizofrenia) rosną.

Irbioslu chętnie ci wytłumaczę, dlaczego to twoje wytłuszczone na gruncie AK jest potwornie śmierdzącym gównem w sposób, który na 100% zrozumiesz.

Warunek jak zwykle jest jeden.
Przeczytasz?
TAK/NIE

Pytanie retoryczne:
Czy ktokolwiek ma nadzieję iż Irbisol odpowie:
TAK, zapisz jak to jest z tym wytłuszczonym zdaniem na gruncie AK a ja będę obalał

P.S.
Oczywiście pozwalam Irbisolowi obalać to co napiszę.
Czy kto ma nadzieję, że Irbisol podniesie rzuconą mu rękawicę?
:shock: :shock: :shock:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 14:31, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
W zbiorze [dziecko, dziecko] jest u ciebie tyle samo elementów, czyli dzieci, co w zbiorze [dziecko].
Więc po zgubieniu dziecka nadal nie zgubiłeś dziecka - bo i jest ich tyle samo.

Gówno wiesz na temat AK a jednocześnie twierdzisz, że jesteś ekspertem AK i wiesz lepiej niż ja, że w AK musi być tak jak wyżej napisałeś - a zapisałeś potwornie śmierdzące, twoje osobiste gówno, mające zero wspólnego z AK.

Powtórzę moją propozycję:
rafal3006 napisał:
Irbisol napisał:
Na razie pytam, czy coś pominąłem

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10150.html#828149
Irbisol napisał:
Tak w skrócie, streszczając spam powyżej:
- błędem w teorii mnogości jest to, iż nie zalicza się ona do logiki klasycznej
- nadal, mając pod opieką 5 dzieci, gdy zgubisz 4, to wg AK masz tyle samo dzieci
Coś pominąłem?

Po prostu się zesrałeś, bo twierdzisz że na gruncie AK prawdziwe jest twoje wytłuszczone, potwornie śmierdzące gówno.
Nie przeczytałeś choćby jednego zdania z AK a już srasz, że ty wiesz lepiej, bo na gównie piękne kwiatki (schizofrenia) rosną.

Irbioslu chętnie ci wytłumaczę, dlaczego to twoje wytłuszczone na gruncie AK jest potwornie śmierdzącym gównem w sposób, który na 100% zrozumiesz.

Warunek jak zwykle jest jeden.
Przeczytasz?
TAK/NIE

Pytanie retoryczne:
Czy ktokolwiek ma nadzieję iż Irbisol odpowie:
TAK, zapisz jak to jest z tym wytłuszczonym zdaniem na gruncie AK a ja będę obalał

P.S.
Oczywiście pozwalam Irbisolowi obalać to co napiszę.
Czy kto ma nadzieję, że Irbisol podniesie rzuconą mu rękawicę?
:shock: :shock: :shock:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 14:33, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Już mi to tłumaczyłeś. Wg logiki AK 10 dzieci to to samo co 1 dziecko.

Znowu się zesrałeś, i będziesz srał, srał, srał na n-ty zagon.
Wszyscy widzą, że z tobą nie ma dyskusji.
Zmuszasz mnie bym sobie podyskutował z twoim sobowtórem Irbisolem-bis, zdrowym na umysle, któremu gówno zwane KRZ nie przeżarło jeszcze mózgu.

Pytam po raz ostatni:
Przeczytasz moje wyjaśnienie dlaczego obecnie srasz, srasz, srasz ... pisząc w koło Macieju dokładnie to co zapisałeś w tym wytłuszczonym wyzej.
TAK/NIE

Jesli dalej będziesz srał swoim gównem jak w cytacie wyżej to sobie podyskutuję z Irbisolem-bis, odstawiając cię na półkę, skąd z zapartym tchem bedziesz mógł podziwiać moją dyskusję z Irbisolem-bis.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 22:02, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Już tłumaczyłeś:
Cytat:
W algebrze Kubusia przed przystąpieniem do liczenia elementów w zbiorze twoim psim obowiązkiem jest eliminacja powtarzających się (identycznych) elementów w zbiorze.

To jest prawda na gruncie logiki matematycznej i fałsz na gruncie definicji równoliczności zbiorów.
Czy teraz dasz sobie wytlumaczyć dlaczego srasz na n-ty zagon pisząc to co niżej?

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10150.html#828201
Irbisol napisał:
Już mi to tłumaczyłeś. Wg logiki AK 10 dzieci to to samo co 1 dziecko.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 22:03, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Czyli przyznajesz że to prawda - bo o logice matematycznej mowa.
Zgadzamy się w tym temacie, więc nie masz co mi tłumaczyć.

NIE!
Nie jest mowa o logice matematycznej!
Czekam kiedy zrozumiesz, że liczenie algebraiczne elementów w zbiorze ma zero wspólnego z logiką matematyczną, czego dowód masz we wstępie do AK:
Zacytuję ci kwintesencję aktualnego wstępu do AK, a ty mi wskaż w którym miejscu jest tu błąd:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10150.html#828123
Kwintesencja AK w temacie Teorii mnogości napisał:


0.2.1 Geneza błędu fatalnego w „Teorii mnogości”

Aktualna logika matematyczna miesza dwa rozłączne działy matematyki:
1: Logika matematyczna
2: Matematyka klasyczna
błędnie zaliczając ziemską „Teorię mnogości” do działu „Logika matematyczna”

Szczegółowy dowód tego faktu znajdziemy w punkcie 32.0

Geneza błędu fatalnego w „Teorii mnogości”:
Fundamentem ziemskiej logiki matematycznej zwanej „Teorią mnogości” jest równoliczność zbiorów definiowana jak niżej.

Definicja równoliczności (~) zbiorów p i q:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają identyczną liczbę elementów.
p~q =1 - wtedy i tylko wtedy gdy zbiory p i q mają (=1) identyczną liczbę elementów
Inaczej:
p~q =0

Zauważmy że:
Na mocy definicji równoliczności zbiorów p~q nieistotne jest co te zbiory zawierają tzn. mogą zawierać „mydło i powidło”

Przykład 1
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =1 - zbiory p i q są (=1) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Przykład 2
Udowodnij równoliczność lub brak równoliczności poniższych zbiorów p i q:
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
q=[mydło, powidło, złote gacie]
Rozwiązanie:
p~q =0 - zbiory p i q nie są (=0) równoliczne, nieistotna jest tu zawartość zbiorów p i q

Na czym polega śmieciowość „Teorii mnogości” przy zaliczeniu jej do działu „Logika matematyczna” każdy widzi.
Fundamentem logiki matematycznej zwanej „Teorią mnogości” jest algebraiczne liczenie elementów, co wyklucza ją z działu „Logika matematyczna”.
Definicja równoliczności zbiorów p~q jest poprawna, ale jest to definicja z działu „Matematyka klasyczna”, bowiem zajmujemy się tu algebraicznym liczeniem elementów w zbiorze, co wyklucza tą definicję z działu „Logika matematyczna”

Zauważmy fundamentalną różnicę między „Matematyką klasyczną” a „Logiką matematyczną”.

Matematyka klasyczna:
Przykład 3
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
poprawna odpowiedź: 7

Logika matematyczna:
Przykład 4
Rozstrzygnij ile jest elementów w poniższym zbiorze p
p=[dziecko, dziecko, dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Poprawna odpowiedź: 5
p=[dziecko, dziecko Ewy, pies, miłość, krasnoludek]
Bo prawo redukcji/powielania tych samych elementów w zbiorze (prawo algebry Boole’a):
[a+a+..+a] = [a]
Nasz przykład:
[dziecko, dziecko, dziecko]=[dziecko]

Irbisolu, napisz czego nie rozumiesz w tym króciutkim cytacie wyżej.
Zacytuj fragment z którym się nie zgadzasz!
Ma kto nadzieję, że Irbisol zacytuje?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 22:05, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
A po co miałbym to czytać?
Co do kwestii, których nie rozumiem, to wielokrotnie cię o te kwestie pytałem i notorycznie to olewasz.

Chcę ci wytłumaczyć jak działa i do czego potrzebna jest definicja równoliczności z "Teorii mnogości"
Wszystko będzie na poziomie 5-cio latka.
Przeczytasz?
TAK/NIE
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



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

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

PostWysłany: Pon 22:06, 13 Sty 2025    Temat postu:

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

Irbisol napisał:
Ale ja nie jestem tym zainteresowany.
Jestem zainteresowany tym, o co cię pytam, a nie tym, co akurat masz ochotę wygłaszać.

Apropo tego mojego postu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10150.html#828233
Kwadratura koła dla Irbisola:
Udowodnij, że logika matmematyczna ma cokolwiek wspólnego z algebraicznym liczeniem elementów w zbiorze.
Udowodnisz - kasuję AK

Bardzo proszę, klejny dowód, że z punktu widzenia logiki matematycznej definicja równoliczności jest gównem.
Dowodów tożsamych można przedstawić wiele.
Algebra Kubusia napisał:

32.2.3 Uproszony dowód śmieciowości „teorii mnogości”

Matematycznie ziemska definicja równoliczności p~q zbiorów jest poprawna.
Gdzie:
"~" znaczek równoliczności

Definicja równoliczności zbiorów:
Dwa zbiory p i q są równoliczne p~q wtedy i tylko wtedy gdy mają tą samą liczbę elementów
p~q =1 - wtedy i tylko wtedy gdy mają taką samą liczbę elementów
Inaczej:
p~q =0

Oczywistym jest, ze nie pokażemy tu kontrprzykładu typu zbiory p i q są równoliczne p~q=1 i jednocześnie te same zbiory nie są równoliczna p~q=0
Dowód iż definicja równoliczności zbiorów p~q jest gównem polega na udowodnieniu totalnej jej nieprzydatności do czegokolwiek w logice matematycznej!

Definicja równoliczności zbiorów p~q jest potwornie śmierdzącym gównem bo:
Weźmy dwa zbiory p i q
p=[tygrysek, prosiaczek, słoń]
q=[słoń, prosiaczek, tygrysek]

Pytanie wstępne:
Czy zbiory p i q są równoliczne?
p~q =1
TAK!

Pytanie 1.
Czy definicja równoliczności p~q rozstrzyga o zachodzącej tu relacji podzbioru =>?
p=>q =1
Odpowiedź:
NIE!

Pytanie 2.
Czy definicja równoliczności p~q rozstrzyga o zachodzącej tu relacji nadzbioru ~>?
p~>q =1
Odpowiedź:
NIE!

Pytanie 3.
Czy definicja równoliczności p~q rozstrzyga o zachodzącej tu relacji równoważności <=>?
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Odpowiedź:
NIE!

Pytanie 4.
Czy definicja równoliczności p~q rozstrzyga o istnieniu tu elementu wspólnego zbiorów ~~>?
p~~>q = p*q =1
Odpowiedź:
NIE!

Dla ostatniego NIE podajemy kontrprzykład:
p=[tygrysek, prosiaczek, słoń]
r=[mydło, powidło, złote gacie]
Ja widzimy równoliczność zbiorów p~r jest spełniona:
p~r =1
Natomiast definicja elementu wspólnego zbiorów p~~>r nie jest spełniona:
p~~>r = p*r =0

Podsumowanie:
Fundament "teorii mnogości" którym jest "równoliczność zbiorów p~q" to potwornie śmierdzące gówno dokładnie z powodu nieprzydatności tego gówna do czegokolwiek w logice matematycznej czego dowód mamy w punktach 1-4 wyżej.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 137, 138, 139 ... 152, 153, 154  Następny
Strona 138 z 154

 
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

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin