ŚFiNiA

fiklit

Nie chce mi się wnikać w zawiłości twojej notacji.
Jeżeli jednak:
P-zbiór wszystkich psów,
S-zbiór wszystkich słoni,
K-zbiór wszystkich koni,
4Ł-zbiór wszystkich zwierząt z które normalnie mają 4 łapy to:
P ⊂ 4Ł,
S ⊂ 4Ł,
K ⊂ 4Ł,
Jenak niepawda, że
P ∈ 4Ł,
S ∈ 4Ł,
K ∈ 4Ł,
Czyli nie jest prawdą, że
4Ł={P,S,K,...}

rafal3006

fiklit

Tak.
Zbiór wszystkich psów nie jest elementem zbioru wszystkich zwierząt z 4 łapami.
M.in. dlatego, że zbiór wszystkich psów nie jest zwierzęciem, nie ma też 4 łap.
Natomiast zbiór wszystkich psów jest podzbiorem zbioru wszystkich zwierząt z 4 łapami (oczywiście w wyidealizowanym świecie).

rafal3006

fiklit

Nie znam sie na teojej notacji i twoich zbiorach.

rafal3006

fiklit

Przy takich zbiorach faktycznie
A∈B
oraz
A⊂B

Tak konkretne zdanie trochę trudno nazwać Prawem. To tak jakby "prawem fiklita" nazwać zadnie: "26-12-2016 w mieście gdzie mieszka fiklit padał deszcz".

rafal3006

fiklit

Nie rozumiem tej notacji.
Czy chcesz zapytac o to:
A-zbiór wszystkich psów
S-zbiór wszystkich słoni
M-zbiór wszystkich mrówek
B={A,S,M}
1. Czy A⊂B?
2. Czy A∈B?
Czy o to chodzi?

rafal3006

fiklit

Nie do końca rozumiem co odpowiada czemu między naszymi notacjami.
Weźmy A w twojej notacji opisane:
A=[zbiór wszystkich psów]
Oraz w mojej weźmy:
B - zbiór wszystkch psów
C={B}
Teraz twoje A odpowiada mojemu B czy C?

rafal3006

fiklit

Dobra widzę, że odpowiedź cie przerasta.
W każdym razie odpowiadając na:
A-zbiór wszystkich psów
S-zbiór wszystkich słoni
M-zbiór wszystkich mrówek
B={A,S,M}
1. Czy A⊂B? Nie
2. Czy A∈B? Tak

rafal3006

fiklit

A nie jest podzbiorem C, ponieważ np. Azor będący elementem A nie jest elementem C=[[mój pies, Azor=pies sąsiada, zbiór jamników, zbiór kundelków ...], krowa, LN]. Jest elementem zbioru będącego elementem zbioru C. Bycie elementem to trochę jak bycie dzieckiem i inaczej niż bycie potomkiem. Dziecko twojego dziecka nie jest twoim dzieckiem.
Oczywiście cały czas mówię o normalnej matematyce bo od tego wyszliśmy.

rafal3006

fiklit

Cieszę się, że zauważasz różnicę między zbiorami TM a zbiorami AK.
Przypominam rozmawiamy o obaleniu matematycznego twierdzenia:
"
Bledem czysto matematycznym jest stwierdzenie że „zbiór pusty jest podzbiorem każdego zbioru”
"
Twierdzenie to dotyczy zbiorów TM. Dla jasności gdy mowa o zbiorach TM będę używał przedrostka tm- oraz {}, a gdy o zbiorach AK przedrostka ak- i [].

Ponieważ dyskusja ta dotyczy twierdzenia o tmzbiorach, o nich będę tu pisał.
Zatem prawo rekina dla tmzbiorów:
"TMzbiór A jest podzbiorem tmzbioru B wtedy i tylko wtedy gdy tmzbiór A należy do tmzbioru B (jest elementem tmzbioru B) "

Zatem weźmy:
A={1,2}
B={1,2,3}
A jest podzbiorem B, gdyż każdy element A, czyli zarówno 1 jak i 2, jest elementem B.
Natomiast A nie jest elementem B, gdyź A jest różne od każdego elementu B, czyli A#1, A#2, A#3.

Hmm. A może ty nie chcesz obalić twierdzenia dotyczącego tmzbiorów:
"Tmmbiór pusty jest podzbiorem każdego tmzbioru".
tylko pokazać, że analogicznie twierdzenie dla akzbiorów nie zachodzi.
Czyli że: nie jest prawdą, że akzbiór pusty jest podzbiorem każdego akzbioru".
Sprecyzuj teraz o co ci chodzi.

rafal3006

fiklit

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2100.html#304865

fiklit

rafal3006

fiklit

W LZ nie ma czegoś takiego jak wynikanie lub niewynikanie z jakiegoś zbioru. Zbory nie mają wartości logicznej. Nie piszesz o LZ. To tylko twoje wymysły.

rafal3006