Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Szach-mat który przejdzie do historii matematyki!
Idź do strony Poprzedni  1, 2, 3 ... 11, 12, 13 ... 116, 117, 118  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

PostWysłany: Śro 9:56, 04 Mar 2020    Temat postu:

ooo rafał zostałeś wiernym wyznawcą KRZ
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 24 Wrz 2012
Posty: 4195
Przeczytał: 3 tematy


Płeć: Mężczyzna

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


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



Dołączył: 30 Kwi 2006
Posty: 24988
Przeczytał: 31 tematów

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

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




Dołączył: 06 Gru 2005
Posty: 6798
Przeczytał: 48 tematów


PostWysł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
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 11, 12, 13 ... 116, 117, 118  Następny
Strona 12 z 118

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin