Dyskusja na temat algebry Kubusia

Ś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

Dyskusja na temat algebry Kubusia
Idź do strony Poprzedni 1, 2, 3 ... 107, 108, 109, 110 Następny

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: 34685
Przeczytał: 26 tematów

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

Wysłany: Śro 16:57, 04 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8575.html#812757

Irbisol napisał:

Nie wiesz czy nie ma przypadkiem ~Y = S.
Tutaj gad działa tak samo jak przy pójściu do kina.

Nie jest to prawdą!
Nie odróżniasz stałej binarnej od zmiennej binarnej .. a podobno jesteś programistą.

Zapiszmy jeszcze raz najwyższą świętość logiki matematycznej w operatorach jednoargumentowych.

algebra Kubusia napisał:

1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Patrzysz na świecącą się żarówkę i mówisz:
A3.
Żarówka świeci się
Y=S=1
Czytamy:
Prawdą jest (=1), że żarówka świeci się (S)
Nie istnieje matematyka która by zgasiła tą żarówkę.
Uwaga:
Lądujemy w punkcie A3 w tabeli TJ, bo znamy wartość logiczną zdania A3.

Zdanie A3 to stała binarna bo znamy wartość logiczną zdania A3
A3: Y=S=1
Symbol Y jest tu stałą binarną tzn. znamy wartość logiczną zdania A3, to miękka jedynka

Teraz uważaj Irbisolu:

W zdaniu A1 masz fundamentalnie co innego:
Pani w przedszkolu:
A1.
Jutro pójdziemy do kina
Y=K
Co w logice jedynek oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Uwaga:
Lądujemy w punkcie A1 w tabeli TJ bo nie znamy wartości logicznej zdania A1

Znaczenie symbolu Y:
Y – pani dotrzyma słowa (Y=1)
~Y – pani nie dotrzyma słowa (~Y=1)

W zdaniu A1 pani ma „wolną wolę” i może słowa dotrzymać (Y):
Y=1
Albo słowa nie dotrzymać (~Y):
~Y=1
Symbol Y jest tu zmienną binarną
cnd

Ponawiam pytanie:
Czy jako programista widzisz fundamentalną różnicę między stałą binarną, a zmienną binarną?
TAK/NIE

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Śro 18:36, 04 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8575.html#812771

Irbisol napisał:

Logika ujemna nie dotyczy stałych?

Dotyczy:
1.
Widzisz że żarówka świeci i mówisz:
A3.
Żarówka świeci
S=1 - logika dodatnia bo S

2.
Widzisz że żarówka nie świeci i mówisz:
B4.
Żarówka nie świeci
~S=1 - logika ujemna bo ~S

Lokalizację zdań A3 i B4 w tabeli wszystkich możliwych operatorów jednoargumentowych masz w poniższym linku.

algebra Kubusia napisał:

1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

algebra Kubusia napisał:

1.1.1 Definicja negacji

Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.

W szczególnym przypadku symbol w nagłówku kolumny może być stałą binarną gdy w kolumnie są same jedynki albo same zera.

Kod:

DN
Definicja negacji:
p # ~p
A: 1 # 0
B: 0 # 1
1 2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony

Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
p#~p
Dowodem jest tu definicja negacji DN.

Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)

Zauważmy, że w definicji negacji DN symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)

Stąd mamy:
Definicja osi czasu w logice matematycznej
W dowolnej tabeli zero-jedynkowej oś czasu to zero-jedynkowa zawartość kolumny opisanej symbolem nad tą kolumną.

Na mocy powyższego mamy:
A3: S=1 - żarówka świeci, logika dodatnia bo S
B4: ~S=1 - żarówka nie świeci, logika ujemna bo ~S

Ostatnio zmieniony przez rafal3006 dnia Śro 19:03, 04 Wrz 2024, 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: 34685
Przeczytał: 26 tematów

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

Wysłany: Czw 0:24, 05 Wrz 2024 Temat postu:

Czy Irbisol zrozumie kluczowe prawo logiki matematycznej, prawo Puchacza?
Jeśli nie zrozumie to Prosiaczek mu chętnie wytłumaczy tak, że na 100% zrozumie.
Musi tylko zadeklarować, że przeczyta (z tym jest problem u Irbisola)
Dzięki,
Właśnie dopisałem prawo Puchacza dla funkcji jednoargumentowych w AK (pkt. 1.4.3):
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Irbisol napisał:

A dlaczego nie ma tu Y=S i pozostałych 3 wariacji z zaprzeczeniami.

Nie rozumiem o co pytasz.
Irbisolu, twoje pytanie świadczy o niezrozumieniu algebry Kubusia – masz jakieś schizofreniczne wyobrażenie o algebrze Kubusia – nie mam zamiaru wnikać jakie.

W algebrze Kubusia obowiązuje prawo Puchacza i wszystko jasne dla każdego ucznia I klasy LO
Koniec!

Irbisolu, wszelkie zawansowane szczegóły dotyczące funkcji jednoargumentowych przesunąłem do matematyki dla zaawansowanych do punktu 20.0
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#727801

rafal3006 napisał:

Algebra Kubusia - matematyka języka potocznego
20.0 Rachunek zero-jedynkowy - operatory jednoargumentowe

Tu przykładowo możemy się dowiedzieć szczegółów skąd biorą się prawa Prosiaczka – twoje prawo Irbisa się tu kłania.

W podstawowej wersji wyjaśniłem czym różni się funkcja logiczna Y=f(x) jednoargumentowa od operatora logicznego Y|=f(x) jednoargumentowego i na tej podstawie wyprowadziłem tabelę symboliczną wszystkich możliwych operatorów jednoargumentowych.
Oto ta tabela.

algebra Kubusia napisał:

1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Prawo Puchacza dla zdań twierdzących jednoargumentowych w języku potocznym:
Funkcje logiczne Y i ~Y opisujące linię x w tabeli TJ dostępne są tylko i wyłącznie w linii x.
Żadna z tych funkcji nie jest dostępna w jakiejkolwiek linii poza linią x

Dowód formalny to pikuś dla każdego ucznia I klasy LO:
Wybieramy funkcję logiczną z linii A2B2 np.
B2: ~Y=p
Sprawdzamy iż funkcji tej nie ma w żadnej innej linii poza linią A2B2, co widać, słychać i czuć
cnd
Jeśli ktoś jest pedantem tu musi w ten sposób sprawdzić wszystkie funkcje logiczna Y i ~Y
Powodzenia.

Jak działa prawo Puchacza?

Przykładowe zdanko ma maturze z matematyki:
Zadanie 1
Przyporządkuj poniższe zdania do tabeli prawdy wszystkich możliwych operatorów jednoargumentowych:
1.
Pani nie dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina
2.
Pani dotrzyma słowa wtedy i tylko wtedy gdy jutro nie pójdziemy do kina
3.
Żarówka świeci
4.
Pani nie dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina
5.
Żarówka nie świeci
6.
Pani dotrzyma słowa wtedy i tylko wtedy gdy jutro nie pójdziemy do kina

Rozwiązanie maturzysty Jasia:
1.
Pani nie dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina
~Y=K
Punkt: B2

2.
Pani dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina
Y = K
Punkt: A1

3.
Żarówka świeci
S=1
Punkt: A3

4.
Pani nie dotrzyma słowa wtedy i tylko wtedy gdy jutro nie pójdziemy do kina
~Y = ~K
Punkt: B1

5.
Żarówka nie świeci
~S=1
Punkt: B4

6.
Pani dotrzyma słowa wtedy i tylko wtedy gdy jutro nie pójdziemy do kina
Y = ~K
Punkt: A2

KONIEC!
Ocena egzaminacyjna: 6 (celująca)

Dwa pytania do Irbisola:
1
Czy rozumiesz i akceptujesz prawo Puchacza dla operatorów jednoargumentowych
2.
Czy maturzysta Jaś słusznie dostał ocenę celującą za swoje rozwiązanie?

Ostatnio zmieniony przez rafal3006 dnia Czw 8:18, 05 Wrz 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Czw 23:48, 05 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812853

Mała dygresja!

