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 

Kubusiowa szkoła logiki na żywo. Dyskusja z Volrathem
Idź do strony Poprzedni  1, 2, 3, 4, 5, 6
 
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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Czw 12:14, 11 Gru 2008    Temat postu:

Lekcja 20

Najciekawszy problem w całej algebrze Boole'a

volrath napisał:
W sumie to ciekawy problem - poprawne skonstruowanie logiki trójwartościowej tak, by nie potrzeba było rachunku predykatów do przetwarzania zdań "istnieje" i "dla każdego" oraz zawierał trzy wartości "prawda" = twarda prawda, "fałsz" = twardy fałsz i "może" = miękki fałsz/prawda.

Ludzie na co dzień przetwarzają zdania typu "istnieje X" i "dla każdego ze zbioru Y zachodzi Z". I część tych zdań nie mieści się w logice podstawowej (wymaga rachunku predykatów) - a może powinna.

To wytłuszczone istnieje w 100% algebrze Boole’a.

Nowa definicja algebry Boole'a

Definicja:
Algebra Boole’a to algebra legalnych operatorów matematycznych

Lista operatorów logicznych

Kod:
p q  OR NOR  AND NAND  <=> XOR  => ->  ~> <-  FILL NOP  P NP  Q NQ
0 0  0   1    0   1     1   0   1  0    1  0   1    0   0 1   0 1
0 1  1   0    0   1     0   1   1  0    0  1   1    0   0 1   1 0
1 0  1   0    0   1     0   1   0  1    1  0   1    0   1 0   0 1
1 1  1   0    1   0     1   0   1  0    1  0   1    0   1 0   1 0


A.
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P =1 bo pies, miękka prawda
B.
Jeśli zwierzę ma cztery łapy to może nie być psem
4L~>~P =1 bo słoń, miękka prawda
Prawo Kubusia dla zdania A.
4L~>P = ~4L=>~P
C.
Jeśli zwierzę nie ma czterech łap to na pewno nie jest psem
~4L=>~P =1 - twarda prawda
Z powyższej twardej prawdy wynika poniższy twardy fałsz:
D.
Jeśli zwierzę nie ma czterech łap to na pewno jest psem
~4L=>P =0 - twardy fałsz

… a gdzie jest miękki fałsz ?
Algebra Boole’a jest symetryczna i musi gdzieś być !

… i teraz najciekawszy problem w całej algebrze Boole’a.

Prawo Kubusia dla zdania B:
4L~>~P = ~4L=>P
Zauważmy, że prawa strona jest twardym fałszem - zdanie D.

Lewa strona równania jest miękką prawdą (zanie B) czyli:
4L~>~P =1 miękka prawda dla konia, słonia, kota, jeża ….
ale !!!
4L~>~P =0 dla psa !!! - miękki fałsz

Tak wiec dla psa mamy spełnione równanie Kubusia:
4L~>~P=~4L=>P =0 !!!


Zauważmy, że w podstawowym prawie Kubusia dla zdania A:
4L~>P = ~4L=>~P =1
również mamy z lewej strony miękką prawdę (czyli nie zachodzi zawsze), zaś z prawej strony twardą prawdę (zachodzi zawsze). Tu zajdzie kolizja dla dowolnego czworonoga nie będącego psem bo:

Miękka prawda i miękki fałsz dla zdania A wygląda tak:
4L~>P =1 bo pies, miękka prawda
ale !!!
4L~>P =0 miękki fałsz dla konia, słonia, kota, jeża …

To co wyżej to logika czterowartościowa, zamknięta w 100% algebrze Boole’a (logice dwuwartościowej). Identycznie jest w mikroprocesorach. Sam procesor to 100% algebra Boole’a zarówno w sprzęcie jak i oprogramowaniu, nic więcej. Z punktu odniesienia człowieka mamy logikę n-wartościową np. języki wysokiego poziomu. Bez algebry Boole’a totalnie nic by nie działało, nasz Wszechświat nie mógłby istnieć.

Logika czterowartościowa istniejąca w samej definicji algebry Boole’a opisana jest implikacją.

1 - twarda prawda
2 - twardy fałsz
3 - miękka prawda
4 - miękki fałsz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
macjan




Dołączył: 27 Maj 2008
Posty: 345
Przeczytał: 0 tematów

Skąd: Wrocław
Płeć: Mężczyzna

PostWysłany: Czw 23:10, 11 Gru 2008    Temat postu:

volrath napisał:
Ludzie na codzień przetwarzają zdania typu "istnieje X" i "dla każdego ze zbioru Y zachodzi Z". I część tych zdań nie mieści się w logice podstawowej (wymaga rachunku predykatów) - a może powinna.

Dla zbiorów Y skończonych takie kwantyfikatory można definiować jako uogólnione koniunkcje / alternatywy. Jeśli Y jest zbiorem nieskończonym, to nie sądzę, żeby to dało radę bez rachunku predykatów.
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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Pią 11:00, 12 Gru 2008    Temat postu:

