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 

Pożegnanie Kubusia
Idź do strony Poprzedni  1, 2, 3, 4, 5  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Kawiarnia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
żmijka




Dołączył: 12 Kwi 2010
Posty: 455
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Pon 14:25, 17 Maj 2010    Temat postu:

Cytat:
To rzeczywiście humor tysiąclecia
albo kolokwialne sranie w banie ,rozdmuchane do rozmiaru dysputy .Brak argumentów zastąpiony formą tak zawiłą ,że niezrozumiałą.Dosyć znana metoda,z tym,że przestarzała.
Reasumując-bez zmian ;)
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Pon 17:28, 17 Maj 2010    Temat postu:

żmijka napisał:
Cytat:
To rzeczywiście humor tysiąclecia
albo kolokwialne sranie w banie ,rozdmuchane do rozmiaru dysputy .Brak argumentów zastąpiony formą tak zawiłą ,że niezrozumiałą.Dosyć znana metoda,z tym,że przestarzała.
Reasumując-bez zmian ;)

Żmijko wygrzewaj sie lepiej na kamykach i nie zabieraj głosu w obszarch tobie nieznanych.

Fizyk i NoBody to na prawdę bardzo dobrzy matematycy (ateista.pl) zaś Uczy to ekspert KRZ, dr. Filozofii, a pieprzy głupoty iż twierdzenie Pitagorasa to implikacja.

Matematyka nie może być taka że trzech bardzo dobrych matematyków nie odróżnia impliakcji od równoważności.

Własnie z powodu że dzisiejsi matematycy nie mają pojęcia o prawidłowej algebrze Boole'a rzeczy banalne urastają do kosmicznych i komiczych romiarów, przykład tw. Pitagorasa.

Humor 1000-lecia, czyli twierdzenie Pitagorasa wypowiedziane w postaci równoważności

Cytat z:
[link widoczny dla zalogowanych]

NoBody napisał:
precyzyjnie

dla każdego x,a,b,c jeżeli x jest trójkątem prostokątnym i a jest przyprostokątną x'a i b jest przyprostokątną x'a różną od a i c jest przeciwprostokątną x'a to suma kwadratów długości a i długości b jest równa kwadratowi długości c i dla każdego a,b,c jeżeli suma kwadratów długości a i długości b jest równa kwadratowi długości c to istnieje trójkąt x o bokach a,b,c i x jest trójkątem prostokątnym i a jest przyprostokątną x'a i b jest przyprostokątną x'a różną od a i c jest przeciwprostokątną x'a, wtedy i tylko wtedy gdy, dla każdego x,a,b,c , x jest trójkątem prostokątnym wtedy i tylko wtedy gdy a jest przyprostokątną x'a i b jest przyprostokątną x'a różną od a i c jest przeciwprostokątną x'a i suma kwadratów długości a i długości b jest równą kwadratowi długości c

Twierdzenie Pitagorasa jest w szkole podstawowej, proponuję zatem powyższe umieścić w odpowiednim podręczniku, nie możemy przecież kształcić naszych dzieci na debili … (po przecinku to słowa Macjana - Macjanie co ty na to ? :grin: )

... a banalne zadanie z poziomu gimnazjum urasta do poważnego problemu rangi akademickiej.
[link widoczny dla zalogowanych]


Ostatnio zmieniony przez rafal3006 dnia Pon 17:42, 17 Maj 2010, w całości zmieniany 2 razy
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Nie 15:46, 23 Maj 2010    Temat postu:

Geniusz Barycki, niechcący zapewne, obala twierdzenie Godla
cytat z:
http://www.sfinia.fora.pl/wiezienie,20/byc-albo-nie-byc,5065-50.html#112657

barycki napisał:
ślepy jełop:
Cytat:
p# ~p - to jest fundament naszego wszechswiata


Zaledwie fundamentem aksjomatyki jednej algebry, niezdolnym nawet pięciolatkowi wyjaśnić wszystkiego.

Matematyka Godla nie jest sprzeczna z matematyką Bollea. Do rozumienia tego potrzebna jest wiedza, a ty jełopie jesteś analfabetą.

Adam Barycki

Absolutny fundament algebry Boole'a jest taki:
p# ~p
Dowolna algebra która gwałci powyższe to algebra IDIOTÓW

Równanie idioty:
p=~p
to rozwalenie całego naszego Wszechświata, algebra Boole'a leży tu i kwiczy.

Przy tym równaniu niemożliwe jest absolutnie wszystko, totalnie NIC nie będzie działało w naszym Wszehświecie, w pierwszej kolejności wyparuje mózg geniusza baryckiego.

Wniosek:
Jeśli Godle udowodnił na bazie algebry Boole'a iż:
p=~p
to na 100% nie rozumiał algebry Boole'a.

Ten oczywisty i fundamentalny błąd to korzystanie z badziewia zwanego "impliakcją materialną" czyli błędne uznanie definicji implikacji odwrotnej ~> za matematycznie zbędną.


Ostatnio zmieniony przez rafal3006 dnia Nie 15:46, 23 Maj 2010, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Nie 20:12, 23 Maj 2010    Temat postu:

Ludzkość nie może dłużej pozostawać w niewiedzy, musisz to ogłosić na matematyka.pl, a gdyby się tam nie chcieli z tobą zgodzić, to mocno na nich nakrzycz.

Adam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Nie 21:23, 23 Maj 2010    Temat postu:

Z powodu braku akceptacji równych praw implikacji prostej => i odwrotnej ~> (plus praw Kubusia) ludzkość zna wyłącznie logiki formalne, wszystkie wewnętrznie sprzeczne właśnie z powodu błędnego uznania impliakcji odwrotnej ~> za zbędną (dowód pkt.5.2 w podpisie).

NTI nie jest kolejną logiką formalną, dowód braku wewnętrznej sprzeczności NTI (pkt.5.4).
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Pon 18:51, 24 Maj 2010    Temat postu:

...

Ostatnio zmieniony przez rafal3006 dnia Wto 3:40, 25 Maj 2010, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Pon 19:43, 24 Maj 2010    Temat postu:

Z pierwszego twierdzenia Godla, fundamentu matematyki mechaniki kwantowej i teorii względności wyprowadzamy takie równanie, fundament istoty naszego wszechświata, a i dodam nieskromnie, samego wiekuistego boga: P=~P. Oto jest prawda, a jak się komu nie podoba, to w mordę go.

Adsam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Pon 19:45, 24 Maj 2010    Temat postu:

barycki napisał:

P=~P. Oto jest prawda ...

Adsam Barycki

Prawda IDIOTÓW.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Pon 19:53, 24 Maj 2010    Temat postu:

