ŚFiNiA

fiklit

I co w tym wytłuszczonym jest o zbiorach?

rafal3006

idiota

W wytłuszczonym jest kwantyfikator, zmienna, dwa predykaty i funktor zdaniotwórczy od dwóch argumentów zdaniowych.
Ani jednego zbioru niestety.
Zatem nie można powiedzieć, byś jakkolwiek podobnie do fiklita rozumiał zbiory, skoro widzisz je gdzie on ich nie widzi.
To chyba coś znaczy, taka różnica?

fiklit

Dokładnie.
"/\x P8(x)=>P2(x)
Dla każdej liczby x, jeżeli liczba x należy do zbioru P8(x) to na pewno => należy do zbioru P2(x) "
P8(x) nie jest zbiorem. Jest predykatem.

rafal3006

fiklit

Czy to jest kluczowe pytanie dla problemu czy zdania te mówią o zbiorach czy nie? Bo jakoś nie widzę związku.

rafal3006

idiota

A jak to się ma do kwestii czy te zdania mówią o zbiorach?
O tym tu się staramy czegoś dowiedzieć, ale ty wymyślasz wciąż jakieś strasznie kluczowe rzeczy nie mające z tym nic wspólnego, byle nic w tej kwestii nie mówić.

rafal3006

idiota

A nas twoje fakty nie interesują, tylko powody dla jakich udajesz, że tam coś o zbiorach jest napisane.

Nie chcemy się tu od tej kluczowej sprawy na jakieś poboczne kwestie przenosić.

rafal3006

idiota

Gdzie w tych zdaniach jest mowa o zbiorach?
Jeżeli tego nie ustalimy nie mamy co gadać, bo nie wiemy, czy tak samo używamy pojęć.
A wygląda na to, że inaczej, ale nie chcesz tego przyznać z jakiś powodów...

rafal3006

fiklit

Wyrażenia ABC w języku polskim nie są tożsame z wyrażeniem D w RP. ABC nie są jednoznaczne jak D. W ABC jest mowa o liczbie w D nie. Jednak jeśli ABC potraktować jak zdania logiczne i chcieć zapisać w RP to najprostsza wersja to będzie właśnie D.

rafal3006

Odpowiem na twój post Fiklicie tylko mam pytanie:
[link widoczny dla zalogowanych]

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/o-algebrze-boole-a,7718-275.html#236402

fiklit

napisałem ci 1,2,3.
Do tego stosujesz wymiennie wyrażenia, które nie są tożsame, np. "liczba jest podzielna przez 8", "zbiór [8,16,24...]". Dla mnie warunek podzielności przez 8 jest czymś zupełnie innym niż zbiór liczb spełniających ten warunek". Oczywiście te dwa obiekty są powiązane, ale to są zupełnie dwa różne obiekty. Argumentacja w której będziesz to stosował wymiennie do niczego mnie nie przekona. Po prostu jest dla mnie nieczytelna.

Poza tym po co się pytasz co mi nie pasuje jak i tak nie czytasz tego co napiszę. Napisałem że P8(x) nie jest zbiorem? Czy tak trudno wydumać, że w takim przypadku pisane "zbiór P8(x)" będzie moim zdaniem niepoprawne?

rafal3006

fiklit

rafal3006

fiklit

Nie rozumiesz co to jest kwantyfikator ani kontrprzykład. I nie obchodzi mnie, że masz swoje znaczenia tych słów. Świadczy o tym to jak ich używasz. Komunikujesz się z ludźmi, stosuj nasz język.
Zastosowanie kontrprzykładu ma sens gdy twierdzenie ma postać /\x T(x).
W takim przypadku kontrprzykładem jest konkretna wartość a taka, że ~T(a).

Kwantyfikatora używa się w formułowaniu twierdzeń i jeśli został użyty uwzględnia się to w dowodzie. To co mówi kwantyfikator jest istotną częścią twierdzenia. Kwantyfikator nie jest metodą dowodzenia twierdzeń.
Kontrprzykładem dla /\x P8(x)->P2(x) byłaby taka liczba która spełnia warunek P8(x)*~P2(x).
Sprawdź sobie "typy" w moich wyrażeniach. U mnie kontrprzykład:liczba, u ciebie kontrprzykład:zdanie.

idiota

Cały czas rafał nam wciskał, że znaczenie słów zbiór, kwantyfikator czy warunek ma identyczny jak normalni ludzie, a teraz już o tym zapomniał i prostodusznie wraca w stare koleiny.

fiklit

Jestem przekonany, że Rafał nadal uważa, że znaczenie tych słów ma takie samo jak my (pomimo tego, że wszystko ma inne), i zaraz to udowodni. Niestety będzie to dowód poprawny tylko dla niego, bo pewnie oparty na rafałowym znaczeniu kluczowych zwrotów. Taki los.

rafal3006

fiklit

A nie. Pomyliłem się. Tym razem Rafał zamiast strategi upierania się przy swoim wbrew faktom, wybrał strategię ignorowania niewygodnych argumentów.