Szach-mat który przejdzie do historii matematyki!

Ś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.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Szach-mat który przejdzie do historii matematyki!
Idź do strony Poprzedni 1, 2, 3 ... 13, 14, 15 ... 156, 157, 158 Następny

Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów

Wysłany: Sob 14:47, 07 Mar 2020 Temat postu:

rafal3006 napisał:

Irbisol napisał:

Znowu spierdalasz od odpowiedzi.
Nie pytałem cię o żadne prawa sierściuchów, więc dalszego pierdolenia nie na temat nie czytam.

Czego niżej nie rozumiesz Płaskoziemco?
Fundamentem mojej odpowiedzi na twoje pytanie o 35 przycisków[/b] jest prawo Wiewiórki

Ale ja sram na twoje fundamenty i prawa.
Zadałem ci pytanie, a ty - jak zawsze przez całe życie - przed tym pytaniem SPIERDALASZ.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 15:16, 07 Mar 2020 Temat postu:

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

Znowu spierdalasz od odpowiedzi.
Nie pytałem cię o żadne prawa sierściuchów, więc dalszego pierdolenia nie na temat nie czytam.

Czego niżej nie rozumiesz Płaskoziemco?
Fundamentem mojej odpowiedzi na twoje pytanie o 35 przycisków[/b] jest prawo Wiewiórki

Ale ja sram na twoje fundamenty i prawa.
Zadałem ci pytanie, a ty - jak zawsze przez całe życie - przed tym pytaniem SPIERDALASZ.

Twoja głupota płaskoziemco jest niebotyczna, bowiem prawo Wiewiórki to nie tylko prawo algebry Kubusia, ale również prawo algebry Boole'a i prawo KRZ!

Pytanie:
Czy na algebrę Boole'a też srasz?
Czy na swój własny KRZ też srasz?
Dawaj płaskoziemco, odpowiedz na powyższe pytanie.

Przypomnę dowód iż prawo Wiewiórki to prawo algebry Boole'a, ta jest w 100% poprawna w AK.
Natomiast KRZ to potwornie śmierdzące gówno zawsze przed kopnięciem w nie zakładam gumiaki co by butów nie ubrudzić - ale kopał będę non-stop, co by takim palantom jak ty uświadomić iż ich mózgi zanurzone są w tym gównie po dziurki w nosie.

Jeszcze raz przypomnę prawo Wiewiórki żądając od ciebie jego zaakceptowania w 100% bo to jest prawo Algebry Boole'a (KRZ mi wisi).

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-300.html#508643

rafal3006 napisał:

Irbisol napisał:

Znowu spierdalasz od odpowiedzi.
Nie pytałem cię o żadne prawa sierściuchów, więc dalszego pierdolenia nie na temat nie czytam.

Czego niżej nie rozumiesz Płaskoziemco?
Fundamentem mojej odpowiedzi na twoje pytanie o 35 przycisków jest prawo Wiewiórki - absolutnie kluczowe prawo logiki matematycznej, czy to moja wina że nie ma go w żadnym podręczniku ziemskiej matematyki?

To jest po prostu totalna kompromitacja ziemskiej gówno-logiki matematycznej, że TY nie rozumiesz (nie akceptujesz) prawa Wiewiórki.
cnd

Prawo Wiewiórki:
W dowolnym prawie logiki matematycznej jak również w definicjach (AK plus algebra Boole’a plus KRZ) w miejsce dowolnej zmiennej binarnej można podstawić dowolną funkcję binarną f(x) i prawo to jak również definicja dalej będzie dokładnie tym samym, czyli dalej będzie obowiązywało!

Za krótki masz rozumek płaskoziemco co by pojąć ten banał nad banałami - na obalenie prawa Wiewiórki kontrprzykładem nie masz oczywiście szans!
Zauważ, że dowolna zmienna binarna może przyjmować tylko i wyłącznie dwie wartości logiczne 1 albo 0.
Zauważ, że dowolna funkcja logiczna (binarna) f(x) również wypluwa tylko i wyłącznie dwie wartości binarne 1 albo 0 - dokładnie z tego faktu wynika prawo Wiewiórki.

Przykład:
Prawo algebry Boole’a:
a+a*b =a
Dowód:
a+a*b = a*1+a*b = a*(1+b) = a*1 =a
cnd
Zdefiniujmy funkcję logiczną f(x):
f(x)=c+d*e
Mamy prawo algebry Boole’a:
a+a*b =a
Podstawmy za „a” naszą funkcję f(x):
(c+d*e)+(c+d*e)*b = (c+d*e)
Podstawmy za „b” naszą funkcję f(x):
a+a*(c+d*e) =a

Czy płaskoziemca Irbisol akceptuje bezwarunkowo i bez żadnych zastrzeżeń prawo Wiewiórki?
TAK/NIE

Zauważmy, że tego fundamentu logiki matematycznej, prawa Wiewiórki, nie ma w żadnym ziemskim podręczniku matematyki, co woła o pomstę do nieba … bo generuje takich matematycznych debili jak nasz Irbisol.
cnd

Do płaskoziemcy:
Zauważ, że przyciski A1,A2…An są zmiennymi binarnymi bowiem dowolny przycisk może być tylko i wyłącznie:
Ax=1 - wciśnięty
Ax=0 - nie wciśnięty (~Ax)
(~Ax=1)=(Ax=0) - prawo Prosiaczka

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów

Wysłany: Sob 15:44, 07 Mar 2020 Temat postu:

rafal3006 napisał:

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

Znowu spierdalasz od odpowiedzi.
Nie pytałem cię o żadne prawa sierściuchów, więc dalszego pierdolenia nie na temat nie czytam.

Czego niżej nie rozumiesz Płaskoziemco?
Fundamentem mojej odpowiedzi na twoje pytanie o 35 przycisków[/b] jest prawo Wiewiórki

