ŚFiNiA

idiota

A zdanie "Koń to koń." faktycznie jest zdaniem, ale nie ma nic wspólnego z tymi wyżej.

rafal3006

Ośmieszanie logiki "matematycznej" ziemian - ciąg dalszy:

rafal3006

rafal3006

Ciekawe kiedy matematycy na matematyce.pl załapią nieprawdopodobnie banalną logikę dodatnią i ujemną:

[link widoczny dla zalogowanych]

rafal3006

Czy w logice matematycznej da się zrezygnować z wszelkich zer i jedynek?

TAK!
Naturalna logika matematyczna człowieka ma w dupie wszelkie zera i jedynki, czego dowód na matematyce.pl w poście wyżej.

[link widoczny dla zalogowanych]
Czy wszyscy załapali nieprawdopodobnie banalną logikę dodatnią (bo y) i ujemną (bo ~y) w algebrze Boole'a?
W 100-milowym lesie uczą tego w I klasie LO

... jak również w przedszkolu.

Czy w logice matematycznej da się zrezygnować z wszelkich zer i jedynek?
Tak!
"+" - spójnik logiczny "lub" z naturalnej logiki matematycznej człowieka
"*" - spójnik logiczny "i" z naturalnej logiki matematycznej człowieka

Pani w przedszkolu:
Jutro pójdziemy do kina lub do teatru
Y=K+T
Oznaczmy:
Y - pani dotrzyma słowa
~Y - pani nie dotrzyma słowa (skłamie)
K - jutro pójdziemy do kina
~K - jutro nie pójdzimy do kina
T - jutro pójdziemy do teatru
~T - jutro nie pójdziemy do teatru

Jaś do Zuzi:
... a kiedy pani skłamie?
Jaś:
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
~Y=~K*~T

Stąd:
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K) i nie pójdziemy do teatru (~T)
~Y=~K*~T

Gdzie:
Y, ~Y, K, ~K, T, ~T - zmienne binarne

Definicja zmiennej binarnej:
Zmienna binarna to symbol, którego wartości logicznej nie znamy

W dniu dzisiejszym nie znamy wartości logicznej żadnej ze zmiennych:
Y, ~Y, K, ~K, T, ~T

Naturalna logika matematyczna człowieka to równania algebry Boole'a, co widać wyżej.

Wartościowanie równań logicznych:

Definicja stałej binarnej:
Stała binarna to symbol, którego wartość logiczna jest nam znana i której to wartości nie jesteśmy w stanie zmienić.

Załóżmy że jest pojutrze i zaszło:
~K=1 - wczoraj nie byliśmy w kinie
Czytamy:
Prawdą jest (=1), że wczoraj nie byliśmy w kinie (~K)
T=1 - wczoraj byliśmy w teatrze
Czytamy:
Prawdą jest (=1), że wczoraj byliśmy w teatrze (T)

Oczywistym jest, że pojutrze powyższe wartości logiczne są zdeterminowane i nie możemy ich zmienić - czasu nie da się cofnąć

Prawa Prosiaczka:
(~p=1)=(p=0)
(p=1) = (~p=0)

Stąd mamy:
~K=1)=(K=0)
(T=1)=(~T=0)

Podstawiamy do pierwszego równania:
Y=K+T
Y=0+1 =1 - pani dotrzymała słowa Y=1 w logice dodatniej (bo Y)

Podstawiamy do drugiego równania:
~Y = ~K * ~T
~Y = 1*0 =0 - pani dotrzymała słowa ~Y=0 w logice ujemnej (bo ~Y)

Prawo Prosiaczka:
(~Y=0)=(Y=1)

Interpretacja prawa Prosiaczka!
Zdanie:
~Y=0
Fałszem jest (=0), że pani skłamała ~Y
jest tożsame ze zdaniem:
Y=1
Prawdą jest (=1), że pani dotrzymała słowa Y

Stąd:
Y=1 - pani dotrzymała słowa w logice dodatniej (bo Y)

P.S.
Czy ktoś może poszukać praw Prosiaczka w Wikipedii, bo nie mogę znaleźć
Kubuś - o bardzo małym rozumku

idiota

"Kliknij sobie na Googlach:
"koń jest koniem"
Wyników: 6850
"koń to koń"
Wyników 7640"

No widzisz.
jak napiszesz zdanie sensowne, to masz wynik.

Jak wpiszesz swoje pseudozdanie "koń jest koń" to dostaniesz 8 wyników zapewne wpisanych przez podobnie jak ty upośledzonych ludzi.

idiota

'Matematycznie prawdziwym, czy fałszywym?"

Nie wiem co to znaczy.
Ono jest prawdziwe analitycznie, ale ty nie wiesz co to znaczy nawet.

Zresztą co to znaczy "matematycznie prawdziwe" to też nie wiesz, ale udajesz, że to coś ważnego.

"Koń to koń" nie jest zdaniem matematycznym.

rafal3006

rafal3006

idiota

Nie.
To znaczy to co jest napisane, a nie to co sobie wymyślisz na ten temat.
I nie jest ono w żaden sposób tożsame ze zdaniem warunkowym.

Kłamiesz zwyczajnie.
Jak zwykle w najpodstawowszych sprawach.

rafal3006

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1600.html#288325
Czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat?
dr.hab. Marek Kordas - matematyk!

idiota

Znów piszesz jakieś głupoty żeby odwrócić uwagę od swych bredni?
Na jedno wychodzi.

rafal3006

rafal3006

idiota

Znów coś wymyślasz i nazywasz to "logiką matematyczną idioty"...
I znów nie wiadomo po co, poza chyba próbą kolejnego odwracania uwagi od tego, że nie rozumiesz podstaw podstaw.

rafal3006

rafal3006

idiota

Nie wiesz co to prawdziwość, co to matematyka ani co to jest zdanie.
Nie zadawaj mi pytań, których nie rozumiesz.

rafal3006

rafal3006

Symboliczna i zero-jedynkowa definicja operatora OR(|+)

Krótka wizyta na matematyce.pl nasunęła mi definicję operatora OR(|+) którą mam nadzieję, wreszcie ziemianie zrozumieją.

http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-1700.html#294437

idiota

Już napisałem czego nie rozumiesz w pytaniu, które mi zadajesz.

rafal3006

idiota

Ale co to jest definicja też przecież nie wiesz...
Co ty usiłujesz tu udawać?

rafal3006

rafal3006

Czy matematycy potrafią żartować?
... za chwilę się przekonamy

[link widoczny dla zalogowanych]