Algebra Kubusia - rewolucja w logice matematycznej

Ś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

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni 1, 2, 3 ... 43, 44, 45 ... 396, 397, 398 Następny

Forum ŚFiNiA Strona Główna -> Filozofia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 36035
Przeczytał: 13 tematów

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

Wysłany: Wto 11:05, 30 Lis 2021 Temat postu:

Dowód wewnętrznej sprzeczności ziemskiego rachunku zero-jedynkowego na poziomie funkcji logicznych!

Irbisol napisał:

Moje rozumienie nie ma tu nic do rzeczy.
Co z tym dowodem? Wszyscy matematycy czekają z utęsknieniem na dowód sprzeczności KRZ, a tu wygląda to tak, że gówno masz na owo KRZ.
A że 100% definicji (nawet zaprzeczenie) jest w AK i KRZ sprzeczne i w KRZ nie ma sprzeczności - czyli twoja AK jest do dupy.

Czekam irbisolu kiedy zaczniesz czytać i obalać moje dowody, jak choćby w tym poście dowód, iż ziemski rachunek zero-jedynkowy jest wewnętrznie sprzeczny na poziomie funkcji logicznych.

Czy ktoś ma wątpliwości co zrobi Irbisol?
Za chwilę zacznie uciekać szybciej niż struś Pędziwiatr krzycząc "nie zamówionych wykładów nie czytam"

Algebra Kubusia
13.0 Prawo niesprzeczności rachunku zero-jedynkowego

Spis treści
13.0 Prawo niesprzeczności rachunku zero-jedynkowego 1
13.1 Kto lepiej zna logikę matematyczną, ziemski matematyk czy 5-cio latek? 3
13.2 Funkcja logiczna algebry Boole’a to pięta Achillesowa ziemian 5
13.3 Dowód wewnętrznej sprzeczności ziemskiego rachunku zero-jedynkowego 7
13.4 „Implikacja materialna” nie opisuje wzajemnej relacji między pojęciami p i q 9

13.0 Prawo niesprzeczności rachunku zero-jedynkowego

Definicja funkcji logicznej Y w algebrze Boole’a:
Funkcja logiczna Y w algebrze Boole’a to dowolne wyrażenie algebry Boole’a (np. ~p*~q) przypisane do tej funkcji.

Przykłady poprawnych funkcji logicznych:
Y = ~p*~q
Y = p+q
etc

Dowolną funkcję logiczną można tylko i wyłącznie dwustronnie zanegować.
Y=p+q
Negujemy dwustronnie:
~Y=~(p+q) = ~p*~q - bo prawo De Morgana

Zapiszmy poznane dotychczas spójniki logiczne w postaci funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).

Kod:

TSL - tabela spójników logicznych wyrażonych spójnikami „i”(*) i „lub”(+)

A:
Spójnik „lub”(+):
1. Y=p+q # 2. ~Y=~p*~q
##
B:
Spójnik „i”(*):
1. Y=p*q # 2. ~Y=~p+~q
##
C:
Warunek wystarczający p=>q:
1. Y=(p=>q)=~p+q # 2. ~Y=~(p=>q)=p*~q
##
D.
Warunek konieczny p~>q:
1. Y=(p~>q)=p+~q # 2. ~Y=~(p~>q)=~p*q
##
E.
Implikacja prosta p|=>q:
1. Y=(p|=>q)=~p*q # 2. ~Y=~(p|=>q)=p+~q
##
F.
Implikacja odwrotna p|~>q
1. Y=(p|~>q)=p*~q # 2. ~Y=~(p|~>q)=~p+q
##
G.
Równoważność p<=>q:
1. Y=(p<=>q)=p*q+~p*~q # 2. ~Y=~(p<=>q)=p*~q+~p*q
##
H.
Spójnik „albo”($):
1. Y=(p$q)=p*~q+~p*q # 2. ~Y=~(p$q)=p*q+~p*~q
##
I.
Chaos p|~~>q:
1. Y = (p|~~>q)=0 # 2. ~Y=~(p|~~>q)=1

Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest zaprzeczeniem drugiej
## - różne na mocy definicji funkcji logicznych

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