Dzisiaj (2024-09-05) ktoś podsunął mi pomysł by streścić algebrę Kubusia na 2-5 stronach - to jest praktyka w publikacjach nowatorskich idei matematycznych, jaką jest algebra Kubusia.
Streścić się oczywiście nie da, ale zapisać kwintesencję algebry Kubusia na kilku stronach by zainteresować nią matematyków już TAK.

Właśnie to zrobiłem:
http://www.sfinia.fora.pl/forum-kubusia,12/algera-kubusia-kwintesencja,26413.html#812849

Link do „Kwintesencji algebry Kubusia” w pdf (Stron: 5)
[link widoczny dla zalogowanych]

Kod:

https://www.dropbox.com/scl/fi/uivxh4c74kaaiabg3e5ui/Algebra-Kubusia-Kwintesencja.pdf?rlkey=2hj7bsiq1e4ubn53rqabdwc9j&dl=0

Kwintesencja algebry Kubusia to początek „Kompendium algebry Kubusia” (stron 70) wyłożonej w punkcie 2.0, to matematyczna obsługa wszelkich zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.

Matematycznie „Kompendium algebry Kubusia” gdzie operujemy wyłącznie elementarnymi znaczkami implikacyjnymi:
~~> - zdarzenie możliwe lub element wspólny zbiorów
=> - warunek wystarczający
~> - warunek konieczny
to w praktyce wiedza izolowana od algebry Boole’a, gdzie powyższe znaczki są niedostępne.

Można zatem zrozumieć „Kompendium AK” nie znając klasycznej algebry Boole’a, rozpoznającej zaledwie 5 znaczków:
1=prawda
0=fałsz
(~) – symbol negacji w języku potocznym
„i”(*) – spójnik „i”(*) z języka potocznego
„lub”(+) – spójnik „lub”(+) z języka potocznego

Aktualnie algebra Kubusia jest w trakcie ciekawego eksperymentu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812809

Od 15 lat staram się przekonać Irbisola, fanatyka KRZ i zaciekłego wroga algebry Kubusia do jej zrozumienia i zaakceptowania. Dyskusja z Irbisolem zmusza mnie do permanentnego ulepszania przekazu algebry Kubusia, zatem jest dla mnie bezcenna.

Znam Irbisola osobiście ze śfińskich spotkań w Warszawie, sympatyczny człowiek po WAT w Warszawie, a więc ani matematyk, ani elektronik jak ja (po elektronice na PW-wa, rok 1980).
Myślę, że jeśli uda mi się przestawić fanatyka KRZ, Irbisola, na tory algebry Kubusia (to nie jest pewne), to będzie to mój życiowy sukces.

Ostatnio zmieniony przez rafal3006 dnia Pią 1:59, 06 Wrz 2024, w całości zmieniany 4 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 9:05, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812887

Kodowanie zdań twierdzących!
Szczegółowa interpretacja tabeli wszystkich możliwych operatorów jednoargumentowych TJ
Dzięki Irbisolu, przemeblowałem punkt 1.0 – teraz algebra Boole’a w ulepszonej kolejności wyłożona

Irbisol napisał:

Dlaczego nie ma u ciebie
Y = S
Y = ~S
~Y = S
~Y = ~S
Dla S - żarówka świeci
?

W tabeli wszystkich możliwych operatorów jednoargumentowych TJ musisz odróżnić świat żywy mający wolną wolę (linie A1B1 i A2B2) który może kłamać gdzie nie znamy z góry wartości logicznej zdań,
od świata martwego który z definicji wolnej woli nie ma i nie może kłamać (linie A3B3 i A4B4) dlatego tu znamy z góry wartości logiczne wszystkich zdań.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:

Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 1
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 1
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 2
1.4 Prawa Prosiaczka 3
1.4.1 Przykład działania praw Prosiaczka na gruncie fizyki 3
1.4.2 Zasady kodowania zdań twierdzących w świecie żywym 4
1.4.3 Zasady kodowania zdań twierdzących w świecie martwym 5

1.3 Definicja funkcji logicznej jednoargumentowej Y=x

Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.

Zainteresowanym polecam teorię operatorów jednoargumentowych w rachunku zero-jedynkowym zawartą w punkcie 20.0

W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}

Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.

Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}

Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0

1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x

Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y

Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych

Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy

Kod:

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.

Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje prawa Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1

1.4 Prawa Prosiaczka

I Prawo Prosiaczka:
Linia A3B3 w tabeli TJ
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Linia A4B4 w tabeli TJ
Fałsz (=0) w logice dodatniej (bo p) jest tożsamy z prawdą (=1) w logice ujemnej (bo ~p)
(p=0) = (~p=1)

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

Matematyczne wyprowadzenie praw Prosiaczka znajdziemy w punkcie 20.4.
Zauważmy, że negując dwustronnie I prawo Prosiaczka dalej będziemy w I prawie Prosiaczka bez możliwości przejścia do II prawa Prosiaczka (i odwrotnie), stąd znak różne na mocy definicji ##

Dowód:
I prawo Prosiaczka:
A3B3: (p=1)=(~p=0)
Negujemy dwustronnie:
A3B3: (~p=0)=(p=1) - dalej jesteśmy w I prawie Prosiaczka, bez możliwości dojścia do II prawa Prosiaczka

##

Identycznie będziemy mieli w II prawie Prosiaczka.
II prawo Prosiaczka:
A4B4: (p=0)=(~p=1)
Negujemy dwustronnie:
A4B4: (~p=1)=(p=0) - dalej jesteśmy w II prawie Prosiaczka, bez możliwości dojścia do I prawa Prosiaczka

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

Definicja znaczka różne na mocy definicji ##:
Znaczek różne na mocy definicji ## to brak matematycznych powiązań między prawą i lewą stroną znaczka ##

Prawa Prosiaczka wiążą zmienną binarną w logice dodatniej (bo p) ze zmienną binarną w logice ujemnej (bo ~p). Prawa Prosiaczka możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej.

1.4.1 Przykład działania praw Prosiaczka na gruncie fizyki

Przyjmijmy znaczenie symboli:
S - żarówka świeci
~S - żarówka nie świeci

Dowód I prawa Prosiaczka na przykładzie:
Linia A3B3 w tabeli TJ:
S - żarówka świeci
Co w logice jedynek oznacza:
A3: S=1 - prawdą jest (=1) że żarówka świeci (S)
Zdanie tożsame na mocy prawa Prosiaczka:
(S=1)=(~S=0)
Czytamy:
B3: ~S=0 - fałszem jest (=0) że żarówka nie świeci (~S)
Prawdziwość I prawa Prosiaczka widać tu jak na dłoni:
(S=1) = (~S=0)

##

Dowód II prawa Prosiaczka na przykładzie:
Linia A4B4 w tabeli Tj:
~S - żarówka nie świeci
Co w logice jedynek oznacza:
B4: ~S=1 - prawdą jest (=1) że żarówka nie świeci (~S)
Zdanie tożsame na mocy prawa Prosiaczka:
(~S=1)=(S=0)
Czytamy:
A4: S=0 - fałszem jest (=0) że żarówka świeci (S)
Prawdziwość II prawa Prosiaczka widać tu jak na dłoni:
(~S=1) = (S=0)

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

Innymi słowy:
Pojęcie "żarówka świeci" (S=1) jest różne na mocy definicji ## od pojęcia "żarówka nie świeci" (~S=1)

1.4.2 Zasady kodowania zdań twierdzących w świecie żywym

Dotyczy wyłącznie linii A1B1 i A2B2 w tabeli TJ

Definicja funkcji logicznej w logice dodatniej (bo Y):
Funkcja logiczna zapisana jest w logice dodatniej (bo Y) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej zapisana jest w logice ujemnej (bo ~Y)
Przykłady: tabela TJ

Definicja logiki jedynek w języku potocznym:
Z logiką jedynek w języku potocznym mamy do czynienia wtedy i tylko wtedy gdy wszelkie zmienne występujące w zdaniu sprowadzone są do wartości logicznej 1.
Jedynki są w logice matematycznej domyślne i możemy je pominąć.
Innymi słowy:
Wszelkie przeczenia w kodowaniu matematycznym muszą być zapisane jawnie

Sprowadzenie wszystkich zmiennych do wartości logicznej 1 umożliwiają prawa Prosiaczka które możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej (pkt. 1.1)
(p=1)=(~p=0)
(p=0) = (~p=1)

Przykłady:
1.
Jutro nie pójdziemy do kina
Y=~K
Co w logice jedynek oznacza:
Y=1 <=> ~K=1 – to jest logika jedynek bo ~K=1
Prawo Prosiaczka:
(~K=1) = (K=0)
Stąd zapis tożsamy:
Y=1 <=> K=0 – to nie jest logika jedynek bo K=0

2.
Jutro pójdziemy do kina
Y=K
Co w logice jedynek oznacza:
Y=1 <=> K=1 – to jest logika jedynek bo K=1
Prawo Prosiaczka:
(K=1)=(~K=0)
Stąd zapis tożsamy:
Y=1 <=> ~K=0 – to nie jest logika jedynek bo ~K=0

Prawo Żyrafy:
Kodowanie zdań twierdzących:
Wszelkie zdania twierdzące dotyczące świata żywego mającego „wolną wolę” kodujemy matematycznie wyłącznie w postaci funkcji logicznych
Y=f(x)
Gdzie:
Y - istota żywa dotrzyma słowa (Y=1)
~Y - istota żywa nie dotrzyma słowa (~Y=1)
Niedozwolone jest kodowanie zdań twierdzących w postaci samego wyrażenia f(x) bowiem prowadzi to do wewnętrznej sprzeczności logiki matematycznej w postaci prawa Grzechotnika (pkt. 1.5.4)

1.4.3 Zasady kodowania zdań twierdzących w świecie martwym

Dotyczy wyłącznie linii A3B3 i A4B4 w tabeli TJ bo tylko tu mamy opisany świat martwy.
Świat martwy z definicji nie ma „wolnej woli” i nie może kłamać.
Przykład w punkcie 1.4.1

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 11:09, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812903

Irbisol napisał:

Czyli jak ktoś może kłamać albo nie może, to już nie ma problemu z widocznością lewych stron i gad się nie czepia?

Prawo Grzechotnika działa na poziomie czysto matematycznym w oderwaniu od jakichkolwiek przykładów z języka potocznego zawsze i wszędzie - dowód masz w cytacie niżej.
Poprawne podłożenie matematyki ogólnej (prawo Grzechotnika) pod język potoczny to inna para kaloszy.
Podobnie masz z układem równań liniowych.
Jako elektronik stwierdzam że układ równań liniowych doskonale pasuje do rozwiązywania sieci elektrycznych (prawo Ohma plus prawa Kirchhoffa) … ale czy to jest jedyne zastosowanie układu równań liniowych?
Oczywiście NIE!
Przystawalność prawa Grzechotnika do obsługi świata zdeterminowanego ma się tak jak przystawalność układu równań liniowych do układu równań nieliniowych.

Irbisolu, odpowiedz na pytanie:
Czy rozumiesz, że prawo Grzechotnika to prawo na poziomie czysto matematycznym, czyli jakiekolwiek przykłady z otaczającego nas świata mają tu gówno do rzeczy!
Przede wszystkim ten fakt musisz zrozumieć – napisz czy rozumiesz?
Jeśli nie rozumiesz to będę tłumaczył, aż zrozumiesz.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:

Spis treści
1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 1
1.5.4 Prawo Grzechotnika dla funkcji jednoargumentowych 2
1.5.5 Prawo Sokoła 3

1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p

Kod:

Kod:

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Zauważmy, że jeśli pominiemy nagłówki albo uwzględnimy wyłącznie prawe strony funkcji logicznych Y i ~Y to kolumna A1 będzie tożsama z kolumną B2, czyli:
Definicja znaczka ## leży w gruzach

Stąd mamy wyprowadzone prawo Grzechotnika.

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.

Jeśli uwzględnimy nagłówki to relacja kolumn A1 i B2 nie będzie tożsamościowa mimo że zero-jedynkowo kolumny te są identyczne.
A1: Y=p ## B2: ~Y=p
Gdzie:
## - różne na mocy definicji

Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:

Kod:

OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

W tabeli OTON widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.

Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##

1.5.4 Prawo Grzechotnika dla funkcji jednoargumentowych

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.

Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.

Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli OTON

Kod:

OTON":
A1: p # B1: ~p
A2: ~p # B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale widać, że w tabeli OTON" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli OTON” zgubiona została kluczowa informacja o tym kiedy zajdzie Y, a kiedy zajdzie ~Y.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.

1.5.5 Prawo Sokoła

Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.

Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.

W punkcie 24.0 znajdziemy dużą ilość ćwiczeń w temacie prawa Grzechotnika, które obowiązuje dla dowolnych funkcji logicznych n-argumentowych.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 14:29, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812945

Irbisolu, prędzej ci kaktus na rączce wyrośnie niż obalisz prawo matematyczne zwane prawem Grzechotnika

Irbisol napisał:

Skoro przykłady maja gówno do rzeczy, to dlaczego gad się nie pluje, gdy piszesz o żarówce bez Y?
I po co w ogóle robisz te odróżnienia na wolną wolę, skoro to też ma gówno do rzeczy?

Irbisolu, to ty plujesz a nie gad.
Powtórzę:
W dowodzie prawdziwości prawa Grzechotnika jakiekolwiek przykłady mają gówno do rzeczy.

Definicja wolnej woli istot żywych:
Wolna wola to zdolność do gwałcenia wszelkich praw matematycznych wyznaczanych przez świat martwy

Odróżnienie wolnej woli jest tu kluczowe.
Jeśli dla ciebie to nieistotne to twierdzisz że świat martwy może kłamać, czyli gwałcić dowolne prawa matematyczne wyznaczane przez świat martwy.

Prawo Grzechotnika to prawo czysto matematyczne izolowane od jakiegokolwiek związku z naszym Wszechświatem.
Chciałeś obalać prawo matematyczne?
Bardzo proszę, zrób to na poziomie czysto matematycznym.

Niżej masz najkrótszy możliwy, czysto matematyczny dowód prawdziwości prawa Grzechotnika.
Obalaj to prawo na gruncie czystej matematyki … czyli bez związku z jakimkolwiek przykładem.
Czas Start!
Jak obalisz to udowodnisz, że algebra Kubusia jest do dupy - czyż nie o to ci chodzi od 15 lat?

Podpowiedź:
Znajdź w poniższym dowodzie jakąkolwiek wewnętrzną sprzeczność – znajdziesz, prawo Grzechotnika obalone.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:

Spis treści
1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 1

1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p

Kod:

Kod:

Kod:

OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p

Podsumowując:
Irbisolu, prędzej ci kaktus na rączce wyrośnie niż obalisz prawo matematyczne zwane prawem Grzechotnika
Zgadzasz się z tym faktem?
TAK/NIE

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 14:43, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812951

Irbisol napisał:

Odpowiedz, dlaczego gad się pluje na przykład z pójściem do kina, a nie pluje się na przykład z żarówką. Skoro podobno jest niezależny od przykładów.

Prawo Grzechotnika to prawo czysto matematyczne niezależne od przykładów.
Najpierw musisz poznać poprawną matematykę i dopiero po tym fakcie wolno ci będzie szukać, gdzie prawo Grzechotnika wolno stosować a gdzie jest zakazane.

Dopóki nie uznasz prawdziwości prawa Grzechotnika jako prawa czysto matematycznego dalsza dyskusja między nami nie ma sensu bo ja będę mówił o rybkach tzn. gdzie prawo Grzechotnika nie obowiązuje, a ty będziesz mówił o pipkach że musi obowiązywać zawsze i wszędzie.

Podpowiedź:
Czy układem równań liniowych obliczysz obwód koła
Innymi słowy:
Prawa matematyczne dotyczące równań liniowych to fundamentalnie co innego niż prawa pozwalające obliczyć obwód koła.
Podobnie:
Świat martwy nie mający wolnej woli to fundamentalnie co innego niż świat żywy mający wolną wolę

