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 ... 97, 98, 99 ... 370, 371, 372 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: 35364
Przeczytał: 23 tematy

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

Wysłany: Pią 10:46, 17 Mar 2023 Temat postu:

Irbisolu, nadeszła historyczna chwila …
.. odpowiedziałem na twoje pytanie zgodnie z twoim oczekiwaniem!
(koniec postu)

Irbisol napisał:

Zaoszczędź mi fatygi i skopiuj tylko ten fragment, gdzie jest oficjalna definicja implikacji KRZ.

Irbisolu,
W tym krótkim poście (końcówka postu):
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2400.html#711167
Odpowiedziałem DOKŁADNIE na pytanie które zadałeś zgodnie z twoim oczekiwaniem!

Proszę zatem byś się do tej mojej odpowiedzi na twoje pytanie ustosunkował.
Dopóki tego nie zrobisz nie pójdziemy ani kroku dalej.

Kwintesencja mojego postu jest taka:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2400.html#711167

rafal3006 napisał:

Podsumowanie:

Irbisol napisał:

Znowu pierniczysz o implikacji materialnej, czyli zupełnie nie na temat.
Gdzie jest coś na temat tego, że implikacja wyklucza równoważność?

Twoja prywatna tożsamość Irbisolu jest taka:
Implikacja => = warunek wystarczający =>

Weźmy następujący warunek wystarczający =>:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2 =1
To samo w zapisie formalnym na mocy prawa Kłapouchego:
p=>q =1
Na mocy prawa Kłapouchego mamy jednoznaczność matematyki:
p=P8=[8,16,24..] - zbiór liczb podzielnych przez 8
q=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
Wspólna dziedzina minimalna dla p i q:
LN=[1,2,3,4,5,6,7,8,9..] - zbiór liczb naturalnych

Dowód prawdziwości warunku wystarczającego P8=>P2:
Podzielność dowolnej liczby przez 8 jest wystarczająca => dla jej podzielności przez 2, bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8 ..]
Udowodnić zachodzącą tu relację podzbioru potrafi każdy matematyk

Aby rozstrzygnąć w skład jakiej funkcji implikacyjnej wchodzi warunek wystarczający => A1 badamy prawdziwość/fałszywość warunku koniecznego ~> między tymi samymi punktami
B1: P8~>P2 =0
Podzielność dowolnej liczby naturalnej przez 8 nie jest (=0) konieczna ~> dla jej podzielności przez 2 bo zbiór P8=[8,16,24..] nie jest (=0) nadzbiorem ~> zbioru P2=[2,4,6,8..]
Dowód tożsamy:
Ze zbioru P2=[2,4,6,8..] zabieram zbiór P8=[8,16,24..], a mimo to w zbiorze wynikowym jest co najmniej jeden element np. 2
c.n.d

Wniosek:
Badany warunek wystarczający A1 wchodzi w skład funkcji logicznej "bleble" zdefiniowanej w punkcie 2 wyżej.
Definicja formalna funkcji logicznej 2:
2.
|=> - nazwa: bleble
Definicja funkcji logicznej p|=>q:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
Stąd mamy:
p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Jak w każdej definicji po lewej stronie mamy pojęcie definiowane p|=>q (nazwa obojętna np. bleble), zaś właściwa definicja jest z prawej strony.
Prawą stronę czytamy:
Zajście p jest (=1) wystarczające => (A1), ale nie jest (=0) konieczne ~> (B1) dla zajścia q

Definicja funkcji logicznej 2 w zapisie aktualnym (nasz przykład)
Na mocy prawa Kłapouchego mamy wspólny dla wszystkich ludzi punkt odniesienia:
p=P8
q=P2
Stąd mamy:
2.
|=> - nazwa: bleble
Definicja funkcji logicznej P8|=>P2:
A1: P8=>P2 =1 - podzielność dowolnej liczby przez 8 jest wystarczająca => dla jej podzielności przez 2
B1: P8~>P2 =0 - podzielność dowolnej liczby przez 8 nie jest konieczna ~> dla jej podzielności przez 2
Stąd mamy:
P8|=>P2 = (A1: P8=>P2)*~(B1: P8~>P2)=1*~(0)=1*1=1
Prawą stronę czytamy:
Podzielność dowolnej liczby przez 8 jest wystarczająca => dla jej podzielności przez 2, ale nie jest konieczna ~> (B1) dla jej podzielności przez 2

Zdaniem Irbisola zachodzi tożsamość pojęć:
warunek wystarczający => = implikacja =>

Irbisolu, nadeszła historyczna chwila …
.. odpowiedziałem na twoje pytanie zgodnie z twoim oczekiwaniem!

Odpowiadam DOKŁADNIE na twoje pytanie:
Twoja implikacja prawdziwa A1: P8=>P2 wchodzi w skład funkcji logicznej "bleble" zdefiniowanej w punkcie 2 wyżej, z czego na mocy prawa Puchacza wynika, iż wykluczone jest, aby twoja implikacja prawdziwa A1: P8=>P2 wchodziła w skład funkcji logicznej równoważności <=> zdefiniowanej w punkcie 1.
c.n.d.

Jeśli czegoś nie rozumiesz to pytaj.

Ostatnio zmieniony przez rafal3006 dnia Pią 11:15, 17 Mar 2023, w całości zmieniany 8 razy