Definicja znaczka różne na mocy definicji ## dla funkcji logicznych:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej

Prawo niesprzeczności rachunku zero-jedynkowego:
Warunkiem koniecznym niesprzeczności rachunku zero-jedynkowego jest uwzględnianie funkcji logicznych w logice dodatniej (bo Y) i funkcji logicznych w logice ujemnej (bo ~Y) w kolumnach wynikowych rachunku zero-jedynkowego.

Zauważmy, że tabela TSL perfekcyjnie spełnia definicje obu znaczków # i ##.

W tabeli TSL doskonale widać, że każdy spójnik logiczny definiowany funkcją logiczną w logice dodatniej (bo Y) wymusza funkcję logiczną w logice ujemnej (bo ~Y) i odwrotnie.

Stąd mamy:
Definicja operatora logicznego wyrażonego spójnikami „i”(*) i „lub”(+):
Operator logiczny wyrażony spójnikami „i”(*) i „lub”(+) to układ równań logicznych dający odpowiedź na pytanie o Y i ~Y

Przykład:
Definicja warunku wystarczającego => w spójnikach „i”(*) i „lub”(+):
Y = (p=>q) = ~p+q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> ~p=1 lub q=1

Definicja operatora logicznego warunku wystarczającego p=>q wyrażonego spójnikami „i”(*) i „lub”(+):
Operator logiczny warunku wystarczającego p=>q wyrażony spójnikami „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y dający odpowiedź na pytanie o 1: Y i 2: ~Y
1.
Definicja warunku wystarczającego => w spójnikach „i”(*) i „lub”(+):
Y = (p=>q) = ~p+q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> ~p=1 lub q=1
Czytamy:
1A: Y=(p=>q)=~p+q =1
Prawdą jest (=1), że warunek wystarczający => jest spełniony (Y), wtedy i tylko wtedy gdy zajdzie ~p=1 lub zajdzie q=1

Prawo Prosiaczka:
(Y=1)=(~Y=0)
stąd zapis tożsamy:
1B: ~Y=(p=>q)=~p+q =0
Czytamy:
Fałszem jest (=0), że warunek wystarczający => nie jest spełniony (~Y), wtedy i tylko wtedy gdy zajdzie ~p=1 lub zajdzie q=1

Uwaga na notację w algebrze Kubusia:
Zapisy 1A i 1B są tożsame i należy je rozumieć jak wyżej.

… a kiedy zajdzie ~Y?
Negujemy równanie 1 stronami:
2.
~Y = ~(p=>q) = ~(~p+q) = p*~q - na mocy prawa De Morgana
~Y = ~(p=>q) = p*~q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
~Y=1 <=> p=1 i ~q=1
Czytamy:
2A: ~Y=~(p=>q)=p*~q=1
Prawdą jest (=1), że warunek wystarczający => Y nie jest spełniony (~Y), wtedy i tylko wtedy gdy zajdzie p (p=1) i nie zajdzie q (~q=1)

Prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd zapis tożsamy:
2B: Y = (p=>q) =p*~q =0
Czytamy:
Fałszem jest (=0), że warunek wystarczający => Y jest spełniony (Y), wtedy i tylko wtedy gdy zajdzie p (p=1) i zajdzie ~q (~q=1)

Uwaga na notację w algebrze Kubusia:
Zapisy 2A i 2B są tożsame i należy je rozumieć jak wyżej.

13.1 Kto lepiej zna logikę matematyczną, ziemski matematyk czy 5-cio latek?

Odpowiedź jest jednoznaczna: 5-cio latek

Dowód:
Weźmy przykład ze świata żywego, rodem z przedszkola.

Definicja obietnicy:
Jeśli dowolny warunek W to nagroda N
W=>N
Obietnica to warunek wystarczający W=>N wchodzący w skład implikacji prostej W|=>N - poznamy niebawem.

Weźmy obietnicę ojca dla syna:
W.
Jeśli zdasz egzamin to dostaniesz komputer
E=>K =1

Na mocy definicji warunku wystarczającego E=>K wchodzącego w skład implikacji prostej E|=>K w spójnikach „i”(*) i „lub”(+) mamy odpowiedź na dwa kluczowe pytania, kiedy ojciec dotrzyma słowa (Y=1) oraz kiedy ojciec nie dotrzyma słowa (~Y=1).
Zachodzi tożsamość pojęć:
~Y=1 - ojciec nie dotrzyma słowa (~Y) [=] S=1 - ojciec skłamie (S)

1.
Kiedy ojciec dotrzyma słowa (Y=1)?
Y = (E=>K) = ~E+K
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> ~E=1 lub K=1
Odpowiedź:
Ojciec dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy syn nie zda egzaminu (~E=1) lub dostanie komputer (K=1)

Oczywiście tej odpowiedzi żaden normalny człowiek nie zrozumie.
Czy istnieje sposób, by odpowiedzi na pytanie „Kiedy ojciec dotrzyma słowa?” udzielił ekspert algebry Kubusia, 5-cio letni Jaś?

Odpowiedź na ten problem jest twierdząca.
Należy tu zacząć od opisania przypadku „Kiedy ojciec skłamie (~Y=1)?”

Zuzia do Jasia:
Jasiu czy wiesz kiedy ojciec skłamie?
Jaś:
Oczywiście, że wiem.

Pytasz mnie:
2.
Kiedy ojciec skłamie (~Y=1)?

Negujemy równanie 1 stronami:
2.
~Y = ~(E=>K) = ~(~E+K) = E*~K - na mocy prawa De Morgana
czyli:
~Y = E*~K
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
~Y=1 <=> E=1 i ~K=1
Czytamy:
Prawdą jest (=1), że ojciec nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro:
E=1 i ~K=1 - syn za egzamin (E=1) i nie dostanie komputera (~K=1)

Oczywistym jest, że ojciec może tylko i wyłącznie nie dotrzymać słowa (~Y=1) albo dotrzymać słowa (Y=1).
Innymi słowy:
We wszystkich pozostałych możliwych przypadkach ojciec dotrzyma słowa (Y=1).

Czy teraz już wiesz Zuziu kiedy ojciec dotrzyma słowa?
Zuzia:
Phi, to bułka z masłem.
Ojciec dotrzyma słowa (Y=1), czyli nie skłamie (~S=1), wtedy i tylko wtedy gdy jutro:
E=1 i K=1 - syn zda egzamin (E=1) i dostanie komputer (K=1)
LUB
~E=1 i ~K=1 - syn nie zda egzaminu (~E=1) i nie dostanie komputera (~K=1)
LUB
~E=1 i K=1 - syn nie zda egzaminu (~E=1) i dostanie komputer (K=1)
Ostatni przypadek to piękny „akt miłości” gwarantowany przez algebrę Kubusia, czyli ojciec może wręczyć dziecku nagrodę (komputer: K=1) mimo ze ten nie spełnił warunku nagrody (nie zdał egzaminu: ~E=1)

Doskonale widać, że w definicji operatora warunku wystarczającego p=>q wyrażonego spójnikami „i”(*) i „lub”(+) nie ma mowy o jakimkolwiek „rzucaniu monetą” w sensie „na dwoje babka wróżyła” które dostaniemy przy definicji implikacji prostej p|=>q definiowanej zdaniami warunkowymi „Jeśli p to q” dającej odpowiedź na pytanie o p i ~p.
Szczegóły poznamy za chwilkę.

13.2 Funkcja logiczna algebry Boole’a to pięta Achillesowa ziemian

Pojęcie funkcji logicznej algebry Boole’a to pięta Achillesowa ziemskich matematyków.

Definicja funkcji logicznej Y w algebrze Boole’a:
Funkcja logiczna Y w algebrze Boole’a to dowolne wyrażenie algebry Boole’a (np. ~p*~q) przypisane do tej funkcji.

Przykłady poprawnych funkcji logicznych:
Y = p+q
Y = ~p*~q
Y = p*~q+~p*q
etc