I boga, który podnosi kamień, którego nie może podnieść, ale żeby to rozumieć trzeba być dziełem bożym, jakim ja jestem, a nie karykaturą diabła ulepioną ze smoły, jak ty.

Adsam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Pon 19:57, 24 Maj 2010    Temat postu:

EOT
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Pon 20:01, 24 Maj 2010    Temat postu:

P=~P
Reszta w podpisie u Godla.

Adsam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Pon 20:10, 24 Maj 2010    Temat postu:

barycki napisał:

Matematyka Godla nie jest sprzeczna z matematyką Bollea.

Adam Barycki

Fundament algebry Boole'a:
P#~P
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Wto 3:27, 25 Maj 2010    Temat postu:

Pożegnanie Kubusia

Mam nadzieję że to jest pożegnalny post Kubusia. Po 4 latach walki z sześcioma kluczowymi zerami i jedynkami w definicji implikacji czas odpocząć. W NTI rozpracowana została nie tylko implikacja ale tez dziecinnie proste operatory OR i AND .... nawet tego banału ludzie nie rozumieją właściwie, bo nie znają logiki dodatniej i ujemnej w algebrze Boole'a.

Myślę, że jeśli ludzie kiedykolwiek załapią NTI (co nie jest pewne) to będzie to jedno z największych odkryć w historii ludzkości. NTI to odkrycie matematyki pod która podlega każdy człowiek od 5-cio latka po starca, matematyka ta istnieje w niezmienionej formie od początku naszego Wszechświata, opisuje zarówno świat martwy jak i żywy.

Dzisiejsza logika to chore próby zmuszenia człowieka do myślenia jakimiś logikami formalnymi mającymi zerowy związek z naturalną logiką człowieka, w szczególności prawdziwe jest to równanie:
Implikacja materialna = królowa absolutnego IDIOTYZMU

NTI nie jest kolejną logiką formalną !

NTI to matematyka ścisła rządząca całym naszym Wszechświatem przez Boga stworzona. Człowiek nie jest w stanie ani jej zmienić, ani ulepszyć, bo sam pod nią podlega.


Fragment z podpisu ....


2.3 Analogie między OR i AND a implikacją prostą => i odwrotną ~>

W tym punkcie wyprzedzimy trochę czas bowiem na razie nie wiemy nic o implikacji, ale myślę, że mimo wszystko czytelnik będzie w stanie to zrozumieć bowiem całość to matematyka na poziomie I klasy LO.

Definicja iloczynu logicznego (logika dodatnia):
Iloczyn logiczny jest równy jeden wtedy i tylko wtedy gdy wszystkie zmienne są równe jeden.
Y=A1*A2* … *An =1 <=> A1=1, A2=1 … An=1

Definicja równoważna (logika ujemna):
Iloczyn logiczny jest równy zeru jeśli którakolwiek zmienna jest równa zeru.
Y=1*1*1*0*1 =0

Definicja sumy logicznej (logika ujemna):
Suma logiczna n-zmiennych binarnych jest równa zeru wtedy i tylko wtedy gdy wszystkie składniki sumy są równe zeru
Y = A1+A2+… An =0 <=> A1=0, A2=0 …An=0

Definicja równoważna (logika dodania):
Suma logiczna n-zmiennych binarnych jest równa jeden gdy którakolwiek ze zmiennych jest równa jeden.
Y=1+1+1+0+1 =1

W naturalnej logice człowieka wszystkie zmienne binarne sprowadzamy do jedynek, stąd w powyższych definicjach pojęcie logiki dodatniej i ujemnej.

Zmienna binarna:
Zmienna binarna to zmienna, mogąca przyjmować w osi czasu wyłącznie dwie wartości logiczne 0 albo 1.

Funkcja logiczna:
Funkcja logiczna Y to funkcja n-zmiennych binarnych połączonych operatorami AND(*) lub OR(+).
Przykład:
Y = A+(B*C) ….

Definicja logiki dodatniej i ujemnej dla operatorów AND i OR:
Logika dodatnia (Y) to odpowiedź na pytanie kiedy dotrzymam słowa (wystąpi prawda), zaś logika ujemna (~Y) to odpowiedź na pytanie kiedy skłamię (wystąpi fałsz).
gdzie:
Y - funkcja logiczna w logice dodatniej (brak przeczenia)
~Y - funkcja logiczna w logice ujemnej (jest przeczenie)

Związek logiki dodatniej z logiką ujemną opisuje równanie:
Y = ~(~Y) - prawo podwójnego przeczenia

W naturalnej logice człowiek korzysta wyłącznie z cząstkowych operatorów sumy logicznej i iloczynu logicznego zero-jedynkowo zawsze w logice dodatniej o następujących definicjach.

Cząstkowy operator sumy logicznej w logice dodatniej (Y):
Kod:

p q Y=p+q
1 1 =1
1 0 =1
0 1 =1

Co jest zgodne z definicja ogólną sumy logicznej OR:
Suma logiczna zmiennych binarnych ma wartość 1 wtedy i tylko wtedy gdy którakolwiek zmienna jest równa 1.

Ten sam operator logice ujemnej (~Y), czyli negujemy zmienne i odwracamy wszystkie zera i jedynki.
Kod:

~p ~q ~Y=~p+~q
 0  0  0
 0  1  0
 1  0  0

Zauważmy, że powyższe tabele to dwa rozłączne światy matematyczne, oczywiście zachodzi tu równanie:
Y#~(~Y)
p+q # ~(~p+~q)

Cząstkowy operator iloczynu logicznego w logice dodatniej (Y):
Kod:

p q Y=p*q
1 1 =1

Co jest zgodne z definicją ogólną iloczynu logicznego AND:
Iloczyn logiczny zmiennych binarnych ma wartość 1 wtedy i tylko wtedy gdy wszystkie zmienne mają wartość 1.

Ten sam operator logice ujemnej (~Y), czyli negujemy zmienne i odwracamy wszystkie zera i jedynki.
Kod:

~p ~q ~Y=~p*~q
 0  0  0

Tu również powyższe tabele to dwa rozłączne światy matematyczne, gdzie zachodzi:
Y # ~(~Y)
p*q # ~(~p*~q)

Operatory OR I AND

Definicja operatora OR
OR - złożenie cząstkowego OR w logice dodatniej i cząstkowego AND w logice ujemnej
Kod:

Dotrzymam słowa (prawda):
Y=p+q
   p q Y=p+q
A: 1 1 =1   /Y=p+q = p*q+p*~q+~p*q
B: 1 0 =1
C: 0 1 =1
Skłamię (fałsz):
~Y=~p*~q
D: 0 0 =0   /~Y=~p*~q