macjan napisał:

Jeśli Y jest zbiorem nieskończonym, to nie sądzę, żeby to dało radę bez rachunku predykatów.

Nie wiem czy o to chodzi, ale w algebrze Boole’a nie ma żadnych problemów ze zbiorami nieskończonymi.
Wystarczy że w nieskończony zbiorze elementów fałszywych występuje jeden element prawdziwy i cały zbiór przyjmuje wartość PRAWDA (OR=1). Zero gwarantuje brak elementów prawdziwych w dowolnym zbiorze (OR=0).

Kazimierz Adjukiewicz „Język i poznanie” t.II str.135 napisał:

Jeżeli jaka logika formalna jest potrzebna uczniom zaznajamiającym się z logiką jako z przedmiotem usługowym, to chyba logika zdań zbudowanych z wyrazów naturalnego języka, którym się uczeń w życiu i naukach posługuje, a nie logika formalna języka sztucznego. Uczeń, któremu podaje się twierdzenia logiczne operujące tymi sztucznymi terminami, odczuwa je - jak sadzę - jako twierdzenia dla których w praktyce swego myślenia i rozumowania nie znajdzie nigdy zastosowania.


Logikę człowieka można opisać przy pomocy nowej definicji algebry Boole'a (wyżej) - nie widzę potrzeby stosowania tu rachunku predykatów (co to jest ? :shock: ) Jeśli coś jest matematycznie na poziomie przedszkolaka to nie należy tego komplikować, zgadza się ?

Sztucznych logik formalnych może być nieskończenie wiele, algebra Boole'a jest jedna i niezmienna od początku Wszechświata.

Badanie prawdziwości/fałszywości zdania jest dobre w równoważności (twierdzeniach matematycznych).

W implikacji interesują nas matematyczne gwarancje !

Czy rachunek predykatów słyszał coś o tym ?

Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L

... a jak nie ubrudzę ?

Prawo Kubusia:
B~>L = ~B=>~L

Jeśli nie ubrudzisz spodni to nie dostaniesz lania
~B=>~L - matematyczna gwarancja w implikacji odwrotnej ~>

To jest naturalna logika człowieka, algebra Boole'a, co rachunek predykatów na to ?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
macjan




Dołączył: 27 Maj 2008
Posty: 345
Przeczytał: 0 tematów

Skąd: Wrocław
Płeć: Mężczyzna

PostWysłany: Pią 16:27, 12 Gru 2008    Temat postu:

rafal3006 napisał:
Nie wiem czy o to chodzi, ale w algebrze Boole’a nie ma żadnych problemów ze zbiorami nieskończonymi.
Wystarczy że w nieskończony zbiorze elementów fałszywych występuje jeden element prawdziwy i cały zbiór przyjmuje wartość PRAWDA (OR=1). Zero gwarantuje brak elementów prawdziwych w dowolnym zbiorze (OR=0).

Raczej nie o to. Zacznijmy od tego, że zbiór nie przyjmuje wartości logicznej (choć zdarzały się na kolokwiach takie wpadki, jak "nieprawda, że zbiór B" ;)), ale rozumiem, że to był skrót myślowy.

Ja z kolei nie wiem, czy dobrze zrozumiałem volratha, że chodzi o to, żeby kwantyfikatory zdefiniować za pomocą działań logicznych (alternatywy, koniunkcji itp.). Dla zbiorów skończonych owszem. Dla nieskończonych zdaje się, że nie.
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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Pią 18:52, 12 Gru 2008    Temat postu:

macjan napisał:

rafal3006 napisał:
Nie wiem czy o to chodzi, ale w algebrze Boole’a nie ma żadnych problemów ze zbiorami nieskończonymi.
Wystarczy że w nieskończony zbiorze elementów fałszywych występuje jeden element prawdziwy i cały zbiór przyjmuje wartość PRAWDA (OR=1). Zero gwarantuje brak elementów prawdziwych w dowolnym zbiorze (OR=0).

Raczej nie o to. Zacznijmy od tego, że zbiór nie przyjmuje wartości logicznej (choć zdarzały się na kolokwiach takie wpadki, jak "nieprawda, że zbiór B" ;)), ale rozumiem, że to był skrót myślowy.

Niby czemu zbiór nie przyjmuje wartości logicznych ?

Jeśli uprzednio zdefiniujesz co jest w dowolnym zbiorze prawdą to można już mówić o prawdziwości/fałszywości całego zbioru.

Dawno temu był spór na swinii o damę kier. Król obiecał pół królestwa i księżniczkę temu kto ja znajdzie. Możliwy jest dowolny algorytm szukania ale weźmy ten najprostszy czyli losowe wyciągnięcie karty. Jak wyciągniesz damę to nagroda a jak nie trafisz to leci twoja głowa. Prawdopodobieństwo 1/52 ... pod warunkiem że król nie oszukuje. Jeśli król nie oszukuje i ta karta jest w talii to wartość zbioru wszystkich kart =1. Jeśli natomiast wyjął po cichu damę kier to wartość zbioru całej talii kart =0.

Z fałszu nigdy nie może powstać prawda - to był sens tego sporu.

Jeśli szukamy odkrycia czegokolwiek np. szczepionki na AIDS to określamy pewien zbiór w obrębie którego to odkrycie jest możliwe. Zakładamy, że w tym zbiorze istnieje prawda czyli szczepionka na AIDS. Oczywiście możemy się mylić, nasze założenie może być błędne, ale na 100% nie będziemy szukać szczepionki w zbiorze co do którego jesteśmy "pewni" iż jest on fałszywy - tu szczepionki być nie może.

Z fałszu nie może powstać prawda, jak również z prawdy nie może powstać fałsz.

Konkretny przykład:
20 lat temu wszystkie laboratoria świata i największe umysły szukały niebieskiej diody LED kluczowej dla sygnału RGB (kolorowe telebimy) w grupie pierwiastków X. Diodę niebieską znaleziono lecz jej jasność i żywotność mimo dziesięciu lat intensywnych badań była do kitu. Nikomu nie znany młody Japończyk Takamura, specjalista od najzwyklejszych świetlówek, zaczął szukać diody LED w grupie pierwiastków Y ... no i znalazł niebieską LED o fenomenalnej jasności i żywotności. Natychmiast okrzyknięto go Edisonem diod LED ...

Jest oczywistym że Takamura znalazł niebieska diodę w grupie pierwiastków Y bo taka możliwość istniała od początku Wszechświata. Idiotyzmem jest tu mówienie że niebieska dioda LED powstała z fałszu.


Ostatnio zmieniony przez rafal3006 dnia Pon 13:23, 15 Gru 2008, w całości zmieniany 3 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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Sob 10:58, 13 Gru 2008    Temat postu:

volrath napisał:

rafal3006 napisał:

Implikacja odwrotna

W implikacji odwrotnej jeśli zdanie jest prawdziwe to automatycznie implikacja jest również prawdziwa. Jak do tej pory zlokalizowano zaledwie jeden wyjątek w matematyce.

Jeśli liczba jest podzielna przez 3 to może być podzielna przez 5
P3~>P5 =1 bo 15
Implikacja odwrotna jest fałszywa bo P3 nie jest konieczne dla P5

Propozycja opisu takiego wyjątku:
P3~>P5 =1, i=0

i=0 oznacza implikacja fałszywa


Takich wyjątków może być więcej.
Na przykład P~>4L - jeśli coś jest psem to może mieć cztery łapy. Może, czyż nie? Ale formalnie rzecz biorąc P~>4L = ~P=>~4L, a to już fałsz.

Dzięki za kolejną podpowiedź. Masz rację, w logice nie może być żadnych wyjątków. Poprawiłem końcówkę lekcji 19. Teraz wygląda ona tak.


Implikacja odwrotna

W implikacji odwrotnej jeśli zdanie jest prawdziwe to implikacja może być prawdziwa. Implikacja jest prawdziwa jeśli między p i q zachodzi warunek konieczny.

Przykłady implikacji odwrotnych fałszywych

Przykład 1
Jeśli zwierzę jest psem to może mieć cztery łapy
P~>4L
Zdanie prawdziwe na mocy definicji spójnika „może”. Implikacja odwrotna fałszywa bo bycie psem jest warunkiem wystarczającym aby mieć cztery łapy (implikacja prosta).
Dodatkowo można się tu wspomóc prawem Kubusia:
P~>4L = ~P=>~4L
Prawa strona to oczywisty fałsz, zatem wypowiedziana implikacja odwrotna jest fałszywa.

Przykład 2
Jeśli liczba jest podzielna przez 3 to może być podzielna przez 5
P3~>P5 =1 bo 15
Implikacja odwrotna jest fałszywa bo P3 nie jest konieczne dla P5


Podsumowanie:

Istotą implikacji jest gwarancja matematyczna. Badanie prawdziwości/fałszywości zdania jest dobre w równoważności (twierdzeniach matematycznych). Spójnik „Jeśli…to…” może być implikacją prostą, implikacją odwrotną lub równoważnością, co zależy od treści zawartej w spójniku.

Jeśli w zdaniu „Jeśli…to..” spełniony jest warunek wystarczający to zdanie może być implikacją prostą albo równoważnością. Nie ma innych możliwości matematycznych.

Jeśli w zdaniu „Jeśli…to…” spełniony jest warunek konieczny między p i q to zdanie jest na pewno implikację odwrotną. Nie ma innych możliwości matematycznych. W implikacji odwrotnej zdanie może być prawdziwe zaś implikacja odwrotna fałszywa.

W implikacji interesują nas gwarancje matematyczne. Prawdziwość/fałszywość zdania jest tu nieistotna.

Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L

... a jak nie ubrudzę ?

Prawo Kubusia:
B~>L = ~B=>~L

Jeśli nie ubrudzisz spodni to nie dostaniesz lania
~B=>~L - matematyczna gwarancja w implikacji odwrotnej ~>

To jest naturalna logika człowieka, algebra Boole'a.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
volrath




Dołączył: 05 Sty 2006
Posty: 146
Przeczytał: 0 tematów


PostWysłany: Sob 12:53, 13 Gru 2008    Temat postu:

Moim zdaniem "miękki fałsz" jest równoważny "miękkiej prawdzie" - bo ich znaczenie jest takie samo.
Miękki fałsz - może być nieprawda, ale nie musi
Miękka prawda - może być prawda, ale nie musi

A więc i miękki fałsz i miękka prawda mówią to samo - może być cokolwiek (prawda lub fałsz).
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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Nie 17:05, 14 Gru 2008    Temat postu:

volrath napisał:
Moim zdaniem "miękki fałsz" jest równoważny "miękkiej prawdzie" - bo ich znaczenie jest takie samo.
Miękki fałsz - może być nieprawda, ale nie musi
Miękka prawda - może być prawda, ale nie musi

A więc i miękki fałsz i miękka prawda mówią to samo - może być cokolwiek (prawda lub fałsz).

Myślę że w ślepej algebrze Boole’a (stara definicja) to masz rację bo:

p=>(q+~q) - pewne wynikanie w implikacji odwrotnej
czyli:
p=>[~q+~(~q)]=(~q+q) = (q+~q)

ale w nowej algebrze Boole’a operującej na operatorach implikacji już nie:
p=>(q+~q)
czyli:
A.
Jeśli zajdzie p to może zajść q
p~>q
LUB
B.
Jeśli zajdzie p to może zajść ~q
p~>~q

Zdanie A jest implikacją odwrotną (warunek konieczny spełniony) ale zdanie B już NIE !

Zrobienie tego samego manewru co w ślepej algebrze Boole’a spowoduje zamianę zdań A i B, a to jest nie to samo.

Przykład:
A.
Jeśli zwierzę ma cztery łapy to może być psem
4L~>P =1 bo pies
4L są warunkiem koniecznym, aby być psem
Prawo Kubusia:
4L~>P = ~4L=>~P
czyli implikacja odwrotna prawdziwa
LUB
B.
Jeśli zwierzę ma cztery łapy to może nie być psem
4L~>~P =1 bo słoń, kot, koń ...
4L nie sa warunkiem koniecznym dla ~P bo pies
Prawo Kubusia:
4L~>~P = ~4L=>P
czyli implikacja odwrotna fałszywa

Zdanie A jest implikacja odwrotną zaś zdanie B nie jest. To sa dwa różne zdania i nie można ich zamieniać.

Zauważmy:
4L~>~P =1 - zdanie prawdziwe na mocy definicji spójnika „może”
Prawo Kubusia:
4L~>~P = ~4L=>P
… ale implikacja fałszywa.

To samo co wyżej w inny sposób:
4L~>~P =1 bo słoń … - zdanie prawdziwe na mocy definicji spójnika „może”
Jeśli implikacja odwrotna jest prawdziwa to po zamianie p i q musi przejść w prawdziwą implikację prostą czyli:
Jeśli zwierzę nie jest psem to na pewno ma cztery łapy
~P=>4L =0 bo kura
czyli:
4L~>~P - implikacja odwrotna fałszywa

Wnioski:
1.
Jeśli zdanie jest prawdziwe na mocy spójnika „może” to prawo Kubusia może być narzędziem pomocniczym do rozstrzygnięcia czy implikacja odwrotna jest prawdziwa/fałszywa.
2.
Jeśli zdanie jest prawdziwe na mocy spójnika „może” i jest implikacją odwrotną to po zamianie p i q musi przejść w implikację prostą.

Inny przykład:
Jeśli liczba jest podzielna przez 3 to może być podzielna przez 5
P3~>P5 =1 bo 15 - zdanie prawdziwe
Prawo Kubusia:
P3~>P5 = ~P3=>~P5
Czyli:
1.
Jeśli liczba nie jest podzielna przez 3 to na pewno nie jest podzielna przez 5
~P3=>~P5
Implikacja odwrotna fałszywa bo 5 !!!
2.
Zdanie wypowiedziane po zamianie p i q
P5=>P3 =0 bo 5
Fałszywa zarówno implikacja P5=>P3 jak i P3~>P5


Ostatnio zmieniony przez rafal3006 dnia Nie 17:19, 14 Gru 2008, 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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Czw 22:31, 18 Gru 2008    Temat postu:

Dyskusja z voltrathem jest niesamowicie pasjonująca, umozliwiła Kubusiowi 100% zrozumienie implikacji - niedługo będzie finał w postaci "Implikacja".

Wklejam dwa posty z innego tematu, bo myslę że są ciekawe i wnoszą coś nowego.
http://www.sfinia.fora.pl/metodologia,12/elementarz-algebry-boole-a-dyskusja-z-irbisolem,2605-300.html#72208


Irbisol napisał:

rafal3006 napisał:
To wytłuszczone to bezsens totalny, bo taka matematyka zależy od chciejstwa człowieka ...

Bredzisz. To wytłuszczone to nie jest matematyka, tylko możliwe definicje.

Taaa …
Czyli raz groźba jest równoważnością, innym razem implikacją prostą a kiedy indziej implikacją odwrotną w zależności od widzi mi się człowieka …
Czyli to samo zdanie:
Jeśli ubrudzisz spodnie dostaniesz lanie

Może być jedną z trzech fundamentalnie różnych funkcji.
Gdzie ty tu widzisz sensowna definicję … ?
W którym miejscu zaczyna się tu jakakolwiek matematyka ?

Dzięki twojej „matematyce” oczywiście podpisujesz się pod sloganem wszystkich logików:

Logika człowieka nie istnieje

zgadza się ?

Irbisol napisał:

rafal3006 napisał:
Sprawdźmy twoją "teorię":
Jeśli będzie padać to będzie pochmurno
P=>CH - ewidentna implikacja aprosta

Mówię wszystkim wszem i wobec że wypowiedziałem równoważność :grin: .... czy spowodowałem tym że powyższe zdanie to równoważność ?

A czy to była groźba albo obietnica? Zorientuj się że o tym dyskutujemy. Mieszasz różne pojęcia - to twój podstawowy problem.

groźba=implikacja odwrotna
obietnica=implikacja prosta
Nie ma specjalnej matematyki do obsługi gróźb i obietnic oraz jakiejś innej dla pozostałych przypadków. Matematyka jest jedna i mój przykład jest doskonały, pokazuje cały bezsens twojej „matematyki” w sposób zrozumiały dla przedszkolaka.
Irbisol napisał:

rafal3006 napisał:
W groźbach i obietnicach masz tak:
równoważność - tu jesteś idiotą w groźbie i obietnicy
groźba=implikacja odwrotna - tu jesteś idiotą w obietnicy
obietnica=implikacja prosta - tu jesteś psychopatą-idiotą w dowolnej groźbie

Udowodnij brednie które wypisałeś. Dla każdego przypadku, a nie do tendencyjnego podzbioru przypadków.

Równoważność:
Groźba = idioto psychol:
W groźbie musisz walić, nie masz prawa do darowania kary w przypadku spełnienia warunku kary
Obietnica = idiota:
W obietnicy nie masz prawa do wręczenia nagrody jeśli odbiorca nie spełni warunku nagrody - idiota pozbawiony wolnej woli

Implikacja prosta:
Groźba = idioto-psychol
Jeśli jesteś winny zostaniesz ukarany
W=>K
Czyli jeśli winny to na 100% ukarany, brak możliwości darowania kary
…a to jest rodzynek:
Prawo Kubusia:
W=>K = ~W ~> ~K =1
LUB
Jeśli jesteś niewinny to możesz zostać ukarany
~W~>K =1
czyli:
Matematyczne zezwolenie na karanie niewinnego

Implikacja odwrotna
Obietnica = idiota
Jeśli zdasz egzamin dostaniesz komputer
E~>K
LUB
Jeśli zdasz egzamin to możesz nie dostać komputera
E~>~K
czyli:
Matematyczne zezwolenie na nie dotrzymanie obietnicy

… to co niżej odbiera wypowiadającemu wolna wolę.

Prawo Kubusia:
E~>K = ~E=>~K
Jeśli nie zdasz egzaminu to na pewno nie dostaniesz komputera

… no i widzisz że syn bardzo się starał ale miał pecha, chcesz mu dać komputer ale nie możesz.
Irbisol napisał:

rafal3006 napisał:
To jest obowiązujące prawo logiczne od początku istnienia Wszechświata ... prawdziwe i nie do obalenia.

To tylko twój prywatny wymysł. Nie ma prawa logicznego definiującego funkcję obietnicy i groźby. Nie ma. A jak czegoś nie ma, to nie obowiązuje.

… a implikacja odwrotna i prosta to pies ?
groźba = implikacja odwrotna
obietnica = implikacja prosta

Nie ma w dzisiejszej logice, ale SFINIE (Ty także brałeś w tym udzial :grin: ) odkryły to prawo tak jak kiedyś Kopernik odkrył iż ziemia jest okrągła.


Ostatnio zmieniony przez rafal3006 dnia Czw 22:42, 18 Gru 2008, 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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Czw 22:37, 18 Gru 2008    Temat postu:

Irbisol napisał:

rafal3006 napisał:

Równoważność:
Groźba = idioto psychol:
W groźbie musisz walić, nie masz prawa do darowania kary w przypadku spełnienia warunku kary
Obietnica = idiota:
W obietnicy nie masz prawa do wręczenia nagrody jeśli odbiorca nie spełni warunku nagrody - idiota pozbawiony wolnej woli

Robisz tu dwa błędy, o których pisałem wielokrotnie i na daremno:
1. Powtarzam: Udowodnij brednie które wypisałeś. Dla każdego przypadku, a nie do tendencyjnego podzbioru przypadków.
2. Wypowiadanie zdań to nie umowa cywilno-prawna z gwiazdkami i dziwnymi warunkami pisanymi drobnym druczkiem. Wypowiedziane zdanie ma inne znaczenie dotyczące warunków i konsekwencji niż rozumiane matematycznie. Przykład to słynne 21 km do pracy, czyli 21 000 000 mm.

Nie ma innego rozumienia matematycznego gróźb i obietnic.
Zawsze masz dwie fundamentalne definicje:
groźba = implikacja odwrotna
obietnica = implikacja prosta

… a człowiek może sobie pieprzyć co chce. Gdyby było inaczej to matematyka do kosza na śmieci bo zależy od chciejstwa człowieka. Twój przykład z odległością z pracy do domu mierzoną z nieskończoną dokładnością to idiotyzm czystej wody, co to ma wspólnego z matematyczna obsługą groźby i obietnicy, co to ma wspólnego z logiką gdzie musi zapaść decyzja prawda/fałsz.

Każda inna definicja niż wyżej robi z człowieka IDIOTĘ, zaś z matematyki prostytutkę.

Daj dowolny przykład że jest inaczej, życzę powodzenia …..
Irbisol napisał:

rafal3006 napisał:
… a implikacja odwrotna i prosta to pies ?
groźba = implikacja odwrotna
obietnica = implikacja prosta

Nie ma żadnego prawa logicznego które stanowi że
groźba = implikacja odwrotna
obietnica = implikacja prosta

prościej się tego wytłumaczyć nie da.

Nie ma takiego prawa logicznego. Pojmij, bo to zbyt proste żeby nie zacząć używać wobec ciebie inwektyw jeżeli nie pojmiesz.

Nie było ale już jest ….
Ziemia też kiedyś była płaska …

Dowód jest tu absolutnym trywiałem.

Prawo Kubusia obowiązujące zawsze i wszędzie bo jest bezinterpretacyjne.

p=>q = ~p~>~q - prawo zamiany implikacji prostej na odwrotną

A.
obietnica
Jeśli powiesz wierszyk dostaniesz czekoladę
W=>C - tu się zgadzamy w 100%, zgadza się ?

… a jak nie powiem wierszyka ?

Prawo Kubusia:
W=>C = ~W ~> ~C

B.
groźba
Jeśli nie powiesz wierszyka nie dostaniesz czekolady
~W~>~C - jedynie poprawne kodowanie wobec zdania A

Powyższego zdania nie wolno ci kodować:
B.
~W=>~C

bo prawo Kubusia którego do tej pory nikt nie zakwestionował, od matematyki.pl poczynając poprzez ateista.pl na SFINII kończąc, leży w gruzach.

Zakodowanie zdania B w postaci implikacji prostej => to twierdzenie że 2+2=5 bo:
A.
W=>C - tu obaj sie zgadzamy
B.
W=>C = ~W~>~C - prawo Kubusia

Jeśli zakodujesz B jako:
C.
~W=>~C
to matematyka leży w gruzach bo to samo zdanie nie może być kodowane na dwa sposoby B lub C

P.S.
W groźbach naturalny spójnik implikacji odwrotnej „może” ~> jest ukryty bo osłabiałby groźbę.
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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Sob 16:47, 10 Sty 2009    Temat postu:

Kolejny ciekawy cytat z:
http://www.sfinia.fora.pl/katolicyzm,7/co-wiecie-o-prawoslawiu,3547-500.html#74549

starowier napisał:

Chrystus powiedział: „Ja jestem droga i prawda, i żywot, nikt nie przychodzi do Ojca, tylko przeze mnie”.

No i co z tego ma wynikać ?

Znając Cię rozumiesz to dosłownie i prostacko czyli: nikt kto nie wierzy w Chrystusa nie ma szans na Niebo. Stąd twoje rozpaczliwe poszukiwania Żydowskiego-Rabina (wyżej), potajemnego Popa-Prawosławnego skutecznie nawracającego Żydów na łożu śmierci. Nawrócenia musza być w 100% skuteczne bo przecież jeden wyjątek i twój fałszywy Rabin-Pop-Prawosławny dostałby natychmiast kopa w dupę i zostałby wyrzucony z Izraela.

Czemu mają służyć takie brednie ? Może roześlij swoich potajemnych Popów także do wyznawców Islamu, Buddystów, Hindujstów, Buszmenów itp. … bo przecież Niebo jest możliwe tylko dla tych którzy wierzą w Chrystusa jako Boga.

Jeśli brać powyższe słowa Chrystusa dosłownie i prostacko to około 85% ludzkości ma gwarantowane piekło.

Czy wierzysz w takiego boga Starowierze ?

Na szczęście dożyliśmy czasów, w których została rozpracowana matematyczna logika człowieka = matematyczna logika jedynego prawdziwego Boga … na dodatek stało się to tu i teraz na SFINII (podpis).

Bóg stworzył człowieka na obraz i podobieństwo swoje, dotyczy to przede wszystkim matematycznej obsługi wszelkich gróźb i obietnic.

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N - implikacja prosta bo dobrowolnych obietnic musimy dotrzymywać
Prawo Kubusia:
W=>N = ~W~>~N
Jeśli nie spełnisz warunku nagrody to możesz nie dostać nagrody
~W~>~N
LUB
Jeśli nie spełnisz warunku nagrody to możesz dostać nagrodę
~W~>N - implikacja (akt miłości)

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K - implikacja odwrotna, może zajść ale nie musi
LUB
Jeśli dowolny warunek to nie kara
W~>~K - prawo nadawcy do darowania dowolnej kary (akt łaski), inaczej jego wolna wola leży w gruzach
… z ostatniego wynika że Bóg może absolutnie wszystkich ludzi umieścić w Niebie i nie będzie kłamcą

Chrystus powiedział:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z - implikacja prosta bo obietnica

Prawo Kubusia:
W=>Z = ~W~>~Z - prawo zamiany implikacji prostej na odwrotną (obietnicy na groźbę)

Zdania równoważne do powyższego:
B.
Kto nie wierzy we mnie nie będzie zbawiony
~W~>~Z - implikacja odwrotna, może zajść ale nie musi.

~Z=Piekło
czyli zdanie równoważne:
C.
Kto nie wierzy we mnie pójdzie do piekła
~W~>P - implikacja odwrotna

Gwarancja w implikacji odwrotnej:
~W~>P = W=>~P - prawo zamiany implikacji odwrotnej na implikację prostą (groźby na obietnicę)

Czyli zdanie równoważne:
D.
Kto wierzy we mnie ten na pewno => nie pójdzie do piekła
W=>~P - gwarancja matematyczna dla zdania C

Wszystkie powyższe zdania A,B,C i D są matematycznie równoważne, nie ma znaczenia które Chrystus czy człowiek wypowie - znaczą dokładnie to samo.

Groźba lub obietnica wypowiedziana zarówno przez człowieka jak i Boga może przyjąć dowolnie ostrą formę, lecz jej poprawne matematycznie kodowanie jest takie:
obietnica = implikacja prosta =>
groźba = implikacja odwrotna ~>

Przykłady z obszaru logiki człowieka:
I.
Wtedy i tylko wtedy dostaniesz komputer gdy zdasz jutro ten egzamin
E=>K - jedyne poprawnie matematycznie kodowania
czyli zdanie równoważne:
Jeśli zdasz egzamin dostaniesz komputer
E=>K
Prawo Kubusia:
E=>K = ~E~>~K
czyli:
Jeśli nie zdasz egzaminu to możesz nie dostać komputera
~E~>~K
LUB
Jeśli nie zdasz egzaminu to możesz dostać komputer
~E~>K - prawo do wręczenia nagrody mimo nie spełnienia warunku nagrody (akt miłości)

II.
Jeśli ubrudzisz spodnie to na 1000% dostaniesz lanie
B~>L - jedyne poprawne matematycznie kodowanie
LUB
Jeśli ubrudzisz spodnie to możesz nie dostać lania
B~>~L - prawo do darowania dowolnej kary, akt łaski
Gwarancja matematyczna dla powyższej groźby wynika z prawa Kubusia:
B~>L = ~B=> ~L - prawo zamiany implikacji odwrotnej na prostą (groźby na obietnicę)
Jeśli nie ubrudzisz spodni to na pewno => nie dostaniesz lania
~B=>~L

Przykłady z obszaru logiki Boga

Chrystus powiedział: „Ja jestem droga i prawda, i żywot, nikt nie przychodzi do Ojca, tylko przeze mnie”.

Jedyne poprawne matematyczne kodowania powyższej groźby jest takie:

Kto wierzy we mnie będzie zbawiony
W=>Z - kto wierzy ten na pewno zbawiony

Zdanie równoważne:
W=>Z = ~W ~> ~Z - prawo Kubusia
Czyli:
Kto nie wierzy we mnie nie będzie zbawiony (idzie do piekła)
~W~>~Z
LUB
Kto nie wierzy we mnie może zostać zbawiony
~W~>Z - prawo do darowania dowolnej kary (akt łaski)

Jakiekolwiek inne kodowanie odbiera Chrystusowi prawo do darowania dowolnej kary, czyli pozbawia Boga wolnej woli !!!

Obszerne omówienie tej implikacji jest powyżej.
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: 35357
Przeczytał: 24 tematy

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

PostWysłany: Nie 16:36, 18 Sty 2009    Temat postu:

Cytat z:
http://www.sfinia.fora.pl/genesis,36/pochodzenie-jadra-komorkowego,3742.html#75020

wujzboj napisał:

Z tych trzech zdań prawdziwe jest tylko ostatnie: tak, świat jest dla mnie "Inteligentnym Projektem" ....


Dla mnie też ... Matematyczny dowód że świat jest "Inteligentnym Projektem" w zakresie dobra i zła jest trywialny (niżej). Prawidłowo rozumiana implikacja (nie to badziewie znane dzisiaj) jest gwarantem matematycznej wolnej woli człowieka tzn. mamy matematyczne prawo do darowania dowolnej kary w groźbie oraz matematyczne prawo do wręczenia nagrody mimo nie spełnienia przez odbiorcę warunku nagrody w obietnicy.

rafal3006 napisał:

9.0 Człowiek jest z natury dobry

Definicja:
Człowiek jest z natury dobry oznacza, że w matematyce ścisłej (implikacji) sterującej zachowaniem wszelkich istot żywych na poziomie obietnic i gróźb przeważa dobro.

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N

p q p=>q
1 1 1 - spełniony warunek, nagroda (dobro = gwarancja)
1 0 0 - spełniony warunek, brak nagrody (kłamstwo - nie ma prawa wystąpić)
0 0 1 - nie spełniony warunek, brak nagrody (zło)
0 1 1 - nie spełniony warunek, jest nagroda (dobro = akt miłości)

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K

p q p~>q
1 1 1 - spełniony warunek, kara wykonana (zło)
1 0 1 - spełniony warunek, brak kary (dobro = akt łaski)
0 0 1 - nie spełniony warunek kary, brak kary (dobro = gwarancja)
0 1 0 - nie spełniony warunek kary, kara wykonana (kłamstwo - nie ma prawa wystąpić)

Pomijając linie które nie mają prawa wystąpić mamy:

4:2 dla dobra !

Linijki zła zdefiniowane są prawidłowo z punktu odniesienia odbiorcy. Natomiast jeśli nadawca postąpi zgodnie z dowolną linijką "dobra" to będzie to dobro dla obu stron. Stąd 4:2 dla dobra.

Ludzie są z natury dobrzy - to jest matematycznie gwarantowane jak wyżej.

To nie jest gwarancja psychologiczna, to jest gwarancja MATEMATYCZNA.

Co więcej, zauważmy że jeśli człowiek obiecuje cokolwiek drugiemu człowiekowi z własnej woli to z reguły da nagrodę niezależnie od tego czy odbiorca spełnił warunek nagrody (dobro = akt miłości). Groźby są w znacznym stopniu wykonywane gdyż inaczej odbiorca będzie je lekceważył ale myślę, że nie przekracza to 20% wszystkich gróźb. Większość gróźb anulowana jest przez nadawcę po prostu przez „zapomnienie” (dobro = akt łaski).

Matematyka rządzi zachowaniem wszelkich istot żywych.

Przykład:
Dziecko wybiega mi bez przerwy na jezdnię
Mówię mu:
Jeśli będziesz tak robił dostaniesz lanie
Groźba nie skutkuje ...

Dziecko dostaje lanie (groźba spełniona) i już wie co mu grozi gdy następnym razem nie zastosuje się do mojej prośby.

Zgodnie z definicją implikacji odwrotnej w przypadku spełnienia warunku groźby odbiorca nigdy nie wie czy nadawca wykona karę. W przypadku spełnienia warunku groźby nadawca może robić co mu się podoba, może walić albo darować.

Odbiorca i nadawca oraz osoby trzecie doskonale wiedzą o matematycznej gwarancji w implikacji odwrotnej.

Definicja groźby:
Jeśli dowolny warunek to kara
W~>K

~(~W*K)
Nie może się zdarzyć, że nie spełnię warunku kary i zostanę ukarany (z powodu nie spełnienia warunku kary)

Bush do Husajna:
Jeśli nie wycofasz się z Kuwejtu uderzymy na Irak
~W~>U - nie wycofasz to uderzymy.

Wszelkie groźby podlegają pod definicję implikacji odwrotnej.
p~>q = p + ~q = ~(~p*q) - definicja
~(~p*q) = ~[~(~W)*U] = ~(W*U) - gwarancja w implikacji odwrotnej.

Husajn:
~(W*U)
Nie może się zdarzyć, że wycofam się z Kuwejtu i Bush uderzy na Irak z powodu że wycofałem się z Kuwejtu

Wszystko inne może się zdarzyć !

To jest krystalicznie czysta matematyka. Żaden człowiek nie ma szans się z niej wyłamać ... oczywiście idiota może, bo ma wolną wolę.

Bush idiota po groźbie jak wyżej ogłasza całemu światu:
Uderzam na Irak bo Husajn wycofał się z Kuwejtu

Matematyka rządzi zachowaniem wszelkich istot żywych.
Człowiek jest z natury dobry (matematycznie dobry).
.... co było do udowodnienia.
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
Strona 6 z 6

 
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