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 

Jaka jest Kubusiowa definicja implikacji? Część I
Idź do strony Poprzedni  1, 2, 3, 4, 5, 6, 7, 8, 9  Następny
 
Napisz nowy temat   Ten temat jest zablokowany bez możliwości zmiany postów lub pisania odpowiedzi    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25829
Przeczytał: 17 tematów

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

PostWysłany: Pią 20:56, 18 Paź 2019    Temat postu:

Ostatnie podrygi Irbisolowej gówno-logiki!

Irbisol napisał:
rafal3006 napisał:
Irbisolu, zapisałeś program równoważności

Nie pytam, czy napisałem program równoważności.
Pytam, czy ten program implementuje implikację:
włączony (A) => żarówka świeci.

NIE,NIE,NIE - po trzykroć NIE!

Kod:

        A
      ______         -------------
  ----o    o---------| dioda LED |----
  |                  -------------   |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

A.
Jeśli przycisk A jest wciśnięty to na 100% => żarówka świeci
A=>S =1
Wciśnięcie przycisku A=1 jest warunkiem wystarczającym => dla zaświecenia się żarówki S=1
Wciśnięcie przycisku A=1 daje nam gwarancję matematyczną => zaświecenia się żarówki S=1
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = gwarancja matematyczna =>
Prawdziwy warunek wystarczający => implementowany przez zdanie A wymusza fałszywość kontrprzykładu w postaci zdania B (i odwrotnie)
B.
Jeśli przycisk A jest wciśnięty to żarówka może ~~> nie świecić się
A~~>~S = A*~S =0
Ta sytuacja jest wykluczona o czym doskonale wie każdy uczeń I klasy LO.
… a Irbisol tego nie wie?

Odpowiedziałem precyzyjnie na twoje pytanie.
Teraz ja cię przycisnę do muru bo wydobyłeś z siebie matematyczną głupotę, twierdząc że zdanie A to implikacja :shock: :shock: :shock:

Czy w twojej gówno-logice zachodzi tożsamość:
Warunek wystarczający => = implikacja ?!
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Pią 21:34, 18 Paź 2019, 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: 7669
Przeczytał: 30 tematów


PostWysłany: Sob 11:11, 19 Paź 2019    Temat postu:

rafal3006 napisał:
Cytat:
Pytam, czy ten program implementuje implikację:
włączony (A) => żarówka świeci.

NIE

Czyli wg ciebie nie jest prawdą, że:
włączony (A) => żarówka świeci, czyli
1. Przy wyłączonym A żarówka może świecić ale nie musi.
2. Przy włączonym A żarówka MUSI świecić.

Nie zgadzasz się, że zachodzą punkty 1 i 2, skoro to nie jest implikacja.

Twoje możliwe odpowiedzi.
Zgadzasz się, że oba punkty zachodzą.
Nie zgadzasz się, że oba punkty zachodzą.


Ostatnio zmieniony przez Irbisol dnia Sob 11:12, 19 Paź 2019, 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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Sob 13:33, 19 Paź 2019    Temat postu:

Czy Irbisol zdoła narysować schemat ideowy implikacji prostej A|=>S?
… oto jest pytanie.

Irbisol napisał:
rafal3006 napisał:
Cytat:
Pytam, czy ten program implementuje implikację:
włączony (A) => żarówka świeci.

NIE

Czyli wg ciebie nie jest prawdą, że:
włączony (A) => żarówka świeci, czyli
1. Przy wyłączonym A żarówka może świecić ale nie musi.
2. Przy włączonym A żarówka MUSI świecić.

Nie zgadzasz się, że zachodzą punkty 1 i 2, skoro to nie jest implikacja.

Twoje możliwe odpowiedzi.
Zgadzasz się, że oba punkty zachodzą.
Nie zgadzasz się, że oba punkty zachodzą.

Czy możesz nie sugerować jedynie słusznych odpowiedzi, czyli twoich matematycznych bredni?

Załóżmy Irbisolu, że oba twoje zdania są prawdziwe, czyli według Rafała3006 i Irbisola prawdą jest że:
1. Przy włączonym A żarówka MUSI świecić.
2. Przy wyłączonym A żarówka może świecić ale nie musi.

Zapraszam cię teraz do laboratorium fizyczno-matematycznego w I klasie LO w 100-milowym lesie.

Kluczowe ćwiczenie logiki matematycznej:
Dana jest czarna skrzynka (nie znamy jej zawartości) z przyciskiem A i żarówką S
[link widoczny dla zalogowanych]

Polecenie:
1.
Rozszyfruj jaki operator logiczny realizuje ta skrzynka na podstawie reakcji żarówki (S) na włączenia/wyłączania przycisku A.
Przycisk A ma oznaczony stan włączenia (A=1) i wyłączenia (A=0)
Prawo Prosiaczka:
(p=0)=(~p=1)
stąd zdanie tożsame:
Przycisk A ma oznaczony stan włączenia (A=1) i wyłączenia (~A=1)
Interpretacja prawa Prosiaczka:
Fałszem jest (=0) że przycisk A jest włączony (A) = Prawdą jest (=1) że przycisk A nie jest włączony (~A)
(A=0) = (~A=1)
2.
Narysuj schemat ideowy zawartości czarnej skrzynki
3.
Zapisz procedury komputerowe realizujące sterowanie żarówką S przy pomocy przycisku A.

Irbisol podchodzi do naszej czarnej skrzynki i stwierdza, iż w rzeczywistości skrzynka zachowuje się jak niżej:
1.
Przy włączonym A żarówka zawsze (na 100%) się świeci
Innymi słowy:
A.
Jeśli przycisk A jest włączony to na 100% => żarówka świeci się
A=>S =1
Włączenie A jest warunkiem wystarczającym => do tego by żarówka świeciła się
Spełniony warunek wystarczający A wymusza fałszywość kontrprzykładu B (i odwrotnie)
B.
Jeśli przycisk A jest włączony to żarówka może nie świecić się
A~~>~S = A*~S =0
Sytuacja wykluczona (=0) na mocy wystarczająco długiej obserwacji reakcji żarówki S na stan włączenia przycisku A.

Natomiast!
2.
Przy wyłączonym A żarówka może świecić ale nie musi.
Innymi słowy:
C.
Jeśli przycisk A nie jest włączony (~A=1) to żarówka może ~> się nie świecić (~S=1)
~A~>~S =1
Sytuacja możliwa zaobserwowana w laboratorium!
Sprawdzamy warunek wystarczający miedzy punktami ~A i ~S
Jeśli przycisk A nie jest wciśnięty (~A=1) to na 100% => żarówka nie świeci się (~A=1)
~A=>~S =0
Oczywistym jest że ten warunek wystarczający => jest fałszem bo może się zajść zdarzenie D
LUB
D.
Jeśli przycisk A nie jest włączony (~A=1) to żarówka może ~~> się świecić (S=1)
~A~~>S = ~A*S =1
Sytuacja możliwa zaobserwowana w laboratorium!

Wielkie brawa dla Irbisola!
Z rzeczywistością jak wyżej nie sposób walczyć!
Rzeczywiście przy prawdziwości obu zdań Irbisola mamy do czynienia z implikacją prostą p|=>q.

Definicja implikacji prostej p|=>q:
Implikacja prosta p|=>q to zachodzący warunek wystarczający => wyłącznie w jedną stronę:
p=>q =1
q=>p =0
p|=>q = (p=>q)*~(q=>p) =1*~(0) =1*1 =1

Prawo kontrapozycji:
q=>p = ~p=>~q

Stąd definicja tożsama:
p|=>q = (p=>q)*~(~p=>~q) =1*~(0) =1*1 =1

Ta definicja idealnie pasuje do naszego ćwiczenia w laboratorium:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0) =1*1 =1

Podsumowanie:
Jak doskonale widzisz Irbisolu, w implikacji prostej A|=>S mamy do czynienia z gwarancją matematyczną => po stronie włączonego przycisku A
A.
Jeśli przycisk A jest włączony to na 100% => żarówka świeci się
A=>S =1
Włączony przycisk A jest warunkiem wystarczającym => dla świecenia się żarówki
Włączony przycisk A daje nam gwarancję matematyczną => świecenia się żarówki
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = gwarancja matematyczna =>
Natomiast!
Po stronie nie włączonego przycisku A mamy do czynienia z najzwyklejszym „rzucaniem monetą”
Czyli:
C.
Jeśli przycisk A nie jest włączony (~A=1) to może ~> się zdarzyć że żarówka nie świeci (~S=1)
~A~>~S =1 - ten przypadek zaobserwowano w rzeczywistości!
LUB
Jeśli przycisk A nie jest włączony (~A=1) to może ~~> się zdarzyć, że żarówka świeci się
~A~~>S = ~A*S =1 - ten przypadek zaobserwowano w rzeczywistości!

Sam widzisz Irbisolu, że po stronie nie włączonego przycisku A mamy tu do czynienia z „rzucaniem monetą” opisanym zdaniami C i D.
cnd

Trywialne zadanie dla Irbisola:
Odtwórz rzeczywisty schemat ideowy naszej czarnej skrzynki, która bez cienia wątpliwości jest fizyczną realizacją implikacji prostej A|=>S:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0) =1*1 =1

Uważaj Irbisolu:
Z pisania programu komputerowego póki co cię zwalniam, bowiem warunkiem koniecznym napisania poprawnego programu komputerowego realizującego operator implikacji prostej A|=>S jest narysowania schematu ideowego układu implikacji prostej A|=>S siedzącego w naszej czarnej skrzynce.

Kolejność musi być tu taka:
Najpierw schemat ideowy implikacji prostej A|=>S a dopiero po tym fakcie pisanie programu komputerowego symulującego działanie operatora implikacji prostej A|=>S.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 7669
Przeczytał: 30 tematów


PostWysłany: Sob 13:53, 19 Paź 2019    Temat postu:

Zadałem ci pytanie. Znowu spierdzielasz?
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Sob 14:22, 19 Paź 2019    Temat postu:

Kto spierdala do istoty dyskusji - Rafał3006 czy Irbisiol?
Twarda prawda jest taka:
Irbisol nie ma szans na obronienie swojej gówno-logiki

Klasyczny przykład weryfikacji gówno-logiki ziemian zwanej Klasyczny Rachunek Zdań mamy w niniejszym poście.
Ta weryfikacja to Armagedon KRZ, bowiem nie może być prawdziwe zdanie:
Jeśli otaczająca mnie rzeczywistość nie jest zgodna z moją gówno-logiką zwaną Klasycznym Rachunkiem Zdań to tym gorzej dla tejże rzeczywistości.

Irbisol napisał:
Zadałem ci pytanie. Znowu spierdzielasz?

To TY (powtórzę TY) spierdalasz nie potrafiąc narysować banalnego schematu implikacji prostej A|=>S:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0)=1*1 =1

Mamy nasz schemat elektryczny:
Kod:

        A
      ______         -------------
  ----o    o---------| dioda LED |----
  |                  -------------   |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Ten schemat na zero wspólnego (powtórzę: ZERO wspólnego) z operatorem implikacji prostej A|=>S:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0)=1*1 =1

bo to jest ewidentny schemat równoważności A<=>S:
A<=>S = (A=>S)*(~A=>~S) =1*1 =1

http://www.sfinia.fora.pl/forum-kubusia,12/strach-przed-odpowiedzia-na-pytanie,14539-25.html#479467
rafal3006 napisał:
Czy Irbisol zdoła narysować schemat ideowy implikacji prostej A|=>S?
… oto jest pytanie.

Irbisol napisał:
rafal3006 napisał:
Cytat:
Pytam, czy ten program implementuje implikację:
włączony (A) => żarówka świeci.

NIE

Czyli wg ciebie nie jest prawdą, że:
włączony (A) => żarówka świeci, czyli
1. Przy wyłączonym A żarówka może świecić ale nie musi.
2. Przy włączonym A żarówka MUSI świecić.