Oczywiście matematycznie zachodzi:
Y (logika dodatnia) # ~Y (logika ujemna)

Oczywisty związek logiki dodatniej i ujemnej:
Y=~(~Y)
Stąd po podstawieniu A i D otrzymujemy prawo de’Morgana dla sumy logicznej:
p+q = ~(~p*~q) - prawo zamiany operatora OR(+) na AND(*)

Definicja operatora AND
AND - złożenie cząstkowego AND w logice dodatniej i cząstkowego OR w logice ujemnej
Kod:

Dotrzymam słowa (prawda):
Y=p*q
   p q Y=p*q
A: 1 1 =1   /Y= p*q
Skłamię (fałsz):
~Y=~p+~q
B: 0 0 =0   /~Y= ~p+~q = ~p*~q+~p*q+p*~q
C: 0 1 =0
D: 1 0 =0

Oczywiście matematycznie zachodzi:
Y(logika dodatnia) # ~Y (logika ujemna)

Oczywisty związek logiki dodatniej i ujemnej:
Y = ~(~Y)
Podstawiając A i B otrzymujemy prawo de’Morgana dla iloczynu logicznego:
p*q = ~(~p+~q) - prawo zamiany operatora AND(*) na OR(+)

Oczywiście na mocy definicji operator OR to fundamentalnie co innego niż operator AND.
P*q # p+q

Z powyższego otrzymujemy równanie ogólne dla operatorów OR i AND:
p*q = ~(~p+~q) # p+q = ~(~p*~q)

Po obu stronach nierówności mamy dwa niezależne układy logiczne pomiędzy którymi nie zachodzą żadne tożsamości matematyczne.

Po rozbiciu na logikę dodatnią i ujemną mamy:
Kod:

 Y=p*q   #  Y=p+q

~Y=~p+~q # ~Y=~p*~q

Zauważmy, że związki między logikami (prawa de’Morgana):
Y=~(~Y)
zachodzą wyłącznie w pionach i nie zachodzą ani po przekątnych, ani w poziomach.

Co więcej !
Z lewej strony mamy zero-jedynkową definicję operatora AND, natomiast z prawej strony mamy zero-jedynkową definicję operatora OR
Kod:

11=1  Y=p*q    #  11=1  Y=p+q
00=0 ~Y=~p+~q  #  10=1
01=0           #  01=1
10=0           #  00=0 ~Y=~p*~q

Wniosek:
Z powyższego wynika, że operator AND nie może istnieć bez operatora OR i odwrotnie, bowiem prawa de’Morgana zachodzą w obrębie jednej i tej samej definicji zero-jedynkowej !

Doskonale widać, że jeśli zanegujemy wszystkie zmienne i odwrócimy zera i jedynki to lewy pion przejdzie w prawy i odwrotnie. Oznacza to że operator OR jest logiką ujemną w stosunku do AND albo odwrotnie, zależnie od punktu odniesienia.

Dlaczego wraz z negacją zmiennych odwracamy zera i jedynki ?
W technice bramek logicznych wciągnięcie negacji do nazwy sygnału powoduje odwrócenie zer i jedynek dochodzących do tego układu (pkt.6.0).

Operatory implikacji prostej => i odwrotnej ~>

Definicja implikacji prostej:
p=>q
Jeśli zajdzie p to musi => zajść q
p musi być wystarczające dla q
plus musi zachodzić wyrocznia implikacji, prawo Kubusia:
p=>q = ~p~>~q

Definicja implikacji odwrotnej:
p~>q
Jeśli zajdzie p to może ~> zajść q
p musi być konieczne dla q
plus musi zachodzić wyrocznia implikacji, prawo Kubusia:
p~>q = ~p=>~q

Identyczne równanie ogólne jak w OR i AND mamy w implikacji na podstawie praw Kubusia.
Prawa Kubusia:
p=>q = ~p~>~q - prawo zamiany operatora implikacji prostej => na implikację odwrotną ~>
p~>q = ~p=>~q - prawo zamiany operatora implikacji odwrotnej ~> na implikację prostą =>

Logika dodatnia i ujemna dla operatorów implikacji prostej => i odwrotnej ~>
Implikacja wypowiedziana jest w logice dodatniej jeśli po stronie q nie występuje negacja, inaczej mamy do czynienia z logiką ujemną (patrz prawa Kubusia).

Z praw Kubusia wynika, że implikacja prosta => w logice dodatniej jest równoważna implikacji odwrotnej ~> w logice ujemnej i odwrotnie, czyli implikacja odwrotna ~> w logice dodatniej jest równoważna implikacji prostej => w logice ujemnej.

Oczywiście matematycznie na podstawie definicji zachodzi:
p=>q # p~>q

Stąd równanie ogólne implikacji:
A: p=>q = ~p~>~q # p~>q = ~p=>~q

Po obu stronach nierówności mamy dwa niezależne układy logiczne pomiędzy którymi nie zachodzą żadne tożsamości matematyczne.

Równanie ogólne w kwadracie logicznym implikacji:
Kod:

 p=>q  #  p~>q

~p~>~q # ~p=>~q

W pionach mamy wyżej tożsamości matematyczne, prawa Kubusia. Między pionami ani w poziomie, ani po przekątnych nie zachodzą żadne prawa matematyczne (identycznie jak w AND i OR).

W pionach mamy tu najzwyklejsze definicje zero-jedynkowe implikacji prostej => z lewej strony i implikacji odwrotnej ~> z prawej strony.
Kod:

11=1 p=>q   #  11=1 p~>q
10=0 p=>~q  #  10=1 p~~>~q
00=1 ~p~>~q #  00=1 ~p=>~q
01=1 ~p~~>q #  01=0 ~p=>q

Wniosek:
Z powyższego wynika, że operator implikacji prostej => nie może istnieć bez operatora implikacji odwrotnej ~> i odwrotnie bo prawa Kubusia zachodzą w obrębie jednej i tej samej definicji zero-jedynkowej !

Doskonale widać, że jeśli zanegujemy wszystkie zmienne i odwrócimy zera i jedynki to lewy pion przejdzie w prawy i odwrotnie. Oznacza to że operator implikacji prostej => jest logiką ujemną w stosunku do implikacji odwrotnej ~> albo odwrotnie, zależnie od punktu odniesienia.

Dlaczego wraz z negacją zmiennych odwracamy zera i jedynki ?
W technice bramek logicznych wciągnięcie negacji do nazwy sygnału powoduje odwrócenie zer i jedynek dochodzących do tego układu (pkt.6.0).

