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: 35331
Przeczytał: 23 tematy

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: 15369
Przeczytał: 27 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: 35331
Przeczytał: 23 tematy

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: 35331
Przeczytał: 23 tematy

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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

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

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysł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 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: Pią 3:40, 03 Kwi 2009    Temat postu:

podziwiam twoje poczucie misji dydaktycznej.
szczerze podziwiam.
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: 35331
Przeczytał: 23 tematy

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

PostWysł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ć :think:


Ostatnio zmieniony przez rafal3006 dnia Pią 10:16, 03 Kwi 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ść
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysł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 ?

:brawo: :* :pidu:

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




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


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



Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy

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

PostWysłany: Wto 17:11, 07 Kwi 2009    Temat postu:

Zacząłem odpowiadać na twoje pytanie tu:
http://www.sfinia.fora.pl/metodologia,12/trzesienie-ziemi-w-logice,4093.html#81904

Przenieśmy się, algebra Boole'a to algebra bramek logicznych - ktos kto nie rozumie bramek logicznych nigdy nie zrozumie implikacji.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów


PostWysłany: Pon 20:53, 13 Kwi 2009    Temat postu:

Ale mnie nie obchodzą twoje bramki logicznie.
Odpowiedz co podstawiłeś z p a co za q.
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 3 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