 |
Ś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.
|
| 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
|
|
| Powrót do góry |
|
 |
|
|
|
| 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: Wto 11:48, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8200.html#809853
| Irbisol napisał: | | Sprzeczność polega na tym, że nieprawdziwy jest warunek konieczny, który Macjan podał. |
Żaden ziemski matematyk nie zna definicji warunku koniecznego tzn. nie istnieje zero-jedynkowa definicja warunku koniecznego p~>q różna na mocy definicji ## od warunku wystarczającego p=>q
Dowód masz w cytacie niżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8150.html#809345
| rafal3006 napisał: | Irbisolu,
Dotrze to kiedy do ciebie iż absolutnie każdy ziemski podręcznik do logiki matematycznej zaczyna się od definicji twojego Guru z AGH!
| Irbisol napisał: | Ta tzw. definicja, schizofreniku, nie ma w ogóle cech definicji, a tym bardziej definicji matematycznej.
Który matematyk się przyznaje, że to co cytujesz to w ogóle są jakiekolwiek definicje? |
Przyznaje to twój Guru, wykładowca z AGH w tym swoim wykładzie:
[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
|
|
Wszędzie wyżej w wykropkowane miejsca możesz wstawiać cokolwiek, byleby temu „cokolwiek” dało się przypisać pojęcie prawdy (=1) albo fałszu (=0)
Zgadzasz się z tym banałem w ziemskiej logice czy będziesz walczył z aktualną logiką ziemskich matematyków … do śmierci swojej (jak rasowy schizofrenik?)
Dotrze to kiedy do ciebie iż absolutnie każdy ziemski podręcznik do logiki matematycznej zaczyna się od definicji twojego Guru z AGH!
Potwierdza to ten wykładowca logiki matematycznej dla I klasy LO:
https://www.youtube.com/watch?v=69mxNcONL-4
Posłuchaj sobie schizofreniku (mam nadzieję, że twoje uszy są jeszce wolne od schizofrenii) - na 100% bez przerwy tu będziesz słyszał że:
A: Z prawdy (1) wynika => prawda (1) =1 - zdanie "Jeśli p to q" jest prawdziwe
B: Z prawdy (1) wynika => fałsz (0) =0 - zdanie "Jeśli p to q" jest fałszywe
C: Z fałszu (0) wynika => fałsz (0) =1 - zdanie "Jeśli p to q" jest prawdziwe
D: z fałszu (0) wynika => prawda (1) =1 - zdanie "Jeśli p to q" jest prawdziwe
.. i takie gówna są wciskane do mózgów Bogu ducha winnych, naszych dzieci z I klasy LO!
 |
|
|
| Powrót do góry |
|
|
| 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: Wto 12:45, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8200.html#809865
| Irbisol napisał: | | Nawet w linku, który podałem, jest warunek konieczny. Występuje bardzo często w KRZ. |
Podaj definicję zero jedynkową warunku wystarczającego p=>q oraz różnego na mocy definicji ## warunku koniecznego p~>q
Czas START!
P.S.
Czy zgadzasz się na takie definicje?
Zero-jedynkowa definicja warunku wystarczającego =>:
p=>q = ~p+q
p=>q =1 <=> gdy zajście p jest (=1) wystarczające => dla zajścia q
Inaczej:
p=>q =0
##
Zero-jedynkowa definicja warunku koniecznego ~>:
p~>q = p+~q
p~>q =1 <=> gdy zajście p jest (=1) konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Gdzie:
## - różne namocy definicji
p i q muszą być wszędzie tymi samymi p i q, inaczej błąd podstawienia
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Wto 12:47, 30 Lip 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| 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: Wto 14:44, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8200.html#809885
| Irbisol napisał: | Masz podaną w linku "guru".
Podałem ci ją jeszcze przed twoim "czas start"  |
Chcesz powiedzieć, że to są dokładnie definicje warunku wystarczającego p=>q i koniecznego p~>q jak niżej?
Czy zgadzasz się na takie definicje?
Zero-jedynkowa definicja warunku wystarczającego =>:
p=>q = ~p+q
p=>q =1 <=> gdy zajście p jest (=1) wystarczające => dla zajścia q
Inaczej:
p=>q =0
##
Zero-jedynkowa definicja warunku koniecznego ~>:
p~>q = p+~q
p~>q =1 <=> gdy zajście p jest (=1) konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q, inaczej błąd podstawienia
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Wto 14:48, 30 Lip 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| 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: Wto 15:41, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8200.html#809907
| 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 
|
|
| Powrót do góry |
|
|
| 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: Wto 15:50, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809915
| 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 |
|
|
| Powrót do góry |
|
|
| 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: Wto 16:41, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809937
| Irbisol napisał: | | Czyli raz powołujesz się na niego a innym razem twierdzisz że "nie ma pojęcia" |
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
[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 |
|
|
| Powrót do góry |
|
|
| 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: Wto 16:43, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809941
| 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:07, 30 Lip 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| 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: Wto 20:49, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809963
| 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:53, 30 Lip 2024, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| 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: Wto 21:42, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809973
| 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ć |
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 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: Wto 22:33, 30 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809985
| 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:34, 30 Lip 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| 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: Śro 8:50, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#809999
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=5 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 8:57, 31 Lip 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| 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: Śro 9:08, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810007
| 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 1 raz
|
|
| Powrót do góry |
|
|
| 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: Śro 9:34, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810019
| 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. |
|
|
| Powrót do góry |
|
|
| 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: Śro 9:59, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810039
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:09, 31 Lip 2024, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| 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: Śro 12:10, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810051
Dowód, iż algebra Kubusia nie spełnia prawa Sępa!
| 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
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, 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
|
|
|
| Powrót do góry |
|
|
| 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: Śro 12:39, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810063
| 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 wystarczający p=>q = implikacja p=>q rodem z KRZ
to wyłącznie 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:41, 31 Lip 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| 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
|
|
| Powrót do góry |
|
|
| 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
|
|
| Powrót do góry |
|
|
| 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: Śro 14:22, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8250.html#810083
| Irbisol napisał: | | Dlaczego informujesz mnie, że leżycie, kwiczycie i błagacie o litość? |
Bo jestem w 100% pewien, że nie podasz konkretnych zdań warunkowych "Jeśli p to q" potwierdzających to twoje wytłuszczone w twoim cytacie niżej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8250.html#810077
| rafal3006 napisał: | | Irbisol napisał: | Już ci pisałem, schizofreniku.
WW = implikacja logiczna |
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810015
| Irbisol napisał: | | 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. |
Podaj przykłady konkretnych zdań warunkowych „Jeśli p to q” potwierdzających to wytłuszczone.
Leżymy, kwiczymy i błagamy o litość - tyle zostało z twojej gówno-logiki Irbisolu |
|
|
| Powrót do góry |
|
|
| 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: Śro 14:39, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8250.html#810095
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Czyli fakt, że czegoś nie podam oznacza, że leżycie, kwiczycie i błagacie o litość? |
Nie podasz bo matematycznie potwornie bredzisz - udowodnij że tak nie jest, podając dwa zdania warunkowe Jesli p to q" spełniajace to twoje wytłuszczone w twoim cytacie. |
Nie o to pytałem. |
Jak wszyscy widzą, płaskoziemca już się zapętlił teraz będzie do usranej śmierci powtarzał
| Irbisol napisał: | | Czyli fakt, że czegoś nie podam oznacza, że leżycie, kwiczycie i błagacie o litość? |
Czy o odpowiedź na to poza temacie ci chodzi Irbisolu?
TAK/NIE
Jeśli o to to powtórzę:
Nie podasz bo matematycznie potwornie bredzisz - udowodnij że tak nie jest, podając dwa zdania warunkowe Jesli p to q" spełniajace to twoje wytłuszczone w twoim cytacie
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8225.html#810015
| Irbisol napisał: |
Każda implikacja logiczna jest implikacją materialną.
Ale nie każda implikacja materialna jest implikacją logiczną.
|
Podpowiem,
Na początek podaj przykład zdania warunkowego "Jesli p to q" spełniającego twoją definicję implikacji logicznej.
|
|
| Powrót do góry |
|
|
| 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
|
|
| Powrót do góry |
|
|
| 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
|
|
| Powrót do góry |
|
|
| 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
|
|
| Powrót do góry |
|
|
| 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: Śro 18:50, 31 Lip 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8250.html#810129
Smutna prawda: wszyscy ziemscy matematycy to schizofrenicy!
Dowód w niniejszym poście.
| Irbisol napisał: | Więc nie pierdziel nie na temat. Sam zacząłeś.
1. Jeżeli liczba jest podzielna przez 4, to jest podzielna przez 2.
2. Jeżeli Merkury krąży wokół Słońca, to krowa ma ogon.
I co - leżycie, kwiczycie i błagacie o litość? |
Drugie zdanie to potwornie śmierdzące gówno zwane KRZ.
Zakładamy gumiaki by nóg nie pobrudzić i wykopujemy w kosmos.
Natomiast za zdanie pierwsze dostajesz Irbisolu brawa od całego 100-milowego lasu z automatycznym wypisaniem ci legitymacji Nr. 1 członka klubu algebry Kubusia.
Wiem, że póki co nie doceniasz tego wyróżnienia, ale wkrótce, gdy twój mózg dobije do matematycznego poziomu 5-cio latków na pewno będziesz szczęśliwy iż przypadła ci legitymacja Nr. 1
A1.
Jeśli dowolna liczba jest podzielna przez 4 to jest podzielna przez 2
P4=>P2 =1
Podzielność dowolnej liczby przez 4 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.
Zauważmy, że nie ma absolutnie żadnej alternatywy dla przedstawionego wyżej dowodu prawdziwości zdania A1.
Iterowanie po elementach tu odpada bo zbiory P4 i P2 są zbiorami nieskończonymi, zatem nawet Pan Bóg nie przeiteruje tych zbiorów element po elemencie.
Tu wszyscy ziemscy matematycy są schizofrenikami, bo z jednej strony muszą uznać definicję warunku wystarczającego => jak w komentarzu do zdania A1, gdyż inaczej nie udowodnią prawdziwości zdania A1, a z drugiej strony widzą w swojej schizofrenii Szatana zwanego dla niepoznaki Klasycznym Rachunkiem Zdań przystawiającego im pistolet do głowy, zakazującego im uznać definicję warunku wystarczającego => zapisaną w komentarzu do zdania A1.
Strach ziemskich matematyków przed Szatanem zwanym KRZ jest tak wielki, że nigdzie, w całej Wikipedii, nie znajdziemy banalnej definicji warunku wystarczającego => o definicji jak w komentarzu do zdania A1.
Ostatnio zmieniony przez rafal3006 dnia Czw 6:55, 01 Sie 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
|
|
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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