Powyższe równanie ogólne implikacji zapisane jest dla punktu odniesienia ustawionego zawsze na wypowiedzianym zdaniu, czyli po „Jeśli…” mamy zawsze poprzednik p, zaś po „to…” mamy zawsze następnik q.

Jeśli zależy nam uwypukleniu faktu zamiany argumentów to na powyższe równanie można spojrzeć ze sztywnego punktu odniesienia ustawionego na zdaniu p=>q, wtedy przybierze ono postać:
B: p=>q = ~p~>~q # q~>p = ~q=>~p

Równie dobrze sztywny punkt odniesienia możemy ustawić na zdaniu p~>q, wtedy równanie przybierze postać:
C: p~>q = ~p=>~q # q=>p = ~q~>~p

Oczywiście równania A, B i C są matematycznie równoważne o czym można się przekonać podstawiając dowolną implikację prostą => prawdziwą, która po zamianie argumentów przechodzi w implikacje odwrotną ~> prawdziwą, ale matematycznie nie równoważną, na mocy powyższego równania.

Przykład:
Implikacja prosta:
1.
Jeśli jutro będzie padać to na pewno => będzie pochmurno
P=>CH
Padanie deszczu wystarcza aby istniały chmury, zatem implikacja prosta prawdziwa
2.
Implikacja odwrotna:
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P
Chmury są konieczne dla deszczu, zatem implikacja odwrotna prawdziwa

A.
Równanie ogólne implikacji dla punktu odniesienia ustawionego zawsze na zdaniu wypowiedzianym czyli po „Jeśli…” mamy zawsze poprzednik p zaś po „to…” mamy zawsze następnik q.
Zauważmy, że ten punkt odniesienia jest zgodny z definicjami implikacji prostej => i odwrotnej ~> !
1.
Jeśli jutro będzie padać to na pewno => będzie pochmurno
P=>CH
p=P, q=CH
2.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P
p=CH, q=P
stąd:
A: p=>q = ~p~>~q # p~>q = ~p=>~q
Nasz przykład:
A: P=>CH = ~P~>~CH # CH~>P = ~CH=>~P

B.
Równanie ogólne implikacji dla sztywnego punktu odniesienia p=>q
Mamy:
1.
Jeśli jutro będzie padać to na pewno => będzie pochmurno
P=>CH
p=P
q=CH
stąd:
B: p=>q = ~p~>~q # q~>p = ~q=>~p
Nasz przykład:
B: P=>CH = ~P~>~CH # CH~>P = ~CH=>~P

C.
Równanie ogólne implikacji dla sztywnego punktu odniesienia p~>q
Mamy:
2.
Jeśli jutro będzie pochmurno to może ~> padać
CH~>P
p=CH
q=P
C: p~>q = ~p=>~q # q=>p = ~q~>~p
Nasz przykład:
C: CH~>P = ~CH=>~P # P=>CH = ~P~>~CH

Doskonale widać, że dla konkretnego przykładu równanie ogólne implikacji jest identyczne i niezależne od punktu odniesienia z którego na nie patrzymy.
CND

Jakiś matematyk ze 150 lat temu, kompletnie nie rozumiejąc kluczowego w implikacji punktu odniesienia błędnie postawił w równaniu B znak tożsamości:
B: p=>q = ~p~>~q = q~>p = ~q=>~p

Fałszywe równanie ogólne implikacji wyżej to przyczyna wariatkowa w całej dzisiejszej logice, z powyższego powodu wewnętrznie sprzecznej, i matematycznie niejednoznacznej.

Dowód:
B: p=>q = ~p~>~q = q~>p = ~q=>~p
Powyższe równie zapisano przyjmując za punkt odniesienia zdanie B: p=>q.
Dla naszego przykładu równanie to przybierze postać:
B: P=>CH = ~P~>~CH = CH~>P = ~CH=>~P

Oczywiście w poprawnej matematyce nie może być świętych krów, zatem równie dobrze możemy przyjąć za punkt odniesienia zdanie C: p~>q
C: p~>q = ~p=>~q = q=>p = ~q~>~p
Nasz przykład:
C: CH~>P = ~CH=>~P = P=>CH = ~P~>~CH

Na mocy definicji implikacji mamy:
B: p=>q # C: p~>q
Rozwijamy prawą i lewą stronę w oparciu o równania B i C:
B: P=>CH = ~P~>~CH = CH~>P = ~CH=>~P # C: CH~>P = ~CH=>~P = P=>CH = ~P~>~CH

W tożsamości równania możemy przestawiać, zamieńmy prawą stronę dookoła czerwonego znaku „=
B: P=>CH = ~P~>~CH = CH~>P = ~CH=>~P # P=>CH = ~P~>~CH = C: CH~>P = ~CH=>~P

Doskonale widać, że po obu stronach nierówności mamy identyczne równania zatem:
A # A
algebra Boole’a leży w gruzach!
Zauważmy, że powyższa nierówność to absolutny idiotyzm w dowolnej algebrze, w dowolnym rozumowaniu logicznym !