Ostatnio zmieniony przez rafal3006 dnia Pią 14:53, 06 Wrz 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 15:13, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812961

Irbisol napisał:

Nic nie muszę. Odpowiedz na pytanie.

Irbisol napisał:

Odpowiedz, dlaczego gad się pluje na przykład z pójściem do kina, a nie pluje się na przykład z żarówką. Skoro podobno jest niezależny od przykładów.

Prawo Grzechotnika jest niezależne od przykładów bo to jest prawo czysto matematyczne.
Prawo Grzechotnika mówi tylko i wyłacznie o fatalnym błędzie ziemskiej logiki matematycznej która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y)
O niczym innym prawo Grzechotnika nie mówi.

Pytanie warunkujace moją dalszą dyskusję z tobą:
Czy zgadzasz się z faktem że logika matematyczna ziemskich matematyków która nie widzi funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych?
TAK/NIE

Dowód tej wewnętrznej sprzeczności to dowód czysto matematyczny - przykłady mają tu gówno do rzeczy.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 15:17, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812965

rafal3006 napisał:

Irbisol napisał:

Znowu uciekasz od pytania.

Najpierw musisz zrozumieć, że prawo Grzechotnika to prawo czysto matematyczne dotyczące błędu fatalnego w absolutnie wszystkich ziemskich logikach matematycznych.

O niczym innym prawo Grzechotnika niemówi!

Jest taki błąd fatalny czy go nie ma?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 15:29, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812971

Irbisolu, prawo Grzechotnika nie mówi o jakichkolwiek zdaniach takich czy śmakich!

Prawo Grzechotnika dotyczy czegoś fundamentalnie innego - masz to w cytacie niżej.

Irbisol napisał:

Nic nie muszę. Znowu uciekasz od pytania.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812965

rafal3006 napisał:

Irbisol napisał:

Znowu uciekasz od pytania.

Oto prawo Grzechotnika - gdzie tu masz o jakimkolwiek zdaniu z języka potocznego?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:

Spis treści
1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p

Kod:

Kod:

Kod:

OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p

Podsumowując:
Irbisolu, prędzej ci kaktus na rączce wyrośnie niż obalisz prawo matematyczne zwane prawem Grzechotnika
Zgadzasz się z tym faktem?
TAK/NIE

Ostatnio zmieniony przez rafal3006 dnia Pią 17:50, 06 Wrz 2024, 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: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 18:46, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812997

Irbisol, uparty jak osioł, który czasami rację ma!

Irbisol napisał:

Teraz jest o tym, że gad jednego zdania się czepia, a innego - magicznie już nie.

Dzięki,
Nowość w algebrze Kubusia:
Tak Irbisolu, masz rację, matematyczne prawo Grzechotnika obowiązuje zarówno dla zmiennych binarnych, jak i dla stałych binarnych.

Dlaczego stałe binarne każdy 5-cio latek ma w dupie?
Bo definicję wszelkich potrzebnych mu w języku potocznym stałych binarnych ma już opanowane.
Definicje stałych binarnych są bardzo ważne w wieku od 0 do 2 lat, gdzie dziecku trzeba wszystkie definicje pokazywać paluszkiem na obrazkach mówiąc:
To jest kura
To nie jest kura, to jest słoń
To jest żyrafa
etc

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Uwaga:
Linie A1B1 i A2B2 dotyczą świata żywego w którym kłamstwo (~Y) jest możliwe, zatem tu nie znamy z góry wartości logicznej zdań.
Linie A3B3 i A4B4 dotyczą świata martwego, który z definicji nie może kłamać, zatem tu znamy z góry wartość logiczną zdań 1 albo 0.

O co chodzi w prawie Prosiaczka doskonale pokazuje wizyta 3-lata z tatą w ZOO.

Dowód praw Prosiaczka na poziomie 3-latka

I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo Y) jest tożsama z fałszem (=0) w logice ujemnej (bo ~Y)
A3B3: (Y=1) = (~Y=0)
##
II Prawo Prosiaczka:
Fałsz (=0) w logice dodatniej (bo Y) jest tożsamy z prawdą (=1) w logice ujemnej (bo ~Y)
A4B4: (Y=0)=(~Y=1)
Gdzie:
## - różne na mocy definicji

Prawa Prosiaczka doskonale znają w praktyce wszyscy ludzie na ziemi, od 3-latka poczynając na prof. matematyki kończąc.

Tata i synek Jaś (lat 3) na spacerze w ZOO

I prawo Prosiaczka w praktyce:

Jaś pokazując paluszkiem słonia mówi:
A3.
Popatrz tata, to jest słoń!
A3: S=1
Matematycznie:
Prawdą jest (=1) że to jest słoń (S)

Tata:
… a może to nie jest słoń?
Jaś:
B3. ~S=0
Matematycznie:
Fałszem jest (=0) że to nie jest słoń (~S)

Zdania A3 i B3 są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.

I prawo Prosiaczka:
A3: (S=1) = B3: (~S=0)

II prawo Prosiaczka w praktyce:

Jaś pokazuje paluszkiem kozę i mówi:
B4.
Popatrz tata, to nie jest słoń
B4: ~S=1
Matematycznie:
Prawdą jest (=1), że to nie jest słoń (~S)

Tata:
… a może to jednak słoń?
Jaś:
A4: S=0
Matematycznie:
Fałszem jest (=0) że to jest słoń (S)

Zdania B4 i A4 są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.

II prawo Prosiaczka
B4: (~S=1) = A4: (S=0)

Zapiszmy nasz przykład w tabeli prawdy TJ:

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
A3: S=1 # B3: ~S=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
A4: S=0 # B4: ~S=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Irbisolu,
Czy już rozumiesz że prawo Grzechotnika działa także na stałych binarnych?
Jak widać na przykładzie stałe binarne to obszar zainteresowania dzieci w wieku od 0 do 3 lat, gdzie pokazując paluszkiem bez przerwy trzeba dziecku definiować stałe binarna:
K – to jest krowa (K=1)
~K – to nie jest krowa (~K=1)
S – to jest słoń (S=1)
~S – to nie jest słoń (~S=1)
etc

Teraz uważaj Irbisolu:
Algebra Kubusia mówi o logice matematycznej której ekspertem jest każdy 5-cio latek, który wszelkie stałe binarne potrzebne mu do biegłego posługiwania się algebrą Kubusia ma w małym paluszku.

Propozycja nie do odrzucenia:
Prosiaczek zaoferował wytłumaczyć ci dowód formalny prawa Grzechotnika (bez żadnych przykładów!) dla stałych binarnych - na 100% zrozumiesz.
Warunek jak zwykle.
Przeczytasz?
TAK/NIE

Ostatnio zmieniony przez rafal3006 dnia Pią 23:00, 06 Wrz 2024, 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: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 19:57, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#813005

Irbisol napisał:

Trzymaj się tematu.
Co z tą świecącą żarówką? Można napisać bez Y, jak to zrobiłeś?

Nie tylko można, trzeba!
Bo w stałej binarnej Y=1 wykluczony jest stan ~Y=1
Przykład:
Jeśli pokazujesz 2-latkowi na obrazku słonia (S=1), to czy możesz go uczyć że to nie jest słoń (~S=1)
Irbisolu,
Co złego zrobił ci 2-latek że chcesz go posłać do szpitala psychiatrycznego?

Podpowiedź:
Y=p+q
##
Y=p*q
Gówno ma tu do rzeczy że w logice matematycznej użyty jest ten sam symbol Y - funkcje w logice dodatniej (bo Y) są tu różne na mocy definicji ##
Zgadzasz się z tym faktem?

Czekam aż przyjmiesz propozycję Prosiaczka niżej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812997

rafal3006 napisał:

Irbisol, uparty jak osioł, który czasami rację ma!

Irbisolu,
Czy już rozumiesz że prawo Grzechotnika działa także na stałych binarnych?
Jak widać na przykładzie stałe binarne to obszar zainteresowania dzieci w wieku od 0 do 3 lat, gdzie pokazując paluszkiem bez przerwy trzeba dziecku definiować stałe binarna:
K – to jest krowa (K=1)
~K – to nie jest krowa (~K=1)
S – to jest słoń (S=1)
~S – to nie jest słoń (~S=1)
etc

Teraz uważaj Irbisolu:
Algebra Kubusia mówi o logice matematycznej której ekspertem jest każdy 5-cio latek, który wszelkie stałe binarne potrzebne mu do biegłego posługiwania się algebrą Kubusia ma w małym paluszku.

Propozycja nie do odrzucenia:
Prosiaczek zaoferował wytłumaczyć ci dowód formalny prawa Grzechotnika (bez żadnych przykładów!) dla stałych binarnych - na 100% zrozumiesz.
Warunek jak zwykle.
Przeczytasz?
TAK/NIE

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pią 20:08, 06 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#813011

Irbisol napisał:

Ale wtedy gad się przypierdoli.

Nic się nie przyperdoli
A1: Y=p
A2: Y=~p
A3: Y=1
A4: Y=0
Czy powyższe funkcje logiczne Y są według ciebie tożsame bo wszędzie użyto ten sam symbol Y?

Jesli uważasz, że powższe zapisy są matematycznie błędne to zaprezentuj swoje - poprawne matematycznie.
Śmiechu będzie co niemiara.
:rotfl:

Czas START!

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Sob 7:00, 07 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#813031

Totalnie cała logika matematyczna ziemskich matematyków jest wewnętrznie sprzeczna
zarówno ta definiująca stałe binarne (II), jak i ta opisująca zmienne binarne (I).
Dowód w niniejszym poście.

Teoria niezbędna do zrozumienia postu:

alggbra Kubusia napisał:

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Irbisol napisał:

To dlaczego przypierdala się do pójścia do kina?
A przecież to tylko inny przykład - a gad nie zależy od przykładów.

Gad (prawo Grzechotnika) przypierdala się do wszystkiego zarówno do zmiennych binarnych jak i do stałych binarnych

Dowód:
I.
To jest logika matematyczna 5-cio latków, którzy wszelkie stałe binarne potrzebne im do biegłego posługiwania się językiem ojczystym mają w małym paluszku.
Pani w przedszkolu A1
A1.
Jutro pójdziemy do kina
A1: Y=K
Co w logice jedynek oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

.. a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy funkcje logiczną A1 dwustronnie:
B1.
~Y=~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej binarnej Y:
Y – pani dotrzyma słowa (Y=1)
~Y – pani nie dotrzyma słowa (~Y)
Jutro pani może dotrzymać słowa (Y=1) albo nie dotrzymać słowa (~Y=1)
Trzeciej możliwości brak

Znaczenie zmiennej binarnej K:
K – jutro pójdziemy do kina (K=1)
~K – jutro nie pójdziemy do kina (K=1)
Jutro możemy pójść do kina (K=1) albo nie pójść do kina (~K=1)
Trzeciej możliwości brak

Tożsamość logiczną zdań:
A1: Y=K [=] B1: ~Y=~K
widzi tu każdy 5-cio latek.

Definicja tożsamości logicznej [=]:
Prawdziwość zdania A1: Y=K wymusza [=] prawdziwość zdania B1: ~Y=~K (i odwrotnie)
Fałszywość zdania A1: Y=K wymusza [=] fałszywość zdania B1: ~Y=~K (i odwrotnie)

Prawo Irbisa się tu kłania.
Prawo Irbisa:
Dwa pojęcia/zdarzenia/zbiory są tożsame [=] wtedy i tylko wtedy gdy znajdują się w relacji równoważności:
A1=B1 <=> (A1=>B1)*(B1=>A1) = A1<=>B1
Innymi słowy:
Jeśli wiem kiedy pani dotrzyma słowa A1: Y=K to na 100% => wiem kiedy pani nie dotrzyma słowa B1: ~Y=~K (i odwrotnie)

II.
To jest logika matematyczna niemowlaków 0-2 lat, definiowanie stałych binarnych, które to definicje będą im niezbędne by w wieku 5 lat opanować biegle algebrę Kubusia.

Mama pokazuje 6-miesięcznemu synkowi na obrazku kurę i mówi:
A3.
To jest kura
K=1
Czytamy:
Prawdą jest (=1), że to jest kura (K)
Prawo Prosiaczka:
A3: (K=1) = B3: (~K=0)
B3:
~K=0
Czytamy:
Fałszem jest (=0), że to nie jest kura (~K)

Tożsamość zdań:
A3: K=1 = B3: ~K=0
rozumie każdy 5-cio latek
Wniosek:
Prawo Prosiaczka działa fenomenalnie

„To jest kura” z filmu CK Dezerterzy:
[link widoczny dla zalogowanych]

Kod:

https://www.dailymotion.com/video/x14lk01

Czy mama może pokazywać niemowlakowi na obrazku kurę, twierdząc że to jest osioł?
Może, ale wyląduje w szpitalu psychiatrycznym co przydarzyło się von Nogayowi w filmie CK dezerterzy.

Podsumowując:
Totalnie cała logika matematyczna ziemskich matematyków jest wewnętrznie sprzeczna, zarówno ta definiująca stałe binarne (II), jak i ta opisująca zmienne binarne (I).
cnd

Wniosek:
Miejsce aktualnej logiki matematycznej ziemskich matematyków jest w piekle na wiecznych piekielnych mękach.
Amen

Irbisolu, kiedy przyjmiesz propozycję Prosiaczka niżej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812997

rafal3006 napisał:

Ostatnio zmieniony przez rafal3006 dnia Sob 12:24, 07 Wrz 2024, w całości zmieniany 6 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Sob 17:25, 07 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813061

Irbisol napisał:

Zaprezentuj gada na przykładzie S - żarówka świeci.

Irbisolu, kiedy przyjmiesz propozycję Prosiaczka niżej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812997

rafal3006 napisał:

Irbisol, uparty jak osioł, który czasami rację ma!

Irbisolu,
Czy już rozumiesz że prawo Grzechotnika działa także na stałych binarnych?
Jak widać na przykładzie stałe binarne to obszar zainteresowania dzieci w wieku od 0 do 3 lat, gdzie pokazując paluszkiem bez przerwy trzeba dziecku definiować stałe binarna:
K – to jest krowa (K=1)
~K – to nie jest krowa (~K=1)
S – żarówka świeci (S=1)
~S – żarówka nie świeci (~S=1)
etc

Teraz uważaj Irbisolu:
Algebra Kubusia mówi o logice matematycznej której ekspertem jest każdy 5-cio latek, który wszelkie stałe binarne potrzebne mu do biegłego posługiwania się algebrą Kubusia ma w małym paluszku.

Propozycja nie do odrzucenia:
Prosiaczek zaoferował wytłumaczyć ci dowód formalny prawa Grzechotnika (bez żadnych przykładów!) dla stałych binarnych - na 100% zrozumiesz.
Warunek jak zwykle.
Przeczytasz?
TAK/NIE

Czy już rozumiesz o co chodzi z tą "żarówką świeci"?
Jesli nie to pozwól Prosiaczkowi działać - wtedy na 100% zrozumiesz ... inaczej pozostaniesz osłem po wsze czasy, pragniesz tego?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Nie 14:29, 08 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813129

Prawo Grzechotnika dla stałych binarnych!

Irbisol napisał:

Chcę zobaczyć, jak gad się pluje do S - żarówka świeci.

Bardzo proszę:

Spis treści
1.0 Teoria niezbędna do zrozumienia postu 1
1.1 Irbisol w wieku 9 miesięcy 1
1.2 Irbisol w pierwszej klasie LO na lekcji logiki matematycznej 2
1.2.1 Definicja stałej binarnej 3
1.2.2 Prawo Grzechotnika dla stałych binarnych 5
1.2.3 Prawo Sokoła dla stałych binarnych 6

1.0 Teoria niezbędna do zrozumienia postu

algebra Kubusia napisał:

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

1.1 Irbisol w wieku 9 miesięcy

Irbisolu, czy pamiętasz, jak w wieku 9 miesięcy mama trzymając cię na rączkach i pstrykając pstryczkiem elektryczkiem na ścianie pierwszy raz tłumaczyła co znaczą pojęcia:
„Żarówka świeci” vs „Żarówka nie świeci”?

Kod:

T1
A3.
Żarówka świeci
A3: Y=1
Czytamy:
Prawdą jest (=1), że żarówka świeci (Y)
##
oraz
B4.
Żarówka nie świeci
B4: ~Y=1
Czytamy:
Prawdą jest (=1), że żarówka nie świeci (~Y)
Gdzie:
## - pojęcia różne na mocy definicji

Znaczenie stałej binarnej Y:
Y – żarówka świeci (Y=1)
~Y – żarówka nie świeci (~Y=1)
Bardzo ci się to podobało bo sam dorwałeś się do pstryczka elektryczka powtarzając wiele razy:
O, żarówka świeci
A3: Y=1
##
Klikasz pstryczkiem i mówisz:
O, żarówka nie świeci
B4:~Y=1
Gdzie:
## - pojęcia różne na mocy definicji
… i tak w koło Macieju utrwaliłeś sobie w swoim małym móżdżku dwa, różne na mocy definicji pojęcia ## (stałe binarne):
A3: Y=1 (żarówka świeci Y) ## B4: ~Y=1 (żarówka nie świeci ~Y)
Gdzie:
## - różne na mocy definicji

1.2 Irbisol w pierwszej klasie LO na lekcji logiki matematycznej

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

1.2.1 Definicja stałej binarnej

Wykład prof. Prosiaczka – wysłannika 100-milowego lasu.

Prosiaczek:
Na dzisiejszej lekcji zajmiemy się pojęciem stała binarna definiowanym w tabeli TJ wierszami A3B3 oraz A4B4 na przykładzie żarówki, która może świecić (A3: Y=1), albo nie świecić (B4: ~Y=1) – trzeciej możliwości brak.

Definicja stałej binarnej.
Stała binarna to funkcja logiczna {Y,~Y} której wartość logiczna jest nam znana.
Innymi słowy:
Stała binarna to pojęcie {Y,~Y} którego wartość logiczna jest nam znana.

Znaczenie stałej binarnej {Y, ~Y}:
Y – żarówka świeci się (Y=1)
##
~Y – żarówka nie świeci się (~Y=1)
Gdzie:
## - pojęcia różne na mocy definicji

Logika dodatnia w algebrze Kubusia:
Z logiką dodatnią w algebrze Kubusia mamy do czynienia wtedy i tylko wtedy gdy funkcja logiczna Y nie jest zanegowana (Y)
Inaczej mamy do czynienia z logiką ujemną (bo ~Y)
Uwaga:
Wszelkie przeczenia w zdaniach muszą być uwzględnione są w kodowaniu matematycznym zdań.

Przykłady:
A3.
Żarówka świeci się
A3: Y=1 – logika dodatnia (bo Y)
##
B4.
Żarówka nie świeci się
B4: ~Y=1 – logika ujemna (bo ~Y)
Gdzie:
## - pojęcia różne na mocy definicji

Znaczenie zmiennej Y:
Y – żarówka świeci się (Y=1)
~Y – żarówka nie świeci się (~Y=1)
Uwaga:
Jedynki w kodowaniu zdań są domyślne i można je pominąć, co widać wyżej.

Linia A3B3 – stała binarna w logice dodatniej (bo Y):
Prosiaczek pstrykając pstryczkiem elektryczkiem zaświecił żarówkę i mówi:
Jak wszyscy widzą, żarówka świeci się (Y=1)

Zauważmy, że pojęcie „żarówka świeci się” (Y=1) w tabeli TJ możemy ulokować wyłącznie w punkcie A3.
A3.
Żarówka świeci się
A3: Y=1 – logika dodatnia (bo Y)
Czytamy:
Prawdą jest (=1) że żarówka świeci się (Y)

Prawo Prosiaczka:
(A3: Y=1) = (B3: ~Y=0)
Stąd na mocy prawa Prosiaczka mamy zdanie tożsame do A3:
B3: ~Y=0
Czytamy:
Fałszem jest (=0), że żarówka nie świeci się (~Y)
Jak widzimy, prawo Prosiaczka działa tu doskonale, zdania A3 i B3 są tożsame:
(A3: Y=1) = (B3: ~Y=0)

##

Linia A4B4 – stała binarna w logice ujemnej (bo ~Y):
Prosiaczek pstrykając pstryczkiem elektryczkiem zgasił żarówkę i mówi:
Jak wszyscy widzą, żarówka nie świeci się (~Y=1)

Zauważmy, że pojęcie „żarówka nie świeci się” (~Y=1) w tabeli TJ możemy ulokować wyłącznie w punkcie B4.
B4.
Żarówka nie świeci się
B4: ~Y=1
Czytamy:
Prawdą jest (=1) że żarówka nie świeci się (~Y)

Prawo Prosiaczka:
(B4: ~Y=1) = (A4: Y=0)
Stąd na mocy prawa Prosiaczka mamy zdanie tożsame do B4:
A4: Y=0
Czytamy:
Fałszem jest (=0), że żarówka świeci się (Y)
Jak widzimy, prawo Prosiaczka działa tu doskonale, zdania B4 i A4 są tożsame:
(B4: ~Y=1) = (A4: Y=0)
Gdzie:
## - różne na mocy definicji

Wytnijmy nasze zdania z tabeli TJ bo tylko nimi się teraz zajmujemy:

Kod:

T2
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Definicja znaczka różne na mocy definicji ##:
Dwa pojęcia są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadne z nich nie jest negacją drugiej.

Doskonale widać, że w tabeli T2 znaczek różne na mocy definicji ## jest perfekcyjnie spełniony
Dowód:
Negujemy dwustronnie funkcję logiczną A3: Y=1 lądując w punkcie B3: ~Y=0
Do funkcji logicznej B4: ~Y=1 o znanej zwartości logicznej (stała binarna) matematycznie nie mamy dojścia.

Oczywiście matematycznie zachodzi:
B3: ~Y=0 ## B4: ~Y=1
## - różne na mocy definicji

Uproszczona definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice (tu ujemnej bo ~Y) są różne na mocy definicji wtedy i tylko wtedy gdy prawe strony tych funkcji nie są tożsame.
Wniosek:
Funkcje logiczne B3 i B4 są różne na mocy definicji ##
cnd

1.2.2 Prawo Grzechotnika dla stałych binarnych

Zapiszmy tabelę T2 w postaci jej kwintesencji:

Kod:

T2.
A3: Y=1 # B3: ~Y=0
## ##
A4: Y=0 # B4: ~Y=1
Gdzie:
~Y=~(Y)
Y musi być wszędzie tym samym Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Kod:

T2”.
A3: 1 # B3: 0
## ##
A4: 0 # B4: 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale widać, że w tabeli T2" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli T2” zgubiona została kluczowa informacja o tym kiedy zajdzie Y (żarówka świeci), a kiedy zajdzie ~Y (żarówka nie świeci)
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych na poziomie stałych binarnych.

1.2.3 Prawo Sokoła dla stałych binarnych

Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.

Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Nie 14:32, 08 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813129

Prawo Grzechotnika dla stałych binarnych!

Irbisol napisał:

Chcę zobaczyć, jak gad się pluje do S - żarówka świeci.

algebra Kubusia napisał:

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Kod:

T2”.
A3: 1 # B3: 0
## ##
A4: 0 # B4: 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale widać, że w tabeli T2" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli T2” zgubiona została kluczowa informacja o tym kiedy zajdzie Y (żarówka świeci), a kiedy zajdzie ~Y (żarówka nie świeci)
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych na poziomie funkcji logicznych o znanej wartości logicznej (stałych binarnych)

1.2.3 Prawo Sokoła dla stałych binarnych

Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.

Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Nie 17:04, 08 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813139

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813129

rafal3006 napisał:

Prawo Grzechotnika dla stałych binarnych!

1.2.2 Prawo Grzechotnika dla stałych binarnych

Zapiszmy tabelę T2 w postaci jej kwintesencji:

Kod:

Irbisol napisał:

Czy tam jest napisane, że 1 ## 0 ?

Widzę, że nie wiesz w którym kościele dzwony biją.

Czy jedynka w punkcie:
A3.
Żarówka świeci się
A3: Y=1 – prawdą jest (=1), że żarówka świeci się (Y)

to jest ta sama jedynka co w punkcie:
B4.
Żarówka nie świeci się
B4: ~Y=1 – prawdą jest (=1), że żarówka nie świeci się (~Y)

Odpowiedź:
NIE jest!

Matematyczna relacja jest tu następująca:
A3: Y=1 ## B4: ~Y=1
Gdzie:
## - różne na mocy definicji

Zauważ, że jak usuniesz tu funkcje logiczne Y i ~Y to zostaną ci gołe jedynki i gówno-tożsamość matematyczna:
A3: 1 = B4: 1
Dokładnie ten fakt jest dowodem prawa Grzechotnika działającego również w stałych binarnych.

Definicja stałej binarnej:
Stała binarna to funkcja logiczna {Y,~Y} o znanej wartości logicznej

Prawo Grzechotnika dla stałych binarnych

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

Definicja stałej binarnej.
Stała binarna to funkcja logiczna {Y,~Y} której wartość logiczna jest nam znana.
Innymi słowy:
Stała binarna to pojęcie {Y,~Y} którego wartość logiczna jest nam znana.

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych, także na poziomie funkcji logicznych {Y,~Y} o znanej wartości logicznej (stała binarna)

Ostatnio zmieniony przez rafal3006 dnia Nie 22:11, 08 Wrz 2024, 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: 34685
Przeczytał: 26 tematów

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

Wysłany: Pon 11:25, 09 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181

Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.

Dowód w niniejszym poście.

Irbisol napisał:

Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa?

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y

Kod:

TFJ
Tabela wszystkich możliwych
funkcji logicznych Y=f(x) jednoargumentowych

Funkcja transmisji
A1: Y= p
##
Funkcja negacji
A2: Y=~p
##
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
A3: Y=1
##
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
A4: Y=0
Gdzie:
~p=~(p)
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.

Kod:

TFZ
Przykłady złożonych funkcji logicznych

Funkcja spójnika „albo”($)
A1: Y= p$q = p*~q+~p*q
##
Funkcja spójnika równoważności p<=>q
A2: Y= p<=>q = p*q+~p*~q
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji

Uwaga:
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y

W funkcjach jednoargumentowych mamy zaledwie 4 przypadki różne na mocy definicji ##

A1.
Funkcja transmisji
Y=p
Na wyjściu Y mamy zawsze niezanegowany sygnał p
Oczywiście Y i p to zmienne binarne
##
A2.
Funkcja negacji
Y=~p
Na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Oczywiście Y i p to zmienne binarne
##
A3.
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
Y=1
##
A4.
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
Y=0

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

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy ich prawe strony nie są tożsame.

Doskonale widać spełnienie definicji znaczka różne na mocy definicji ## zarówno w tabeli TFJ jak i TFZ.

Uwaga:
Zauważmy, że nawet jeśli zapiszemy tabele TFJ i TFZ w jednej tabeli to dalej definicja znaczka różne na mocy definicji ## będzie perfekcyjnie spełniona, przy czym kolejność zapisywania linii jest bez znaczenia, może być losowa.

Podsumowując:
Brak definicji funkcji logicznej Y powiązanej ze znaczkiem różne na mocy definicji ## w logice matematycznej ziemian to największa super-tragedia ziemskiej logiki matematycznej – to gówno musi wylądować w piekle na wiecznych piekielnych mękach
Amen.

Innymi słowy:
Chodzi tu o znaczki różne na mocy definicji ## rozumiane dokładnie tak jak w tabelach TFJ i TFZ.

Jakieś pytania?

Ostatnio zmieniony przez rafal3006 dnia Pon 12:18, 09 Wrz 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pon 17:33, 09 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813211

Dowód iż mózg każdego człowieka wykopuje w kosmos gówno zwane KRZ – zawsze i wszędzie!

Irbisol napisał:

Wcześniej pisałeś że Y związane jest z "dotrzymaniem słowa"
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#813031

Irbisolu, musisz nauczyć się odróżniać matematykę formalną (ogólną) od konkretnych przykładów.

Algebra Kubusia to matematyka języka potocznego!

W języku potocznym algebra Kubusia ma przełożenie 1:1 na matematykę formalną (ogólną) w postaci teorii bramek logicznych gdzie jestem ekspertem z racji wykształcenia.
Oznacza to, że dowolne zdanie z języka potocznego (podlegające pod AK) ma przełożenie 1:1 na teorię bramek logicznych.

Wstęp:
Pokażę ci na przykładzie o co tu chodzi.
Dużo pracuję przy komputerze (firma plus AK). Często pracując w dzień nie chce mi się podnosić żaluzji i pracuję przy włączonym świetle za co dostaję reprymendę od żony.

Załóżmy że masz w firmie podobnego do mnie pracownika Jasia, któremu za podobny wybryk jedziesz po premii.
Załóżmy, że jesteś poza firmą.
Dzwonisz do Jasia i pytasz:
Czy żarówka przy twoim komputerze świeci się?
Jaś:
Szefie „żarówka nie świeci się”.
Oczywiście nie masz tu pewności czy Jaś mówi prawdę, czy nie mówi prawdy.

Jak rozstrzygnąć kiedy Jaś mówi prawdę, a kiedy nie mówi prawdy?
W logice matematycznej zawsze zakładamy, że odbiorca mówi prawdę, inaczej, gdybyśmy każdy przypadek chcieli sprawdzać, to szpital psychiatryczny mamy jak w banku.

No, ale matematycznie musisz wiedzieć kiedy Jaś mówi prawdę, a kiedy nie mówi prawdy.
Zgadza się?
Dokładnie w tym momencie w twoim mózgu zaczyna działać algebra Kubusia, poza twoją świadomością, bo przecież jesteś jej wrogiem Nr. 1
Czyż nie?

Twój mózg, poza twoją świadomością, działa tak:
A2.
Y = ~S
Co w logice jedynek oznacza:
Y=1 <=> ~S=1
Czytamy:
Prawdą jest (=1) że Jaś mówi prawdę (Y) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)

Twoja córcia (lat 5) mówi do ciebie:
Tatko czy wiesz kiedy twój pracownik nie mówi prawdy (~Y)?
Na gruncie KRZ kompromitację masz gwarantowaną:
Dowód:
Fanatyk KRZ Windziarz na ateiście.pl, absolwent matematyki na Uniwersytecie Toruńskim na pytanie twojej córci odpowiada:
Nie wiadomo kiedy Jaś nie mówi prawdy, bo Jaś tego nie powiedział.
Przykład jest autentyczny – daję słowo!

Na twoje szczęście twój mózg przejmuje tu nad tobą kontrolę i mówisz będąc nieświadomym, gorliwym wyznawcą algebry Kubusia, bo podlegasz pod algebrę Kubusia nie mając żadnych szans, by się od niej uwolnić.

Oczywiście córcia że wiem:
Negujemy funkcję logiczną A2 stronami:
B2.
~Y = S
Co w logice jedynek oznacza:
~Y=1 <=>S
Czytamy:
Prawdą jest (=1) że Jaś nie mówi prawdy (~Y) wtedy i tylko wtedy gdy żarówka świeci się (S=1)

Znaczenie zmiennej binarnej Y:
Y – Jaś mówi prawdę (Y=1)
~Y - Jaś nie mówi prawdy (~Y=1)

Dowód iż twój mózg poza twoją świadomością posługuje się algebrą Kubusia mając w dupie posrany KRZ masz niżej.

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Zauważ że Jaś mówi do ciebie w kontekście jak we wstępie.

Żarówka nie świeci się
Y=~S
Jak widzisz, twój mózg, poza twoją kontrolą, zapisał zdanie Jasia w postaci funkcji jednoargumentowej.
Oczywiście nie wiesz czy Jaś mówi prawdę (Y) czy nie mówi prawdy (~Y), stąd jedyny punkt w teorii formalnej (ogólnej) gdzie możesz podstawić zdanie Jasia to punkt A2.
A2: Y=~p
Podstawiasz:
p=S
~(S) = ~S

Stąd w punkcie A2 masz zdanie z zapisie aktualnym (nasz przykład):
A2.
Y = ~S
Co w logice jedynek oznacza:
Y=1 <=> ~S=1
Czytamy:
Prawdą jest (=1) że Jaś mówi prawdę (Y) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
Prawo Prosiaczka:
(Y=1)=(~Y=0)
Stąd zapis tożsamy zdania A2 to:
~Y=0
Czytamy:
Fałszem jest (=0), że Jaś nie mówi prawdy (~Y) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)

… a kiedy Jaś nie mówi prawdy?
Negujemy funkcję logiczną A2 stronami:
B2.
~Y = S
Co w logice jedynek oznacza:
~Y=1 <=>S
Czytamy:
Prawdą jest (=1) że Jaś nie mówi prawdy (~Y) wtedy i tylko wtedy gdy żarówka świeci się (S=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd zapis tożsamy zdania B2 to:
Y=0
Fałszem jest (=0), że Jaś mówi prawdę (Y) wtedy i tylko wtedy gdy żarówka świeci się (S=1)

Znaczenie zmiennej binarnej Y:
Y – Jaś mówi prawdę (Y=1)
~Y - Jaś nie mówi prawdy (~Y=1)

Czy wszystko jasne?

Jakieś pytania?

Ostatnio zmieniony przez rafal3006 dnia Pon 17:35, 09 Wrz 2024, 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: 34685
Przeczytał: 26 tematów

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

Wysłany: Pon 17:36, 09 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813219

Irbisol napisał:

Czyli gdy mamy stałą, to Y oznacza co innego?

Tu masz precyzyjne wyjaśnienie znaczenia matematycznej funkcji logicznej Y dla każdego możliwego przypadku:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181

rafal3006 napisał:

Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.

Przeczytałeś?
Jesli tak to napisz czego nie rozumiesz?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Pon 17:37, 09 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813227

Irbisol napisał:

Nie rozumiem, czemu Y nie jest dla zmiennych oznaczeniem funkcji, lecz jest obietnicą.

I.
Matematycznie Y jest zmienną binarną w funkcji typu:
Y=~p
Pod tą zmienną przypisujemy obietnicę wtedy i tylko wtedy gdy mamy do czynienia z obietnicą, bowiem obietnica to w istocie zmienna binarna - nikt nie wie co istocie żywej mającej wolną wolę wpadnie do łba, może wpaść wszystko, zarówno prawda (Y) jak i kłamstwo (~Y)

II.
Matematycznie Y jest stałą binarną w funkcji typu:
Y=1

Napisz, czego konkretnie w cytacie niżej nie rozumiesz?
Wyróżniłem ci na czerwono NAJWAŻNIEJSZE zdanie w tym cytacie.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181

rafal3006 napisał:

Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y

Kod:

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.

Kod:

Ostatnio zmieniony przez rafal3006 dnia Pon 18:06, 09 Wrz 2024, 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: 34685
Przeczytał: 26 tematów

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

Wysłany: Pon 20:51, 09 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813257

W logice matematycznej kluczowa jest umiejętność kodowania matematycznego zdań!
Dowód:
Prawo Kameleona na końcu postu

Irbisol napisał:

W przypadku pójścia do kina pisałeś
A1.
Y = K
Czym tu jest Y, czym tu jest K?

W przypadku stwierdzenia, że żarówka świeci powinno być
A1.
Y = S
Czym tu jest Y, czym tu jest S?

Przy kodowaniu matematycznym jakie zastosowałeś znaczenie obu zdań jest identyczne.
Zarówno K jak i S są tu zmiennymi binarnymi.
Te zdania możesz podstawić tylko i wyłacznie w miejsce A1 w tabeli wszystkich możliwych spójników implikacyjnych.

Pani w przedszkolu
A1.
Jutro pódziemy do kina
Y=K

Ktoś mówi w temacie żarówki której NIE widzisz:
A1.
Żarówka świeci się
Y=S

Proste jak cep.

Przeczytasz kiedykolwiek poniższy post ze zrozumieniem, czy nigdy?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181

rafal3006 napisał:

Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.

Dowód w niniejszym poście.

Irbisol napisał:

Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa?

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.

Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y

Kod:

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.

Kod:

P.S.
Podpowiedź – wskazówka, to prawo Kameleona:
A1.
Jeśli jutro będzie padło to na 100% => będzie pochmurno
P=>CH =1
Padanie jest warunkiem wystarczającym => by było pochmurno, bo zawsze gdy pada jest pochmurno

B1.
Jeśli jutro będzie padało to na 100% ~> będzie pochmurno
P~>CH =0
Padanie nie jest (=0) warunkiem koniecznym ~> by było pochmurno bo może nie padać i być pochmurno

Stąd mamy:
Prawo Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame.

Dowód:
Zdania A1 i B1 wyżej

Wniosek:
W logice matematycznej kluczowa i najważniejsza jest umiejętność poprawnego matematycznie kodowania wszelkich zdań

Irbisolu:
Zgadzasz się z tym wnioskiem?
Zgadzasz się na prawo Kameleona?

Ostatnio zmieniony przez rafal3006 dnia Pon 21:27, 09 Wrz 2024, w całości zmieniany 4 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

Wysłany: Wto 7:39, 10 Wrz 2024 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813281

Irbisolu, cały 100-milowy las nie rozumie po co jeszcze walczysz?
Legitymacja Nr.1 członka klubu algebry Kubusia czeka na ciebie w 100-milowym lesie.
Kiedy zgłosisz się po odbiór?

Irbisol napisał:

Nie napisałeś czym jest K, czym S i czym Y.
A o to pytałem.

Napisałem, to jest proste jak cep.
Przy twoim kodowaniu:
A1: Y=K
oraz:
A1: Y=S

Y jest funkcją binarną definiowaną prawymi stronami tej funkcji.
Pojęcia K i S nie mogą tu być stałymi binarnymi, bo stała binarna definiowana jest zawsze i wszędzie funkcją logiczną Y o znanej z góry wartości logicznej tej funkcji, czyli:
Y=0
albo
Y=1

Ponieważ twoje kodowanie matematyczne jest takie:
A1: Y=K
oraz:
A1: Y=S
To w twoim kodowaniu pojęcia K i S są zmiennymi binarnymi.
cnd

Jeśli twierdzisz że K i S to są stałe binarne to masz błąd w twoim kodowaniu zdań:
A1: Y=K
oraz
A1: Y=S

Irbisolu, nadal czekam kiedy przeczytasz ze zrozumieniem najważniejszy post w historii logiki matematycznej jak niżej.
Doczekam się kiedykolwiek?

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813257

rafal3006 napisał:

W logice matematycznej kluczowa jest umiejętność kodowania matematycznego zdań!
Dowód:
Prawo Kameleona na końcu postu

Irbisol napisał:

W przypadku pójścia do kina pisałeś
A1.
Y = K
Czym tu jest Y, czym tu jest K?

W przypadku stwierdzenia, że żarówka świeci powinno być
A1.
Y = S
Czym tu jest Y, czym tu jest S?

Przy kodowaniu matematycznym jakie zastosowałeś znaczenie obu zdań jest identyczne.
Zarówno K jak i S są tu zmiennymi binarnymi.
Te zdania możesz podstawić tylko i wyłącznie w miejsce A1 w tabeli wszystkich możliwych spójników implikacyjnych.

Pani w przedszkolu
A1.
Jutro pójdziemy do kina
Y=K

Ktoś mówi w temacie żarówki której NIE widzisz:
A1.
Żarówka świeci się
Y=S

Proste jak cep.

Przeczytasz kiedykolwiek poniższy post ze zrozumieniem, czy nigdy?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181

rafal3006 napisał:

Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.

Dowód w niniejszym poście.

Irbisol napisał:

Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa?

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.

Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y

Kod:

Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.

Kod:

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 ... 107, 108, 109, 110 Następny
Strona 108 z 110

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