ŚFiNiA

[idiota]

No przecież, że są śmiećmi, bo pozwalają wykazywać że rafał nie wie o co chodzi w czymkolwiek.
Po prostu wypierdzielić wszystkie prawa logiki z logiki, bo ich rafał nie rozumie.
A przecież jak on nie rozumie to są bez sensu.

[rafal3006]

[rafal3006]

[fiklit]

ale czemu rozdzielasz prawo demorgana na dwa zdania?

[rafal3006]

[Michał Dyszyński]

[fiklit]

Dobra, jeśli uważasz, że stosując swoje przejście do logiki przeciwnej nie używasz praw de morgana to nie mamy o czym gadać.

[rafal3006]

[rafal3006]

[fiklit]

Czy to co napisałem zrozumiałeś jako "zdanie po przekształceniu prwem de morgana staje się zdaniem zawsze prawdziwym"?

[rafal3006]

Obalenie logiki matematycznej ziemian - rozgrzewka!

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

[fiklit]

Twoja argumentacja ma taki sam schemat jak poniżej:
Antek jest Polakiem
Bolek jest Polakiem
Bolek jest blondynem
Zatem Antek też jest blondynem.
Nie jest poprawne rozumowanie w LZ.

[rafal3006]

Czysto matematyczne obalenie logiki ziemian. Część I.

Część I:
Atak na twierdzę „Logika ziemian” z punktu widzenia rachunku zero-jedynkowego

Uwaga:
Rachunek zero-jedynkowy jest identyczny w algebrze Kubusia i logice matematycznej ziemian!

[rafal3006]

Czysto matematyczne obalenie logiki ziemian. Część II.

Część II.
Atak na twierdzę „Logika ziemian” z punktu widzenia podstawowej teorii zbiorów

Uwaga!
Podstawowa teoria zbiorów jest identyczna w algebrze Kubusia i logice matematycznej ziemian

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

[lucek]

[idiota]

". a nie przyszło ci do głowy Idioto, po 10 latach chodzenia za Kubusiem krok w krok, że Kubuś może mieć rację w tym co pisze? "

Nie znam kubusiów, wiem,że rafał myli się we WSZYSTKIM co tu pisze.

[rafal3006]

Wojna Wszechświatów - to dzieje się na naszych oczach!

[idiota]

No nie wiadomo nawet jak ten znaczek działa i co konkretnie ma sobą wyrażać.
Jak zwykle u ciebie - z górą 10 lat starasz się zrozumieć logikę i nawet nie umiesz porządnie zdefiniować znaczka, tyleś się przez ten czas nauczył.

[rafal3006]

Biblia Kubusia - Nowa Teoria Zbiorów

Spis treści
1.0 Notacja 1
2.0 Nowa teoria zbiorów 1
2.1 Podstawowe operacje na zbiorach 2
2.2 Relacje między zbiorami 2
2.3 Prawa Prosiaczka 3
2.4 Prawo rozpoznawalności pojęcia 4
3.0 Zbiory jednoargumentowe 4
3.1 Aksjomatyka Nowej Teorii Zbiorów 4
3.2 Definicje jednoargumentowych operatorów logicznych w zbiorach 6
3.2.1 Operator transmisji 7
3.2.2 Operator negacji 8
3.2.3 Operator chaosu 9
3.2.4 Operator śmierci 10
3.3 Zestawienie jednoargumentowych operatorów logicznych 10



1.0 Notacja

2.0 Nowa teoria zbiorów

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

Definicja zbioru:
Zbiór to dowolny, zdefiniowany przez człowieka podzbiór Uniwersum

W szczególnym przypadku może zachodzić:
Zbiór = Uniwersum

Notacja:
p = [LN, pies, miłość, krasnoludek]
LN=[1,2,3,4,5,6..] - zbiór liczb naturalnych
gdzie:
p - nazwa zbioru
[x] - zawartość zbioru, elementy zbioru rozdzielamy przecinkami
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

Definicja dziedziny:
Dziedzina to dowolny zbiór utworzony przez człowieka na którym operujemy
Wszystko co jest poza dziedziną jest zbiorem pustym z definicji


2.1 Podstawowe operacje na zbiorach

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 Relacje między zbiorami

Definicja podzbioru =>
p=>q
Zbiór p jest podzbiorem q wtedy i tylko wtedy gdy każdy element zbioru p należy do zbioru q
Przykład:
p=[1,2]
q=[1,2,3,4]
p=>q =1 - bo zbiór p jest podzbiorem => zbioru q
q=>p =0 - bo zbiór q nie jest podzbiorem => zbioru p

Definicja nadzbioru ~>
p~>q
Zbiór p jest nadzbiorem q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
Przykład:
p=[1,2,3,4]
q=[1,2]
p~>q =1 - bo zbiór p jest nadzbiorem ~> zbioru p
q~>p =0 - bo zbiór q nie jest nadzbiorem ~> zbioru p

Tożsamość zbiorów p=q
Zbiory p i q są tożsame gdy każdy element zbioru p należy => do zbioru q i odwrotnie
p=q <=> (p=>q)*(q=>p)
Przykład:
p=[1,2]
q=[1,2]
[1,2]=[1,2] <=> ([1,2]=>[1,2])*([1,2]=>[1,2]) = 1*1 =1 - zbiory p i q są tożsame


2.3 Prawa Prosiaczka

I prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo q) jest tożsama z fałszem (=0) w logice ujemnej (bo ~q)
(p=1) = (~p=0)

II prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)

Prawa Prosiaczka doskonale znają w praktyce wszyscy ludzie na ziemi, od 3-latka poczynając na prof. matematyki kończąc.

Tata i synek Jaś (lat 3) na spacerze w ZOO

Jaś pokazując paluszkiem słonia mówi:
A.
Popatrz tata, to jest słoń!
S=1
Matematycznie:
Prawdą jest (=1) że to jest słoń (S)

Tata:
… a może to nie jest słoń?
Jaś:
B.
Fałszem jest (=0) że to nie jest słoń (~S)
~S=0

Zdania A i B są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.
I prawo Prosiaczka:
A: (S=1) = B: (~S=0)

Jaś pokazuje paluszkiem kozę i mówi:
C.
Popatrz tata, to nie jest słoń
~S=1
Matematycznie:
Prawdą jest (=1), że to nie jest słoń

Tata:
… a może to jednak słoń?
Jaś:
D.
Fałszem jest (=0) że to jest słoń
S=0
Zdania C i D są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.
II prawo Prosiaczka
C: (~S=1) = D: (S=0)


2.4 Prawo rozpoznawalności pojęcia

Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p
p<=>~p = (p=>~p)*(~p=>p)

Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we Wszechświecie o idealnej temperaturze:
t = const
W takim Wszechświecie pojęcia ciepło/zimno nie istnieją bo niemożliwe jest zmierzenie choćby najmniejszej różnicy temperatur

Prawo rozpoznawalności pojęcia w przełożeniu na funkcje logiczne:
Znam funkcję logiczną Y wtedy i tylko wtedy gdy znam funkcję logiczną ~Y
Y<=>~Y = (Y=>~Y)*(~Y=>Y)
Przykład:
Y=p+q
~Y=~(p+q) = ~p*~q - prawo De Morgana


3.0 Zbiory jednoargumentowe

Definicja zbioru jednoargumentowego:
Zbiór jednoargumentowy po pojedynczy zbiór niepusty o dowolnej nazwie
p=[1,2]

3.1 Aksjomatyka Nowej Teorii Zbiorów

Rozważmy zbiór jednoargumentowy p


Aksjomatyka Nowej Teorii Zbiorów:

Definicja dziedziny:
Dziedzina to dowolny ustalony przez człowieka zbiór niepusty
Wszystko co jest poza zdefiniowaną dziedziną jest zbiorem pustym z definicji
Najszerszą możliwą dziedziną jest Uniwersum
Uniwersum to zbiór wszystkich pojęć zrozumiałych dla człowieka

