Algebra Kubusia - rewolucja w logice matematycznej

ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni 1, 2, 3 ... 384, 385, 386, 387, 388 Następny

Forum ŚFiNiA Strona Główna -> Filozofia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35795
Przeczytał: 16 tematów

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

Wysłany: Sob 10:43, 07 Gru 2024 Temat postu:

Irbisol napisał:

Czyli w AK zapis 1=1 jest nielegalny?

Przenosisz żywcem matematykę klasyczną do logiki matematycznej, czyli wedle ciebie zapisy:
x+x=x
x*x=x
To również nielegalne zapisy

Zauważ, że matematycy z uporem maniaka trzymają się znaczków \/ i /\ podczas gdy świat techniki od początku (studiowałem elektronikę od 1975) wykopał znaczki matematyków w kosmos - mógł to zrobić bo logika matematyczna to fundamentalnie co innego niż matematyka klasyczna.
Wykłady z bramek logicznych miałem na I roku studiów gdzie używano tylko i wyłącznie znaczków kolidujących z matematyką klasyczną
(+) - suma logiczna
(*) - iloczyn logiczny

Irbisolu=Urbanie - o co chodzi masz wyjaśnione w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9575.html#823349

rafal3006 napisał:

Irbisol napisał:

Po prostu odpowiedz na pytanie, czy w AK nie mogę postawić znaku = pomiędzy dwoma jedynkami.

Po raz n-ty w naszej dyskusji wyrywasz sobie fragmenty zdań, czyli zabawę w Urbana czas zacząć :shock:

[link widoczny dla zalogowanych]
Jerzy Urban = Goebbels stanu wojennego = Irbisol (bo metody jak wyżej masz Urbanowskie)

Za chwilkę wszyscy zobaczą Irbisolowe "w koło Macieju" jak niżej:
... czyli twierdzisz że nie mogę zapisać 1=1

Niżej przypominam całe twoje pytanie, na które już ci odpowiedziałem.
Znaczenie 1 i 0 w logice matematycznej:
1=prawda
0=fałsz

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

rafal3006 napisał:

Irbisol napisał:

Więc skoro wartości logiczne różnych zbiorów niepustych są takie same, to mogę pomiędzy nimi zapisać znak równości?

Odpowiedź:
Nie możesz!
Nigdy nie możesz - jak znajdziesz przypadek w którym możesz to kasuję całą algebrę Kubusia.
Dlaczego nie możesz?
Bo twoje (nasze

) prawo Irbisa leży tu w gruzach - zrozumiesz to kiedykolwiek, czy nigdy?

O co tu chodzi masz wyjaśnione szczegółowo w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9575.html#823249

rafal3006 napisał:

Irbisolu, kiedy odbierasz legitymację Nr. 1 członka klubu algebry Kubusia?
… bo w rzeczywistości jesteś nim od chwili gdy zaakceptowałeś prawo Irbisa!

Przypomnę kwintesencję tego postu:
1.
p=[Kubuś] =1 - bo zbiór niepusty
q=[Kubuś] =1 - bo zbiór niepusty
Na mocy prawa Irbisa mamy tu:
p=q - zbiory p i q są tożsame

2.
To jest to o co ci chodzi w twoim pytaniu, dwa zbiory p i q są różne ## i niepuste, czyli na mocy definicji z AK oba mają wartość logiczną 1
p=[Kubuś] =1 - bo zbiór niepusty
q=[Kubuś+Prosiaczek] =1 - bo zbiór niepusty
Na mocy prawa Irbisa mamy tu:
p=[Kubuś] ## q=[Kubuś+Prosiaczek]
Gdzie:
## - zbiory różne na mocy definicji

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

Algebra Kubusia napisał:

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

Ostatnio zmieniony przez rafal3006 dnia Sob 11:00, 07 Gru 2024, w całości zmieniany 7 razy