Wniosek z definicji funkcji logicznej:
Nie jest funkcją logiczną zapis uwzględniający choćby jedno wartościowanie dowolnej zmiennej binarnej.
Przykładowe zapisy które nie spełniają definicji funkcji logicznej to:
Y=1<=>p+q
Y=0<=>~p*~q
etc

Definicja spójnika „albo”($) w spójnikach „i”(*) i „lub”(+):
Y = p$q =p*~q+~p*q - funkcja alternatywno-koniunkcyjna

Definicja spójnika równoważności p<=>q w spójnikach „i”(*) i „lub”(+):
Y = p<=>q = p*q+~p*~q - funkcja alternatywno-koniunkcyjna

Kolejność wykonywania działań w świecie techniki:
nawiasy, „i”(*), „lub”(+)

Właściwości funkcji logicznej Y:
Dowolną funkcję logiczną można tylko i wyłącznie dwustronnie zanegować
Y = p$q = p~q+ ~pq - zapis poprawny w świecie techniki (inżynierowie elektronicy)

Algorytm skróconego przejścia do logiki ujemnej (bo ~Y):
1.
Uzupełniamy brakujące spójniki i nawiasy:
Y = p$q = (p*~q) + (~p*q) - funkcja alternatywno-koniunkcyjna
2.
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = ~(p$q) = (~p+q)*(p+~q) - funkcja koniunkcyjno-alternatywna
3.
Jedyną funkcją logiczną zrozumiałą dla człowieka (od 5-cio latka poczynając) jest funkcja alternatywno-koniunkcyjna, stąd musimy wymnożyć wielomian logiczny 2 (każdy z każdym)
~Y = ~(p$q) = (~p+q)*(p+~q) = ~p*p + ~p*~q + q*p + q*~q = p*q + ~p*~q = p<=>q
~Y=~(p$q) = (p*q)+(~p*~q) = p<=>q
bo:
p*~p =0 - prawo algebry Boole’a
0+x=x - prawo algebry Boole’a
q*p = p*q - iloczyn logiczny (*) jest przemienny
stąd mamy:
~Y = ~(p$q) = p*q + ~p*~q = p<=>q
bo definicja równoważności p<=>q w spójnikach „i”(*) i „lub”(+):
p<=>q = p*q + ~p*~q
4.
Przejście z funkcją 3 do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników na przeciwne
Y = p$q = (~p+~q)*(p+q) = ~(p<=>q) - funkcja koniunkcyjno-alternatywna

Stąd mamy znane każdemu matematykowi.

Twierdzenie Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie).

Dowód na naszym przykładzie:
1: Y=p$q = p*~q+~p*q [=] 4: Y = p$q = (~p+~q)*(p+q)
3: ~Y=~(p$q) = p*q+~p*~q [=] 2: ~Y=~(p$q) = (~p+q)*(p+~q)

Świat techniki (inżynierowie elektronicy) doskonale zna pojęcie funkcji logicznej w algebrze Boole’a - sam z tego świata przybyłem.
Dowód:
W żadnym katalogu bramek logicznych nie znajdziemy opisu choćby jednej bramki logicznej przedstawionej w postaci wyrażenia algebry Boole’a z pominięciem funkcji logicznej Y.

Przykład:
[link widoczny dla zalogowanych]

Texas Instruments - pionier układów TTL napisał:

SN7486
They perform the Boolean function Y = A*~B + ~A*B

Oczywistym jest że nie jest funkcją Boole’a samo wyrażenie algebry Boole’a:
A*~B+~A*B
Wyłącznie jełopy mogą tego nie wiedzieć.

Podsumowując:
1.
Ziemski matematyk który nie zna poniższej definicji funkcji algebry Boole’a powinien skreślić słówko „matematyk” sprzed swego nazwiska.

Definicja funkcji logicznej Y w algebrze Boole’a:
Funkcja logiczna Y w algebrze Boole’a to dowolne wyrażenie algebry Boole’a (np. p*~q+~p*q) przypisane do tej funkcji.
Przykład:
Y = (p$q) = p*~q+~p*q

2.
Ziemski matematyk który nie wie, że dowolną funkcje logiczną można dwustronnie zanegować powinien spalić się ze wstydu i wziąć zimny prysznic.
Nasz przykład:
~Y = ~(p$q) = p*q + ~p*~q