Odpowiadam na twoje pytania:
Twoje zdanie 2 jest prawdą bo:
A.
Jeśli przycisk A jest włączony to na 100% => żarówka świeci się
A=>S =1
Wciśnięcie przycisku A jest warunkiem wystarczającym => do tego aby żarówka świeciła się

Twoje zdanie 1 jest fałszem bo:
Irbisol napisał:

1. Przy wyłączonym A żarówka może świecić ale nie musi.

Zauważ że twoje zdanie dopuszcza przy nie wciśniętym wyłączniku A nie świecenie się żarówki S albo świecenie się żarówki S.
Wedle TWOJEGO zdania mamy tu zatem ewidentne „rzucanie moneta” które jest FIZYCZNIE niewykonalne w prezentowanym wyżej układzie elektrycznym - zatem twoje zdanie 1 to czysto matematyczna brednia!

Zauważ że prawda jest wyłącznie taka!
C.
Jeśli przycisk A nie jest włączony to na 100% => żarówka nie świeci się
~A=>~S =1
Nie wciśnięcie przycisku A jest warunkiem wystarczającym => do tego by żarówka nie świeciła się
Wie o tym każdy uczeń I klasy LO … jak rozumiem z wykluczeniem Irbisola?!

Po stronie nie włączonego przycisku A nie ma FIZYCZNEJ możliwości „rzucania moneta”, czyli fałszywe jest gówno zdanie Irbisola:
Irbisol napisał:

1. Przy wyłączonym A żarówka może świecić ale nie musi.

NIE, NIE, NIE - po trzykroć NIE.
Przy wyłączonym przycisku A mamy gwarancję matematyczną => iż żarówka na 100% => nie świeci się.
Nie ma tu zatem miejsca aby przy wyłączonym A żarówka mogła się świecić - jakby to marzyło się matematycznej kuternodze, zwanej Irbisolem.


Ostatnio zmieniony przez rafal3006 dnia Sob 15:02, 19 Paź 2019, 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: 7669
Przeczytał: 30 tematów


PostWysłany: Sob 16:14, 19 Paź 2019    Temat postu:

Pajacu, ty nie jesteś tu od zadawania pytań, tylko od odpowiadania na pytania.
Więc odpowiadaj, a nie spierdalasz.

Zadam ci prostsze - wg ciebie układ równoległy włączników nie realizuje implikacji
włączony (A) => żarówka świeci.

Napisz w takim razie zależności od A i żarówki, żeby to była implikacja.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 7669
Przeczytał: 30 tematów


PostWysłany: Sob 17:05, 19 Paź 2019    Temat postu:

Irbisol napisał:
Zadam ci prostsze - wg ciebie układ równoległy włączników nie realizuje implikacji
włączony (A) => żarówka świeci.

Napisz w takim razie zależności od A i żarówki, żeby to była implikacja.


Albo prościej - w stylu TAK / NIE.

Czy jeżeli są spełnione 2 warunki:
1. Gdy A jest wyłączony, to żarówka może świecić, ale nie musi.
2. Gdy A jest włączony, to żarówka MUSI świecić
to czy wtedy zachodzi implikacja
włączony (A) => żarówka świeci
?

TAK / NIE.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Dyskurs
Bloger na Kretowisku



Dołączył: 28 Wrz 2015
Posty: 9838
Przeczytał: 1 temat

Skąd: USA
Płeć: Kobieta

PostWysłany: Sob 17:24, 19 Paź 2019    Temat postu:

Irbisol napisał:
Irbisol napisał:
Zadam ci prostsze - wg ciebie układ równoległy włączników nie realizuje implikacji
włączony (A) => żarówka świeci.

Napisz w takim razie zależności od A i żarówki, żeby to była implikacja.


Albo prościej - w stylu TAK / NIE.

Czy jeżeli są spełnione 2 warunki:
Tu potrzebujesz definicji roboczej A zeby pisac w kontekscie a nie o "gruszkach na wierzbie" :wink:

Wiec zakladajac, ze A = wlacznik kontrolujacy przeplyw energii elektrycznej do zarowki to:
Irbisol napisał:
1. Gdy A jest wyłączony, to żarówka może świecić, ale nie musi.
Nie moze swiecic, jesli nie posiada podlaczenia do alternatywnego systemu zasilania spelniajacego jej warunki funkcjonowania/swiecenia.

Irbisol napisał:
2. Gdy A jest włączony, to żarówka MUSI świecić
Nie, bo zarowka spalona nie jest w stanie swiecic nawet kiedy doplywa do niej energia elektyczna. Bedzie swiecic jesli nie jest spalona zakladajac, ze zasilana jest stabilnym natezeniem energii elektycznej w Polsce okolo 220V w USA okolo 110 V plus/minus minimalne zmiany w natezeniu przeplywu pradu elektrycznego.

Irbisol napisał:
to czy wtedy zachodzi implikacja
włączony (A) => żarówka świeci?
TAK / NIE.
W warunkach "zabetonowanych" czynnikami laboratoryjnymi stworzonymi na spelnienie warunkow ktore opisalam powyzej. Ale to nie jest zycie.

Ostatnio zmieniony przez Dyskurs dnia Sob 17:27, 19 Paź 2019, 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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Sob 18:16, 19 Paź 2019    Temat postu:

Czy Irbisol potrafi matematycznie opisać układ z jedną żarówką i jednym wyłącznikiem?

Twierdze z cała mocą że NIE!
Choć bardzo chciałbym się mylić bo fizycznie problem jest na poziomie fizyki 7 klasy szkoły podstawowej.
Dlaczego NIE?
… bo ma potwornie sprany mózg gównem zwanym Klasyczny Rachunek Zdań.

Czy mam rację Michale - bardzo dobrym nauczycielem Fizyki w szkole średniej przecież byłeś, więc możesz podpowiedzieć Irbisolowi że pieprzy od rzeczy iż w układzie z jedną żarówką i jednym wyłącznikiem może zajść jakakolwiek implikacja czyli w przypadku dowolnego stanu wyłącznika A (włączony albo wyłączony) żarówka może się losowo świecić albo nie świecić.
Pokaż co potrafisz Michale, oczekuję od ciebie wsparcia - razem rozwalmy to betonowe gówno zwane KRZ w którym zabetonowany jest mózg naszego przyjaciela, Irbisola.

http://www.sfinia.fora.pl/forum-kubusia,12/strach-przed-odpowiedzia-na-pytanie,14539-25.html#479539
Irbisol napisał:
Pajacu, ty nie jesteś tu od zadawania pytań, tylko od odpowiadania na pytania.
Więc odpowiadaj, a nie spierdalasz.

Zadam ci prostsze - wg ciebie układ równoległy włączników nie realizuje implikacji
włączony (A) => żarówka świeci.

Napisz w takim razie zależności od A i żarówki, żeby to była implikacja.


Irbisolu, skończmy najpierw z jednym wyłącznikiem - bo ty TU widzisz implikację, czego dowód dałeś wyżej.

Mamy nasz schemat elektryczny:
Kod:

        A
      ______         -------------
  ----o    o---------| dioda LED |----
  |                  -------------   |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Ten schemat na zero wspólnego (powtórzę: ZERO wspólnego) z operatorem implikacji prostej A|=>S:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0)=1*1 =1

bo to jest ewidentny schemat równoważności A<=>S:
A<=>S = (A=>S)*(~A=>~S) =1*1 =1

http://www.sfinia.fora.pl/forum-kubusia,12/strach-przed-odpowiedzia-na-pytanie,14539-25.html#479351

rafal3006 napisał:
Ostatnie podrygi Irbisolowej gówno-logiki!

Irbisol napisał:
rafal3006 napisał:
Irbisolu, zapisałeś program równoważności

Nie pytam, czy napisałem program równoważności.
Pytam, czy ten program implementuje implikację:
włączony (A) => żarówka świeci.

NIE,NIE,NIE - po trzykroć NIE!

Kod:

        A
      ______         -------------
  ----o    o---------| dioda LED |----
  |                  -------------   |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

A.
Jeśli przycisk A jest wciśnięty to na 100% => żarówka świeci
A=>S =1
Wciśnięcie przycisku A=1 jest warunkiem wystarczającym => dla zaświecenia się żarówki S=1
Wciśnięcie przycisku A=1 daje nam gwarancję matematyczną => zaświecenia się żarówki S=1
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = gwarancja matematyczna =>
Prawdziwy warunek wystarczający => implementowany przez zdanie A wymusza fałszywość kontrprzykładu w postaci zdania B (i odwrotnie)
B.
Jeśli przycisk A jest wciśnięty to żarówka może ~~> nie świecić się
A~~>~S = A*~S =0
Ta sytuacja jest wykluczona o czym doskonale wie każdy uczeń I klasy LO.
… a Irbisol tego nie wie?

Odpowiedziałem precyzyjnie na twoje pytanie.
Teraz ja cię przycisnę do muru bo wydobyłeś z siebie matematyczną głupotę, twierdząc że zdanie A to implikacja :shock: :shock: :shock:

Czy w twojej gówno-logice zachodzi tożsamość:
Warunek wystarczający => = implikacja ?!
TAK/NIE

Zauważ Irbuisolu że:
Ty zadałeś mi konkretne pytanie - ja ci odpowiedziałem NIE.
Po jasnej i precyzyjnej mojej odpowiedzi NIE!, to ja mam prawo do zadania ci kontrpytania, ty póki co nie masz głosu dopóki nie odpowiesz na moje kontrpytanie.

Żądam teraz od ciebie byś nie zmieniał tematu i dokończył matematyczny opis układu z jedną żarówką i jednym wyłącznikiem!
Połączeniem równoległym wielu wyłączników zajmiemy się po ustaleniu matematycznej prawdy dla układu z jedna żarówką i jednym wyłącznikiem - powtórzę: z jedną żarówka i jednym wyłącznikiem jak na schemacie wyżej.

Do pytania w końcówce cytatu dorzucę kolejne!

Czy w układzie z jedną żarówką i jednym wyłącznikiem jak na schemacie wyżej możliwe jest FIZYCZNE zaistnienie jakiejkolwiek implikacji?

Ja Rafał3006 z całą mocą twierdzę że:

NIE, NIE, NIE - po trzykroć NIE!

… a jakie jest twoje zdanie Irbisolu?
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Sob 22:18, 19 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479653

Czy nasz Michał odważy się zabrać głos w sprawie wyłącznika połączonego szeregowo z żarówką?

… czyli problemu na poziomie 7 klasy szkoły podstawowej!
… oto jest pytanie.

Irbisol napisał:

rafal3006 napisał:
Irbisol napisał:
Coś w temacie zależności czasowych, o których mowa wyżej, jesteś w stanie wyartykułować.

Nie wiem o czym mówisz - możesz to prosto wyartykułować?

Aż tak tępy jesteś?
Sam mi zarzuciłeś, że piszę nieprawdę, że nie ma efektu mojej podpowiedzi, jaką masz dać odpowiedź: TAK czy NIE.
Tylko że tej odpowiedzi udzieliłeś PO TYM, jak to napisałem.

Głupiś Irbisolu, ja doskonale rozumiem od co najmniej 14 lat dlaczego pojęcie implikacji w sensie KRZ jest o kant dupy potłuc - przecież o "rzucaniu monetą" w implikacji piszę od 14 lat!
Aktualnie wykorzystałem tylko fakt, że mi się ewidentnie podłożyłeś bredząc o implikacji w układzie z jednym wyłącznikiem i jedną żarówką co jest absolutnie wykluczone, o czym wie każdy uczeń szkoły podstawowej … z wyjątkiem Irbisola oczywiście
Irbisol napisał:

Cytat:
tzn. dopóty, dopóki świat matematyczny nie zaakceptuje AK co na 100% wkrótce się stanie.

I tak od kilkunastu lat jest to "wkrótce".
Kolejna sprawa - przestań zaśmiecać tym swoim gównem inne działy.

Sorry Irbisolu, ten temat jest o weryfikacji!
Moje posty pokazują iż twoja gówno-logika nie przeszła weryfikacji w otaczającym nas Wszechświecie bo bredzi że możliwa jest implikacja w układzie z jedną żarówką i jednym wyłącznikiem, co jest potworną brednią dyskwalifikującą twoją gówno-logiką zwaną Klasycznym Rachunkiem Zdań.
Piszę zatem jak najbardziej na temat!
Dziwne że Michał się jeszcze nie odezwał, a jest z wykształcenia fizykiem przecież.

Wzywam więc Michała do zabrania głosu!

Mamy schemat elektryczny z jednym wyłącznikiem A i jedną żarówką S:
Kod:

        A
      ______         -------------
  ----o    o---------| dioda LED |----
  |                  -------------   |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

Michale,
Irbisol twierdzi że w powyższym układzie możliwa jest implikacja, czyli dla dowolnego, ustalonego stanu wyłącznika A (włączony albo wyłączony) żarówka może się świecić lub nie świecić.

Wzywam ciebie Michale, jako znakomitego fizyka, byś wytłumaczył Irbisolowi że to jest fizycznie niemożliwe, czyli że miejsce jego gówno-logiki zwanej KRZ twierdzącej że to jest możliwe jest w piekle na wiecznych piekielnych mękach.

Zauważ Michale, że przy okazji masz twardy dowód, iż Irbisol gówno wie na temat weryfikacji swojej własnej gówno-logiki zwanej KRZ.

Uważaj Michale,
Irbisol twierdzi, że w powyższym układzie JEST „rzucanie monetą”, czyli przy wyłączonym wyłączniku A żarówka może się świecić albo nie świecić … bo tak mu mówi jego gówno-logika zwana KRZ.
Czy mam rację Irbisolu?
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 8:38, 20 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479689

Michał Dyszyński napisał:
rafal3006 napisał:
Czas pokaże Michale ( i to niedługo) jak bardzo się mylisz w swoich poglądach na temat AK.

Nie rozumiesz jednego.
Ty się ze mną NIE SKOMUNIKOWAŁEŚ.
Ja logice, którą chciałbym używać stawiam pewne wymagania. Od kogoś kto mi wskaże alternatywę, w rodzaj AK, też wymagam, aby spełniła ona moje oczekiwania. Ciebie te oczekiwania nie interesują. Mnie zatem nie interesuje z kolei taka logika, która nie spełnia moich wymagań. Proste?
Są dwie strony, każda czegoś chce, zaś porozumienie jest możliwe dopiero wtedy gdy te wymagania uda się zsynchronizować.
W przeciwnym wypadku każdy będzie pisał sam do siebie.

Proste jak śfiński ogon …
Nie rozumiem Michale dlaczego jesteś tchórzem nie chcąc się wypowiedzieć na temat wyłącznika A połączonego szeregowo z żarówką S o czym jest w moim poście wyżej.
Czego się boisz?
Czy tego że twoja odpowiedź będzie gwoździem do trumny dla gówno-logiki zwanej Klasycznym Rachunkiem Zdań?
Tak w istocie się stanie! - to gówno można obalić rozumowaniem na poziomie ucznia z 7 klasy szkoły podstawowej który rozumie trywialny obwód elektryczny z jedną żarówką i jednym wyłącznikiem A.
cnd
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 11:13, 20 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479745

Procedura weryfikacyjna Algebry Kubusia!

Kompletna procedura weryfikacyjna Algebry Kubusia jest na poziomie ucznia szkoły podstawowej rozumiejącego co to jest w elektryce połączenie szeregowe i równoległe wyłączników sterujących żarówką.
Mam nadzieję że moderator nie wygłupi się i nie usunie procedur weryfikujących algebrę Kubusia z wątku zatytułowanego „Definicja weryfikacji”

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Oczywistym jest, że nie da się zweryfikować np. istnienia/nieistnienia Boga bo teiści i ateiści istnieli od zawsze i zawsze będą istnieć

Część I
Układ równoważnościowy A<=>S

Zacznijmy od najprostszego obwodu elektrycznego, czyli żarówki sterowanej jednym przyciskiem A.
Kod:

Układ równoważnościowy A<=>S:
                             A
       -------------       ______
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------


W poprawnej logice matematycznej opisujemy dokładnie to co widzimy w sposób zgodny z naturalną logiką matematyczną człowieka na poziomie co najwyżej ucznia 7 klasy szkoły podstawowej.

Matematyczny opis układu równoważnościowego A<=>S to:
A.
Jeśli przycisk A jest wciśnięty (A=1) to na 100% => żarówka świeci się (S=1)
A=>S =1
Wciśnięcie przycisku A jest warunkiem wystarczającym => do tego, aby żarówka świeciła się
Wciśnięcie przycisku A daje nam gwarancję matematyczną => świecenia się żarówki
Zachodzi matematyczna tożsamość:
warunek wystarczający => = gwarancja matematyczna =>
Prawdziwość warunku wystarczającego => A wymusza fałszywość kontrprzykładu B (i odwrotnie)
B.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może ~~> nie świecić się
A~~>~S = A*~S =0
Sytuacja wykluczona o czym wie każdy uczeń 7 klasy SP.

… a jeśli przycisk A nie jest wciśnięty?
C.
Jeśli przycisk A nie jest wciśnięty (~A=1) to na 100% => żarówka nie świeci się (~S=1)
~A=>~S =1
Nie wciśnięcie przycisku A (~A=1) jest warunkiem wystarczającym => do tego, aby żarówka nie świeciła się (~S=1)
Prawdziwy warunek wystarczający => C wymusza fałszywość kontrprzykładu D (i odwrotnie)
D.
Jeśli przycisk A nie jest wciśnięty (~A=1) to żarówka może ~~> się świecić
~A~~>S = ~A*S =0
Sytuacja wykluczona o czym wie każdy uczeń 7 klasy SP.

Stąd mamy:
Definicja równoważności dla przycisku wciśniętego (A=1):
Przycisk A jest wciśnięty (A=1) wtedy i tylko wtedy gdy żarówka świeci się (S=1)
A<=>S = A: (A=>S) * C: (~A=>~S) =1*1 =1
Prawo kontrapozycji znane ziemskim matematykom:
~A=>~S = S=>A
stąd:
A<=>S = A: (A=>S)* C: (S=>A) =1*1 =1

Stąd mamy tożsamą definicję równoważności znaną ziemskim matematykom:
Równoważność to zachodzący warunek wystarczający => w dwie strony
p<=>q = (p=>q)*(q=>p)

Stąd mamy także:
Definicja równoważności dla przycisku nie wciśniętego (~A=1)
Przycisk A nie jest wciśnięty (~S=1) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1):
~A<=>~S = C: (~A=>~S) * A: (A=>S) =1*1 =1

Stąd mamy:
~A<=>~S = (~A=>~S)*(A=>S) = (A=>S)*(~A=>~S) = A<=>S
bo iloczyn logiczny (*) jest przemienny.

Mamy:
A<=>S = (A=>S)*(~A=>~S)
Zastosujmy prawo kontrapozycji dla prawej strony:
A=>S = ~S=>~A
~A=>~S = S=>A
Stąd mamy:
A<=>S = ~A<=>~S = (~S=>~A)*(S=>A) = S<=>A = ~S<=>~A
bo iloczyn logiczny (*) jest przemienny:

Wniosek:
Argumenty w równoważności <=> są przemienne

Zauważmy, że matematycznie zachodzi tożsamość pojęć:
Wciśnięty przycisk A (A=1) = żarówka świeci się (S=1)
A=S
Nie wciśnięty przycisk A (~A=1) = żarówka nie świeci się (~S=1)
~A=~S

Oczywistym jest, że w pionie zachodzi prawo podwójnego przeczenia:
Nie jest prawdą ~(..) że przycisk A nie jest wciśnięty (~A=1) = prawdą jest że wciśnięty jest przycisk A (A=1)
~(~A) = A

Podsumowanie:
I.
Minimalna ilość elementów przy pomocy których da się zbudować równoważność to dwa elementy:
1: Przełącznik A
2: Żarówka S
II.
Przy dwóch elementach w układzie nie da się zbudować układu implikacyjnego tzn. spowodować, by przy ustalonym stanie przycisku A (wciśnięty albo nie wciśnięty) żarówka mogła losowo migać.

Odezwa do Irbisola i Michała:
Czego nie rozumiecie w niniejszym poście lub co kwestionujecie.

Moje zdanie jest takie:
Ziemski matematyk który kwestionuje choćby jedno zdanie w niniejszym poście powinien skreślić sobie słówko matematyk sprzed swego nazwiska!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 7669
Przeczytał: 30 tematów


PostWysłany: Nie 13:01, 20 Paź 2019    Temat postu:

rafal3006 napisał:
Czy Irbisol potrafi matematycznie opisać układ z jedną żarówką i jednym wyłącznikiem?

Nie, nie potrafi.
A ty nie odpowiedziałeś na pytanie.

Debil by się już zorientował, że to forum jest o twojej algebrze i masz odpowiadać na pytania. A ty nadal myślisz, że jest to forum "o tym, co Irbisol potrafi".
Przecież każdy widzi, że spierdalasz przed pytaniem - prostym pytaniem w stylu TAK / NIE.


Ostatnio zmieniony przez Irbisol dnia Nie 13:04, 20 Paź 2019, 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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 13:36, 20 Paź 2019    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Czy Irbisol potrafi matematycznie opisać układ z jedną żarówką i jednym wyłącznikiem?

Nie, nie potrafi.
A ty nie odpowiedziałeś na pytanie.

Debil by się już zorientował, że to forum jest o twojej algebrze i masz odpowiadać na pytania. A ty nadal myślisz, że jest to forum "o tym, co Irbisol potrafi".
Przecież każdy widzi, że spierdalasz przed pytaniem - prostym pytaniem w stylu TAK / NIE.

Co ty sobie Irbisolku myślisz?
Przecież doskonale wiesz że totalnie wszystkie definicje występujące w algebrze Kubusia są sprzeczne z gówno-definicjami występującymi w Klasycznym Rachunku Zdań.

… a czego ty oczekujesz?
Ty oczekujesz że zadając mi pytania których gówno-sens jest wyłącznie w twojej gówno-logice ja ci będę odpowiadał zgodnie z twoją gówno-logiką?
NIE, NIE, NIE - nigdy tak nie będzie!
Nigdy nie wdepnę w gówno zwane Klasyczny Rachunek Zdań, bo to po prostu, z punktu odniesienia algebry Kubusia byłoby debilizmem.

Sam widzisz Irbisolu, że sensowna dyskusja między nami może być tylko i wyłącznie jedna:
To ja ci będą prezentował algebrę Kubusia krok po kroku a ty możesz ja sobie obalać na gruncie naszych wspólnych definicji rachunku zero-jedynkowego.
Pierwszy krok zrobiłem w moim poście wyżej gdzie rozniosłem w puch twoją gówno-logikę zwaną KRZ - ustosunkuj się do mojego postu wyżej.
Jest tam wiele bardzo ciężkich zarzutów w stosunku do twojej gówno-logiki.
Wystarczy że obalisz JEDEN mój zarzut i już kasuję calusieńką algebrę Kubusia.
Sam widzisz że stawiam uczciwe warunki, tylko czy ty zdołasz podnieść rękawicę rzuconą pod twoje nogi?
Twierdzę że NIE!
Zawsze i do końca świata będziesz spierdalał przed banałami na poziomie ucznia 7-klsy szkoły podstawowej, które roznoszą w puch twoją gówno-logikę zwaną KRZ.

Pewne jest jedno Irbisolu:
Na 100% nie wszyscy ziemscy matematycy są takimi matematycznymi matołami jak ty - wystarczy że kilku znaczących matematyków przeczyta i zrozumie choćby mój post wyżej!

Oczywistym jest że z twoim nastawieniem „nie czytam tego co pisze Rafał3006” nigdy nie pojmiesz matematycznych banałów na poziomie ucznia 7 klasy szkoły podstawowej.


Ostatnio zmieniony przez rafal3006 dnia Nie 13:41, 20 Paź 2019, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 16:46, 20 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479813