Ale ja sram na twoje fundamenty i prawa.
Zadałem ci pytanie, a ty - jak zawsze przez całe życie - przed tym pytaniem SPIERDALASZ.

Twoja głupota płaskoziemco jest niebotyczna, bowiem prawo Wiewiórki to nie tylko prawo algebry Kubusia, ale również prawo algebry Boole'a i prawo KRZ!

Pytanie:

W dupę sobie wsadź swoje pytania.
To ja pierwszy zadałem pytanie, spierdalaczu.
Czekam na odpowiedź.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 16:01, 07 Mar 2020 Temat postu:

Irbisol napisał:

W dupę sobie wsadź swoje pytania.
To ja pierwszy zadałem pytanie, spierdalaczu.
Czekam na odpowiedź.

Dostałeś odpowiedź na te twoje 35 przycisków super wyczerpującą w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-300.html#508609

rafal3006 napisał:

Czy płaskoziemca Irbisol wie co to znaczy UDOWODNIJ!
Twierdzę że nie wie, bo gdyby wiedział to bez problemu zrozumiałby że TOŻSAMYCH implikacji prostych |=> jest nieskończenie wiele.
Czy płaskoziemca zdoła to kiedykolwiek zrozumieć?
.. jak wszyscy widzą, mózg płaskoziemcy jest tak głęboko zatopiony w gównie zwanym KRZ że póki co prawda iż 2+2=4 nie jest w stanie do niego dotrzeć.

Irbisol napisał:

Czy układ z 35 przełącznikami spełnia twoją implikację?

Nic na to nie poradzę, że z tobą nie ma kontaktu na poziomie matematycznego przedszkola (powtórzę: przedszkola).
Wróć, przeczytaj, napisz co kwestionujesz w mojej super dokładnej odpowiedzi płąskoziemco.

Ostatnio zmieniony przez rafal3006 dnia Sob 16:03, 07 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów

Wysłany: Sob 16:34, 07 Mar 2020 Temat postu:

To nie jest odpowiedź. Znowu pierdolisz coś o KRZ.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Sob 18:28, 07 Mar 2020 Temat postu:

rafał tylko potrafi popiskiwać ´́ak jest be´́ ale to wszystko, żadnego stanowiska nie potrafi utrzymać i ciągle zmienia swoją wersję.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 18:39, 07 Mar 2020 Temat postu:

fiklit napisał:

rafał tylko potrafi popiskiwać ´́ak jest be´́ ale to wszystko, żadnego stanowiska nie potrafi utrzymać i ciągle zmienia swoją wersję.

Nie jest to prawdą fiklicie, dowód masz w poście niżej - nie zmieniam już wersji AK, bowiem jest rozszyfrowana w 100% - po 14 latach, ale JEST!

Ostatnio zmieniony przez rafal3006 dnia Sob 18:40, 07 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 18:41, 07 Mar 2020 Temat postu:

Algebra Kubusia to matematyczny opis logicznego myślenia każdego ucznia I klasy LO!
Dowód w końcówce niniejszego postu!

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-300.html#508647

rafal3006 napisał:

fiklit napisał:

Cytat:

W dowolnym prawie logiki matematycznej jak również w definicjach (AK plus algebra Boole’a plus KRZ) w miejsce dowolnej zmiennej binarnej można podstawić dowolną funkcję binarną f(x) i prawo to jak również definicja dalej będzie dokładnie tym samym, czyli dalej będzie obowiązywało!

pod p w
p|=>q
podstawiam f(x)=x*~x

Pytanie:
Czy x jest zmienną binarną tzn. może przyjmować tylko i wyłącznie dwie wartości logiczne 1 albo 0?

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-300.html#508649

fiklit napisał:

tak

Fiklicie, jak zwykle zadajesz świetne pytania, dzięki.
Odpowiem na gruncie naszej wspólnej, fizycznej realizacji równoważności, bo tylko i wyłącznie ten operator ziemianie maja dobrze obsłużony, cała reszta (o implikację chodzi) to dno, dno i jeszcze raz dno, co za chwilę udowodnię w odpowiedzi na brednie płaskoziemcy Irbisola, które zdarzyło mu się chlapnąć na gościnnym występie u Michała - o tym poście mówię:
http://www.sfinia.fora.pl/forum-kubusia,12/dlaczego-zadne-q-nie-wynika-absolutnie-z-konkretnego-p,15759-25.html#508699

Irbisol napisał:

Michał Dyszyński napisał:

Czym właściwie - wg Ciebie Irbisolu (bo na wyjaśnienia Rafała nie liczę, jako że on jest w stanie zarzucać współdyskutantów masywnymi ścianami nieinterpretowalnych ton tekstu z przykładami bez sensownych objaśnień i wplecionymi sformułowaniami w rodzaju "KRZ to gówno") - jest AK, jak ją rozumie Rafał?

To jest tak naprawdę KRZ. On nic nowego nie wymyślił. Np. jego "prawo Kubusia" to prawo kontrapozycji.
Gdy mu się to pokaże - od razu dostaje sraki.

Dostanie się płaskoziemcy za powyższy cytat, oj dostanie, zostanie tak wpity w ziemię, że już się nie podniesie … ale to za chwilkę.

Po tym offtopie, odpowiadam fiklicie na twoje pytanie:
Oczywiście odpowiem na przykładzie równoważności bowiem tylko i wyłącznie tą definicję mamy wspólną - to zresztą nie ma znaczenia, na przykładzie implikacji A|=>S odpowiedź będzie identyczna, ale na przykładzie fizycznej realizacji implikacji A|=>S w AK, nigdy w KRZ, bo jeszcze raz powtórzę - KRZ totalnie nie rozumie implikacji A|=>S, na tym poletku KRZ to dno, dno i jeszcze raz dno, co za chwilkę pokażę w odpowiedzi dla płaskoziemcy Irbisola.

Weźmy zatem naszą wspólną równoważność A<=>S w fizycznej realizacji jednego przycisku A sterującego żarówką S.

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 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.

Cechy charakterystyczne równoważności:
W równoważności, zarówno po stronie przycisku wciśniętego (A=1) jak i nie wciśniętego (A=0) mamy 100% pewność matematyczną (warunek wystarczający =>, nie ma tu miejsca na „rzucanie monetą”

Znaczenie operatora równoważności A<=>S 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)*(B2: ~A=>~S) = (~A+S)*(A+~S) = ~A*A + ~A*~S + S*A + S*~S = A*S + ~A*~S
Wniosek:
Operator równoważności w spójnikach „i”(*) i „lub”(+) wskazuje warunki wystarczające =>:
A*S - wskazuje warunek wystarczający: A1: A=>S
~A*~S - wskazuje warunek wystarczający: B2: ~A=>~S

Zauważ Fiklicie że wedle irbisola (nie wiem jak u ciebie) matematycznie zachodzi tożsamość:
Implikacja w KRZ: A=>S=~A+S = Warunek wystarczający w KRZ: A=>S = ~A+S
Oczywistym jest że przy tej tożsamości trzeba być matematycznym DEBILEM aby na mocy brzytwy Ockhama nie wykopać w kosmos pojęcia „implikacja” i o nim totalnie zapomnieć!
Uzasadnienie:
Pojęcie „warunek wystarczający A=>S” to pojęcie pierwotne w logice matematycznej rozumiane przez absolutnie wszystkich ludzi na ziemi - pojęcie „warunek konieczny ~>” rodem z AK o definicji zero-jedynkowej:
A~>S = A+~S
to również pojęcie pierwotne doskonale rozumiane przez wszystkich ludzi.

Dowód:
Przyjrzyjmy się schematowi S1 opisanemu równaniem logicznym:
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
Dowodzimy prawdziwości zdania A1.
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
Zauważ fiklicie, że to co wyżej rozumie każdy uczeń I klasy LO który nigdy nie słyszał o KRZ!
… a jak wygląda dowód prawdziwości zdania A1 na gruncie Irbisolowego KRZ?
… ano tak!
Zdanie A jest prawdziwe bo implikacja A=>S jest prawdziwa.
Powiedz mi który uczeń zrozumie to zdanie typu gówno wyżej?
Oczywiście żaden!
To jest twardy dowód, iż Irbisol musi to swoje posrane pojęcie implikacja A=>S wykopać w kosmos na mocy brzytwy Ockhama o ile dalej podtrzymuje tą swoja gówno-tożsamość iż:
Implikacja w KRZ: A=>S=~A+S = Warunek wystarczający w KRZ: A=>S = ~A+S
… no i znowu zrobiłem trochę offtopa bo trudno mi nie kopać w to Irbisolowe gówno zwane jego KRZ - gumiaki oczywiście mam założone, tak więc się nie pobrudziłem.

Wracając do tematu to dowodzimy prawdziwości zdania B1.
B1.
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 koniecznym ~> do tego, aby żarówka zaświeciła się bowiem w układzie S1 nie ma zmiennej wolnej która byłaby w stanie zaświecić żarówkę niezależnie od A.
To jest oczywiście zrozumiałe dla każdego ucznia I klasy LO.

Stąd mamy dowód iż nasz schemat elektryczny S1 rzeczywiście jest fizyczną realizacją naszej wspólnej równoważności A<=>S:
Przycisk A jest wciśnięty wtedy i tylko wtedy gdy żarówka świeci się S
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1

… i tu znów muszę kopnąć to potwornie śmierdzące gówno zwane Irbisolowym KRZ.
Zauważ, że zdania A1 i B1 brzmią identycznie z dokładnością do każdej literki i każdego przecinka a mimo to, zdania te są różne na mocy definicji ##.
Dowód:
Warunek wystarczający w AK: A=>S = ~A+S ## Warunek konieczny w AK: A~>S =A+~S
Gdzie:
## - różne na mocy definicji
Myślę, że to jest kopnięcie w fundament wszelkich ziemskich logik, nie tylko w KRZ.

Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego dla naszej równoważności A<=>S są następujące:

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

Sorry,
Już wracam do tematu:

Kod:

Definicja podstawowa równoważności:
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1

Dla B1 stosujemy prawo Kubusia:
B1: A~>S = B2: ~A=>~S
stąd mamy tożsamą definicję równoważności:
A<=>S=(A1: A=>S)*(B2:~A=>~S)
Dla A1 I B1 stosuję prawa kontrapozycji:
A1: A=>S = A4: ~S=>~A
B2: ~A~>~S = B3: S=>A
Stąd mamy dowód iż równoważność jest przemienna:
A<=>S=(A1: A=>S)*(B2:~A=>~S) [=] (B3: S=>A)*(A4: ~S=>~A) = S<=>A

Stąd mamy tożsamą równoważność dla świecącej się żarówki:
Żarówka świeci się (S) wtedy i tylko wtedy gdy przycisk A jest wciśnięty (A)
S<=>A = (B3: S=>A)*(A4: ~S=>~A)=1*1 =1

W tym momencie skorzystajmy z prawa Wiewiórki poprawnego w AK i algebrze Boole’a.
Gówno zwane KRZ mnie totalnie nie interesuje, ale zauważ, że KRZ nie ma prawa być sprzeczne z algebrą Boole’a!

Prawo Wiewiórki:
W dowolnym prawie logiki matematycznej jak również w definicjach (AK plus algebra Boole’a plus KRZ) w miejsce dowolnej zmiennej binarnej można podstawić dowolną funkcję binarną Y i prawo to jak również definicja dalej będzie dokładnie tym samym, czyli dalej będzie obowiązywało!

Twoja propozycja fiklicie obarczona jest błędem czysto matematycznym!
Proponujesz bowiem taką funkcję logiczną którą zamierzasz zastąpić przycisk A:
Y=A*~A =0
Na czym polega twój błąd czysto matematyczny?
Na tym że zastępujesz zmienną binarną jaka jest przycisk A stałą binarną o wartości logicznej równej 0.
Y=A*~A=0
czyli de facto mówisz o takim schemacie elektrycznym:

Kod:

S1=błąd czysto matematyczny 0
S Y=A*~A=0
-------------
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Mamy tu żarówkę podłączoną do kabelków wiszących w powietrzu, czyli nie podłączoną do żadnego przycisku A=”zmienna binarna”

Podobnie nie wolno nam w prawie Wiewiórki dokonać takiego podstawienia:
Y=A+~A =1
bowiem błąd czysto matematyczny będzie tu identyczny - zastępujemy zmienną binarną, jaka jest przycisk A stałą binarną, tym razem o wartości logicznej równej 1, co odpowiada zwarciu kabelkiem styków przycisku A, czyli de facto będziemy tu mieli taki schemat elektryczny:

Kod:

S1=błąd czysto matematyczny 1
S Y=A+~A=1
-------------
-----| Żarówka |-------o----o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Mamy tu żarówkę na stałe zwartą do źródła zasilania bez możliwości jakiegokolwiek sterowania świeceniem żarówki.

Wniosek:
W prawie Wiewiórki należy zastrzec, że nie wolno zamieniać zmiennej binarnej, czyli przycisku A na stałą binarną, obojętnie jaką (0 albo 1) bo to jest błąd czysto matematyczny.
To wszystko!

Zauważ fiklicie, że teoria zdarzeń w sposób fenomenalnie prosty wyjaśnia powyższy błąd czysto matematyczny, nie ma tu zbioru pustego i wszelkich bredni z nim związanych np. że ze zbioru pustego wynika cokolwiek, i inne głupoty.
W teorii zdarzeń nie ma też szukania słynnego czarnego kota w ciemnym pokoju …

Matematyk to ślepiec w ciemnym pokoju szukający czarnego kota, którego tam w ogóle nie ma.
Autor: Karol Darwin

Podsumowanie:

Kod:

S1 Schemat 1
Fizyczna realizacja operatora równoważności A<=>S w zdarzeniach:
A<=>S=(A1: A=>S)*(A4:~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

Mamy naszą równoważność opisującą schemat 1:
Żarówka świeci się wtedy i tylko wtedy gdy przycisk A jest wciśnięty
S<=>A = (B3: S=>A)*(A4: ~S=>~A)=1*1 =1

Skorzystajmy z prawa Wiewiórki zapisując taką funkcję logiczną:
Y = (B*(A+C))
Podstawmy to na mocy prawa Wiewiórki do naszej definicji równoważności w miejsce zmiennej binarnej A:
S<=>(B*(A+C)) = (B3: S=>(B*(A+C))*(A4: ~S=>~(B*(A+C))=1*1 =1
Schemat elektryczny dla tej równoważności jest oczywiście taki:

Kod:

S1’ Schemat 1’
Fizyczna realizacja operatora równoważności S<=>(B*(A+C)) w zdarzeniach:
S<=>(B*(A+C)) = (B3: S=>(B*(A+C))*(A4: ~S=>~(B*(A+C))=1*1 =1
C
______
---o o----
| |
S B | A |
------------- ______ | ______ |
-----| Żarówka |-------o o-----o o----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
----------------------------------------------
Zmienne związane definicją: A, B, C, S
Zmienne wolne: brak
Istotą dowolnej równoważności jest brak zmiennych wolnych

Równoważność S1’ odpowiada nam na pytanie:
Kiedy żarówka S będzie się świecić?
1: S<=>B*(A+C)
Stąd:
2: S<=> B*A + B*C
co w logice jedynek oznacza:
S=1 <=> B=1 i A=1 lub B=1 i C=1
Czytamy:
Żarówka będzie się świecić wtedy i tylko tweedy gdy:
B*A =1*1 =1 - przyciski B i A będą wciśnięte
LUB
B*C =1*1 =1 - przyciski B i C będą wciśnięte
Jak widzimy, dostaliśmy superprecyzyjną odpowiedź na pytanie kiedy w układzie S1’ żarówka będzie się świecić.

… a kiedy żarówka nie będzie się świecić (~S=1)?
Przechodzimy z równaniem 1 do logiki ujemnej (bo ~S) algorytmem Wuja Zbója:
Negujemy zmienne wymieniając spójniki na przeciwne:
3: ~S<=> ~B + ~A*~C
co w logice jedynek oznacza:
~S=1 <=> ~B=1 lub ~A=1 i ~C=1
Stąd mamy odpowiedź na pytanie kiedy żarówka nie będzie się świecić (~S):
Żarówka nie będzie się świecić (~S=1):
(~S=1)=(S=0) - prawo Prosiaczka
wtedy i tylko wtedy gdy:
~B=1 - przycisk B nie będzie wciśnięty (~B=1)
(~B=1)=(B=0) - prawo Prosiaczka
LUB
~A*~C=1*1 =1 - nie będzie wciśnięty ani przycisk A (~A=1), ani też przycisk C (~C=1)
Prawa Prosiaczka:
(~A=1)=(A=0)
(~C=1)=(C=0)

Sam widzisz fiklicie jak bajecznie prosta jest algebra Kubusia opisująca po prostu naturalną logikę matematyczną doskonale znaną każdemu uczniowi I klasy LO!

Tylko jak ja mam dyskutować z płaskoziemcą Irbisolem, który każdy mój post kwituje sloganem:
Przeczytałem pierwsze zdanie - „resztę gówna nie czytam”

… no jak ja mam z takim matematycznym DEBILEM dyskutować, no jak!

Ostatnio zmieniony przez rafal3006 dnia Sob 18:56, 07 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Sob 18:52, 07 Mar 2020 Temat postu:

Cytat:

Twoja propozycja fiklicie obarczona jest błędem czysto matematycznym!
Proponujesz bowiem taką funkcję logiczną która zamierzasz zastąpić przycisk A:
Y=A*~A =0
Na czym polega twój błąd czysto matematyczny?
Na tym że zastępujesz zmienną binarną jaka jest przycisk A stałą binarną o wartości logicznej równej 0.
Y=0
czyli de facto mówisz o takim schemacie elektrycznym:

funkcja stała

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 19:06, 07 Mar 2020 Temat postu:

fiklit napisał:

Cytat:

funkcja stała

W każdym programie komputerowym masz binarne stałe symboliczne (którym wartość początkową nadaje translator języka X) strujace translacją programu których sam program nie jest w stanie zmieniać i zmienne binarne np. wskaźnik przeniesienia CY w operacji dodawania które program zmienia milion razy na sekundę.
Binarna stała symboliczna to FUNDAMENTALNIE co innego niż zmienna binarna.
W 100-milowym lesie programista który tego nie odróżnia dostaje pałę i wylatuje za drzwi.

Nie wolno mówić że kiedykolwiek możliwa jest tożsamość:
Binarna stała symboliczna = zmienna binarna
bo to jest FUNDAMENTALNIE co innego!
Dokładnie na tym polega twój błąd czysto matematyczny.

Ostatnio zmieniony przez rafal3006 dnia Sob 19:12, 07 Mar 2020, w całości zmieniany 3 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów

Wysłany: Sob 19:17, 07 Mar 2020 Temat postu:

Permanentnego spierdalania od odpowiedzi ciąg dalszy.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 22:36, 07 Mar 2020 Temat postu:

Dowód wewnętrznej sprzeczności KRZ po raz n-ty!

http://www.sfinia.fora.pl/forum-kubusia,12/dlaczego-zadne-q-nie-wynika-absolutnie-z-konkretnego-p,15759-25.html#508699

Irbisol napisał:

Michał Dyszyński napisał:

To jest tak naprawdę KRZ. On nic nowego nie wymyślił.
Np. jego "prawo Kubusia" to prawo kontrapozycji.
Gdy mu się to pokaże - od razu dostaje sraki.

To czerwone to humor wszech czasów!

Co do tego czarnego wytłuszczonego:
Sorry płaskoziemco Irbisiolu,
Bardziej zesrać się już nie można, powyższym stwierdzeniem zesrałeś się tak, że utonąłeś we własnym gównie zwanym KRZ!

Prawo Kubusia:
p=>q = ~p~>~q
Gdzie:
1.
p=>q - warunek wystarczający rozumiany przez wszystkich ludzi identycznie od 5-cio latka poczynając
Definicja identyczna dla wszystkich, od 5-cio latka poczynając
Jeśli p to q
p=>q
Zajście p jest wystarczające => dla zajścia q
2.
p~>q - warunek konieczny rozumiany przez wszystkich ludzi identycznie od 5-cio latka poczynając
Definicja identyczna dla wszystkich, od 5-cio latka poczynając
Jeśli p to q
p~>q
Zajście p jest konieczne ~> dla zajścia q

Na czym polega dowód wewnętrznej sprzeczności KRZ po raz n-ty?
Na twierdzeniu debila Irbisola, iż w logice matematycznej definicja warunku koniecznego ~> jest zbędna

Zacznijmy płaskoziemco Irbisolu od fizycznej realizacji równoważności która jest wspólna w AK i KRZ:

Kod:

S1 Schemat 1
Fizyczna realizacja operatora równoważności A<=>S w zdarzeniach:
A<=>S=(A1: A=>S)*(B2:~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

Kod:

S2 Schemat 2
Fizyczna realizacja operatora implikacji wspólna dla AK i KRZ:
B
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------

Zadajemy tu identyczne pytania jak dla schematu równoważności S1 omówionego wyżej!

Dla schematu S2 zadajemy dwa fundamentalne pytania:
1. Co może się wydarzyć jeśli przycisk A będzie wciśnięty
2. Co może się wydarzyć jeśli przycisk A nie będzie wciśnięty
Poprawna logika matematyczna musi (podkreślę: musi) dać na te pytania poprawną matematycznie odpowiedź.

Pytanie 1.
Co może się wydarzyć jeśli przycisk A będzie wciśnięty?

Bezpośrednio ze schematu S2 odczytujemy:
A1.
Jeśli przycisk A jest wciśnięty to na 100% => żarówka świeci się
A=>S =1
Wciśniecie A jest wystarczające => dla świecenia się żarówki S
cnd

Pytanie 2
Co może się wydarzyć jeśli przycisk A nie będzie wciśnięty?

Dawaj płaskoziemco Irbisolu!
Udowodnij że zdołasz odpowiedzieć na pytanie 2 bez użycia warunku koniecznego ~>.
Ja Rafał3006 twierdzę, że to jest fizycznie niemożliwe!
Potwornym gównem jest zatem twoje zapewnienie że logika matematyczna nie potrzebuje definicji warunku koniecznego ~>.

Ty w ogóle ze swoim gównem zwanym KRZ nie masz pojęcia jak odpowiedzieć na pytanie 2.
Po prostu twój KRZ choćby się zesrał, to nie jest w stanie obsłużyć odpowiedzi na pytanie nr. 2

To jest twardy dowód wewnętrznej sprzeczności KRZ po raz n-ty - już przestaję liczyć po raz który bo palców u rąk i nóg mi zabrakło.

Szach-mat dla gówna zwanego KRZ po raz n-ty!

Ostatnio zmieniony przez rafal3006 dnia Sob 23:02, 07 Mar 2020, w całości zmieniany 6 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów

Wysłany: Sob 22:59, 07 Mar 2020 Temat postu:

Debil znowu się posrał, a na proste pytanie nie odpowiedział.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Sob 23:46, 07 Mar 2020 Temat postu:

ja bym ci mogl odpowiedzieć na to 2 pytanie gdybym miał cień nadzei że przeczytasz ze zrozumieniem. ale wiem, że tego nie zrobisz.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Sob 23:52, 07 Mar 2020 Temat postu:

fiklit napisał:

ja bym ci mogl odpowiedzieć na to 2 pytanie gdybym miał cień nadzei że przeczytasz ze zrozumieniem. ale wiem, że tego nie zrobisz.

To bardzo proszę, chętnie poznam jak na pytanie 2 odpowiada współczesna logika matematyczna ziemian - nie wiem czy zrozumiem, ale na pewno ci odpowiem czy zrozumiałem, czy nie zrozumiałem - tyle na 100% mogę odpowiedzieć.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Sob 23:54, 07 Mar 2020 Temat postu:

Cytat:

sratatata. to jest kompilator bez optymalizacji a ja napisałem

fun f(x) = x*~x

jeśli dla ciebie to jest stała to nie ma co ciągnąć tematu.

a jak ci mało to

A|=>B
pod A podstawiam B
i mam B|=>B

Ostatnio zmieniony przez fiklit dnia Sob 23:58, 07 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Nie 0:25, 08 Mar 2020 Temat postu:

fiklit napisał:

Cytat:

Po pierwsze:
Sprawdźmy czym jest twoje podstawienie:
A|=>S
pod A podstawiam S.
i mam:
S|=>S =?
Definicja implikacji prostej A|=>S w AK:
A|=>S = (A1: A=>S)*~(B2: ~A=>~S)
Definicja warunku wystarczającego => w AK:
A=>S = ~A+S
stąd mamy:
A|=>S = (A1: A=>S)*~(B2: ~A=>~S) = (~A+S)*~(A+~S) = (~A+S)*(~A*S) = ~A*S
Dla A=S mamy:
Y = S|=>S = ~S*S =0
Tak więc twoje podstawienie to również stała binarna:
Y=0
co jest absolutnie tożsama z tym podstawieniem:
Y=A*~A =0
czyli odpowiada wykopaniu w kosmos przycisku A i pozostawieniu dwóch kabelków podłączonych do żarówki S - żarówka zgaszona bez jakiejkolwiek możliwości jej sterowania.

Po drugie:
Co do sedna sprawy, to trochę źle napisałem w temacie programu komputerowego:
Stałe binarne to są deklaracje człowieka, rozkazy warunkowe dla kompilatora mówiące mu które fragmenty programu kompilować na kod maszynowy, a które nie.
…ale tu nie ma co robić aż takich analogii.

Po prostu, mam nadzieję że zgodzisz się że jeśli w układzie żarówka S podłączona do przycisku A (zmienna binarna) zastąpisz przycisk A funkcją logiczną:
Y=A*~A=0
to będzie to odpowiednikiem wywalenia w kosmos zmiennej binarnej A i zostawienie żarówki nigdzie nie podłączonej.

Natomiast jeśli w układzie żarówka S podłączona do przycisku A (zmienna binarna) zastąpisz przycisk A funkcją logiczną:
Y=A+~A =1
To będzie to odpowiadało zwarciu drutem przycisku A, czyli również wywalenia w kosmos zmiennej binarnej A.

Takie działanie musi być matematycznie zabronione bowiem chodzi nam o to, by żarówkę można było sterować zmienną binarną Y a nie stałą binarną Y=0 albo Y=1 - to jest kompletnie bez sensu, bo stałą binarną nie da się sterować czymkolwiek czyli tu: zaświecać/gasić żarówki.

Czy zgadzasz się z moją argumentacją?

Zauważ, że gramy tu w otwarte karty tzn. nie jest tak że człowiek opisujący matematycznie układ żarówki sterowanej różnymi układami przycisków nie jest świadom tego co robi i szuka czarnego kota w ciemnym pokoju którego tam w ogóle nie ma.

Matematyk to ślepiec w ciemnym pokoju szukający czarnego kota, którego tam w ogóle nie ma.
Autor: Karol Darwin

Ostatnio zmieniony przez rafal3006 dnia Nie 0:29, 08 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Nie 0:39, 08 Mar 2020 Temat postu:

Cytat:

w definicji pod zmienną podstawiłem funkcję i w REZULTACIE tego, jak zauważasz, otrzymałem stałą. I dokładnie o to mi chodziło. czas na kolejną ostateczną wersję ak.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Nie 0:49, 08 Mar 2020 Temat postu:

fiklit napisał:

Cytat:

w definicji pod zmienną podstawiłem funkcję i w REZULTACIE tego, jak zauważasz, otrzymałem stałą. I dokładnie o to mi chodziło. czas na kolejną ostateczną wersję ak.

Nie ma żadnej nowej wersji, sam napisałeś: "otrzymałem stałą" czyli przycisk A (zmienną binarna) wywaliłeś w kosmos - takie działanie jest bez sensu.
Możesz przyjąć, że jest to odpowiednikiem dzielenia przez 0.
Innymi słowy:
Wszelkie funkcje logiczne których wynikiem jest stała binarna są po w prawie Wiewiórki zabronione - należy je wykluczyć na zasadzie identycznej jak dzielenie przez zero.
Tak więc niczego w AK poza powyższym zastrzeżeniem:
"pamiętaj cholero nie dziel przez zero"
nie zamierzam zmieniać, wszystko jest dobrze!
cnd
Czy to takie trudne rozstrzygnąć czy dana funkcja logiczna prowadzi do wygenerowania stałej binarnej 1 albo 0?

Wersja końcowa jest taka.

Prawo Wiewiórki:
W dowolnym prawie logiki matematycznej jak również w definicjach (AK plus algebra Boole’a plus KRZ) w miejsce dowolnej zmiennej binarnej można podstawić dowolną funkcję binarną Y i prawo to jak również definicja dalej będzie dokładnie tym samym, czyli dalej będzie obowiązywało!

Zastrzeżenie:
Funkcja binarna Y nie może prowadzić do stałej binarnej typu:
Y=a*~a=0
Y=a+~a=1
bo wówczas zastępujemy zmienną binarną stałą binarną co jest odpowiednikiem dzielenia przez 0 w matematyce klasycznej.
Na mocy definicji zachodzi bowiem:
Stała binarna ## zmienna binarna
Gdzie:
## - różne na mocy definicji

"Nie wolno kg zastępować metrami"

Dzięki fiklicie - takie mini korekty tez są istotne, by nie było nieporozumień.

Ostatnio zmieniony przez rafal3006 dnia Nie 1:08, 08 Mar 2020, w całości zmieniany 3 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Nie 1:08, 08 Mar 2020 Temat postu:

czyli ...można podstawić swobodnie dowolą funkcję ale tylko taką która nic nie zepsuje, wtedy nic się nie zepsuje. typowe prawo ak

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Nie 1:10, 08 Mar 2020 Temat postu:

fiklit napisał:

czyli ...można podstawić swobodnie dowolą funkcję ale tylko taką która nic nie zepsuje, wtedy nic się nie zepsuje.
typowe prawo ak

Dopisałem wyjaśnienie dlaczego nie wolno zmiennej binarnej zastępować stałą binarną:

Zastrzeżenie:
Funkcja binarna Y nie może prowadzić do stałej binarnej typu:
Y=a*~a=0
Y=a+~a=1
bo wówczas zastępujemy zmienną binarną stałą binarną co jest odpowiednikiem dzielenia przez 0 w matematyce klasycznej.
Na mocy definicji zachodzi bowiem:
Stała binarna ## zmienna binarna
Gdzie:
## - różne na mocy definicji

"Nie wolno kg zastępować metrami"

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Nie 1:18, 08 Mar 2020 Temat postu:

tak se to tłumacz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Nie 1:40, 08 Mar 2020 Temat postu:

fiklit napisał:

tak se to tłumacz

Fakty są takie fiklicie:
Wygenerować stałą binarną 0 przy pomocy funkcji logicznej Y można na nieskończenie wiele sposobów tzn. przy pomocy nieskończenie wielu funkcji logicznych np.
Y1=(a+b)*~a*~b =0

Podobnie:
Wygenerować stałą binarną 1 można również przy pomocy nieskończenie wielu funkcji logicznych np.
Y2=a+b + ~a*~b =1

Nie wolno ci jednak zastępować funkcji logicznej Y1 funkcją Y2 bo matematycznie zachodzi:
1 ## 0
Gdzie:
różne na mocy definicji

Podobnie:
Zastąpić dowolną zmienną binarną możesz tylko i wyłącznie inną zmienną binarną!
Już przy formułowaniu prawa Wiewiórki pisałem to w uzasadnieniu - patrz końcowy czerwony fragment w cytacie niżej.

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-300.html#508521

rafal3006 napisał:

Prawo Wiewiórki!

Irbisol napisał:

Pierdolisz nie na temat.
Twój "szach-mat", popierdoleńcu, miał polegać na pytaniu:

Podaj definicję rodem z KRZ, jednoznacznie opisującą powyższy
(układ z 2 przełącznikami)

Otóż KRZ-owska implikacja nie opisuje jednoznacznie tego układu, ale twoja też go nie opisuje jednoznacznie.
Stąd pytam - gdzie ten szach-mat?

O tym "szach-macie" piszemy. Był w końcu czy go nie było?

Brawo za przyznanie tym wytłuszczonym iż miejsce gówna zwanego KRZ jest w piekle na wiecznych piekielnych mękach.

Twierdzę z całą mocą iż implikacja rodem z AK opisuje absolutnie jednoznacznie dowolny układ implikacyjny!

Zacznijmy głąbie od definicji równoważności:

Prawo Wiewiórki:
W dowolnym prawie logiki matematycznej jak również w definicjach (AK plus algebra Boole’a plus KRZ) w miejsce dowolnej zmiennej binarnej można podstawić dowolną funkcję binarną f(x) i prawo to jak również definicja dalej będzie dokładnie tym samym, czyli dalej będzie obowiązywało!

Za krótki masz rozumek płaskoziemco co by pojąć ten banał nad banałami - na obalenie prawa Wiewiórki kontrprzykładem nie masz oczywiście szans!
Zauważ, że dowolna zmienna binarna może przyjmować tylko i wyłącznie dwie wartości logiczne 1 albo 0.
Zauważ, że dowolna funkcja logiczna (binarna) f(x) również wypluwa tylko i wyłącznie dwie wartości binarne 1 albo 0 - dokładnie z tego faktu wynika prawo Wiewiórki.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

fiklit

Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów

Płeć: Mężczyzna

Wysłany: Nie 7:47, 08 Mar 2020 Temat postu:

mam układ S<=>A+B*C zatem zachodzi A\|=>S podstawiam B pod A chyba potrzrbujesz, kokejnego zastrzeżenia, które nie jest oczywiście modyfikacją. Ostatnio zmieniony przez fiklit dnia Nie 7:47, 08 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

Wysłany: Nie 10:26, 08 Mar 2020 Temat postu:

Prawo Wiewiórki - wersja ostateczna!

Dzięki fiklicie.

Pytanie do Irbisola:
Czy widzisz różnicę między moją dyskusją z Fiklitem, a moją dyskusją z tobą?

Prawo Wiewiórki:
W dowolnym prawie logiki matematycznej jak również w definicjach w miejsce dowolnej zmiennej binarnej można podstawić dowolną funkcję logiczną Y będącą zmienną binarną i prawo to jak również definicja dalej będzie dokładnie tym samym, czyli dalej będzie obowiązywało.

Definicja zmiennej binarnej:
Zmienna binarna to symbol przyjmujący tylko i wyłącznie dwie wartości logiczne 1 albo 0

Komentarz:
Zauważmy, że zmienną binarną może być pojedynczy symbol np. „A” jak również dowolna funkcja logiczna Y=f(x).
Ważne tu jest aby funkcja logiczna Y była zdolna przyjąć dwie wartości logiczne, zarówno 1 jak i 0.

Definicja stałej binarnej:
Stała binarna to symbol mający niezmienną wartość logiczną 0 albo 1

fiklit napisał:

mam układ S<=>A+B*C
zatem zachodzi
A|=>S
podstawiam B pod A
chyba potrzrbujesz, kokejnego zastrzeżenia, które nie jest oczywiście modyfikacją.

Nie jest to prawdą na mocy definicji znaczków <=> i |=>.
Definicja podstawowa równoważności A<=>S:
A<=>S=(A1: A=>S)*(B2:~A=>~S)=A*S+~A*~S
##
Definicja podstawowa implikacji prostej A|=>S:
A|=>S=(A1: A=>S)*~(B1: A~>S)=~A*S
Gdzie:
## - różne na mocy definicji
cnd

Z faktu że w obu definicjach równoważności <=> i implikacji prostej |=> na mocy prawa Wiewiórki wolno nam podstawić pod dowolną zmienną binarną (np. A) funkcję logiczną Y będącą zmienną binarną nie wynika że znaczek różne na mocy definicji ## nam zniknie.
Nie!
Znaczek różne na mocy definicji ## zostanie tu do końca naszego Wszechświata, a nawet dzień dłużej.

Zauważmy, że warunek wystarczający A1: A=>S wchodzi w skład zarówno równoważności <=> jak i implikacji prostej |=>.
Matematycznie zachodzi jednak:
A=>S = ~A+S ## A<=>S=A*S+~A*~S ## A|=>S=~A*S
Gdzie:
## - różne na mocy definicji

Wyjaśniam szczegółowo o co tu chodzi.

I.
Mutacje definicji równoważności <=>

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
D
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: D
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.

Podstawowa definicja implikacji prostej A|=>S jest taka:
1: A|=>S = (A1: A=>S)*~(B1: A~>S)
Ten zapis oznacza, że w układzie występuje co najmniej jedna zmienna wolna podłączona równolegle do przycisku A.
Na naszym schemacie zmienną wolą jest przycisk D.

Zauważmy, że na mocy prawa Wiewiórki zarówno pod zmienną A jak i pod zmienną wolną D wolno nam podstawić dowolną funkcję logiczną Y będąca zmienną binarną i ten układ dalej pozostanie układem spełniającym definicję implikacji prostej A|=>S.

Podstawmy funkcję logiczną Fiklita:
Y = (A+B*C)
Stąd mamy mutację implikacji prostej |=>:
2: (A+B*C)|=>S = (A1: (A+B*C)=>S)*~(B1: (A+B*C)~>S)

Na mocy definicji zachodzi tożsamość mutacji definicji implikacji prostej |=>:
Implikacja prosta 1: A|=>S = Implikacja prosta 2: (A+B*C)|=>S = Implikacja prosta 3: Y|=>S
Gdzie:
Y = dowolna funkcja logiczna będąca zmienną binarną

Podsumowanie:
1.
Relacją między mutacjami równoważności <=> i mutacjami implikacji prostej |=> to oczywiście relacja różne na mocy definicji ##.

I.
Na mocy definicji podstawowej równoważności <=> i prawa Wiewiórki zachodzi tożsamość mutacji definicji równoważności <=>:
Równoważność 1: A<=>S = Równoważność 2: (A+B*C)<=>S = Równoważność 3: Y<=>S
Gdzie:
Y = dowolna funkcja logiczna będąca zmienną binarną
##
II.
Na mocy definicji podstawowej implikacji prostej |=> i prawa Wiewiórki zachodzi tożsamość mutacji definicji implikacji prostej |=>:
Implikacja prosta 1: A|=>S = Implikacja prosta 2: (A+B*C)|=>S = Implikacja prosta 3: Y|=>S
Gdzie:
Y = dowolna funkcja logiczna będąca zmienną binarną

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

2.
Na czym polega fundamentalna różnica między mutacjami równoważności <=> i mutacjami implikacji prostej |=>

Odpowiadam:
W dowolnej mutacji równoważności <=> zawsze mamy do czynienia ze 100% pewnością, nie ma tu śladu „rzucania monetą”
Natomiast!
Natomiast w dowolnej mutacji implikacji prostej |=> zawsze mamy do czynienia ze 100% pewnością w jednej połówce implikacji prostej |=> i najzwyklejszym „rzucaniem monetą” w drugiej połówce implikacji prostej |=>.

Różnica miedzy mutacjami równoważności <=> i mutacjami implikacji prostej |=> jest więc FUNDAMENTALNA!

Ostatnio zmieniony przez rafal3006 dnia Nie 10:31, 08 Mar 2020, w całości zmieniany 1 raz

Powrót do góry

Wyświetl posty z ostatnich:

	Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia	Wszystkie czasy w strefie CET (Europa) Idź do strony Poprzedni 1, 2, 3 ... 13, 14, 15 ... 156, 157, 158 Następny
Strona 14 z 158

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

Regulamin