Wnioski:
1.
Dowolna logika formalna, która nie respektuje równania ogólnego implikacji:
A: p=>q = ~p~>~q # p~>q = ~p=>~q
jest wewnętrznie sprzeczna (bo A#A).
CND
2.
Jedyną znaną człowiekowi logiką pozbawioną wewnętrznej sprzeczności jest Nowa Teoria Implikacji.
3.
Najbardziej spektakularny i bezdyskusyjny dowód fałszywości fundamentu dzisiejszej logiki jakoby implikacja odwrotna ~> była matematycznie zbędna na mocy tego równania:
p=>q = q~>p
pokazano w punkcie 7.4.
W rzeczywistości mamy bezdyskusyjnie:
p=>q # q~>p
zatem implikacja odwrotna ~> jest w logice absolutnie niezbędna.

Uznanie równych praw implikacji prostej => i odwrotnej ~> plus praw Kubusia to koniec wariatkowa w dzisiejszej „logice”, to koniec analizowania na serio matematycznych śmieci w rodzaju:
A.
Jeśli pies jest różowy to krowa śpiewa w operze
PR=>KS=1
p=>q
Implikacja prawdziwa w dzisiejszej „logice”
B.
2+2=4 wtedy i tylko wtedy gdy wszyscy murzyni są czarni
2+2=4 <=> WMC =1
p<=>q
Autentyczna równoważność „prawdziwa” z matematyki.pl

W NTI oba powyższe zdania są fałszywe bowiem w A poprzednik p nie jest warunkiem wystarczającym dla następnika q, natomiast w B między p i q muszą zachodzić warunki wystarczające w obie strony co oczywiście nie ma miejsca.


3.0 Implikacja w naturalnej logice człowieka

Analogia do operatorów AND i OR omówionych wyżej jest tu 100%.

Definicja warunku wystarczającego

Definicja zero-jedynkowa warunku wystarczającego => w logice dodatniej:
Kod:

p q  Y=p=>q
1 1 =1
1 0 =0

Definicja operatorowa warunku wystarczającego w logice dodatniej:
Kod:

Warunek wystarczający, logika dodatnia
p=>q =1  /q - logika dodatnia
1 1 =1
p=>~q=0
1 0 =0

p=>q
Jeśli zajdzie p to musi => zajść q
p musi być warunkiem wystarczającym dla q

Definicja operatorowa warunku wystarczającego w logice ujemnej, czyli negujemy wszystkie zmienne oraz odwracamy zera i jedynki im odpowiadające.
Kod:

Warunek wystarczający, logika ujemna
~p=>~q =1  /~q - logika ujemne
0 0 =1
~p=>q=0
0 1 =0

Powyższe tabele to dwa odrębne światy matematyczne pomiędzy którymi nie zachodzą żadne związki matematyczne:
p=>q # ~p=>~q

Definicja warunku koniecznego

Definicja zero-jedynkowa warunku koniecznego ~> w logice dodatniej:
Kod:

p q  Y=p~>q
1 1 =1
1 0 =1

Definicja operatorowa warunku koniecznego ~> w logice dodatniej:
Kod:

Warunek konieczny, logika dodatnia
p~>q  =1  /q - logika dodatnia
1 1 =1
p~~>~q=1
1 0 =1

p~>q
Jeśli zajdzie p to może ~> zajść q
p musi być warunkiem koniecznym dla q

Definicja operatorowa warunku koniecznego w logice ujemnej, czyli negujemy wszystkie zmienne oraz odwracamy zera i jedynki im odpowiadające.
Kod:

Warunek konieczny, logika ujemna
~p~>~q =1  /~q - logika ujemne
0 0 =1
~p~~>q =1
0 1 =1

Powyższe tabele to dwa odrębne światy matematyczne pomiędzy którymi nie zachodzą żadne związki matematyczne:
p~>q # ~p~>~q

Definicje:
1.
Implikacja prosta to złożenie warunku wystarczającego => w logice dodatniej i koniecznego ~> w logice ujemnej
2.
Implikacja odwrotna to złożenie warunku koniecznego ~> w logice dodatniej i wystarczającego w logice ujemnej
3.
Równoważność to złożenie warunku wystarczającego w logice dodatniej i warunku wystarczającego w logice ujemnej

Koniec !
To co wyżej to banalna logika na poziomie 5-cio letniego dziecka, naturalnego eksperta implikacji, matematycznie to poziom I klasy LO.

2010-05-25
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Wto 4:17, 25 Maj 2010    Temat postu:

Z pierwszego twierdzenia Godla, fundamentu matematyki mechaniki kwantowej i teorii względności wyprowadzamy takie równanie, fundament istoty naszego wszechświata, a i dodam nieskromnie, samego wiekuistego boga: P=~P. Oto jest prawda, a jak się komu nie podoba, to w mordę go.

Adsam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Wto 7:15, 25 Maj 2010    Temat postu:

Śfinia, wnoszę o zadrutowanie ryja temu osobnikowi :)
rafal3006 napisał:
barycki napisał:

P=~P. Oto jest prawda ...

Adsam Barycki

Prawda IDIOTÓW.

barycki napisał:

Matematyka Godla nie jest sprzeczna z matematyką Bollea.

Adam Barycki

Fundament algebry Boole'a:
P#~P


Ostatnio zmieniony przez rafal3006 dnia Wto 7:26, 25 Maj 2010, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Wto 8:09, 25 Maj 2010    Temat postu:

Tylko w ograniczonej aksjomatyce, która na to pozwala. Wszechświatem jednak rządzi boskie prawo wszechmocy: P=~P i ja osobiście jak mam chwilkę czasu.

Adam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Wto 8:16, 25 Maj 2010    Temat postu:

Barycki:
Równanie P=~P oznacza po prostu NIC, pojęcie P nie należy do naszego Wszechświata.

Ogólną teorię NICZEGO masz wyłożoną tu:
[link widoczny dla zalogowanych]
... ale i tak nic z tego nie zrozumiesz :)

Niestety nie ty stworzyłeś nasz Wszechświat.

...fragment z podpisu.

4.6 Matematyczna historia powstania naszego Wszechświata

Z przymrużeniem oka,
… czyli jak w prosty sposób zapamiętać najważniejsze definicje w logice klasycznej, zarówno w wersji operatorowej, jak i zero-jedynkowej.

Na początku było:
Kod:

1=1

i stał się cud:
Kod:

(p+~p)=(q+~q)

p+~p=1 - prawo algebry Boole’a
czyli:
Kod:

 p=>(q+~q)
~p=>(~q+q)

stąd mamy …

Operatorowa definicja równoważności:
Kod:

 p   q p<=>q
 p=> q =1    /warunek wystarczający w logice dodatniej (bo q)
 p=>~q =0
~p=>~q =1    /warunek wystarczający w logice ujemnej (bo ~q)
~p=> q =0

Stąd definicja zero jedynkowa równoważności dla kodowania w logice dodatniej:
p=1, ~p=0
q=1, ~q=0
Kod:

p q p<=>q
1 1 =1
1 0 =0
0 0 =1
0 1 =0

Definicje operatorowe równoważności:
p<=>q = (p=>q)*(~p=>~q) - na podstawie definicji operatorowej
Prawo kontrapozycji poprawne w równoważności:
~p=>~q = q=>p
stąd odprysk definicji równoważności:
p<=>q - (p=>q)*(q=>p)

W naszym Wszechświecie zdecydowanie przeważa implikacja, zatem ostatnie dwie linie ulegają rozczepieniu:

Operatorowa definicja implikacji prostej:
Kod:

 p   q p=>q
 p=> q =1    /warunek wystarczający w logice dodatniej (bo q)
 p=>~q =0
… a jeśli zajdzie ~p ?
Prawo kubusia:
p=>q = ~p~>~q
~p~>~q =1    /warunek konieczny w logice ujemnej (bo ~q)
~p~~>q =1

Zauważmy, że warunek konieczny jest tu oczywistością, bowiem implikacja powstała przez rozczepienie równoważności.
Stąd definicja zero-jedynkowa implikacji prostej dla kodowania w logice dodatniej:
p=1, ~p=0
q=1, ~q=0
Kod:

p q p=>q
1 1 =1
1 0 =0
0 0 =1
0 1 =1

Definicja implikacji prostej w równaniu algebry Boole’a:
p=>q = ~p+q
Ta definicja po prawej stronie wyrażona w OR jest tu psu na budę potrzebna bo operator OR „nie jest z tego świata”. Należy go traktować jako skrócony zapis tabeli zero-jedynkowej, absolutnie nic więcej.

lub pierwsze dwie linie z definicji równoważności ulegają rozczepieniu:


Ostatnio zmieniony przez rafal3006 dnia Wto 8:24, 25 Maj 2010, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Wto 17:25, 25 Maj 2010    Temat postu:

Otóż to, otóż to Kubusiu, nic, właśnie ono jest istotą wszystkiego, czyli niczego. Musisz mi uwierzyć, bo twój barani łeb nie pozwoli ci samemu obliczyć, że ja dokładnie wszystko policzyłem, wszystko, to znaczy, nic, i wyszło mi absolutne zero. Sprawdzałem to wielokrotnie i zawsze to samo – zero. Nic innego nie chce wyjść. Zamiast siedzieć wygodnie i napawać się swoją mądrością, to nagle, nie wiedzieć czemu, zaczęło mi się wydawać, że jednak troszeczkę jest. Tak mi to troszeczkę utkwiło w głowie, że spać po nocach nie mogę, męczę się niemiłosiernie. Nie było rady, udałem się po pomoc do psychiatry. Psychiatra całkowicie się zgodził z wynikami moich równań, sprawdził kilka razy i nic innego nie chciało mu wyjść jak zero. Bardzo się zaniepokoił, że uparcie siedzi we mnie to chorobliwe przekonanie o istnieniu tego maluśkiego troszeczkę. Jednak nie wyśmiał mnie, tylko zrobił zastrzyk i zapisał tabletki. Od tamtej pory leczę się systematycznie i idzie ku poprawie, coraz mniej mi się wydaje, że jeszcze czegokolwiek pozostało choć troszeczkę. To forum bardzo pomogło mi w terapii, im więcej czytam tekstów, tym większą widzę nicość. Jeszcze tylko Kubusiu z osiem razy wkleisz najnowszą wersję NTI i wyzbędę się całkowicie chorobliwego złudzenia, że jest, choć tyciu tyciu tyciuteńkie troszeczkę.

Adam Barycki
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Czw 15:22, 27 Maj 2010    Temat postu:

Ostatni post Kubusia, mam nadzieję :think:

Twierdzenia matematyczne uważane są za prawdziwe, ponieważ w niczyim interesie nie leży, by uważać je za fałszywe.
Monteskiusz
Poprawna, dwuelementowa algebra Boole'a to matematyczny opis naszego Wszechświata, zarówno martwego jak i żywego. Gdyby algebra Boole'a była na poziomie czystej abstrakcji to byłaby nie do ruszenia.
Kubuś

Obalanie implikacyjnych mitów

Absolutny i druzgocący dowód niezbędności operatora implikacji odwrotnej ~> w logice, oczywiście przeprowadzony na bazie nowych definicji implikacji z NTI bo:
Implikacja materialna = królowa absolutnego idiotyzmu

Operatory implikacji prostej => i odwrotnej ~>

Definicja implikacji prostej:
p=>q
Jeśli zajdzie p to musi => zajść q
p musi być wystarczające dla q
plus musi zachodzić wyrocznia implikacji, prawo Kubusia:
p=>q = ~p~>~q

Definicja implikacji prostej w bramce logicznej:
p=>q = ~p+q
=> - operator implikacji prostej, spójnik „musi” ze spełnionym warunkiem wystarczającym (czytamy zgodnie ze strzałką)
Kółko „O” oznacza wbudowaną w środku bramki OR negację „~” na linii p.
Kod:

  p    q
  P8   P2
  |    |
 ---------
 |O =>   |
 | musi  |
 |  OR   |
 |-------|
 |    <~ |
 | może  |
 ---------
     |
    p=>q
   P8=>P2

Stojąc na przewodzie p, punkcie odniesienia, widzimy niezanegowaną linię q.

Ze schematu widzimy że:
p=>q = p<~q
wtedy i tylko wtedy gdy symbol <~ będzie czytany przeciwnie do strzałki jako spójnik „musi” z warunkiem wystarczającym.

Jeśli oba wektory będziemy czytać zgodnie ze strzałką to zachodzi:
p=>q # q~>p

Lewa strona nierówności to obserwacja rzeczywistości z punktu odniesienia p (na tym przewodzie stoimy), natomiast prawa strona to obserwacja rzeczywistości z punktu odniesienia q (na tym przewodzie stoimy).

Definicja implikacji odwrotnej:
p~>q
Jeśli zajdzie p to może ~> zajść q
p musi być konieczne dla q
plus musi zachodzić wyrocznia implikacji, prawo Kubusia:
p~>q = ~p=>~q

Definicja implikacji odwrotnej w bramce logicznej:
p~>q = p+~q
~> - operator implikacji odwrotnej, spójnik „może” ze spełnionym warunkiem koniecznym (czytamy zgodnie ze strzałką)
Kółko „O” oznacza wbudowaną w środku bramki OR negację „~” na linii q.
Kod:

  p    q
  P2   P8
  |    |
 ---------
 |  ~> O |
 | może  |
 |  OR   |
 |-------|
 |    <= |
 | musi  |
 ---------
     |
    p~>q
   P2~>P8

Stojąc na przewodzie p, punkcie odniesienia, widzimy zanegowaną linię q.

Ze schematu widzimy że:
p~>q = p<=q
wtedy i tylko wtedy gdy symbol <= będzie czytany przeciwnie do strzałki jako spójnik „może” z warunkiem koniecznym.

Jeśli oba wektory będziemy czytać zgodnie ze strzałką to zachodzi:
p~>q # q=>p

Lewa strona nierówności to obserwacja rzeczywistości z punktu odniesienia p (na tym przewodzie stoimy), natomiast prawa strona to obserwacja rzeczywistości z punktu odniesienia q (na tym przewodzie stoimy).

Zauważmy, że teoretycznie jeden z symboli => albo ~> jest zbędny, jednak prowadzi to do niejednoznaczności. Załóżmy, że usuwamy „zbędny” symbol ~>. Wtedy wektor => czytany zgodnie ze strzałką oznacza co innego niż wektor <= czytany przeciwnie do strzałki (pkt.5.3 w NTI)
Operatory p=>q i p~>q to na mocy definicji fundamentalnie co innego i muszą mieć inne symbole, w tym przypadku oba symbole czytamy zgodnie ze strzałką.

Prawa Kubusia:
p=>q = ~p~>~q - prawo zamiany operatora implikacji prostej => na implikację odwrotną ~>
p~>q = ~p=>~q - prawo zamiany operatora implikacji odwrotnej ~> na implikację prostą =>


Zdania przykładowe:
1.
Jeśli liczba jest podzielna przez 8 to na pewno jest podzielna przez 2
P8=>P2
p=>q - na mocy definicji implikacji prostej !!!
P8 wystarcza dla P2, implikacja prosta prawdziwa
2.
Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2~>P8
p~>q - na mocy definicji implikacji odwrotnej !!!
P2 jest konieczne dla P8, implikacja odwrotna prawdziwa

Oczywiście matematycznie zachodzi równanie ogólne implikacji:
p=>q =~p~>~q # p~>q=~p=>~q
P8=>P2=~P8~>~P2 # P2~>P8=~P2=>~P8
Między obiema stronami nierówności nie zachodzą żadne tożsamości matematyczne.
Zauważmy że.
Lewa strona nierówności:
P=P8, q=P2
Prawa strona nierówności:
p=P2, q=P8
Każdemu kto protestuje przeciw powyższemu wyjaśniam iż nie ma pojęcia o teorii bramek logicznych, dwuelementowej algebrze Boole’a.
Matematyczne uzasadnienie powyższego podstawienia wymaga dowodu iż:
p=>q # q~>p - dowód w punkcie 7.0 w NTI
Powyższy dowód można zweryfikować w laboratorium cyfrowych układów logicznych, jest to zatem dowód fizyczny, a nie abstrakcyjny.
Pozorne równanie:
p=>q=q~>p
zachodzi wtedy i tylko wtedy, gdy nie rozróżniamy logiki dodatniej i ujemnej w algebrze Boole’a.
Algebra Boole’a bez rozróżnienia logiki dodatniej i ujemnej to fałszywy, matematyczny opis rzeczywistości. Operatory AND i OR to operatory względem siebie przeciwne, również implikacja prosta => i odwrotne ~> to też operatory wzglądem siebie przeciwne (dowód pkt.2.3 w NTI).

Interpretację potoczną operatorów implikacji prostej => i odwrotnej ~> najlepiej widać w obietnicach i groźbach.

Definicja obietnicy w NTI:
Jeśli dowolny warunek to nagroda
W=>N
Ja tego chcę, biegnę do nagrody

Definicja groźby w NTI:
Jeśli dowolny warunek to kara
W~>K
Ja tego nie chcę, uciekam od kary

Zwierzątka które nie odróżniały nagrody od kary, czyli logiki dodatniej od ujemnej dawno wyginęły.

Algebra Boole'a nie ma 100% przełożenia na algebrę dziesiętną, to fakt ogólnie znany. Wyżej Kubuś dorzuca jeszcze jeden kamyczek do tego ogródka, myślę, że najważniejszy w całej historii logiki bo:

Nowa Teoria Implikacji = matematyka naturalnego języka mówionego !

... mamy to czego ludzie bezskutecznie poszukują od 2500 lat, głównie dzięki dyskusjom na ŚFINII i ateiście.pl, wielkie dzięki wszystkim.

Kubuś - Wirtualny Internetowy Miś
… wysłannik obcej cywilizacji, którego zadaniem było przekazanie ludziom tajemnicy implikacji

Implikacja to problem na poziomie 5-cio letniego dziecka, naturalnego eksperta w tej dziedzinie, matematycznie to problem na poziomie I klasy LO, absolutnie nic więcej.

Witamy w świecie normalnych, koniec z idiotyzmami w stylu:
Jeśli pies jest różowy to krowa śpiewa w operze
PR=>KS=1 - implikacja prawdziwa w wariatkowie

Obalenie mitu o zbędności implikacji odwrotnej

Kod:

Tabela A
        |Punkt             |Punkt
        |odniesienia       |odniesienia
        | p=>q             | p~>q
        |                  |
   p  q | p=>q     q=>p    |   p~>q     q~>p
   1  1 | =1       =1      |   =1       =1
   1  0 | =0       =1      |   =1       =0
   0  0 | =1       =1      |   =1       =1
   0  1 | =1       =0      |   =0       =1
A. P8 P2 P8=>P2=1 P2=>P8=0 | P2~>P8=1 P8~>P2=0 - punkt odniesienia „Jeśli..to..”
B. P8 P2 P8=>P2=1 P2=>P8=0 | P8~>P2=0 P2~>P8=1 - punkt odniesienia p=>q
C. P8 P2 P2=>P8=0 P8=>P2=1 | P2~>P8=1 P8~>P2=0 - punkt odniesienia p~>q

A.
Punkt odniesienia ustawiony zawsze na wypowiedzianym zdaniu czyli po „Jeśli” mamy zawsze p, zaś po „to…” mamy zawsze q
p=>q=1, p~>q=1 - oba zdania prawdziwe, ale nie równoważne bo w przeciwnych logikach
P8=>P2=1, P2~>P8=1

q=>p=0, q~>p=0 - fałszywe
P2=>P8=0, P8~>P2=0
Wniosek:
Implikacja odwrotna jest w logice niezbędna, inaczej nie zakodujemy zdania p~>q

B.
Punkt odniesienia p=>q
p=>q=1, q~>p=1 - oba zdania prawdziwe, ale nie równoważne bo w przeciwnych logikach
P8=>P2=1, P2~>P8=1

q=>p=0, p~>q=0 - fałszywe
P2=>P8=0, P8~>P2=0
Wniosek:
Implikacja odwrotna ~> jest w logice niezbędna inaczej nie zakodujemy zdania q~>p

C.
Punkt odniesienia p~>q
p~>q=1, q=>p=1 - oba zdania prawdziwe, ale nie równoważne bo w przeciwnych logikach
P2~>P1, P8=>P2=1

q~>p=0, p=>q=0 - fałszywe
P8~>P2=0, P2=>P8=0
Wniosek:
Implikacja prosta jest w logice niezbędna inaczej nie zakodujemy zdania q=>p

Wniosek:
Obie implikacje prosta => i odwrotna ~> są w logice niezbędne

Jak widzimy wyżej, nawet w Klasycznym Rachunku Zdań gdzie zachodzi (błędnie zresztą - pkt.7.0 w NTI):
B: p=>q = q~>p
C: p~>q = q=>p
Implikacja odwrotna jest niezbędna na podstawie B i C.

Rexerex napisał:
Pytanie: Czy pochwaliłeś się NTI na jakiejś uczelni już? Widział to jakiś szanujący się profesor czy ktoś?


