Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 329, 330, 331 ... 369, 370, 371  Następny
 
Napisz nowy temat   Odpowiedz do tematu    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: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 15:46, 30 Lip 2024    Temat postu:

Irbisol napisał:
Zgadzam się na taką definicję, która jest w Wikipedii i w linku, który podałem wcześniej.
Trzymaj się kontekstu. Mowa była o Macjanie.

Macjan nie ma pojęcia o poprawnej matematycznie definicji warunku wystarczającego co łatwo udowodnić dwoma niezależnymi sposobami - piszę dokładnie o tym, nie spiszę się, bo chodzi mi o to by wszyscy ziemscy matematycy zrozumieli że Macjan w swym artykule bredzi i tylko bredzi!

Nie rozmawiajmy zatem o bredniach Macjana - zgoda?
Powtórzę konkretne pytanie z fundamnetów logiki matematycznej, jak w cytacie niżej.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8200.html#809907

rafal3006 napisał:
Irbisol napisał:
Są to definicje ZERO-JEDYNKOWE o które pytałeś.
Trzymaj kontekst, który sam stworzyłeś.

Cały czas mówię o definicjach zero-jedynkowych opisanych funkcjami logicznymi Y.
Czy zgadzasz się na poniższe, zero-jedynkowe definicje warunku wystarczającego p=>q i koniecznego p~>q?

Zero-jedynkowa definicja warunku wystarczającego p=>q:
p=>q = ~p+q
p=>q =1 <=> gdy zajście p jest (=1) wystarczające => dla zajścia q
Inaczej:
p=>q =0
Kod:

Zero-jedynkowa definicja warunku wystarczającego p=>q
   p  q Y=(p=>q)=~p+q
A: 1  1  1
B: 1  0  0
C: 0  0  1
D: 0  1  1


##

Zero-jedynkowa definicja warunku koniecznego p~>q:
p~>q = p+~q
p~>q =1 <=> gdy zajście p jest (=1) konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Kod:

Zero-jedynkowa definicja warunku koniecznego p~>q
   p  q Y=(p~>q)=p+~q
A: 1  1  1
B: 1  0  1
C: 0  0  1
D: 0  1  0


Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q, inaczej błąd podstawienia

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice (tu dodatniej bo Y) są różne na mocy definicji wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q mają różne kolumny wynikowe Y.

Irbisolu, czy rozumiesz definicję znaczka różne na mocy definicji ##?

Nie ma znaczka różne na mocy definicji ## w ziemskiej logice „matematycznej” - dlatego pytam :)


Ostatnio zmieniony przez rafal3006 dnia Wto 15:48, 30 Lip 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Wto 16:16, 30 Lip 2024    Temat postu:

Czyli raz powołujesz się na niego a innym razem twierdzisz że "nie ma pojęcia" :rotfl:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 16:27, 30 Lip 2024    Temat postu:

...

Ostatnio zmieniony przez rafal3006 dnia Wto 16:37, 30 Lip 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 16:29, 30 Lip 2024    Temat postu:

Irbisol napisał:
Czyli raz powołujesz się na niego a innym razem twierdzisz że "nie ma pojęcia" :rotfl:


Co najmniej dwa razy pisałem wyżej, że wywody Macjan można prosto obalić w sposób czysto matematyczny dwoma niezależnymi od siebie sposobami.
Wywody Macjana będą dla mnie wspaniałym podkładem do obalenia totalnie całego Klasycznego Rachunku Zdań zapisanego przez tego Guru logiki matematycznej z AGH :rotfl:
[link widoczny dla zalogowanych]
Wykład logiki na AGH napisał:

Elementy logiki matematycznej
Logika matematyczna zajmuje się zdaniami logicznymi.
Zdanie logiczne, to zdanie gramatyczne orzekające, któremu można przypisać jedną z dwóch ocen (wartość) Prawda (TRUE, 1); Fałsz (FALSE, 0 ) (czyli zdania logiczne podlegają wartościowaniu). Nie są zdaniami logicznymi zdania pytające i rozkazujące.

Funktory logiczne (spójniki):
- jednoargumentowe (wystarczy jedno zdanie)
negacja - ~ - (nieprawda, że ...)

- dwuargumentowe (wymagają dwóch zdań) np.
koniunkcja - ∧ - (...i... )
alternatywa - ∨ - (...lub...)
implikacja - ⇒ - (jeżeli ..., to...)
równoważność - ⇔ - (...wtedy i tylko wtedy, gdy...)

Zero-jedynkowe definicje dwuargumentowych spójników logicznych to:
Kod:

p  q  | p∧q | p∨q  | p⇒q | p⇔q
1  1  |  1  |  1   |  1   |  1
1  0  |  0  |  1   |  0   |  0
0  1  |  0  |  1   |  1   |  0
0  0  |  0  |  0   |  1   |  1



Wracając do tematu!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8200.html#809907

rafal3006 napisał:
Irbisol napisał:
Są to definicje ZERO-JEDYNKOWE o które pytałeś.
Trzymaj kontekst, który sam stworzyłeś.

Cały czas mówię o definicjach zero-jedynkowych opisanych funkcjami logicznymi Y.
Czy zgadzasz się na poniższe, zero-jedynkowe definicje warunku wystarczającego p=>q i koniecznego p~>q?

Zero-jedynkowa definicja warunku wystarczającego p=>q:
p=>q = ~p+q
p=>q =1 <=> gdy zajście p jest (=1) wystarczające => dla zajścia q
Inaczej:
p=>q =0
Kod:

Zero-jedynkowa definicja warunku wystarczającego p=>q
   p  q Y=(p=>q)=~p+q
A: 1  1  1
B: 1  0  0
C: 0  0  1
D: 0  1  1


##

Zero-jedynkowa definicja warunku koniecznego p~>q:
p~>q = p+~q
p~>q =1 <=> gdy zajście p jest (=1) konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Kod:

Zero-jedynkowa definicja warunku koniecznego p~>q
   p  q Y=(p~>q)=p+~q
A: 1  1  1
B: 1  0  1
C: 0  0  1
D: 0  1  0


Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q, inaczej błąd podstawienia

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice (tu dodatniej bo Y) są różne na mocy definicji wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q mają różne kolumny wynikowe Y.

Irbisolu, czy rozumiesz definicję znaczka różne na mocy definicji ##?

Nie ma znaczka różne na mocy definicji ## w ziemskiej logice „matematycznej” - dlatego pytam :)


Ostatnio zmieniony przez rafal3006 dnia Wto 16:30, 30 Lip 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Wto 16:30, 30 Lip 2024    Temat postu:

Miałeś udowodnić, że ww i implikacja to nie to samo.
Macjan idzie w odstawkę - masz coś na podorędziu?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 16:35, 30 Lip 2024    Temat postu:

Irbisol napisał:
Miałeś udowodnić, że ww i implikacja to nie to samo.
Macjan idzie w odstawkę - masz coś na podorędziu?

Mam, fundament KRZ zapisany przez Guru logiki matematycznej (dr matematyki) z AGH wyklucza twoją gówno-tożsamość.

Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q z algebry Kubusia = implikacja p=>q rodem z KRZ

Oto ten fundament KRZ który wyklucza twoją gówno-tożsamość wyżej:
[link widoczny dla zalogowanych]
Wykład logiki na AGH napisał:

Elementy logiki matematycznej
Logika matematyczna zajmuje się zdaniami logicznymi.
Zdanie logiczne, to zdanie gramatyczne orzekające, któremu można przypisać jedną z dwóch ocen (wartość) Prawda (TRUE, 1); Fałsz (FALSE, 0 ) (czyli zdania logiczne podlegają wartościowaniu). Nie są zdaniami logicznymi zdania pytające i rozkazujące.

Funktory logiczne (spójniki):
- jednoargumentowe (wystarczy jedno zdanie)
negacja - ~ - (nieprawda, że ...)

- dwuargumentowe (wymagają dwóch zdań) np.
koniunkcja - ∧ - (...i... )
alternatywa - ∨ - (...lub...)
implikacja - ⇒ - (jeżeli ..., to...)
równoważność - ⇔ - (...wtedy i tylko wtedy, gdy...)

Zero-jedynkowe definicje dwuargumentowych spójników logicznych to:
Kod:

p  q  | p∧q | p∨q  | p⇒q | p⇔q
1  1  |  1  |  1   |  1   |  1
1  0  |  0  |  1   |  0   |  0
0  1  |  0  |  1   |  1   |  0
0  0  |  0  |  0   |  1   |  1



Ostatnio zmieniony przez rafal3006 dnia Wto 17:06, 30 Lip 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Wto 17:37, 30 Lip 2024    Temat postu:

rafal3006 napisał:
Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q z algebry Kubusia = implikacja p=>q rodem z KRZ

Nie, schizofreniku.
WW z KRZ = implikacja z KRZ.


Ostatnio zmieniony przez Irbisol dnia Wto 18:24, 30 Lip 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 20:44, 30 Lip 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q z algebry Kubusia = implikacja p=>q rodem z KRZ

Nie, schizofreniku.
WW z KRZ = implikacja z KRZ.

Jak powiesz to co wyżej dowolnemu ziemskiemu matematykowi, to pęknie ze śmiechu ... i będziesz go miał na sumieniu, ludojadzie. :)

Znowu pudło, bo to ty jesteś schizofrenikiem.
To typowe w schizofrenii, gdzie chory twierdzi że jest zdrowy a wszyscy dookoła są schizofrenikami - tak więc nie przejmuj się.

Dowód:
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..]
Relację podzbioru P8=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.

To jest definicja warunku wystarczającego => rodem z algebry Kubusia którą w praktyce stosują absolutnie wszyscy ziemscy matematycy ...łącznie z Tobą schizofreniku.

Czy mam ci to udowodnić?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Wto 20:54, 30 Lip 2024, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Wto 21:22, 30 Lip 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q z algebry Kubusia = implikacja p=>q rodem z KRZ

