 |
Ś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: 16394
Przeczytał: 9 tematów
|
 Wysłany: Pią 17:09, 14 Mar 2025 Temat postu: |
|
|
Właśnie obalam. A ty próbujesz znowu uciekać.
Dostałeś odpowiedź, ale i tak pytasz w kółko o to samo.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37277
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 18:00, 14 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Właśnie obalam. A ty próbujesz znowu uciekać.
Dostałeś odpowiedź, ale i tak pytasz w kółko o to samo. |
Chcesz obalać?
Przecież ty nie masz co obalać bo nie czytasz co do ciebie piszę, zatem obalać to sobie możesz - wyłącznie twoje schizofreniczne rojenia.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11150.html#835673
| rafal3006 napisał: | | Irbisol napisał: | | Po co mam coś "słuchać", skoro w swojej schizofrenii widzisz jakieś p <=> ~q, co dodatkowo i tak nie ma znaczenia (w sensie to ~ przy q). |
Krótka piłka:
Czy przeczytasz moje wyjaśnienie w którym miejscu popełniasz błąd?
TAK/NIE
P.S.
Klasyczny objaw schizofrenii to paniczny strach przed wysłuchaniem co ma do powiedzenia druga strona w dowolnym temacie. |
Podpowiedź:
Przeczenie nie "~" jest tu kluczowe i najważniejsze, ale cóż, schizofrenik nie chce wiedzieć dlaczego!
.. bo jego schizofreniczny gówno-świat by mu się zawalił.
Ostatnio zmieniony przez rafal3006 dnia Pią 18:04, 14 Mar 2025, 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: 16394
Przeczytał: 9 tematów
|
| Wysłany: Pią 18:08, 14 Mar 2025 Temat postu: |
|
|
To, czy jest przeczenie, czy nie, jest kwestią czysto umowną, schizofreniku.
Wcześniej to uzasadniłem i nie miałeś uwag.
Zresztą - wskaż to ~q tak z ciekawości.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37277
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 18:51, 14 Mar 2025 Temat postu: |
|
|
... i co, zatkało kakao?
| Irbisol napisał: | To, czy jest przeczenie, czy nie, jest kwestią czysto umowną, schizofreniku.
Wcześniej to uzasadniłem i nie miałeś uwag.
Zresztą - wskaż to ~q tak z ciekawości. |
OT, TO!
Ciekawość = pierwszy krok do wyjście ze świata ciemności (KRZ) do świata jasności (algebra Kubusia)
Dowód iż przecznia "~" w tabeli prawdy operatorów logicznych (w tym operatora równoważności) są kluczowe i najważniejsze na przykłdzie operatora równoważności p|<=>q masz w zapisie ogólnym (formalnym) niżej.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680051
| Algebra Kubusia napisał: |
2.14 Równoważność p<=>q
Definicja równoważności p<=>q:
Równoważność p<=>q to zachodzenie zarówno warunku wystarczającego =>, jak i koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = 1*1=1
Lewą stronę czytamy:
Zajdzie p wtedy i tylko wtedy gdy zajdzie q
Prawą stronę czytamy:
Zajście p jest warunkiem koniecznym ~> (B1) i wystarczającym => (A1) dla zajścia q
Innymi słowy:
Do tego aby zaszło q potrzeba ~> (B1) i wystarcza => aby zaszło p
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie)
Dowód (pkt. 2.9)
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa oraz definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>
| Kod: |
TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w równoważności p<=>q
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd mamy definicję równoważności A1B1: p<=>q w równaniu logicznym:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q =1 = 2:~p~>~q =1 [=] 3: q~>p =1 = 4:~q=>~p =1
A': 1: p~~>~q=0 [=] 4:~q~~>p =0
## ## ## ##
B: 1: p~>q =1 = 2:~p=>~q =1 [=] 3: q=>p =1 = 4:~q~>~p =1
B': 2:~p~~>q =0 [=] 3: q~~>~p=0
-----------------------------------------------------------------------
Równoważność <=> definiuje: | Równoważność <=> definiuje:
AB: 1: p<=>q=1 = 2:~p<=>~q=1 [=] 3: q<=>p=1 = 4:~q<=>~p=1
tożsamość zdarzeń/zbiorów: | tożsamość zdarzeń/zbiorów:
AB: 1: p=q # 2:~p=~q | 3: q=p # 4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej
|
Prawa Sowy:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość pozostałych zdań
Prawdziwość dowolnego zdania serii Bx wymusza prawdziwość pozostałych zdań
2.14.1 Operator równoważności p|<=>q
Definicja operatora równoważności p|<=>q:
Operator równoważności p|<=>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2).
Kolumna A1B1:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p?
Matematycznie zachodzi tożsamość logiczna [=]:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) [=] A2B2: ~p<=>~q = (A2:~p~>~q)*(B2: ~p=>~q)
Dowód na mocy praw Sowy jest oczywisty
Dowód alternatywny:
Definicja równoważności p<=>q w spójnikach "i"(*) i "lub"(+):
A1B1: p<=>q = p*q+~p*~q (pkt. 2.10)
Mamy do udowodnienia tożsamość logiczną [=]:
A1B1: p<=>q [=] A2B2: ~p<=>~q
Rozwijamy prawą stronę definicją <=>:
A2B2: ~p<=>~q = (~p)*(~q) + ~(~p)*~(~q)= ~p*~q + p*q = p*q+~p*~q = A1B1: p<=>q
cnd
A1B1:
Co może się wydarzyć jeśli zajdzie p?
Odpowiedź na to pytanie mamy w kolumnie A1B1:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Czytamy:
Równoważność p<=>q w logice dodatniej (bo q) jest spełniona (=1) wtedy i tylko wtedy gdy
zajście p jest (=1) konieczne ~> (B1) i wystarczające => (A1) dla zajścia q
Odpowiedź w zdaniach warunkowych "Jeśli p to q" odczytujemy z kolumny A1B1:
A1.
Jeśli zajdzie p to na 100% => zajdzie q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q
Zajście p daje nam (=1) gwarancję matematyczną => zajścia q
Zachodzi tożsamość pojęć:
Warunek wystarczający => = gwarancja matematyczna => = na 100% => etc
Innymi słowy:
Zawsze gdy zajdzie p, zajdzie q
Prawdziwy warunek wystarczający A1: p=>q=1 wymusza fałszywy kontrprzykład A1' (i odwrotnie)
A1'.
Jeśli zajdzie p to może ~~> zajść ~q
p~~>~q=p*~q =0
Zdarzenia:
Niemożliwe jest (=0) jednoczesne zajście zdarzeń ~~>: p i ~q
Zbiory:
Nie istnieje (=0) wspólny element zbiorów ~~>: p i ~q
To jest dowód "nie wprost" fałszywości zdania A1' na mocy definicji kontrprzykładu.
… a jeśli zajdzie ~p?
Idziemy do kolumny A2B2.
A2B2:
Co może się wydarzyć jeśli zajdzie ~p?
Odpowiedź na to pytanie mamy w kolumnie A2B2:
A2: ~p~>~q =1 - zajście ~p jest konieczne ~> dla zajścia ~q
B2: ~p=>~q =1 - zajście ~p jest wystarczające => dla zajścia ~q
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2: ~p=>~q) =1*1=1
Czytamy:
Równoważność ~p<=>~q w logice ujemnej (bo ~q) jest spełniona (=1) wtedy i tylko wtedy gdy
zajście ~p jest (=1) konieczne ~> (A2) i wystarczające => (B2) dla zajścia ~q
Odpowiedź w zdaniach warunkowych "Jeśli p to q" odczytujemy z kolumny A2B2:
B2.
Jeśli zajdzie ~p to na 100% => zajdzie ~q
~p=>~q =1
Zajście ~p jest (=1) wystarczające => dla zajścia ~q
Prawdziwy warunek wystarczający B2: ~p=>~q=1 wymusza fałszywy kontrprzykład B2' (i odwrotnie)
B2'.
Jeśli zajdzie ~p to może ~~> zajść q
~p~~>q=~p*q =0
Zdarzenia:
Niemożliwe jest (=0) jednoczesne zajście zdarzeń ~~>: ~p i q
Zbiory:
Nie istnieje (=0) wspólny element zbiorów ~~>: ~p i q
To jest dowód "nie wprost" fałszywości zdania B2' na mocy definicji kontrprzykładu.
Podsumowanie:
Jak widzimy, istotą operatora równoważności p|<=>q jest gwarancja matematyczna => po stronie p (zdanie A1), jak również gwarancja matematyczna po stronie ~p (zdanie B2)
Zauważmy że:
a)
Układ równań logicznych jest przemienny, stąd mamy:
Operator równoważności ~p|<=>~q to układ równań logicznych:
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2: ~p=>~q) - co się stanie jak zajdzie ~p?
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) - co się stanie jak zajdzie p?
Doskonale widać, że analiza matematyczna operatora równoważności A2B2: ~p|<=>~q w logice ujemnej (bo ~q) będzie identyczna jak operatora równoważności A1B1: p|<=>q w logice dodatniej (bo q) z tym, że zaczynamy od kolumny A2B2 kończąc na kolumnie A1B1.
b)
Także kolejność wypowiadanych zdań jest dowolna, tak więc zdania z powyższej analizy A1, A1’, B2, B2’ możemy wypowiadać w sposób losowy - matematycznie to bez znaczenia.
Uwaga:
Przykład równoważności A<=>S i operatora równoważności A|<=>S znajdziemy w punkcie 6.6 i 6.6.1
|
... i co, zatkało kakao?
Ostatnio zmieniony przez rafal3006 dnia Pią 19:00, 14 Mar 2025, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16394
Przeczytał: 9 tematów
|
| Wysłany: Pią 19:07, 14 Mar 2025 Temat postu: |
|
|
| rafal3006 napisał: | ... i co, zatkało kakao?
| Irbisol napisał: | To, czy jest przeczenie, czy nie, jest kwestią czysto umowną, schizofreniku.
Wcześniej to uzasadniłem i nie miałeś uwag.
Zresztą - wskaż to ~q tak z ciekawości. |
OT, TO!
Ciekawość = pierwszy krok do wyjście ze świata ciemności (KRZ) do świata jasności (algebra Kubusia)
Dowód iż przecznia "~" w tabeli prawdy operatorów logicznych (w tym operatora równoważności) są kluczowe i najważniejsze na przykłdzie operatora równoważności p|<=>q masz w zapisie ogólnym (formalnym) niżej. |
Tylko wtedy, gdy zdanie występuje w dwóch postaciach: z zaprzeczeniem i bez zaprzeczenia. Jeżeli występuje w jednej postaci, to nie ma znaczenia czy jest z zaprzeczeniem czy bez, bo można je zastąpić zaprzeczeniem tego wystąpienia.
Ponieważ jesteś mało domyślny i zapominasz kontekst to sprecyzuję, jakie ~q miałeś pokazać.
Napisałeś:
Twój zapis ma zero wspólnego z definicją równoważności p<=>q, twój zapis to taka definicja p<=>~q
O to ~q 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: 37277
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 20:51, 14 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | ... i co, zatkało kakao?
| Irbisol napisał: | To, czy jest przeczenie, czy nie, jest kwestią czysto umowną, schizofreniku.
Wcześniej to uzasadniłem i nie miałeś uwag.
Zresztą - wskaż to ~q tak z ciekawości. |
OT, TO!
Ciekawość = pierwszy krok do wyjście ze świata ciemności (KRZ) do świata jasności (algebra Kubusia)
Dowód iż przeczenia "~" w tabeli prawdy operatorów logicznych (w tym operatora równoważności) są kluczowe i najważniejsze na przykładzie operatora równoważności p|<=>q masz w zapisie ogólnym (formalnym) niżej. |
Tylko wtedy, gdy zdanie występuje w dwóch postaciach: z zaprzeczeniem i bez zaprzeczenia. Jeżeli występuje w jednej postaci, to nie ma znaczenia czy jest z zaprzeczeniem czy bez, bo można je zastąpić zaprzeczeniem tego wystąpienia.
Ponieważ jesteś mało domyślny i zapominasz kontekst to sprecyzuję, jakie ~q miałeś pokazać.
Napisałeś:
Twój zapis ma zero wspólnego z definicją równoważności p<=>q, twój zapis to taka definicja p<=>~q
O to ~q pytam. |
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Definicja warunku koniecznego ~>:
p~>q = p+~q
Definicja równoważności na którą obaj się zgadzamy:
Równoważność to jednocześnie zachodzący warunek konieczny ~> (B1) i wystarczający => (A1) między tymi samymi punktami i w tym samym kierunku
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Lewą stronę czytamy:
Zajdzie p wtedy i tylko wtedy gdy zajdzie q
Prawą stronę czytamy:
Zajście p jest (=1) warunkiem koniecznym ~> (B1) i wystarczającym => (A1) do tego by zaszło q
Innymi słowy:
Do tego by zaszło q potrzeba ~> (B1) i wystarcza => (A1) by zaszło p
To jest definicja znana każdemu człowiekowi!
Korzystając z definicji warunku wystarczającego => i koniecznego ~> wyprowadzamy definicję równoważności p<=>q w spójnikach "i"(*) i "lub"(+)
Y = (A1:p=>q)*(B1: p~>q) = (~p+q)*(p+~q) = ~p*p + ~p*~q + q*p + q*~q = p*q + ~p*~q
Stąd mamy:
Y = p<=>q = p*q + ~p*~q
Ty Irbisolu twierdzisz że defincją równoważności jest rownież ta definicja:
Y = p<=>~q
Sprawdżmy rozwijając ostatni zapis definicją równowazności w spójnikach "i"(*) i "lub"(+)
Y = p<=>~q = p*(~q) + ~p*~(~q) = p*~q +~p*q
Sam widzisz, jaki potwornie śmiedzące gówna tworzysz bo ostatni zapis to definicja spójnika "albo"($) z języka mówionego:
Y = p$q = p<=>~q = p*~q + ~p*q
Dowód twojej niebotycznej głupoty pokażą ci panie z przedszkoli A1 i A2.
Pani w przedszkolu A1:
Drogie dzieci:
Jutro pójdziemy do kina wtedy i tylko wtedy gdy pójdziemy do teatru
Y = K<=>T = K*T + ~K*~T
Pani w przedszkolu A2:
Drogie dzieci:
Jutro pójdziemy do kina "albo"($) do teatru
Y = K$T = K<=>~T = K*~T + ~K*T
Podsumowując:
Wedle płaskoziemcy Irbisola zdania pań przedszkolanek z przedszkoli A1 i A2 są tożsame, bo równoważność <=> to równoważność <=>
Czy jesteś pewien płaskoziemco, że zachodzi tożsamość:
p<=>q = p<=>~q?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pią 21:06, 14 Mar 2025, 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: 16394
Przeczytał: 9 tematów
|
| Wysłany: Pią 21:05, 14 Mar 2025 Temat postu: |
|
|
Nie twierdzę, że jest to definicja. Twierdzę, że jest to równoważność.
Gdzie to ~q ?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37277
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 21:19, 14 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Nie twierdzę, że jest to definicja. Twierdzę, że jest to równoważność.
Gdzie to ~q ? |
Masz braki na poziomie elementarza logiki matematycznej!
Dowód znajdziesz w algebrze Kubusia w postaci prawa Puchacza.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680051
| Algebra Kubusia napisał: |
Spis treści
2.10 Podstawowe spójniki implikacyjne 1
2.10.1 Prawo Puchacza 3
2.10 Podstawowe spójniki implikacyjne
| 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
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
|
I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji
Definicja podstawowego spójnika implikacyjnego:
Podstawowy spójnik implikacyjny to spójnik definiowany kolumną A1B1 w matematycznych związkach warunku wystarczającego => i koniecznego ~> dający odpowiedź na pytanie o p:
Co się stanie jeśli zajdzie p?
A1: p=>q =? - czy zajście p jest wystarczające => dla zajścia q? TAK=1/NIE=0
B1: p~>q =? - czy zajście p jest konieczne ~> dla zajścia q? TAK=1/NIE=0
A1B1: p?q = (~)(A1: p=>q)*(~)(B1: p~>q)
Gdzie:
? - symbol spójnika implikacyjnego
(~) - symbol negacji który może wystąpić, ale nie musi, w zależności od wartości logicznej A1 i B1
Z definicji spójnika implikacyjnego wynika, że możliwe są cztery podstawowe spójniki implikacyjne:
1.
Implikacja prosta p|=>q:
Implikacja prosta p|=>q to zachodzenie wyłącznie warunku wystarczającego => między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
;
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Definicja warunku koniecznego ~>:
p~>q = p+~q
Definicja implikacji prostej p|=>q:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)
Korzystając z definicji znaczków => i ~> mamy:
Y = (p|=>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) =~p*~p*q+q*~p*q = ~p*q+~p*q=~p*q
Kolejność wykonywania działań w algebrze Kubusia:
Negacja (~), nawiasy, "i"(*), "lub"(+)
Do zapamiętania:
Definicja implikacji prostej p|=>q w spójnikach "i"(*) i "lub"(+):
Y = (p|=>q) = ~p*q
##
2.
Implikacja odwrotna p|~>q:
Implikacja odwrotna p|~>q to zachodzenie wyłącznie warunku koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
p|~>q = ~(A1: p=>q)*(B1: p~>q)=1*1=1
;
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Definicja warunku koniecznego ~>:
p~>q = p+~q
Definicja implikacji odwrotnej p|~>q:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)
Korzystając z definicji znaczków => i ~> mamy:
Y = (p|~>q) = ~(~p+q)*(p+~q) = (p*~q)*(p+~q) =(p*~q)*p + (p*~q)*~q = p*~q+p*~q = p*~q
Do zapamiętania:
Definicja implikacji odwrotnej p|~>q w spójnikach "i"(*) i "lub"(+):
Y = (p|~>q) = p*~q
##
3.
Równoważność p<=>q:
Równoważność p<=>q to zachodzenie zarówno warunku wystarczającego => jak i koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1
;
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Definicja warunku koniecznego ~>:
p~>q = p+~q
Stąd mamy:
Y = p<=>q = (A1: p=>q)*(B1: p~>q) = (~p+q)*(p+~q) = ~p*p + ~p~q + q*p + q*~q = p*q+~p*~q
Do zapamiętania:
Definicja równoważności p<=>q w spójnikach "i"(*) i "lub"(+):
Y = p<=>q = p*q + ~p*~q
##
4.
Chaos p|~~>q:
Chaos p|~~>q to nie zachodzenie ani warunku wystarczającego =>, ani też koniecznego ~> między tymi samymi punktami i w tym samym kierunku
A1: p=>q =0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
p|~~>q = ~(A1: p=>q)*~(B1: p~>q)=~(0)*~(0)=1*1=1
;
Definicja chaosu w spójnikach "lub"(+) i "i"(*):
Chaos p|~~>q to zdanie zawsze prawdziwe przez wszystkie możliwe przeczenia p i q
Y = p*q+~p*q + p*~q + ~p*~q = q*(p+~p)+~q*(p+~p) = q+~q =1
Do zapamiętania:
Definicja chaosu p|~~>q w spójnikach "lub"(+) i "i"(*):
Y = p*q+~p*q + p*~q + ~p*~q =1
Gdzie:
## - różne na mocy definicji
2.10.1 Prawo Puchacza
Prawo Puchacza:
Dowolne zdanie warunkowe „Jeśli p to q” może wchodzić w skład jednego i tylko jednego spójnika implikacyjnego.
Dowód prawa Puchacza będzie polegał na założeniu, iż zdanie warunkowe „Jeśli p to q” jest częścią spójnika implikacyjnego x i pokazaniu iż pozostałe spójniki będą dla tego przypadku fałszem.
Dowód prawa Puchacza:
I.
Założenie p|=>q
Załóżmy, że zdanie warunkowe „Jeśli p to q” jest częścią implikacji prostej p|=>q
Wtedy mamy:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
Stąd:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(0)=1*1=1
Badamy prawdziwość/fałszywość pozostałych, podstawowych spójników implikacyjnych:
2.
Implikacja odwrotna p|~>q:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)=~(1)*0=0*0=0
3.
Równoważność p<=>q:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = 1*0=0
4.
Chaos p|~~>q:
A1B1: p|~~>q = ~(A1: p=>q)*~(B1: p~>q) = ~(1)*~(0)=0*1=0
c.n.d.
II.
Założenie p|~>q
Załóżmy, że zdanie warunkowe „Jeśli p to q” jest częścią implikacji odwrotnej p|~>q
Wtedy mamy:
A1: p=>q =0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)=~(0)*1=1*1=1
Badamy prawdziwość/fałszywość pozostałych, podstawowych spójników implikacyjnych:
1.
Implikacja prosta p|=>q:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)=0*~(1)=0*0=0
3.
Równoważność p<=>q:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = 0*1=0
4.
Chaos p|~~>q:
A1B1: p|~~>q = ~(A1: p=>q)*~(B1: p~>q) = ~(0)*~(1)=1*0=0
c.n.d.
III.
Założenie p<=>q
Załóżmy, że zdanie warunkowe „Jeśli p to q” jest częścią równoważności p<=>q
Wtedy mamy:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B1: p~>q =1 - zajście p jest (=1) konieczne ~> dla zajścia q
Stąd:
A1B1: p|~>q = (A1: p=>q)*(B1: p~>q)=1*1=1
Badamy prawdziwość/fałszywość pozostałych, podstawowych spójników implikacyjnych:
1.
Implikacja prosta p|=>q:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)=1*~(1)=1*0=0
2.
Implikacja odwrotna p|~>q:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)=~(1)*1=0*1=0
4.
Chaos p|~~>q:
A1B1: p|~~>q = ~(A1: p=>q)*~(B1: p~>q) = ~(1)*~(1)=0*0=0
c.n.d.
IV
Założenie p|~~>q
Załóżmy że zdanie warunkowe „Jeśli p to q” jest częścią chaosu p|~~>q
Wtedy mamy:
A1: p=>q =0 - zajście p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) konieczne ~> dla zajścia q
Stąd:
A1B1: p|~~>q = ~(A1: p=>q)*~(B1: p~>q)=~(0)*~(0)=1*1=1
Badamy prawdziwość/fałszywość pozostałych, podstawowych spójników implikacyjnych:
1.
Implikacja prosta p|=>q:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q)=0*~(0)=0*1=0
2.
Implikacja odwrotna p|~>q:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q)=~(0)*0=1*0=0
3.
Równoważność p<=>q:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = 0*0=0
ok
c.n.d.
Rozpatrzyliśmy wszystkie możliwe przypadki I, II, III i IV pozytywnie, co kończy dowód prawa Puchacza.
|
|
|
| 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
