|
Ś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: 35576
Przeczytał: 15 tematów
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: 15474
Przeczytał: 25 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: 35576
Przeczytał: 15 tematów
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: 35576
Przeczytał: 15 tematów
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 |
|
|
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: Pią 2:10, 20 Mar 2009 Temat postu: |
|
|
jeśli się go nie da opisać tabelką to faktycznie MUSI być nieznany.
a jak się da to jest znany.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Nie 6:57, 22 Mar 2009 Temat postu: |
|
|
dr entropia napisał: | jeśli się go nie da opisać tabelką to faktycznie MUSI być nieznany.
a jak się da to jest znany. |
Zarówno => jak i ~> da się opisać tabelką. Zero-jedynkowo oba spójniki są znane od czasów Boole'a.
Problemem jest błędna interpretacja matematyczna obu tabel zero-jedynkowych, o tym tu cały czas mówimy.
Wyobraź sobie, że Ziemianie wysłali w kosmos naszą płytę DVD z filmem o życiu na ziemi. Przechwyciła to obca cywilizacja podobna do naszej. Zero-jedynkowy odczyt takiej płyty to pikuś.
Co z tego że obcy znają pełny ciąg zer i jedynek zapisanych na tej płycie ?
Ostatnio zmieniony przez rafal3006 dnia Nie 6:58, 22 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: 15474
Przeczytał: 25 tematów
|
Wysłany: Pon 21:41, 23 Mar 2009 Temat postu: |
|
|
Napisałeś:
Cytat: |
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
|
Napisałeś że "z powyzszego mamy"
a więc coś podstawiłeś z p i coś za q.
Napisz co podstawiłeś za p a co za q w równaniu
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: 35576
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 8:20, 24 Mar 2009 Temat postu: |
|
|
Mam gotowca z przykładem analogicznym:
P8=>P2 # P2~>P8
Fałsz nad fałszami
Fałsz nad fałszami we współczesnej logice to:
p=>q = q~>p
Definicja implikacji prostej:
p=>q
Jeśli zajdzie p to na pewno => zajdzie q
p musi być warunkiem wystarczającym dla q
Definicja implikacji odwrotnej:
p~>q
Jeśli zajdzie p to może ~> zajść q
p musi być warunkiem koniecznym dla q
czyli:
=> - operator implikacji prostej, spójnik musi => między p i q, warunek wystarczający spełniony
~> - operator implikacji odwrotnej, spójnik może ~> między p i q, warunek konieczny spełniony
Implikację prostą:
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2
analizujemy przez zero-jedynkową definicję implikacji prostej:
Tabela A.
p q p=>q
1 1 =1 - jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2 (=1 oczywista prawda)
1 0 =0 - jeśli liczba jest podzielna przez 8 to na pewno => nie jest podzielna przez 2 (=0 fałsz)
0 0 =1 - jeśli liczba nie jest podzielna przez 8 to może ~> nie być podzielna przez 2 np. 3,5,7…
0 1 =1 - jeśli liczba nie jest podzielna przez 8 to może ~~> być podzielna przez 2 np. 2,4,6…
zaś implikację odwrotną:
Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2~>P8
analizujemy przez zero-jedynkową definicję implikacji odwrotnej:
Tabela B.
p q p~>q - dla punktu odniesienia ustawionym na wypowiedzianym zdaniu P2~>P8
1 1 =1 - jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8 np. 8
1 0 =1 - jeśli liczba jest podzielna przez 2 to może ~~> być niepodzielna przez 8 np. 2
0 0 =1 - jeśli liczba nie jest podzielna przez 2 to na pewno => nie jest podzielna przez 8 (=1 oczywista prawda)
0 1 =0 - jeśli liczba nie jest podzielna przez 2 to na pewno => jest podzielna przez 8 (=0 fałsz)
Gdzie:
~~> - naturalny w mowie potocznej spójnik „może” (wystarczy jedna prawda), warunek konieczny nie jest tu spełniony czyli implikacja odwrotna jest fałszywa.
Stąd na podstawie powyższego mamy:
P8=>P2 # P2~>P8
bo zdanie P8=>P2 analizujemy przez definicję implikacji prostej p=>q
zaś zdanie P2~>P8 analizujemy przez definicję implikacji odwrotnej p~>q
Oczywiście to dwie różne definicje czyli:
p=>q#p~>q
P8=>P2 # P2~>P8
W tabeli B punkt odniesienia ustawiony jest na niezależnym zdaniu:
p~>q = P2~>P8
Oczywiście zdanie to analizujemy przez definicje implikacji odwrotnej p~>q jak wyżej.
Powyższy przykład to dobra okazja by wyjaśnić fundamentalny błąd współczesnej logiki.
Dzisiejsza logika przywiązuje p i q sztywno do jedynie słusznej implikacji prostej p=>q i posługuje się fałszywym równaniem:
p=>q = q~>p
Dowód fałszywości:
W implikacji prostej dla naszego przykładu mamy:
P8=>P2
p=P8
q=P2
Implikacja odwrotna w komunizmie przybierze postać:
q~>p = P2~>P8
czyli w tabeli A zamieniamy q i p i stosujemy operator ~>, zróbmy to:
Tabela C:
q p q~>p - dla punktu odniesienia ustawionym na komunistycznej p=>q
1 1 =1 - jeśli liczba jest podzielna przez 2 to może ~> być podzielna przez 8 np. 8
0 1 =0 - jeśli liczba nie jest podzielna przez 2 to na pewno => jest podzielna przez 8 (=0 fałsz)
0 0 =1 - jeśli liczba nie jest podzielna przez 2 to na pewno => nie jest podzielna przez 8 (=1 oczywista prawda)
1 0 =1 - jeśli liczba jest podzielna przez 2 to może ~~> być niepodzielna przez 8 np. 2
Oczywiście tabele B i C są identyczne bo kolejność analizowania linii jest nieistotna, zgodnie z definicja iloczynu kartezjańskiego i pojęciem funkcji.
Oczywistym jest że operator:
=> # ~>
niezależnie od punktu odniesienia jaki przyjmiemy.
Idiotyzmem jest zatem fundamentalna równość w dzisiejszej logice jakoby:
p=>q = q~>p
To co wyżej to fałsz nad fałszami, idiotyzm nad idiotyzmami … nic więcej.
Miejsce dzisiejszego rozumienia implikacji jest w koszu na śmieci.
Ostatnio zmieniony przez rafal3006 dnia Wto 9:59, 24 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: 15474
Przeczytał: 25 tematów
|
Wysłany: Czw 21:11, 26 Mar 2009 Temat postu: |
|
|
Napisz co podstawiłeś za p a co za q w równaniu
p~>q # p=>q
Upośledzony jakiś jesteś że nie potrafisz odpowiedzieć na proste 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: 35576
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 21:30, 26 Mar 2009 Temat postu: |
|
|
Irbisol napisał: | Napisz co podstawiłeś za p a co za q w równaniu
p~>q # p=>q
Upośledzony jakiś jesteś że nie potrafisz odpowiedzieć na proste pytanie? |
W algebrze Kubusia masz tak:
Po "Jesli..." jest zawsze poprzednik p zaś po "to..." jest zawsze następnik q.
Czyli:
P8=>P2
p=P8
q=P2
P2~>P8
p=P2
q=P8
Pczywiście:
p=>q # p~>q
czyli:
P8=>P2 # P2~>P8
Masz jakies wątpliwości ?
W algebrze idiotów masz tak:
P8=>P2 = P2~>P8
... dowód wyżej.
Ostatnio zmieniony przez rafal3006 dnia Czw 21:36, 26 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: 15474
Przeczytał: 25 tematów
|
Wysłany: Czw 21:52, 26 Mar 2009 Temat postu: |
|
|
Odpowiedz na pytanie czym w równaniu
p=>q # p~>q
jest p a czym 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: 35576
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 23:51, 26 Mar 2009 Temat postu: |
|
|
Odpowiedź masz wyżej ...
Odpowiedz na pytania:
Czy impliakcje prostą P8=>P2 analizujesz przez definicje implikacji prostej p=>q ?
Czy implikacje odwrotną P2~>P8 analizujesz przez definicje implikajci odwrotnej p~>q ?
TAK/NIE
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów
|
Wysłany: Pią 20:13, 27 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: | Odpowiedź masz wyżej ... |
Odpowiedzi nie ma wyżej. Odpowiedz czemu równa się p a czemu q.
Odpowiedź powinna ci zająć 2 linijki, np.
p=4L
q=P
druga z możliwości
p=P
q=4L
Wybierz jedną z nich i napisz którą wybrałeś. Tyle chyba potrafisz ?
|
|
Powrót do góry |
|
|
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
|
Wysłany: Sob 15:03, 28 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: | Odpowiedź masz wyżej ...
Odpowiedz na pytania:
Czy impliakcje prostą P8=>P2 analizujesz przez definicje implikacji prostej p=>q ?
Czy implikacje odwrotną P2~>P8 analizujesz przez definicje implikajci odwrotnej p~>q ?
TAK/NIE |
Odpowiedź masz wyżej, nie odpowiem na kolejne twoje posty dopóki TY nie odpowiesz na moje pytania.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów
|
Wysłany: Nie 10:58, 29 Mar 2009 Temat postu: |
|
|
rafal3006 napisał: | Odpowiedź masz wyżej, nie odpowiem na kolejne twoje posty dopóki TY nie odpowiesz na moje pytania. |
Twoja odpowiedź wyżej jest sprzeczna.
A pytanie ja zadałem pierwszy. Pytanie jest trywialnie proste i wymaga najwyżej 2 linijek odpowiedzi (które ci podpowiedziałem), ale nawet tego nie potrafisz - zamiast tego stawiasz głupawe warunki że to niby ja mam na coś odpowiadać.
Bardzo dziecinnie się wykręcasz z obowiązku wyjaśniania swoich bredni, ale nie mam zamiaru cię namawiać. Od pewnego czasu czułem że w taki niezbyt wyszukany sposób będziesz się starał uniknąć odpowiedzialności za głupoty którymi zaśmiecasz to forum.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Nie 22:46, 29 Mar 2009 Temat postu: |
|
|
Odpowiedź szczegółowa na twoje pytanie
Fundament implikacji w algebrze Boole’a:
p=>q # p~>q - PRAWDA, bo różne definicje
p=>q=q~>p
Dowód:
p=>q = ~p+q
q~>p = q+~p = ~p+q
Aby udowodnić powyższe musimy:
Wprowadzić do bramki => po jednym negatorze na linie wejściowe (zamiana => na ~>) plus zamienić kabelki na wejściu układu.
Fundament algebry Kubusia:
p=>q # p~>q - PRAWDA, bo różne definicje
p=>q = ~p~>~q - prawo zamiany operatora => na ~>
p~>q = ~p=>~q - prawo zamiany operatora ~> na =>
Weźmy tylko pierwsze, bo drugie dowodzi sie analogicznie:
Dowód:
p=>q = ~p+q
~p~>~q = ~p+~(~q) = ~p+q
W tym przypadku nie zamieniamy kabelków na wejściu układu. W linie wejściowe bramki => wprowadzamy po dwie negacje, czyli nic się nie zmieni bo A=~(~A). Pierwsza negacja zamienia => na ~> zaś drugą wprowadzamy do nazwy sygnałów, stad:
~p~>~q = p=>q
Z punktu widzenia świata zewnętrznego cały układ nie ulegnie zmianie, przełączanie kabelków nie jest tu potrzebne.
Na 100% fizycznie jeden z fundamentów implikacji jest do kitu.
Pierwszy fundament logicy całego świata już przećwiczyli i wyszło im:
Logika człowieka nie istnieje
... czyli nie da się matematycznie opisać implikacji która posługuje sie człowiek, nie robi tego ani implikacja materialna, ani logiczna, ani ścisła (logiki modalne).
Wikipedia:
[link widoczny dla zalogowanych]
Wniosek:
Nie wolno zamieniać kabelków na wejściu układu implikacyjnego, z tego powodu:
p=>q # q~>p
Fundament algebry Kubusia jest rewelacyjny, posługują sie nim wszystkie dzieci w przedszkolu co widać wyżej. Posługują się nim też sami matematycy (pkt.2.4) choć na 100% nie zdają sobie z tego sprawy, bo gdyby wiedzieli to prawa Kubusia już dawno byłyby w encyklopedii.
|
|
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: Czw 3:20, 02 Kwi 2009 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Odpowiedź masz wyżej, nie odpowiem na kolejne twoje posty dopóki TY nie odpowiesz na moje pytania. |
Twoja odpowiedź wyżej jest sprzeczna.
A pytanie ja zadałem pierwszy. Pytanie jest trywialnie proste i wymaga najwyżej 2 linijek odpowiedzi (które ci podpowiedziałem), ale nawet tego nie potrafisz - zamiast tego stawiasz głupawe warunki że to niby ja mam na coś odpowiadać.
Bardzo dziecinnie się wykręcasz z obowiązku wyjaśniania swoich bredni, ale nie mam zamiaru cię namawiać. Od pewnego czasu czułem że w taki niezbyt wyszukany sposób będziesz się starał uniknąć odpowiedzialności za głupoty którymi zaśmiecasz to forum. |
nosz KU MA!!!!!
ile ci trzeba czasu było by ogarnąć że obcujesz z debilem????
wartało go marnować?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów
|
Wysłany: Czw 21:00, 02 Kwi 2009 Temat postu: |
|
|
rafal3006 napisał: | Odpowiedź szczegółowa na twoje pytanie |
Szczegółowa odpowiedź na moje pytanie może być taka:
p=4L
q=P
lub taka:
p=P
q=4L
Naprawdę można tu czegoś nie rozumieć?
Równanie z p i q wyprowadziłeś z podstawień, stąd pytanie. Gdybyś nic nie podstawiał, nie pytałbym o to.
Czy zrozumiałeś pytanie?
Entropia
Wiem. Dyskutuję dlatego że wg mnie, o ile trzymasz się logiki wypowiedzi, dyskusja prowadzić może do takich rozwiązań:
1. Oponent musi przyznać jakąś totalną bzdurę żeby uzasadnić swoje twierdzenia, np. 2+2=5.
2. Oponent nie odpowiada na pytania, zmiena temat.
3. Oponent wymięka.
Udowadniam jakoby powyższe.
Ostatnio zmieniony przez Irbisol dnia Czw 21:04, 02 Kwi 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: Pią 3:40, 03 Kwi 2009 Temat postu: |
|
|
podziwiam twoje poczucie misji dydaktycznej.
szczerze podziwiam.
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pią 10:09, 03 Kwi 2009 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Odpowiedź szczegółowa na twoje pytanie |
Szczegółowa odpowiedź na moje pytanie może być taka:
p=4L
q=P
lub taka:
p=P
q=4L
Naprawdę można tu czegoś nie rozumieć?
Równanie z p i q wyprowadziłeś z podstawień, stąd pytanie. Gdybyś nic nie podstawiał, nie pytałbym o to.
Czy zrozumiałeś pytanie?
Entropia
Wiem. Dyskutuję dlatego że wg mnie, o ile trzymasz się logiki wypowiedzi, dyskusja prowadzić może do takich rozwiązań:
1. Oponent musi przyznać jakąś totalną bzdurę żeby uzasadnić swoje twierdzenia, np. 2+2=5.
2. Oponent nie odpowiada na pytania, zmiena temat.
3. Oponent wymięka.
Udowadniam jakoby powyższe. |
Pytanie zrozumiałem, odpowiedź masz w kolejnym poście.
Nikt nie może robić z człowieka idioty, przede wszystkim matematyka !
Jaś:
Jak nie oddasz zabawki to cie pobiję
~Z=>B - groźba
Zuzia:
… a jak oddam zabawkę ?
Prawo Kontrapozycji:
~Z=>B = ~B=>Z
Jaś:
Jeśli cie nie zbiję to oddasz zabawkę
~B=>Z
Zuzia:
Wiesz co Jasiu, mój tata jest psychiartą, myślę że musisz z nim porozmawiać
Ostatnio zmieniony przez rafal3006 dnia Pią 10:16, 03 Kwi 2009, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
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
|
Wysłany: Pią 10:10, 03 Kwi 2009 Temat postu: |
|
|
dr entropia napisał: |
nosz KU MA!!!!!
ile ci trzeba czasu było by ogarnąć że obcujesz z debilem????
wartało go marnować? |
Miałeś debilu rozwiązać kwadraturę koła czyli obalic prawa Kubusia, zapomniałeś ?
Prawa de’Morgana
* - operator AND
+ - operator OR
p*q = ~(~p+~q) - zamiana operatora AND na OR
p+q = ~(~p*~q) zamiana operatora OR na AND
Dowód praw de'Morgana:
Y=p*q - logika dodatnia
Negujemy zmienne i wymieniamy operator:
~Y = ~p+~q
Czy wszyscy załapali skad się wziął nawias w prawach de'Morgana ?
Stąd: Y=~(~Y) - sprowadzenie prawej strony do logiki dodatniej.
Zdania twierdzące nie zawierają wyjścia Y zaś implikacja TAK (p=>q)!
Prawa Kubusia
=> - operator implikacji prostej
~> - operator implikacji odwrotnej
p=>q = ~p~>~q - zamiana operatora => na ~>
p~>q = ~p=>~q - zamiana operatora ~> na =>
Czy widać totalną analogię między prawami de’Morgana a prawami Kubusia ?
Prawami Kubusia posługują się biegle wszystkie dzieci w przedszkolu !
Jaś:
Jak nie oddasz zabawki to cie pobiję
~Z~>B - groźba
Zuzia:
… a jak oddam zabawkę ?
Prawo Kubusia:
~Z~>B = Z=>~B
Jaś:
Jeśli oddasz zabawkę to cie nie pobije
Z=>~B - obietnica
… tylko biedni matematycy nie mają o nich bladego pojęcia, zgadza się ?
Dowód prawa Kubusia:
p=>q = ~p~>~q
KROK A.
Kod: |
Bramka A
=>-bramka implikacji prostej
p=> q
| |
O=> |
-------
| OR |
| |
-------
|
|
Y=p=>q=~p+q
|
p=>q = implikacja prosta (stojąc na p widzimy niezanegowaną linię q)
KROK B.
Wprowadzamy na wejście po jednej negacji
Kod: |
Bramka B
~> - bramka implikacji odwrotnej
p~> q
| |
O |
O~> O
-------
| OR |
| |
-------
|
|
r=p~>q=p+~q
|
Kod: |
Bramka C
~> - bramka implikacji odwrotnej
p~> q
| |
|~> O
-------
| OR |
| |
-------
|
|
r=p~>q=p+~q
|
Implikacja odwrotna bo stojąc na p widzimy linię zanegowaną q
Uwaga !
Bramka implikacji odwrotnej powstaje poprzez wprowadzenie po jednym negatorze w linie wejściowe bramki =>. Negacja z linii p powędruje wówczas do linii q bo ~(~A)=A.
W obu implikacjach => i ~> p jest poprzednikiem implikacji zaś q jest następnikiem implikacji, czyli po „Jeśli…” mamy zawsze p zaś po „to…” mamy zawsze q.
Negujemy teraz sygnały w powyższej bramce !!!!!
KROK C
Zmieniamy nazwy sygnałów wejściowych w bramce ~> na przeciwne
Kod: |
Bramka implikacji odwrotnej
~p~>~q
| |
|~> O
-------
| OR |
| |
-------
|
|
r=~p~>~q=(~p)+~(~q)=~p+q
|
p=>q = ~p+q
~p~>~q = (~p)+~(~q) = ~p+q
czyli:
p=>q = ~p~>~q - prawo Kubusia
W krokach A,B,C p jest zawsze p, zaś q jest zawsze q !
Zauważ, że to co wyżej to czysta matematyka, nie ma tu mowy o jakichkolwiek warunkach typu wystarczający czy konieczny !
Z punktu widzenia świata zewnętrznego układy A i C są identyczne.
Prawo Kontrapozycji
p=>q = ~q=>~p
KROK A.
Kod: |
Bramka A
=>-bramka implikacji prostej
p=> q
| |
O=> |
-------
| OR |
| |
-------
|
|
Y=p=>q=~p+q
|
KROK B
Negujemy nazwy sygnałów
Kod: |
Bramka B
=>-bramka implikacji prostej
~ p=> ~q
| |
O=> |
-------
| OR |
| |
-------
|
|
Y=~p=>~q=~(~p)+~q = p+~q
|
Z punktu widzenia świata zewnętrznego powyższe to bramka implikacji odwrotnej bo:
p~>q = p+~q !
Oczywiście:
A.
p=>q # ~p=>~q = p~>q
Identycznie dla implikacji odwrotnej otrzymamy wzory:
B.
p~>q # ~p~>~q = p=>q
Próba pierwsza dojścia do praw kontrapozycji zakończyła się fiaskiem !!!
Nie ma sensu zamieniać ~p i ~q bo już w pierwszym kroku próby dowodu prawa kontrapozycji wylądowaliśmy w prawach Kubusia czyli do praw Kubusia dochodzimy w jednym kroku !!!
Jeden krok = algebra Bool’a
Dwa kroki = ???
Matematycznie w obu równaniach p jest zawsze p zaś q jest zawsze q !!!
czyli:
A.
P8=>P2 # ~P8=>~P2=P8~>P2
1#0
P2=>P8 # ~P2=>~P8 = P2~>P8
0#1
B.
P2~>P8 # ~P2~>~P8 = P2=>P8
1#0
P8~>P2 # ~P8~>~P2 = P8=>P2
0=1
Co oznacza że prawa Kubusia są OK. !
Czy zgadzasz się z powyższymi równaniami ?
Po trzech latach walki z implikacją wreszcie dobiliśmy do mety. Problem implikacji jest na poziomie dziecka w przedszkolu, proste jak cep.
Dzięki wszystkim za dyskusje.
Kubuś, idiota wśród normalnych.
Ostatnio zmieniony przez rafal3006 dnia Nie 19:57, 05 Kwi 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: 15474
Przeczytał: 25 tematów
|
Wysłany: Wto 16:56, 07 Kwi 2009 Temat postu: |
|
|
Co podstawiłeś za p a co za q?
Wariant 1:
p=4L
q=P
Wariant 2:
p=P
q=4L
Wybierz wariant.
Nawet ty powinieneś zrozumieć pytanie. Twoje bramki mnie nie interesują, interesuje mnie odpowiedź na pytanie które zadałem.
Cytat: | Po trzech latach walki z implikacją wreszcie dobiliśmy do mety. Problem implikacji jest na poziomie dziecka w przedszkolu, proste jak cep. |
Dlatego potrzebowałeś na to tylko trzy lata, strach pomyśleć co by było gdyby problem był na poziomie pierwszej klasy podstawówki.
|
|
Powrót do góry |
|
|
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
|
|
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
|