Nie, schizofreniku.
WW z KRZ = implikacja z KRZ.

Jak powiesz to co wyżej dowolnemu ziemskiemu matematykowi, to pęknie ze śmiechu ... i będziesz go miał na sumieniu, ludojadzie. :)

Więc się wykaż, że tak będzie.
Pierniczysz megabajtami, a dowodu jak nie było - tak nie ma. Ja ci linka podałem, gdzie facet używa tego samego symbolu dla WW i implikacji.

rafal3006 napisał:

Dowód:
(...)
Czy mam ci to udowodnić?
TAK/NIE

Schizofrenik sam nie wie, czy do dowód, czy dopiero ma coś udowodnić :rotfl:


Ostatnio zmieniony przez Irbisol dnia Wto 21:31, 30 Lip 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 21:40, 30 Lip 2024    Temat postu:

Irbisol napisał:

rafal3006 napisał:

Dowód:
(...)
Czy mam ci to udowodnić?
TAK/NIE

Schizofrenik sam nie wie, czy do dowód, czy dopiero ma coś udowodnić :rotfl:

To co niżej to twardy dowód na konkretnym przykładzie iż twoja tożsamość:
Warunek wystarczający p=>q = implikacja p=>q rodem z KRZ
to gówno-tożsamość.

Algebra Kubusia to podłożenie matematyki pod język potoczny w skali 1:1, zatem dowody na przykładach są tu jak najbardziej poprawne.

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q z algebry Kubusia = implikacja p=>q rodem z KRZ

Nie, schizofreniku.
WW z KRZ = implikacja z KRZ.


Dowód:
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..]
Relację podzbioru P8=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.

To jest definicja warunku wystarczającego => rodem z algebry Kubusia którą w praktyce stosują absolutnie wszyscy ziemscy matematycy ...łącznie z Tobą schizofreniku.

Czy mam ci to udowodnić?
TAK/NIE

Ostatnie moje pytanie oznacza, iż mogę zacytować ciebie schizofreniku iż pojmujesz warunek wystarczający p=>q dokładnie tak, jak to jest w algebrze Kubusia

Czy mam cię zacytować?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Wto 21:46, 30 Lip 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Wto 21:54, 30 Lip 2024    Temat postu:

Ale gdzie ten dowód, że WW <> implikacja?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 22:26, 30 Lip 2024    Temat postu:

Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

Zatem dowód masz natychmiastowy:
Warunek wystarczający p=>q o definicji jak w AK ## implikacja p=>q rodem z KRZ
Gdzie:
## - różne na mocy definicji

Masz choć cień wątpliwości?

Dokładnie tego co niżej jesteś wiernym wyznawcą.
Definicja warunku wystarczającego => na gruncie algebry Kubusia jest następująca:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:

2.2.2 Definicja warunku wystarczającego => w zdarzeniach

Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0

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

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

2.8.1 Prawo Słonia dla zbiorów

Prawo Słonia dla zbiorów (pkt 2.3):
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q - matematyczne twierdzenie proste
A1: p=>q = ~p+q

Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.

Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów

Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwości/fałszywości dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą ”nie wprost"

Definicja podzbioru =>:
Zbiór p jest (=1) podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie jego elementy należą do zbioru q

W logice matematycznej zachodzi tożsamość pojęć:
Podzbiór => = relacja podzbioru =>
W logice matematycznej rozstrzygamy o zachodzącej lub nie zachodzącej relacji podzbioru =>.

Rozstrzygnięcia logiki matematycznej w relacji podzbioru =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Przykład:
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2 =1
Na mocy prawa Słonia czytamy:
Podzielność dowolnej liczby przez 8 jest (=1) 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..]
Udowodnienie iż zachodzi tu relacja podzbioru:
P8=[8,16,24 ..]=>P2=[2,4,6,8..]
to mały pikuś dla każdego ziemskiego matematyka.


Ostatnio zmieniony przez rafal3006 dnia Wto 22:35, 30 Lip 2024, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 8:21, 31 Lip 2024    Temat postu:

Matematyczny Guru z AGH = matematyczny idiota
Dowód w niniejszym poście.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809969
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q z algebry Kubusia = implikacja p=>q rodem z KRZ

Nie, schizofreniku.
WW z KRZ = implikacja z KRZ.

Jak powiesz to co wyżej dowolnemu ziemskiemu matematykowi, to pęknie ze śmiechu ... i będziesz go miał na sumieniu, ludojadzie. :)

Więc się wykaż, że tak będzie.
Pierniczysz megabajtami, a dowodu jak nie było - tak nie ma. Ja ci linka podałem, gdzie facet używa tego samego symbolu dla WW i implikacji.

Rzeczywiście sprawdziłem.
Wykład Guru z AGH jest wewnętrznie sprzeczny bo używa on identycznego symbolu => zarówno dla implikacji materialnej p=>q jak i dla warunku wystarczającego p=>q
cnd

Dowód iż tak jest w istocie.
[link widoczny dla zalogowanych]
Wykład logiki na AGH napisał:

Elementy logiki matematycznej
Logika matematyczna zajmuje się zdaniami logicznymi.
Zdanie logiczne, to zdanie gramatyczne orzekające, któremu można przypisać jedną z dwóch ocen (wartość) Prawda (TRUE, 1); Fałsz (FALSE, 0 ) (czyli zdania logiczne podlegają wartościowaniu). Nie są zdaniami logicznymi zdania pytające i rozkazujące.

Funktory logiczne (spójniki):
- jednoargumentowe (wystarczy jedno zdanie)
negacja - ~ - (nieprawda, że ...)

- dwuargumentowe (wymagają dwóch zdań) np.
koniunkcja - ∧ - (...i... )
alternatywa - ∨ - (...lub...)
implikacja - ⇒ - (jeżeli ..., to...)
równoważność - ⇔ - (...wtedy i tylko wtedy, gdy...)

Zero-jedynkowe definicje dwuargumentowych spójników logicznych to:
Kod:

p  q  | p∧q | p∨q  | p⇒q | p⇔q
1  1  |  1  |  1   |  1   |  1
1  0  |  0  |  1   |  0   |  0
0  1  |  0  |  1   |  1   |  0
0  0  |  0  |  0   |  1   |  1

Warunek konieczny (WK) i wystarczający (WW):
p ⇒ q p jest warunkiem wystarczającym dla q, a q jest warunkiem koniecznym dla p.
p ⇔ q p jest warunkiem koniecznym i wystarczającym dla q.

Na mocy definicji implikacji => z powyższego wykładu zapisujemy:

I.
Zdanie warunkowe „Jeśli p to q” gdzie warunek wystarczający => nie zachodzi mimo iż p=1 i q=1:
A1.
Jeśli 2+2=4 to Płock leży nad Wisłą
p=>q =1
Zdanie prawdziwe na mocy definicji implikacji podanej w wykładzie wyżej.
Zauważmy że mamy tu p=1 i q=1, ale oczywiście p nie jest tu warunkiem wystarczającym => do tego, aby zaszło q
Dowód:
Pojęcia p i q są matematycznie rozłączne

Na mocy definicji warunku wystarczającego => znanej w praktyce każdemu matematykowi zapisujemy:

II.
Zdanie warunkowe „Jeśli p to q” gdzie warunek wystarczający => zachodzi:
A2.
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..]
Relację podzbioru P8=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.

Zdanie A2 to definicja warunku wystarczającego => rodem z algebry Kubusia którą w praktyce stosują absolutnie wszyscy ziemscy matematycy.

Wniosek:
Wykład z AGH gdzie Guru stawia znak tożsamości:
I. A1 = II. A2
bo użył identycznych znaczków => dla A1 i A2 to wykład matematycznego idioty.


Ostatnio zmieniony przez rafal3006 dnia Śro 9:05, 31 Lip 2024, w całości zmieniany 10 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Śro 8:48, 31 Lip 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

No i czym się różni twoja definicja "w zdarzeniach" od tej z Wikipedii?
Bo wychodzi na to, że ty innej niż wikipediowa definicji nie znasz.

rafal3006 napisał:
Zdanie warunkowe „Jeśli p to q” gdzie warunek wystarczający => nie zachodzi mimo iż p=1 i q=1:
A1.
Jeśli 2+2=5 to Płock leży nad Wisłą
p=>q =1
p=1 i q=1, ale oczywiście p nie jest tu warunkiem wystarczającym => do tego, aby zaszło q

Schizofrenik twierdzi, że p=1, gdzie p to zdanie "2+2=5" :rotfl:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 9:06, 31 Lip 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

No i czym się różni twoja definicja "w zdarzeniach" od tej z Wikipedii?
Bo wychodzi na to, że ty innej niż Wikipediowa definicji nie znasz.

W Wikipedii nie ma zero-jedynkowej definicji warunku wystarczającego => … i to jest ta FUNDAMENTALNA różnica.

Czy możesz zabrać głos w sprawie mojego dowodu iż:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809999
rafal3006 napisał:
Matematyczny Guru z AGH = matematyczny idiota
Dowód w niniejszym poście.


P.S.
Literówkę którą zauważyłeś już poprawiłem


Ostatnio zmieniony przez rafal3006 dnia Śro 9:10, 31 Lip 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Śro 9:20, 31 Lip 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

No i czym się różni twoja definicja "w zdarzeniach" od tej z Wikipedii?
Bo wychodzi na to, że ty innej niż Wikipediowa definicji nie znasz.

W Wikipedii nie ma zero-jedynkowej definicji warunku wystarczającego => … i to jest ta FUNDAMENTALNA różnica.

Ta zerojedynkowa definicja wynika z definicji.
Czyli twój WW to to samo co w Wikipedii.

Cytat:
Czy możesz zabrać głos w sprawie mojego dowodu iż

Już zabierałem, ale nie pamiętasz.
Faktycznie w KRZ brakuje odróżnienia znaczka implikacji logicznej od materialnej (jakkolwiek coś tam niby wprowadzają).
Natomiast implikacja logiczna to to samo co WW.

Każda implikacja logiczna jest implikacją materialną.
Ale nie każda implikacja materialna jest implikacją logiczną.
I tym można podsumować całe twoje wieloletnie, gigabajtowe pierniczenie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 9:30, 31 Lip 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

No i czym się różni twoja definicja "w zdarzeniach" od tej z Wikipedii?
Bo wychodzi na to, że ty innej niż Wikipediowa definicji nie znasz.

W Wikipedii nie ma zero-jedynkowej definicji warunku wystarczającego => … i to jest ta FUNDAMENTALNA różnica.

Ta zerojedynkowa definicja wynika z definicji.
Czyli twój WW to to samo co w Wikipedii.

NIE!
Z definicji warunku wystarczającego => w Wikipedii nie wynika zero-jedynkowa definicja warunku wystarczającego:
p=>q =~p+q
bo ta definicja w aktualnej logice matematycznej ziemian zarezerowowana jest dla gówna zwanego implikacją materialną.

Matematycznie zachodzi:
Warunek wystarczający p=>q ## implikacja materialna p=>q
Gdzie:
## - różne na mocy definicji

Nie może być, że dokładnie ta sama tabela jest zarówno warunkiem wystarczającym p=>q=~p+q jak i implikacją materialną p=>q = ~p+q
cnd

Dowód tego faktu masz w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809999
rafal3006 napisał:
Matematyczny Guru z AGH = matematyczny idiota
Dowód w niniejszym poście.


Ostatnio zmieniony przez rafal3006 dnia Śro 9:33, 31 Lip 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Śro 9:43, 31 Lip 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

No i czym się różni twoja definicja "w zdarzeniach" od tej z Wikipedii?
Bo wychodzi na to, że ty innej niż Wikipediowa definicji nie znasz.

W Wikipedii nie ma zero-jedynkowej definicji warunku wystarczającego => … i to jest ta FUNDAMENTALNA różnica.

Ta zerojedynkowa definicja wynika z definicji.
Czyli twój WW to to samo co w Wikipedii.

NIE!
Z definicji warunku wystarczającego => w Wikipedii nie wynika zero-jedynkowa definicja warunku wystarczającego:
p=>q =~p+q
bo ta definicja w aktualnej logice matematycznej ziemian zarezerowowana jest dla gówna zwanego implikacją materialną.

Oczywiście, że wynika. Bo - jak pisałem - każda implikacja logiczna (czyli WW) - spełnia kryteria implikacji materialnej.

Cytat:
Matematycznie zachodzi:
Warunek wystarczający p=>q ## implikacja materialna p=>q

Jest to różne, ale nie oznacza to, że z WW nie wynika IM.

WW => IM
Oczywiście ~(WW <=> IM)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 9:56, 31 Lip 2024    Temat postu:

Klasyczny Rachunek Zdań = matematyczne gówno!
Dowód w niniejszym poście (prawo Sępa)

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Ale gdzie ten dowód, że WW <> implikacja?

Irbisolu, ty znasz tylko i wyłącznie, poprawnie zresztą, definicję warunku wystarczającego p=>q obowiązującą w algebrze Kubusia!
Żadnej innej definicji warunku wystarczającego p=>q nie znasz.

No i czym się różni twoja definicja "w zdarzeniach" od tej z Wikipedii?
Bo wychodzi na to, że ty innej niż Wikipediowa definicji nie znasz.

W Wikipedii nie ma zero-jedynkowej definicji warunku wystarczającego => … i to jest ta FUNDAMENTALNA różnica.

Ta zerojedynkowa definicja wynika z definicji.
Czyli twój WW to to samo co w Wikipedii.

NIE!
Z definicji warunku wystarczającego => w Wikipedii nie wynika zero-jedynkowa definicja warunku wystarczającego:
p=>q =~p+q
bo ta definicja w aktualnej logice matematycznej ziemian zarezerwowana jest dla gówna zwanego implikacją materialną.

Oczywiście, że wynika. Bo - jak pisałem - każda implikacja logiczna (czyli WW) - spełnia kryteria implikacji materialnej.

Twoja implikacja logiczna (nie jest tu istotne czy ją rozumiesz, czy nie rozumiesz) nie ma tu nic do rzeczy bo prawo Sępa.

Prawo Sępa:
Warunkiem koniecznym i wystarczającym posłania dowolnej teorii matematycznej do piekła na wieczne piekielne męki jest fakt, iż dokładnie ta sama tabela zero-jedynkowa zostanie przypisana do dwóch sprzecznych ze sobą definicji.

Irbisolu, na mocy prawa Sępa twoja definicja implikacji logicznej jest bez znaczenia!
Na mocy prawa Sępa Klasyczny Rachunek Zdań ląduje w piekle - jest po prostu matematycznym gównem!

Przypomnę z postu wyżej:

Z definicji warunku wystarczającego => w Wikipedii nie wynika zero-jedynkowa definicja warunku wystarczającego:
p=>q =~p+q
bo ta definicja w aktualnej logice matematycznej ziemian zarezerwowana jest dla gówna zwanego implikacją materialną.

