 |
Ś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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15449
Przeczytał: 26 tematów
|
 Wysłany: Pon 16:03, 05 Cze 2023 Temat postu: |
|
|
To nie jest dowód. Definicję podawałem ci w wersji angielskiej, tu masz w polskiej:
[link widoczny dla zalogowanych]
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 16:03, 05 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | To nie jest dowód. Definicję podawałem ci w wersji angielskiej, tu masz w polskiej:
[link widoczny dla zalogowanych] |
Okłamujesz 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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 18:23, 05 Cze 2023 Temat postu: |
|
|
Czy Irbisol wybierze matematyczne samobójstwo pod kołami KRZ?
Mam nadzieję że NIE!
Mam nadzieję, że zechce wysłuchać co ma do powiedzenia Jaś z I klasy LO w temacie cytatu na który Irbisol się powołuje.
| Irbisol napisał: |
To nie jest dowód. Definicję podawałem ci w wersji angielskiej, tu masz w polskiej:
[link widoczny dla zalogowanych] |
| wsjp napisał: |
Warunek konieczny
log. warunek, który musi być spełniony, aby jakiś stan rzeczy zaistniał, ale jednocześnie jego spełnienie nie gwarantuje, że taki stan rzeczy zaistnieje
|
To wytłuszczone oznacza, że czasami gwarantuje a czasami nie gwarantuje.
Poproszę Irbisola o matematyczne wyjaśnienie kiedy gwarantuje a kiedy nie gwarantuje.
"Matematyczne" oznacza tu, ze nie chcę słyszeć "pieprzenia kotka za pomocą młotka", czyli nie chcę słyszeć przykładów że czasami gwarantuje a czasami nie - jak u tych matematycznych matołów z angielskiej Wikipedii:
[link widoczny dla zalogowanych]
To ma być czysta matematyka, z zerową ilością przykładów tzn. najpierw teoria czysto matematyczna z dowodem czysto matematycznym kiedy gwarantuje a kiedy nie gwarantuje, i dopiero po tym fakcie możesz Irbisolu sypać przykładami na poparcie tej teorii.
Oczywistym jest, że teoria czysto matematyczną będzie obalona, jeśli jakikolwiek ziemianin poda kontrprzykład (JEDEN!), że teoria nie działa.
Opisany wyżej problem to banał, oczywiście w I klasie LO w 100-milowym lesie!
Teraz się przekonamy Irbisolu czy twój mózg dorasta do pięt mózgowi ucznia I klasy LO w 100-milowym lesie.
Poproszę o rozwiązanie opisanego, banalnego problemu, na gruncie gówna zwanego KRZ.
Oczywiście masz prawo się poddać i poprosić Jasia z I klasy LO (siedzi koło mnie i przebiera z niecierpliwością nóżkami) by ci rozwiązał opisany wyżej problem w sposób czysto matematyczny, poparty przykładami.
Zapamiętaj Irbisolu co masz zrobić:
Najpierw teoria matematyczna, a dopiero po tym fakcie nieskończona ilość przykładów na poparcie zaprezentowanej przez ciebie teorii.
Oczywiście masz jeszcze trzecie wyjście - możesz włączyć swoją katarynkę w stylu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3150.html#726501
| Irbisol napisał: | Nie odpowiadam na twoje pytania "czy się zgadzam".
Tematem jest twoja teza, jakoby KRZ nie znało warunku koniecznego, mimo że dostałeś definicję tego warunku i tabelę 0-1 dla tego warunku. |
Uważaj Irbisolu:
Jeśli włączysz powyższą katarynkę do dla wszystkich widzów będziesz potwornym tchórzem, który na oślep rzuca się pod koła pociągu zwanego KRZ, byle nie zapoznać się z dowodem Jasia.
Więc jak?
Wolisz samobójstwo pod kołami KRZ, czy pragniesz wysłuchać co ma do powiedzenia Jaś z I klasy LO w temacie wytłuszczonego fragmentu zdania z cytatu?
Ostatnio zmieniony przez rafal3006 dnia Wto 9:01, 06 Cze 2023, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15449
Przeczytał: 26 tematów
|
| Wysłany: Wto 9:11, 06 Cze 2023 Temat postu: |
|
|
To zależy od konkretnego przypadku kiedy gwarantuje a kiedy nie.
Definicję dostałeś. KRZ zna warunek konieczny.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 9:30, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | To zależy od konkretnego przypadku kiedy gwarantuje a kiedy nie.
Definicję dostałeś. KRZ zna warunek konieczny. |
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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 10:13, 06 Cze 2023 Temat postu: |
|
|
Niestety, Irbisol wybrał matematyczną śmierć pod kołami pociągu zwanego KRZ
Dowód w niniejszym poście.
| Irbisol napisał: | To zależy od konkretnego przypadku kiedy gwarantuje a kiedy nie.
Definicję dostałeś. KRZ zna warunek konieczny. |
KRZ zna gówno, a nie definicję warunku koniecznego p~>q, niezależną od jakiegokolwiek prawa logiki matematycznej i definicji równoważności p<=>q. Widzę Irbisolu, że rzucam grochem o ścianę, czyli odmawiasz by Jaś przedstawi ci teorię ogólną (matematyczną) warunku koniecznego p~>q.
Po kiego grzyba włączasz tu swoją katarynkę, zamiast poprosić Jasia by ci wszystko wytłumaczył?
Patrz post mój wyżej.
Irbisolu,
Czekam kiedy zrozumiesz, że matematyka nie operuje konkretnymi przypadkami, w twoim rozumieniu konkretnymi zdaniami z języka mówionego.
Matematyka to opis ogólny języka mówionego bez absolutnie żadnych przykładów z tego języka!
Przykłady z języka możesz podawać tylko i wyłącznie po zaprezentowaniu teorii matematycznej, na poparcie tej teorii!
Teoria matematyczna jest dobra wtedy i tylko wtedy gdy żaden ziemianin nie poda kontrprzykładu (JEDNEGO!) obalającego tą teorię
Irbisolu, powtórzę:
Opisz czysto matematycznie kiedy w warunku konieczny p~>q zajście p gwarantuje zajście q, a kiedy takiej gwarancji nie ma.
Przykłady będziesz mógł podawać tylko i wyłącznie po zaprezentowaniu teorii matematycznej!
Podsumowanie:
Jak wszyscy widzą, Irbisol to potworny tchórz, nie chce by uczeń I klasy LO ze 100-milowego lasu wytłumaczył mu przy pomocy teorii czysto matematycznej o co w tym warunku koniecznym p~>q chodzi.
Irbisol na 100% zrozumiałby teorię zaprezentowaną przez Jasia, ale wybrał swoją katarynkę, czyli rzucił się pod koła pociągu zwanego KRZ i niestety, poniósł tym samym matematyczną śmierć na miejscu.
Oczywiście to nie jest śmierć w sensie dosłownym, Irbisol co prawda trafił do matematycznego piekła zwanego KRZ, ale ma szansę zmartwychwstać, gdy zgodzi się przeczytać teorię czysto matematyczną dotyczącą warunku koniecznego p~>q, którą Jaś chętnie mu zaprezentuje.
Irbisolu,
Wybór należy do ciebie - możesz do końca swojego żywota smażyć się piekle zwanym KRZ, albo zrozumieć co ma do powiedzenia Jaś w temacie warunku koniecznego p~>q i zmartwychwstać.
Co wybierasz?
Ostatnio zmieniony przez rafal3006 dnia Wto 10:14, 06 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: 15449
Przeczytał: 26 tematów
|
| Wysłany: Wto 10:32, 06 Cze 2023 Temat postu: |
|
|
|
A gdzie w tej definicji masz zależność od warunku wystarczającego albo od równoważności?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 10:33, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | A gdzie w tej definicji masz zależność od warunku wystarczającego albo od równoważności? |
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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 11:15, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | A gdzie w tej definicji masz zależność od warunku wystarczającego albo od równoważności? |
| rafal3006 napisał: | Czy Irbisol wybierze matematyczne samobójstwo pod kołami KRZ?
Mam nadzieję że NIE!
Mam nadzieję, że zechce wysłuchać co ma do powiedzenia Jaś z I klasy LO w temacie cytatu na który Irbisol się powołuje.
| Irbisol napisał: |
To nie jest dowód. Definicję podawałem ci w wersji angielskiej, tu masz w polskiej:
[link widoczny dla zalogowanych] |
| wsjp napisał: |
Warunek konieczny
log. warunek, który musi być spełniony, aby jakiś stan rzeczy zaistniał, ale jednocześnie jego spełnienie nie gwarantuje, że taki stan rzeczy zaistnieje
|
To wytłuszczone oznacza, że czasami gwarantuje a czasami nie gwarantuje.
Poproszę Irbisola o matematyczne wyjaśnienie kiedy gwarantuje a kiedy nie gwarantuje.
"Matematyczne" oznacza tu, ze nie chcę słyszeć "pieprzenia kotka za pomocą młotka", czyli nie chcę słyszeć przykładów że czasami gwarantuje a czasami nie - jak u tych matematycznych matołów z angielskiej Wikipedii:
[link widoczny dla zalogowanych]
To ma być czysta matematyka, z zerową ilością przykładów tzn. najpierw teoria czysto matematyczna z dowodem czysto matematycznym kiedy gwarantuje a kiedy nie gwarantuje, i dopiero po tym fakcie możesz Irbisolu sypać przykładami na poparcie tej teorii.
Oczywistym jest, że teoria czysto matematyczną będzie obalona, jeśli jakikolwiek ziemianin poda kontrprzykład (JEDEN!), że teoria nie działa.
Opisany wyżej problem to banał, oczywiście w I klasie LO w 100-milowym lesie! |
Irbisolu, czekam na teorię czysto matematyczną KRZ w temacie warunku koniecznego p~>q o której jest w cytacie wyżej.
Na tym polu KRZ leży i kwiczy, nie masz najmniejszych szans na zapisanie tej teorii na gruncie gówna zwanego KRZ.
Przypominam, że siedzący obok mnie Jaś, uczeń I klasy LO w 100-milowym lesie siedzi koło mnie i gotów jest ci tą teorię wytłumaczyć w sposób który na 100% zrozumiesz!
Czeka tylko na twój sygnał: START!
Ostatnio zmieniony przez rafal3006 dnia Wto 11:16, 06 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: 15449
Przeczytał: 26 tematów
|
| Wysłany: Wto 11:37, 06 Cze 2023 Temat postu: |
|
|
|
Odpowiedz na pytanie, które zadałem wyżej.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 11:44, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Odpowiedz na pytanie, które zadałem wyżej. |
Nikogo nie obchodzą twoje "pytania"
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 11:49, 06 Cze 2023 Temat postu: |
|
|
Czy Irbisol kiedykolwiek zrozumie co to jest "definicja" w logice matematycznej?
Póki co nie rozumie i co najgorsze, nie zgadza się by Jaś, uczeń I klasy LO w 100-milowym lesie mu to wytłumaczył na przykładzie definicji warunku koniecznego p~>q
Jednym słowem:
Irbisol = tchórz do potęgi nieskończonej
Bo na 100% zrozumiałby teorię warunku koniecznego p~>q wyłożoną mu przez Jasia, ale wybrał tragiczną śmierć matematyczną rzucając się po koła pociągu zwanego KRZ.
| Irbisol napisał: | | Odpowiedz na pytanie, które zadałem wyżej. |
Wszystko masz w poście wyżej, naucz się czytać.
Od strony matematycznej ta definicja ma wartość ZEROWĄ, bo nie jest opisana matematycznie!
Czy rozumiesz co znaczy zwrot:
Definicja warunku koniecznego p~>q nie jest opisana MATEMATYCZNIE, czyli odpowiednią tabelą zero-jedynkową, bo rozmawiamy o logice.
Kolejność musi tu być taka:
Najpierw matematyka, czyli zero-jedynkowa definicja warunku koniecznego p~>q i dopiero po tym fakcie można przejść do definicji jak w cytacie:
| wsjp napisał: |
Warunek konieczny
log. warunek, który musi być spełniony, aby jakiś stan rzeczy zaistniał, ale jednocześnie jego spełnienie nie gwarantuje, że taki stan rzeczy zaistnieje
|
Ten cytat to wniosek z matematycznych związków warunku wystarczającego p=>q i koniecznego p~>q.
Wniosek nie jest definicją zero-jedynkową warunku koniecznego p~>q - a taka musi być gdy rozmawiamy o logice matematycznej.
P.S.
Przypominam, że siedzący obok mnie Jaś, uczeń I klasy LO w 100-milowym lesie gotów jest ci wytłumaczyć teorię warunku koniecznego ~> i teorię warunku wystarczającego => (jedna bez drugiej nie istnieje!) w sposób, który na 100% zrozumiesz!
Czeka tylko na twój sygnał: START!
Ostatnio zmieniony przez rafal3006 dnia Wto 12:46, 06 Cze 2023, w całości zmieniany 10 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15449
Przeczytał: 26 tematów
|
| Wysłany: Wto 13:25, 06 Cze 2023 Temat postu: |
|
|
|
Udowodnij, że to wniosek a nie definicja
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 14:10, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Udowodnij, że to wniosek a nie definicja |
Znowu 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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 14:56, 06 Cze 2023 Temat postu: |
|
|
Historyczny dowód błędności pseudo matematycznej definicji warunku koniecznego p~>q z wsjp
… w wykonaniu Jasia, ucznia I klasy LO w 100-milowym lesie
Część I
Zero-jedynkowe definicje warunku wystarczającego p=>q i warunku koniecznego p~>q niezależne od jakiegokolwiek prawa logiki matematycznej, w tym od równoważności
Niezbędna teoria wstępna logiki matematycznej w zdarzeniach z algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/kompendium-algebry-kubusia,21937.html#680049
| Algebra Kubusia napisał: |
2.0 Kompendium algebry Kubusia
Niniejszy punkt to kwintesencja algebry Kubusia, zarówno teorii zdarzeń jak i teorii zbiorów.
Kompletną teorię zbiorów dla potrzeb logiki matematycznej mamy wyłożoną w punkcie 12.0.
2.1 Skorowidz definicji implikacyjnych algebry Kubusia
Definicja podstawowego spójnika implikacyjnego:
Podstawowy spójnik implikacyjny to spójnik związany w obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>
Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
W logice matematycznej rozróżniamy:
1.
Elementarne spójniki logiczne w zdarzeniach:
~~> - spójnik zdarzenia możliwego (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Elementarne spójniki logiczne w zbiorach:
~~> - element wspólny zbiorów (2.3.1)
=> - warunek wystarczający tożsamy z relacją podzbioru =>(2.3.2)
~> - warunek konieczny tożsamy z relacją nadzbioru ~>(2.3.3)
2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12)
|~> - implikacja odwrotna (2.13)
<=> - równoważność (2.14)
|~~> - chaos (2.15)
3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi
||=> - operator implikacji prostej (2.12.1)
||~~> - operator implikacji odwrotnej (2.13.1)
|<=> - operator równoważności (2.14.1)
||~~> - operator chaosu (2.15.1)
2.2 Elementarne spójniki implikacyjne w zdarzeniach
Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń/zbiorów p i q
2.2.1 Definicja zdarzenia możliwego ~~>
Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q =p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q.
Inaczej:
p~~>q=p*q =[] =0
Decydujący w powyższej definicji jest znaczek zdarzenia możliwego ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
Uwaga:
Na mocy definicji zdarzenia możliwego ~~> badamy możliwość zajścia jednego zdarzenia, nie analizujemy tu czy między p i q zachodzi warunek wystarczający => czy też konieczny ~>.
Zero-jedynkowa definicja zdarzenia możliwego ~~>:
| Kod: |
p q p~~>q = p*q + p*~q + ~p*~q + ~p*q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =1
|
Przykład:
Jeśli jutro będzie pochmurno (CH) to może ~~> nie padać (~P)
CH~~>~P=CH*~P =1
Możliwe jest (=1) zdarzenie: są chmury (CH) i nie pada (~P)
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
Tabela T1 punkt 2.4
Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH =1
Padanie jest (=1) warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury
W zapisie formalnym mamy tu:
p=P (pada)
q=CH (chmurka)
Podsumowując:
| Kod: |
Definicja warunku wystarczającego =>:
Zapis formalny:
A1: p=>q =~p+q
Zapis aktualny (przykład):
A1: p=P
A1: q=CH
A1: P=>CH=~P+CH
|
2.2.3 Definicja warunku koniecznego ~> w zdarzeniach
Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
Tabela T2 punkt 2.4
Przykład:
B1.
Jeśli jutro będzie pochmurno (CH) to może ~> padać (P)
CH~>P =1
Chmury (CH) są (=1) konieczne ~> dla padania (P), bo padać może wyłącznie z chmurki.
W zapisie formalnym mamy tu:
p=CH (chmurka)
q=P (pada)
Podsumowując:
| Kod: |
Definicja warunku koniecznego ~>:
Zapis formalny:
B1: p~>q = p+~q
Zapis aktualny (przykład):
B1: p=CH
B1: q=P
B1: CH~>P=CH+~P
|
2.2.4 Definicja kontrprzykładu w zdarzeniach
Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)
Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH=1
Padanie jest warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury
Na mocy definicji kontrprzykładu prawdziwy warunek wystarczający A1: P=>CH=1 wymusza fałszywość kontrprzykładu A1' (i odwrotnie)
A1'
Jeśli jutro będzie padało (P) to może ~~> nie być pochmurno (~CH)
P~~>~CH = P*~CH=0
Dowód wprost:
Niemożliwe jest (=0) zdarzenie ~~>: pada (P) i nie jest pochmurno (~CH)
Dowód "nie wprost":
Na mocy definicji kontrprzykładu tego faktu nie musimy udowadniać, ale możemy, co wyżej uczyniliśmy.
Uwaga na standard w algebrze Kubusia:
Kontrprzykład dla warunku wystarczającego => A1 oznaczamy A1’
|
| Irbisol napisał: |
Udowodnij, że to wniosek a nie definicja |
Dzięki Irbisolu, wszyscy czytelnicy widzą, wreszcie się zdecydowałeś, by wysłuchać co ma do powiedzenia w sprawie poniższej gówno definicji warunku koniecznego p~>q Jaś z I klasy LO w 100-milowym lesie.
[link widoczny dla zalogowanych]
| wsjp napisał: |
Warunek konieczny
log. warunek, który musi być spełniony, aby jakiś stan rzeczy zaistniał, ale jednocześnie jego spełnienie nie gwarantuje, że taki stan rzeczy zaistnieje
|
Kubuś:
Jasiu udowodnij Irbisolowi, że definicja warunku koniecznego p~>q z wsjp to tylko wniosek z matematycznych związków warunku wystarczającego p=>q i koniecznego p~>q.
Jaś - uczeń I klasy LO w 100milowym lesie:
Robi się Kubusiu.
W tym momencie Irbisol i czytelnicy proszeni są o przeczytanie wstępu do niniejszego wykładu, niezbędnego dla zrozumienie tego, o czym będę pisał.
Z tego wstępu wynikają zero jedynkowe definicje zdarzenia możliwego ~~>, warunku wystarczającego => i warunku koniecznego ~>
Oto te zero-jedynkowe definicje:
| Kod: |
T0
Definicja zdarzenia możliwego ~~>
Y=
p q p~~>q = A: p*q + B: p*~q + C: ~p*~q + D: ~p*q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =1
Interpretacja słowna:
p~~>q =p*q =1 - wtedy i tylko wtedy gdy możliwe jest (=1)
równoczesne zajście zdarzeń p i q
Inaczej:
p~~>q =p*q =0 - zdarzenia p i q są rozłączne
|
##
| 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
Interpretacja słowna warunku wystarczającego =>:
p=>q =1 - wtedy i tylko wtedy gdy p jest (=1) wystarczające => dla q
Inaczej:
p=>q =0
;
Interpretacja słowna w zbiorach =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Inaczej
p=>q =0
|
##
| 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
Interpretacja słowna warunku koniecznego ~>:
p~>q =1 - wtedy i tylko wtedy gdy p jest (=1) konieczne ~> dla q
Inaczej:
p~>q =0
;
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óżna 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 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
Z powyższego wynika, że definicje znaczków ~~>, => i ~> są różne na mocy definicji ##
Komentarz Jasia, ucznia I klasy LO w 100-milowym lesie, z dedykacją dla Irbisola:
1.
Czy Irbisol widzi, iż powyższe definicje znaczków zdarzenia możliwego p~~>q, warunku wystarczającego p=>q, oraz warunku koniecznego p~>q to definicje totalnie niezależne od jakiegokolwiek prawa logicznego, w tym od równoważności p<=>q
Odpowiedź Irbisola:
Doskonale to widzę Jasiu
2.
Definicje to definicje, one po prostu są i nie trzeba ich udowadniać!
Czy Irbisol zgadza się z tym faktem?
Odpowiedź Irbisola:
W 100% się z tym zgadzam, Jasiu
3.
Z punktu 2 wynika że psim obowiązkiem każdego matematyka, w tym Irbisola, gdy chce on obalić AK, jest przyjęcie definicji znaczków ~~>, => i ~>.
Czy Irbisol się z tym zgadza?
Irbisol:
Zgadzam się w 100%, pod warunkiem że mogę obalać definicje znaczków ~~>, => i ~> tzn. wystarczy że pokaże jeden przykład prowadzący do absurdu w logice matematycznej zwanej AK i już totalnie wszystkie przyjęte w AK definicje lądują w koszu na śmieci.
Jaś:
Zgadzam się z tobą Irbisolu w 100%, co więcej:
Na mocy twojego sprawdzianu dla definicji znaczków ~~>, => i ~> obowiązujących AK, łatwo obalić gówno zwane Klasycznym Rachunkiem Zdań.
Na mocy powyższego mamy prosty dowód fałszywości KRZ z podręcznika matematyki od I klasy LO:
[link widoczny dla zalogowanych]
Jeśli pies ma 8 lap to księżyc krąży wokół ziemi
To zdanie jest prawdziwe w zakładzie zamkniętym bez klamek z napisem:
Wariatkowo = KRZ
Pewne jest, że Irbisol z tym faktem się zgadza, wynika to z historii naszej dyskusji.
Czy mam rację Irbisolu?
Podsumowanie:
Oczywistym jest, że Irbisol ma prawo przedstawić konkurencyjne zero-jedynkowe definicje znaczków ~~>, => i ~> niezależne od jakiegokolwiek prawa logiki matematycznej i równoważności p<=>q.
Dojdzie wówczas do wojny na śmierć i życie między konkurencyjnymi definicjami zero-jedynkowymi.
Pewne jest, że dowolne konkurencyjne definicje znaczków ~~>, => i ~> wymyślone przez Irbisola błyskawicznie legną w gruzach, czyli zostaną posłane do piekła na wieczne piekielne męki przez algebrę Kubusia.
Jeśli Irbisol jest kamikaze to może próbować:
Życzę powodzenia Irbisolu.
Ostatnio zmieniony przez rafal3006 dnia Śro 10:39, 07 Cze 2023, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15449
Przeczytał: 26 tematów
|
| Wysłany: Wto 15:02, 06 Cze 2023 Temat postu: |
|
|
|
Zaznacz fragment, z którego wynika że to wniosek a nie definicja.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 15:04, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Zaznacz fragment, z którego wynika że to wniosek a nie definicja. |
Dlaczego 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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 15:10, 06 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Zaznacz fragment, z którego wynika że to wniosek a nie definicja. |
Tego fragmentu jeszcze nie ma.
Na razie dostałeś jedyne poprawne definicje zero-jedynkowe znaczków ~~>, => i ~>, różne na mocy definicji##, niezależne od jakiegokolwiek prawa logiki matematycznej, niezależne od równoważności p<=>q
Zgadzasz się a tym faktem?
TAK/NIE
P.S.
[link widoczny dla zalogowanych]
| wsjp napisał: |
Warunek konieczny
log. warunek, który musi być spełniony, aby jakiś stan rzeczy zaistniał, ale jednocześnie jego spełnienie nie gwarantuje, że taki stan rzeczy zaistnieje
|
Twoja odpowiedź TAK jest tu kluczowa dla zrozumienia właściwego dowodu, iż definicja warunku koniecznego z wsjp jest wyłącznie wnioskiem z matematycznych związków warunku koniecznego ~> i wystarczającego =>
Ostatnio zmieniony przez rafal3006 dnia Wto 15:12, 06 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: 15449
Przeczytał: 26 tematów
|
| Wysłany: Śro 10:38, 07 Cze 2023 Temat postu: |
|
|
|
Czyli znowu zaspamowałeś czymś, o co nikt nie pytał, a na pytanie nie odpowiedziałeś.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 10:44, 07 Cze 2023 Temat postu: |
|
|
...
Ostatnio zmieniony przez rafal3006 dnia Śro 10:50, 07 Cze 2023, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Śro 10:46, 07 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | | Czyli znowu zaspamowałeś czymś, o co nikt nie pytał, a na pytanie nie odpowiedziałeś. |
Czyli 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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 10:51, 07 Cze 2023 Temat postu: |
|
|
Właściwości warunku wystarczającego => i koniecznego ~>!
| Irbisol napisał: |
Czyli znowu zaspamowałeś czymś, o co nikt nie pytał, a na pytanie nie odpowiedziałeś. |
Bardzo proszę, oto moja odpowiedź na temat.
Jeśli czegoś nie rozumiesz to pytaj.
Część 2
| 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
|
Właściwości warunku wystarczającego => i koniecznego ~> w logice matematycznej ziemian - nie definicje matematyczne!
[link widoczny dla zalogowanych]
| Wikipedia napisał: |
Warunek wystarczający (inaczej warunek dostateczny):
Każdy warunek, z którego dany fakt wynika. Jeżeli warunek wystarczający zachodzi (wystarczy, by zachodził), wówczas zachodzi dany fakt.
|
[link widoczny dla zalogowanych]
| wsjp napisał: |
Warunek konieczny
log. warunek, który musi być spełniony, aby jakiś stan rzeczy zaistniał, ale jednocześnie jego spełnienie nie gwarantuje, że taki stan rzeczy zaistnieje
|
Dlaczego powyższe opisy nie są definicjami matematycznymi?
W logice matematycznej wszelkie definicje muszą być opisane tabelami zero-jedynkowymi.
Tego warunku nie spełniają pseudo definicje warunku wystarczającego => i koniecznego ~> w powyższych cytatach.
Tu Irbisola muszę zmartwić:
Twój prywatny dogmat Irbisolu, jakoby w logice matematycznej zachodziła tożsamość:
Warunek wystarczający => = implikacja => rodem z KRZ (bez znaczenia jaka)
jest na gruncie prawdziwego KRZ (tego znanego matematykom) fałszem!
Prywatnie, dziękuję Irbisolowi za jego dogmat wyżej, bo ten dogmat lokuje go w algebrze Kubusia, czego nie jest świadom, i możliwa jest w miarę sensowna dyskusja bo mamy wspólny punkt zaczepienia - warunek wystarczający =>.
Właściwości warunku wystarczającego => i koniecznego ~> (nie definicje!) na gruncie matematyki muszą być precyzyjnie opisane, tu nie wolno sobie pozwolić na niechlujny opis skrótowy, jak to jest w cytatach wyżej.
Właściwości warunku wystarczającego => i koniecznego ~> (nie definicje!) na gruncie logiki matematycznej
http://www.sfinia.fora.pl/forum-kubusia,12/kompendium-algebry-kubusia,21937.html#680051
Prawo Puchacza (dowód w punkcie 2.10):
Dowolne zdanie warunkowe "Jeśli p to q" może wchodzić w skład jednego i tylko jednego spójnika implikacyjnego:
1. Równoważność p<=>q
2. Implikacja prosta p|=>q
3. Implikacja odwrotna p|~>q
4. Chaos p|~~>q
W chaosie p|~~>q nie występuje ani warunek wystarczający => ani też warunek konieczny ~> zatem ten przypadek z punktu widzenia właściwości warunku wystarczającego => i koniecznego ~> nas nie interesuje
Właściwości warunku wystarczającego p=>q:
Jeśli zdanie warunkowe "Jeśli p to q" spełnia definicję warunku wystarczającego p=>q to zawsze i wszędzie zajście p daje nam gwarancję matematyczną => zajścia q.
Nie ma tu znaczenia czy warunek wystarczający p=>q jest częścią równoważności p<=>q, implikacji prostej p|=>q, czy też implikacji odwrotnej p|~>q
Właściwości warunku koniecznego p~>q:
Tu sprawa się komplikuje bo wszystko zależy od tego w skład jakiego spójnika implikacyjnego wchodzi badane zdanie warunkowe "Jeśli p to q" ze spełnionym warunkiem koniecznym ~>
1.
Równoważność p<=>q:
Równoważność p<=>q to jednoczesne spełnienie zarówno warunku wystarczającego => jak i koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q=1 - wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=1 - wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla zajścia q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Właściwości warunku koniecznego ~> w równoważności p<=>q:
Jeśli zdanie warunkowe "Jeśli p to q" spełnia definicję warunku koniecznego p~>q to w równoważności p<=>q zajście p daje nam gwarancję matematyczną ~> zajścia q
Mamy tu identyczną gwarancję matematyczną ~> jak w warunku wystarczającym =>, ale na mocy definicji zachodzi:
Warunek konieczny: p~>q = p+~q ## Warunek wystarczający: p=>q = ~p+q
Gdzie:
## - różne na mocy definicji
Stąd mamy słynne prawo Kameleona w algebrze Kubusia.
Prawo Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame
Prawo Kameleona to świętość w logice matematycznej, jeśli dowolny ziemski matematyk podniesie rękę na prawo Kameleona to może być pewien, że ta ręka zostanie mu odcięta
To co wyżej to przenośnia nawiązująca do przemówienia Cyrankiewicza:
[link widoczny dla zalogowanych]
| historia.interia.pl napisał: |
29 czerwca 1956 r. Cyrankiewicz:
Każdemu, kto podniesie rękę na władzę, władza tę rękę odrąbie |
Nie da się ukryć, że matematyka to bezwzględny ustrój komunistyczny, niszczący wszystko co nie jest z nią zgodne.
Dowód na przykładzie:
Równoważność Pitagorasa TP<=>SK (udowodniona wieki temu):
Równoważność Pitagorasa TP<=>SK w logice dodatniej (bo SK) to jednoczesne spełnienie zarówno warunku wystarczającego => jak i koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: TP=>SK=1 - bycie TP jest (=1) wystarczające => dla bycia SK
B1: TP~>SK=1 - bycie TP jest (=1) konieczne ~> dla bycia SK
A1B1: TP<=>SK = (A1: TP=>SK)*(B1: TP~>SK)=1*1=1
Zdanie warunkowe A1 brzmi:
A1.
Jeśli trójkąt jest prostokątny (TP) to na 100% => zachodzi w nim suma kwadratów (SK)
A1: TP=>SK=1
To samo w zapisie formalnym:
A1: p=>q =1
Bycie trójkątem prostokątnym daje nam gwarancję matematyczną => iż spełniona jest w nim suma kwadratów.
To jest twierdzenie proste Pitagorasa udowodnione wieki temu.
##
Zdanie warunkowe B1 brzmi:
B1.
Jeśli trójkąt jest prostokątny (TP) to na 100% ~> zachodzi w nim suma kwadratów (SK)
B1: TP~>SK=1
To samo w zapisie formalnym:
B1: p~>q =1
Jak matematycy dowodzą spełnionego warunku koniecznego w zdaniu B1?
Korzystają z prawa Tygryska!
B1: p~>q = B3: q=>p
Nasz przykład:
B1: TP~>SK = B3: SK=>TP
Zdanie B3 to twierdzenie odwrotne Pitagorasa które ludzkość udowodniła wieki temu.
Na mocy prawa Tygryska prawdziwość B3 wymusza prawdziwość B1 (i odwrotnie)
Gdzie:
## - różne na mocy definicji ##
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Doskonale widać, że zdania A1 i B1 brzmią identycznie z dokładnością do każdej literki i każdego przecinka, a mimo to są to zdania różne na mocy definicji ## - dokładnie o tym mówi prawo Kameleona wyżej.
Dowód mamy w zapisach formalnych:
A1: p=>q = ~p+q ## B1: p~>q = p+~q
Gdzie:
## - różne na mocy definicji
cnd
Uwaga:
Różność matematyczną zdań A1 i B1 rozpoznajemy wyłącznie po znaczkach warunku wystarczającego => i koniecznego ~> wbudowanych w treść zdań
##
2.
Implikacja prosta p|=>q:
Implikacja prosta p|=>q to spełniony wyłącznie warunek wystarczający => między tymi samymi punktami i w tym samym kierunku
A1: p=>q=1 - wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q=0 - wtedy i tylko wtedy gdy zajście p nie jest (=0) konieczne ~> dla zajścia q
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Właściwości warunku koniecznego ~> w implikacji prostej p|=>q:
Jeśli zdanie warunkowe "Jeśli p to q" spełnia definicję warunku koniecznego p~>q w implikacji prostej p|=>q to zajście p nie daje nam gwarancji matematycznej => zajścia q.
Innymi słowy:
Mamy tu klasyczne "rzucanie monetą" w sensie "na dwoje babka wróżyła":
Jeśli zajdzie p to może ~> zajść q lub może ~~> zajść ~q
##
3.
Implikacja odwrotna p|~>q:
Implikacja odwrotna p|~>q to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q=0 - wtedy i tylko wtedy gdy zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q=1 - wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla zajścia q
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)=~(0)*1=1*1=1
Właściwości warunku koniecznego ~> w implikacji odwrotnej p|~>q:
Jeśli zdanie warunkowe "Jeśli p to q" spełnia definicję warunku koniecznego p~>q w implikacji odwrotnej p|~>q to zajście p nie daje nam gwarancji matematycznej => zajścia q.
Innymi słowy:
Mamy tu klasyczne "rzucanie monetą" w sensie "na dwoje babka wróżyła":
Jeśli zajdzie p to może ~> zajść q lub może ~~> zajść ~q
Gdzie:
## - spójniki implikacyjne różne na mocy definicji ##
Różne na mocy definicji ## oznacza tu, że jeśli dowolne zdanie warunkowe "Jeśli p to q" wchodzi w skład spójnika implikacyjnego X to wykluczone jest aby to samo zdanie wchodziło w skład spójnika implikacyjnego różnego od X
Dowodem jest tu prawo Puchacza zapisane ciut wyżej.
Ostatnio zmieniony przez rafal3006 dnia Śro 11:35, 07 Cze 2023, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15449
Przeczytał: 26 tematów
|
| Wysłany: Śro 11:30, 07 Cze 2023 Temat postu: |
|
|
Pierwsze zdanie.
Nie rozumiem, po co piszesz o AK skoro tematem jest KRZ
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Śro 11:49, 07 Cze 2023 Temat postu: |
|
|
| Irbisol napisał: | Pierwsze zdanie.
Nie rozumiem, po co piszesz o AK skoro tematem jest KRZ |
Czemu okłamujesz 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: 35508
Przeczytał: 17 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 11:49, 07 Cze 2023 Temat postu: |
|
|
Czy Irbisol zaakceptuje najbardziej ogólną definicję KRZ?
.. oto jest pytanie.
| Irbisol napisał: | Pierwsze zdanie.
Nie rozumiem, po co piszesz o AK skoro tematem jest KRZ |
Piszę o KRZ!
ok
Ustalmy najpierw wspólną definicję KRZ
Definicja ogólna KRZ absolutnie wszystkich ziemskich matematyków jest taka (mam nadzieję, że nie chcesz być wyjątkiem):
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
|
Powyższa definicja KRZ to definicja nadrzędna w stosunku do jakichkolwiek innych, szczegółowych definicji KRZ.
Innymi słowy:
Powyższa, najbardziej ogólna definicja KRZ jest Bogiem dla wszelkich innych definicji szczegółowych KRZ.
Kluczowe pytanie do Irbisola:
Czy zgadzasz się na powyższą, najbardziej ogólną definicję Klasycznego Rachunku Zdań
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Śro 11:58, 07 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
