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 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 254, 255, 256 ... 265, 266, 267  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
szaryobywatel




Dołączył: 21 Wrz 2016
Posty: 5620
Przeczytał: 72 tematy


Płeć: Mężczyzna

PostWysłany: Nie 21:21, 14 Kwi 2024    Temat postu:

Tak to działa dla dowolnego zbioru:
f(x) = x
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Nie 21:28, 14 Kwi 2024    Temat postu:

szaryobywatel napisał:
Tak to działa dla dowolnego zbioru:
f(x) = x

to pokaż jak to działa dla zbioru trzyelementowego:
p=[Kubuś, Prosiaczek, Tygrysek]
Jeśli nie wiesz jak działa funkcja tożsamościowa na zbiorze 3-elementowym jak wyżej to ta definicja jest gównem.


Ostatnio zmieniony przez rafal3006 dnia Nie 21:28, 14 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
szaryobywatel




Dołączył: 21 Wrz 2016
Posty: 5620
Przeczytał: 72 tematy


Płeć: Mężczyzna

PostWysłany: Nie 21:30, 14 Kwi 2024    Temat postu:

Podstawiaj sobie za x elementy swojego zbioru
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Nie 21:35, 14 Kwi 2024    Temat postu:

szaryobywatel napisał:
Podstawiaj sobie za x elementy swojego zbioru

Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie"
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
szaryobywatel




Dołączył: 21 Wrz 2016
Posty: 5620
Przeczytał: 72 tematy


Płeć: Mężczyzna

PostWysłany: Nie 21:38, 14 Kwi 2024    Temat postu:

Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Nie 21:48, 14 Kwi 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792975
rafal3006 napisał:
szaryobywatel napisał:
Podstawiaj sobie za x elementy swojego zbioru

Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie"

szaryobywatel napisał:
Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka

Uff
Już myślałem że definicja z Wiki jest totalnym gównem, ale skoro napisałeś o co tu chodzi to wezmę zbiór dwuelementowy - dalej będzie identycznie.
p=[Kubuś, Tygrysek]
Oczywiście musze rozpatrzyć KAŻDY element zbioru p zatem robimy to w dwóch krokach.
Tworzę zbiór wynikowy q, na razie pusty:
q=[]
Krok 1
Biorę pierwszy elemet zbioru p
x=Kubuś
f(x)=Kubuś
stąd zbiór q ma teraz zawartość:
q=[Kubuś]
Krok 2
Biorę kolejny element zbioru p
x=Tygrysek
f(x)=Tygrysek
Dopisuję do zbioru q
q=[Kubuś, Tygrysek]

Rozpatrzyłem wszyskie elementy zbioru p zatem jest to koniec działania algorytmu funkcji tozsamościowej dla zbioru p

Oczywiście mamy:
p=q - zbiory tożsame

Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame

Czy tak to działa?


Ostatnio zmieniony przez rafal3006 dnia Pon 10:21, 15 Kwi 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 8:17, 15 Kwi 2024    Temat postu:

rafal3006 napisał:
W Wikipedii pisze ci poprawnie że:
"funkcja danego zbioru w siebie" oznacza "funkcję która nic nie zmienia"

Ty natomiast piszesz brednie że:
"funkcja danego zbioru w siebie" NIE oznacza jeszcze że "funkcja nic nie zmienia"

No i gdzie tu widzisz sprzeczność? Taki z ciebie specjalista od zbiorów i podzbiorów, a w tym przypadku nie potrafisz pojąć, że nie ma tu równoważności.
Poza tym zmanipulowałeś cytat z Wikipedii. Prawdopodobnie z głupoty, bo kombinatorem raczej nie jesteś.

Cytat:
Twój gówno dowód:
To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ...

Całkowicie cię pogrąża - wyjasniłem ci to wyżej.
Cytuję:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792929
rafal3006 napisał:
Irbisol napisał:
... Nie

Jednym słowem uważasz, że zbiór wszystkich możliwych wartości logicznych w algebrze Boole'a {0,1}
0=fałsz
1=prawda

To jest to samo co zbiór dwuelementowy dwóch liczb w matematyce klasycznej 0 i 1
p=[0,1]
Przykład:
0 = mam zero-jabłek
1 = mam jedno jabłko

Innymi słowy wedle ciebie zachodzi:
0=fałsz [=] 0 =mam zero jabłek
1 = prawda [=] 1 = mam jedno jabłko
Gdzie:
[=] - tożsamośc pojęć

Dokładnie to twierdzisz, zgadza się?
TAK/NIE

Ale co mnie tu pogrąża?
Piszę cały czas o negacji logicznej, a ty tu jakieś liczby dodajesz, dodatkowo utożsamiając liczność wypowiedzianą w zdaniu z wartością logiczną.

Cytat:

Oczywiście mamy:
p=q - zbiory tożsame

Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame

Czy tak to działa?

JPRDL ten gostek nadal nie odróżnia zbioru od elementu zbioru ...


Ostatnio zmieniony przez Irbisol dnia Pon 8:27, 15 Kwi 2024, w całości zmieniany 2 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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 10:12, 15 Kwi 2024    Temat postu:

Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.

Irbisol napisał:
rafal3006 napisał:
W Wikipedii pisze ci poprawnie że:
"funkcja danego zbioru w siebie" oznacza "funkcję która nic nie zmienia"

Ty natomiast piszesz brednie że:
"funkcja danego zbioru w siebie" NIE oznacza jeszcze że "funkcja nic nie zmienia"

No i gdzie tu widzisz sprzeczność? Taki z ciebie specjalista od zbiorów i podzbiorów, a w tym przypadku nie potrafisz pojąć, że nie ma tu równoważności.

Po kolei Irbisolu, na 100% wszystko sobie wyjaśnimy, że zrozumiesz na 99% :)

Punkt 1.
Czy zgadzsz się że funkcja tożsamościowa działa dokładnie tak jak to zaakceptował matematyk z wykształcenia - szaryobywatel?

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

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792975
rafal3006 napisał:
szaryobywatel napisał:
Podstawiaj sobie za x elementy swojego zbioru

Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie"

szaryobywatel napisał:
Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka

Uff
Już myślałem że definicja z Wiki jest totalnym gównem, ale skoro napisałeś o co tu chodzi to wezmę zbiór dwuelementowy - dalej będzie identycznie.
p=[Kubuś, Tygrysek]
Oczywiście musze rozpatrzyć KAŻDY element zbioru p zatem robimy to w dwóch krokach.
Tworzę zbiór wynikowy q, na razie pusty:
q=[]
Krok 1
Biorę pierwszy elemet zbioru p
x=Kubuś
f(x)=Kubuś
stąd zbiór q ma teraz zawartość:
q=[Kubuś]
Krok 2
Biorę kolejny element zbioru p
x=Tygrysek
f(x)=Tygrysek
Dopisuję do zbioru q
q=[Kubuś, Tygrysek]

Rozpatrzyłem wszyskie elementy zbioru p zatem jest to koniec działania algorytmu funkcji tozsamościowej dla zbioru p

Oczywiście mamy:
p=q - zbiory tożsame

Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame

Czy tak to działa?


Ostatnio zmieniony przez rafal3006 dnia Pon 10:24, 15 Kwi 2024, w całości zmieniany 7 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 11:20, 15 Kwi 2024    Temat postu:

Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 11:43, 15 Kwi 2024    Temat postu:

Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?

W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)

Irbisol napisał:
Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność.

Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję.
Co chcesz tym faktem udowodnić?
Że twoim zdaniem negacja jest funkcją tozsamościową?

Bo jeśli nie to równie dobrze pod funkcję tożsamościową mógłbyś podpiąć cokolwiek.
Innymi słowy:
Autorzy w Wikipedii mówią o rybkach, czyli definiują co jest funkcją tozsamościową, a ty Irbiosolu mówisz o pipkach, czyli definiujesz co nie jest funkcją tozsamościową, bo absolutnie pewne jest że nagacja NIE JEST funkcją tożsamościową.

Zgadzasz się z tym faktem?


Ostatnio zmieniony przez rafal3006 dnia Pon 11:45, 15 Kwi 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 11:48, 15 Kwi 2024    Temat postu:

rafal3006 napisał:
Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?

W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)

Irbisol napisał:
Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność.

Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję.

Niczego takiego nie zrobiłem. Naucz się czytać.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 12:00, 15 Kwi 2024    Temat postu:

Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.

Irbisol napisał:
rafal3006 napisał:
Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?

W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)

Irbisol napisał:
Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność.

Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję.

Niczego takiego nie zrobiłem. Naucz się czytać.

To wytłumacz nam wszystkim co zrobiłeś podpinając negację pod funkcję tożsamościową z Wikipedii.
Co chciałeś przez to włąączenie pokazać/udowodnić - bo ja i wszyscy matematycy nie mamy bladego pojęcią po co wywołujesz tu ducha zwanego "negacją?!

Dowód iż masz kontakt z duchami masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792655
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Trzymaj się tematu.
Zarzuciłeś, że coś tam sprawdzają. Gdzie tam ktokolwiek cokolwiek sprawdza?
Poza tym sam fakt, że jest odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.

