ŚFiNiA

Irbisol

Już ci tłumaczyłem, schizofreniku. Przy kwestii gada miałeś jakieś zastrzeżenia i trzeba je wyjaśnić, żeby się nie kręcić w kółko.
Sam poruszyłeś temat "kto jest schizofrenikiem - podaj linka i cytat". Podałem. Teraz odnosisz się do linka i do cytatu.

rafal3006

Irbisol

A ten znowu jak dziecko "wystraszyłeś się" :rotfl:

Sam uciekłeś z dyskusji o gadzie, zgłaszając zastrzeżenia. I teraz te tematy trzeba pozakańczać.
Zakończymy - będzie gad.
Teraz skomentuj link i cytat, których się domagałeś.

rafal3006

Irbisol

Czyli spierdalasz od tematu. W sumie - nic innego ci nie pozostało :rotfl:

rafal3006

Dowód formalny prawa Grzechotnika w rachunku zero-jedynkowym!
rozszerzonym o pojęcie funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y)

Niniejszy dowód prawa Grzechotnika jest dowodem formalnym tzn. dowodem na gruncie rachunku zero-jedynkowego bez związku z jakimkolwiek językiem mówionym człowieka.
Niniejszy post to kluczowe, początkowe fragmenty algebry Kubusia zatytułowanej:
„Nowa algebra Boole’a”

Algebra Kubusia - matematyka języka potocznego
1.0 Nowa algebra Boole'a

Spis treści
1.0 Nowa algebra Boole’a 2
1.1 Definicje elementarne algebry Boole'a 2
1.1.1 Definicja negacji 3
1.1.2 Definicja zmiennej binarnej w logice dodatniej i ujemnej 4
1.1.3 Negator dwukierunkowy w bramkach logicznych 4
1.2 Fundamenty algebry Boole'a 5
1.2.1 Definicja funkcji logicznej algebry Boole'a 6
1.2.2 Definicja dziedziny w logice matematycznej 6
1.2.3 Definicja bramki logicznej 7
1.2.4 Definicja funkcji logicznej Y w logice dodatniej i ujemnej 7
1.2.5 Prawo negacji funkcji logicznej 7
1.2.6 Ogólna definicja logiki matematycznej 8
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 8
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 9
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 9
1.3.3 Prawo Pytona 10
1.4 Prawa Prosiaczka 10
1.4.4 Przykład działania praw Prosiaczka na gruncie fizyki 11
1.4.6 Definicja standardu dodatniego w języku potocznym człowieka 11
1.6 Zasady kodowania zdań w operatorach jednoargumentowych 12
1.6.1 Funkcja logiczna Y zmiennej binarnej p 12
1.6.2 Funkcja logiczna Y stałej binarnej p 13
1.6.3 Kodowanie obietnic bezwarunkowych 13
1.7 Funkcje Y=x i operatory Y|=x jednoargumentowe 14
1.7.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 15
1.7.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 16
1.7.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 17
1.7.4 Prawo Grzechotnika dla funkcji jednoargumentowych 18
1.7.5 Prawo Sokoła 18

1.0 Nowa algebra Boole’a

Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).

Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.

Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym

Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.11 (sterowanie windą).
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodnimy za chwilkę (pkt. 1.7.4, 1.7.6, 1.8.1 – poziom 5-cio latka)

1.1 Definicje elementarne algebry Boole'a

1 = prawda
0 = fałsz

Gdzie:
1##0
Prawda (1) jest różna na mocy definicji ## od fałszu (0)

Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) - negacja

Innymi słowy:
Prawda (1) to zaprzeczenie (~) fałszu (0)
Fałsz (0) to zaprzeczenie (~) prawdy (1)

Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)

Pani w przedszkolu:
Pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 - zdanie zawsze prawdziwe
Pójdziemy do kina (K) i nie pójdziemy do kina (~K)
Y = K*~K =0 - zdanie zawsze fałszywe
Gdzie:
Y - stała binarna

Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1.

Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa

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.

rafal3006

Czy Irbisol zrozumie dowód prawa Grzechotnika?
Jestem pewien, że tak … o ile przeczyta oczywiście.

Kompletny, formalny dowód prawa Grzechotnika, wraz z niezbędną teorią matematyczną potrzebną do jego zrozumienia prezentuję w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-12475.html#843331

Irbisol

Nie pytałem o to.
Pytałem, co sądzisz o linku i cytacie, których się domagałeś, a które potwierdzają twoją schizofrenię.