Stąd mamy prawa De Morgana mówiące o związku logiki dodatniej (bo Y) z logiką ujemną (bo ~Y):
I.
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y):
Y=~(~Y) = ~(p*q+~p*~q) = p*~q+~p*q
II.
Logika ujemna (bo ~Y) to zanegowana logika dodatnia (bo Y):
~Y=~(Y) = ~(p*~q+~p*q) = p*q + ~p*~q

13.3 Dowód wewnętrznej sprzeczności ziemskiego rachunku zero-jedynkowego

Dowód wewnętrznej sprzeczności ziemskiego rachunku zero-jedynkowego:
Ziemski rachunek zero-jedynkowy który w wypełnianiu tabel zero-jedynkowych operuje tylko i wyłącznie wyrażeniami algebry Boole’a ignorując zarówno funkcje logiczne w logice dodatniej (bo Y) i jak i funkcje logiczne w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczny na poziomie funkcji logicznych.

Twardy dowód to podana wyżej tabela spójników logicznych (TSL) zapisana wyłącznie w postaci wyrażeń algebry Boole’a z pominięciem funkcji logicznych Y i ~Y.
Dokładnie ten błąd fatalny popełniają wszyscy ziemscy matematycy.

Kod:

TSL’ - tabela spójników logicznych
po zostawieniu wyłącznie wyrażeń algebry Boole’a

A: Spójnik „lub”(+)
1. p+q # 2. ~p*~q
##
B: Spójnik „i”(*)
1. p*q # 2. ~p+~q
##
C: Warunek wystarczający =>
1. ~p+q # 2. p*~q
##
D. Warunek konieczny ~>
1. p+~q # 2. ~p*q
##
E. Implikacja prosta p|=>q
1. ~p*q # 2. p+~q
##
F. Implikacja odwrotna p|~>q
1. p*~q # 2. ~p+q
##
G. Równoważność p<=>q
1. p*q+~p*~q # 2. p*~q+~p*q
##
H. Spójnik „albo”($) p$q
1. p*~q+~p*q # 2. p*q+~p*~q
##
I. Chaos p|~~>q
1. =0 # 2. =1

Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest zaprzeczeniem drugiej
## - różne na mocy definicji funkcji logicznych

Definicja znaczka różne na mocy definicji ## funkcji logicznych:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej

Zauważmy, że po zostawieniu w tabeli TSL samych wyrażeń algebry Boole’a definicja znaczka różne # w znaczeniu iż jedna strona jest negacją drugiej strony jest wszędzie spełniona.
ALE!
Definicja znaczka różne na mocy definicji ## jest gwałcona w następujących miejscach:

Kod:

TSL’
C1: ~p+q [=] F2:~p+q
D1: p+~q [=] E2: p+~q
E1: ~p*q [=] D2:~p*q
F1: p*~q [=] C2: p*~q
G1: p*q+~p*~q [=] H2: p*q+~p*~q
H1: p*~q+~p*q [=] G2: p*~q+~p*q

cnd

Wniosek:
Rachunek zero-jedynkowy ziemskich matematyków jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
cnd

13.4 „Implikacja materialna” nie opisuje wzajemnej relacji między pojęciami p i q

Fragment dyskusji w temacie „logika matematyczna”:

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

Irbisol napisał:

szaryobywatel napisał:

rafal3006 napisał:

szaryobywatel napisał:

A sama implikacja jest relacją pomiędzy jej argumentami.

Co do wytłuszczonego:
Zgadza się że implikacja jest relacją między argumentami p i q w zdaniu warunkowym "Jeśli p to q", jednak implikacja materialna zabija jakiekolwiek relacje między argumentami w zdaniu warunkowym "Jeśli p to q".

Tak się składa, że programuję w asemblerze non-stop od od 40 lat i twierdzę, że to wytłuszczone na gruncie implikacji materialnej nie jest prawdą.
Czy możesz udowodnić, że jest?