Pójdę na uczelnię i na 100% trafię na Windziarza, tak wiec to bez sensu.
Wszyscy wiedzą że implikacja materialna w obsłudze naturalnej logiki człowieka to idiotyzm. Wszyscy szukają matematycznego opisu naturalnego języka mówionego od 2500 lat.

Uznanie praw Kubusia sprowadza problem implikacji która posługują się ludzie do poziomu 5-cio latka.

Problem w tym że przyjęcie praw Kubusia (poprawne w KRZ !), rozwala całą współczesną logikę w zakresie implikacji bo prawa te wymagają równych praw implikacji prostej => i odwrotnej ~>.

Komu na tym zależy ?

[link widoczny dla zalogowanych]
Intencją Lewisa było stworzenie takiej logiki, która lepiej niż implikacja materialna w klasycznym rachunku zdań oddawałaby implikację występującą w języku naturalnym. Lewis nie uświadamiał sobie jeszcze w pełni różnicy między wynikaniem a implikacją ścisłą, współcześnie jednak logiki Lewisa interpretuje się powszechnie jako logiki zdań modalnych, na których gruncie właśnie implikację ścisłą zdefiniować można następująco….

Rexerex napisał:
Czy Rafał mógłby przedstawić jakieś zdania z tej logiki modalnej? Bo jak na razie dużo o niej pisze, ale nic nie udowodnił czemu ona jest taka zła.


Przecież masz wyżej napisana co było intencją Lewisa i jak to sie skończyło.
Czy Lewis osiągnął zamierzony cel ?
Czy znalazł tą wersję implikacji która posługują się ludzie ?
Logiki modalne to ostatnia klęska człowieka w poszukiwaniu tej implikacji.

W tym poście:
[link widoczny dla zalogowanych]
masz dowód że AND nie może istnieć bez OR, zaś implikacja prosta => bez odwrotnej ~> bo prawa de’Morgana i prawa Kubusia zachodzą w obrębie jednej i tej samej definicji zero-jedynkowej.

Z powyższego wynika, że wszelkie znane człowiekowi logiki to wyłącznie logiki formalne (ułomne), bo nie uznające równych praw implikacji prostej => i odwrotnej ~> oraz praw Kubusia.


Ostatnio zmieniony przez rafal3006 dnia Pią 7:24, 28 Maj 2010, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Czw 21:00, 27 Maj 2010    Temat postu:

Kubusiu, ulituj się nad sobą i nie bluźnij bogu, twoja NTI go ogranicza, tylko P=~P daje bogu wszechmoc. Więc która logika jest boska, twoja z kalekim bogiem, czy moja z bogiem wszechmocnym? Zresztą zapytaj jakiegokolwiek biskupa, to ci tak wpierdoli, że zaraz NTI wywietrzeje ci z głowy.

Adam Barycki
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Kori
Bloger na Kretowisku



Dołączył: 08 Lip 2009
Posty: 529
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 21:58, 27 Maj 2010    Temat postu:

To się robi takie monotonne.

Ostatnio zmieniony przez Kori dnia Czw 21:58, 27 Maj 2010, 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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Czw 22:06, 27 Maj 2010    Temat postu:

Kori napisał:
To się robi takie monotonne.

Jak kto nic nie rozumie to jest monotonne ... ale jeśli ludzie to załapią (co nie jest pewne mimo że to matematyka na poziomie I klasy LO) to będzie to koniec świata starego i początek nowego.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
barycki/konto usunięte
Usunięcie na własną prośbę



Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów

Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW
Płeć: Mężczyzna

PostWysłany: Pią 5:40, 28 Maj 2010    Temat postu:

Ba, jak P=~P może nie być monotonne, skoro nie jest kolorowym obrazkiem, a poza tym, komu to jest potrzebne, tylko przeszkadza nam zdefiniować dobro, szczęście, miłość i wszystko inne, a jak tu żyć bez jasnej definicji. Jajogłowi tak namieszali, że zrozumieć nie idzie tych naukowych fanaberii. Jednak my nie kaszanką robieni, my sobie wszystko uporządkujemy, jest demokracja, jajogłowych sami sobie wybierzemy i będą tańczyć jak im zagramy, koniec z mrokami mechaniki kwantowej, na śmietniku jej miejsce, już my lepiej wiemy czym jest elektron i szczęście, koniec z Heisenbergiem i Tatarkiewiczem. Nareszcie mamy prawdziwe źródło wiedzy, w „Pudelku” niemonotonnie opiszą nam całą miłą naszym sercom prawdę. Koniec z fałszem, my dobrze potrafimy wyczuć gdzie leży kolorowa prawda.

Adam Barycki
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
luciu




Dołączył: 13 Maj 2010
Posty: 174
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Pią 7:40, 28 Maj 2010    Temat postu:

Czy jest możliwe, aby naszą logikę, mowę i rozumowanie przełożyć na język matematyki?
Czy stosując tą metodę, możemy porozumiewać się z prędkością kompa i osiągnąć rozum Boga?
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: 35528
Przeczytał: 15 tematów

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

PostWysłany: Pią 8:23, 28 Maj 2010    Temat postu:

luciu napisał:
Czy jest możliwe, aby naszą logikę, mowę i rozumowanie przełożyć na język matematyki?
Czy stosując tą metodę, możemy porozumiewać się z prędkością kompa i osiągnąć rozum Boga?

Oczywiście że możliwe.
W naszym Wszechświecie Boga obowiązuje identyczna logika jak człowieka, czyli NTI. Implikacja to matematyczny opis "wolnej woli" człowieka.

Definicja obietnicy w NTI:
Jeśli dowolny warunek to nagroda
W=>N
Ja tego chcę, biegnę do nagrody

Definicja groźby w NTI:
Jeśli dowolny warunek to kara
W~>K
Ja tego nie chcę, uciekam od kary

Zwierzątka które nie odróżniały nagrody od kary, czyli logiki dodatniej od ujemnej dawno wyginęły.

Jak widac wyżej bez impliakcji życie nie mogłoby istnieć. Oczywiście w obietnicach przyroda często oszukuje np.

Pewien żółw w Austarlii ma na języku imitację robaka, ryba chce go zjeść (obietnica) a to żółw ja zjada.

Oczywiście ryba nabrała się na podstęp dzięki implikacji => ! Na 100% żadne zwierze w przyrodzie nie funkcjonuje chaotycznie, czyli bez matematyki jak wyżej.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Kawiarnia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3, 4, 5  Następny
Strona 3 z 5

 
Skocz do:  
Możesz pisać nowe tematy
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