Uwaga dla moderatora!
Poniższy post jest na temat definicji weryfikacji w algebrze Kubusia napisany językiem zrozumiałym dla ucznia 7-klasy szkoły podstawowej.
Proszę zatem moderatora by się odpierdolił od niniejszego postu i pozostawił go tu gdzie jego miejsce tzn. w temacie "Definicja weryfikacji".

Procedura weryfikacyjna Algebry Kubusia!

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Jedna z najważniejszych definicji w algebrze Kubusia to definicja „zmiennej wolnej”.

Definicja zmiennej wolnej w algebrze Kubusia:
Dla danego układu „zmienna wolna” to zmienna binarna występująca w układzie rzeczywistym, ale nie występująca jawnie w analizie matematycznej układu.

Z powyższym pojęciem związana jest definicja zmiennej związanej.

Definicja „zmiennej związanej” w algebrze Kubusia:
Zmienna związana to każda zmienna binarna uwzględniona w analizie matematycznej układu.

Część II
Układ implikacji prostej A|=>S

Zacznijmy od najprostszego obwodu elektrycznego, czyli żarówki sterowanej dwoma przyciskami A i B połączonymi równolegle
Kod:

Układ implikacji prostej A|=>S:

                             B
                           ______
                      -----o    o-----
                      |      A       |
       -------------  |    ______    |
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------


W poprawnej logice matematycznej opisujemy dokładnie to co widzimy w sposób zgodny z naturalną logiką matematyczną człowieka na poziomie co najwyżej ucznia 7 klasy szkoły podstawowej.
A.
Jeśli przycisk A lub B jest wciśnięty (A+B)=1 to żarówka na 100% => świeci się (S=1)
(A+B)=>S =1
Wciśnięcie przycisku A lub B jest warunkiem wystarczającym => do tego, by żarówka świeciła się
Wciśnięcie przycisku A lub B daje nam gwarancję matematyczną => zaświecenia się żarówki
Matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>
Prawdziwość warunku wystarczającego => A wymusza fałszywość kontrprzykładu B (i odwrotnie)
B.
Jeśli przycisk A lub B jest wciśnięty (A+B)=1 to żarówka może ~~> się nie świecić
(A+B)~~>~S = (A+B)*~S =0
Przypadek niemożliwy (=0) o czym doskonale wie każdy uczeń 7 klasy SP.

… a jeśli przycisk A lub B nie jest wciśnięty?
~(A+B) = ~A*~B - prawo De Morgana

Stąd mamy:
C.
Jeśli nie jest wciśnięty przycisk A (~A=1) i nie jest wciśnięty przycisk B (~B=1) to żarówka na 100% => nie świeci się
(~A*~B) => ~S =1
Nie wciśnięcie przycisku A (~A=1) i nie wciśnięcie przycisku B (~B=1) jest warunkiem wystarczającym => do tego, aby żarówka nie świeciła się
Oczywistość dla każdego ucznia 7 klasy SP.
Prawdziwość warunku wystarczającego => C wymusza fałszywość kontrprzykładu D (i odwrotnie)
D.
Jeśli nie jest wciśnięty przycisk A (~A=1) i nie jest wciśnięty przycisk B (~B=1) to żarówka może ~~> się świecić
(~A*~B) ~~> S = (~A*~B)*S =0
Przypadek niemożliwy (=0) o czym doskonale wie każdy uczeń 7 klasy SP.

Doskonale widać, że nasz analiza matematyczna opisuje:
1.
Równoważność dla wciśniętego któregokolwiek przycisku A=1 lub B=1 (A+B):
Włączony jest przycisk A lub B (A+B)=1 wtedy i tylko wtedy gdy żarówka świeci się (S=1)
(A+B)<=>S = A: [(A+B)=>S] * C: [(~A*~B)=>~S)] = 1*1 =1
2.
Równoważność dla przycisków nie wciśniętych ~A=1 i ~B=1 (~A*~B):
Oba przyciski nie są wciśnięte (~A=1) i (~B=1) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
(~A*~B)<=>~S = C: [(~A*~B)=>~S)] * A: [(A+B)=>S]

Doskonale tu widać, że póki co narysowany układ implikacyjny A|=>S żadną implikacją nie jest. Nasza analiza matematyczne jest dowodem iż mamy tu do czynienia z równoważnością gdzie o żadnym „rzucaniu monetą”, jednym z fundamentów implikacji mowy być nie może!

Dlaczego jest tak a nie inaczej?
Odpowiadam:
Bowiem w naszej analizie uwzględniliśmy wszystkie trzy elementy widniejące na schemacie ideowym
żarówka, przycisk A, przycisk B

Prawo Irbisa:
Jeśli w analizie matematycznej uwzględnimy wszystkie elementy (wszystkie zmienne binarne) widniejące na schemacie ideowym to taka analiza zawsze będzie analizą równoważnościową gdzie wykluczone jest jakiekolwiek „rzucanie monetą”

Dokładnie na tą minę nadział się biedny Irbisol bowiem w swoim programie opisującym schemat ideowy jak wyżej uwzględnił wszystkie występujące tu przyciski (A i B), co oczywiście spowodowało twarde lądowanie w operatorze równoważności, czego dowodem jest powyższa analiza matematyczna.

Jak spowodować, by układ logiczny zaprezentowany na schemacie wyżej opisywał układ implikacji prostej A|=>S:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0) = 1*1 =1
a nie układ równoważności:
(A+B)<=>S = A: [(A+B)=>S] * C: [(~A*~B)=>~S)] = 1*1 =1

Z definicji implikacji prostej A|=>S:
A|=>S = (A=>S)*~(~A=>~S) = 1*~(0) = 1*1 =1
Doskonale widać, że musimy tu wprowadzić pojęcie „zmiennej wolnej”.

Definicja zmiennej wolnej w algebrze Kubusia:
Dla danego układu „zmienna wolna” to zmienna binarna występująca w układzie rzeczywistym, ale nie występująca jawnie w analizie matematycznej układu.

Z powyższym pojęciem związana jest definicja zmiennej związanej.

Definicja „zmiennej związanej” w algebrze Kubusia:
Zmienna związana to każda zmienna binarna uwzględniona w analizie matematycznej układu.

Wystartujmy od początku:
Kod:

Układ implikacji prostej A|=>S:

                             B
                           ______
                      -----o    o-----
                      |      A       |
       -------------  |    ______    |
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------


Zdefiniujmy:
Wyłącznik B - zmienna wolna której nie uwzględniamy jawnie w poniższej analizie matematycznej.

Analiza matematyczna układu implikacyjnego A|=>S (zmienna wolna = przycisk B):
A.
Jeśli przycisk A jest wciśnięty (A=1) to na 100% => żarówka świeci się (S=1)
A=>S =1
Wciśnięcie przycisku A jest warunkiem wystarczającym => do tego, aby żarówka świeciła
Wciśnięcie przycisku A daje nam gwarancję matematyczną => świecenia się żarówki
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = Gwarancja matematyczna =>
Zauważmy, że stan zmiennej wolnej B jest tu bez znaczenia tzn. nie jest istotne czy przycisk B jest wciśnięty, czy niewciśnięty.
Prawdziwość warunku wystarczającego => A wymusza fałszywość kontrprzykładu B (i odwrotnie)
B.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może ~~> się nie świecić
A~~>~S = A*~S =0
Sytuacja niemożliwa o czym wie każdy uczeń 7 klasy SP.

… a jeśli przycisk A nie jest wciśnięty?
Prawo Kubusia:
A: A=>S = C: ~A~>~S
stąd mamy:
C.
Jeśli przycisk A nie jest wciśnięty (~A=1) to żarówka może ~> się nie świecić (~S=1)
~A~>~S =1
Nie wciśnięcie przycisku A (~A=1) jest warunkiem koniecznym ~> dla nie świecenia żarówki S (~S=1) bo jak przycisk A jest wciśnięty (A=1) to żarówka na 100% => się świeci (S=1)
Prawo Kubusia samo nam tu wyskoczyło:
C: ~A~>~S = A: A=>S
Ta sytuacja jest możliwa gdy zmienna wolna w postaci przycisku B zostanie ustawiona na 0.
Prawo Prosiaczka:
(B=0) = (~B=1)
~B=1 - prawdą jest (=1), że przycisk B nie jest wciśnięty (~B)

Sprawdzamy czy w tym przypadku spełniony jest warunek wystarczający =>.
C.
Jeśli przycisk A nie jest wciśnięty (~A=1) to na 100% => żarówka nie świeci się (~S=1)
~A=>~S =0
Definicja warunku wystarczającego => nie jest spełniona (=0) bo może się zdarzyć, że przycisk A nie jest wciśnięty a mimo to żarówka świeci się, gdy zmienna wolna w postaci przycisku B zostanie ustawiona na 1 tzn. przycisk B będzie wciśnięty (B=1)
Fałszywość warunku wystarczającego => C wymusza prawdziwość kontrprzykładu D (i odwrotnie)
D.
Jeśli przycisk A nie jest wciśnięty (~A=1) to może ~~> się zdarzyć, że żarówka świeci (S=1)
~A~~>S = ~A*S =1
Ta sytuacja jest możliwa, gdy zmienna wolna w postaci przycisku B zostanie ustawiona na 1 tzn. przycisk B będzie wciśnięty (B=1)

Na mocy prawa Kubusia fałszywość warunku wystarczającego => w punkcie C wymusza fałszywość warunku koniecznego ~> w punkcie A
C: ~A=>~S = A: A~>S =0

Zauważmy że:
Po stronie wciśniętego przycisku A (A=1) mamy tu gwarancję matematyczną => świecenia się żarówki S (S=1) o czym mówią zdania A i B.

Natomiast!
Po stronie nie wciśniętego przycisku A (~A=1) mamy tu najzwyklejsze „rzucanie monetą” czyli:
Jeśli przycisk A nie jest wciśnięty (~A=1) to żarówka może ~> nie świecić się (zdanie C), albo może ~~> się świecić (zdanie D).

Oczywiście, przy nie wciśniętym przycisku A (~A=1) wszystko zależy od aktualnego stanu zmiennej wolnej B:
Jeśli przycisk B jest wciśnięty (B=1) to żarówka S się świeci (S=1)
albo
Jeśli przycisk B nie jest wciśnięty (~B=1) to żarówka S nie świeci się (~S=1)

Jak fizycznie zrealizować ideę zmiennej wolnej?
Przycisk B możemy oddać we władanie na przykład 3-latkowi który będzie się bawił włączaniem wyłączaniem żarówki S przy nie wciśniętym przycisku A.

Stąd mamy:
Klasyczna definicja implikacji prostej A|=>S:
Implikacja prosta A|=>S to spełnienie wyłącznie warunku wystarczającego => miedzy tymi samymi punktami i w tym samym kierunku:
A: A=>S =1
A: A~>S =0
Stąd:
Definicja implikacji prostej A|=>S w równaniu logicznym:
A|=>S = A: (A=>S)* A: ~(A~>S) = 1*~(0) =1*1 =1

Z naszej analizy odczytujemy również:
Klasyczna definicja implikacji odwrotnej ~A|~>~S:
Implikacja odwrotna ~A|~>~S to spełnienie wyłącznie warunku koniecznego ~> między tymi samymi punktami i w tym samym kierunku:
C: ~A~>~S =1
C: ~A=>~S =0
Stąd:
Definicja implikacji odwrotnej ~A|~>~S w równaniu logicznym:
~A|~>~S = C: (~A~>~S) * C: ~(~A=>~S) = 1*~(0) =1*1 =1

Zauważmy, że obie definicje: implikacji prostej A|=>S i odwrotnej ~A|~>~S tworzy ta sama seria zdań, stąd mamy tożsamość matematyczną:
A|=>S = ~A|~>~S

Podsumowanie:
1.
Implikację prostą A|=>S tworzy seria czterech zdań ABCD:
A|=>S = A: (A=>S)* A: ~(A~>S) = 1*~(0) =1*1 =1
Warunki: wystarczający => A: (A=>S =1) oraz konieczny ~> C: (~A~>~S =1) wchodzą w skład definicji implikacji prostej A|=>S.
Oczywistym jest że matematycznie zachodzi:
Implikacja prosta A|=>S ## warunek wystarczający => A: (A=>S=1)
Gdzie:
## - różne na mocy definicji
2.
Implikację odwrotną ~A|~>~S tworzy dokładnie ta sama seria zdań ABCD:
~A|~>~S = C: (~A~>~S) * C: ~(~A=>~S) = 1*~(0) =1*1 =1
Warunki: konieczny ~> C: (~A~>~S =1) i wystarczający ~> A: (A=>S=1) wchodzą w skład definicji implikacji odwrotnej ~A|~>~S
Matematycznie zachodzi:
Implikacja odwrotna ~A|~>~S ## warunek konieczny ~> C: (~A~>~S =1)
Gdzie:
## - różne na mocy definicji
3.
Zauważmy że równoważność A<=>S jest tu fałszywa.
A<=>S = A: (A=>S)* C: (~A=>~S) =1*0 =0
cnd
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 7669
Przeczytał: 30 tematów


PostWysłany: Nie 19:22, 20 Paź 2019    Temat postu:

rafal3006 napisał:
Ty oczekujesz że zadając mi pytania których gówno-sens jest wyłącznie w twojej gówno-logice ja ci będę odpowiadał zgodnie z twoją gówno-logiką?

Debilu.
Skoro jest to dział o twojej logice, to chyba oczywiste, że masz odpowiadać zgodnie ze swoja logiką.

Odpowiesz, czy to proste pytanie z gatunku TAK / NIE cię zabiło?
Zresztą - nawet jak odpowiesz, to każdy widzi, jakie problemy sprawiają twojej logice najprostsze pytania.
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 20:10, 20 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479875

Uwaga dla moderatora!
Poniższy post jest na temat definicji weryfikacji w algebrze Kubusia napisany językiem zrozumiałym dla ucznia 7-klasy szkoły podstawowej.
Proszę zatem moderatora by się odpierdolił od niniejszego postu i pozostawił go tu gdzie jego miejsce tzn. w temacie "Definicja weryfikacji".

Procedura weryfikacyjna Algebry Kubusia!

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Jedna z najważniejszych definicji w algebrze Kubusia to definicja „zmiennej wolnej”.

Definicja „zmiennej wolnej” w algebrze Kubusia:
Dla danego układu „zmienna wolna” to zmienna binarna występująca w układzie rzeczywistym, ale nie występująca jawnie w analizie matematycznej układu.

Z powyższym pojęciem związana jest definicja zmiennej związanej.

Definicja „zmiennej związanej” w algebrze Kubusia:
Zmienna związana to każda zmienna binarna uwzględniona w analizie matematycznej układu.

Część II
Układ implikacji odwrotnej A|~>S

Zacznijmy od najprostszego obwodu elektrycznego, czyli żarówki sterowanej dwoma przyciskami A i B połączonymi szeregowo
Kod:

Układ implikacji odwrotnej A|~>S:

                             B          A       
       -------------       ______     ______
  -----| dioda LED |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------


W poprawnej logice matematycznej opisujemy dokładnie to co widzimy w sposób zgodny z naturalną logiką matematyczną człowieka na poziomie co najwyżej ucznia 7 klasy szkoły podstawowej.
A.
Jeśli przyciski A i B są wciśnięte (A*B)=1 to żarówka na 100% => świeci się (S=1)
(A*B)=>S =1
Wciśnięcie obu przycisków A i B jest warunkiem wystarczającym => do tego, by żarówka świeciła się
Wciśnięcie obu przycisków A i B daje nam gwarancję matematyczną => zaświecenia się żarówki
Matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>
Prawdziwość warunku wystarczającego => A wymusza fałszywość kontrprzykładu B (i odwrotnie)
B.
Jeśli przyciski A i B są wciśnięte (A*B)=1 to żarówka może ~~> się nie świecić (~S=1)
(A*B)~~>~S = (A*B)*~S =0
Przypadek niemożliwy (=0) o czym doskonale wie każdy uczeń 7 klasy SP.

… a jeśli nie są wciśnięte przyciski A i B?
~(A*B) = ~A+~B - prawo De Morgana

Stąd mamy:
C.
Jeśli nie jest wciśnięty przycisk A (~A=1) lub nie jest wciśnięty przycisk B (~B=1) to żarówka na 100% => nie świeci się (~S=1)
(~A+~B) => ~S =1
Nie wciśnięcie przycisku A (~A=1) lub nie wciśnięcie przycisku B (~B=1) jest warunkiem wystarczającym => do tego, aby żarówka nie świeciła się (~S=1)
Oczywistość dla każdego ucznia 7 klasy SP.
Prawdziwość warunku wystarczającego => C wymusza fałszywość kontrprzykładu D (i odwrotnie)
D.
Jeśli nie jest wciśnięty przycisk A (~A=1) lub nie jest wciśnięty przycisk B (~B=1) to żarówka może ~~> się świecić (S=1)
(~A+~B) ~~> S = (~A+~B)*S =0
Przypadek niemożliwy (=0) o czym doskonale wie każdy uczeń 7 klasy SP.

Doskonale widać, że nasz analiza matematyczna opisuje:
1.
Równoważność dla wciśniętych przycisków A i B (A*B)=1
Przyciski A i B są wciśnięte (A*B)=1 wtedy i tylko wtedy gdy żarówka świeci się (S=1)
(A*B)<=>S = A: [(A*B)=>S] * C: [(~A+~B)=>~S)] = 1*1 =1
2.
Równoważność dla nie wciśniętego przycisku A (~A=1) lub nie wciśniętego przycisku B (~B=1):
Nie jest wciśnięty przycisk A (~A=1) lub nie jest wciśnięty przyciska B (~B=1) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
(~A+~B)<=>~S = C: [(~A+~B)=>~S)] * A: [(A*B)=>S]

Doskonale tu widać, że póki co narysowany układ implikacyjny odwrotnej A|~>S żadną implikacją nie jest. Nasza analiza matematyczna jest dowodem iż mamy tu do czynienia z równoważnością gdzie o żadnym „rzucaniu monetą”, jednym z fundamentów implikacji mowy być nie może!

Dlaczego jest tak a nie inaczej?
Odpowiadam:
Bowiem w naszej analizie uwzględniliśmy wszystkie trzy elementy widniejące na schemacie ideowym
żarówka, przycisk A, przycisk B

Prawo Irbisa:
Jeśli w analizie matematycznej uwzględnimy wszystkie elementy (wszystkie zmienne binarne) widniejące na schemacie ideowym to taka analiza zawsze będzie analizą równoważnościową gdzie wykluczone jest jakiekolwiek „rzucanie monetą”

Jak spowodować, by układ logiczny zaprezentowany na schemacie wyżej opisywał układ implikacji odwrotnej A|~>S:
A|~>S = (A~>S)*~(A=>S) = 1*~(0) = 1*1 =1
a nie układ równoważności:
(A*B)<=>S = A: [(A*B)=>S] * C: [(~A+~B)=>~S)] = 1*1 =1

Definicja implikacji odwrotnej A|~>S:
Implikacja odwrotna to spełniony wyłącznie warunek konieczny ~> miedzy tymi samymi punktami i w tym samym kierunku:
A~>S =1
A=>S =0
Stąd:
A|~>S = (A~>S)*~(A=>S) = 1*~(0) = 1*1 =1
Z definicji implikacji odwrotnej A|~>S doskonale widać, że musimy tu wprowadzić pojęcie „zmiennej wolnej”.

Definicja zmiennej wolnej w algebrze Kubusia:
Dla danego układu „zmienna wolna” to zmienna binarna występująca w układzie rzeczywistym, ale nie występująca jawnie w analizie matematycznej układu.

Z powyższym pojęciem związana jest definicja zmiennej związanej.

Definicja „zmiennej związanej” w algebrze Kubusia:
Zmienna związana to każda zmienna binarna uwzględniona w analizie matematycznej układu.

Wystartujmy od początku:
Kod:

Układ implikacji odwrotnej A|~>S:

                             B          A       
       -------------       ______     ______
  -----| dioda LED |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------


Zdefiniujmy:
Wyłącznik B - zmienna wolna której nie uwzględniamy jawnie w poniższej analizie matematycznej.

Analiza matematyczna układu implikacyjnego A|~>S (zmienna wolna = przycisk B):
A.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może się świecić (S=1)
A~>S =1
Innymi słowy:
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może ~> się świecić (gdy zmienna wolna B=1) lub może się nie świecić (gdy zmienna wolna B=0)
Wciśnięcie przycisku A jest warunkiem koniecznym ~> do tego, aby żarówka świeciła (gdy wciśnięty B B=1) bo jak przycisk A nie jest wciśnięty to żarówka na 100% => nie będzie się świecić (stan przycisku B jest tu bez znaczenia)
Prawo Kubusia samo nam tu wyskoczyło:
A: A~>S = C: ~A=>~S
Sens warunku koniecznego ~> A i prawo Kubusia które tu wyskoczyło jest oczywistością dla każdego ucznia 7-klasy SP.
Zbadajmy warunek wystarczający między punktami A i S:
A.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka na 100% będzie się świecić (S=1)
A=>S =0
Warunek wystarczający => nie jest tu spełniony, bowiem wszystko zależy od ustawienia zmiennej wolnej B, do której nie mamy dostępu, a która może przyjmować dowolny stan:
B=1 - przycisk B włączony
Prawo Prosiaczka:
(B=0)=(~B=1) - przycisk B nie włączony (~B=1)

Stąd mamy spełnioną definicję implikacji odwrotnej A|~>S:
Implikacja odwrotna to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku:
A: A~>S =1
A: A=>S =0
Stąd mamy implikację odwrotną A|~>S w równaniu logicznym:
A|~>S = A: (A~>S) * A: ~(A=>S) = 1*~(0) =1*1 =1

Fałszywy warunek wystarczający => A: A=>S=0 wymusza prawdziwość kontrprzykładu B (albo odwrotnie)
B.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może ~~> się nie świecić (~S=1)
A~~>~S = ~A*S =1
Jest taka możliwość gdy zmienna wolna B zostanie ustawiona na 0.
Prawo Prosiaczka:
(B=0)=(~B=1) - przycisk B nie jest wciśnięty (~B=1)

… a jeśli przycisk A nie jest włączony (~A=1)?
Prawo Kubusia:
A: A~>S = C: ~A=>~S
Stąd:
C.
Jeśli przycisk A nie jest wciśnięty (~A=1) to na 100% => żarówka nie świeci się (~S=1)
~A=>~S =1
Nie wciśniecie przycisku A jest warunkiem wystarczającym => do tego, aby żarówka nie świeciła się
Nie wciśnięcie przycisku A daje nam gwarancję matematyczną => że żarówka nie będzie się świecić
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = Gwarancja matematyczna =>
Zdanie C to oczywistość dla każdego ucznia 7-klasy szkoły podstawowej.
Prawdziwość warunku wystarczającego => C wymusza fałszywość kontrprzykładu D (i odwrotnie)
D.
Jeśli przycisk A nie jest wciśnięty (~A=1) to żarówka może się świecić (S=1)
~A~~>S = ~A*S =0
Przypadek niemożliwy, oczywistość dla ucznia 7 klasy SP.

Zauważmy teraz że:
Fałszywy warunek wystarczający A: A=>S =0 na mocy prawa Kubusia wymusza fałszywy warunek konieczny ~> C: A~>S =0
Prawo Kubusia:
A: A=>S = C: ~A~>~S

Stad mamy spełnioną definicje implikacji prostej ~A|=>~S:
Implikacja prosta ~A|=>~S to spełniony wyłącznie warunek wystarczający => miedzy tymi samymi punktami i w tym samym kierunku:
C: ~A=>~S =1
C: ~A~>~S =0
Stąd:
Definicja implikacji prostej ~A|=>~S w równaniu logicznym:
~A|=>~S = C: (~A=>~S)* C: ~(~A~>~S) = 1*~(0) =1*1 =1