Oznacza.
Odwzorowanie zbioru w ten sam zbiór oznacza, że funkcja nic nie zmienia.

To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ...

Po co mam tą negację sprawdzać, w jakim celu - wytłumacz mi bo żaden matematyk tego nie rozumie!


Ostatnio zmieniony przez rafal3006 dnia Pon 12:04, 15 Kwi 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 12:45, 15 Kwi 2024    Temat postu:

rafal3006 napisał:
Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.

Irbisol napisał:
rafal3006 napisał:
Czy kto ma nadzieję że Irbisol odpowie na ostatnie pytanie do niego?

W tym pytaniu ja sprawdzam, czy Irbisol rozumie działanie nagcji z obszaru techniki cyfrowej, algebry Boole'a, gdzie jestem ekspertem (w przeciwieństwie do laika Irbisola)

Irbisol napisał:
Nic z tego - odpowiedz na pytanie, gdzie widzisz sprzeczność.

Sprzeczność widzę w tym że autorzy z Wikipedii mówią o funkcji tozsamościowej.
Ty zaś podpiąłeś się z definicją negacji z techniki cyfrowej pod tą definiicję.

Niczego takiego nie zrobiłem. Naucz się czytać.

To wytłumacz nam wszystkim co zrobiłeś podpinając negację pod funkcję tożsamościową z Wikipedii.

Nie jestem w stanie tego wytłumaczyć, ponieważ nie podpinałem negacji pod funkcję tożsamościową z Wikipedii.

Cytat:
Dowód iż masz kontakt z duchami masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792655
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Trzymaj się tematu.
Zarzuciłeś, że coś tam sprawdzają. Gdzie tam ktokolwiek cokolwiek sprawdza?
Poza tym sam fakt, że jest odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.

Oznacza.
Odwzorowanie zbioru w ten sam zbiór oznacza, że funkcja nic nie zmienia.

To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ...

Po co mam tą negację sprawdzać, w jakim celu - wytłumacz mi bo żaden matematyk tego nie rozumie!

Wszyscy rozumieją oprócz ciebie - masz to napisane wprost.
Żebyś zobaczył na przykładzie negacji logicznej, że odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.
Sam to nawet podkreśliłeś boldem i od razu zapomniałeś, o czym jest mowa.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 12:58, 15 Kwi 2024    Temat postu:

rafal3006 napisał:
Czy Irbisol da radę podjąć rzeczową dyskusję?
Wierzę, że tak - nadzieja umiera ostatnia.
Cytat:
Dowód iż masz kontakt z duchami masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6325.html#792655
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Trzymaj się tematu.
Zarzuciłeś, że coś tam sprawdzają. Gdzie tam ktokolwiek cokolwiek sprawdza?
Poza tym sam fakt, że jest odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.

Oznacza.
Odwzorowanie zbioru w ten sam zbiór oznacza, że funkcja nic nie zmienia.

To sobie sprawdź negację. Odwzorowuje ona zbiór [0, 1] na zbiór [0, 1]. I wg ciebie nic nie zmienia ...

Po co mam tą negację sprawdzać, w jakim celu - wytłumacz mi bo żaden matematyk tego nie rozumie!

Wszyscy rozumieją oprócz ciebie - masz to napisane wprost.
Żebyś zobaczył na przykładzie negacji logicznej, że odwzorowanie zbioru w ten sam zbiór nie oznacza jeszcze, że funkcja nic nie zmienia.
Sam to nawet podkreśliłeś boldem i od razu zapomniałeś, o czym jest mowa.

Dziękuję za wyjaśnienie, dokładnie to chciałem byś mi wyjaśnił.
Teraz ja wyjaśniam twoje wyjaśnienie.

Wyjaśnienie Irbisola:
Negacja logiczna odwzorowuje zbiór [0,1] w ten sam zbiór [0,1], co nie oznacza, że funkcja nic nie zmienia.

Czy dobrze zrozumiałem twoje wyjaśnienie?


Ostatnio zmieniony przez rafal3006 dnia Pon 13:04, 15 Kwi 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 13:05, 15 Kwi 2024    Temat postu:

Wątpię, ale kontynuuj.
Ściślej powinno być: odwzorowuje elementy zbioru w elementy tego samego zbioru.
Ale to i w Wikipedii jest.


Ostatnio zmieniony przez Irbisol dnia Pon 13:13, 15 Kwi 2024, 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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 13:22, 15 Kwi 2024    Temat postu:

Irbisol napisał:
Wątpię, ale kontynuuj.


Wyjaśnienie Irbisola:
Negacja logiczna odwzorowuje zbiór [0,1] w ten sam zbiór [0,1], co nie oznacza, że funkcja nic nie zmienia.

Irbisolu, ja rozumiem precyzyjnie i dokładnie twoję wypowiedź dokładnie tak jak w moim wyjaśnieniu twojej wypowiedzi wyżej.
Ty piszsząc "wątpię" kwestionujesz moje wyjaśnienie twojej wypowiedzi.
Jeśli twoim zdaniem ja twojej wypowiedzi nie rozumiem, o czym świadczy twoje "wątpię", to piłeczka jest w twoim ogródku - to ty masz podać takie wyjaśnienie twojej wypowiedzi bym zrozumiał ją ja, wraz ze wszystkimi ziemskimi matematykami.

Podsumowując:
Czy moje wyjaśnienie twojej wypowiedzi jest matematycznie precyzyjne i poprawne tzn. czy o to ci chodziło?


Ostatnio zmieniony przez rafal3006 dnia Pon 13:23, 15 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 13:29, 15 Kwi 2024    Temat postu:

Przeczytałeś na pewno wszystko, co napisałem w poprzednim poście? Był edytowany.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 13:53, 15 Kwi 2024    Temat postu:

Ostateczna wersja twojego postu jest taka:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#793053
Irbisol napisał:
Wątpię, ale kontynuuj.
Ściślej powinno być: odwzorowuje elementy zbioru w elementy tego samego zbioru.
Ale to i w Wikipedii jest.

ok
Dzięki, rozjaśniłeś mi o co ci chodzi.

Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]

Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=1 - bo negacja
i umiszczam go w zbiorze wynikowym q
q=[1]

Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=0 - bo negacja
i umieszczam go w zbiorze q:
q=[1,0]
Oczywiście elementy zbioru q są przemienne stąd mamy:
q=[1,0] <=> q=[0,1]

Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny?


Ostatnio zmieniony przez rafal3006 dnia Pon 13:57, 15 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 13:57, 15 Kwi 2024    Temat postu:

Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.

To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 14:04, 15 Kwi 2024    Temat postu:

Irbisol napisał:
Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.

To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q.


ok
Moje drugie podejście zrozumienia o co ci chodzi jest następujące:

Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]

Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
i umiszczam go w zbiorze wynikowym q
q=[0]

Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
i umieszczam go w zbiorze q:
q=[0,1]

Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny?


Ostatnio zmieniony przez rafal3006 dnia Pon 14:04, 15 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 14:07, 15 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.

To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q.


ok
Moje drugie podejście zrozumienia o co ci chodzi jest następujące:

Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]

Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
i umiszczam go w zbiorze wynikowym q
q=[0]

Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
i umieszczam go w zbiorze q:
q=[0,1]

Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny?

Odpowiedź jak wyżej.
Funkcja tożsamościowa czy też negacji to jest FUNKCJA, a nie algorytm wykorzystujący tę funkcję.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 14:23, 15 Kwi 2024    Temat postu:

Trzecie podejście Rafała3006 do zrozumienia o co Irbisolowi chodzi?

Irbisol napisał:
rafal3006 napisał:

Irbisol napisał:
Nie.
U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.
Tożsamościowa odwzorowuje w dokładnie ten sam element.

To, co zrobiłeś, to nie jest zwracanie wyniku, lecz modyfikacja zbioru q.


ok
Moje drugie podejście zrozumienia o co ci chodzi jest następujące:

Definicuje zbiór wynikowy q, który na razie jest pusty:
q=[]

Negacja jest binarna i jednoargumentowa co oznacza, że na wejściu mamy zbiór p o następującej budowie:
p=[0,1]
Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
i umiszczam go w zbiorze wynikowym q
q=[0]

Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
i umieszczam go w zbiorze q:
q=[0,1]

Zaprezentowałem ci wyżej algorytm zawodowego matematyka szaregoobywatela, czy twój jest identyczny?

Odpowiedź jak wyżej.
Funkcja tożsamościowa czy też negacji to jest FUNKCJA, a nie algorytm wykorzystujący tę funkcję.


Irbisol napisał:

U mnie oba zbiory są identyczne, a funkcja przyjmuje po jednym elemencie ze zbioru i odwzorowuje go w jakiś element tego samego zbioru.

Trzecie możliwe rozumienie wpisu Irbisola.

Innymi słowy:
Z założenia zakładasz że zbiór p jest tożsamy sam ze sobą, co jest oczywiście prawdą.

