ŚFiNiA

idiota

Czyli jak się nie wie jakie zdania prawdziwe się podstawia do * to nie wiadomo jaka będzie wartość logiczna wyniku?

To jest strasznie głupie.
Nie wiem skąd sobie uroiłeś, że tak sądzę, ale widzę, że jesteś mocno o tym przekonany.
Fajne są te twoje objawy.

rafal3006

Irbisol

rafal3006

idiota

"Nepalczyk nie ma prawa wypowiadać się w temacie co zwróci iloczyn logiczny zdań twierdzących p*q dopóki nie udowodni że zdania p i q rozumie"

Bo tobie tak wyrodniej...
Niestety Nepalczyk ma cię w d... i może sobie doskonale podstawiać do dowolnych funktorów dowolne zdanie nie mając pojęcia co znaczą i zawsze dostanie te same wyniki dla tych samych wartości logicznych.
Na tym polega bajer, że logika jest nauką formalną.

rafal3006

idiota

"Ciekaw jestem jaka?"

A gówno.
Co wpis podajemy ci tą przyczynę i ją olewasz grubym strumieniem, nie kłam teraz jakobyś się nagle zainteresował.

rafal3006

idiota

No właśnie.

Irbisol

rafal3006

Wykres czasowy operatora AND(|*)

Irbisol

rafal3006

idiota

"Poprawna definicja logiki matematycznej jest taka:"

Myślisz, że taki tekst od gościa, który nie wie co to jest definicja zrobi na kimkolwiek wrażenie?

rafal3006

idiota

Spoko, wiem.
Wnioski z bredni zwykle nie są mądrzejsze niż te brednie.

rafal3006

Fragment „Algebry Boole’a - nieznane oblicze”:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-boole-a-nieznane-oblicze,11329.html#394695

4.7 Symboliczna definicja operatora AND(|*) w spójnikach „i”(*) i „lub”(+)

Zero-jedynkowa definicja spójnika „i”(*):

rafal3006

Bajecznie prosta i weryfikowalna w laboratorium techniki cyfrowej Algebra Kubusia!

Irbisol

rafal3006

Świat niezdeterminowany i zdeterminowany

Z dedykacją dla Irbisola.

Przypomnijmy sobie wykres czasowy operatora AND(|*) wyłącznie w logice jedynek mającej 100% przełożenie na język potoczny człowieka.

Definicja operatora AND(|*):
Operator AND(|*) to układ równań logicznych Y i ~Y
Odczytujemy z wykresu:
Y=Ya - bo jest tylko jeden sygnał Ya w logice dodatniej (bo Ya)
1.
Y=A: p*q
co w logice jedynek oznacza:
Y=1 <=>A: p=1 i q=1

Odczytujemy z wykresu:
~Y=~Yb+~Yc+~Yd
Po rozwinięciu mamy:
2.
~Y = B: p*~q + C: ~p*q + D: ~p*~q
co w logice jedynek oznacza:
~Y=1<=> B: p=1 i ~q=1 lub C: ~p=1 i q=1 lub D: ~p=1 i ~q=1

Część I
Świat niezdeterminowany - ponad niebieską linią na powyższym wykresie czasowym

Pani w przedszkolu:
1.
Jutro pójdziemy do kina i do teatru
Y=A: K*T
co w logice jedynek oznacza:
Y=1 <=> A: K=1 i T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy:
A: K*T=1*1=1 - jutro pójdziemy do kina (K=1) i do teatru (T=1)

… a kiedy pani skłamie (~Y=1)?
Pani skłamie we wszystkich możliwych pozostałych przypadkach o czym mówi nam funkcja logiczna 2.
2.
~Y = B: K*~T + C: ~K*T + D: ~K*~T
co w logice jedynek oznacza:
~Y=1 <=> B: K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: ~K=1 i ~T=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro:
B: K*~T=1*1=1 - pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~K*T=1*1=1 - nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
lub
D: ~K*~T=1*1=1 - nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

Uwagi:
1.
Zauważmy, że w wypowiedzianym zdaniu 1 zadeklarowaną chwilą czasową jest cały jutrzejszy dzień.
Innymi słowy:
W całym jutrzejszym dniu możliwe jest że będziemy w kinie (K=1) i w teatrze (T=1)
Zauważmy, że zdanie:
Teraz jestem w kinie i w teatrze
A’: Y=K*T=1*1=0
Jest fałszywe (Y=0) bo nie możemy być jednocześnie w dwóch różnych miejscach w tym samym czasie.
Czytamy:
Wiem (=1) co to znaczy być w kinie (K) i wiem (=1) co to znaczy być w teatrze (T), ale są to miejsca rozłączne, więc nie możemy być jednocześnie w kinie (K=1) i w teatrze (T=1) w tej samej chwili czasowej, stąd fałszywość zdania A’

2.
Na naszym wykresie czasowym świat niezdeterminowany opisany jest ponad niebieską linią.
Doskonale widać że zdarzenia A, B, C i D są rozłączne i uzupełniają się wzajemnie do dziedziny:
Y+~Y = A: K*T + B: K*~T + C: ~K*T + D: ~K*~T
Dowód:
Y+~Y = K*(T+~T) + ~K*(T+~T)
Y+~Y = K+~K =1
cnd

3.
W dniu jutrzejszym może zajść tylko i wyłącznie jedno ze zdarzeń A, B, C albo D.
Matematycznie, prawdopodobieństwo zajścia dowolnego z tych zdarzeń to dokładnie 25%

4.
Pani przedszkolanka ma wolną wolę i może spowodować że jutro zajdzie dowolne ze zdarzeń A, B, C albo D.
Pani w przedszkolu:
1.
Jutro pójdziemy do kina i do teatru
Y=A: K*T
co w logice jedynek oznacza:
Y=1 <=> A: K=1 i T=1
… a kiedy pani skłamie (~Y=1)?
Pani skłamie we wszystkich możliwych pozostałych przypadkach o czym mówi nam funkcja logiczna 2.
2.
~Y = B: K*~T + C: ~K*T + D: ~K*~T
co w logice jedynek oznacza:
~Y=1 <=> B: K=1 i ~T=1 lub C: ~K=1 i T=1 lub D: ~K=1 i ~T=1
Zauważmy że w świecie niezdeterminowanym (ponad niebieską linią) mamy:
a)
Funkcja cząstkowa:
A: Ya=K*T=1*1=1
Dotyczy wyłącznie ćwiartki A na wykresie czasowym
b)
Funkcja cząstkowa:
B: ~Yb=K*~T=1*1=1
Dotyczy wyłącznie ćwiartki B na wykresie czasowym
c)
Funkcja cząstkowa:
C: ~Yc=~K*T=1*1=1
Dotyczy wyłącznie ćwiartki C na wykresie czasowym
d)
Funkcja cząstkowa:
D: ~Yd=~K*~T=1*1=1
Dotyczy wyłącznie ćwiartki D na wykresie czasowym

Na wykresie czasowym doskonale widać, że:
a)
Jeśli znajdujemy się w ćwiartce A to pozostałe funkcje cząstkowe będą fałszem:
A: Ya=K*T=1*1=1
~Yb=~Yc=~Yd =0
b)
Jeśli znajdujemy się w ćwiartce B to pozostałe funkcje cząstkowe będą fałszem:
B: ~Yb=K*~T=1*1=1
Ya=~Yc=~Yd =0
c)
Jeśli znajdujemy się w ćwiartce C to pozostałe funkcje cząstkowe będą fałszem:
C: ~Yc=~K*T=1*1=1
Ya=~Yb=~Yd =0
d)
Jeśli znajdujemy się w ćwiartce D to pozostałe funkcje cząstkowe będą fałszem:
D: ~Yd=~K*~T=1*1=1
Ya=~Yb=~Yc=0

Wniosek:
W świecie niezdeterminowanym mamy do czynienia z miękkimi jedynkami i miękkimi zerami, mogą się pojawić, ale nie muszą.
Dowód wyżej!

Część II
Świat zdeterminowany - pod niebieską linią na powyższym wykresie czasowym

Załóżmy, że jest pojutrze i zaszło zdarzenie:
C: ~Yc=~K*T=1*1 =1 - wczoraj nie byliśmy w kinie (~K=1) ale byliśmy w teatrze (T=1)
~Yc=1 - prawdą jest (=1), że pani skłamała (~Ya)

Zauważmy, że w świecie zdeterminowanym pani przedszkolanka nie ma wolnej woli bo nie może cofnąć czasu i spowodować np. by nie skłamała (Ya=1)
Od momentu rozstrzygnięcia C do końca naszego Wszechświata nasza pani przedszkolanka będzie kłamcą (~Yc=1).
Doskonale to widać na wykresie czasowym pod niebieską linią gdzie funkcja logiczna:
C: ~Yc=~K*T=1*1 =1
jest twardą jedynką we wszystkich ćwiartkach ABCD wykresu czasowego.

Wniosek:
Zmienne binarne ze świata niezdeterminowanego (K, T,~K,~T) transformują się do stałych symbolicznych w świecie zdeterminowanym. Wartości logicznych stałych symbolicznych nie da się zmienić.
Nasz przykład stałych symbolicznych w zdaniu C to:
~K=1 - wczoraj nie byliśmy w kinie (~K=1)
T=1 - wczoraj byliśmy w teatrze (T=1)
Twarde jedynki generują twarde zera na mocy prawa Prosiaczka:
(~K=1)=(K=0)
(T=1)=(~T=0)

Stąd mamy.
Definicja logiki matematycznej:
Logika matematyczna to matematyczny opis nieznanej przyszłości (świat niezdeterminowany) lub nieznanej przeszłości (np. poszukiwanie nieznanego mordercy)

Zauważmy że w znanym świecie zdeterminowanym żadna logika matematyczna nie jest możliwa bo wartości logicznych stałych symbolicznych nie jesteśmy w stanie zmienić.

Przykładowo nie jesteśmy w stanie spowodować, aby Hitler nigdy się nie narodził.
Jeśli detektywi szukają nieznanego mordercy to logika matematyczna ma sens tylko i wyłącznie w czasie poszukiwania nieznanego im mordercy. Jeśli detektywi odkryją kto jest mordercą i zostanie on skazany prawomocnym wyrokiem, to logika matematyczna mająca na celu wykrycie znanego już mordercy nie ma sensu - nie ma zastosowania.

rafal3006

idiota

Nikt nie chce, byś analizował jakieś zdania o czyjejś wiedzy.
To nas nie interesuje.

Odpowiedź na pytanie Irbisola byłaby interesująca, takie kuriozum by to było...

Irbisol

Właśnie.
Przestań pierdolić i odpowiedz na pytanie.
Wielka, zajebista algebra kubusiowa nie potrafi poradzić sobie z pytaniem jaki wynik da 1*1

rafal3006

Czekam na moment kiedy Irbisol napisze „Rozumiem algebrę Kubusia!”
Wierzę, że dasz radę Irbisolu.
… nawet Idiota da radę!
Czy mam rację idioto?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-375.html#397121