|
Ś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ść |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Pon 9:10, 02 Mar 2020 Temat postu: |
|
|
Cytat: | KRZ jest wewnętrznie sprzeczny, bowiem z matematycznej definicji implikacji obowiązującej w KRZ p=>q nie da się jednoznacznie odtworzyć fizycznej realizacji tego operatora.
|
czyli ak jest wewnętrznie sprzeczna bo z definicji warunku wystarczającego w ak nie można jednoznacznie odtworzyć jego fizycznej realizacji.
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 9:23, 02 Mar 2020 Temat postu: |
|
|
fiklit napisał: | Cytat: | KRZ jest wewnętrznie sprzeczny, bowiem z matematycznej definicji implikacji obowiązującej w KRZ p=>q nie da się jednoznacznie odtworzyć fizycznej realizacji tego operatora.
|
czyli ak jest wewnętrznie sprzeczna bo z definicji warunku wystarczającego w ak nie można jednoznacznie odtworzyć jego fizycznej realizacji. |
Nie jest to prawdą, da się odtworzyć jednoznacznie minimalną definicję dowolnego operatora.
Twierdzenie o operatorze minimalnym:
Operator logiczny jest operatorem minimalnym wtedy i tylko wtedy gdy zbudowany jest z najmniejszej możliwej liczby elementów.
P.S.
Poczekajmy, zobaczmy jak tu będzie się bronił Irbisol.
Ostatnio zmieniony przez rafal3006 dnia Pon 9:26, 02 Mar 2020, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Pon 9:35, 02 Mar 2020 Temat postu: |
|
|
bez związku:
KRZ jest wewnętrznie sprzeczny, bowiem z matematycznej definicji implikacji obowiązującej w KRZ p=>q nie da się jednoznacznie odtworzyć fizycznej realizacji tego operatora.
czyli ak jest wewnętrznie sprzeczna bo z definicji warunku wystarczającego w ak nie można jednoznacznie odtworzyć jego fizycznej realizacji.
Nie jest to prawdą, da się odtworzyć jednoznacznie minimalną definicję dowolnego operatora.
odtworzyć z definicji to co innego niż odtworzyć definicją
ok ja kończę, bo widzę już typowe w twoim przypadke pieprznie od rzeczy w obliczu porażki. nie chce mi się w tym babrać.[/b]
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 9:58, 02 Mar 2020 Temat postu: |
|
|
fiklit napisał: | bez związku:
KRZ jest wewnętrznie sprzeczny, bowiem z matematycznej definicji implikacji obowiązującej w KRZ p=>q nie da się jednoznacznie odtworzyć fizycznej realizacji tego operatora.
czyli ak jest wewnętrznie sprzeczna bo z definicji warunku wystarczającego w ak nie można jednoznacznie odtworzyć jego fizycznej realizacji.
Nie jest to prawdą, da się odtworzyć jednoznacznie minimalną definicję dowolnego operatora.
odtworzyć z definicji to co innego niż odtworzyć definicją
ok ja kończę, bo widzę już typowe w twoim przypadke pieprznie od rzeczy w obliczu porażki. nie chce mi się w tym babrać.[/b] |
W AK warunek wystarczający => i konieczny ~> nie są operatorami logicznymi.
Definicję operatora logicznego tez mamy FUNDAMENTALNIE inną.
Pytanie:
Czy mam prawo mieć inne definicje, czy też nie mam takiego prawa i muszę przyjąć definicje obowiązujące w KRZ?
Kod: |
S2: Schemat 2
Fizyczna realizacja operatora implikacji prostej A|=>S w zdarzeniach:
A|=>S=(A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
B
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: B
Istotą implikacji prostej A|=>S jest istnienie zmiennej wolnej B
podłączonej równolegle do przycisku A
|
Fizyczna realizacja warunku wystarczającego => w AK jest dokładnie taka jak obecna definicja implikacji w KRZ.
Dla powyższego schematu definicja warunku wystarczającego => w AK jest taka:
A1.
Jeśli klawisz A jest wciśnięty to na 100% żarówka świeci się
A=>S=1
Definicja warunku wystarczającego => spełniona bowiem wciśnięcie klawisza A daje nam gwarancję matematyczną => świecenia się żarówki S
Matematycznie zachodzi tożsamość:
Warunek wystarczający A=>S = gwarancja matematyczna A=>S
Koniec definicji warunku wystarczającego => w AK
Powtórzę:
Warunek wystarczający => w AK nie jest operatorem logicznym
Bardzo proszę, cytuję definicje operatora logicznego w AK:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja operatora logicznego w spójnikach „i”(*) i „lub”:
Operator logiczny w spójnikach „i”(*) i „lub”(+) to złożenie funkcji logicznej Y w logice dodatniej (bo Y) i ujemnej (bo ~Y)
Przykład:
1.
Y = p+q
Negujemy stronami:
2.
~Y=~(p+q) = ~p*~q
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musimy musi odpowiedź:
Co może się wydarzyć jeśli zajdzie p?
Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy dwa kolejne pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie q?
Co może się wydarzyć jeśli zajdzie ~q? |
Ostatnio zmieniony przez rafal3006 dnia Pon 10:49, 02 Mar 2020, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Pon 11:18, 02 Mar 2020 Temat postu: |
|
|
Czyli jak coś nie jest operatorem logicznym AK to nie liczy się do tej niejednoznaczności w odtwarzaniu układu z definicji?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Pon 11:20, 02 Mar 2020 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Po pierwsze, popierdoleńcu, mowa jest o pierwszym "szach-macie", który już ci się popierdzielił i sam nie wiesz, czego dotyczył.
Po drugie, nie pierdol w wątku do tego nie przeznaczonym o czym innym - o znaczkach ~> jest wątek obok. | ... a jaki jest tytuł tego wątku?http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663.html#505427
Szach-mat w czterech posunięciach! |
Nie, popierdoleńcu - w tytule wątku nic nie ma o 4 posunięciach.
Poza tym numerujesz te "maty" od początku - jeżeli to nie były maty, to powinieneś kolejnym nadawać numery o 3 mniejsze, a tego nie robisz.
Cytat: | Widzę, ze już narobiłeś w gacie ze strachu. |
Bo cały czas czekam na tego mata, którego zapowiadasz od tygodni?
To ty, cienki chujku, cały czas spierdalasz od odpowiedzi, zasrywając ten wątek gównem nie na temat.
Musisz teraz przenumerować wszystkie swoje "szach-maty", jeżeli te pierwsze 3 to nie były maty.
Co do twojego 4. pytania - sam nie jesteś w stanie tego zrobić swoim AK, bo twoja implikacja nic nie mówi nt. liczby przełączników oprócz tego, że jest ich minimalnie 2.
Ostatnio zmieniony przez Irbisol dnia Pon 14:28, 02 Mar 2020, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 23:04, 03 Mar 2020 Temat postu: |
|
|
Irbisol to wierny wyznawca algebry Kubusia!
Tylko póki co, o tym nie wie!
My, mieszkańcy 100-miowego lasu witamy, Irbisola w gronie wyznawców algebry Kubusia!
Część I
Operator równoważności
Irbisolu, operator równoważności A<=>S rozumiesz w 100% identycznie jak mieszkańcy 100-milowego lasu.
Dowód w niniejszy poście:
Irbisol napisał: |
Co do twojego 4. pytania - sam nie jesteś w stanie tego zrobić swoim AK, bo twoja implikacja nic nie mówi nt. liczby przełączników oprócz tego, że jest ich minimalnie 2. |
Irbisolu, zostawmy odtwarzanie układu na podstawie definicji operatora logicznego bo to dla ciebie za wysokie progi - sam jednak przyznałeś, że w AK da się JEDNOZNACZNIE odtworzyć definicje minimalne operatorów logicznych.
Dojdziemy do tego, na 100% zrozumiesz to czego nie rozumiesz, iż logika matematyczna znająca wyłącznie spójniki „i”(*) i „lub”(+) z definicji nie może niczego liczyć bo znaczki służące do liczenia (*) iloczyn algebraiczny i (+) suma algebraiczna to zupełnie co innego niż „i”(*) i „lub”(+).
Irbisolu, zajmijmy się opisem matematycznym schematów które widzisz: S1 i S2
Zaczynamy od S1.
Irbisolu:
W niniejszym poście udowodnię ci, że jesteś naturalnym ekspertem algebry Kubusia (wyssałeś ją z mlekiem matki) - tylko o tym nie wiesz!
Jeśli twierdzisz ze NIE, to zakwestionuj w twojej logice matematycznej prawdziwość/fałszywość choćby jednego zdania które w niniejszy poście przytaczam.
Kod: |
Dowód iż Irbisol to wierny wyznawca algebry Kubusia!
S1 Schemat 1 # S2 Schemat 2
Operator równoważności A<=>S: # Operator implikacji prostej A|=>S:
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1 # A|=>S=(A1: A=>S)*~(B2:~A=>~S)
# B
# ______
# ---o o---
S A # S | A |
------------- ______ # ------------- | ______ |
-----| Żarówka |-------o o-- # ---| Żarówka |-----o o-----
| ------------- | # | ------------- |
| | # | |
______ | # _______ |
___ U (źródło napięcia) | # ___ U (źródło napięcia) |
| | # | |
| | # | |
--------------------------------- # --------------------------------
Zmienne związane definicją: A, S # Zmienne związane definicją: A, S
Zmienna wolna: brak # Zmienna wolna: B
===========================================================================
I. #
Twierdzenie proste: #
A1: A=>S =1 ;A wystarcza=> dla S # ?!
Twierdzenie odwrotne: #
B2:~A=>~S=1 ;~A wystarcza dla ~S # ?!
Stąd: #
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1 # ?!
A1 ## B2 #
II. #
Po zamianie A i S w A1 mamy. #
Twierdzenie proste: #
B3: S=>A =1 ;S wystarcza => dla A # ?!
Twierdzenie odwrotne: #
A4:~S=>~A=1 ;~S wystarcza => dla ~A # ?!
stąd: #
S<=>A=(B3: S=>A)*(A4:~S=>~A # ?!
B3 ## A4 #
Gdzie: #
## - różne na mocy definicji #
|
Twardy dowód iż Irbisol jest wyznawcą algebry Kubusia tylko o tym nie wie:
Po pierwsze:
Irbisol doskonale posługuje się w praktyce definicją operatora logicznego rodem z algebry Kubusia która brzmi:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie p?
Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie q?
Co może się wydarzyć jeśli zajdzie ~q? |
Po drugie
Twardy dowód iż „po pierwsze” to święta prawda!
Definicja równoważności ziemskich matematyków:
Twierdzenie proste:
A1: A=>S
Twierdzenie odwrotne:
B3: S=>A
stąd:
A<=>S = (A1: A=>S)*(B3: S=>A) =1*1 =1
Prawo kontrapozycji doskonale znane ziemskim matematykom:
B3: S=>A = B2:~A=>~S
Stąd:
Tożsama definicja równoważności ziemskich matematyków:
Twierdzenie proste:
A1: A=>S =1
Twierdzenie odwrotne:
B2: ~A=>~S =1
Stąd:
A<=>S = (A1: A=>S)*(B2:~A=>~S) =1*1 =1
Definicja warunku wystarczającego => w AK:
A=>S = ~A+S
Definicja warunku koniecznego ~> w AK:
A~>S =A+~S
stąd:
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego powiązane ze przyciskiem A i żarówką S.
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A =1
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A =1
Gdzie:
## - różne na mocy definicji
Zmienne A i S muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia
I.
Badamy schemat S1 równoważności dla przycisku A:
Przycisk a jest wciśnięty wtedy i tylko wtedy gdy żarówka świeci się
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1
Dowód w logice matematycznej Irbisola = dowód w algebrze Kubusia!
Twierdzenie proste:
A1.
Jeśli klawisz A jest wciśnięty (A) to na 100% => świeci się żarówka S (S)
A=>S =1
Wciśnięcie klawisza A jest warunkiem wystarczającym => dla świecenia żarówki S
cnd
Twierdzenie odwrotne bo: B2: ~A=>~S = B3: A=>S
B2.
Jeśli klawisza A nie jest wciśnięty (~A) to na 100% => żarówka nie świeci się (~S)
~A=>~S =1
Nie wciśnięcie klawisza A jest warunkiem wystraczającym => dla nie świecenia się żarówki S
cnd
Stąd nasz wierny wyznawca algebry Kubusia, Irbisol wnioskuje, iż prawdziwa jest równoważność:
Przycisk A jest wciśnięty wtedy i tylko wtedy gdy żarówka świeci się
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1
cnd
Uważaj teraz Irbisolu!
Zgodnie z definicją operatora logicznego w AK, aby mieć pełnię obrazu równoważności, w zdaniu A1 zamieniamy A i S miejscami i ponawiamy analizę dokładnie jak wyżej.
II.
Badamy schemat S1 równoważności dla żarówki S:
Żarówka świeci się wtedy i tylko wtedy gdy przyciska A jest wciśnięty
S<=>A = (B3: S=>A)*(A4: ~S=>~A) =1*1 =1
Dowód w logice matematycznej Irbisola = dowód w algebrze Kubusia!
Twierdzenie proste:
B3.
Jeśli żarówka świeci się (S) to na 100% => klawisza A jest wciśnięty (A)
S=>A =1
Świecenie się żarówki S (S) jest warunkiem wystarczającym => dla wnioskowania, iż klawisz A jest wciśnięty (A)
cnd
Twierdzenie odwrotne bo: A4: ~S=>~A = A1: A=>S
A4.
Jeśli żarówka nie świeci się to na 100% => przycisk a nie jest wciśnięty (~A)
~S =>~A =1
Nie świecenie się żarówki, jest warunkiem wystarczającym => dla wnioskowania, iż przycisk A nie jest wciśnięty.
cnd
Stąd nasz wierny wyznawca algebry Kubusia, Irbisol wnioskuje, iż prawdziwa jest równoważność:
Żarówka świeci się wtedy i tylko wtedy gdy przyciska A jest wciśnięty
S<=>A = (B3: S=>A)*(A4: ~S=>~A) =1*1 =1
cnd
Podsumowanie:
Na 100% nie zaprzeczysz Irbisolu, iż definicję równoważności A<=>S rozumiesz identycznie jak mieszkańcy 100-milowego lasu
Irbisolu:
Witamy w algebrze Kubusia!
Ostatnio zmieniony przez rafal3006 dnia Wto 23:27, 03 Mar 2020, w całości zmieniany 7 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 9:56, 04 Mar 2020 Temat postu: |
|
|
ooo rafał zostałeś wiernym wyznawcą KRZ
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 10:06, 04 Mar 2020 Temat postu: |
|
|
fiklit napisał: | ooo rafał zostałeś wiernym wyznawcą KRZ |
Poczekajmy co na to Irbisol ...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Śro 10:51, 04 Mar 2020 Temat postu: |
|
|
Irbisol na to standardowo - pierdolisz nie na temat.
Zarzut, który przedstawiasz KRZ dotyczy też AK.
Poza tym masz spiedoloną numerację szach-matów.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 10:55, 04 Mar 2020 Temat postu: |
|
|
ale jak się czujesz jako wyznawca krz? wszak zgadzasz się co do równoważności.
A serio - nie widzisz błędu w tym rozumowaniu? zgadzam się z jedną rzeczą to zgadzam się z całością?
mpim zdaniem chcesz zmienić temat, bo nie potrafisz przyznać się do wtopy.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Śro 11:29, 04 Mar 2020 Temat postu: |
|
|
fiklit napisał: | ale jak się czujesz jako wyznawca krz? wszak zgadzasz się co do równoważności.
A serio - nie widzisz błędu w tym rozumowaniu? zgadzam się z jedną rzeczą to zgadzam się z całością?
mpim zdaniem chcesz zmienić temat, bo nie potrafisz przyznać się do wtopy. |
"100% definicji mamy sprzecznych" - kto to pisał?...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 11:32, 04 Mar 2020 Temat postu: |
|
|
jego logika nie umie liczyć, więc liczenie procentów też mu nie wychodzi.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 13:39, 04 Mar 2020 Temat postu: |
|
|
Irbisol napisał: | Irbisol na to standardowo - pierdolisz nie na temat.
Zarzut, który przedstawiasz KRZ dotyczy też AK.
Poza tym masz spiedoloną numerację szach-matów. |
Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków.
Dowód masz w pkt. 1.3 w tym linku:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-teoria-zdarzen,15675.html#505589
Natomiast twój KRZ w tym zakresie leży, kwicz i błaga o litość.
Dowód:
Otwórz JEDNOZNACZNIE fizyczny układ minimalny z żarówką w twojej posranej definicji implikacji:
A=>Z =1
Choćbyś się zesrał to jednoznacznego układu minimalnego nie podasz i ty o tym doskonale wiesz.
cnd
Ostatnio zmieniony przez rafal3006 dnia Śro 13:40, 04 Mar 2020, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 13:51, 04 Mar 2020 Temat postu: |
|
|
fiklit napisał: | jego logika nie umie liczyć, więc liczenie procentów też mu nie wychodzi. |
Fiklicie, logika matematyczna to zdania warunkowe "Jeśli p to q"
Logika matematyczna odpowiada ci tylko i wyłącznie na pytanie czy dana relacja zachodzi (=1), czy nie zachodzi (=0)
Logika matematyczna z definicji nie liczy bo logika matematyczna to:
1 = prawda
0 = fałsz
Przykład:
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2
P8=>P2 =?
Logika matematyczna wymaga od ciebie odpowiedzi:
1 (TAK) - to twierdzenie jest prawdziwe
0 (NIE) - to twierdzenie jest fałszywe
... ani grama więcej.
Podobnie, logika programu komputerowego to nie są bloki funkcjonalne (obliczeniowe) lecz bloki decyzyjne w których program rozgałęzia się na odpowiadając na pytanie typu TAK/NIE na przykład:
Czy liczba x jest mniejsza od y?
TAK/NIE
inne odpowiedzi na pytanie binarne nie istnieją - dokładnie tym jest logika matematyczna.
Ostatnio zmieniony przez rafal3006 dnia Śro 13:58, 04 Mar 2020, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 14:08, 04 Mar 2020 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Irbisol na to standardowo - pierdolisz nie na temat.
Zarzut, który przedstawiasz KRZ dotyczy też AK.
Poza tym masz spiedoloną numerację szach-matów. |
Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków.
Dowód masz w pkt. 1.3 w tym linku:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-teoria-zdarzen,15675.html#505589
Natomiast twój KRZ w tym zakresie leży, kwicz i błaga o litość.
Dowód:
Otwórz JEDNOZNACZNIE fizyczny układ minimalny z żarówką w twojej posranej definicji implikacji:
A=>Z =1
Choćbyś się zesrał to jednoznacznego układu minimalnego nie podasz i ty o tym doskonale wiesz.
cnd |
Ale wymóg jednoznacznej odtwarzalności dotyczy operatorów AK. A implikacja KRZ takim nie jest. tłuczaczę ci to od kilku dni.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Śro 14:18, 04 Mar 2020 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Irbisol na to standardowo - pierdolisz nie na temat.
Zarzut, który przedstawiasz KRZ dotyczy też AK.
Poza tym masz spiedoloną numerację szach-matów. |
Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków. |
Pajacu, ty rozumiesz, co się do ciebie pisze i co sam piszesz? Twój zarzut dotyczy JEDNOZNACZNEGO odwzorowania układu z implikacji, a nie minimalnego układu.
Jednoznacznie nie potrafisz, podobnie jak KRZ. Minimalnie potrafisz, ale KRZ też potrafi.
Jak już pisałem, twoja implikacja nic nie mówi nt. liczby przełączników oprócz tego, że jest ich minimalnie 2. W KRZ jest minimalnie 1.
Cała filozofia, a ty się zesrałeś i nie dałeś rady dać tej odpowiedzi.
Ostatnio zmieniony przez Irbisol dnia Śro 14:20, 04 Mar 2020, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 14:43, 04 Mar 2020 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Irbisol na to standardowo - pierdolisz nie na temat.
Zarzut, który przedstawiasz KRZ dotyczy też AK.
Poza tym masz spiedoloną numerację szach-matów. |
Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków. |
Pajacu, ty rozumiesz, co się do ciebie pisze i co sam piszesz? Twój zarzut dotyczy JEDNOZNACZNEGO odwzorowania układu z implikacji, a nie minimalnego układu.
Jednoznacznie nie potrafisz, podobnie jak KRZ. Minimalnie potrafisz, ale KRZ też potrafi. |
Bezczelny kłamca - poproszę o dowód iż twój zasrany KRZ potrafi z zapisu matematycznego odtworzyć JEDNOZNACZNIE minimalną definicję implikacji z KRZ.
Jak to udowodnisz - kasuję AK.
Czas START!
Ostatnio zmieniony przez rafal3006 dnia Śro 14:44, 04 Mar 2020, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Śro 14:59, 04 Mar 2020 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków. |
Pajacu, ty rozumiesz, co się do ciebie pisze i co sam piszesz? Twój zarzut dotyczy JEDNOZNACZNEGO odwzorowania układu z implikacji, a nie minimalnego układu.
Jednoznacznie nie potrafisz, podobnie jak KRZ. Minimalnie potrafisz, ale KRZ też potrafi. | Bezczelny kłamca - poproszę o dowód iż twój zasrany KRZ potrafi z zapisu matematycznego odtworzyć JEDNOZNACZNIE minimalną definicję implikacji z KRZ |
Przecież to zrobiłem ledwo wyżej, popierdoleńcu. Ślepy jesteś? Napisałem, że jest to układ z jednym przełącznikiem.
Cytat: | Jak to udowodnisz - kasuję AK.
Czas START! |
Zesrasz się a nie wykasujesz. Czas START!
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 15:46, 04 Mar 2020 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508017
rafal3006 napisał: | Irbisol to wierny wyznawca algebry Kubusia!
Tylko póki co, o tym nie wie!
Kod: |
Dowód iż Irbisol to wierny wyznawca algebry Kubusia!
S1 Schemat 1 # S2 Schemat 2
Operator równoważności A<=>S: # Operator implikacji prostej A|=>S:
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1 # A|=>S=(A1: A=>S)*~(B2:~A=>~S)
# B
# ______
# ---o o---
S A # S | A |
------------- ______ # ------------- | ______ |
-----| Żarówka |-------o o-- # ---| Żarówka |-----o o-----
| ------------- | # | ------------- |
| | # | |
______ | # _______ |
___ U (źródło napięcia) | # ___ U (źródło napięcia) |
| | # | |
| | # | |
--------------------------------- # --------------------------------
Zmienne związane definicją: A, S # Zmienne związane definicją: A, S
Zmienna wolna: brak # Zmienna wolna: B
===========================================================================
I. #
Twierdzenie proste: #
A1: A=>S =1 ;A wystarcza=> dla S # ?!
Twierdzenie odwrotne: #
B2:~A=>~S=1 ;~A wystarcza dla ~S # ?!
Stąd: #
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1 # ?!
A1 ## B2 #
II. #
Po zamianie A i S w A1 mamy. #
Twierdzenie proste: #
B3: S=>A =1 ;S wystarcza => dla A # ?!
Twierdzenie odwrotne: #
A4:~S=>~A=1 ;~S wystarcza => dla ~A # ?!
stąd: #
S<=>A=(B3: S=>A)*(A4:~S=>~A # ?!
B3 ## A4 #
Gdzie: #
## - różne na mocy definicji #
|
Twardy dowód iż Irbisol jest wyznawcą algebry Kubusia tylko o tym nie wie:
Po pierwsze:
Irbisol doskonale posługuje się w praktyce definicją operatora logicznego rodem z algebry Kubusia która brzmi:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie p?
Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie q?
Co może się wydarzyć jeśli zajdzie ~q? |
Po drugie
Twardy dowód iż „po pierwsze” to święta prawda!
Definicja równoważności ziemskich matematyków:
Twierdzenie proste:
A1: A=>S
Twierdzenie odwrotne:
B3: S=>A
stąd:
A<=>S = (A1: A=>S)*(B3: S=>A) =1*1 =1
Prawo kontrapozycji doskonale znane ziemskim matematykom:
B3: S=>A = B2:~A=>~S
Stąd:
Tożsama definicja równoważności ziemskich matematyków:
Twierdzenie proste:
A1: A=>S =1
Twierdzenie odwrotne:
B2: ~A=>~S =1
Stąd:
A<=>S = (A1: A=>S)*(B2:~A=>~S) =1*1 =1
Definicja warunku wystarczającego => w AK:
A=>S = ~A+S
Definicja warunku koniecznego ~> w AK:
A~>S =A+~S
stąd:
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego powiązane ze przyciskiem A i żarówką S.
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A =1
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A =1
Gdzie:
## - różne na mocy definicji
Zmienne A i S muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia
I.
Badamy schemat S1 równoważności dla przycisku A:
Przycisk a jest wciśnięty wtedy i tylko wtedy gdy żarówka świeci się
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1
Dowód w logice matematycznej Irbisola = dowód w algebrze Kubusia!
Twierdzenie proste:
A1.
Jeśli klawisz A jest wciśnięty (A) to na 100% => świeci się żarówka S (S)
A=>S =1
Wciśnięcie klawisza A jest warunkiem wystarczającym => dla świecenia żarówki S
cnd
Twierdzenie odwrotne bo: B2: ~A=>~S = B3: A=>S
B2.
Jeśli klawisza A nie jest wciśnięty (~A) to na 100% => żarówka nie świeci się (~S)
~A=>~S =1
Nie wciśnięcie klawisza A jest warunkiem wystraczającym => dla nie świecenia się żarówki S
cnd
Stąd nasz wierny wyznawca algebry Kubusia, Irbisol wnioskuje, iż prawdziwa jest równoważność:
Przycisk A jest wciśnięty wtedy i tylko wtedy gdy żarówka świeci się
A<=>S=(A1: A=>S)*(B2:~A=>~S)=1*1=1
cnd |
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków. |
Pajacu, ty rozumiesz, co się do ciebie pisze i co sam piszesz? Twój zarzut dotyczy JEDNOZNACZNEGO odwzorowania układu z implikacji, a nie minimalnego układu.
Jednoznacznie nie potrafisz, podobnie jak KRZ. Minimalnie potrafisz, ale KRZ też potrafi. | Bezczelny kłamca - poproszę o dowód iż twój zasrany KRZ potrafi z zapisu matematycznego odtworzyć JEDNOZNACZNIE minimalną definicję implikacji z KRZ |
Przecież to zrobiłem ledwo wyżej, popierdoleńcu. Ślepy jesteś? Napisałem, że jest to układ z jednym przełącznikiem. |
Innymi słowy irbisolu twierdzisz że zachodzi matematyczna tożsamość:
Implikacja rodem z KRZ: A=>S=~A+S = Warunek wystarczający => w AK: A=>S =~A+S
Czy możesz to potwierdzić na piśmie, czy też się czegoś boisz?
TAK/NIE
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Śro 16:16, 04 Mar 2020 Temat postu: |
|
|
Cytat: | Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków. | Pajacu, ty rozumiesz, co się do ciebie pisze i co sam piszesz? Twój zarzut dotyczy JEDNOZNACZNEGO odwzorowania układu z implikacji, a nie minimalnego układu.
Jednoznacznie nie potrafisz, podobnie jak KRZ. Minimalnie potrafisz, ale KRZ też potrafi. |
Bezczelny kłamca - poproszę o dowód iż twój zasrany KRZ potrafi z zapisu matematycznego odtworzyć JEDNOZNACZNIE minimalną definicję implikacji z KRZ |
Przecież to zrobiłem ledwo wyżej, popierdoleńcu. Ślepy jesteś? Napisałem, że jest to układ z jednym przełącznikiem. |
Innymi słowy irbisolu twierdzisz że zachodzi matematyczna tożsamość:
Implikacja rodem z KRZ: A=>S=~A+S = Warunek wystarczający => w AK: A=>S =~A+S |
Nie wiem, bo chuj wie, co tam powymyślałeś w tym swoim warunku wystarczającym.
Gdzie ten szach-mat, popierdoleńcu?
Przypominam, że AK tak samo nie potrafi JEDNOZNACZNIE odwzorować układu z implikacji, a KRZ tak samo potrafi wydziergać układ minimalny z implikacji.
No i oczywiście posrałeś się, a nie skasowałeś AK po swojej kolejnej obietnicy zasranego kłamcy.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 23:30, 04 Mar 2020 Temat postu: |
|
|
Są w matematyce rzeczy o których największym ziemskim matematykom się nie śniło!
Temat:
Wyprowadzenie definicji kontrprzykładu w logice matematycznej!
Irbisol napisał: | Cytat: | Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Mylisz się płaskoziemco, bo AK potrafi z definicji dowolnego operatora logicznego odtworzyć JEDNOZNACZNIE układ minimalny realizacji tego operatora przy pomocy żarówki i przycisków. | Pajacu, ty rozumiesz, co się do ciebie pisze i co sam piszesz? Twój zarzut dotyczy JEDNOZNACZNEGO odwzorowania układu z implikacji, a nie minimalnego układu.
Jednoznacznie nie potrafisz, podobnie jak KRZ. Minimalnie potrafisz, ale KRZ też potrafi. |
Bezczelny kłamca - poproszę o dowód iż twój zasrany KRZ potrafi z zapisu matematycznego odtworzyć JEDNOZNACZNIE minimalną definicję implikacji z KRZ |
Przecież to zrobiłem ledwo wyżej, popierdoleńcu. Ślepy jesteś? Napisałem, że jest to układ z jednym przełącznikiem. |
Innymi słowy irbisolu twierdzisz że zachodzi matematyczna tożsamość:
Implikacja rodem z KRZ: A=>S=~A+S = Warunek wystarczający => w AK: A=>S =~A+S |
Nie wiem, bo chuj wie, co tam powymyślałeś w tym swoim warunku wystarczającym. |
... a cóż tu wymyślać skoro definicję zarówno warunku wystarczającego => jak i koniecznego ~> rozumiemy absolutnie identycznie!
Nasz wspólny operator równoważności opisałem ci w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508017
Gdzie wykazałem niezbicie, że jesteś wiernym wyznawcą algebry Kubusia, tylko o tym nie wiesz.
Fundamentem naszej wspólnej analizy układu z jedną żarówką i jednym przyciskiem A była nasza wspólna definicja operatora logicznego, ta definicja:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie p?
Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
Co może się wydarzyć jeśli zajdzie q?
Co może się wydarzyć jeśli zajdzie ~q? |
Skoro jak sam się przekonałeś powyższa definicja jest nam wspólna i działa perfekcyjnie definiując operator równoważności:
A<=>S = (A1: A=>S)*(B2:~A=>~S)
To pod żadnym pozorem nie wolno nam tej definicji tyknąć.
Oczywistym jest że definicja warunków wystarczających A1 i B2 musi być IDENTYCZNA - pytanie jaka?
Narysujmy sobie fizyczną realizację naszej wspólnej równoważności:
Kod: |
S1: Schemat 1
Fizyczna realizacja operatora równoważności A<=>S w zdarzeniach:
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
S A
------------- ______
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: brak
Istotą równoważności jest brak zmiennych wolnych
|
Warunek wystarczający A1 brzmi:
A1.
Jeśli przycisk A jest wciśnięty to na 100% żarówka świeci się
A=>S =1
Wciśnięcie przycisku A jest warunkiem wystarczającym => dla świecenia się żarówki S
O czym Irbisol nie ma bladego pojęcia?
Prawdziwość definicji warunku wystarczającego A1 możemy wykazać dowodem nie wprost badając fałszywość kontrprzykładu.
Definicja kontrprzykładu:
Kontrprzykładem dla warunku wystarczającego => A1 jest to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym ~~>.
Definicja zdarzenia możliwego ~~>
Zdarzenie możliwe ~~> to zdarzenie mające szansę wystąpienia.
p~~>q =p*q =1 - gdy możliwe jest jednoczesne wystąpienie zdarzeń p i q
Inaczej:
p~~>q =p*q =0
Definicja kontrprzykładu A1’ dla warunku wystarczającego => A1 brzmi:
A1’
Jeśli przycisk A jest wciśnięty (A) to żarówka może się ~~> nie świecić (~S)
A~~>~S = A*~S =0 - nie ma takiej możliwości
Definicja zdarzenia możliwego ~~> nie jest tu spełniona z czym nasz Irbisol na 100% się zgadza.
Czy mam rację Irbisolu?
cnd
Jak doskonale widać, dowodzenie prawdziwości warunku wystarczającego =>:
A1: A=>S =1
metodą nie wprost przy pomocy definicji kontrprzykładu jest równie banalne jak dowodzenie wprost zdaniem A1.
Wniosek:
Prawdziwość warunku wystarczającego =>:
A1: A=>S =1
wymusza fałszywość kontrprzykładu ~~>:
A1’: A~~>~S = A*~S =0
i odwrotnie
Zróbmy teraz następujący manewr, sięgnijmy po definicję implikacji odwrotnej A|~>S w układzie żarówki sterowanej przyciskami w różnych konfiguracjach.
Kod: |
S3 Schemat 3
Fizyczna realizacja operatora implikacji odwrotnej A|~>S w zdarzeniach:
A|~>S=(B1: A~>S)*~(A1: A=>S)=1*~(0)=1*1=1
S B A
------------- ______ ______
-----| Żarówka |-------o o-----o o----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
----------------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: B
Istotą implikacji odwrotnej A|~>S jest zmienna wolna B
połączona szeregowo z przyciskiem A.
|
Definicja zmiennej związanej:
Zmienna związana to zmienna występujące w układzie uwzględniona w opisie matematycznym układu.
Definicja zmiennej wolnej:
Zmienna wolna to zmienna występująca w układzie, ale nie uwzględniona w opisie matematycznym układu.
Co możemy powiedzieć o schemacie S3?
B1.
Jeśli klawisz A jest wciśnięty to żarówka może ~> się świecić
A~>S =1
Wciśnięcie klawisza A jest konieczne ~> dla świecenia się żarówki S
Z tym faktem nasz Irbisol na 100% się zgadza bo warunki konieczne ~> i wystarczające => rozumiemy identycznie.
Czy mam rację Irbisolu?
ALE!
A1.
Jeśli klawisz A jest wciśnięty to żarówka na 100% => świeci się
A=>S =0
Wciśnięcie klawisza A nie jest (=0) wystarczające => dla świecenia się żarówki S
Ze fałszywością warunku wystarczającego A1 Irbisol na 100% się zgadza.
Czy mam rację Irbisolu?
Zapiszmy kontrprzykład A1’ dla warunku wystarczającego => A1.
A1’
Jeśli klawisz A jest wciśnięty (A) to żarówka może ~> się nie świecić (~S)
A~~>~S = A*~S =1
Definicja zdarzenia możliwego ~~> jest ty spełniona.
Na schemacie S3 możliwe jest ~~> (=1) zdarzenie:
A*~S =1*1 =1 - klawisz A jest wciśnięty (A=1) i żarówka nie świeci się (~S=1)
Z tym faktem nasz Irbisol na 100% się zgadza.
Czy mam rację Irbisolu?
Stąd mamy wyprowadzone znaczenie prawdziwego kontrprzykładu A~~>~S=1.
Jeśli prawdziwy jest kontrprzykład:
A1’: A~~>~S = A*~S =1
to na 100% => fałszywy jest warunek wystarczający:
A1: A=>S =0
i odwrotnie.
Wracając do kluczowego pytania dla układu równoważności S1:
A<=>S = (A1: A=>S)*(B2:~A=>~S)
Oczywistym jest że definicja warunków wystarczających A1 i B2 musi być IDENTYCZNA - pytanie jaka?
Kod: |
S1: Schemat 1
Fizyczna realizacja operatora równoważności A<=>S w zdarzeniach:
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
S A
------------- ______
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: brak
Istotą równoważności jest brak zmiennych wolnych
|
Definicja równoważności wspólna dla AK i KRZ:
A<=>S = (A1: A=>S)*(B2:~A=>~S)
Oczywistym jest że definicja warunków wystarczających A1 i B2 musi być IDENTYCZNA - pytanie jaka?
Na mocy wyprowadzonej tu definicji kontrprzykładu dokładnie taka!
Definicja warunku wystarczającego A1:
A1: A=>S =1 - wciśnięcie A wystarcza dla świecenia S
A1’: A~~>~S=A*~S =0 - kontrprzykład A1’ dla warunku wystarczającego => A1 musi być fałszem
Definicja warunku wystarczającego B2:
B2: ~A=>~S =1 - nie wciśnięcie A (~A) jest wystarczające => dla nie świecenia się żarówki S (~S)
B2’: ~A~~>S = ~A*S =0 - kontrprzykład B2’ dla warunku wystarczającego => B2 musi być fałszem
Podsumowując:
Są w matematyce rzeczy o których największym ziemskim matematykom się nie śniło!
Wyprowadziliśmy poprawną matematycznie definicję kontrprzykładu działającą w absolutnie całej logice matematycznej, zarówno w teorii zdarzeń (nasze rozważania), jak i w teorii zbiorów (którą tu się nie zajmujemy).
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)
Irbisolu,
Czy zgadzasz się na naszą wspólną definicję kontrprzykładu wyprowadzoną w niniejszym poście?
1.
Jeśli NIE to pokaż jedno zdanie fałszywe w naszym wspólnym dowodzie wyprowadzającym definicję kontrprzykładu w zdarzeniach.
2.
Jeśli NIE, to podaj jeden, jedyny kontrprzykład obalający wyprowadzoną tu definicję kontrprzykładu - może być z teorii zdarzeń lub z teorii zbiorów.
Czas START!
Ostatnio zmieniony przez rafal3006 dnia Czw 7:59, 05 Mar 2020, w całości zmieniany 7 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Czw 8:49, 05 Mar 2020 Temat postu: |
|
|
I znowu się zesrałeś zamiast pisać na temat, popierdoleńcu spierdalający przed odpowiedzią .
Gdzie ten szach-mat, skoro AK nie potrafi tego samego co KRZ, a KRZ potrafi to samo co AK?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35498
Przeczytał: 17 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 23:16, 05 Mar 2020 Temat postu: |
|
|
Szach-mat wszech czasów dla gówna zwanego KRZ!
Szach-mat wszech czasów dla gówna zwanego KRZ!
Na czym polega szach-mat wszech czasów dla gówna zwanego KRZ?
Odpowiedź:
Na odkryciu, iż w absolutnie każdej implikacji mamy w jednej połówce gwarancję matematyczną =>, natomiast w drugiej połówce mamy do czynienia z najzwyklejszym „rzucaniem monetą”
Podsumowanie:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
I. Co może się wydarzyć jeśli zajdzie p?
II. Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
III. Co może się wydarzyć jeśli zajdzie q?
IV. Co może się wydarzyć jeśli zajdzie ~q? |
Zauważmy, że zachodzi matematyczna tożsamość dwóch połówek w definicji operatora logicznego:
I i II [=] III i IV
I i II: A|=>S =(A1: A=>S)*~(B1: A~>S) = ~A*S [=] III i IV: S|~>A = (A3: S~>A)*~(B3: S=>A)= S*~A
bowiem spójnik „i”(*) jest przemienny.
cnd
Zauważmy że w implikacji prostej A|=>S mamy gwarancję matematyczną => po stronie wciśniętego klawisza A (A=1) i „rzucanie monetą” po stronie nie wciśniętego klawisza A (~A=1)
(~A=1) = (A=0) - prawo Prosiaczka
Natomiast!
Natomiast w tożsamej implikacji odwrotnej S|~>A mamy do czynienia z „rzucaniem monetą” po stronie świecącej się żarówki (S) i gwarancję matematyczną => po stronie nie świecącej się żarówki S (~S=1)
(~S=1) = (S=0) - prawo Prosiaczka
Dochodzenie do prawdy, czyli do powyższego podsumowania jest następujące:
Irbisol napisał: |
I znowu się zesrałeś zamiast pisać na temat, popierdoleńcu spierdalający przed odpowiedzią .
Gdzie ten szach-mat, skoro AK nie potrafi tego samego co KRZ, a KRZ potrafi to samo co AK? |
Tu, w niniejszym poście!
Część II
Operator implikacji prostej A|=>S
Spis treści
1.0 Fundamenty algebry Kubusia 2
1.1 Definicja operatora implikacyjnego 2
1.2 Algebra Kubusia - teoria zdarzeń 3
2.0 Definicje operatorów implikacyjnych 5
2.1 Operator Implikacji prostej A|=>S 6
2.2 Operator implikacji odwrotnej S|~>A 10
2.3 Podsumowanie 13
1.0 Fundamenty algebry Kubusia
Irbisolu,
Zdecydowanie najważniejszą definicję w logice matematycznej wyprowadziliśmy wspólnie w tym poście - to definicja kontrprzykładu, obowiązująca wyłącznie w warunku wystarczającym =>:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508201
rafal3006 napisał: | Są w matematyce rzeczy o których największym ziemskim matematykom się nie śniło!
Temat:
Wyprowadzenie definicji kontrprzykładu w logice matematycznej!
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) |
Irbisolu,
Nasz w 100% wspólny operator równoważności opisałem ci w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508017
Gdzie wykazałem niezbicie, że jesteś wiernym wyznawcą algebry Kubusia, tylko o tym nie wiesz.
1.1 Definicja operatora implikacyjnego
Fundamentem naszej wspólnej analizy układu z jedną żarówką S i jednym przyciskiem A była nasza wspólna definicja operatora logicznego, ta definicja:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
I. Co może się wydarzyć jeśli zajdzie p?
II. Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
III. Co może się wydarzyć jeśli zajdzie q?
IV. Co może się wydarzyć jeśli zajdzie ~q? |
Irbisolu,
Skoro jak sam się przekonałeś powyższa definicja jest nam wspólna i działa perfekcyjnie definiując operator równoważności:
A<=>S = (A1: A=>S)*(B2:~A=>~S)
To pod żadnym pozorem nie wolno nam tej definicji tyknąć.
To jest absolutna świętość matematyczna pozwalająca zdefiniować wszystkie możliwe operatory implikacyjne, których jest raptem cztery.
Rozkazuję ci z całą mocą, byś sobie powyższą definicję wydrukował i powiesił nad łóżkiem. Każdego wieczora i każdego poranka masz się do niej modlić, co by dotarła do twojego nieszczęsnego mózgu, zatopionego w gównie zwanym KRZ.
1.2 Algebra Kubusia - teoria zdarzeń
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-teoria-zdarzen,15675.html#505589
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
Ogólne prawo Kubusia:
Negujemy zmienne i wymieniamy spójniki na przeciwne
2.
Prawa Tygryska:
A13: p=>q = q~>p
##
B13: p~>q = q=>p
Ogólne prawo Tygryska:
Zamieniamy miejscami zmienne i wymieniamy spójniki na przeciwne
3.
Prawa kontrapozycji:
A14: p=>q = ~q=>~p
##
B14: p~>q = ~q~>~p
Ogólne prawo kontrapozycji:
Negujemy zmienne zamieniając je miejscami bez zmiany spójnika logicznego
Gdzie:
## - różne na mocy definicji |
2.0 Definicje operatorów implikacyjnych
Podstawmy pod powyższą teorię ogólną naszą żarówkę S sterowaną przyciskiem A
Definicja warunku wystarczającego => w AK:
A=>S = ~A+S
##
Definicja warunku koniecznego ~> w AK:
A~>S =A+~S
stąd:
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego powiązane ze przyciskiem A i żarówką S.
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A [=] ~A+S
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A [=] A+~S
Gdzie:
## - różne na mocy definicji
Zmienne A i S muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia
Podstawowe definicje operatorów logicznych:
1.
Operator równoważności A<=>S:
A<=>S = (A1: A=>S)*(B1: A~>S) =1*1 =1
Prawo Kubusia:
B1: A~>S = B2: ~A=>~S
stąd definicja tożsama wyrażona wyłącznie warunkami wystarczającymi:
A<=>S = (A1: A=>S)*(B2: ~A=>~S) = A*S+~A*~S - wskazuje warunki wystarczające A=>S=1 i ~A=>~S=1
##
2.
Operator implikacji prostej A|=>S:
A|=>S = (A1: A=>S)*~(B1: A~>S) = 1*~(0) =1*1=1
Prawo Kubusia:
B1: A~>S = B2: ~A=>~S
stąd definicja tożsama wyrażona wyłącznie warunkami wystarczającymi:
A|=>S = (A1: A=>S)*~(B2: ~A=>~S) = ~A*S - wskazuje prawdziwy kontrprzykład w A|=>S
##
3.
Operator implikacji odwrotnej A|~>S:
A|~>S = (B1: A~>S)*~(A1: A=>S) = 1*~(0) =1*1 =1
Prawo Kubusia:
B1: A~>S = B2: ~A=>~S
stąd definicja tożsama wyrażona wyłącznie warunkami wystarczającymi:
A|~>S = (B2: ~A=>~S)*~(A1: A=>S) = A*~S - wskazuje prawdziwo kontrprzykład w A|~>S
##
4.
Operator chaosu A|~~>S:
A|~~>S = ~(A1: A=>S)*~(B1: A~>S) = ~(0)*~(0) =1*1 =1
Prawo Kubusia:
B1: A~>S = B2: ~A=>~S
stąd definicja tożsama wyrażona wyłącznie warunkami wystarczającymi:
A|~~>S = ~(A1: A=>S)*~(B2: ~A=>~S) =0 - wskazuje brak kontrprzykładu w A|~~>S
Gdzie:
## - różne na mocy definicji
Irbisolu, jesteś fanatycznym wyznawcą algebry Kubusia czy tego chcesz czy nie chcesz, bo po prostu pod nią podlegasz - to ona rządzi wszelkimi twoimi poczynaniami.
Twardy dowód iż Irbisol jest wyznawcą algebry Kubusia tylko o tym nie wie jest niżej.
2.1 Operator Implikacji prostej A|=>S
Zajmijmy się teraz operatorem implikacji prostej A|=>S:
A|=>S=(A1: A=>S)*~(B2:~A=>~S)
Naszą wspólną definicją operatora logicznego która tak wspaniale zadziałała nam w przypadku równoważności opisanej fizycznie jedną żarówką i jednym przyciskiem A sterującym tą żarówką.
Przypomnijmy naszą wspólną definicję po raz kolejny bo warto ją powtarzać jak modlitwę dwa razy dziennie.
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
I. Co może się wydarzyć jeśli zajdzie p?
II. Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
III. Co może się wydarzyć jeśli zajdzie q?
IV. Co może się wydarzyć jeśli zajdzie ~q? |
Kod: |
S2 Schemat 2
Fizyczna realizacja operatora implikacji prostej A|=>S w zdarzeniach:
A1: A=>S=1
B1: A~>S=0
A|=>S=(A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
B
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: B
Istotą implikacji prostej A|=>S jest istnienie zmiennej wolnej B
podłączonej równolegle do przycisku A
|
Definicja zmiennej związanej:
Zmienna związana to zmienna występujące w układzie uwzględniona w opisie matematycznym układu.
Definicja zmiennej wolnej:
Zmienna wolna to zmienna występująca w układzie, ale nie uwzględniona w opisie matematycznym układu.
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego dla implikacji prostej A|=>S:
Na mocy definicji zachodzi:
A1: A=>S =1
B1: A~>S =0
stąd mamy:
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A =1
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A [=] =0
Przeanalizujmy schemat S2 zgodnie z naszą wspólną definicją operatora logicznego wyżej.
I.
Badamy co może się wydarzyć jeśli przycisk A jest wciśnięty (A):
A1.
Jeśli przycisk A jest wciśnięty to na 100% => żarówka świeci się (S)
A=>S =1
Wciśnięcie przycisku A jest warunkiem wystarczającym => dla świecenia się żarówki S
Z tym nasz Irbisol na 100% się zgadza.
Czy mam rację Irbisolu?
cnd
Kontrprzykład A1’ dla warunku wystarczającego => A1 musi być fałszem, sprawdzamy:
A1’
Jeśli przycisk A jest wciśnięty (A) to żarówka może się ~~> nie świecić (~S)
A~~>~S = A*~S =0
Nie ma takiej możliwości co widać na schemacie S2
Z tym nasz Irbisol na 100% się zgadza.
Czy mam rację Irbisolu?
Na mocy definicji operatora logicznego:
II.
Badamy co może się wydarzyć jeśli przycisk A nie będzie wciśnięty (~A):
B2.
Jeśli przycisk A nie jest wciśnięty (~A) to na 100% => żarówka nie świeci się (~S)
~A=>~S=0
Nie wciśnięcie przycisku A (~A) nie jest (=0) warunkiem wystarczającym => dla nie świecenia się żarówki S, bowiem może się zdarzyć A=0 i B=1 => S=1
Z tym nasz Irbisol na 100% się zgadza.
Czy mam rację Irbisolu?
… i teraz nastąpi szach-mat wszech czasów dla gówna zwanego KRZ!
Fałszywość warunku wystarczającego B2 wymusza prawdziwość kontrprzykładu B2’
B2’
Jeśli przycisk A nie jest wciśnięty (~A) to żarówka może ~~> się świecić (S)
~A~~>S = ~A*S =1
Łatwo widzieć, iż to zdarzenie jest możliwe (=1), bowiem może być A=0 i B=1 => S=1
Wyprowadzoną w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-275.html#508201
definicję kontrprzykładu tu zastosowaną, może kwestionować wyłącznie matematyczny debil.
… a przecież nasz Irbisol nie jest matematycznym debilem!
Czy mam rację Irbisolu?
Oczywistym jest, że dla warunku wystarczającego => A1 obowiązuje prawo Kubusia, będące także prawem KRZ.
A1: A=>S = A2: ~A~>~S
stąd:
A2.
Jeśli przycisk A nie jest wciśnięty (~A) to żarówka może się ~> nie świecić (~S)
~A~>~S =1
Nie wciśnięcie klawisza A (~A) jest warunkiem koniecznym ~> dla nie świecenia się żarówki S (~S) bo jak przycisk A jest wciśnięty (A) to żarówka na 100% => świeci się (S)
Prawo Kubusia samo nam tu wyskoczyło:
A2: ~A~>~S = A1: A=>S
Nasz Irbisol widzi to doskonale.
Czy mam rację Irbisolu?
Zapiszmy naszą analizę w tabeli prawdy:
Kod: |
A1: A=> S =1 - wciśnięcie A wystarcza => dla zaświecenia S
A1’: A~~>~S=0 - kontrprzykład dla prawdziwego => A1 musi być fałszem
… a jeśli przycisk A nie jest wciśnięty?
Prawo Kubusia:
A1: A=>S = A2:~A~>~S
A2: ~A~>~S =1 - nie wciśnięcie A jest konieczne ~> dla nie świecenia się S
lub
B2’:~A~~>S =1 - możliwe jest zdarzenie nie wciśnięty A i świeci S: ~A*S=1
|
Pani matematyczka do Jasia (lat 14) w 100-milowym lesie:
Jasiu, patrząc na schemat S2 odpowiedz na pytanie:
Co może się wydarzyć (w przyszłości!) jeśli przyciska A będzie wciśnięty?
Jaś:
A1.
Jeśli przycisk A będzie wciśnięty to mamy gwarancję matematyczną => iż żarówka świeci się (S)
A=>S =1
Pani:
Powiedz teraz co może się wydarzyć (w przyszłości!) jeśli przycisk A nie będzie wciśnięty (~A)?
Jaś:
Jeśli przycisk A nie będzie wciśnięty to żarówka może się ~> nie świecić (zdanie A2, gdy B=0) lub może się ~~> się świecić (zdanie B2’, gdy B=1)
Po stronie nie wciśniętego przycisku A (~A) mamy tu najzwyklejsze „rzucanie monetą”.
Pani:
Brawo Jasiu, dostajesz 6.
Oczywistym jest, że nasz Irbisol jest tego samego zdania co Jaś ze 100-milowego lasu.
Czy mam rację Irbisolu?
Zauważmy, że spełniona jest tu podstawowa definicja implikacji prostej A|=>S:
A1: A=>S =1
B1: A~>S =0
Stąd;
A|=>S = (A1: A=>S)*~(B1: A~>S) = 1*~(0)=1*1 =1
Obliczmy tą definicję w spójnikach „i”(*) i „lub”(+).
Definicja warunku wystarczającego =>:
A=>S = ~A+S
Definicja warunku koniecznego ~>:
A~>S = A+~S
Stąd:
A|=>S = (A1: A=>S)*(B1: A~>S) = (~A+S)*~(A+~S) = (~A+S)*(~A*S) = ~A*S
A|=>S = ~A*s
Doskonale tu widać, że definicja implikacji prostej A|=>S w spójnikach „i”(*) i „lub”(+) wskazuje jedyny tu kontrprzykład prawdziwy:
B2’: ~A~~>S = ~A*S =1
cnd
Podsumowując:
Kiedy Irbisolu dołączysz do mieszkańców 100-milowego lasu i wykopiesz w kosmos to gówno otaczające szczelnie twój mózg zwane KRZ?
2.2 Operator implikacji odwrotnej S|~>A
Przypomnijmy po raz kolejny świętą definicję operatora implikacyjnego dotyczącego zdań warunkowych „Jeśli p to q” - tego nigdy za wiele!
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
I. Co może się wydarzyć jeśli zajdzie p?
II. Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
III. Co może się wydarzyć jeśli zajdzie q?
IV. Co może się wydarzyć jeśli zajdzie ~q? |
Pierwszą część definicji operatora implikacji prostej A|=>S (I i II) omówiliśmy wyżej.
Bierzemy się za część drugą (III i IV), czyli w zdaniu A: A=>S zamieniamy miejscami A i S i analizujemy identycznie jak wyżej.
Kod: |
S2 Schemat 2
Fizyczna realizacja operatora implikacji prostej A|=>S w zdarzeniach:
A1: A=>S=1
B1: A~>S=0
A|=>S=(A1: A=>S)*~(B1: A~>S)=1*~(0)=1*1=1
B
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: B
Istotą implikacji prostej A|=>S jest istnienie zmiennej wolnej B
podłączonej równolegle do przycisku A
|
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego dla implikacji prostej A|=>S:
Na mocy definicji zachodzi:
A1: A=>S =1
B1: A~>S =0
stąd mamy:
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A =1
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A [=] =0
W logice matematycznej kolejność wypowiadania zdań wchodzących w skład definicji dowolnego operatora nie ma najmniejszego znaczenia.
Ponieważ w kierunku S~>A jedyne zdanie prawdziwe z warunkiem wystarczającym to zdanie A4, zacznijmy od tego właśnie zdania.
IV.
Co może się wydarzyć jeśli żarówka nie świeci się (~S)?
A4.
Jeśli żarówka nie świeci się (~S) to na 100% => przycisk A nie jest wciśnięty (~A)
~S=>~A=1
Brak świecenia żarówki S jest warunkiem wystarczającym => do tego, by wnioskować iż klawisz A nie jest wciśnięty, bowiem S=0 <=> A=0 i B=0
Nasz Irbisol doskonale o tym wie.
Czy mam rację Irbisolu?
Prawdziwość warunku wystarczającego A4 wymusza fałszywość kontrprzykładu A4’ (i odwrotnie)
A4’.
Jeśli żarówka nie świeci się (~S) to przycisk A może ~~> być wciśnięty (A)
~S~~>A = ~S*A =0 - zdarzenie niemożliwe
Nasz Irbisol o tym wie.
Czy mam racę Irbisolu?
Postępujemy dalej zgodnie z definicją operatora logicznego, żadnego innego wyjścia nie mamy.
III.
Co może się wydarzyć jeśli żarówka świeci się (S)?
B3.
Jeśli żarówka świeci się (S) to na 100% => przycisk A jest wciśnięty (A)
S=>A =0
Definicja warunku wystarczającego => nie jest spełniona bo może się zdarzyć S=1 gdy A=0 i B=1
Nasz Irbisol doskonale o tym wie.
Czy mam rację Irbisolu?
… i teraz nastąpi szach-mat wszech czasów dla gówna zwanego KRZ!
Na mocy definicji kontrprzykładu fałszywy warunek wystarczający => B3 wymusza prawdziwy kontrprzykład B3’ (i odwrotnie)
B3’.
Jeśli żarówka świeci się (S) to przycisk A może ~~> nie być wciśnięty (~A)
S~~>~A=S*~A =1
Zdarzenie możliwe S=1 gdy A=0 i B=1
Nasz Irbisol o tym doskonale wie.
Czy mam rację Irbisolu?
Na mocy prawa Kubusia, prawa zarówno AK jak i KRZ, prawdziwy warunek wystarczający => A4 wymusza prawdziwy warunek konieczny ~> A3.
Prawo Kubusia:
A4: ~S=>~A = A3: S~>A
stąd:
A3.
Jeśli żarówka świeci się (S) to przycisk A może ~> być wciśnięty (A)
S~>A =1
Świecenie się żarówki S (S) jest warunkiem koniecznym ~> dla wciśnięcia przycisku A (A) bo jak żarówka nie świeci się (~S) to na 100% => przycisk A nie jest wciśnięty (~A).
Prawo Kubusia samo nam tu wyskoczyło:
A3: S~>A = A4: ~S=>~A
Irbisol doskonale to rozumie.
Czy mam rację Irbisolu?
Zapiszmy naszą analizę układu S2 w kierunku S~>A w tabeli prawdy.
Oczywiście kolejność zapisywanych zdań jest w logice matematycznej totalnie bez znaczenia.
Kod: |
A3: S~> A =1 - świecenie żarówki jest konieczne ~> dla wciśnięcia A
B3’: S~~>~A=1 - możliwe jest zdarzenie świeci i nie wciśnięty: S*~A=1
.. a jeśli żarówka nie świeci się?
Prawo Kubusia:
A3: S~>A = A4:~S=>~A
A4: ~S=>~A =1 - brak świecenia S jest wystarczający => dla nie wciśnięcia A
A4’:~S~~>A =0 - kontrprzykład dla prawdziwego => A4 musi być fałszem
|
Pani matematyczka do Jasia (lat 14) w 100-milowym lesie.
Jasiu patrząc na schemat S2 opowiedz nam co może się wydarzyć (w przyszłości!) jeśli żarówka świeci się?
Jaś:
Jeśli żarówka świeci się to przycisk A może ~> być wciśnięty (zdanie A, S=1 gdy A=1) lub przycisk A może ~~> nie być wciśnięty (zdanie B3’: S=1 gdy A=0 i B=1)
Po stronie świecącej się żarówki (S) mamy więc najzwyklejsze „rzucanie monetą”
Pani:
.. a co może się wydarzyć (w przyszłości!) jeśli żarówka nie świeci się (~S)
Jaś:
Jeśli żarówka nie świeci się (~S) to mamy 100% pewność => że klawisz A nie jest wciśnięty (~A)
~S=>~A =1
bowiem żarówka nie świeci się wtedy i tylko wtedy gdy: A=0 i B=0
Jak widzimy, po stronie nie świecącej się żarówki (~S) mamy gwarancję matematyczną => iż jeśli S=0 to na 100% => A=0.
Zauważmy, że spełniona jest tu podstawowa definicja implikacji odwrotnej S|~>A:
A3: S~>A =1
B3: S=>A =0
stąd:
S|~>A = (A3: S~>A)*~(B3: S=>A) =1*~(0) =1*1 =1
Obliczmy definicję implikacji odwrotnej S|~>A w spójnikach „i”(*) i „lub”(+).
Definicja warunku koniecznego ~>:
A~>S = A+~S
Definicja warunku wystarczającego =>:
A=>S = ~A+S
Stąd:
S|~>A = (A3: S~>A)*~(B3: S=>A) = (S+~A)*~(~S+A) = (S+~A)*(S*~A) = S*~A
S|~>A = S*~A
Doskonale tu widać, że definicja implikacji odwrotnej S|~>A w spójnikach „i”(*) i „lub”(+) wskazuje jedyny kontrprzykład prawdziwy B3’:
B3’: S~~>~A = S*~A =1
2.3 Podsumowanie
Podsumowanie:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-250.html#507745
rafal3006 napisał: |
Definicja implikacyjnego operatora logicznego dla zdań warunkowych „Jeśli p to q”
Implikacyjny operator logiczny to seria czterech zdań warunkowych „Jeśli p to q” przez wszystkie możliwe przeczenia p i q, dająca odpowiedź na następujący zestaw pytań:
Dla zdania „Jeśli p to q” zadajemy dwa pytania na które logika matematyczna musi dać odpowiedź:
I. Co może się wydarzyć jeśli zajdzie p?
II. Co może się wydarzyć jeśli zajdzie ~p?
W zdaniu „Jeśli p to q” zamieniamy p i q.
Dla zdania „Jeśli q to p” zadajemy kolejne dwa pytania na które logika matematyczna musi dać odpowiedź:
III. Co może się wydarzyć jeśli zajdzie q?
IV. Co może się wydarzyć jeśli zajdzie ~q? |
Zauważmy, że zachodzi matematyczna tożsamość dwóch połówek w definicji operatora logicznego:
I i II [=] III i IV
I i II: A|=>S =(A1: A=>S)*~(B1: A~>S) = ~A*S [=] III i IV: S|~>A = (A3: S~>A)*~(B3: S=>A)= S*~A
bowiem spójnik „i”(*) jest przemienny.
cnd
Zauważmy że w implikacji prostej A|=>S mamy gwarancję matematyczną => po stronie wciśniętego klawisza A (A=1) i „rzucanie monetą” po stronie nie wciśniętego klawisza A (~A=1)
(~A=1) = (A=0) - prawo Prosiaczka
Natomiast!
Natomiast w tożsamej implikacji odwrotnej S|~>A mamy do czynienia z „rzucaniem monetą” po stronie świecącej się żarówki (S) i gwarancję matematyczną => po stronie nie świecącej się żarówki S (~S=1)
(~S=1) = (S=0) - prawo Prosiaczka
Pytanie do Irbisola:
Kiedy wreszcie rozwalisz ten kaganiec gówna na twoim mózgu zwany KRZ i dołączysz do mieszkańców 100-milowego lasu?
Ostatnio zmieniony przez rafal3006 dnia Pią 9:17, 06 Mar 2020, w całości zmieniany 9 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15447
Przeczytał: 28 tematów
|
Wysłany: Pią 9:12, 06 Mar 2020 Temat postu: |
|
|
Na razie sobie nie poradziłeś z pierwszym szach-matem.
Spierdalasz od odpowiedzi, więc nie ma sensu czytać kolejnej sraki.
|
|
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
|