Weźmy teraz twoją negację:
Na wejściu mamy zbiór dwuelenetowy:
p=[0,1]
Elemety w zbiorze są przemienne, stąd zapis tozsamy zbioru p
q=[1,0] - bo elementy zbioru są przemienne
Gdzie:
p=q - zbiory tozsame na mocy definicji funkcji tozsamościowej

Definiuję zbiór q tożsamy ze zbiorem p na mocy definicji zawartej w cytacie wyżej.
q=[1,0] - bo elementy zbioru są przemienne

Krok 1
f(x)=x
Zgodnie z algorytmem matematyka szarego biorą pierwszy element zbioru p:
f(0)=0
szukam tego elementu w zbiorze q:
q=[1,0]
Jest taki element zatem sukces!

Krok 2
f(x)=x
Biorę drugi i ostatni element ze zbioru p:
f(1)=1
szukam tego elementu w zbiorze q:
q=[1,0]
Jest taki element zatem sukces!

Rozpatrzyłem wszystkie możliwe elementy zbioru p, niegdzie nie otrzymując wyniku "fałsz" zatem funkcja p jest funkcją tozsamościowa.

Czy o to ci chodziło?


Ostatnio zmieniony przez rafal3006 dnia Pon 14:26, 15 Kwi 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 14:25, 15 Kwi 2024    Temat postu:

Ja nie dyskutuję tu o algorytmach.
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: 32798
Przeczytał: 31 tematów

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

PostWysłany: Pon 14:32, 15 Kwi 2024    Temat postu:

Irbisol napisał:
Ja nie dyskutuję tu o algorytmach.

W logice matematycznej liczą się tylko i wyłacznie algorytmy - jak inaczej napiszesz choćby najprostszy program komputerowy?

Zauważ, że matematyk szary obywatel zaakceptował rozumienie funkcji tożsamościowej jako algoorytmu.
Ty natomiast twierdzisz, że zawodowy matematyk szary to debil i nalezy go wbic w ziemię?
Ciekawe co na to szaryobywatel, który tak boi się jakiejkolwiek dyskusji ze mną, że odszedł i nigy nie wróci?

Oto pod czym się podpisał zawodowy matematyk, szaryobywatel.

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

rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6350.html#792975
rafal3006 napisał:
szaryobywatel napisał:
Podstawiaj sobie za x elementy swojego zbioru

Wezmę zbiór jednoelementowy będzie najkrócej:
p = [Kubuś]
Tworzę zbiór wynikowy q gdzie chomikuję kolejne f(x)
x=Kubuś
stąd mamy:
f(x)=Kubuś
q=[Kubuś]
Zademonstruj jak to działa na zbiorze jednoelementowym jak wyżej a nie pisz "podstawiaj sobie"

szaryobywatel napisał:
Brawo, f(Kubuś) = Kubuś, teraz podstaw Prosiaczka

Uff
Już myślałem że definicja z Wiki jest totalnym gównem, ale skoro napisałeś o co tu chodzi to wezmę zbiór dwuelementowy - dalej będzie identycznie.
p=[Kubuś, Tygrysek]
Oczywiście musze rozpatrzyć KAŻDY element zbioru p zatem robimy to w dwóch krokach.
Tworzę zbiór wynikowy q, na razie pusty:
q=[]
Krok 1
Biorę pierwszy elemet zbioru p
x=Kubuś
f(x)=Kubuś
stąd zbiór q ma teraz zawartość:
q=[Kubuś]
Krok 2
Biorę kolejny element zbioru p
x=Tygrysek
f(x)=Tygrysek
Dopisuję do zbioru q
q=[Kubuś, Tygrysek]

Rozpatrzyłem wszyskie elementy zbioru p zatem jest to koniec działania algorytmu funkcji tozsamościowej dla zbioru p

Oczywiście mamy:
p=q - zbiory tożsame

Czyli za Wikipedią odwzorowanie które wykonaliśmy jest tożsamościowe bo w wyniku mamy:
p=q - zbiory tożsame

Czy tak to działa?


Ostatnio zmieniony przez rafal3006 dnia Pon 14:34, 15 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów


PostWysłany: Pon 14:50, 15 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Ja nie dyskutuję tu o algorytmach.

W logice matematycznej liczą się tylko i wyłacznie algorytmy - jak inaczej napiszesz choćby najprostszy program komputerowy?

Logika matematyczna jako taka w ogóle nie zajmuje się algorytmami.
Logika matematyczna zajmuje się rachunkiem zdań.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 254, 255, 256 ... 265, 266, 267  Następny
Strona 255 z 267

 
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