ŚFiNiA

Gość

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!

Gość

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 Irbisola:
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 Żarówki:
(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
_________________

Lukrecja

Lukrecja

Błąd się wkradł, miało być a czemu ja mam sugerować żeby ciebie zbanowano. Generalnie koło tyłka mi to lata. Wybacz włącz ale nadal jestem za granicą i nie mam dostępu do komputera, a telefon swoje pisze.

Lukrecja

I znowu miał być błąd a jest włącz. Myślę jednak że człowiek inteligentny wyłapie.

rafal3006

Nie wiem o czym mówisz Lukrecjo bowiem po wprowadzeniu embarga na wiadomą wojenkę nikt tu nikogo nie broni, w szczególności ja od chyba dwóch lat - bo nie ma takiej potrzeby.
... a czemuż ty bez przerwy chcesz odgrzewać stare kotlety, dawno na sfinii nieaktualne?

evaj23

Lukrecja

Ale masz rację. W obliczu innych spraw, dotarło do mnie ile chwil zmarnowałam, ile sekund minut godzin, dni i miesiący na internet. Masz rację do mnie dopiero to dociera, aze serce mam dobre, to chcę was ustrzec przed tym błędem. Wołam więc; strzeżcie się!!!! Strzeżcie się!!! Zło nie śpi, Szatan przybiera postać

Lukrecja

Pięknej kobiety, mądrego faceta i algebry.

Lukrecja

Paradoks jest taki tej sytuacji, że gdyby ktoś, kto chwali się doktoratem, ten czas w którym się chwalił samym pisaniem doktoratu, później przewodem naukowym, faktycznie poświęcił na przyswojenie wiedzy, pracę, to by 2 realne dr zrobił.
Ale masz rację

rafal3006

Lukrecja

Wyzywam was od debili, bo tylko debil tu zagląda, a sama zaszłam

evaj23

evaj23

mika.maik

I jeszcze nam, Panie Barycki, zapomniała Ewa dopisać, że stara kurwa nam Kubusia obraża. A to z zawiści, że my cudowni, upojeni winem młodniejemy w szaleńczej miłości, a stara kurwa starzeje się jak purchawka jaka w zamordowanym przez zagładę ekologiczną, lesie.

evaj23

Miko, czy sugerujesz, że to Czarna... i ta druga mordują specjalnie las, że pozbyć się Agafii? :think:

mika.maik

To jest jasne jak słońce, wymordowały stare kurwy Agafi lasy w Polsce i teraz bidulka nasza kochana musi codziennie dojeżdżać do Czechosłowacji, aby pooddychać leśnym powietrzem.

Pan Barycki · Gość

No i wszystko jasne jak słońce, bidulka nasza cudowna cały swój czas marnuje na dojazdy i nie stacza jej już czasu na upojenie się winem za 140 złotych i szaleńczą miłość do mnie.

Pan Barycki · Gość

Pan Barycki · Gość

No sam widzisz, Kubusiu, jak do AK prowadzi picie jednego kieliszka wódki. Gdyby Krowa chlał ze szklanki i szczał na podłogę, to nie publikowałby tu opracowań naukowych AK, a szczyny z podłogi przeciekałyby do piwnicy na AK i tam w piwnicy, AK gniłaby sobie.

InZynier · Gość

mika.maik

Cóżeś Pan, Panie Barycki, temu Krowie uczynił złego? Możeś mu Pan kiedy wyruchał jaką jego babę, iż taki wstręt u niego wywołuje patrzenie na Pana, że musi Pana zasłaniać. A czy te wielkie posty Krowy, to aby nie kompleks małej trąbki i stąd te wielkie posty w wyobraźni Krowy oddające wymarzoną wielkość trąbki jego?

InZynier ja · Gość

Aurelka Bocianek

InZynier ja · Gość

dodam do pełnego obrazu waszego pan Barycki, nie tylko wieprz, cham, spocony pod pachami, w pachwinach i niech ma trąbe jak słoń i wlecze to za sobą a wokół roje gównianych much. I ten ryj komunisty. Łeee