Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Gwarancje matematyczne w równoważności i implikacji
Idź do strony Poprzedni  1, 2, 3, 4, 5, 6, 7  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Pon 21:50, 02 Mar 2009    Temat postu:

Jest ok.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Czw 22:11, 05 Mar 2009    Temat postu:

też ok
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 0:28, 06 Mar 2009    Temat postu:

Irbisol napisał:
też ok

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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Nie 21:01, 08 Mar 2009    Temat postu:

rafal3006 napisał:
Irbisol napisał:
też ok

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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 :grin:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysł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 :grin:

Odpowiedz na pytanie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pon 22:04, 09 Mar 2009    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
też ok

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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 :grin:

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 :grin:

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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35576
Przeczytał: 15 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 :grin:
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3, 4, 5, 6, 7  Następny
Strona 2 z 7

 
Skocz do:  
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
Regulamin