I.
Zbiór jednoargumentowy p
1.
Zbiór p musi być niepusty
Uzasadnienie:
Nie możemy operować na zbiorze pustym, nie zawierającym ani jednego elementu
2.
Zbiór p musi posiadać swoje niepuste dopełnienie do dziedziny ~p (negację)
Uzasadnienie:
Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p
p<=>~p = (p=>~p)*(~p=>p)
3.
Zbiory mają wartości logiczne:
1 - prawda
0 - fałsz
[x] =1 - zbiór niepusty, zawiera co najmniej jeden element
[] =0 - zbiór pusty, zawiera zero elementów
4.
Zaprzeczenie zbioru to uzupełnienie zbioru do dziedziny
Zbiór ~p jest zaprzeczeniem zbioru p
~p = ~(p)
Zbiór p jest zaprzeczeniem zbioru ~p
p = ~(~p)
5.
Definicja dziedziny:
Zbiory p i ~p są rozłączne, wzajemnie uzupełniające się do dziedziny
D = p+~p =1
Zaprzeczeniem dziedziny D jest zbiór pusty []:
~D = ~(p+~p) = [] =0 - tu jesteśmy poza dziedziną z definicji pustą
p*~p =[] =0 - bo zbiory p i ~p są rozłączne
Stąd mamy:
~(p+~p)=p*~p =[] =0
Prawo symetryczne:
~(p*~p) = p+~p = D =1
6.
Dziedzina i zbiór pusty
D = p+~p = ~(p*~p) =1
[] = p*~p = ~(p+~p) =0
7.
Suma i iloczyn logiczny zbiorów tożsamych:
p+p =p
p*p =p
8.
Iloczyn i suma logiczna zbioru p z D i []:
p*D = p*1 =p
p*[] = p*0 =0
p+D = p+1 =1
p+[] = p+0 =p
9.
Zero-jedynkowa definicja iloczynu logicznego zbiorów D i []:
D*D = 1*1 =1
D*[] = 1*0 =0
[]*D = 0*1 =0
[]*[] = 0*0 =0
10.
Zero-jedynkowa definicja sumy logicznej zbiorów D i []:
D+D = 1+1 =1
D+[] = 1+0 =1
[]+D = 0+1 =1
[]+[] = 0+0 =0


3.2 Definicje jednoargumentowych operatorów logicznych w zbiorach


Definicja funkcji logicznej Y:
Przypisanie dowolnej części dziedziny do symbolu Y nazywamy funkcją logiczną w logice dodatniej (bo Y).
Pozostałą część dziedziny opisuje dopełnienie funkcji logicznej Y do dziedziny, czyli funkcja logiczna w logice ujemnej (bo ~Y)

Właściwości funkcji logicznej Y:
D = Y+~Y =1
[] = Y*~Y =0

Definicja operatora logicznego:
Operator logiczny to układ równań logicznych opisujących funkcje logiczną w logice dodatniej (bo Y) i ujemnej (bo ~Y)

W zbiorach jednoargumentowych możemy utworzyć cztery różne operatory logiczne:
- operator transmisji
- operator negacji
- operator chaosu
- operator śmierci


3.2.1 Operator transmisji


Definicja operatora transmisji:
Operator transmisji to przypisanie funkcji logicznej Y obszarowi p
Y=p

[rafal3006]

Punkt zwrotny w algebrze Kubusia

Znów zacząłem AK od zera.
Tym razem zrobiłem radykalnie inne podejście.
AK jest obecnie w 100% nową teorią zbiorów.

Definicje operatorów logicznych wyprowadzam w 100% z teorii zbiorów.

Uwaga!
Nie potrzebuję rachunku zero-jedynkowego.
Wszelkie prawa logiki matematycznej, łącznie z definicjami operatorów logicznych będą wyprowadzone z teorii zbiorów.
Własnie załatwiłem operatory jednoargumentowe wyżej.
Czytelnik w ogóle nie musi znać zero-jedynkowych operatorów logicznych - zostaną mu podane na tacy na bazie banalnej teorii zbiorów - zero techniki cyfrowej w postaci bramek logicznych!

Oczywiście mając zero-jedynkowe definicje operatorów logicznych pokaże ideę rachunku zero-jedynkowego, choć w zasadzie do niczego to nie jest potrzebne.
Przecież 5-cio latki nie budują automatów cyfrowych a logikę matematyczną, nową teorię zbiorów znają perfekcyjnie.

P.S.
Prośba do Fiklita:
Czy mógłbyś napisać uwagi do postu wyżej tzn. co ci się podoba/nie podoba?

Oficjalnie zaprzestaję ataków na logikę ziemian!
Ponieważ:
Wykonałem dwa rozstrzygające moim zdaniem uderzenia:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269.html#306529
LZ legła w gruzach - nic tu więcej nie wymyślę, kto zrozumie ten zrozumie, nie wszyscy muszą zrozumieć np. Idiota.

[fiklit]

zbiór A ma jakiś element B.
Czy istnieje zbiór C, taki że A jest elementem C, a B nie jest elementem C?

[rafal3006]

[fiklit]

To pytanie o twoją teorię zbiorów.
Weźmy sobie zbiór A=[1,2,3]
I pytanie, czy istnieje zbiór C, taki że A jest jego elementem ale 1 nie jest jego elementem.

[rafal3006]

[fiklit]

Czyli coś się zmieniło? Bo niedawno jeszcze było
C=[A]=[[1,2,3]]=[1,2,3]

Czyli co? odwołujesz twierdzenie smoka