Algebra Kubusia - rewolucja w logice matematycznej

Ś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.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni 1, 2, 3 ... 338, 339, 340 ... 347, 348, 349 Następny

Forum ŚFiNiA Strona Główna -> Filozofia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Nie 2:06, 25 Sie 2024 Temat postu:

Definicja gówno-matematyka!

Irbisol napisał:

Pytam o q, schizofreniku.

Dostałeś precyzyjną odpowiedź.
Zgodnie z dyktatem implikacji materialnej q również musi mieć znaną z góry wartość logiczną, zatem również jest gównem, identycznym jak p.

Dowody na przykładach:
A1.
Jeśli Kopernik był mężczyzną to Płock leży nad Wisłą
p=>q =0
Oczywistym jest że fakt iż Kopernik był mężczyzną p=KM nie jest (=0) warunkiem wystarczającym => do tego by Płock leżał nad Wisłą q=PLW
W logice matematycznej wymagana jest wspólna dziedzina D dla p i q, co w zdaniu wyżej nie jest spełnione - dokładnie dlatego zdanie A1 jest fałszem.

Identyczny przykład z teorii zbiorów:
Jeśli 2+2=4 to 2*3=6
Logika matematyczna z definicji nie zajmuje się wykonywaniem jakichkolwiek działań arytmetycznych, ani też liczeniem elementów w zbiorze.

Logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” bada tylko i wyłącznie:
1.
Jeśli p to q
p=>q =?
Czy zbiór p jest podzbiorem => q
##
2.
Jeśli p to q
p~>q =?
Czy zbiór p jest nadzbiorem ~> q
##
3.
Jeśli p to q
p~~>q = p*q =?
Czy zbiory p i q mają element wspólny ``>
Gdzie:
## - różne na mocy definicji

KONIEC!
Logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” w zbiorach bada tylko i wyłącznie wzajemne relacje między zbiorem p i q, czyli relacje {1,2,3}

Wniosek:
Równoliczność zbiorów i moce zbiorów to wymysł szpitala psychiatrycznego z napisem KRZ - żadna logika matematyczna.

Najprostsze uzasadnienie:
Z dowolnej tożsamości matematycznej „=” wolno nam wybrać dowolny człon tożsamości do dalszej analizy
„Rzucam monetą” i wypadło mi:
p=4
q=6
Stąd mamy.

Definicja gówno-matematyka:
Jeśli dowolny matematyk stwierdzi, ze nie wolno tu „rzucać monetą” to jest gówno-matematykiem.

Stąd zdanie warunkowe tożsame to:
Jeśli 4 to 6
Innymi słowy:
Jeśli p=[4] to q=[6]
Na mocy definicji warunku wystarczającego => obowiązującego (niejawnie) w logice matematycznej ziemskich matematyków zapisujemy.
Bycie liczbą [4] nie jest (=0) warunkiem wystarczającym => do tego by być liczbą [6] bo zbiór p=[4] nie jest podzbiorem => zbioru q=[6]
Dowód:
Jednoelementowy zbiór p=[4] jest rozłączny ze zbiorem jednoelementowy q=[6]
cnd

Pokazuję i objaśniam:
Definicję warunku wystarczającego => rodem z algebry Kubusia stosują (poza swoją świadomością) absolutnie wszyscy matematycy, inaczej nie udowodnili by żadnego twierdzenia matematycznego operującego na zbiorach nieskończonych np. P8=>P2 z cytatu niżej.

Dowód mamy w algebrze Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049

Algebra Kubusia napisał:

2.3.2 Definicja warunku wystarczającego => w zbiorach

Definicja podzbioru => w algebrze Kubusia:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek wystarczający => = relacja podzbioru =>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Przykład:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2
P8=>P2 =1
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Udowodnić relację podzbioru P8=>P2 potrafi każdy matematyk.

W zapisie formalnym mamy tu:
p=P8=[8,16,24..] - zbiór liczb podzielnych przez 8
q=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")

Podsumowując:

Kod:

Definicja warunku wystarczającego =>:
Zapis formalny:
A1: p=>q = ~p+q
Zapis aktualny (przykład):
A1: p=P8
A1: q=P2
A1: P8=>P2=~P8+P2

Ostatnio zmieniony przez rafal3006 dnia Nie 10:44, 25 Sie 2024, w całości zmieniany 7 razy