ŚFiNiA

rafal3006

Matematyka języka potocznego!

Właśnie zacząłem pisanie podręcznika "Matematyka języka potocznego" bo dokładnie tym jest algebra Kubusia.
Rozdział 2.0 jest absolutnie decydujący dla zrozumienia podręcznika, gdyż zawiera wszystkie definicje podstawowe konieczne do jego zrozumienia.
Dlatego proszę wszystkich chętnych, w szczególności Irbisola i Idiotę aby przeczytali rozdział 2.0 i napisali czego nie rozumieją lub co jest ich zdaniem matematycznie do dupy.

rafal3006

Matematyka języka potocznego!

Część I
Operatory jednoargumentowe.

Ciąg dalszy nastąpi - bardzo proszę o uwagi w tym temacie

Spis treści
1.0 Teoria zdarzeń vs teoria zbiorów 1
2.0 Operatory jednoargumentowe w języku potocznym 3
2.1 Definicja algebry Kubusia 3
2.2 Definicje podstawowe algebry Kubusia 4
2.2.1 Definicja znaczka różne na mocy definicji ## 5
2.2.2 Prawa Prosiaczka 5
2.2.3 Prawo podwójnego przeczenia 6
2.2.4 Definicja znaczka różne # 6
2.3 Operator transmisji Yt 7
2.3.1 Analiza operatora transmisji w logice jedynek 11
2.3.2 Symboliczna analiza operatora transmisji 13
2.4 Operator negacji Yn 13
2.4.1 Symboliczna analiza operatora negacji 15
2.4.2 Rozbicie definicji negatora Yn na funkcje Y i ~Y 15
2.5 Operator transmisji vs operator negacji 17

1.0 Teoria zdarzeń vs teoria zbiorów

Twierdzenie Słonia to jedno z najważniejszych twierdzeń logiki matematycznej.

Twierdzenie Słonia:
Warunkiem koniecznym i wystarczającym poznania logiki matematycznej jest zapoznanie się z teorią zdarzeń.

Uzasadnienie wyboru teorii zdarzeń:
1.
Teoria zdarzeń jest nieporównywalnie prostsza i klarowniejsza od teorii zbiorów nieskończonych na których operuje matematyka klasyczna. Patrz Uwaga 1
2.
Fundamentem działania komputerów jest teoria zdarzeń a nie teoria zbiorów.
Chodzi tu oczywiście o wskaźniki na których operują rozkazy warunkowe mikroprocesora (równoważność!) jak na przykład:
CY - wskaźnik przeniesienia (zmienna binarna CY=1 albo ~CY=1)
(~CY=1)=(CY=0) - prawo Prosiaczka
etc
3.
Fundamentem działania wszelkich stworzeń żywych jest teoria zdarzeń, bowiem warunkiem koniecznym życia na ziemi jest perfekcyjna znajomość algebry Kubusia przez owe stworzenia.
Chodzi tu oczywiście o matematyczną obsługę obietnic (implikacja prosta p|=>q) oraz gróźb (implikacja odwrotna p|~>q).
Zwierzątka które nie odróżniały nagrody (obietnica) od kary (groźba) dawno wyginęły.

Z twierdzenia Słonia oraz z powyższych faktów wynika, że naukę algebry Kubusia w I klasie LO należy rozpocząć na gruncie banalnej teorii zdarzeń.

Uwaga 1
Matematyka klasyczna kompletnie nie rozumie logiki matematycznej zajmując się na przykład „mocą zbiorów” czyli badaniem który zbiór ma więcej elementów, co z punktu widzenia logiki matematycznej jest idiotyzmem bowiem w logice matematycznej operującej na zbiorach istotne jest tylko i wyłącznie badanie:

1.
Czy zbiór p jest podzbiorem => zbioru q
Definicja podzbioru =>:
p=>q =1
Zbiór p jest (=1) podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
Inaczej:
p=>q =0

##

2.
Czy zbiór p jest nadzbiorem ~> zbioru q
Definicja nadzbioru ~>:
p~>q =1
Zbiór p jest (=1) nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
Inaczej:
p~>q =0

##

3.
Czy zbiór p ma element wspólny ~~> ze zbiorem q
Definicja elementu wspólnego zbiorów:
p~~>q = p*q =1
Zbiór p ma (=1) element wspólny ze zbiorem q wtedy i tylko wtedy gdy iloczyn logiczny tych zbiorów nie jest zbiorem pustym
Inaczej:
p~~>q = p*q =0

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

Uwaga!
To jest kompletny fundament na którym zbudowana jest logika matematyczna dotycząca zbiorów.

Przykładowa głupota w matematyce ziemian zwana „mocą zbioru” to pokłosie fałszywego fundamentu wszelkich logik matematycznych ziemian zwanego Klasycznym Rachunkiem Zdań.

Kogo na przykład interesuje że:
Zbiór p=[pies, samochód, miłość] ma więcej elementów niż zbiór q=[kwadrat, koło]
Do czego jakiemuś idiocie potrzebna jest taka informacja?

2.0 Operatory jednoargumentowe w języku potocznym

Definicja matematyki języka potocznego:
Matematyka języka potocznego to logika matematyczna izolowana od wszelkich tabel zero-jedynkowych.

Uzasadnienie:
Każdy człowiek na ziemi perfekcyjnie posługuje się logiką matematyczną bez użycia choćby najprostszej tabeli zero-jedynkowej

Przykład:
Zero-jedynkowa definicja funkcji logicznej transmisji Y=p: