 |
Ś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ść |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
 Wysłany: Czw 9:29, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Tematem nie jest jakieś prawo rosmaka czy innego hipopotama, lecz twoja teza, jakoby KRZ nie znało warunku koniecznego. |
Nie kłam bo to nieładnie
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:47, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Tematem nie jest jakieś prawo rosmaka czy innego hipopotama, lecz twoja teza, jakoby KRZ nie znało warunku koniecznego. |
Nazwa jest tu bez znaczenia, bardzo proszę to samo bez nazwy "prawo Tygryska".
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Dla tej definicji KRZ tabela prawdy T0 mówiąca o matematycznych związkach warunku wystarczającego => i koniecznego ~> jest identyczna w KRZ i AK!
| 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
|
Przypomnę o co chodzi:
Link Irbisola:
[link widoczny dla zalogowanych]
| Irbisol napisał: | | Więc masz to w tabelce. Jedynie zamiast 0 i 1 jest T i F |
Prawo logiki matematycznej poprawne w KRZ i algebrze Kubusia, przy definicji KRZ jak wyżej.
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
Kluczowe pytanie do Irbisola:
Czy powyższe prawo jest kluczowym elementem twojego linku?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Czw 9:56, 01 Cze 2023, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Czw 9:58, 01 Cze 2023 Temat postu: |
|
|
|
Nawet ci to cytowałem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 10:23, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Nawet ci to cytowałem. |
Kłamiesz znowu, nawet w tak krótkim zdaniu jesteś w stanie to zrobić. Mistrz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 13:36, 01 Cze 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
| Rafal3006 napisał: |
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Dla tej definicji KRZ tabela prawdy T0 mówiąca o matematycznych związkach warunku wystarczającego => i koniecznego ~> jest identyczna w KRZ i AK!
| 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
|
Przypomnę o co chodzi:
Link Irbisola:
[link widoczny dla zalogowanych]
| Irbisol napisał: | | Więc masz to w tabelce. Jedynie zamiast 0 i 1 jest T i F |
Prawo logiki matematycznej poprawne w KRZ i algebrze Kubusia, przy definicji KRZ jak wyżej.
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
Kluczowe pytanie do Irbisola:
Czy powyższe prawo jest kluczowym elementem twojego linku?
TAK/NIE
|
| Irbisol napisał: | | Nawet ci to cytowałem. |
Dzięki za odpowiedź.
Nazwijmy to prawo, co do którego obaj się zgadzamy że jest prawdziwe, zarówno na gruncie KRZ (o definicji w cytacie), jak i na gruncie AK, prawem Tygryska - by nie było bezpańskie.
Fajnie że obaj się zgadzamy na prawo Tygryska.
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Kluczowe dwa pytania:
1.
Czy prawo Tygryska jest definicją warunku wystarczającego =>?
TAK/NIE
2.
Czy prawo Tygryska jest definicją warunku koniecznego ~>?
TAK/NIE
Innymi słowy:
Czy trzeba znać różne na mocy definicji ##: definicję warunku koniecznego ~> i definicję warunku wystarczającego => by móc udowodnić prawo Tygryska?
TAK/NIE
Sam Irbisolu widzisz, że przed znaczkiem różne na mocy definicji ## nie uciekniesz!
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Czw 13:58, 01 Cze 2023 Temat postu: |
|
|
|
Kluczowe pytanie brzmi, dlaczego twierdzisz że KRZ nie zna warunku koniecznego, skoro dostałeś link z definicją, tabelką i powiązaniami z warunkiem wystarczającym.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 14:13, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Kluczowe pytanie brzmi, dlaczego twierdzisz że KRZ nie zna warunku koniecznego, skoro dostałeś link z definicją, tabelką i powiązaniami z warunkiem wystarczającym. |
Czego definicją?!
Prawo logiki matematycznej, prawo Tygryska, korzysta z różnych na mocy definicji ##: warunku wystarczającego => i warunku koniecznego ~>.
Korzysta tzn. nie definiuje ani warunku koniecznego ~>, ani też warunku wystarczającego =>
Zgadzasz się z tym faktem?
TAK/NIE
Powtórzę z całą stanowczością:
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Najważniejsze pytanie do Irbisola:
Czy trzeba znać różne na mocy definicji ##: definicję warunku koniecznego ~> i definicję warunku wystarczającego => by móc udowodnić prawo Tygryska?
TAK/NIE
Sam Irbisolu widzisz, że przed znaczkiem różne na mocy definicji ## nie uciekniesz!
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Czw 14:31, 01 Cze 2023 Temat postu: |
|
|
|
Definicją warunku koniecznego
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 14:41, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Definicją warunku koniecznego |
Czemu oszukujesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:26, 01 Cze 2023 Temat postu: |
|
|
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
| Irbisol napisał: | | Definicją warunku koniecznego |
Jak wszyscy widzą twierdzisz, że prawo Tygryska definiuje warunek konieczny ~>?!
ok
Załóżmy, że dysponujesz tylko i wyłącznie definicją warunku koniecznego ~>.
Oto ta definicja:
| Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Interpretacja słowna:
p~>q =1 - wtedy i tylko wtedy gdy zajście p jest konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Interpretacja słowna w zbiorach:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Zadanie dla Irbisola:
Udowodnij prawo Tygryska dysponując tylko i wyłącznie definicją warunku koniecznego ~> jak wyżej.
P.S.
Jak ci się uda ta sztuka, to oczywiście kasuję calusieńką algebrę Kubusia.
Ostatnio zmieniony przez rafal3006 dnia Czw 15:28, 01 Cze 2023, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Czw 15:39, 01 Cze 2023 Temat postu: |
|
|
|
Nie. Odpowiedziałem na twoje pytanie o definicję.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:49, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Nie. Odpowiedziałem na twoje pytanie o definicję. |
Bawisz się w Urbana, czyli odpisujesz co się tobie podoba a nie na temat meritum, o które cię pytają.
Meritum w moim poście wyżej to najważniejsze pytanie skierowane do ciebie.
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Najważniejsze pytanie do Irbisola:
Czy trzeba znać różne na mocy definicji ##: definicję warunku koniecznego ~> i definicję warunku wystarczającego => by móc udowodnić prawo Tygryska?
TAK/NIE
Sam Irbisolu widzisz, że przed znaczkiem różne na mocy definicji ## nie uciekniesz!
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 15:59, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Nie. Odpowiedziałem na twoje pytanie o definicję. |
Gdzie niby?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Czw 17:50, 01 Cze 2023 Temat postu: |
|
|
|
Meritum jest to o czym pisze. Czyli rzekoma nieznajomość warunku koniecznego przez KRZ
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 18:46, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Meritum jest to o czym pisze. Czyli rzekoma nieznajomość warunku koniecznego przez KRZ |
Nieładnie tak kłamać
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 21:24, 01 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Meritum jest to o czym pisze. Czyli rzekoma nieznajomość warunku koniecznego przez KRZ |
Meritum jest fakt, że KRZ nie zna poniższej, zero-jedynkowej definicji warunku koniecznego ~>!
Oto ta definicja:
| Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Interpretacja słowna:
p~>q =1 - wtedy i tylko wtedy gdy zajście p jest konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Interpretacja słowna w zbiorach:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Zadanie dla Irbisola:
Udowodnij prawo Tygryska bez powyższej, zero-jedynkowej definicji warunku koniecznego ~>.
Jak ci się uda ta sztuka, to oczywiście kasuję calusieńką algebrę Kubusia.
P.S.
Tylko nie próbuj mi powtarzać w koło Macieju, że prawo Tygryska definiuje ci warunek konieczny ~>, bo to jest gówno prawda!
Ostatnio zmieniony przez rafal3006 dnia Pią 8:52, 02 Cze 2023, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Pią 12:02, 02 Cze 2023 Temat postu: |
|
|
|
Jak nie zna jak tabelkę dostałeś
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 12:10, 02 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Jak nie zna jak tabelkę dostałeś |
Znowu kłamiesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 12:25, 02 Cze 2023 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3125.html#725945
| rafal3006 napisał: | | Irbisol napisał: | | Meritum jest to o czym pisze. Czyli rzekoma nieznajomość warunku koniecznego przez KRZ |
Meritum jest fakt, że KRZ nie zna poniższej, zero-jedynkowej definicji warunku koniecznego ~>!
Oto ta definicja:
| Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Interpretacja słowna:
p~>q =1 - wtedy i tylko wtedy gdy zajście p jest konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Interpretacja słowna w zbiorach:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Zadanie dla Irbisola:
Udowodnij prawo Tygryska bez powyższej, zero-jedynkowej definicji warunku koniecznego ~>.
Jak ci się uda ta sztuka, to oczywiście kasuję calusieńką algebrę Kubusia.
P.S.
Tylko nie próbuj mi powtarzać w koło Macieju, że prawo Tygryska definiuje ci warunek konieczny ~>, bo to jest gówno prawda! |
| Irbisol napisał: | | Jak nie zna jak tabelkę dostałeś |
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Jak wszyscy widzą, Irbisol utożsamia prawo Tygryska zarówno z definicją warunku wystarczającego => jak i z definicją warunku koniecznego ~>
Dwa kluczowe pytanie do Irbisola:
1.
Czy prawo Tygryska jest definicją warunku wystarczającego =>?
TAK/NIE
2.
Czy prawo Tygryska jest definicją warunku koniecznego ~>?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pią 12:27, 02 Cze 2023, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Pią 13:14, 02 Cze 2023 Temat postu: |
|
|
|
To, że dostałeś tabelkę KRZ z warunkiem koniecznym, którego KRZ niby nie zna nie oznacza, że coś tam utożsamiam.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 13:16, 02 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | To, że dostałeś tabelkę KRZ z warunkiem koniecznym, którego KRZ niby nie zna nie oznacza, że coś tam utożsamiam. |
Czemu oszukujesz ludzi?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 14:00, 02 Cze 2023 Temat postu: |
|
|
Ilu kamikaze musi zginąć, zanim ludzkość zrozumie poprawne definicje warunku wystarczającego => i koniecznego ~>?
… w tym poście podane.
Mam nadzieję Irbisolu, że nie należysz do grona samobójców i jako pierwszy ziemianin przejdziesz do obozu algebry Kubusia z legitymacją członkowską Nr. 1.
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Dla tej definicji KRZ tabela prawdy T0 mówiąca o matematycznych związkach warunku wystarczającego => i koniecznego ~> jest identyczna w KRZ i AK!
| 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
|
| Irbisol napisał: | | To, że dostałeś tabelkę KRZ z warunkiem koniecznym, którego KRZ niby nie zna nie oznacza, że coś tam utożsamiam. |
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
Jak wszyscy widzą, Irbisol przyznaje wszem i wobec, że prawo Tygryska nie definiuje ani warunku wystarczającego =>, ani też warunku koniecznego ~>
Brawo Irbisolu - tak trzymaj!
Twarda prawda jest taka:
Jedyne poprawne definicje warunku wystarczającego => i koniecznego ~> zarówno w algebrze Kubusia, jak i w KRZ przy definicji na wstępie postu są tylko i wyłącznie takie.
| Kod: |
TW
Zero-jedynkowa definicja
warunku wystarczającego =>
p q Y=(p=>q)=~p+q
A: 1 1 =1
B: 1 0 =0
C: 0 0 =1
D: 0 1 =1
1 2 3
Interpretacja słowna warunku wystarczającego =>:
p=>q=1 - wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla q
Inaczej:
p=>q=0
;
Tożsama interpretacja słowna w zbiorach:
p=>q=1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q=0
|
##
| Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
Interpretacja słowna warunku koniecznego ~>:
p~>q=1 - wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla q
Inaczej:
p~>q=0
;
Tożsama interpretacja słowna w zbiorach:
p~>q=1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru 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.
Kluczowe pytanie do Irbisola:
Czy zgadzasz się na powyższe, jedyne poprawne w logice matematycznej definicje warunku wystarczającego => i koniecznego ~>, poprawne zarówno w algebrze Kubusia, jak i w KRZ, przy definicji KRZ jak na początku postu
TAK/NIE
Gdzie:
"Jedyne poprawne" oznacza, że nie da się zapisać konkurencyjnych definicji, bo to jest fizycznie niemożliwe - kamikaze mogą próbować!
Ostatnio zmieniony przez rafal3006 dnia Pią 14:01, 02 Cze 2023, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
| Wysłany: Pią 14:08, 02 Cze 2023 Temat postu: |
|
|
Tematem jest, czy KRZ zna warunek konieczny.
Dostałeś definicję tego warunku, tabelkę z nim i powiązania z wystarczającym.
Co ci jeszcze nie pasuje?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 14:23, 02 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | Tematem jest, czy KRZ zna warunek konieczny.
Dostałeś definicję tego warunku, tabelkę z nim i powiązania z wystarczającym.
Co ci jeszcze nie pasuje? |
Znowu ludzi okłamujesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35967
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 14:44, 02 Cze 2023 Temat postu: |
|
|
Czy Irbisol poda zero-jedynkowe definicje warunku wystarczającego => i koniecznego ~> obowiązujące w jego KRZ?
… czy ktoś ma nadzieję?
| Irbisol napisał: | Tematem jest, czy KRZ zna warunek konieczny.
Dostałeś definicję tego warunku, tabelkę z nim i powiązania z wystarczającym.
Co ci jeszcze nie pasuje? |
Nie dostałem żadnej definicji dostałem tylko i wyłącznie prawo Tygryska, które nie definiuje ani warunku wystarczającego =>, ani też warunku koniecznego ~>
Rozmawiamy o tabelce z tego cytatu:
[link widoczny dla zalogowanych]
Kluczowym zdaniem z tego linku jest prawo Tygryska, co sam przyznałeś!
Prawo Tygryska:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
B3: q=>p = B1: p~>q
To jest wyssany z palca (bo nie udowodniony matematycznie w rachunku zero-jedynkowym) fundament wszelkich rozważań w powyższym linku.
Irbisolu:
Zgodziłeś się, że prawo Tygryska nie definiuje ani warunku wystarczającego =>, ani też warunku koniecznego ~>
Prawo Tygryska tylko i wyłącznie korzysta z tych definicji!
Czy rozumiesz różnicę między definiowaniem czegokolwiek a korzystaniem z definicji?
Kwadratura koła dla Irbisola:
Podaj zero-jedynkowe definicje zarówno warunku wystarczającego =>, jak i warunku koniecznego ~> poprawne w twoim KRZ!
Jak te definicje powinny wyglądać masz w moim poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3125.html#726067
Ostatnio zmieniony przez rafal3006 dnia Pią 14:47, 02 Cze 2023, 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