Zauważmy że:
Po stronie wciśniętego przycisku A (A=1) mamy tu najzwyklejsze „rzucanie monetą” opisane zdaniami A i B, czyli:
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może ~> świecić się (zdanie A), albo może ~~> się nie świecić (zdanie B).

Oczywiście, przy wciśniętym przycisku A (A=1) wszystko zależy od aktualnego stanu zmiennej wolnej B:
Jeśli przycisk B jest wciśnięty (B=1) to żarówka S się świeci (S=1)
albo
Jeśli przycisk B nie jest wciśnięty (~B=1) to żarówka S nie świeci się (~S=1)

Natomiast!
Po stronie nie wciśniętego przycisku A (~A=1) mamy gwarancję matematyczną => iż w tym przypadku żarówka na 100% => nie będzie się świecić, niezależnie od stanu zmiennej wolnej B, co jest oczywistością dla każdego ucznia 7 klasy SP.

Jak fizycznie zrealizować ideę zmiennej wolnej?
Przycisk B możemy oddać we władanie na przykład 3-letniemu Jasiowi który będzie się bawił włączaniem wyłączaniem żarówki S przy wciśniętym przycisku A.
Oczywiście gdy wyłączymy przycisk A to zabawa małemu Jasiowi szybko się znudzi gdyż żarówka przestanie reagować na włączenia/wyłączenia przycisku B - będzie non-stop wyłączona.

Podsumowanie:
Klasyczna definicja implikacji odwrotnej A|~>S:
Implikacja odwrotna A|~>S to spełnienie wyłącznie warunku koniecznego ~> między tymi samymi punktami i w tym samym kierunku:
A: A~>S =1
A: A=>S =0
Stąd:
Definicja implikacji odwrotnej A|~>S w równaniu logicznym:
A|~>S = A: (A~>S) * A: ~(A=>S) = 1*~(0) =1*1 =1

Z naszej analizy odczytujemy również:
Klasyczna definicja implikacji prostej ~A|=>~S:
Implikacja prosta ~A|=>~S to spełnienie wyłącznie warunku wystarczającego => między tymi samymi punktami i w tym samym kierunku:
C: ~A=>~S =1
C: ~A~>~S =0
Stąd:
Definicja implikacji prostej ~A|=>~S w równaniu logicznym:
~A|=>~S = C: (~A=>~S)* C: ~(~A~>~S) = 1*~(0) =1*1 =1

Zauważmy, że obie definicje: implikacji odwrotnej A|~>S i prostej ~A|=>~S tworzy ta sama seria zdań ABCD, stąd mamy tożsamość matematyczną:
A|~>S = ~A|=>~S

Zauważmy że::
1.
Implikację odwrotną A|~>S tworzy seria czterech zdań ABCD:
A|~>S = A: (A~>S) * A: ~(A=>S) = 1*~(0) =1*1 =1
Warunki: konieczny ~> A: (A~>S =1) oraz wystarczający => C: (~A=>~S =1) wchodzą w skład definicji implikacji odwrotnej A|~>S.
Oczywistym jest że matematycznie zachodzi:
Implikacja odwrotna A|~>S (seria zdań ABCD) ## warunek konieczny A: (A~>S=1), jedno zdanie A
Gdzie:
## - różne na mocy definicji
2.
Implikację prostą ~A|=>~S tworzy dokładnie ta sama seria zdań ABCD:
~A|=>~S = C: (~A=>~S)* C: ~(~A~>~S) = 1*~(0) =1*1 =1
Warunki: wystarczający => C: (~A=>~S =1) i konieczny ~> A: (A~>S=1) wchodzą w skład definicji implikacji prostej ~A|=>~S
Matematycznie zachodzi:
Implikacja prosta ~A|=>~S (seria zań ABCD) ## warunek wystarczający => C: (~A=>~S =1), jedno zdanie C
Gdzie:
## - różne na mocy definicji
3.
Zauważmy że równoważność A<=>S jest tu fałszywa.
A<=>S = A: (A=>S)* C: (~A=>~S) =0*1 =0
cnd


Matematyczne związki między równoważnością A<=>S, implikacją prostą A|=>S i odwrotną A|~>S są następujące:
Kod:

Równoważność A<=>S  ##Implikacja prosta A|=>S: ##Implikacja odwrotna A|~>S:
A<=>S=(A=>S)*(A~>S) ## A|=>S=(A=>S)*~(A~>S)    ## A|~>S=(A~>S)*~(A=>S)
A<=>S=~A<=>~S       ## A|=>S = ~A|~>~S         ## A|~>S = ~A|=>~S
gdzie:
## - różne na mocy definicji


Znaczek różne na mocy definicji ## jest tu oczywistością bowiem jeden przycisk A i jedna żarówka S (równoważność A<=>S), to fundamentalnie co innego niż równoległe połączenie przycisków A i B (implikacja prosta A|=>S) oraz fundamentalnie co innego niż szeregowe połączenie przycisków A i B (implikacja odwrotna A|~>S).

Przypomnijmy sobie schematy ideowe:
Kod:

Układ równoważnościowy A<=>S:
                             A
       -------------       ______
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

##
Kod:

Układ implikacji prostej A|=>S:

                             B
                           ______
                      -----o    o-----
                      |      A       |
       -------------  |    ______    |
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

##
Kod:

Układ implikacji odwrotnej A|~>S:

                             B          A       
       -------------       ______     ______
  -----| dioda LED |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------

Gdzie:
## - różne na mocy definicji


Ostatnio zmieniony przez rafal3006 dnia Nie 20:41, 20 Paź 2019, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 20:13, 20 Paź 2019    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/strach-przed-odpowiedzia-na-pytanie,14539-25.html#479859
Irbisol napisał:
rafal3006 napisał:
Ty oczekujesz że zadając mi pytania których gówno-sens jest wyłącznie w twojej gówno-logice ja ci będę odpowiadał zgodnie z twoją gówno-logiką?

Debilu.
Skoro jest to dział o twojej logice, to chyba oczywiste, że masz odpowiadać zgodnie ze swoja logiką.

Odpowiesz, czy to proste pytanie z gatunku TAK / NIE cię zabiło?
Zresztą - nawet jak odpowiesz, to każdy widzi, jakie problemy sprawiają twojej logice najprostsze pytania.

Przypomnij o jakie pytanie ci chodzi, bo odpowiedziałem na wszystkie twoje pytania na gruncie algebry Kubusia oczywiście.

Trzy moje ostatnie posty (równoważność A<=>S, implikacja prosta A|=>S i odwrotna A|~>S) rozniosły w puch twoją gówno logikę zwaną KRZ!

Doprawdy, trzeba być super-debilem, by tego nie widzieć.

Czego tu nie rozumiesz debilku zwany Irbisolem?

Matematyczne związki między równoważnością A<=>S, implikacją prostą A|=>S i odwrotną A|~>S są następujące:
Kod:

Równoważność A<=>S  ##Implikacja prosta A|=>S: ##Implikacja odwrotna A|~>S:
A<=>S=(A=>S)*(A~>S) ## A|=>S=(A=>S)*~(A~>S)    ## A|~>S=(A~>S)*~(A=>S)
A<=>S=~A<=>~S       ## A|=>S = ~A|~>~S         ## A|~>S = ~A|=>~S
gdzie:
## - różne na mocy definicji


Znaczek różne na mocy definicji ## jest tu oczywistością bowiem jeden przycisk A i jedna żarówka S (równoważność A<=>S), to fundamentalnie co innego niż równoległe połączenie przycisków A i B (implikacja prosta A|=>S) oraz fundamentalnie co innego niż szeregowe połączenie przycisków A i B (implikacja odwrotna A|~>S).

Przypomnijmy sobie schematy ideowe:
Kod:

Układ równoważnościowy A<=>S:
                             A
       -------------       ______
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

##
Kod:

Układ implikacji prostej A|=>S:

                             B
                           ______
                      -----o    o-----
                      |      A       |
       -------------  |    ______    |
  -----| dioda LED |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------

##
Kod:

Układ implikacji odwrotnej A|~>S:

                             B          A       
       -------------       ______     ______
  -----| dioda LED |-------o    o-----o    o----
  |    -------------                           |
  |                                            |
______                                         |
 ___    U (źródło napięcia)                    |
  |                                            |
  |                                            |
  ----------------------------------------------

Gdzie:
## - różne na mocy definicji


Ostatnio zmieniony przez rafal3006 dnia Nie 20:58, 20 Paź 2019, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Michał Dyszyński
Bloger na Kretowisku



Dołączył: 04 Gru 2005
Posty: 19273
Przeczytał: 60 tematów

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

PostWysłany: Nie 20:42, 20 Paź 2019    Temat postu:

rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479813

Uwaga dla moderatora!
Poniższy post jest na temat definicji weryfikacji w algebrze Kubusia napisany językiem zrozumiałym dla ucznia 7-klasy szkoły podstawowej.
Proszę zatem moderatora by się odpierdolił od niniejszego postu i pozostawił go tu gdzie jego miejsce tzn. w temacie "Definicja weryfikacji".

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Sorry, Rafale. Ale gołym okiem widać, że Twoje podpięcie się pod ten temat jest sztuczne, a jego powodem jest chęć wciśnięcia tu kolejnej odsłony AK.
Niestety, w tym wątku, Twój tekst będzie miał jedno zastosowanie - przeskrolowanie go bez przeczytania.
Sorry, Rafał. Tylko spamujesz. To nie ma sensu.
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Nie 20:52, 20 Paź 2019    Temat postu:

Michał Dyszyński napisał:
rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479813

Uwaga dla moderatora!
Poniższy post jest na temat definicji weryfikacji w algebrze Kubusia napisany językiem zrozumiałym dla ucznia 7-klasy szkoły podstawowej.
Proszę zatem moderatora by się odpierdolił od niniejszego postu i pozostawił go tu gdzie jego miejsce tzn. w temacie "Definicja weryfikacji".

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Sorry, Rafale. Ale gołym okiem widać, że Twoje podpięcie się pod ten temat jest sztuczne, a jego powodem jest chęć wciśnięcia tu kolejnej odsłony AK.
Niestety, w tym wątku, Twój tekst będzie miał jedno zastosowanie - przeskrolowanie go bez przeczytania.
Sorry, Rafał. Tylko spamujesz. To nie ma sensu.

Zauważ Michale, że ja posługuję się fizyką (twoja specjalność) na poziomie 7 klasy szkoły podstawowej.
Skąd więc ta twoja wrogość wobec AK?
Wychodzi mi że wyłącznie z definicji, bowiem na 100% doskonale rozumiesz wszystkie schematy ideowe wyżej narysowane i doskonale wiesz że miedzy tymi schematami obowiązuje znaczek różne na mocy definicji ##.

Zupełnie nie rozumiem dlaczego nie kłują cie posty nie na temat np. Dyskurs czy Semele a kołkiem w oku stanęła ci definicja weryfikacji z algebry Kubusia?
Dlaczego dopuszczasz wyłącznie jakąś tam swoją definicje weryfikacji której treści i tak nie masz szans ustalić z Irbisolem, zatem to jest z definicji błędna definicja bo nie jest dla każdego oczywista, w przeciwieństwie do definicji weryfikacji z algebry Kubusia perfekcyjnie działającej w otaczającym nas Wszechświecie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 7669
Przeczytał: 30 tematów


PostWysłany: Pon 9:16, 21 Paź 2019    Temat postu:

I taka jest robota z tym "gieniuszem".
Zadajesz proste pytania (TAK / NIE) o JEGO LOGIKĘ, to ni chuja nie odpowie. A nie - po tygodniu odpowiedział na JEDNO pytanie.
Zamierzałem zadać w sumie 3 pytania. Z normalnym by to przeszło w jeden dzień, tu się to nigdy nie skończy.
Przecież widać, że ta jego gówno-logika leży i kwiczy, on swoim pierdoleniem nie na temat blokuje każdą dyskusję. Kto się na to nabiera? Dokładnie NIKT.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Michał Dyszyński
Bloger na Kretowisku



Dołączył: 04 Gru 2005
Posty: 19273
Przeczytał: 60 tematów

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

