|
ŚFiNiA ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Sob 10:14, 08 Lut 2020 Temat postu: 100% definicji mamy sprzecznych - rozszyfrowanie AK |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-375.html#502775
Na jakiej podstawie twierdzisz, że jesteś w stanie zadawać sensowne pytania z obszaru algebry Kubusia doskonale wiedząc że 100% definicji mamy sprzecznych?
Co np. z alternatywą?
Co z koniunkcją?
Podobno są w 100% sprzeczne, zatem alternatywa w AK jest prawdziwa tylko wtedy, gdy oba zdania są fałszywe, a koniunkcja jest fałszywa tylko wtedy, gdy oba zdania są prawdziwe.
Tak samo zatem np. iloczyn zbiorów to wszystko poza częścią wspólną.
Najlepsze w tym całym pierdoleniu tego zjeba jest to, że nawet sprzeczność jest sprzeczna!
Wg KRZ
0 = ~1
~1 = 0
Wg AK jest zupełnie inaczej - definicja zaprzeczenia jest sprzeczna z tą w KRZ, zatem:
0 = ~0
1 = ~1
W jego przyklejonym wątku można znaleźć:
(p=1) = (~p=0)
co jest całkowicie zgodne z KRZ, a nie sprzeczne.
Więc co ten debil pierdoli?
Najwidoczniej jest sprzeczny sam ze sobą, chociaż - biorąc pod uwagę definicję w AK, jest właśnie zgodny, gdy pierdoli głupoty! Pisząc "sprzeczna" ma na myśli "zgodna". Albo sprzeczna - chuj go wie.
Rozszyfrowałem Algebrę Kubusia - to takie coś, gdzie można pierdolić głupoty i wszystko jest zawsze prawdziwe, nawet gdy jest sprzeczne samo ze sobą.
.
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Sob 10:40, 08 Lut 2020 Temat postu: |
|
|
Bzdury.
Od prawie 15 lat.
I to co on rozumie pod 1 i 0 to też coś innego niż zwykle.
Ale to wiadomo.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Sob 10:43, 08 Lut 2020 Temat postu: |
|
|
I masz rację - AK jest od tego, żeby rafał czuł się kimś.
Zatem, można powiedzieć, że zwalczając ją się zwalcza jego osobiście, dlatego teżą jakiś czas nie robię tego zbyt gorliwie, żeby mi się nie bujnął.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Sob 11:20, 08 Lut 2020 Temat postu: |
|
|
Tu jest temat o tym, zasrany spamerze.
Od razu widać, o co ci chodzi - zasrywasz temat o czym innym a później - niczym debil - płaczesz że pytania nie możesz znaleźć.
Co za popierdoleniec ...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Sob 11:53, 08 Lut 2020 Temat postu: |
|
|
Przecież wiadomo, że rafał nie umie odpowiedzieć wprost na żadne pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 13:11, 08 Lut 2020 Temat postu: |
|
|
idiota napisał: | Przecież wiadomo, że rafał nie umie odpowiedzieć wprost na żadne pytanie. |
Łżesz jak piesek, opowiedziałem wprost na pierwszy post Irbisola tu:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-575.html#504501
Żaden płaskoziemca nie będzie mi dyktował w jakim wątku mam udzielić odpowiedzi.
Za chwilę dojdzie do Armagedonu KRZ poprzez wykazanie, że totalnie wszystkie definicje z obszaru KRZ, od negatora poczynając, są wewnętrznie sprzeczne.
Oczywistym jest ze ten dowód będzie w wiadomym wątku do którego link wyżej, nigdy tu!
... a wy płaskoziemcy możecie mnie pocałować w (niedomówienie).
Ciekawe czy płaskoziemca-Irbisol przeczyta ten dowód w całości czy też nie będzie czytał w ogóle bo już pierwsze zdanie nie będzie odpowiedzią na jego zasrane, chuj wie jakie, pytanie.
Ostatnio zmieniony przez rafal3006 dnia Sob 13:11, 08 Lut 2020, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Sob 14:38, 08 Lut 2020 Temat postu: |
|
|
Piszesz, ze łżę i pokazujesz zaraz w następnej linijce, że mówię prawdę.
Nawet nie wiesz co sam wykazujesz.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 15:53, 08 Lut 2020 Temat postu: |
|
|
rafal3006 napisał: |
Żaden płaskoziemca nie będzie mi dyktował w jakim wątku mam udzielić odpowiedzi. |
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Sob 16:19, 08 Lut 2020 Temat postu: |
|
|
No nikt nie może cię zmusić do dyskutowania, spierdalać możesz wiecznie i zasrywać wątki spamem...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 17:06, 08 Lut 2020 Temat postu: |
|
|
idiota napisał: | No nikt nie może cię zmusić do dyskutowania, spierdalać możesz wiecznie i zasrywać wątki spamem... |
Idioto, Irbisol dostał moją odpowiedź tu:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-575.html#504501
... i wie gdzie ta odpowiedź jest bo dałem link.
Tak więc to bezdyskusyjnie Irbisol spierdala od odpowiedzi, biedny, wie że go wbiłem w ziemię, skulił ogonek i panicznie boi się ustosunkować do mojej odpowiedzi na jego pierwszy post w tym temacie.
Czy to moja wina że to taki tchórz?
P.S.
Czy myślisz że gdyby Irbisol mógł mi przywalić gdziekolwiek to by tego nie zrobił?
Po prostu sam widzi że jest przegrany i nawet z honorem nie jest w stanie się wycofać tzn. przyznać mi rację że KRZ i AK są w 100% sprzeczne.
Ostatnio zmieniony przez rafal3006 dnia Sob 17:15, 08 Lut 2020, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Pon 10:30, 10 Lut 2020 Temat postu: |
|
|
Spierdalasz od odpowiedzi. Dobrze wiesz, że nikt twojego pierdolenia nie na temat w innym wątku nie będzie czytał.
Tu możesz odpowiedzieć, ale wolisz spierdalać.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 18:20, 10 Lut 2020 Temat postu: |
|
|
Tu masz dowód że to ty spierdalasz od moich odpowiedzi w tamtym temacie.
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-625.html#504853
rafal3006 napisał: | Wbijanie płaskoziemcy Irbisola w glebę!
c.d.n
Irbisol napisał: | rafal3006 napisał: | Biorę wszystkich za świadków, ze płaskoziemca jest
perfidnym kłamcą.
Dlaczego?
Bo bez przerwy spierdala od odpowiedzi na |
Już ci to wyjaśniałem, popierdoleńcu.
Nie dam się wciągnąć w tym wątku w żaden temat poboczny, dopóki nie
odpowiesz na moje pytanie.
Wszyscy doskonale o tym wiedzą, tylko ty robisz z siebie non-stop
debila.
Mnie w to graj. |
Wszystkich tu obecnych biorę za świadków że Irbisol jest perfidnym kłamca!
Twardy dowód:
Pierwszy post Irbisola w tym temacie:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719.html#485971
Irbisol napisał: | Co to za pierdolenie?
Zadałem ci wcześniej pytania. Odpowiesz, tchórzu? |
Drugi post Irbisola w tym temacie:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719.html#485991
Irbisol napisał: | Dyskusję skończyłeś w zamkniętych wątkach.
A tu oczywiście wysrywasz jakieś megabajty gówna, o które nikt cię nie pyta. |
Trzeci post Irbisola w tym temacie gdzie zdradził swoje zasrane pytanie!
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719.html#485999
Irbisol napisał: | rafal3006 napisał: |
Kod: |
Schemat 2
B
______
-----o o-----
| A |
------------- | ______ |
-----| dioda LED |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
Jaka jest twoja definicja implikacji realizowana przez powyższy układ?
Dasz radę powtórzyć, czy już zapomniałeś? |
Powtarzałem ci dziesiątki razy, debilu.
KRZ:
włączony(A) => żarówka świeci
AK:
włączony(A) |=> żarówka świeci
|
Każdy widzi że Irbisol od pierwszego postu w tym temacie nie robi nic innego jak spierdala od mojej odpowiedzi iż to czerwone wyżej to jego potwornie śmierdzące gówno, dowód niżej!
Z dedykacją dla płaskoziemcy Irbisola:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-625.html#504837
Irbisol napisał: | Tematem jest to, że masz UDOWODNIĆ, że w układzie z dwoma równoległymi przełącznikami nie zachodzi implikacja:
włączony (A) => żarówka świeci
czy też, jak wolisz
włączony (A) |=> żarówka świeci |
Ty Irbisolu twierdzisz, że definicja implikacji w algebrze Kubusia w spójnikach „i’(*) i „lub”(+):
p|=>q = ~p*q
musi być identyczna jak w Klasycznym Rachunku Zdań:
p=>q = ~p+q
Tymczasem absolutnie każdy matematyk widzi iż nasze definicje są sprzeczne! |
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Pon 21:53, 10 Lut 2020 Temat postu: |
|
|
Nie spierdalam, popierdoleńcu - po prostu piszesz nie na temat.
Jeżeli piszesz na temat, zawsze ci odpowiem.
Ten wątek jest wspaniałym przykładem twojego spierdalania od kolejnego pytania - zamiast odpowiedzieć tu (bo tu jest temat), zasrałeś inny wątek.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 22:09, 10 Lut 2020 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-625.html#504885
rafal3006 napisał: | Wbijanie płaskoziemcy Irbisola w glebę!
c.d.n
Irbisol napisał: | Czego nie rozumiesz w stwierdzeniu, że to nie to pytanie, popierdoleńcu?
|
Irbisolu, cel do jakiego zmierzam jest następujący:
1.
Musisz zrozumieć iż na mocy matematyki ścisłej definicje implikacji w AK i KRZ są sprzeczne.
2.
Jak zrozumiesz matematyczną sprzeczność definicji implikacji w AK i KRZ to musisz zrozumieć, że wyłącznie jedna z tych definicji może być prawdziwa, druga musi być fałszywa.
Warunkiem koniecznym sensownej dyskusji między nami jest przekroczenie przez twój mózg bariery głupoty która go otacza w postaci KRZ i zrozumienie przez ciebie przede wszystkim punktu 1.
Oczywistym dla każdego matematyka jest że jeśli zrozumiesz punkt 1, to automatycznie twoje wyróżnione na czerwono stwierdzenia staną się FAŁSZEM i dopiero wtedy możemy się bić która definicja jest tą jedyną prawdziwą, ta z AK, czy ta z KRZ - bo na 100% obie prawdziwe być nie mogą i tu z pewnością się zgadzamy.
To jest trzeci post Irbisola w tym temacie gdzie zdradził swoje zasrane pytanie!
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719.html#485999
Irbisol napisał: | rafal3006 napisał: |
Kod: |
Schemat 2
B
______
-----o o-----
| A |
------------- | ______ |
-----| dioda LED |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
Jaka jest twoja definicja implikacji realizowana przez powyższy układ?
Dasz radę powtórzyć, czy już zapomniałeś? |
Powtarzałem ci dziesiątki razy, debilu.
KRZ:
włączony(A) => żarówka świeci
AK:
włączony(A) |=> żarówka świeci
|
Każdy widzi że Irbisol od pierwszego postu w tym temacie nie robi nic innego jak spierdala od mojej odpowiedzi iż to czerwone wyżej to jego potwornie śmierdzące gówno, dowód niżej!
Z dedykacją dla płaskoziemcy Irbisola:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-625.html#504837
Irbisol napisał: | Rafal3006 napisał: | Pozwól że wytłumaczę ci jaka jest jedyna poprawna definicja implikacji na gruncie KRZ |
Nie pozwalam - nie interesują mnie twoje tłumaczenia, będące de facto spierdalaniem od tematu.
Tematem jest to, że masz UDOWODNIĆ, że w układzie z dwoma równoległymi przełącznikami nie zachodzi implikacja:
włączony (A) => żarówka świeci
czy też, jak wolisz
włączony (A) |=> żarówka świeci
Możesz sobie wybrać, o której implikacji piszesz (AK czy KRZ), możesz też pisać o obu. |
Ty Irbisolu twierdzisz, że definicja implikacji w algebrze Kubusia w spójnikach „i’(*) i „lub”(+):
p|=>q = (p=>q)*~(q=>p) = ~p*q, gdzie p=>q=~p+q
musi być identyczna jak w Klasycznym Rachunku Zdań:
p=>q = ~p+q
Tymczasem absolutnie każdy matematyk widzi iż nasze definicje są sprzeczne!
P.S.
W algebrze Kubusia definicje równoważności i implikacji są następujące.
Definicja warunku wystarczającego => w AK:
p=>q = ~p+q
1.
Definicja równoważności w AK:
Równoważność to warunek wystarczający => zachodzący w dwie strony:
p<=>q = (p=>q)*(q=>p) =1*1 =1
p<=>q = p*q+~p*~q
2.
Implikacja prosta p|=>q w AK:
Implikacja prosta p|=>q to warunek wystarczający => zachodzący wyłącznie w jedną stronę:
p|=>q = (p=>q)*~(q=>p) =1*~(0) =1*1 =1
p|=>q = ~p*q
W algebrze Kubusia na mocy definicji zachodzi:
Warunek wystarczający =>:
p=>q =~p+q
##
Równoważność <=>:
p<=>q=p*q+~p*~q
##
Implikacja prosta p|=>q:
p|=>q = ~p*q
Gdzie:
## - różne na mocy definicji
Słucham Irbisolu:
Jakie masz zastrzeżenie do powyższych definicji w AK?
Szczęka opadła - zgadza się? |
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Wto 10:33, 11 Lut 2020 Temat postu: |
|
|
Zasrywasz wątek pierdoleniem nie na temat.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 1:08, 16 Lut 2020 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-25.html#505805
rafal3006 napisał: | Jak Jaś (lat 14) i Michał Dyszyński skompromitowali matematycznego tępaka - Irbisola!
Odpowiedź w niniejszym poście!
Ciekawe czy Michał Dyszyński (nauczyciel fizyki) rozumie niniejszy post?
Wniosek z niniejszego postu:
Jedyną, precyzyjną i poprawną definicją czegokolwiek jest równoważność, czyli wszystkie zmienne występujące w układzie muszą być uwzględnione w opisie matematycznym (brak zmiennych wolnych)
http://www.sfinia.fora.pl/forum-kubusia,12/dlaczego-irbisol-bezczelnie-klamie,15655.html#505791
Irbisol napisał: | Nie będę czytał twojego pierdolenia którego nie zamawiałem.
Narysuj układ jednoznacznie powstały z A|=>S.
Tylko tyle.
Bez pierdolenia. |
Jednoznaczny układ implikacji prostej A|=>S w AK rysuję ci non-stop od ładnych kilku postów.
Niestety, do tępaka nie dociera, tępak nie czyta - tępak to słup.
Wytłumaczę innym, normalnym matematykom o co tu chodzi, bo takich matematycznych miernot jak ty jesteś to ze świecą szukać.
Sam o sobie to napisałeś tępaku:
http://www.sfinia.fora.pl/forum-kubusia,12/strach-irbisola-przed-zadaniem-pytania,14539-125.html#482577
Irbisol napisał: |
Nic nie sugeruję, plącząca się o własne nogi miernoto …
Więc zwyczajnie spierdalasz od pytania z podkulonym ogonem.
I bardzo dobrze - widzę, że trochę ludzi to czyta, niech zobaczą, jak wysrywasz się na podstawach i jak można cię zapędzić w kozi róg najprostszym pytaniem. |
http://www.sfinia.fora.pl/forum-kubusia,12/dowod-debila-oparty-na-dwoch-sprzecznych-zalozeniach,14695.html#484965
Irbisol napisał: | Znajdźcie mi takiego drugiego debila.
Płaskoziemcy to profesorzy przy nim. |
etc
Uwaga:
Wyjaśniam wszystkim, nawet naszemu Idiocie, z wyjątkiem tępaka Irbisola o co chodzi w logice matematycznej!
Zapraszam wszystkich na lekcję fizyki do 100-milowego lasu.
Teoria potrzebna do zrozumienia tego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/ak2-algebra-kubusia-teoria-zdarzen,15605.html#504361
Algebra Kubusia - teoria zdarzeń napisał: |
1.0 Podstawowe spójniki implikacyjne w zdarzeniach
Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń p i q
Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q = p*q =1
Definicja zdarzenia możliwego jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesna zajście zdarzeń p i q.
Inaczej:
p~~>q = p*q =[] =0
Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q
Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
1.1 Definicja kontrprzykładu w zdarzeniach
Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym ~~>
Definicja zdarzenia możliwego ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i ~q
Inaczej:
p~~>~q =p*~q =0
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)
1.2 Matematyczne związki warunku wystarczającego => i koniecznego ~>:
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
A1: p=>q = ~p+q
##
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
B1: p~>q = p+~q
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne A1 i B1 są różne na mocy definicji gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
Stąd mamy:
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4: ~q=>~p [=] 5: ~p+q
##
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p [=] 5: p+~q
Gdzie:
## - różne na mocy definicji
Zmienne p i q muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia
Na mocy powyższego zapisujemy:
1.
Prawa Kubusia:
A12: p=>q = ~p~>q
##
B12: p~>q = ~p=>~q
2.
Prawa Tygryska:
A13: p=>q = q~>p
##
B13: p~>q = q=>p
3.
Prawa kontrapozycji:
A14: p=>q = ~q=>~p
##
B14: p~>q = ~q~>~p
Gdzie:
## - różne na mocy definicji
|
Pan od fizyki, Michał Dyszyński, do Jasia, ucznia I klasy LO:
Jasiu opisz działanie poniższego układu:
Kod: |
Schemat 2
B
______
-----o o-----
S | A |
------------- | ______ |
-----| dioda LED |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
Jaś:
A1_1:
Jeśli przycisk A jest wciśnięty to żarówka na 100% => świeci się S
A=>S =1
Wciśnięcie przycisku A jest (=1) warunkiem wystarczającym => aby żarówka świeciła się
Michał Dyszyński:
… a jeśli przycisk A nie jest wciśnięty?
Jaś:
Jeśli przycisk A nie jest wciśnięty to żarówka może ~> się nie świecić (~S) lub może~~> się świecić (S)
Michał Dyszyński:
Czy to jest precyzyjny opis naszego układu?
Jaś:
Nie bo po stronie nie wciśniętego przycisku A mamy „rzucanie monetą”.
Michał Dyszyński:
Więc?
Jaś:
Więc może tak spróbuję:
A1_2.
Jeśli przycisk B jest wciśnięty to żarówka na 100% => świeci się S
B=>S =1
Wciśnięcie przycisku B jest (=1) warunkiem wystarczającym => aby żarówka świeciła się
Michał Dyszyński:
… a jeśli przycisk B nie jest wciśnięty?
Jaś:
Jeśli przycisk B nie jest wciśnięty to żarówka może ~> się nie świecić (~S) lub może~~> się świecić (S)
Michał Dyszyński:
Czy to jest precyzyjny opis naszego układu?
Jaś:
Kurczę pieczone, znowu NIE!
Tym razem po stronie nie wciśniętego B mamy „rzucanie monetą”
Michał Dyszyński:
Spróbuj użyć tu algebry Kubusia, znasz ja przecież z lekcji matematyki.
Jaś:
Huurrra!
Wiem jak to rozwiązać:
Definicja warunku wystarczającego => w algebrze Kubusia:
p=>q = ~p+q
Mamy prawdziwy warunek wystarczający => A1_1:
A1_1: A=>S = ~A+S
„i”(*)
Mamy prawdziwy warunek wystarczający => A1_2:
A1_2: B=>S = ~B+S
Więcej przycisków w naszym układzie nie ma!
Zapiszmy to co wyżej matematycznie w przełożeniu 1/1:
Y = (A=>S)*(B=>S) = (~A+S)*(~B+S) = ~A*~B + ~A*S + S*~B + S*S = ~A*~B + ~A*S + ~B*S + S*1
Y = ~A*~B + S*(~A+~B+1) = ~A*~B + S
Y = ~(A+B)+S = (A+B)=>S
Stąd mamy super precyzyjny, matematyczny opis naszego układu:
A1.
Jeśli wciśnięte są przyciski A lub B to żarówka na 100% => świeci się S
(A+B)=>S =1
Wciśnięcie przycisku A lub B jest warunkiem wystarczającym => do tego by żarówka świeciła się
Michał Dyszyński:
Dlaczego twierdzisz, że tym razem opis naszego układu jest superprecyzyjny?
Jaś:
Bo w opisie A1 uwzględniliśmy wszystkie zmienne widniejące na schemacie.
Dla opisu A1 nie ma zmiennych wolnych (nie uwzględnionych w równaniu), a brak zmiennych wolnych jest warunkiem koniecznym i wystarczającym byśmy mieli do czynienie z równoważnością.
Dowód:
Definicja równoważności:
p<=>q = (A1: p=>q)*(B2: ~p=>~q)
Obliczamy ~p do zdania B2:
~(A+B) = ~A*~B
Stąd mamy warunek wystarczający => B2:
B2.
Jeśli nie jest wciśnięty ani przyciska A, ani też przycisk B to żarówka na 100% => nie świeci się
~A*~B=>~S =1
Nie wciśnięcie przycisku A (~A) i nie wciśnięcie przycisku B (~B) jest warunkiem wystarczającym => do tego, aby żarówka nie świeciła się (~S)
Stąd mamy prawdziwą równoważność:
RA1B2:
Przycisk A lub B jest wciśnięty (A+B) wtedy i tylko wtedy gdy żarówka świeci się (S)
(A+B)<=>S = (A1: (A+B)=>S)*(B2: ~(A+B)=>~S) =1*1 =1
Innymi słowy:
Czytamy w języku potocznym znanym absolutnie wszystkim ludziom na ziemi, także dobrym matematykom (z wykluczeniem tępaków pokroju Irbisola):
Wciśnięcie przycisku A lub B jest warunkiem koniecznym i wystarczającym <=> do tego, aby żarówka świeciła się
(A+B)<=>S = ((A+B)=>S)*(B2: ~(A+B)=>~S) =1*1 =1
Dowód iż to jest potoczna i poprawna matematycznie definicja równoważności mamy w Wikipedii.
Klikamy na googlach:
„koniecznym i wystarczającym”
Wyników: 11800
Klikamy na googlach synonimem:
„potrzeba i wystarczy”
Wyników: 2790
Michał Dyszyński:
… a co Jasiu powiesz o sytuacji gdy nie jest wciśnięty przycisk A (~A) i nie jest wciśnięty przycisk B (~B)
Jaś:
Prawo algebry Kubusia dla równoważności RA1B2:
RA1B2: (A+B)<=>S = ~(A+B)<=>~S = (B2: ~(A+B)=>~S)*(A1: (A+B)=>S) =1*1 =1
Stąd mamy:
Nie jest wciśnięty przycisk A (~A) i nie jest wciśnięty przycisk B (~B) wtedy i tylko wtedy gdy żarówka nie świeci się (~S)
~(A+B)<=>~S = (B2: ~(A+B)=>~S)*(A1: (A+B)=>S) =1*1 =1
Równoważność jest przemienna, stąd mamy zdanie tożsame:
RB2A1:
Żarówka nie świeci się (~S) wtedy i tylko wtedy gdy nie jest wciśnięty przycisk A (~A) i nie jest wciśnięty przycisk B (~B)
~S<=>(~A*~S) = (B2: ~S=>(~A*~B))*(A1: S=>(A+B)) =1*1 =1
Innymi słowy w języku potocznym znanym wszystkim ludziom:
Do tego aby żarówka nie świeciła się potrzeba i wystarcza” <=> aby nie był wciśnięty ani przycisk A (~A), ani też przycisk B (~B)
~S<=>(~A*~S) = (B2: ~S=>(~A*~B))*(A1: S=>(A+B)) =1*1 =1
Podsumowanie:
Precyzyjny opis matematyczny naszego układu jest tylko i wyłącznie taki:
Kod: |
Schemat 1
Fizyczna realizacja operatora równoważności (A+B)<=>S w zdarzeniach:
(A+B)<=>S = ((A+B)=>S)*(B2: ~(A+B)=>~S) =1*1 =1
B
______
-----o o-----
S | A |
------------- | ______ |
-----| dioda LED |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, B, S
Zmienna wolna: brak
|
Wniosek z niniejszego postu:
Jedyną, precyzyjną i poprawną definicją czegokolwiek jest równoważność, czyli wszystkie zmienne występujące w układzie muszą być uwzględnione w opisie matematycznym (brak zmiennych wolnych)
Michał Dyszyński:
Brawo Jasiu, nie mogę ci postawić innej oceny niż celująca, bowiem przy okazji fizyki zrobiłeś nam piękny wykład algebry Kubusia, matematyki ścisłej, którą doskonale znają w praktyce wszyscy ludzie od 5-cio latka po prof., matematyki.
Nasz tępak Irbisol, w życiu codziennym, także doskonale posługuje się algebrą Kubusia - zrozumie to, jak zacznie czytać ze zrozumieniem posty Rafała3006!
Pytanie do Irbisola:
Kiedy tępaku matematyczny zaczniesz czytać ze zrozumieniem co do ciebie piszę?
Idę o zakład że odpowiedź Irbisola będzie jak zwykle:
„Nie zamówionego gówna nie czytam”
Czyż nie mam racji Irbisolu?
P.S.
Wszyscy czekamy kiedy wywiesisz białą flagę i poddasz się tzn. przyznasz że KRZ to niebotyczne gówno, nic więcej.
Szach-mat dla totalnie całego KRZ! |
|
|
Powrót do góry |
|
|
|
Nie możesz pisać nowych tematów Nie możesz odpowiadać w tematach Nie możesz zmieniać swoich postów Nie możesz usuwać swoich postów Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|