Matematycznie zachodzi:
Warunek wystarczający p=>q ## implikacja materialna p=>q
Gdzie:
## - różne na mocy definicji

Nie może być, że dokładnie ta sama tabela jest zarówno warunkiem wystarczającym p=>q=~p+q jak i implikacją materialną p=>q = ~p+q
cnd

Dowód tego faktu masz w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809999
rafal3006 napisał:
Matematyczny Guru z AGH = matematyczny idiota
Dowód w niniejszym poście.


Ostatnio zmieniony przez rafal3006 dnia Śro 10:08, 31 Lip 2024, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Śro 11:18, 31 Lip 2024    Temat postu:

Warunek tej samej tabelki dla dwóch różnych funkcji nie jest tu spełniona.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 11:53, 31 Lip 2024    Temat postu:

Dowód wewnętrznej sprzeczności KRZ w wersji Irbisola!

Irbisol napisał:
Warunek tej samej tabelki dla dwóch różnych funkcji nie jest tu spełniona.

Chciałeś pewnie napisać, że w KRZ ta sama tabelka zero-jedynkowa definiuje dwie, różne na mocy definicji pojęcia:
1.
Gówno tożsamość Irbisola:
warunek wystarczający p=>q = implikacja materialna p=>q
Irbisolu,
Do twojej tożsamości absolutnie żaden ziemski matematyk się nie przyzna, dlatego napisałem iż jest to obalenie KRZ w wersji Irbisola.
Dzięki za znalezienie idioty z AGH który nie odróżnia w symbolach definicji warunku wystarczającego p=>q od definicji implikacji materialnej p=>q w KRZ

2.
Poprawnie matematycznie jest tak:
Warunek wystarczający Y = (p=>q) =~p+q ## Implikacja materialna Y= (p=>q)=~p+q
Gdzie:
## - różne na mocy definicji

Między 1 i 2 mamy tu sprzeczność czysto matematyczną, zatem Klasyczny Rachunek Zdań ląduje w piekle na wiecznych piekielnych mękach
cnd

Prawo Sępa:
Warunkiem koniecznym i wystarczającym posłania dowolnej teorii matematycznej do piekła na wieczne piekielne męki jest fakt, iż dokładnie ta sama tabela zero-jedynkowa zostanie przypisana do dwóch sprzecznych ze sobą definicji.

Irbisolu, na mocy prawa Sępa twoja definicja implikacji logicznej jest bez znaczenia!
Na mocy prawa Sępa Klasyczny Rachunek Zdań ląduje w piekle - jest po prostu matematycznym gównem!

Przypomnę z postu wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810039

Z definicji warunku wystarczającego => w Wikipedii nie wynika zero-jedynkowa definicja warunku wystarczającego:
p=>q =~p+q
bo ta definicja w aktualnej logice matematycznej ziemian zarezerwowana jest dla gówna zwanego implikacją materialną.

Matematycznie zachodzi:
Warunek wystarczający p=>q ## implikacja materialna p=>q
Gdzie:
## - różne na mocy definicji

Nie może być, że dokładnie ta sama tabela jest zarówno warunkiem wystarczającym p=>q=~p+q jak i implikacją materialną p=>q = ~p+q
cnd

Dowód tego faktu masz w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809999
rafal3006 napisał:
Matematyczny Guru z AGH = matematyczny idiota
Dowód w niniejszym poście.


Dowód, iż algebra Kubusia nie spełnia prawa Sępa!

Dowód iż algebra Kubusia nie spełnia prawa Sępa, czyli każda definicja w algebrze Kubusia (*, +, =>, ~>) ma swoją, unikalną definicję zero-jedynkową.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
Algebra Kubusia napisał:

Spis treści
2.4 Rachunek zero-jedynkowy warunków wystarczających => i koniecznych ~> 1
2.5 Prawa algebry Kubusia wynikłe z rachunku zero-jedynkowego 4
2.5.1 Definicje znaczków # i ## 6


2.4 Rachunek zero-jedynkowy warunków wystarczających => i koniecznych ~>

Rachunek zero-jedynkowy dla teorii zdarzeń i teorii zbiorów jest wspólny.

Definicja stałej binarnej
Stała binarna to symbol mający w osi czasu stałą wartość logiczną 0 albo 1.

Definicja zmiennej binarnej:
Zmienna binarna to symbol, przyjmujący w osi czasu wyłącznie dwie wartości logiczne 0 albo 1.

Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa

Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)

Definicja funkcji logicznej Y dwóch zmiennych binarnych p i q:
Funkcja logiczna Y w logice dodatniej (bo Y) dwóch zmiennych binarnych p i q to cyfrowy układ logiczny (bramka logiczna) dający na wyjściu binarnym Y jednoznaczne odpowiedzi na wszystkie możliwe wymuszenia na wejściach p i q.

Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.

W poniższych tabelach T1 do T4 w kolumnach opisujących symbole {p, q Y} nie mamy stałych wartości 1 albo 0 co oznacza, że symbole te są zmiennymi binarnymi.
Kod:

T1
Definicja warunku wystarczającego =>
        Y=
   p  q p=>q=~p+q
A: 1=>1  1
B: 1=>0  0
C: 0=>0  1
D: 0=>1  1
   1  2  3
Do łatwego zapamiętania:
p=>q=0 <=> p=1 i q=0
Inaczej:
p=>q=1
Gdzie:
Podstawa wektora => zawsze wskazuje poprzednik, część zdania po "Jeśli.."
Strzałka wektora => zawsze wskazuje następnik, część zdania po "to.."
;
Definicja warunku wystarczającego => w spójniku „lub”(+):
p=>q =~p+q

##
Kod:

T2
Definicja warunku koniecznego ~>
        Y=
   p  q p~>q=p+~q
A: 1~>1  1
B: 1~>0  1
C: 0~>0  1
D: 0~>1  0
   1  2  3
Do łatwego zapamiętania:
p~>q=0 <=> p=0 i q=1
Inaczej:
p~>q=1
Gdzie:
Podstawa wektora ~> zawsze wskazuje poprzednik, część zdania po "Jeśli.."
Strzałka wektora ~> zawsze wskazuje następnik, część zdania po "to.."
;
Definicja warunku koniecznego ~> w spójniku „lub”(+):
p~>q = p+~q

##
Kod:

T3
Definicja spójnika “lub”(+):
        Y=
   p  q p+q
A: 1+ 1  1
B: 1+ 0  1
C: 0+ 0  0
D: 0+ 1  1
   1  2  3
Do łatwego zapamiętania:
Definicja spójnika „lub”(+) w logice jedynek:
p+q=1 <=> p=1 lub q=1
inaczej:
p+q=0
;
Definicja spójnika „lub”(+) w logice zer:
p+q=0 <=> p=0 i q=0
Inaczej:
p+q=1
Przy wypełnianiu tabel zero-jedynkowych szybsza jest logika zer.

##
Kod:

T4
Definicja spójnika “i”(*)
        Y=
   p  q p*q
A: 1* 1  1
B: 1* 0  0
C: 0* 0  0
D: 0* 1  0
   1  2  3
Do łatwego zapamiętania:
Definicja spójnika „i”(*) w logice jedynek:
p*q=1 <=> p=1 i q=1
inaczej:
p*q=0

Gdzie:
## - różne na mocy definicji funkcji logicznych

Definicja znaczka różne na mocy definicji ## w logice dodatniej (bo Y):
Funkcje logiczne Y w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q:
p - w logice dodatniej (bo p)
oraz
q - w logice dodatniej (bo q)
mają różne kolumny wynikowe Y ( w logice dodatniej bo Y)

Wniosek:
Funkcje logiczne definiowane tabelami T1 do T4 spełniają definicję znaczka różne na mocy definicji ##

Wyprowadźmy w rachunku zero-jedynkowym matematyczne związki między warunkami wystarczającym => i koniecznym ~>
Kod:

Ax:
Warunek wystarczający =>:
p=>q = ~p+q
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w rachunku zero-jedynkowym
              Y=    Y=        Y=    Y=        Y=        #  ~Y=
   p  q ~p ~q p=>q ~p~>~q [=] q~>p ~q=>~p [=] p=>q=~p+q # ~(p=>q)=p*~q
A: 1  1  0  0  =1    =1        =1    =1        =1       #    =0
B: 1  0  0  1  =0    =0        =0    =0        =0       #    =1
C: 0  0  1  1  =1    =1        =1    =1        =1       #    =0
D: 0  1  1  0  =1    =1        =1    =1        =1       #    =0
                1     2         3     4         5             6
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony

##
Kod:

Bx:
Warunek konieczny ~>:
p~>q = p+~q
Matematyczne związki warunku koniecznego ~> i wystarczającego =>
w rachunku zero-jedynkowym
              Y=    Y=        Y=    Y=        Y=        #  ~Y=
   p  q ~p ~q p~>q ~p=>~q [=] q=>p ~q~>~p [=] p~>q=p+~q # ~(p~>q)=~p*q
A: 1  1  0  0  =1    =1        =1    =1        =1       #    =0
B: 1  0  0  1  =1    =1        =1    =1        =1       #    =0
C: 0  0  1  1  =1    =1        =1    =1        =1       #    =0
D: 0  1  1  0  =0    =0        =0    =0        =0       #    =1
                1     2         3     4         5             6
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony

Gdzie:
## - różne na mocy definicji
"=", [=], <=> (wtedy i tylko wtedy) - tożsame znaczki tożsamości logicznej
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Definicja tożsamości logicznej:
Prawdziwość dowolnej strony tożsamości logicznej "=" wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej "=" wymusza fałszywość drugiej strony

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Doskonale widać, że w tabelach Ax i Bx definicja znaczka # jest spełniona

Definicja znaczka różne na mocy definicji ##:
Funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach {p, q} mają różne kolumny wynikowe i żadna z tych funkcji nie jest negacją drugiej.

Jak widzimy, między tabelami Ax i Bx obowiązuje znaczek różne na mocy definicji ##

2.5 Prawa algebry Kubusia wynikłe z rachunku zero-jedynkowego

Na mocy rachunku zero-jedynkowego wyżej mamy matematyczne związki warunku wystarczającego => i koniecznego ~> w zapisie skróconym.
Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
      ##        ##           ##        ##            ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5:  p+~q

Prawa Kubusia:        | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q  | A1: p=>q  = A4:~q=>~p
B1: p~>q = B2:~p=>~q  | B2:~p=>~q = B3: q=>p

Prawa Tygryska:       | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p   | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p   | B1: p~>q  = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Na mocy powyższego zapisujemy:
1.
Prawa Kubusia:
Matematyczne związki warunku wystarczającego => i koniecznego ~> bez zamiany p i q
A1: p=>q = A2: ~p~>~q
##
B1: p~>q = B2: ~p=>~q
Ogólne prawo Kubusia:
Negujemy zmienne i wymieniamy spójniki na przeciwne
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>

2.
Prawa Tygryska:
Matematyczne związki warunku wystarczającego => i koniecznego ~> z zamianą p i q
A1: p=>q = A3: q~>p
##
B1: p~>q = B3: q=>p
Ogólne prawo Tygryska:
Zamieniamy miejscami zmienne i wymieniamy spójniki na przeciwne
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>

3.
Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A4: ~q=>~p
##
B3: q=>p = B2: ~p=>~q
Ogólne prawo kontrapozycji:
Negujemy zmienne zamieniając je miejscami bez zmiany spójnika logicznego
Gdzie:
## - różne na mocy definicji

4.
Prawa kontrapozycji dla warunku koniecznego ~>:
B1: p~>q = B4: ~q~>~p
##
A3: q~>p = A2: ~p~>~q
Ogólne prawo kontrapozycji:
Negujemy zmienne zamieniając je miejscami bez zmiany spójnika logicznego
Gdzie:
## - różne na mocy definicji

2.5.1 Definicje znaczków # i ##

Zapiszmy matematyczne związki warunku wystarczającego => i koniecznego ~>
z uwzględnieniem kolumny 6.
Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:     A5B5:        A6B6:
      Y=        Y=           Y=        Y=        Y=(p=>q)= # ~Y=~(p=>q)=
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5:~p+ q   #  6: p* ~q
      ##        ##           ##        ##        ##          ##
      Y=        Y=           Y=        Y=        Y=(p~>q)= # ~Y=~(p~>q)=
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q   #  6: ~p* q
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
A1: p=>q = ~p+q
##
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
B1: p~>q = p+~q
Gdzie:
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>

Zapiszmy powyższe definicje wyrażone funkcjami logicznymi Y i ~Y
Kod:

T0"
Funkcja logiczna Y warunku wystarczającego =>:
A5: Y=(p=>q)=~p+ q   # A6: ~Y=~(p=>q)= p*~q
    ##                     ##
Funkcja logiczna Y warunku koniecznego ~>:
B5: Y=(p~>q)= p+~q   # B6: ~Y=~(p~>q)=~p* q
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Doskonale widać, że w tabeli T0" obie definicje znaczków # i ## są perfekcyjnie spełnione


Ostatnio zmieniony przez rafal3006 dnia Śro 12:25, 31 Lip 2024, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Śro 12:15, 31 Lip 2024    Temat postu:

Chciałem powiedzieć to, co powiedziałem i to wielokrotnie, schizofreniku.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 12:32, 31 Lip 2024    Temat postu:

Irbisol napisał:
Chciałem powiedzieć to, co powiedziałem i to wielokrotnie, schizofreniku.

Zauważ, że mój post wyżej udowadnia iż twoja tożsamość:
Warunek wystarczajacy p=>q = implikacja p=>q rodem z KRZ
to wyłacznie twoja, czysto matematyczna brednia, do której żaden ziemski matematyk się nie przyzna.
Idiotę z AGH wykluczam - nie powołuj się na niego.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809999
rafal3006 napisał:
Matematyczny Guru z AGH = matematyczny idiota
Dowód w niniejszym poście.


Przeczytaj mój post raz jeszcze i wykaż, w którym momencie popełniam błąd czysto matematyczny - znajdziesz jeden błąd, kasuję AK.


Ostatnio zmieniony przez rafal3006 dnia Śro 12:38, 31 Lip 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Śro 12:44, 31 Lip 2024    Temat postu:

To nie jest moja tożsamość.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Śro 13:01, 31 Lip 2024    Temat postu:

Irbisol napisał:
To nie jest moja tożsamość.

Widzę, że zmądrzałeś:
Czy zgadzasz się na poniższą relację (poprawną na gruncie AK)?
Warunek wystarczajacy p=>q ## implikacja p=>q rodem z KRZ
Gdzie:
## - różne na mocy definicji
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Śro 13:04, 31 Lip 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 329, 330, 331 ... 369, 370, 371  Następny
Strona 330 z 371

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin