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 

Prawo subalternacji
Idź do strony Poprzedni  1, 2, 3 ... 114, 115, 116 ... 124, 125, 126  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: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 11:53, 02 Lut 2017    Temat postu:

Najpierw przeczytaj w ogóle co piszę i o jakie zdanie mi chodzi.

Jesli moje zdanie parafrazujesz "Jeśli x jest zbiorem dwuelementowym [p,q] to x jest liczbą "
to jest dla mnie jasnym sygnałem, że nie przeczytałeś ze zrozumieniem mojego zdania.

Nie przeczytałeś ze zrozumieniem nawet fragmentu, który zacytowałeś.
Cytat:
Jeśli x jest zbiorem dwuelementowym [p,q] to na 100% x jest liczbą "
Gdzie tak napisałem?
Z tym zdaniem to się zgadzam, że nie jest prawdą.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
lucek




Dołączył: 18 Lut 2011
Posty: 4105
Przeczytał: 9 tematów


PostWysłany: Czw 11:57, 02 Lut 2017    Temat postu:

Cytat:
To jest nasza wspólna definicja obowiązująca i w AK i w LZ.


to nie musi być wspólna definicja, nie musi, bo tego nie analizowałem, ale znaczenie A=>B i B=>A jest inne w AK i LZ (A,B mogą mieć odwrotne wartości w tym samym równaniu)
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Czw 12:08, 02 Lut 2017    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2825.html#311877
fiklit napisał:

Zatem powtarzam
czy mogę zdanie
1. "Zbiór [1,2] jest liczbą"
zgodnie z tw.1. zapisać
2. "jeśli x jest zbiorem [1,2], to x jest liczbą"?

Nigdy ani 1 ani 2 nie zapisałem.
Oba te zdania są fałszem na mocy definicji tożsamości zbiorów A=B.
Ale chyba czuję o co ci chodzi:
Rozważmy zbiór:
1. A1=[1+2]
Mamy tu możliwość utworzenie zaledwie jednego podzbioru
2. A1=[1+2+ 1+2]
Na mocy prawa do redukcji/powielania dowolnych zbiorów:
p=p+p
zachodzi tożsamość zdań A1=A1.

Póki co równania 1 i 2 są tożsame, ale jak stworzymy w obrębie zbioru A1 dowolny podzbiór to tożsamości już nie będzie, stąd musi być inna nazwa - tu. A2
3. A2=[1+2+[1+2]] = [1+2+B]
Gdzie:
B=[1+2]
Zauważ, że w nowym zbiorze A2 zachodzi:
1 ## 2 ## B=[1+2]

Czy o to chodzi?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 12:20, 02 Lut 2017    Temat postu:

Zgodnie z prawem prosiaczka A1=A2
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Czw 12:36, 02 Lut 2017    Temat postu:

fiklit napisał:
Zgodnie z prawem prosiaczka A1=A2

Zgoda że błędnie stawiałem tu znak tożsamości:
A1=A2
Muszę to skorygować - pomysł już mam.

[1+2] =1 - zbiór niepusty
[1+2+B] =1 - zbiór niepusty
gdzie:
B=[1+2]
Matematycznie zachodzi tu:
[1+2] ## [1+2+B]
gdzie:
## - różne na mocy definicji

Prawo Prosiaczka:
Niech będzie dany zbiór:
[1,2]
Prawo Prosiaczka:
A.
Prawdą jest (=1) że to jest zbiór dwuelementowy [1,2]
[1,2] =1
B.
Fałszem jest (=0), że to nie jest zbiór dwuelementowy [1,2]
~[1+2] =0
Zdania A i B są tożsame stąd mamy I prawo Prosiaczka:
([1+2]=1) = (~[1+2]=0)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 12:52, 02 Lut 2017    Temat postu:

Zaraz.
Masz B=[1,2]
To które = w poniższym ciągu nie zachodzi:
A1=[1,2,3]=[1,2,3,1,2]=[1,2,3,[1,2]]=[1,2,3,B]=A2
?
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Czw 12:54, 02 Lut 2017    Temat postu:

fiklit napisał:
Zaraz.
Masz B=[1,2]
To które = w poniższym ciągu nie zachodzi:
A1=[1,2,3]=[1,2,3,1,2]=[1,2,3,[1,2]]=[1,2,3,B]=A2
?

A1=[1,2,3] =[1,2,3,1,2] ## [1,2,3,[1,2]] = [1,2,3,B]=A2
gdzie:
## - różne na mocy definicji
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 12:59, 02 Lut 2017    Temat postu:

Czyli rozumiem, że odwołujesz albo zmieniasz prawo baranka?
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Czw 13:01, 02 Lut 2017    Temat postu:

fiklit napisał:
Czyli rozumiem, że odwołujesz albo zmieniasz prawo baranka?

... mam pomysł na jego uratowanie ... muszę to przemyśleć.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3604
Przeczytał: 3 tematy

Skąd: stolnica

PostWysłany: Czw 13:03, 02 Lut 2017    Temat postu:

"Matematycznie zachodzi tu:
[1+2] ## [1+2+B] "

Czyli już prawo bodaj baranka się popsuło...
Szkoda, fajny był.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
lucek




Dołączył: 18 Lut 2011
Posty: 4105
Przeczytał: 9 tematów


PostWysłany: Czw 13:08, 02 Lut 2017    Temat postu:

Cytat:
... mam pomysł na jego uratowanie ... muszę to przemyśleć.


:shock: Rafał, a po co je chcesz "ratować" ? ... tj. chcesz je ratować, czy swoją nieomylność :) ?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 13:15, 02 Lut 2017    Temat postu:

"Szkoda, fajny był."
Fajnie obalał.
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Czw 19:47, 02 Lut 2017    Temat postu:

Koło ratunkowe dla prawa Baranka

fiklit napisał:
Czyli rozumiem, że odwołujesz albo zmieniasz prawo baranka?

... oczywiście że zmieniam

I Prawo Baranka:
Jeśli dowolny podzbiór Uniwersum zbudowany jest z elementów zadeklarowanej dziedziny (elementy podstawowe) to na pewno => jest zarówno podzbiorem tejże dziedziny jak i jej elementem.

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

Przykłady:
1.
Autobusy są podzbiorem dziedziny:
ZWS = zbiór wszystkich samochodów
co oznacza, że da się wydzielić ze zbioru wszystkich samochodów zbiór autobusów
Co oznacza, że zbiór autobusów jest elementem zbioru wszystkich samochodów.
2.
Studenci są podzbiorem dziedziny:
ZWL = zbiór wszystkich ludzi
Co oznacza, że da się wydzielić ze zbioru wszystkich ludzi zbiór studentów
Co oznacza, że zbiór studentów jest elementem zbioru wszystkich ludzi

II Prawo Baranka
Jeśli dowolny podzbiór Uniwersum nie jest zbudowany wyłącznie z elementów zadeklarowanej dziedziny (elementy podstawowe) to na pewno => nie należy do tejże dziedziny.

P.S.
lucek napisał:
Cytat:
... mam pomysł na jego uratowanie ... muszę to przemyśleć.

:shock: Rafał, a po co je chcesz "ratować" ? ... tj. chcesz je ratować, czy swoją nieomylność :) ?

Chcę rozszyfrować logikę matematyczną rządzącą naszym Wszechświatem w 100% - dobrze że mam łączność z Kubusiem, stwórcą naszego Wszechświata, niestety zagłuszaną czasami przez Idiotów - stąd korekty AK
:fight:


Ostatnio zmieniony przez rafal3006 dnia Czw 20:07, 02 Lut 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 20:03, 02 Lut 2017    Temat postu:

"Jeśli dowolny podzbiór zbudowany"
podzbiór czego?
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Czw 20:05, 02 Lut 2017    Temat postu:

fiklit napisał:
"Jeśli dowolny podzbiór zbudowany"
podzbiór czego?

Podzbiór Uniwersum oczywiście

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

P.S.
Dzięki, już skorygowałem.


Ostatnio zmieniony przez rafal3006 dnia Czw 20:08, 02 Lut 2017, 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: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Czw 20:19, 02 Lut 2017    Temat postu:

Czyli jeśli D=[1,2,3]
B=[1,2]
to
D=A1=[1,2,3]=[1,2,3,1,2]=[1,2,3,[1,2]]=[1,2,3,B]=A2
Tak?


Ostatnio zmieniony przez fiklit dnia Czw 20:20, 02 Lut 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3604
Przeczytał: 3 tematy

Skąd: stolnica

PostWysłany: Czw 20:28, 02 Lut 2017    Temat postu:

Trzeba dużo zmienić, żeby wszystkie błędy zostały na swoich miejscach.
: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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Śro 5:42, 08 Lut 2017    Temat postu:

...

Ostatnio zmieniony przez rafal3006 dnia Śro 6:00, 08 Lut 2017, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Dyskurs
Bloger na Kretowisku



Dołączył: 29 Wrz 2015
Posty: 10138
Przeczytał: 59 tematów

Skąd: USA
Płeć: Kobieta

PostWysłany: Śro 5:45, 08 Lut 2017    Temat postu:

Hejka Rafal, co tak z kurami wstajesz? Nie mam juz wlasnosci intelektualnych aby o zbiorach i podzbiorach rozwazac, bo u mnie pora na spoczynek. Ale pozdrawiam serdecznie i zycze dobrego dnia a sobie dobrej nocy - howgh :)
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Śro 6:00, 08 Lut 2017    Temat postu:

Wielka rehabilitacja Prawa Baranka

fiklit napisał:
Czyli jeśli D=[1,2,3]
B=[1,2]
to
D=A1=[1,2,3]=[1,2,3,1,2]=[1,2,3,[1,2]]=[1,2,3,B]=A2
Tak?

Tak, dokładnie tak musi być.
Nie podałeś Fiklicie żadnego sensownego argumentu że tak nie może być, czyli że tak nie jest.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2825.html#311877
fiklit napisał:

Żeby obronić niesprzeczność AK, musisz wskazać bezpośredni błąd w moim rozumowaniu. Bez używania "to nie może być prawda, bo prawdą jest coś innego".
Zatem powtarzam
czy mogę zdanie
"Zbiór [1,2] jest liczbą"
zgodnie z tw.1. zapisać
"jeśli x jest zbiorem [1,2], to x jest liczbą"?

Pokazuję bezpośredni błąd w twoim rozumowaniu!
To wytłuszczone to kompletny bezsens.
Jak udowodnisz że kiedykolwiek napisałem to wytłuszczone, lub że to wytłuszczone wynika z definicji czy też z twierdzeń AK, to oczywistym jest że kasuję całą AK.
Dalej nie ma sensu czytać, bo z bezsensu przy poprawnym aparacie matematycznym może wynikać wyłącznie bezsens.
"Z fałszu wynika wszystko" - to jest największa głupota ziemian, bowiem z fałszu może wynikać tylko i wyłącznie fałsz (powtórzę: tylko i wyłącznie fałsz).
Jak ktoś twierdzi że to nieprawda to proszę podać jeden przykład z historii ludzkości gdzie było inaczej.

[link widoczny dla zalogowanych]
Zbiór pusty jest podzbiorem każdego zbioru:
Jest to wniosek z reguły mówiącej, że z fałszu wynika wszystko


http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2800.html#311605
fiklit napisał:
Albo jeszcze prościej.
Zbiór [1,2] nie jest liczbą. Tak?
Ale zdanie "Zbiór [1,2] jest liczbą" jest w twojej logice prawdziwe.
Zamieniamy na:
jeśli x jest zbiorem [1,2] to x jest liczbą.
[[1,2]] => ZWL=[1,2,3...,0,1/2,,pi,[1,2]...]
Zbiór po lewej stronie jest podzbiorem zbioru po prawej i nie jest z nim tożsamy.
Mamy implikację prostą |=>, mamy spełniony warunek wystarczający =>(było: konieczny =>).
Wystarczy być zbiorem [1,2] aby być liczbą.

W AK bycie podzbiorem => dziedziny ZWL (zbiór wszystkich liczb) nie jest implikacja prostą |=> bo wszystko co poza dziedziną jest zbiorem pustym, zatem nie uzyskamy tu zero-jedynkowej definicji implikacji prostej |=>.
W tym przypadku będziemy mieli do czynienia ze zbiorem jednoargumentowym i definicją operatora transmisji.
p=[1,2]
~p=[ZWL-p]
Definicja operatora transmisji:
Y=p
~Y=~p

Co do pozostałej części cytatu to mamy ... bzdury:
1.
Wytłuszczone to fałsz
2.
Końcowy wniosek (niebieski) to fałsz:
Zbiór [1,2] jest podzbiorem => zbioru wszystkich liczb (ZWL) - oczywiście nie jest liczbą!
Wynika to bezpośrednio z definicji podzbioru:
1=>[1,2]
Liczba 1 należy => do zbioru [1,2] - prawda
[1,2] należy => do zbioru 1 - fałsz!
stąd:
Zbiór [1,2] nie jest liczbą, wypisujesz bzdury na temat AK.

Wynika to także z logiki matematycznej ziemian:
[link widoczny dla zalogowanych]
math.edu napisał:

Równość zbiorów (tożsamość zbiorów):
Zbiory A i B nazywamy równymi wtedy i tylko wtedy, gdy każdy element zbioru A jest elementem zbioru B i na odwrót
A=B <=> (A=>B)*(B=>A)


Prawo Baranka:
Jeśli zbiór A jest podzbiorem => B to zbiór A jest częścią zbioru B, jak również zbiór A jest elementem zbioru B

Na czym polega genialność prawa Baranka?

Przyjmijmy dziedzinę:
ZS - zbiór ssaków

Zdefiniujmy sobie w obrębie tej dziedziny zbiór:
człowiek=[kobieta+mężczyzna]
Wywalenie podzbioru „człowiek” ze zbioru ssaków jak to robi TM jest po prostu najzwyklejszym bezsensem
Wniosek:
TM = bezsens


Przykład 1.
Dziedzinę możemy definiować dowolnie.
Zdefiniujmy dziedzinę.
ZS - zbiór wszystkich ssaków
ZS=[K+M+PS]
K - kobieta
M - mężczyzna
PS - pozostałe ssaki
W naszej dziedzinie sensowny podzbiór to:
C=[K+M] - człowiek
Elementy dziedziny możemy powielać do woli tworząc z nich podzbiory.
ZS=[K+M+PS+[K+M]]
ZS=[K+M+PS+C]
Zbadajmy przykładową relację podzbioru =>:
C=[K+M]=>ZS=[K+M+PS+C]
Doskonale widać, że prawo Baranka działa tu znakomicie.
Zbiór C jest podzbiorem => zbioru ZS.
Zbiór C jest częścią zbioru ZS, jak również zbiór C jest elementem zbioru ZS.


2.0 Nowa Teoria Zbiorów

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

Zwrot „dowolnych pojęć” oznacza, że przy doborze elementów zbioru człowiek ma 100% wolnej woli, może do zbioru wrzucać mydło i powidło jak niżej:
p=[LN, pies, miłość, krasnoludek]
gdzie:
LN=[1,2,3,4,5,6,7,8,9...] - zbiór liczb naturalnych

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

Szczególne przypadki zbioru to:
- uniwersum
- podzbiór
- nadzbiór

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka
Człowiek nie jest w stanie zdefiniować zbioru wykraczającego z przyjętą wyżej definicję Uniwersum.
Każdy zbiór zdefiniowany przez człowieka będzie podzbiorem Uniwersum.

Definicja podzbioru =>:
Jeśli wszystkie elementy zbioru A należą do zbioru B to mówimy, że zbiór A jest podzbiorem => zbioru B i zapisujemy
A=>B

Definicja nadzbioru ~>:
Jeśli zbiór A zawiera co najmniej wszystkie elementy zbioru B to mówimy, że zbiór A jest nadzbiorem ~> zbioru B i zapisujemy
A~>B

Pojęcia podstawowe Nowej Teorii Zbiorów:
Budowa zbioru:
p = [LN, pies, miłość, krasnoludek]
LN=[1,2,3,4,5,6,7,8,9...] - zbiór liczb naturalnych
Legenda:
p - nazwa zbioru
[x] - zawartość zbioru, elementy zbioru rozdzielamy przecinkami
Element zbioru to dowolne pojęcie z obszaru Uniwersum
Uniwersum to zbiór wszystkich pojęć zrozumiałych przez człowieka
Elementy zbioru mogą być zbiorami np. LN

Zbiory mają wartość logiczną:
1 = prawda
0 = fałsz
[x] =1 - zbiór niepusty, zawierający przynajmniej jeden element
[] =0 - zbiór pusty, zawierający zero elementów

Wnioski:
Każdy element niepusty ma wartość logiczną 1
Element niepusty w dowolnym zbiorze czyni ten zbiór niepustym którego wartość logiczna to 1.
p=[miłość] =1 - zbiór niepusty o wartości logicznej 1


2.1 Podstawowe operacje na zbiorach

Definicja dziedziny:
Dziedzina to dowolny zbiór utworzony przez człowieka na którym operujemy
Wszystko co leży poza przyjętą dziedziną jest zbiorem pustym z definicji.
Oznacza to, że wszelkie pojęcia poza przyjętą dziedziną są dla nas nierozpoznawalne, czyli nie znamy definicji tych pojęć z założenia.
Właściwości dziedziny:
D+~D = D+[] =D =1 - bo zbiór niepusty
D*~D = D*[] =[] =0 - bo zbiór pusty

Zaprzeczenie zbioru (~):
Zaprzeczeniem zbioru nazywamy uzupełnienie zbioru do dziedziny
Przykład:
p=[1,2] - definiujemy zbiór
D=[1,2,3,4] - definiujemy dziedzinę
Stąd:
~p=[D-p] =[3,4]

Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Zbiór wynikowy pusty oznacza rozłączność zbiorów p i q
Y =[] =0 - w przypadku zbiorów rozłącznych
Przykład:
p=[1,2,3,4] =1 - bo zbiór niepusty
q=[3,4,5,6] =1 - bo zbiór niepusty
Y=p*q=[1,2,3,4]*[3,4,5,6]=[3,4] =1 - bo zbiór niepusty

Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń
Przykład:
p=[1,2,3,4] =1 - bo zbiór niepusty
q=[3,4,5,6] =1 - bo zbiór niepusty
Y=p*q=[1,2,3,4]+[3,4,5,6]=[1,2,3,4,5,6] =1 - bo zbiór niepusty

Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q
p=[1,2,3,4] =1 - bo zbiór niepusty
q=[3,4] =1 - bo zbiór niepusty
Y=p-q = [1,2,3,4]-[3,4] =[1,2] =1 - bo zbiór niepusty
Y=q-p =[3,4]-[1,2,3,4]=[] =0 - bo zbiór pusty


2.2 Fundamenty Nowej Teorii Zbiorów

Przyjmijmy do naszych rozważań dziedzinę:
D=[1,2,3]
Legenda:
D - nazwa zbioru (dziedzina)
[1,2,3] - elementy dziedziny umieszczamy w nawiasach i rozdzielamy je przecinkami

W NTZ zachodzi tożsamość:
(,) przecinek = (+) suma logiczna zbiorów

Używamy przecinków tylko i wyłącznie po to, by zapis był czytelniejszy.
Stąd zapisy tożsame:
B=[1,2,3] = [1+2+3]
gdzie:
1,2,3 - elementy podstawowe zbioru B

Definicja elementu podstawowego zbioru:
Element podstawowy zbioru to pojedynczy element bez powtórzeń należący do zadeklarowanej dziedziny.

Definicja:
Logika matematyczna zajmuje się rozpoznawalnością elementów w zbiorze a nie liczeniem elementów w zbiorze.
Stąd:
p=[2] - zbiór jednoelementowy zawierający liczbę 2
q=[2+2+2..] - zbiór z nieskończenie wieloma elementami 2
Zbiory p i q są tożsame bo zawierają ten sam element podstawowy zbioru, liczbę 2
p=q

Prawo powielania/redukcji elementów w zbiorze:
p=p+p
Na mocy tego prawa elementy zbioru możemy dowolnie powielać/redukować i dalej będzie to ten sam zbiór.
Przykład:
B=[1+2+3] = [1+1+…2+2+…3+3+…]
W szczególnym przypadku w zbiorze B=[1+2+3] może być nieskończenie wiele elementów i dalej będzie on tym samym zbiorem.

Z elementów podstawowych zbioru (należących do dziedziny) możemy budować dowolne podzbiory:
B =[1+2+3] = [1+2+1+3+2+3+1+2+3]
B =[[1+2]+[1+3]+[2+3]+[1+2+3]]
To są wszystkie możliwe, różne podzbiory jakie możemy zbudować z elementów podstawowych 1,2,3 zbioru B.
Wyróżnionym podzbiorom możemy nadać dowolne nazwy symboliczne je opisujące.
B =[[1+2]+[1+3]+[2+3]+[1+2+3]] = [C+D+E+F]
Kompletny zbiór B zawierający elementy podstawowe i wszystkie możliwe podzbiory wygląda tak.
B = [1+2+3] = [1+2+3+[1+2]+[1+3]+[2+3]+[1+2+3]]
B = [1+2+3+C+D+E+F]
Zapis tożsamy:
B = [1,2,3,C,D,E,F]
Legenda:
1,2,3 - elementy podstawowe zbioru
Podzbiory zbudowane z elementów podstawowych zbioru B to:
C=[1+2]
D=[1+3]
E=[2+3]
F=[1+2+3]
Zauważmy, że podzbiór F jest elementem zbioru B i jednocześnie jest tożsamy ze zbiorem podstawowym B:
F=B
stąd mamy prawo NTZ:
Każdy zbiór jest elementem dla samego siebie

Na mocy definicji zachodzi:
1 ## 2 ## 3 ## C ## D ## E ## F
gdzie:
## - różne na mocy definicji
B = [1,2,3,C,D,E,F]
Zbiór B zawiera wszystkie elementy podstawowe [1,2,3] plus wszystkie możliwe podzbiory [C,D,E,F] zbudowane z elementów podstawowych

Definicja podzbioru:
Jeśli każdy element zbioru A należy do zbioru B to mówimy, iż zbiór A jest podzbiorem => zbioru B i zapisujemy:
A=>B

Zdefiniujmy zbiór A:
A=[1+2]
Zapiszmy relację podzbioru => zachodzącą między zbiorami A i B:
A=[1+2] => B= [1+2+3+C+D+E+F]
Zauważmy że:
A = C = [1+2]
stąd naszą relację możemy zapisać w postaci:
A=[1+2] => B= [1+2+3+A+D+E+F]
Elementy zbioru B to:
1,2,3,A,D,E,F
Doskonale widać, że zbiór A jest podzbiorem => zbioru B zarówno w elementach podstawowych [1,2] jak również w podzbiorach bo A=A.