PostWysłany: Pon 9:56, 21 Paź 2019    Temat postu:

rafal3006 napisał:
Michał Dyszyński napisał:
rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479813

Uwaga dla moderatora!
Poniższy post jest na temat definicji weryfikacji w algebrze Kubusia napisany językiem zrozumiałym dla ucznia 7-klasy szkoły podstawowej.
Proszę zatem moderatora by się odpierdolił od niniejszego postu i pozostawił go tu gdzie jego miejsce tzn. w temacie "Definicja weryfikacji".

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Sorry, Rafale. Ale gołym okiem widać, że Twoje podpięcie się pod ten temat jest sztuczne, a jego powodem jest chęć wciśnięcia tu kolejnej odsłony AK.
Niestety, w tym wątku, Twój tekst będzie miał jedno zastosowanie - przeskrolowanie go bez przeczytania.
Sorry, Rafał. Tylko spamujesz. To nie ma sensu.

Zauważ Michale, że ja posługuję się fizyką (twoja specjalność) na poziomie 7 klasy szkoły podstawowej.
Skąd więc ta twoja wrogość wobec AK?
Wychodzi mi że wyłącznie z definicji, bowiem na 100% doskonale rozumiesz wszystkie schematy ideowe wyżej narysowane i doskonale wiesz że miedzy tymi schematami obowiązuje znaczek różne na mocy definicji ##.

Zupełnie nie rozumiem dlaczego nie kłują cie posty nie na temat np. Dyskurs czy Semele a kołkiem w oku stanęła ci definicja weryfikacji z algebry Kubusia?
Dlaczego dopuszczasz wyłącznie jakąś tam swoją definicje weryfikacji której treści i tak nie masz szans ustalić z Irbisolem, zatem to jest z definicji błędna definicja bo nie jest dla każdego oczywista, w przeciwieństwie do definicji weryfikacji z algebry Kubusia perfekcyjnie działającej w otaczającym nas Wszechświecie.


Nie jestem wrogiem AK.
Powiem więcej: CHCIAŁEM (szczerze i uczciwie!) zapoznać się, wgryźć, a na koniec zaakceptować, to co masz do powiedzenia. Niestety, to Ty mi to uniemożliwiłeś!
Sorry, Rafał, ale TO TY BLOKUJESZ PRZEKAZ SWOJEJ KONCEPCJI WSZYSTKIM ZAINTERESOWANYM.
Nie kto inny, tylko Ty sam.
Miałem kilka podejść do zapoznania się z Twoją koncepcją. Na wszystkich poległem totalnie. Przyczyna zawsze jest jedna: nie jesteś w stanie udzielić odpowiedzi na kluczowe pytania tej koncepcji dotyczące.
Twoje posty składają się z:
1. Gorących zapewnień, że AK jest wspaniała, zaś logika matematyczna, jaką znamy jest do niczego.
2. Epistoł z przykładami, co do których NIE WIADOMO NA CO SĄ TO PRZYKŁADY.

Przyjęcie jakiejś nowej koncepcji (jak by ona nie była, nie dotyczy to tylko potencjalnego przyjęcia AK) związane jest z tym, że ZA POMOCĄ ZNANYCH SOBIE POJĘĆ, dany człowiek odmaluje w swoim umyśle, jakieś nowe zależności, obrazy, koncepcje.
Zapewnienia, że AK jest wspaniała i przełomowa NIC NIE MALUJE W UMYŚLE, NICZEGO NIE POMAGA ZROZUMIEĆ
Zapewnienia i apele, że tradycyjna logika jest do niczego NIC NIE MALUJE W UMYŚLE, NICZEGO NIE POMAGA ZROZUMIEĆ
Przedstawianie sążnistych przykładów, bez wyjaśnienia, jaki płynie z nich wniosek NIC NIE MALUJE W UMYŚLE, NICZEGO NIE POMAGA ZROZUMIEĆ.
Jak na pytanie o konkretne rzeczy, na które chciałoby się dostać konkretną odpowiedź, dostaje się 4 strony przykładowych opisów, to się po prostu rezygnuje.
Przykro mi, ale dopóki nie zaczniesz odpowiadać KONKRETNIE NA PYTANIA, dopóty Twoje szanse dotarcia ze swoją koncepcją do kogokolwiek uważam za bliskie zera. Jest tak nie z powodu niechęci do Ciebie, czy Twojej koncepcji, ale Z POWODU NIEMOŻNOŚCI zaakceptowania czegoś, co jest przedstawione tak chaotycznie, tak bez powiązań, z tym co się zna, tak bez wyjaśnienia "po co?" "dlaczego?", że Twoje deklaracje o tym, że zrozumie to 5 latek, 50 latek, czy 150 latek - wszystkie te deklaracje są puste, są pobożnymi życzeniami. Bo przekonywanie do swojej koncepcji - jeśli to jest koncepcja intelektualna, a nie np. wciskanie komuś produktu przez marketera - nie polega na uporczywym wypisywaniu, że to jest wspaniałą koncepcja, tylko na wyjaśnianiu tej koncepcji w sposób naprawdę zrozumiały.
Jeślibyś chciał cokolwiek wytłumaczyć, to musiałbyś postawić sobie pewne podstawowe ograniczenia:
- zrezygnować z zachwalania AK (to nic nie da, bo nawet ktoś przekonany tym zachwaleniem, nie zwiększy stanu zrozumienia tego, co się zachwala o milimetr)
- zrezygnować z publikowania przykładów, dla których brak jest objaśnienia, CO JEST TEZĄ, którą dany przykład ilustruje. W przeciwnym wypadku owe przykłady będą odbierane jako PRZYKŁADY NA NIC.
- ignorowania pytań, które się do Ciebie kieruje.
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: 25829
Przeczytał: 17 tematów

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

PostWysłany: Pon 10:59, 21 Paź 2019    Temat postu:

Michał Dyszyński napisał:
rafal3006 napisał:
Michał Dyszyński napisał:
rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/definicja-weryfikacji,14047-50.html#479813

Uwaga dla moderatora!
Poniższy post jest na temat definicji weryfikacji w algebrze Kubusia napisany językiem zrozumiałym dla ucznia 7-klasy szkoły podstawowej.
Proszę zatem moderatora by się odpierdolił od niniejszego postu i pozostawił go tu gdzie jego miejsce tzn. w temacie "Definicja weryfikacji".

Definicja weryfikacji:
Weryfikacja to rozumowanie zgodne z naturalną logiką człowieka którego żaden człowiek przy zdrowych zmysłach nie kwestionuje.

Sorry, Rafale. Ale gołym okiem widać, że Twoje podpięcie się pod ten temat jest sztuczne, a jego powodem jest chęć wciśnięcia tu kolejnej odsłony AK.
Niestety, w tym wątku, Twój tekst będzie miał jedno zastosowanie - przeskrolowanie go bez przeczytania.
Sorry, Rafał. Tylko spamujesz. To nie ma sensu.

Zauważ Michale, że ja posługuję się fizyką (twoja specjalność) na poziomie 7 klasy szkoły podstawowej.
Skąd więc ta twoja wrogość wobec AK?
Wychodzi mi że wyłącznie z definicji, bowiem na 100% doskonale rozumiesz wszystkie schematy ideowe wyżej narysowane i doskonale wiesz że miedzy tymi schematami obowiązuje znaczek różne na mocy definicji ##.

Zupełnie nie rozumiem dlaczego nie kłują cie posty nie na temat np. Dyskurs czy Semele a kołkiem w oku stanęła ci definicja weryfikacji z algebry Kubusia?
Dlaczego dopuszczasz wyłącznie jakąś tam swoją definicje weryfikacji której treści i tak nie masz szans ustalić z Irbisolem, zatem to jest z definicji błędna definicja bo nie jest dla każdego oczywista, w przeciwieństwie do definicji weryfikacji z algebry Kubusia perfekcyjnie działającej w otaczającym nas Wszechświecie.


Nie jestem wrogiem AK.
Powiem więcej: CHCIAŁEM (szczerze i uczciwie!) zapoznać się, wgryźć, a na koniec zaakceptować, to co masz do powiedzenia. Niestety, to Ty mi to uniemożliwiłeś!
Sorry, Rafał, ale TO TY BLOKUJESZ PRZEKAZ SWOJEJ KONCEPCJI WSZYSTKIM ZAINTERESOWANYM.
Nie kto inny, tylko Ty sam.
Miałem kilka podejść do zapoznania się z Twoją koncepcją. Na wszystkich poległem totalnie. Przyczyna zawsze jest jedna: nie jesteś w stanie udzielić odpowiedzi na kluczowe pytania tej koncepcji dotyczące.
Twoje posty składają się z:
1. Gorących zapewnień, że AK jest wspaniała, zaś logika matematyczna, jaką znamy jest do niczego.
2. Epistoł z przykładami, co do których NIE WIADOMO NA CO SĄ TO PRZYKŁADY.

Przyjęcie jakiejś nowej koncepcji (jak by ona nie była, nie dotyczy to tylko potencjalnego przyjęcia AK) związane jest z tym, że ZA POMOCĄ ZNANYCH SOBIE POJĘĆ, dany człowiek odmaluje w swoim umyśle, jakieś nowe zależności, obrazy, koncepcje.
Zapewnienia, że AK jest wspaniała i przełomowa NIC NIE MALUJE W UMYŚLE, NICZEGO NIE POMAGA ZROZUMIEĆ
Zapewnienia i apele, że tradycyjna logika jest do niczego NIC NIE MALUJE W UMYŚLE, NICZEGO NIE POMAGA ZROZUMIEĆ
Przedstawianie sążnistych przykładów, bez wyjaśnienia, jaki płynie z nich wniosek NIC NIE MALUJE W UMYŚLE, NICZEGO NIE POMAGA ZROZUMIEĆ.
Jak na pytanie o konkretne rzeczy, na które chciałoby się dostać konkretną odpowiedź, dostaje się 4 strony przykładowych opisów, to się po prostu rezygnuje.
Przykro mi, ale dopóki nie zaczniesz odpowiadać KONKRETNIE NA PYTANIA, dopóty Twoje szanse dotarcia ze swoją koncepcją do kogokolwiek uważam za bliskie zera. Jest tak nie z powodu niechęci do Ciebie, czy Twojej koncepcji, ale Z POWODU NIEMOŻNOŚCI zaakceptowania czegoś, co jest przedstawione tak chaotycznie, tak bez powiązań, z tym co się zna, tak bez wyjaśnienia "po co?" "dlaczego?", że Twoje deklaracje o tym, że zrozumie to 5 latek, 50 latek, czy 150 latek - wszystkie te deklaracje są puste, są pobożnymi życzeniami. Bo przekonywanie do swojej koncepcji - jeśli to jest koncepcja intelektualna, a nie np. wciskanie komuś produktu przez marketera - nie polega na uporczywym wypisywaniu, że to jest wspaniałą koncepcja, tylko na wyjaśnianiu tej koncepcji w sposób naprawdę zrozumiały.
Jeślibyś chciał cokolwiek wytłumaczyć, to musiałbyś postawić sobie pewne podstawowe ograniczenia:
- zrezygnować z zachwalania AK (to nic nie da, bo nawet ktoś przekonany tym zachwaleniem, nie zwiększy stanu zrozumienia tego, co się zachwala o milimetr)
- zrezygnować z publikowania przykładów, dla których brak jest objaśnienia, CO JEST TEZĄ, którą dany przykład ilustruje. W przeciwnym wypadku owe przykłady będą odbierane jako PRZYKŁADY NA NIC.
- ignorowania pytań, które się do Ciebie kieruje.

Mogę zrezygnować z przykładów, ale to nic nie da, bowiem totalnie wszystkie definicje z AK są sprzeczne z KRZ, nawet rachunek zero-jedynkowy mamy sprzeczny, bo ziemianie nie znają kluczowych pojęć logiki dodatniej (bo Y) i ujemnej (bo ~Y).

Bardzo proszę, wstęp do AK bez przykładów:
http://www.sfinia.fora.pl/forum-kubusia,12/procedury-weryfikacyjne-algebry-kubusia,14583.html#479945

Cytat:
1.2 Matematyczne związki warunku wystarczającego => i koniecznego ~>

Ziemscy matematycy doskonale znają zero-jedynkowe definicje znaczków => i ~>, bowiem tabele zero-jedynkowe wszystkich możliwych, 16 spójników w logice matematycznej mamy wspólne.

Ziemscy matematycy nie znają tylko i wyłącznie prawidłowej interpretacji znaczków => i ~> która w algebrze Kubusia jest następująca.
Dla potrzeb rachunku zero-jedynkowego wolno nam przyjąć definicje znaczków => i ~> jak niżej:
=> - warunek wystarczający
~> - warunek konieczny
Ważne jest jak będą działały przyjęte definicje w otaczającym nas Wszechświecie, a działają perfekcyjnie co za chwilkę udowodnimy.
Kod:

Definicja warunku wystarczającego =>
   p  q p=>q
A: 1  1  1
B: 1  0  0
C: 0  0  1
D: 0  1  1
Do łatwego zapamiętania:
p=>q=0 <=> p=1 i q=0
Inaczej:
p=>q=1
Definicja w spójniku „lub”(+):
p=>q =~p+q

Kod:

Definicja warunku koniecznego ~>
   p  q p~>q
A: 1  1  1
B: 1  0  1
C: 0  0  1
D: 0  1  0
Do łatwego zapamiętania:
p~>q=0 <=> p=0 i q=1
Inaczej:
p~>q=1
Definicja w spójniku „lub”(+):
p~>q = p+~q

Stąd w rachunku zero-jedynkowym wyprowadzamy następujące związki miedzy warunkami wystarczającym => i koniecznym ~>
Kod:

Tabela A
Matematyczne związki znaczków => i ~>
w podstawowym rachunku zero-jedynkowym
   p  q ~p ~q p=>q ~p~>~q [=] q~>p ~q=>~p [=] p=>q=~p+q
A: 1  1  0  0  =1    =1        =1    =1        =1
B: 1  0  0  1  =0    =0        =0    =0        =0
C: 0  0  1  1  =1    =1        =1    =1        =1
D: 0  1  1  0  =1    =1        =1    =1        =1
                1     2         3     4         5

Z tożsamości kolumn wynikowych odczytujemy.
Matematyczne związki warunku wystarczającego => z koniecznego ~>:
A: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p [=] 5: ~p+q
Kod:

Tabela B
Matematyczne związki znaczków ~> i =>
w podstawowym rachunku zero-jedynkowym
   p  q ~p ~q p~>q ~p=>~q [=] q=>p ~q~>~p [=] p~>q=p+~q
A: 1  1  0  0  =1    =1        =1    =1        =1
B: 1  0  0  1  =1    =1        =1    =1        =1
C: 0  0  1  1  =1    =1        =1    =1        =1
D: 0  1  1  0  =0    =0        =0    =0        =0
                1     2         3     4         5

Z tożsamości kolumn wynikowych odczytujemy.
Matematyczne związki warunku koniecznego ~> i wystarczającego =>:
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p [=] 5: p+~q

Znaczki „=” i [=] to tożsamości logiczne (zapisy tożsame)

Definicja tożsamości logicznej:
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej „=” wymusza fałszywość drugiej strony

Podsumowanie:
Matematyczne związki warunku wystarczającego => z koniecznego ~>:
A: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p [=] 5: ~p+q
##
Matematyczne związki warunku koniecznego ~> i wystarczającego =>:
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p [=] 5: p+~q
Gdzie:
## - różne na mocy definicji

W obu równaniach A i B zmienne p i q muszą być tymi samymi zmiennymi, inaczej popełniamy błąd podstawienia.

Definicje znaczków => i ~> w równaniu logicznym:
A: p=>q = ~p+q ## B: p~>q = p+~q
gdzie:
## - różne na mocy definicji

Przykład wykorzystania:
Udowodnij prawo kontrapozycji:
p=>q = ~q=>~p
Definicja znaczka =>:
p=>q = ~p+q
Rozpisujemy prawą stronę:
~q=>~p = ~(~q)+~p = ~p+q = p=>q
cnd

Definicja znaczka różne na mocy definicji ##:
Dwie kolumny zero-jedynkowe są różna na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej


Z powyższego układu równań mamy podstawowe prawa logiki matematycznej do codziennego stosowania.

1.2.1 Prawa Kubusia

Prawa Kubusia
Prawa Kubusia wiążą warunek wystarczający => z warunkiem koniecznym ~> bez zamiany p i q
p=>q = ~p~>~q
p~>q = ~p=>~q

Ogólne prawo Kubusia:
Negujemy zmienne p i q wymieniając spójniki => i ~> na przeciwne

Interpretacja dowolnego prawa logicznego
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej „=” wymusza fałszywość drugiej strony

1.2.2 Prawa Tygryska

Prawa Tygryska:
Prawa Tygryska wiążą warunek wystarczający => i konieczny ~> z zamianą p i q
p=>q = q~>p
p~>q = q=>p

Ogólne prawo Tygryska:
Zamieniamy zmienne p i q wymieniając spójniki => i ~> na przeciwne

1.2.3 Prawa kontrapozycji

Prawa kontrapozycji:
W prawach kontrapozycji negujemy zmienne p i q zamieniając je miejscami.
Spójnik logiczny (=> lub ~>) pozostaje bez zmian.

Prawa kontrapozycji dla warunku wystarczającego =>:
p=>q = ~q=>~q
q=>p = ~p=>~q
Prawa kontrapozycji dla warunku koniecznego ~>:
p~>q = ~q~>~p
q~>p = ~p~>~q

Ogólne prawo kontrapozycji:
Negujemy zmienne p i q zamieniając je miejscami bez zmiany spójnika logicznego => lub ~>.



Zarówno ty Michale jak i Irbisol na 100% nic z tego nie rozumiecie.
Zapewniam cię jednak że matematycy z matematyki.pl rozumieją cytat wyżej doskonale tzn. nikt nie zakwestionuje praw logiki matematycznej które tu wynikają.

Przykłady w logice są jak najbardziej na miejscu np. prof. Newelski w swoim skrypcie udowadnia poniższe twierdzenie dokładnie na przykładzie.
Dowód:
Punkt 2.7 w tym linku:
[link widoczny dla zalogowanych]

Twierdzenie które udowadnia jest następujące:
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie).

Dowód tego na gruncie AK to absolutny prymityw - oczywiście na gruncie AK ten dowód przebiega fundamentalnie inaczej niż u prof. Newelskiego.
Nie będę ci tego tłumaczył bo po prostu jesteś z definicji wrogo nastawiony w stosunku do czegokolwiek co podważa znaną ci gówno-logikę w postaci KRZ.


Ostatnio zmieniony przez rafal3006 dnia Pon 11:45, 21 Paź 2019, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25829
Przeczytał: 17 tematów

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

PostWysłany: Pon 11:25, 21 Paź 2019    Temat postu:

Do czego służy algebra Kubusia?
Odpowiadam:
Do opisu języka potocznego człowieka, także do opisu języka matematycznego!
W algebrze Kubusia mamy w dupie wszelkie kwantyfikatory - tu są one zbędne!
Dowód zbędności:
Nikt przy zdrowych zmysłach nie podaje uczniowi 7 klasy szkoły podstawowej twierdzenia Pitagorasa w formie zapisu kwantyfikatorowego.

Niżej jest dowód do jakiej paranoi prowadzą ziemskie gówno-kwantyfikatory:
http://www.sfinia.fora.pl/forum-kubusia,12/dyskusja-ze-zbanowanym-uczy-i-nobody-na-ateiscie-pl,4156.html#84668
NoBody napisał:
precyzyjnie

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

Jaki jest sens tego gówna w 7 klasie szkoły podstawowej?
ŻADEN!

http://www.sfinia.fora.pl/forum-kubusia,12/strach-przed-odpowiedzia-na-pytanie,14539-25.html#480011
Michał Dyszyński napisał:

Nie jestem wrogiem AK.
Powiem więcej: CHCIAŁEM (szczerze i uczciwie!) zapoznać się, wgryźć, a na koniec zaakceptować, to co masz do powiedzenia. Niestety, to Ty mi to uniemożliwiłeś!
Sorry, Rafał, ale TO TY BLOKUJESZ PRZEKAZ SWOJEJ KONCEPCJI WSZYSTKIM ZAINTERESOWANYM.
Nie kto inny, tylko Ty sam.
Miałem kilka podejść do zapoznania się z Twoją koncepcją. Na wszystkich poległem totalnie. Przyczyna zawsze jest jedna: nie jesteś w stanie udzielić odpowiedzi na kluczowe pytania tej koncepcji dotyczące.
Twoje posty składają się z:
1. Gorących zapewnień, że AK jest wspaniała, zaś logika matematyczna, jaką znamy jest do niczego.
2. Epistoł z przykładami, co do których NIE WIADOMO NA CO SĄ TO PRZYKŁADY.

Wszystkie moje przykłady to po prostu matematyczny opis języka potocznego - dokładnie po to są te przykłady aby ziemskim matematykom to udowodnić.

Udajmy się do przedszkola:
Pani:
Jutro pójdziemy do parku lub do kina i do teatru
Y = P+K*T
Czytamy:
Pani dotrzyma słowa (Y) wtedy o tylko wtedy gdy jutro pójdziemy do parku (P) LUB do kina (K) i do teatru (T)

Jest to język potoczny?
Oczywiście że JEST!

… a ziemscy matematycy nie potrafią tu odpowiedzieć na pytanie kiedy jutro pani skłamie, oczywiście w języku potocznym, gdzie mamy w dupie jakiekolwiek tabele zero-jedynkowe.

A AK mamy tu bardzo trywialną odpowiedź:
Dana jest funkcja logiczna:
Y = P+K*T
Przejście do logiki ujemnej (bo ~Y) metodą Wuja Zbója:
1.
Uzupełniamy brakujące nawiasy bo kolejność wykonywania działań w logice to:
nawiasy. „i”(*), „lub”(+)
stąd mmay:
Y = P+(K*T)
2.
Przechodzimy do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne
~Y = ~P*(~K+~T)

Uwaga:
W języku potocznym człowiek rozumie wyłącznie postać alternatywno-koniunkcyjną bowiem w j. potocznym nie da się przekazać informacji o nawiasach.

Dlatego z ostatnim zapisem musimy przejść do postaci alternatywno-koniunkcyjnej wymnażając wielomian logiczny - robi się to identycznie jak w matematyce klasycznej z wielomianami arytmetycznymi (każdy element z każdym).

Stąd:
~Y = ~P*~K + ~P*~T

stąd mamy odpowiedź:
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do parku (~P) i nie pójdziemy do kina (~K) LUB nie pójdziemy do parku (~P) i nie pójdziemy do teatru (~T)

W każdym innym przypadku pani dotrzyma słowa (Y)

Pytanie do Michała:
Czy zrozumiałeś cokolwiek z niniejszego postu?

Poproszę o odpowiedź.


Ostatnio zmieniony przez rafal3006 dnia Pon 11:49, 21 Paź 2019, 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: 7669
Przeczytał: 30 tematów


PostWysłany: Pon 13:56, 21 Paź 2019    Temat postu:

Michał Dyszyński napisał:
Sorry, Rafał, ale TO TY BLOKUJESZ PRZEKAZ SWOJEJ KONCEPCJI WSZYSTKIM ZAINTERESOWANYM.

100% racji.
Jeżeli Rafał miałby słuszność, to by po prostu odpowiedział. A on robi wszystko, byle by tylko nie udzielić najprostszej odpowiedzi - typowe zagranie to pierdolenie o jakimś aspekcie swojej algebry (o który nikt go nie pytał) i zadawanie pytań ze swojej strony.
To najlepszy test na to, że ta jego algebra jest do dupy.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Ten temat jest zablokowany bez możliwości zmiany postów lub pisania odpowiedzi    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3, 4, 5, 6, 7, 8, 9  Następny
Strona 2 z 9

 
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