Oczywiście że mogę, ale po co miałbym to zrobić skoro i tak niczego nie zrozumiesz i nie zechcesz zrozumieć? Może zacznij od czegoś tak podstawowego jak pojęcie relacji, bo widać że nie wiesz czym jest relacja. Potem zweryfikuj sobie sam, czy implikacja materialna jest relacją, a potem zadaj sobie pytanie co masz na myśli mówiąc o "zabijaniu jakichkolwiek relacji między argumentami w zdaniu warunkowym "Jeśli p to q"".

No to ci odpowiedział - ja zawsze ...
Czyli wysrał tony gówna, byle zagłuszyć swoją ignorancję.

Uważaj Irbisolu, piszę po raz n-ty:
W języku ludzi normalnych (nie pacjentów zakładu zamkniętego bez klamek, gdzie na drzwiach pisze "implikacja materialna") dowolne zdanie warunkowe "Jesli p to q" opisuje jedną z trzech relacji między pojęciami p i q

1.
Warunek wystarczający =>:
„Jeśli p to q”
p=>q =1 - wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q
inaczej:
p=>q =0
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

2.
Warunek konieczny ~>:
„Jeśli p to q”
p~>q =1 - wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla zajścia q
inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

3.
Zdarzenie możliwe ~~> w zdarzeniach lub element wspólny zbiorów ~~> w zbiorach:
Zdarzenia:
„Jeśli p to q”
p~~>q = p*q =1 - wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q
inaczej;
p~~>q = p*q =0
Zbiory:
„Jeśli p to q”
p~~>q = p*q =1 - wtedy i tylko wtedy gdy istnieje element wspólny zbiorów p i q
inaczej:
p~~>q = p*q =0

Koniec!
Te trzy definicje to matematyczny fundament obsługi wszelkich zdań warunkowych „Jeśli p to q” w algebrze Kubusia. Spójniki „i”(*) i „lub”(+) pełnią w algebrze Kubusia wyłącznie funkcje pomocnicze (przygotowawcze) dla zdań warunkowych „Jeśli p to q” gdzie podejmuje się decyzję o wszelkich rozgałęzieniach logiki (= programu komputerowego).

Irbisolu, napisz proszę czego nie rozumiesz, co kwestionujesz z mojej odpowiedzi dla Szaregoobywatela.
Pewne jest że zrobisz to co zwykle - zwiejesz w krzaki udając że nie rozumiesz mojej trywialnej odpowiedzi.
Podważ cokolwiek z niej ... a widzisz, nie potrafisz.
Amen

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

rafal3006 napisał:

Definicja logiki matematycznej!

[link widoczny dla zalogowanych]

Wikipedia napisał:

Relacja – odzwierciedlenie oddziaływania między dwoma bądź większą liczbą podmiotów, przedmiotów, cech, obiektów matematycznych, itp.

Powyższa, ogólna definicja relacji pasuje do algebry Kubusia

Definicja logiki matematycznej:
Logika matematyczna to binarna odpowiedź {0,1} na pytanie o wzajemną relację dwóch pojęć p i q.
1 = TAK (relacja spełniona)
0 = NIE (relacja niespełniona)
Wszystko co wykracza poza te symbole {0,1} nie jest logiką matematyczną.

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

szaryobywatel napisał:

rafal3006 napisał:

szaryobywatel napisał:

A sama implikacja jest relacją pomiędzy jej argumentami.

[link widoczny dla zalogowanych]

Wikipedia napisał:

Relacja – odzwierciedlenie oddziaływania między dwoma bądź większą liczbą podmiotów, przedmiotów, cech, obiektów matematycznych, itp.

To jest definicja ogólna i bardzo szeroka.
Dowód:
[link widoczny dla zalogowanych]

Wikipedia napisał:

• relacja w matematyce – jedno z podstawowych pojęć matematyki, w szczególności: relacja zwrotna, relacja symetryczna, relacja antysymetryczna, relacja przeciwsymetryczna, relacja równoważności, relacja sprzężenia, relacja przechodnia, relacja dobrze ufundowana, relacja słabo konfluentna, relacja silnie konfluentna, relacja spójna, relacja pusta, relacja pełna, relacja rozmyta, relacja równości, relacja częściowego porządku, relacja dobrego porządku, symbol relacyjny, funkcja
• w informatyce:
o Model relacyjny i relacyjna baza danych
o w modelu relacyjnym baz danych "relacja" to formalne określenie tabeli
o rachunek relacyjny
o system relacyjny
• w psychologii
o relacje społeczne (międzyludzkie) – patrz stosunek społeczny, więź społeczna
o relacja terapeutyczna
o relacja z obiektem
o relacja emocjonalna
• zeznania naocznego świadka. Stąd wzięły się:
o sąd relacyjny
o sejmik relacyjny
• relacja językowa – patrz związki językowe
• trasa przejazdu środka komunikacji
• relacja rodzinna
• relacjami w fizyce nazywa się niektóre wzory (zob. relacja Thomsona)
• relacja w filozofii(ang.)

Ja nie neguje powyższych znaczeń pojęcia „relacja” - mogą sobie być, ale …

Definicja logiki matematycznej:
Logika matematyczna to binarna odpowiedź {0,1} na pytanie o wzajemną relację dwóch pojęć p i q.
1 = TAK (relacja spełniona)
0 = NIE (relacja niespełniona)
Wszystko co wykracza poza te symbole {0,1} nie jest logiką matematyczną.

Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka

Przykłady pojęć zrozumiałych:
p = [pies, koło, miłość, krasnoludek, zbór wszystkich zwierząt ...]

Przykłady pojęć niezrozumiałych:
q = [agstd, sdked …]

Pojęcia mają wartości logiczne:
1 = prawda, gdy pojęcie jest zrozumiałe (np. pies)
0 = fałsz, gdy pojęcie jest niezrozumiale (np. agstd)

Prawo Rekina:
Dowolny program komputerowy można zapisać w języku asemblera będącego ojcem dla wszelkich języków programowania wysokiego poziomu.
Wszelkie rozkazy warunkowe „Jeśli p to q” w języku asemblera spełniają zapisaną wyżej definicję logiki matematycznej.

Dowolny program napisany w języku wysokiego poziomu musi być przetłumaczony przez program translatora na język asemblera i dopiero ten program jest fizycznie wykonywany przez komputer.

Teraz uważaj Szaryobywatelu.

Istota logiki matematycznej:
W logice matematycznej zadajesz pytania binarne i musisz otrzymać binarną odpowiedź:
1 = prawa
0 = fałsz

Wyjaśniam czym jest logika matematyczna na prostym przykładzie.
Zdefiniujmy dwa zbiory:
P8=[8,16,24..] - zbiór liczb podzielnych przez 8
P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2

Trzy trywialne pytania do Szaregoobywatela:
1.
Czy zbiór P8 jest podzbiorem => zbioru P2?
TAK=1/NIE=0 - to jest relacja podzbioru =>
2.
Czy zbiór P8 jest nadzbiorem ~> zbioru P2?
TAK=1/NIE=0 - to jest relacja nadzbioru ~>
3.
Czy zbiór P8 jest tożsamy ze zbiorem P2?
TAK=1/NIE=0

Oczywistym jest że relacja podzbioru/nadzbioru może być spełniona (=1) albo niespełniona (=0) trzeciej możliwości brak - dokładnie tym jest logika matematyczna (trzeciej możliwości brak!)
Odpowiedzi muszą być w logice matematycznej binarne {0,1}!

Poproszę o odpowiedź na powyższe pytania.
Zauważ, że nie ma tu znaczenia czy mówimy o algebrze Kubusia, czy też o logice matematycznej ziemian.

Inne przykłady ilustrujące czym jest logika matematyczna!
Czy liczba 5 jest większa od liczby 2?
TAK=1/NIE=0
Czy liczba 5 jest równa liczbie 2?
TAK=1, NIE=0
Czy liczba 5 jest mniejsza od liczby 2?
TAK=1, NIE=0

Podsumowując:
Szaryobywatelu, proszę o odpowiedź na moje trzy pytania.
c.d.n.

Ostatnio zmieniony przez rafal3006 dnia Wto 11:09, 30 Lis 2021, w całości zmieniany 1 raz