Zauważmy że jeśli po naszych przekształceniach będziemy badać czy dalej zbiór A jest elementem zbioru B:
A=[1+2] => B= [1+2+3+A+D+E+F]
to mamy dwie możliwości:
1.
Odtworzyć podstawienie które zrobiliśmy, stąd:
A=[1+2] => B= [1+2+3+[1+2]+D+E+F]
2.
Powtórzyć całe rozumowanie od początku korzystając wyłącznie z elementów podstawowych dostępnych w oryginalnej dziedzinie.

Prawo Baranka:
Jeśli zbiór A jest podzbiorem => B to zbiór A jest częścią zbioru B, jak również zbiór A jest elementem zbioru B

Zapiszmy jeszcze raz dziedzinę D wraz ze wszystkimi możliwymi podzbiorami:
D=[1+2+3+[1+2]+[1+3]+[2+3]+[1+2+3]]
Przyjętą dziedzinę [1+2+3] mamy prawo modyfikować, rozszerzać lub zawężać.
Usunięcie dowolnego elementu z dziedziny sprawia iż ten element staje się dla nas nierozpoznawalny, bowiem wszystko co jest poza dziedziną jest zbiorem pustym z definicji.
Wniosek:
Usuwając dowolny element z dziedziny, musimy go także usunąć ze wszystkich podzbiorów.
Usuńmy z naszej dziedziny element 3.
D=[1+2] - nowa dziedzina
Konieczna modyfikacja starej dziedziny [1+2+3]:
D=[1+2+[]+[1+2]+[1+[]]+[2+[]]+[1+2+[]]
stąd:
D=[1+2+[1]+[2]+[1+2]]
D=[1+2+[1+2]]
W naszej nowej dziedzinie dostępny jest tylko jeden możliwy podzbiór [1+2]

Przykład 1.
Dziedzinę możemy definiować dowolnie.
Zdefiniujmy dziedzinę.
ZS - zbiór wszystkich ssaków
ZS=[K+M+PS]
K - kobieta
M - mężczyzna
PS - pozostałe ssaki
W naszej dziedzinie sensowny podzbiór to:
C=[K+M] - człowiek
Elementy dziedziny możemy powielać do woli tworząc z nich podzbiory.
ZS=[K+M+PS+[K+M]]
ZS=[K+M+PS+C]
Zbadajmy przykładową relację podzbioru:
C=[K+M]=>ZS=[K+M+PS+C]
Doskonale widać, że prawo Baranka działa tu znakomicie.
Zbiór C jest podzbiorem => zbioru ZS.
Zbiór C jest częścią zbioru ZS, jak również zbiór C jest elementem zbioru ZS.

Przykład 2.
Dziedzinę możemy definiować dowolnie.
Dla celów edukacyjnych przyjmijmy zaledwie trzy elementy podstawowe zbioru czworokątów.
TP - trapez prostokątny
TR - trapez równoramienny
KW - kwadrat
Zapiszmy naszą dziedzinę, zbiór czworokątów:
CZW = [TP+TR+KW]
Elementy podstawowe zbioru CZW to:
TP, TR, KW
Utwórzmy sensowny podzbiór w zbiorze CZW:
CZW = [[TP+TR]+KW]
Nadajmy utworzonemu podzbiorowi nazwę:
TRAPEZ
TRAPEZ=[TP+TR]
Stąd zapis tożsamy zbioru CZW:
CZW = [TRAPEZ+KW]
Elementy zbioru CZW to:
TRAPEZ, KW
Matematycznie zachodzi tu relacja podzbioru:
TRAPEZ=[TP+TR] => CZW=[[TP+TR]+KW] = [TRAPEZ+KW]
Zauważmy że elementami zbioru CZW są zarówno elementy podstawowe:
TP, TR, KW
jak również elementem zbioru CZW jest podzbiór TRAPEZ!

Matematycznie zachodzi:
TP ## TR ## KW ## TRAPEZ
gdzie:
## - różne na mocy definicji

Doskonale tu widać poprawność prawa Baranka w naszym Wszechświecie.


Ostatnio zmieniony przez rafal3006 dnia Śro 9:10, 08 Lut 2017, w całości zmieniany 20 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Śro 9:58, 08 Lut 2017    Temat postu:

W gruncie rzeczy ta dyskusja sprowadza się do:
JA:
AK jest sprzeczna bo jest takie zdanie A, że zarówno A jak i ~A są prawdziwe. Podaję dowód, że ~A jest prawdziwe.

TY:
Nieprawda. A jest prawdziwe więc ~A jest fałszywe. Błąd w twoim dowodzie polega na tym, że ~A jest fałszywe.

WTF? to są twoje argumenty?
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Śro 10:11, 08 Lut 2017    Temat postu:

fiklit napisał:
W gruncie rzeczy ta dyskusja sprowadza się do:
JA:
AK jest sprzeczna bo jest takie zdanie A, że zarówno A jak i ~A są prawdziwe. Podaję dowód, że ~A jest prawdziwe.

Czy możesz podać (powtórzyć) ten dowód, bu zupełnie go nie widzę - nie mogę się odnieść do czegoś czego nie widzę.
Nie masz najmniejszych szans by wykazać wewnętrzną sprzeczność AK - akurat tego jestem pewien w 100%.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Śro 10:32, 08 Lut 2017    Temat postu:

Pisałem go już 3 razy. Napisałeś tylko, że dane zdanie (którego prawdziwości dowodziłem) jest fałszem i reszty nie czytasz.
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: 25109
Przeczytał: 21 tematów

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

PostWysłany: Śro 10:39, 08 Lut 2017    Temat postu:

fiklit napisał:
Pisałem go już 3 razy. Napisałeś tylko, że dane zdanie (którego prawdziwości dowodziłem) jest fałszem i reszty nie czytasz.

Rozumiem że ty twierdzisz iż na gruncie AK prawdziwe jest zdanie:
Zbiór [1,2] jest liczbą
Spójnik na pewno => jest w logice domyślny zatem ty twierdzisz że:
Zbiór [1,2] na 100% jest liczbą
innymi słowy ty twierdzisz że:
Każdy zbiór dwuelementowy liczb [p,q] jest liczbą

Zobaczmy analogię do zbioru człowiek:
człowiek = [kobieta + mężczyzna]

Rozumiem, że analogicznie do powyższego ty twierdzisz iż:
Każdy człowiek jest mężczyzną

W AK to jest FAŁSZ!
… bo kobieta to też człowiek, natomiast matematycznie zachodzi:
kobieta ## mężczyzna
gdzie:
## - różne na mocy definicji

Uogólniając ty twierdzisz że:
Dowolny zbiór dwuelementowy [p,q] jest tożsamy z dowolnym z elementów które ten zbiór zawiera

To jest bzdura zarówno na gruncie AK jak i LZ:
[link widoczny dla zalogowanych]
math.edu napisał:

Równość zbiorów (tożsamość zbiorów):
Zbiory A i B nazywamy równymi wtedy i tylko wtedy, gdy każdy element zbioru A jest elementem zbioru B i na odwrót
A=B <=> (A=>B)*(B=>A)


Czy o to ci chodzi?
Jeśli nie o to ci chodzi to przepraszam, ale kompletnie nie wiem o co ci chodzi.


Ostatnio zmieniony przez rafal3006 dnia Śro 10:53, 08 Lut 2017, 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: 4196
Przeczytał: 2 tematy


Płeć: Mężczyzna

PostWysłany: Śro 10:59, 08 Lut 2017    Temat postu:

Cytat:
ty twierdzisz że:
Zbiór [1,2] na 100% jest liczbą
innymi słowy ty twierdzisz że:
Każdy zbiór dwuelementowy liczb [p,q] jest liczbą

Przemyśl to.
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 EET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 114, 115, 116 ... 124, 125, 126  Następny
Strona 115 z 126

 
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