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 

Pytania dla Kubusia (Fiklit CIV)
Idź do strony Poprzedni  1, 2, 3, 4 ... 28, 29, 30  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ść
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 10:15, 12 Cze 2014    Temat postu:

Cytat:
Od 35 lat piszę programy wyłącznie w języku asemblera, czyli w symbolicznej algebrze Boole'a - to jedyny język programowania gdzie nikt nie nakłada na ciebie żadnych ograniczeń, ani sprzętowych, ani programowych - możesz absolutnie wszystko a nie tylko to co twórcy języka wysokiego poziomu X wydaje się że powinieneś był robić.


Brak ograniczeń sprzętowych - wow - super. Pierdolisz.

Napisz tę procedurę w asemblerze. Może wtedy ktoś to zrozumie.

I ogólnie widzisz nikt nie czai Twojej notacji. Jeśli ona nie będzie zrozumiała to nie przekażesz światu swojego wielkiego odkrycia.


Ostatnio zmieniony przez fiklit dnia Czw 10:17, 12 Cze 2014, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 10:18, 12 Cze 2014    Temat postu:

rafal3006 napisał:
Zefciu, co ty taki w gorącej wodzie kąpany?
Bo offtopujesz.
Cytat:
Na razie zajmujemy się 23 punktami malaaviego.
Nie zajmujecie się, tylko piszecie te same bzdury co od lat.
Cytat:
Z kolei u ciebie podejrzewam, że nigdy niczego nie napisałeś w symbolicznej algebrze Boole'a, czyli w języku asemblera.
Język asemblera to symboliczna algebra Boole'a. Nononono.
Cytat:
Ty w swoich językach wysokiego poziomu widzisz procedury nie mając pojęcia jak jest ona fizycznie w języku asemblera zbudowana.
Akurat logika boole'owska jest obecna we wszystkich językach w jakiejś tam formie. Nawet gdybym nie wiedział (wiem) jak działają wywołania pythonowe na niskim poziomie, to mam tam stałe logiczne i operatory logiczne.
Cytat:
Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q
Jaki znowu zbiór? Mam przecież zdania.
Cytat:
Na wejściu ustawiasz:
p=P8
Co oznacza notacja "P8"?
Cytat:
q=P2
j.w.
Cytat:
Natomiast zapis z AK informuje jak ta procedura jest zbudowana:
p=>q = p*q
Genialnie. Okazuje się, że implikacja to wg Kubusia samo co koniunkcja.
Cytat:
Od 35 lat piszę programy wyłącznie w języku asemblera
Tylko że asemblera to też nie przypomina.
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 10:24, 12 Cze 2014    Temat postu:

zefciu napisał:

Cytat:
Natomiast zapis z AK informuje jak ta procedura jest zbudowana:
p=>q = p*q
Genialnie. Okazuje się, że implikacja to wg Kubusia samo co koniunkcja.

a gdzie ja napisałem że ten znaczek => to implikacja?
NIGDZIE!
Definicja znaczka =>:
=> - zbiór na podstawie wektora zawiera się w zbiorze wskazywanym przez strzałkę wektora

Zapis:
p=>q = p*q =p
To tylko jedna linijka w operatorze implikacji prostej albo równoważności.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 10:34, 12 Cze 2014    Temat postu:

rafal3006 napisał:
a gdzie ja napisałem że ten znaczek => to implikacja?
NIGDZIE!
Oczywiście kłamiesz. Jak zwykle:
[link widoczny dla zalogowanych]
Cytat:
Nowością w algebrze Kubusia są nie tylko nowe definicje implikacji prostej => i odwrotnej ~> plus prawa Kubusia

Zresztą jeśli nie implikacja, to jak w takim razie w Nowej Teorii Implikacji wygląda implikacja?
Cytat:
Zapis:
p=>q = p*q =p
To tylko jedna linijka w operatorze implikacji prostej albo równoważności.
Co to znaczy "linijka w operatorze"? Bełkot.
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 10:42, 12 Cze 2014    Temat postu:

fiklit napisał:
Cytat:
Od 35 lat piszę programy wyłącznie w języku asemblera, czyli w symbolicznej algebrze Boole'a - to jedyny język programowania gdzie nikt nie nakłada na ciebie żadnych ograniczeń, ani sprzętowych, ani programowych - możesz absolutnie wszystko a nie tylko to co twórcy języka wysokiego poziomu X wydaje się że powinieneś był robić.


Brak ograniczeń sprzętowych - wow - super. Pierdolisz.

Napisz tę procedurę w asemblerze. Może wtedy ktoś to zrozumie.

I ogólnie widzisz nikt nie czai Twojej notacji. Jeśli ona nie będzie zrozumiała to nie przekażesz światu swojego wielkiego odkrycia.


Akurat ten zapis:
p=>q = p*q =p =1
To banalny, ogólny algorytm działania który opisałem wyżej w punkcie I, II i III.
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-25.html#209190

Oczywiście język nie ma ty znaczenia, ten banał na pewno rozwiążesz z łatwością w każdym języku programowania.

@Zefciu
Cierpliwości!


Ostatnio zmieniony przez rafal3006 dnia Czw 10:44, 12 Cze 2014, 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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 10:48, 12 Cze 2014    Temat postu:

Wróćmy do tematu:

rafal3006 napisał:

Kurde!
Przecież totalnie nie o to cie prosiłem!
Zapomnij o moich symbolach, wszelkich!

Opisz mi symbolami z twojej logiki cały ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-25.html#209170

Czyli zapisz symbolicznie wszystkie przypadki A,B,C i D!

Jeśli twierdzisz że się nie da to będzie to oznaczało iż twoja logika to tylko sztuka dla sztuki, z zerowym związkiem z fizyczną rzeczywistością.

Czekam z niecierpliwością.

Kubuś

Poproszę o odpowiedź na temat.

Oczywiście możesz napisać:
W mojej logice nie da się tego matematycznie opisać

Wniosek:
Miejsce logiki malaaviego jest w koszu na śmieci.

Na miły Bóg, ratuj swoją logikę!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 11:00, 12 Cze 2014    Temat postu:

Rafał, zauważ, że właśnie próbujemy zrozumieć, co chciałeś przekazać we wspomnianych zdaniach B,C,D. Nie potrafisz tego wytłumaczyć. Wiesz to dosyć głupie z Twojej strony, wymagać zapisania czegoś, ale nie umieć wytłumaczyć czego.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 11:03, 12 Cze 2014    Temat postu:

rafal3006 napisał:
Poproszę o odpowiedź na temat.
Proszę o zwrócenie uwagi na tytuł tego wątku. W tym wątku to Ty odpowiadasz.
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 11:53, 12 Cze 2014    Temat postu:

fiklit napisał:
Rafał, zauważ, że właśnie próbujemy zrozumieć, co chciałeś przekazać we wspomnianych zdaniach B,C,D. Nie potrafisz tego wytłumaczyć. Wiesz to dosyć głupie z Twojej strony, wymagać zapisania czegoś, ale nie umieć wytłumaczyć czego.


Definicja warunku wystarczającego => w AK:
p=>q
Zbiór na podstawie wektora => zawiera się w zbiorze wskazywanym przez strzałkę wektora =>
KONIEC!
Żadnych innych zastrzeżeń!

Definicja implikacji prostej w AK:
p=>q = ~p~>~q
Definicja tożsama:
(p=>q)*(p#q)
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q

to wytłuszczone zastrzeżenie jest tu kluczowe!
Wynika z niego że:
p=>q ## (p=>q)*(p#q)
## - różne na mocy definicji

Dlaczego kluczowe?
Bo definicja równoważności w AK jest taka:
p<=>q = (p=>q)*(~p=>~q)
Definicja tożsama:
(p=>q)*(p=q)
Zbiór p zawiera się => w zbiorze q i jest tozsamy ze zbiorem q

Oczywiście na mocy definicji zachodzi:
p=>q ## (p=>q)*(p#q) ## (p=>q)*(p=q)
## - różne na mocy definicji


Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.

W AK wygląda to tak:
P8=>P2 = P8*P2 = P8 =1
Definicja znaczka => jest tu spełniona bo zbiór P8 zawiera się w P2.
Dodatkowo zbiory P8 i P2 są różne: P8#P2
co wymusza definicję implikacji prostej:
P8=>P2 = ~P8~>~P2
Dopiero po udowodnieniu faktu iż zbiory P8#P2 mamy pewność że ten warunek wystarczający P8=>P2, wchodzi w skład zero-jedynkowej definicji implikacji prostej, czyli jednocześnie zdanie P8=>P2 jest implikacją prostą.

Oczywiście implikacja odwrotna musi tu być fałszywa:
P2=>P8 = P2*P8 = P8 =0!
Definicja znaczka => nie jest tu spełniona bo zbiór P2 nie zawiera się w P8 (jest dokładnie odwrotnie)

Chodzi mi o zapisanie dokładnie tego samego na gruncie logiki Ziemian.
Można zapomnieć o wszelkich moich znaczkach i wprowadzić dowolne swoje, ale nie wolno pisać że "w mojej logice tego nie da się zapisać" bo to będzie dowodem iż ta logika jest do bani, bo nie potrafi opisać fizycznej rzeczywistości.


Ostatnio zmieniony przez rafal3006 dnia Czw 12:05, 12 Cze 2014, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 12:42, 12 Cze 2014    Temat postu:

Kubuś odpowiesz na moje pytania? Czy mam sobie iść? Bo mam dość wchodzenia na to forum tylko po to, by zobaczyć, że dalej tchórzysz.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 12:46, 12 Cze 2014    Temat postu:

Cytat:
Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.
Definicja implikacji prostej w AK:
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q

Zeby na to odpowiedzieć musisz jeszcze wyjaśnić co najmniej dwie rzeczy:
1. dokładnie rozumiesz przez "p zawiera się w q"
2. p nie jest tożsamy z q
Ad 1. Z Twojego twierdzenia, że zbiór pusty nie zawiera się w żadnym innym zbiorze wynika, że inaczej niż normalnie rozumiesz zawieranie się.
Ad 2. Tożsamość też musisz rozumieć inaczej bo dla ciebie np. [a,b,c] jest tożsame z 1, [x,y] jest tożsame z 1, ale [a,b,c] nie jest tożsame z [x,y]. Konkretnie: normalnie rozumiana tożsamość jest przechodnia, symetryczna i zwrotna. Twoja nie spełnia przynajmniej jednego z tych warunków.
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 13:34, 12 Cze 2014    Temat postu:

fiklit napisał:

Cytat:
Chodzi mi o matematyczny opis powyższej definicji implikacji prostej na gruncie logiki Ziemian.
Definicja implikacji prostej w AK:
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q

Zeby na to odpowiedzieć musisz jeszcze wyjaśnić co najmniej dwie rzeczy:
1. dokładnie rozumiesz przez "p zawiera się w q"

Każdy element zbioru p zawiera się => w zbiorze q
fiklit napisał:

2. p nie jest tożsamy z q

Nie każdy element zbioru p zawiera sie w zbiorze q lub nie każdy element zbioru q zawiera się w zbiorze p.

fiklit napisał:

Ad 1. Z Twojego twierdzenia, że zbiór pusty nie zawiera się w żadnym innym zbiorze wynika, że inaczej niż normalnie rozumiesz zawieranie się.

Niezupełnie.
Zbiór pusty nie zawiera się w żadnym zbiorze niepustym.

Oczywiście dowolny zbiór jest podzbiorem niewłaściwym samego siebie. Zbiór pusty nie jest tu wyjątkiem.
A*A*A =A
A+A+A =A

[]*[]*[] =[]
[]+[]+[] =[]

fiklit napisał:

Ad 2. Tożsamość też musisz rozumieć inaczej bo dla ciebie np. [a,b,c] jest tożsame z 1, [x,y] jest tożsame z 1, ale [a,b,c] nie jest tożsame z [x,y]. Konkretnie: normalnie rozumiana tożsamość jest przechodnia, symetryczna i zwrotna. Twoja nie spełnia przynajmniej jednego z tych warunków.

Klasyczna tożsamość działa tak:
Jeśli A=1 i B=1
to
A=B
W logice klasyczne pojęcie tożsamości się załamuje, tak jak prawie wszystko.

Tożsamość w logice to zupełnie co innego niż w matematyce klasycznej.
A.
Kubuś na pewno => jest misiem
K=>M =1
B.
Wąż na pewno => nie ma nóg
W=>~N =1

faktu że oba zdanie są prawdziwe:
1=1
Nie możesz wyciągać wniosku że zdania A i B są matematycznie tożsame.
Jeśli tożsame, jak twierdzi matematyka klasyczna, to mogę użyć zdania B w zastępstwie A, bo oba są tożsame.
Tylko czy aby na pewno?

Czym jest tożsamość w logice?
Tożsamość w logice to tożsamość zbiorów.

Zbiór p jest tożsamy z q wtedy i tylko wtedy gdy każdy element zbioru p należy do q i każdy element zbioru q należy do p.
p<=>q = (p=>q)*(q=>p)
Każda matematyczna tożsamość to automatycznie równoważność, odwrotnie nie zachodzi.


Ostatnio zmieniony przez rafal3006 dnia Czw 13:46, 12 Cze 2014, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 13:38, 12 Cze 2014    Temat postu:

rafal3006 napisał:
p<=>q = (p=>q)*(q=>p)
Co zgodnie z kubusiowymi poglądami nie zachodzi nigdy. Bo przecież wyżej Kubuś pisze, że p => q wymaga, by nie było tożsamości p i q.

Cytat:
Definicja implikacji prostej w AK:
p=>q = ~p~>~q
Definicja tożsama:
(p=>q)*(p#q)
Zbiór p zawiera się => w zbiorze q i nie jest tożsamy ze zbiorem q


To jak? Odpowiesz na moje pytania?


Ostatnio zmieniony przez zefciu/konto zamknięte dnia Czw 13:39, 12 Cze 2014, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 13:38, 12 Cze 2014    Temat postu:

Dlatego pytam jak ty to rozumiesz. Chcesz żeby ktoś napisał to co masz na myśli w normalny sposób? to musisz wyjaśnić co masz na myśli. Na razie wyrażasz to słowami, które dla nas znaczą co innego niż dla Ciebie. Dlatego pytam co Ty rozumiesz przez "tożsame", "zawiera się". I nie pisz, że znaczą co innego, tylko napisz co znaczą.
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 13:44, 12 Cze 2014    Temat postu:

fiklit napisał:
Dlatego pytam jak ty to rozumiesz. Chcesz żeby ktoś napisał to co masz na myśli w normalny sposób? to musisz wyjaśnić co masz na myśli. Na razie wyrażasz to słowami, które dla nas znaczą co innego niż dla Ciebie. Dlatego pytam co Ty rozumiesz przez "tożsame", "zawiera się". I nie pisz, że znaczą co innego, tylko napisz co znaczą.

Dopisałem w tym poscie:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-50.html#209232
odpowiedzi na wszystkie Twoje pytania.
Mam nadzieje że teraz wszystko jest jasne.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 13:49, 12 Cze 2014    Temat postu:

rafal3006 napisał:
Mam nadzieje że teraz wszystko jest jasne.
Dlaczego zbiór pusty jest podzbiorem zbioru pustego, a nie jest żadnego innego? Z Twojej definicji to nie wynika.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 13:50, 12 Cze 2014    Temat postu:

To jeszcze jedno i chyba będziemy w domu.
Jak rozumiesz zdanie "każdy element zbioru A ma własność Q"?
Czy jest to równoznaczne z tym że "nie istnieje element zbioru A który nie ma własności Q"? Czy może jest równoznaczne że "Zbiór A ma przynajmniej jeden element i każdy z jego elementów ma własność 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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 13:56, 12 Cze 2014    Temat postu:

zefciu napisał:

rafal3006 napisał:
p<=>q = (p=>q)*(q=>p)
Co zgodnie z kubusiowymi poglądami nie zachodzi nigdy. Bo przecież wyżej Kubuś pisze, że p => q wymaga, by nie było tożsamości p i q.

Wróć do tego postu i naucz się czytać ze zrozumieniem:
http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143-50.html#209227
zefciu napisał:

To jak? Odpowiesz na moje pytania?

Odpowiem, jednak aby zrozumieć tą odpowiedź musisz poznać fundamenty matematyczne AK, dokładnie to aktualnie wałkujemy.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 14:02, 12 Cze 2014    Temat postu:

rafal3006 napisał:
Wróć do tego postu i naucz się czytać ze zrozumieniem:
Jeśli czegoś nie rozumiem, to wyjaśnij czego.

Najpierw piszesz, że warunkiem dla p => q jest brak tożsamości.
Potem piszesz, że tożsamość jest wtedy, gdy p => q

Walisz takie wewnetrzne sprzeczności, a potem się dziwisz.

Cytat:
Odpowiem, jednak aby zrozumieć tą odpowiedź musisz poznać fundamenty matematyczne AK, dokładnie to aktualnie wałkujemy.
Czyli nigdy nie odpowiesz. Bo ja nie mogę zrozumieć owych fundamentów bez tych odpowiedzi. Jeśli nie otrzymam tych odpowiedzi, to Twoje wywody pozostają dla mnie bełkotem pełnym niezrozumiałych terminów.
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 14:38, 12 Cze 2014    Temat postu:

fiklit napisał:
To jeszcze jedno i chyba będziemy w domu.
Jak rozumiesz zdanie "każdy element zbioru A ma własność Q"?
Czy jest to równoznaczne z tym że "nie istnieje element zbioru A który nie ma własności Q"? Czy może jest równoznaczne że "Zbiór A ma przynajmniej jeden element i każdy z jego elementów ma własność Q"?

Coś takiego w AK w ogóle nie funkcjonuje.
W AK możesz tworzyć dowolne zbiory w oparciu dowolne kryterium:
- zbiór ssaków
- zbiór kręgowców
- zbiór pojęć abstrakcyjnych
- zbiór czworokątów mających kąty proste
- zbiór liczb podzielnych przez 2
etc
Znając kryterium - tworzysz zbiór

AK nie działa tak, że losujesz dowolne pojecie z całego uniwersum np. miłość a następnie szukasz zbioru w którym ta miłość występuje.
W AK masz zawsze jasno określony cel.
Załóżmy że szukasz algorytmu robienia sztucznego złota.
W AK nie rzucasz sobie monetą i mówisz, złoto jest żółte i piasek jest żółty, zatem zacznę od próby zrobienia złota z piasku.
Oczywiście że w praktyce może być tak że wszyscy psim pędem szukają czegoś w pewnym obszarze będąc pewnym że tylko tu znalezienie tego czegoś jest możliwe a przychodzi X i znajduje to coś tam gdzie nikt się tego nie spodziewał.
Przykład:
Kubuś i logika matematyczna
albo przykład historyczny:
Przez 15 lat ludzkość szukała diody LED niebieskiej, kluczowej dla sygnału RGB. Szukano wyłącznie w grupie pierwiastków X bo ktoś tu je jako pierwszy znalazł. Były diody niebieskie LED, ale jasność mała i żywotność licha. Pracowały nad tym największe laboratoria świata i tysiące naukowców …i … nieznany nikomu Japończyk Takamura, specjalista z zupełnie innej branży znalazł rewelacyjną diodę LED tam gdzie nikt się tego nie spodziewał - w grupie pierwiastków Y.
Natychmiast okrzyknięto go Edisonem diod LED - dzięki niemu wielkoformatowe ekrany świetlne mamy na każdej ulicy.

W AK absolutnie kluczowe jest twierdzenie Pytona, młot na całą dzisiejszą logikę matematyczną.
Dlaczego młot?
Bo wycina z logiki matematycznej wszelkie zdania w których p jest bez związku z q.
W AK takie zdania są fałszywe.

http://www.sfinia.fora.pl/forum-kubusia,12/pytania-dla-kubusia,7143.html#209085
rafal3006 do malaaviego napisał:

Twierdzenie Pytona:
Warunkiem koniecznym ~> prawdziwości zdania pod kwantyfikatorem dużym jest prawdziwość tego zdanie pod kwantyfikatorem małym ~~>.
\/x p(x)~~>p(x) = p(x)*q(x)
Istnieje takie x które należy jednocześnie do zbiorów p(x) i q(x).
Znajduje jedno takie x i koniec dowodu, to zdanie jest prawdziwe.

Przykłady:
A.
Jeśli liczba jest podzielna przez 8 to na pewno => jest parzysta
P8=>P2 = P8*P2 =P8 =1
Definicja znaczka => spełniona bo zbiór P8 zawiera się w P2
Zdanie tożsame pod kwantyfikatorem dużym:
/\x P8(x)=>P2(x)

To samo zdanie pod kwantyfikatorem małym:
B.
Jeśli liczba jest podzielna przez 8 to może ~~> być liczbą parzystą
P8~~>P2 = P8*P2 =1 bo 8
Oba zbiory istnieją (P8=1 i P2=1) i mają co najmniej jeden element wspólny, co wymusza w wyniku 1 (zbiór niepusty)
Zdanie tożsame do B:
\/x P8(x)~~>P2(x) = P8(x)*P2(x)
Różnica miedzy zdaniem A i B jest fundamentalna:
W przypadku B znajduję jeden wspólny element poprzednika i następnika i koniec dowodu

C.
Jeśli liczba jest podzielna przez 8 to na pewno => jest nieparzysta
P8=>~P2

Zgodnie z twierdzeniem Pytona warunkiem koniecznym prawdziwości zdania C jest jego prawdziwość pod kwantyfikatorem małym.
D.
Jeśli liczba jest podzielna przez 8 to może ~~> być nieparzysta
P8~~>~P2 = P8*~P2 =1*1 =0
Oba zbiory istnieją (P8=1 i ~P2=1) ale są rozłączne, co wymusza w wyniku 0 (zbiór pusty)
Zdanie tożsame do D:
\/x P8(x)~~>~P2(x) = P8(x)*~P2(x) =?

No i co ty na to malaavi?
Nadal twierdzisz że zapis:
1*1 =0
jest zapisem bez sensu?

Czyli że nie wolno mi wypowiedzieć zdania D zapisanego kwantyfikatorem małym?!

Podsumowując:
Czy zgadzasz się na twierdzenie Pytona?
TAK/NIE

P.S.
Zauważmy, że twierdzenie Pytona to śmiertelny uścisk dla całej aktualnej logiki Ziemian.
... a nie mówiłem Zefciu, że śmierć będzie szybka i bezbolesna? :)


P.S.
Zefciu, wróć i czytaj jeszcze raz, bo dalej nie rozumiesz banałów które zapisałem.


Ostatnio zmieniony przez rafal3006 dnia Czw 14:43, 12 Cze 2014, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 14:53, 12 Cze 2014    Temat postu:

To w takim razie do widzienia. NTI nie istnieje. Tak jak się spodziewałem.

W dodatku Ty sam dobrze wiesz, że NTI nie istnieje. I nawet Ci się nie chce specjalnie udawać, że jest inaczej (bo zgrałeś już wszystkie sztuczki).


Ostatnio zmieniony przez zefciu/konto zamknięte dnia Czw 14:59, 12 Cze 2014, 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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 15:04, 12 Cze 2014    Temat postu:

zefciu napisał:
To w takim razie do widzienia. NTI nie istnieje. Tak jak się spodziewałem.

W dodatku Ty sam dobrze wiesz, że NTI nie istnieje. I nawet Ci się nie chce specjalnie udawać, że jest inaczej (bo zgrałeś już wszystkie sztuczki).

Nie jest to prawdą, AK istnieje i jest bezkonkurencyjna a najciekawsza sztuczka jeszcze przed nami.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 15:09, 12 Cze 2014    Temat postu:

rafal3006 napisał:
AK istnieje
Gdyby istniała, umiałbyś odpowiedzieć na pytania.
Cytat:
najciekawsza sztuczka jeszcze przed nami.
Przecież wszyscy (łącznie z Tobą) wiedzą, że kłamiesz. "Przed nami" jest tylko bełkot.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
malaavi
Bloger na Kretowisku



Dołączył: 06 Sie 2011
Posty: 930
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 16:42, 12 Cze 2014    Temat postu:

Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q
Na wejściu ustawiasz:
p=P8
q=P2
Na wyjściu otrzymujesz zmienną binarną:
p=>q =1 - p zawiera się w q
p=>q =0 - p nie zawiera się q


no to = nie oznacza ANI PRZYPISANIA, ANI RÓWNOŚCI, tylko jeszcze trzecią rzecz, czyli FUNKCJĘ WARTOŚCIOWANIA, tak? :) Czy nie rozumiesz, o czym mówimy? :)
Inna rzecz, że też z powodzeniem programowałem, choć zawsze w językach wysokiego poziomu. Daruj sobie uwagi, że ktoś poza tobą nie rozumie. ;)

Stosujesz znak = w co najmniej trzech różnych funkcjach i mylisz te funkcje. Nic zatem dziwnego, że AK jest sprzeczna. :) (I nic dziwnego, że nie umiesz sam odpowiedzieć na pytanie, co to =, bo przecież odpowiedzi byłyby co chwilę inne :P)
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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Czw 18:54, 12 Cze 2014    Temat postu:

malaavi napisał:
Twój opis procedury to:
p=>q
Zbadaj czy zbiór p zawiera się w q
Na wejściu ustawiasz:
p=P8
q=P2
Na wyjściu otrzymujesz zmienną binarną:
p=>q =1 - p zawiera się w q
p=>q =0 - p nie zawiera się q
no to = nie oznacza ANI PRZYPISANIA, ANI RÓWNOŚCI, tylko jeszcze trzecią rzecz, czyli FUNKCJĘ WARTOŚCIOWANIA, tak? :) Czy nie rozumiesz, o czym mówimy? :)
Inna rzecz, że też z powodzeniem programowałem, choć zawsze w językach wysokiego poziomu. Daruj sobie uwagi, że ktoś poza tobą nie rozumie. ;)

Stosujesz znak = w co najmniej trzech różnych funkcjach i mylisz te funkcje. Nic zatem dziwnego, że AK jest sprzeczna. :) (I nic dziwnego, że nie umiesz sam odpowiedzieć na pytanie, co to =, bo przecież odpowiedzi byłyby co chwilę inne :P)

... no to rozpisz mi w języku symboli tę procedurę:
p=>q =1
p=>q =0
Czyli podaj rozpisany algorytm tej procedury.

Mój jest taki:
p=>q = p*q = p =1
... i wszystko jasne.

Teraz czekam na konkurencyjny - Twój!
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, 4 ... 28, 29, 30  Następny
Strona 3 z 30

 
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