|
Ś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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 20:16, 01 Mar 2009 Temat postu: |
|
|
Irbisol napisał: |
rafal3006 napisał: | Operatory implikacji mają tę irytującą cechę że w implikacji prostej => istotny jest warunek wystarczający zachodzący między podstawą a strzałką wektora =>, zaś w implikacji odwrotnej istotny jest warunek konieczny między podstawą a strzałką wektora ~>. Twoje literki p i q możesz sobie do kosza wyrzucić. |
No i co z tego? Co to ma wspólnego z tym co napisałem?
Jeżeli używasz zmiennych w równaniu, to zmienna oznacza wartość jednego konkretnego zdania, a nie kilka wartości na raz.
|
No i wypowiadam zdanie:
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
p=4L
q=P
Implikacja odwrotna prawdziwa bo 4L są konieczne dla psa
Czy to jest OK. ?
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
Wysłany: Pon 21:50, 02 Mar 2009 Temat postu: |
|
|
Jest ok.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 22:59, 02 Mar 2009 Temat postu: |
|
|
Irbisol napisał: | Jest ok. |
Brawo.
Teraz wypowiadam takie zdanie:
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
p=P
q=4L
Implikacja prosta prawdziwa bo bycie psem jest warunkiem wystarczającym dla czterech łap
Czy to też jest OK ?
Ostatnio zmieniony przez rafal3006 dnia Pon 23:02, 02 Mar 2009, 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: 15381
Przeczytał: 29 tematów
|
Wysłany: Czw 22:11, 05 Mar 2009 Temat postu: |
|
|
też ok
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pią 0:28, 06 Mar 2009 Temat postu: |
|
|
Brawo, mamy zatem:
Jesli zwierzę ma cztery łapy to może być psem
4L~>P
p=4L
q=P
czyli:
p~>q
oraz
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
p=P
q=4L
czyli:
p=>q
Z powyzszego mamy:
p~>q # p=>q
Czy to jest ok ?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
Wysłany: Nie 21:01, 08 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: |
Brawo, mamy zatem:
Jesli zwierzę ma cztery łapy to może być psem
4L~>P
p=4L
q=P
czyli:
p~>q
oraz
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
p=P
q=4L
czyli:
p=>q
Z powyzszego mamy:
p~>q # p=>q
Czy to jest ok ? |
Sprecyzuj jeszcze czemu w powyższej nierówności równa się p a czemu 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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 23:04, 08 Mar 2009 Temat postu: |
|
|
Powiedziałeś dwa razy ok, to ja się ciebie pytam dlaczego powiedziałeś dwa razy ok. Możesz zmienić zdanie i się wycofać. Pokaż jak to według ciebie powinno poprawnie wyglądać.
Życzę powodzenia
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
Wysłany: Pon 21:28, 09 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: | Powiedziałeś dwa razy ok, to ja się ciebie pytam dlaczego powiedziałeś dwa razy ok. Możesz zmienić zdanie i się wycofać. Pokaż jak to według ciebie powinno poprawnie wyglądać.
Życzę powodzenia |
Odpowiedz na pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 22:04, 09 Mar 2009 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: |
Brawo, mamy zatem:
Jesli zwierzę ma cztery łapy to może być psem
4L~>P
p=4L
q=P
czyli:
p~>q
oraz
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
p=P
q=4L
czyli:
p=>q
Z powyzszego mamy:
p~>q # p=>q
Czy to jest ok ? |
Sprecyzuj jeszcze czemu w powyższej nierówności równa się p a czemu q. |
Irbisol napisał: | rafal3006 napisał: | Rozumiem, że według Ciebie zachodzą takie równania:
p=>q= q~>p
i
p=>q # p~>q
Zgadza się ? |
Tak |
Właśnie chcę ci pokazać, że dzisiejsza logika jest wewnętrznie sprzeczna.
Skorzystałem z twojego równania, prawdziwego i sensownego zresztą:
p=>q # p~>q
Sam potwierdziłeś poprawność kodowania zarówno p=>q jak i p~>q. To ty masz kwadraturę koła. Poproszę cie o wyjaśnienie dlaczego potwierdziłeś poprawność obu kodowań, jeśli popełniłeś błąd to nie wstyd się wycofać - każdemu może się zdarzyć.
Jeśli kodowanie cytowanych zdań jest według ciebie błędne to napisz to i podaj poprawne.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
Wysłany: Wto 21:49, 10 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: | Sam potwierdziłeś poprawność kodowania zarówno p=>q jak i p~>q. |
Te kodowania były niezależne. W każdym niezależnym równaniu możesz sobie podstawiać pod p i q co chcesz.
Ale w jednym równaniu muszą one oznaczać to samo, czyli tak łopatologicznie:
p = p
q = q
Stąd moje pytanie czemu równa się p i q w
p~>q # p=>q
na które nie udzieliłeś odpowiedzi.
Dla przedszkolaków:
Zadanie 1.
Ola ma 2 jabłka a Jasio 3. Ile razem mają jabłek?
a=2
b=3
a+b=5
czy to jest ok?
tak
Zadanie 2.
Zosia ma 3 gruszki a Józio 4 gruszki. Ile razem mają gruszek?
a=3
b=4
a+b=7
czy to jest ok?
tak
Teraz zamieniam się w ciebie:
a+b = a+b
czyli
5=7
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 9:19, 11 Mar 2009 Temat postu: |
|
|
Irbisorze, moja odpowiedź w pkt. 1.2 i 1.3 w podpisie - to już drugi kluczowy post powstały z twojej inspiracji, dzięki.
Irbisorze analogie z algebry dziesiętnej maja sie tak do algebry Boole'a jak pies do jeża lub zdecydowanie gorzej.
To wygląda mniej więcej tak:
Ja ci mówię że w algebrze Boole'a 1+1=1 a ty mi podajesz przykład przedszkolaka i udowadniasz że 1+1=2
P.S.
Od strony praktycznej Kubuś zna algebrę Boole'a 100 razy lepiej niż algebrę dziesiętną - daję słowo. Tak wiec twoje przykłady z algebry dziesiętnej tylko go śmieszą ... bo Kubuś kompletnie zapomniał już co to jest algebra dziesiętna
Cytat z podpisu …
1.4 Algebra Kubusia - definicja
W obszarze operatorów AND(*) i OR(+) algebra Kubusia jest w 100% zgodna z algebrą Boole’a. Fundamentalne różnice dotyczą wyłącznie implikacji.
W algebrze Kubusia punktem odniesienia jest zawsze wypowiedziane zdanie czyli po „Jeśli…” zawsze jest poprzednik implikacji p zaś po „to…” zawsze mamy następnik q. O fakcie czy wypowiedziane zdanie jest implikacją prostą => czy też odwrotną ~> decyduje treść zdania. Algorytmy rozpoznawania za chwilę.
Definicja implikacji prostej:
p=>q = ~p+q
p musi być wystarczające dla q
Definicja implikacji odwrotnej:
p~>q = p+~q
p musi być konieczne dla q
Oczywiście:
p=>q # p~>q
UWAGA:
Symbole p i q w algebrze Kubusia to parametry formalne pod które podstawiamy parametry aktualne z wypowiedzianego zdania (j. asemblera). Nie mylić ze zmiennymi algebry dziesiętnej !
Jeśli parametry aktualne spełniają warunek wystarczający to zdanie jest implikacją prostą =>, zaś jeśli spełniają warunek konieczny to zdanie jest implikacją odwrotną ~>.
Oczywiście identycznie jak w algebrze Boole’a możemy mówić, że implikacją odwrotną do p=>q jest q~>p, oraz że implikacją odwrotną do p~>q jest q=>p bo to jest oczywista prawda.
Jeśli jednak wypowiadamy implikację odwrotną to kodujemy ją zawsze jako p~>q np.
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
Implikacja odwrotna prawdziwa bo cztery łapy są konieczne dla psa
p=4L
q=P
p~>q = p+~q
natomiast jeśli wypowiadamy implikację prostą to kodujemy ją zawsze jako p=>q np.
Jeśli zwierzę jest psem to na pewno ma cztery łapy
P=>4L
Implikacja prosta prawdziwa bo bycie psem jest wystarczające dla czterech łap
p=P
q=4L
p=>q = ~p+q
Oczywiście na podstawie definicji implikacji prostej i odwrotnej mamy:
p~>q # p=>q
czyli:
4L~>P # P=>4L
W algebrze Kubusia punkt odniesienia ustawiony jest zawsze na wypowiedzianym zdaniu „Jeśli p to q”, nie zaś na implikacji prostej => (dzisiejsza logika), czy też implikacji odwrotnej ~> (trzeci możliwy punkt odniesienia).
Małe, a robi wielką różnicę … algebra Boole’a w obsłudze języka mówionego jest w 100% jednoznaczna !
Ostatnio zmieniony przez rafal3006 dnia Śro 19:17, 11 Mar 2009, 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: 15381
Przeczytał: 29 tematów
|
Wysłany: Śro 22:07, 11 Mar 2009 Temat postu: |
|
|
Odpowiedziałem ci dlaczego p musi być równe p, a q musi być równe q w jednym równaniu.
Jeżeli nie masz do tego zastrzeżeń, odpowiedz czemu się równa p a czemu q w
p=>q # p~>q
Twoje powtarzane w nieskończoność dyrdymały nie na temat mnie nie interesują.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 7:22, 12 Mar 2009 Temat postu: |
|
|
Irbisol napisał: | Odpowiedziałem ci dlaczego p musi być równe p, a q musi być równe q w jednym równaniu.
Jeżeli nie masz do tego zastrzeżeń, odpowiedz czemu się równa p a czemu q w
p=>q # p~>q
Twoje powtarzane w nieskończoność dyrdymały nie na temat mnie nie interesują. |
W zapisie formalnym jak wyżej:
p=>q = implikacja prosta
p~>q = implikacja odwrotna
decyduje o tym symbol => i ~>
p=poprzednik
q=następnik
to są parametry formalne przyjmujące konkretną wartość jeśli zabierzesz się do konkretnej implikacji. O fakcie czy mamy do czynienia z implikacja prosta czy odwrotną decyduje treść zdania i warunki wystarczający/ konieczny. Prosty algorytm rozpoznawania masz w podpisie.
Przykład:
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
Stwierdzasz warunek wystarczający i tu parametry formalne przyjmują wartości:
p=P
q=4L
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
Stwierdzasz warunek konieczny i tu parametry FORMALNE przyjmują wartości:
p=4L
q=P
Nie myl parametrów formalnych z wartościami zmiennych w algebrze dziesiętnej. To jest operacja podstawiania znana we wszystkich językach programowania. Programujesz w jakimś ?
Ostatnio zmieniony przez rafal3006 dnia Sob 7:06, 14 Mar 2009, 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: 15381
Przeczytał: 29 tematów
|
Wysłany: Sob 21:59, 14 Mar 2009 Temat postu: |
|
|
Odpowiedz czemu się równa p a czemu q w
p=>q # p~>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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 8:10, 15 Mar 2009 Temat postu: |
|
|
2.0 Parametry formalne i aktualne w implikacji
Definicja implikacji prostej:
p=>q = ~p+q
Jeśli zajdzie p to na pewno zajdzie q
p musi być wystarczające dla q
Definicja implikacji odwrotnej:
p~>q = p+~q
Jeśli zajdzie p to może zajść q
p musi być konieczne dla q
Parametry p i q to parametry formalne przyjmujące wartości z wypowiedzianego zdania.
Zarówno parametry formalne jak i aktualne są zmiennymi
p~>q - tu może zajść p lub ~p oraz q lub ~q
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P - tu wylosowane zwierzę może mieć cztery łapy lub nie mieć (4L lub ~4L) oraz może być psem lub nie (P lub ~P).
czyli:
Zmienną formalną o nazwie p zastępujemy zmienną rzeczywistą o nazwie 4L
Zmienną formalną o nazwie q zastępujemy zmienną rzeczywistą o nazwie P
Parametry formalne p i q spełniają warunek wystarczający w implikacji prostej p=>q oraz warunek konieczny w implikacji odwrotnej p~>q, decyduje o tym użyty operator => lub ~>. Wtedy i tylko wtedy zdanie jest implikacją prawdziwą. W parametrach formalnych zakładamy że zdanie p=>q spełnia warunek wystarczający, zaś zdanie p~>q spełnia warunek konieczny.
Parametry aktualne P i 4L spełniają warunek wystarczający w implikacji prostej P=>4L oraz warunek konieczny w implikacji odwrotnej 4L~>P, decyduje o tym użyty operator => lub ~>. Wtedy i tylko wtedy zdanie jest implikacją prawdziwą. W parametrach aktualnych o tym czy należy użyć operatora => czy też ~> decyduje treść zdania.
Różnica między parametrami formalnymi i aktualnymi jest więc istotna.
Założenie spełnienia warunku wystarczającego i koniecznego w parametrach formalnych wynika bezpośrednio z definicji zero-jedynkowych operatorów:
Definicja implikacji prostej:
p q p=>q
1 1 =1
1 0 =0
0 0 =1
0 1 =1
czyli:
1 1 =1
p=>q =1
Jeśli zajdzie p to musi zajść q
p musi być wystarczające dla q
…inaczej kolejna linia nie będzie twardym fałszem, definicja leży w gruzach.
Przykład:
Jeśli zwierzę jest psem to na pewno => ma cztery łapy
P=>4L=1
1 1 =1
Jeśli zwierzę jest psem to na pewno => nie ma czterech łap
P=>~4L=0
1 0 =0
Definicja implikacji odwrotnej:
p q p~>q
1 1 =1
1 0 =1
0 0 =1
0 1 =0
1 1 =1
p~>q=1
P musi być konieczne dla q inaczej pierwsza linia jest twardym fałszem, definicja leży w gruzach.
Przykład:
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P=1 bo pies
1 1 =1
Implikacja odwrotna prawdziwa bo cztery łapy są konieczne dla psa
Jeśli zwierzę ma skrzydła to może być psem
S~>P=0 - twardy fałsz, definicja leży w gruzach
1 1 =0
Zauważmy, że jeśli p jest konieczne dla q to zajście ~p wymusza zajście ~q, stąd w sposób naturalny odkryliśmy prawo Kubusia
p~>q = ~p=>~q
1 1 =1 / p~>q
1 0 =1
0 0 =1 / ~p=>~q =1
0 1 =0 / ~p=> q =0
Oczywiście powyższa implikacja prosta wymusza twardy fałsz w ostatniej linii.
Zdanie 4L~>P analizujemy przez definicję zero-jedynkową implikacji odwrotnej p~>q, zaś zdanie P=>4L analizujemy przez definicję zero-jedynkową implikacji prostej p=>q.
Dopiero analiza zdania poprzez zero-jedynkową definicję implikacji prostej => lub odwrotnej ~> jest operacją na stałych, czyli rozpatrujemy wszystkie możliwe przypadki jakie w przyszłości mogą zaistnieć. Implikacją jest tylko i wyłącznie zdanie które spełnia odpowiednią definicję zero-jedynkową.
Przykład 1:
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
Implikacja prosta prawdziwa bo bycie psem jest wystarczające aby mieć cztery łapy
Analiza zero-jedynkowa poprzez definicję implikacji prostej p=>q:
Definicja:
1 1 =1
1 0 =0
0 0 =1
0 1 =1
A.
Jeśli zwierzę jest psem to na pewno ma cztery łapy
1 1 =1 bo pies
P*4L=1
P=>4L=1
B.
Jeśli zwierzę jest psem to na pewno nie ma czterech łap
1 0 =0 - oczywisty twardy fałsz
P*~4L=0
P=>~4L=0
C:
Jeśli zwierzę nie jest psem to może nie mieć czterech łap
0 0 =1 bo kura
~P*~4L=1
~P~>~4L=1
D.
Jeśli zwierzę nie jest psem to może mieć cztery łapy
0 1 =1 bo koń
~P*4L=1
~P~~>4L=1
Na podstawie definicji spójnika MOŻE ~~> (wystarczy jedna prawda)
Zdania A,B,C i D są zdaniami na stałych, to wszystkie możliwe przypadki jakie w przyszłości mogą zaistnieć, jednak każde z tych zdań człowiek może wypowiedzieć jako niezależne zdanie np.
D.
Jeśli zwierzę nie jest psem to może mieć cztery łapy
~P~~>4L=1 bo koń
Zdanie prawdziwe na mocy definicji spójnika MOŻE ~~> (wystarczy jedna prawda).
Zdanie to nie jest implikacja odwrotną co najłatwiej stwierdzić korzystając z prawa Kubusia:
~P~>4L=P=>~4L=0
Zdanie P=>~4L to oczywisty fałsz, zatem w zdaniu ~P~>4L nie zachodzi warunek konieczny czyli zdanie ~P~>4L jest implikacją odwrotną fałszywą.
Definicje zero jedynkowe implikacji pozwalają na eliminację wszelkich fałszów. Zdania które nie spełniają odpowiedniej definicji nie są implikacjami !
Jeśli zwierzę jest psem to ma skrzydła
S=>P=0 - oczywisty fałsz
Bycie psem nie jest warunkiem wystarczającym aby mieć skrzydła
Przykład 2:
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
Implikacja odwrotna prawdziwa bo cztery łapy są konieczne dla psa
Analiza zero-jedynkowa poprzez definicję implikacji odwrotnej p~>q:
Definicja:
1 1 =1
1 0 =1
0 0 =1
0 1 =0
E.
Jeśli zwierzę ma cztery łapy to może być psem
1 1 =1 bo pies
4L*P =1
4L~>P=1
F.
Jeśli zwierzę ma cztery łapy to może nie być psem
1 0 =1 bo koń
4L*~P=1
4L~~>~P=1
Na podstawie definicji spójnika MOŻE ~~> (wystarczy jedna prawda).
G.
Jeśli zwierzę nie ma czterech łap to na pewno nie jest psem
0 0 =1 - oczywista twarda prawda np. kura
~4L*~P=1
~4L=>~P=1
H.
Jeśli zwierzę nie ma czterech łap to na pewno jest psem
0 1 =0
~4L*P=0
~4L=>P=0 - oczywisty fałsz
Zdania E,F,G i H są zdaniami na stałych, to wszystkie możliwe przypadki jakie mogą w przyszłości zaistnieć. Każde z tych zdań człowiek może wypowiedzieć jako zdanie niezależne np.
F.
Jeśli zwierzę ma cztery łapy to może nie być psem
4L~~>~P =1 bo koń
Na podstawie definicji spójnika MOŻE ~~> (wystarczy jedna prawda).
Zdanie 4L~>P nie jest implikacją bo nie jest tu spełniony warunek konieczny co doskonale widać po zastosowaniu prawa Kubusia:
4L~>P = ~4L=>P = 0 - zdanie fałszywe zatem nie zachodzą tu warunki konieczny/wystarczający
Oba powyższe zdania są implikacjami fałszywymi.
Definicje zero jedynkowe implikacji pozwalają na eliminację wszelkich fałszów. Zdania które nie spełniają odpowiedniej definicji nie są implikacjami !
Jeśli zwierzę ma skrzydła to może być psem
S~>P=0 - nie jest to implikacja odwrotna bo skrzydła nie są konieczne dla psa
S~~>P=0 - nie istnieje choćby jeden przypadek dla którego zdanie to jest prawdziwe
Wnioski końcowe:
1.
Zdanie P=>4L spełnia definicję zero-jedynkową implikacji prostej p=>q
2.
Zdanie 4L~>P spełnia definicję zero-jedynkową implikacji odwrotnej p~>q
Zatem:
P=>4L # 4L~>P
bo zdanie P=>4L spełnia definicje zero-jedynkową implikacji prostej p=>q, zaś zdanie 4L~>P spełnia definicję zero-jedynkową implikacji odwrotnej p~>q.
Oczywiście:
p=>q # p~>q
Jedyny zdrowy fundament implikacji jest zatem taki:
p=>q # p~>q czyli: P=>4L # 4L~>P
CND
Powyższe jest dowodem fałszywości fundamentu dzisiejszej implikacji gdzie zachodzi:
p=>q # p~>q AND p=>q = q~>p
czyli dla powyższego przykładu:
p=>q # p~>q AND P=>4L = 4L~>P
Dowód:
W dzisiejszej logice punkt odniesienia ustalony jest sztywno na implikacji prostej czyli mamy:
Jeśli zwierzę jest psem to na pewno ma cztery łapy
P=>4L
p=P
q=4L
stądi:
p=>q = P=>4L
q~>p = 4L~>P
Fundament dzisiejszej logiki:
p=>q # p~>q AND P=>4L = 4L~>P
jest zatem twardym fałszem
CND
Ostatnio zmieniony przez rafal3006 dnia Nie 9:47, 15 Mar 2009, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Wto 0:03, 17 Mar 2009 Temat postu: |
|
|
hahahahahahahahahahahahahaha!!!!!!!!!!!!!!!!!!!!
wspaniałe...!
to jest do skopiowania gdzieś i pokazywania ludziom co algebra może zrobić z człowiekiem.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 8:41, 17 Mar 2009 Temat postu: |
|
|
hahahahaha...
Na mocy definicji zero-jedynkowych masz:
p=>q
Implikacja prosta => to spójnik „musi” ze spełnionym warunkiem wystarczającym
p~>q
Implikacja odwrotna ~> to spójnik „może” ze spełnionym warunkiem koniecznym
Masz tak sprany mózg, że nie potrafisz przeanalizować przez implikację odwrotną zdania:
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P
Implikacja odwrotna prawdziwa bo cztery łapy są konieczne dla psa
Przez jaka definicję przeanalizujesz powyższe zdanie ?
p=>q czy p~>q
Jeśli zwierzę jest psem to ma cztery łapy
P=>4L
Bycie psem jest wystarczające dla czterech łap, implikacja prosta prawdziwa
Przez jaką definicję przeanalizujesz powyższe zdanie ?
p=>q czy p~>q
Umiejętność posługiwania się definicjami zero-jedynkowymi implikacji zabiła w tobie idiotyczna definicja implikacji materialnej … niestety.
Jeśli zdanie jest implikacją to musi spełniać pełną definicję zero-jedynkową odpowiedniej implikacji.
P.S.
Miałeś obalić prawa Kubusia:
p=>q = ~p~>~q
p~>q = ~p=>~q
Zapomniałeś ?
Boisz się ?
... przecież to matematyka więc w czym masz problem matematyku od siedmiu boleści ?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
macjan
Dołączył: 27 Maj 2008
Posty: 345
Przeczytał: 0 tematów
Skąd: Wrocław Płeć: Mężczyzna
|
Wysłany: Wto 11:33, 17 Mar 2009 Temat postu: |
|
|
dr entropia napisał: | to jest do skopiowania gdzieś i pokazywania ludziom co algebra może zrobić z człowiekiem |
Widzisz tu jakąś algebrę...?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Wto 14:04, 17 Mar 2009 Temat postu: |
|
|
fakt.
algebry tu nie ma jako takiej (co wykazałem autorowi jakoś w pierwszym tygodniu jego spamowania), ale słowo "algebra" się pojawia wielokroć i o to mi chodzi.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 17:43, 17 Mar 2009 Temat postu: |
|
|
macjan napisał: | dr entropia napisał: | to jest do skopiowania gdzieś i pokazywania ludziom co algebra może zrobić z człowiekiem |
Widzisz tu jakąś algebrę...? |
macjan napisał: | rafal3006 napisał: | Oczywiście literki mogą byc dowolne. Jeśli p to q jest standardem we wszystkich prawach matematycznych. O standard tu chodzi i wzajemne zrozumienie, nic więcej. |
Zatem nie pisz, że w implikacji prostej przed => musi być p, a po musi być q. Implikację prostą poznaje się tylko po spójniku, może on łączyć dowolne zdania.
|
Zgoda, że decyduje spójnik, ale o tym czy użyć => czy ~> decyduje treść zdania, algorytmy rozpoznawania masz w podpisie.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2 - to jest implikacja prosta p=>q, tu obowiązuje matryca implikacji prostej między podstawą a strzałką, bez znaczenia jest jak ją nazwiemy.
Implikacja prosta prawdziwa bo P8 jest wystarczające dla P2.
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8 - to jest implikacja odwrotna p~>q, tu obowiązuje matryca implikacji odwrotnej, bez znaczenia jest czy nazwiemy ją p~>q, q~>p, Macjan~>Kubuś
Implikacja odwrotna prawdziwa bo P2 jest konieczne dla P8
Powszechny standard jest taki:
p=poprzednik
q=następnik
Oczywiście:
p=>q # p~>q
czyli:
P8=>P2 # P2~>P8 - bo matryce => i ~> są różne na mocy definicji !
CND
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 20:31, 17 Mar 2009 Temat postu: |
|
|
Która algebra w zakresie implikacji jest prawdziwa ?
Autor: Kubuś, wirtualny Internetowy Miś
macjan napisał: | dr entropia napisał: | to jest do skopiowania gdzieś i pokazywania ludziom co algebra może zrobić z człowiekiem |
Widzisz tu jakąś algebrę...? |
dr entropia napisał: | fakt.
algebry tu nie ma jako takiej (co wykazałem autorowi jakoś w pierwszym tygodniu jego spamowania), ale słowo "algebra" się pojawia wielokroć i o to mi chodzi.
|
Macjanie i dr entropia !
Logika człowieka = algebra Kubusia
Czym różni się algebra Boole’a od algebry Kubusia ?
W algebrze Kubusia punkt odniesienia ustawiony jest na wypowiedzianym zdaniu, zaś o tym czy zdanie jest implikacją prostą czy odwrotną decyduje treść zdania. Szczegóły w podpisie.
Małe, a robi wielką różnicę … algebra Kubusia jest w 100% jednoznaczna i w 100% zgodna z naturalną logiką człowieka.
Zobaczmy gdzie jest algebra a gdzie jej nie ma
Irbisol napisał: | rafal3006 napisał: | Rozumiem, że według Ciebie zachodzą takie równania:
p=>q= q~>p
i
p=>q # p~>q
Zgadza się ? |
Tak |
To co wyżej potwierdził Volrath ...
volrath napisał: | Ja nie twierdzę, że implikacja odwrotna to samo co prosta.
Twierdzę, że p=>q <=> ~q=>~p <=> q~>p <=> ~p~>~q <=> p NAND (p NAND q)
|
Irbisol napisał: |
W każdym niezależnym równaniu możesz sobie podstawiać pod p i q co chcesz.
Ale w jednym równaniu muszą one oznaczać to samo, czyli tak łopatologicznie:
p = p
q = q
|
Chory fundament implikacji = algebra Boole’a
Fundament dzisiejszej chorej logiki w zakresie implikacji jest na podstawie powyższego taki:
p=>q # p~>q
i
A.
p=>q=q~>p
B.
p~>q=q=>p
Sprawdźmy czy to jest zdrowe czy chore algorytmem Irbisola.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
P8 jest wystarczające dla P2, zatem implikacja odwrotna prawdziwa
Implikacja odwrotna do powyższej to:
Jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8
P2~>P8
P2 jest konieczne dla P8, zatem jest to implikacja odwrotna prawdziwa.
Zróbmy to co proponuje w ostatnim cytacie Irbisol, niech to będzie chwila prawdy dla dzisiejszej logiki.
Mamy kluczowe równania chorej logiki:
A.
p=>q=q~>p
B.
p~>q=q=>p
Dla powyższych zdań możemy przyjąć:
I.
p=P8
q=P2
albo:
II.
p=P2
q=P8
Nie ma innych możliwości matematycznych
Dla równania A mamy:
A.
P8=>P2 = P2~>P8 czyli: 1=1 dla I.
P2=>P8 = P8~>P2 czyli: 0=0 dla II.
To samo dla równania B:
B.
P8~>P2 = P2=>P8 czyli: 0=0 dla I.
P2~>P8 = P8=>P2 czyli: 1=1 dla II
Oczywiście w równaniach B możemy zamieniać linie oraz przestawiać argumenty z lewa na prawo i odwrotnie. Przekształcamy równanie B do równoważnej postaci C.
C=B.
P8=>P2 = P2~>P8 czyli: 1=1 dla II.
P2=>P8 = P8~>P2 czyli: 0=0 dla I.
Oczywiście zestaw równań A i C jest IDENTYCZNY, zatem:
p=>q = p~>q
co jest oczywistym idiotyzmem.
Dzisiejsza algebra Boole’a w zakresie implikacji jest wewnętrznie sprzeczna !
Wytłuszczony wyżej fundament dzisiejszej implikacji został totalnie skompromitowany. Cała dzisiejsza logika w zakresie implikacji zbudowana jest na oczywistym fałszu.
Miejsce dowolnej logiki zbudowanej na fałszu jest w śmietniku historii.
Zdrowy fundament implikacji = algebra Kubusia
Fundament algebry Kubusia w zakresie implikacji:
p=>q # p~>q
i
A.
p=>q = ~p~>~q
B.
p~>q = ~p=>~q
Potraktujmy algebrę Kubusia identycznie jak algebrę Boole’a wyżej:
Dla powyższych zdań możemy przyjąć:
I.
p=P8
q=P2
albo:
II.
p=P2
q=P8
Nie ma innych możliwości matematycznych
Dla równania A mamy:
A.
P8=>P2 = ~P8~>~P2 czyli: 1=1 dla I.
P2=>P8 = ~P2~>~P8 czyli: 0=0 dla II.
To samo dla równania B:
B.
P8~>P2 = ~P8=>~P2 czyli: 0=0 dla I.
P2~>P8 = ~P2=>~P8 czyli: 1=1 dla II
Oczywiście dla powyższych równań zachodzi prawidłowo:
p=>q # p~>q
Równania A i B to dwa niezależne układy implikacyjne między którymi nie zachodzą żadne związki matematyczne. O dwóch niezależnych, zamkniętych układach implikacyjnych trąbi już podręcznik do I klasy LO:
[link widoczny dla zalogowanych]
… tyle że nie w tym kościele dzwony biją.
Pytanie do Macjana i dr entropi.
… no i która algebra jest prawdziwa w zakresie implikacji ?
Algebra Boole’a czy algebra Kubusia ?
Ostatnio zmieniony przez rafal3006 dnia Śro 10:02, 18 Mar 2009, 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: 15381
Przeczytał: 29 tematów
|
Wysłany: Śro 21:19, 18 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: | 2.0 Parametry formalne i aktualne w implikacji |
Na proste pytanie udziel prostej odpowiedzi. Nie chce mi się czytać 1000 stron żeby się dowiedzieć w którym roku była bitwa pod Grunwaldem.
Wcześniej używałeś konkretnych wartości 4L i P i podstawiałeś je pod p i q. Zdecyduj się czego używasz.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 23:14, 18 Mar 2009 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | 2.0 Parametry formalne i aktualne w implikacji |
Na proste pytanie udziel prostej odpowiedzi. Nie chce mi się czytać 1000 stron żeby się dowiedzieć w którym roku była bitwa pod Grunwaldem.
Wcześniej używałeś konkretnych wartości 4L i P i podstawiałeś je pod p i q. Zdecyduj się czego używasz. |
Parametry formalne i aktualne używam w algebrze Kubusia ... tu bez problemu mogę to robić bo nie zabrania mi tego fałszywy fundament rodem z KRZ:
p=>q = q~>p
q~>p = p=>q
Powyższe równania są sprzeczne, zatem fałszywe ...
Masz dwa konkurencyjne fundamenty implikacji:
Algebra Boole’a:
p=>q # p~>q
i
p=>q=q~>p
p~>q=q=>p
W dzisiejszej algebrze Boole'a masz problem bo równania wyżej są fałszywe:
p~>q
4L~>P
p=4L
q=P
p=>q
P=>4L
p=P
q=4L
Wszyscy normalni zapiszą jak wyżej, bo to dwa niezalezne zdania. Nie ma między nimi żadnych związków matematycznych
Algebra Kubusia:
p=>q # p~>q
i
p=>q = ~p~>~q
p~>q = ~p=>~q
W algebrze Kubusia nie ma twojego problemu, tu w jednym równaniu jest p=q i q=q czyli "test Irbisola" bez problemu jest spełniony
p~>q
4L~>P
p=4L
q=P
p=>q
P=>4L
p=P
q=4L
... i to jest pięknae zgadza się ?
Jeden z tych fundamentów musi być fałszywy. Algebra Kubusia bez problemu przeszła „test Irbisola” (wyżej), natomiast algebra Boole’a rozkraczyła się totalnie. W obszarze implikacji algebra Boole’a to najzwyklejszy śmieć.
Dowody masz wyżej, możesz obalać.
Ostatnio zmieniony przez rafal3006 dnia Czw 10:35, 19 Mar 2009, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Śro 23:29, 18 Mar 2009 Temat postu: |
|
|
jeśli piszesz o algebrze Boole'a to używaj tamtejszej notacji bo wtedy także inni, nie tylko ty będą mogli się dowiedzieć czego chcesz.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 0:41, 19 Mar 2009 Temat postu: |
|
|
Z Irbisolem dobrze się dogadujemy przy pomocy symboli => i ~> ... nie widzę problemu. Nawet Macjan zaakceptował bez problemu symbol ~> ... w KRZ kompletnie nie znany
|
|
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
|