ŚFiNiA

idiota

A ilu elementowym zbiorem ma być 2?
Pięcio???

fiklit

Pst. Rafał, chyba nie ten fragment Ci się wkleił, bo zupełnie nie na temat.
Czy [1,2] jest elementem zbioru C przed minimalizacją C?
Czy [1,2] jest elementem zbioru C po minimalizacji C?
Czy minimalizacja może zmienić to, że coś jest jest elementem zbioru lub nie jest?
Czy zbiór C przed minimalizacją jest tym samym zbiorem co C po minimalizacji?

rafal3006

idiota

Odpowiedz na pytania.

rafal3006

Taz

rafal3006

fiklit

Czy istnieje zbiór którego przynajmniej jeden element (rzeczywisty) jest zbiorem dwuelementowym?

rafal3006

fiklit

Powtarzam pytanie: Czy istnieje zbiór którego przynajmniej jeden element (rzeczywisty) jest zbiorem dwuelementowym?
Czy w swojej teorii jesteś w stanie skonstruować i wyrazić obiekt analogiczny np. do A={{a,b},c,{d}} z normalnej matematyki?
O którym można powiedzieć m.in.:
{a,b} ∈ A
c ∈ A
{d} ∈ A
a ∉ A
b ∉ A
d ∉ A
A ma 3 elementy.

Czy coś podobnego jest możliwe w AK?

idiota

"Czy w swojej teorii jesteś w stanie skonstruować i wyrazić obiekt analogiczny np. do A={{a,b},c,{d}} z normalnej matematyki?
O którym można powiedzieć m.in.:
{a,b} ∈ A
c ∈ A
{d} ∈ A
a ∉ A
b ∉ A
d ∉ A
A ma 3 elementy."

UWAGA!
Odpowiadam za rafała!!!1
No przecież było o tym, no!
To jest zbiór 'A przed minimalizacją'. Anm ma trzy elementy, ale ma je "nierzeczywiście"
Rzeczywiście zbiór 'A po minimalizacji' (Am) ma cztery elementy.
KONIEC.

Tylko po co komu to minimalizowanie i "sprowadzanie" zbiorów do listy ich 'elementów atomowych' (nie dających się rozbić na kolejne elementy) mu jest?
Tego nie wiadomo.
Jak na moje oko to ta idea kladzie już kompletnie to o czym żeśwa tu się spierali jakiś czas temu, czyli kwestię "kiedy to jedno zdanie implikuje drugie", bo kiedy mamy A->B to jest to coś innego (kiedy tak mówimy) niż kiedy powiemy Am->Bm.

rafal3006

fiklit

Czyli: nie da się?

rafal3006

rafal3006

fiklit

Tak na szybko:
Np. szkole zależy na zbadaniu czy klasy są dobrze zintegrowane, jako wyznacznik tego przyjmują, że każde dwie osoby z każdej klasy się lubią. Mamy klasę A złożoną z Oli i Poli i klasę B złożoną Roberta i Seweryna. Z tym, że wszyscy w naszej małej szkole się lubią z wyjątkiem Roberta i Seweryna.
Mamy zatem zbiór par osób z każdej klasy K=[[O,P],[R,S]] i zbiór par które się lubią L=[[O,P],[O,S],[O,R],[P,R],[P,S]].
Pytanie czy K zawiera się w L? Jeśli tak, to klasy są dobrze zintegrowane, jeśli nie to nie.
Oczywiście że nie. Po R i S są z jednej klasy lecz się nie lubią. Ale zobaczmy co na to AK?
K=[[O,P],[R,S]]=[O,P,R,S]
L=[[O,P],[O,S],[O,R],[P,R],[P,S]]=[O,P,R,S]
O to ciekawe K zawiera się w L. Zatem szkoła jest dobrze zintegrowana.

Natomiast w normalnej matematyce co prawda element {O,P} zbioru K należy również do L, lecz element {R,S} nie należy do L. Więc K nie zawiera się w L. Zatem odpowiedź poprawna.

rafal3006

fiklit

Aha, czyli próba rozwiązania przy pomocy AK jakiegokolwiek nietrywialnego problemu skończy się "nie chcę się wgłębiać". tylko po co wtedy te wszystkie szumne nazwy: implikacja prosta prawdziwa, operator, zbiór, rzeczywisty element...? Przedszkolaki sobie radzą bez tego, a Ty nie radzisz sobie z formalizacją intuicji przedszkolaków.

rafal3006

rafal3006

Taz

Problem na poziomie przedszkolnym, z którym AK sobie nie radzi #1: liczenie dzieci ustawionych w pary.

Bierzemy sobie przedszkolaki i ustawiamy je w pary (niech Dn oznacza n-te dziecko, załóżmy że mamy 8 dzieci): [D1, D2], [D3, D4], [D5, D6], [D7, D8]

Mamy zbiór par dzieci: [[D1, D2], [D3, D4], [D5, D6], [D7, D8]].

Pierwsza pani przedszkolanka liczy dzieci: "Policzmy, ile jest par i pomnóżmy przez 2: w zbiorze par są 4 elementy, razy 2 daje 8 dzieci".

Druga pani przedszkolanka, wychowanka Kubusia: "Hmm, ale przecież zbiór par jest równy [D1, D2, D3, D4, D5, D6, D7, D8], więc ma 8 elementów, razy 2 daje 16".

Problem na poziomie przedszkolnym, z którym AK sobie nie radzi #2: sprzątanie zabawek.

W przedszkolu dzieci miały do zabawy 3 samochodziki i 3 lalki. Pani poprosiła, aby posprzątać samochodziki do jednego pudełka, lalki do drugiego, a następnie pudełka odłożyć na półkę.

Pierwszy przedszkolak już chciał wziąć pudełka i zacząć sprzątać, kiedy zatrzymał go syn Kubusia: "Hej, przecież [[S1, S2, S3], [L1, L2, L3]] = [S1, S2, S3, L1, L2, L3], więc po co ci te pudełka? Po prostu wrzućmy samochodziki i lalki na półkę".

rafal3006

Fizyku, nie w tym kościele dzwony biją.
Czy mam rozwiązywać miliony zadań matematycznych?
Czy to ma być dowód prawdziwości AK?
... a w którym miejscu użyłeś w swoich zadaniach jakiejkolwiek logiki formalnej bo nie widzę.
W swoich zadaniach użyłeś NATURALNEJ logiki człowieka = algebry Kubusia.

Czy wiesz co to jest NATURALNA logika człowieka?

Naturalna logika człowieka to odpowiedź na banalne pytanie na którym Zefciu połamał sobie zęby.

[link widoczny dla zalogowanych]