ŚFiNiA

[rafal3006]

Algebra Kubusia
Matematyka języka potocznego

2025-08-03 Wersja przedpremierowa

Autor:
Kubuś ze 100-milowego lasu




Ziemia Obiecana - biblijne miejsce, do którego Mojżesz prowadził Izraelitów po wyprowadzeniu ich z Egiptu i przeprowadzeniu przez Morze Czerwone
Algebra Kubusia – miejsce, do którego Kubuś ze 100-milowego lasu prowadził ziemskich matematyków po wyprowadzeniu ich z Klasycznego Rachunku Zdań


Rozszyfrowali:
Rafal3006 i przyjaciele

Pierwszy recenzent:
ChatGPT

ChatGPT napisał:
Rozumiem i bardzo się cieszę, że nasze rozmowy są dla Ciebie tak wartościowe.
Będę w roli „pierwszego recenzenta” pilnować, żeby każdy punkt był maksymalnie jasny, spójny i logicznie żelazny — ale też zrozumiały dla czytelnika, który nigdy wcześniej o takich rzeczach nie słyszał. Czyli Twój dokument będzie rósł w wersji „technicznie pełnej”, a tu w rozmowie będziesz miał moją „wersję z uwagami, podpowiedziami i poprawkami”.
Myślę, że w ten sposób połączymy oba światy — rzetelny materiał i bogate komentarze.

Fantastyczna dyskusja z ChatGPT – pełna historia spotkań:
[link widoczny dla zalogowanych]

[rafal3006]

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 7
1.2.3 Definicja bramki logicznej 7
1.2.4 Definicja funkcji logicznej Y w logice dodatniej i ujemnej 8
1.2.5 Prawo negacji funkcji logicznej 8
1.2.6 Definicja zdania w algebrze Boole'a 8
1.2.7 Ogólna definicja logiki matematycznej 8
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 9
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 9
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 10
1.3.3 Prawo Pytona 11
1.4 Prawa Prosiaczka 11
1.4.1 Dowód I prawa Prosiaczka 13
1.4.2 Dowód II prawa Prosiaczka 13
1.4.3 Prawa Prosiaczka w bramkach logicznych 14
1.4.4 Przykład działania praw Prosiaczka na gruncie fizyki 14
1.4.5 Definicja standardu dodatniego w języku potocznym człowieka 15
1.5 Logika matematyczna stałych binarnych 16
1.5.1 Stałe binarne w wieku niemowlęcym 16
1.5.2 Stałe binarne w wieku 9 miesięcy 17
1.5.3 Pułapki w operatorach jednoargumentowych 18
1.6 Zasady kodowania zdań w operatorach jednoargumentowych 18
1.6.1 Funkcja logiczna Y zmiennej binarnej p 19
1.6.2 Funkcja logiczna Y stałej binarnej p 20
1.6.3 Kodowanie obietnic bezwarunkowych 20
1.7 Funkcje Y=x i operatory Y|=x jednoargumentowe 21
1.7.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 21
1.7.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 22
1.7.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 23
1.7.4 Prawo Grzechotnika dla funkcji jednoargumentowych 24
1.7.5 Prawo Sokoła 25
1.7.6 Prawo Grzechotnika dla stałych binarnych 25
1.8 Prawo Grzechotnika na przykładzie zrozumiałym dla 5-cio latka 26
1.8.1 Dowód prawa Grzechotnika na poziomie przedszkola 30
1.9 Prawo Puchacza dla zdań twierdzących jednoargumentowych 30
1.9.1 Prawo Puchacza w rachunku zero-jedynkowym 31
1.9.2 Przykład operatora transmisji A0B0: Y|=K 32



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.
Algebra Boole’a z definicji nie zna kluczowych definicji warunku wystarczającego => i koniecznego ~> (2.0) dlatego poprawna obsługa zdań warunkowych „Jeśli p to q” jest poza jej zasięgiem.

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)

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, zdarzenie niemożliwe
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]

Algebra Kubusia - matematyka języka potocznego
1.10 Aksjomatyka algebry Boole’a

Spis treści
1.10 Aksjomatyka algebry Boole’a 2
1.10.1 Aksjomatyka minimalna algebry Boole'a 3
1.11 Sterowanie windą autorstwa 5-cio latków 6
1.12 Algorytm Wuja Zbója przejścia do logiki przeciwnej 8
1.12.1 Prawo Małpki 9
1.13 Równoważność K<=>T w świecie żywym 10
1.13.1 Opis równoważności K<=>T funkcją alternatywno-koniunkcyjną 10
1.13.2 Prawo Pandy 11
1.13.3 Definicja funkcji alternatywno-koniunkcyjnej 11
1.13.4 Prawo Małpiątka 12
1.14 Definicja spójnika „lub”(+) 12
1.14.1 Definicja operatora „lub”(+) 12
1.14.2 Diagram operatora „lub"(|+) w zdarzeniach niepustych i rozłącznych 13
1.14.3 Definicja spójnika „lub”(+) w zdarzeniach rozłącznych 14
1.14.4 Przykład operatora „lub"(|+) w zdarzeniach niepustych i rozłącznych 14
1.15 Definicja spójnika „i”(*) 16
1.15.1 Definicja operatora „i”(|*) 16
1.15.2 Diagram operatora „i”(|*) w zdarzeniach niepustych i rozłącznych 17
1.15.3 Przykład operatora „i”(|*) w zdarzeniach 18
1.16 Opis tabeli zero-jedynkowej równaniami algebry Boole’a 19
1.16.1 Opis tabeli zero-jedynkowej w logice jedynek 21
1.16.2 Opis tabeli zero-jedynkowej w logice zer 22
1.16.3 Związek opisu tabel zero-jedynkowych w logice jedynek i w logice zer 24
1.17 Tworzenie tabeli zero-jedynkowej dla dowolnej funkcji logicznej Y 24
1.18 Funkcje logiczne dwuargumentowe 25
1.18.1 Tabela wszystkich możliwych funkcji dwuargumentowych 27
1.18.2 Tabela wszystkich możliwych operatorów dwuargumentowych 27
1.18.3 Prawo Grzechotnika 29
1.19 Obietnice bezwarunkowe 29
1.19.1 Obietnica bezwarunkowa n-argumentowa 30




1.10 Aksjomatyka algebry Boole’a

Definicja funkcji logicznej Y dwóch zmiennych binarnych p i q:
Funkcja logiczna Y w logice dodatniej (bo Y) dwóch zmiennych binarnych p i q to cyfrowy układ logiczny dający na wyjściu binarnym Y jednoznaczne odpowiedzi na wszystkie możliwe wymuszenia na wejściach p i q.

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

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 w pkt. 1.11

Definicje spójników „i”(*) i „lub”(+):

I.
(*) - spójnik „i”(*) z języka potocznego człowieka

Definicja zero-jedynkowa spójnika „i”(*):

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
2.0 Kompendium algebry Kubusia

Spis treści
2.0 Kompendium algebry Kubusia 2
2.1 Skorowidz znaczków używanych w algebrze Kubusia 2
2.1.1 Definicja zdania startowego 3
2.2 Elementarne spójniki implikacyjne w zdarzeniach 3
2.2.1 Definicja zdarzenia możliwego ~~> 3
2.2.2 Definicja warunku wystarczającego => w zdarzeniach 5
2.2.3 Definicja warunku koniecznego ~> w zdarzeniach 5
2.2.4 Definicja kontrprzykładu w zdarzeniach 6
2.3 Elementarne spójniki implikacyjne w zbiorach 7
2.3.1 Definicja elementu wspólnego zbiorów ~~> 7
2.3.2 Definicja warunku wystarczającego => w zbiorach 8
2.3.3 Definicja warunku koniecznego ~> w zbiorach 9
2.3.4 Definicja kontrprzykładu w zbiorach 10
2.4 Rachunek zero-jedynkowy warunków wystarczających => i koniecznych ~> 10
2.4.1 Definicja funkcji logicznej algebry Boole'a 11
2.4.2 Definicja dziedziny w logice matematycznej 11
2.4.3 Typowe twierdzenie matematyczne 12
2.4.4 Obszar działania algebry Kubusia w obsłudze zdań „Jeśli p to q” 13
2.4.5 Matematyczne związki między warunkami wystarczającymi => i koniecznymi ~> 13
2.4.6 Definicje znaczków # i ## 16
2.4.7 Ogólna definicja tożsamości logicznej „=” 16
2.5 Prawa algebry Kubusia wynikłe z rachunku zero-jedynkowego 16
2.5.1 Prawa Sowy 17
2.5.2 Tożsamość logiczna w prawach Sowy 17
2.6 Kluczowe prawa algebry Kubusia 17
2.6.1 Definicja dowodu "nie wprost" w algebrze Kubusia 19
2.6.2 Prawa Prosiaczka 19
2.6.3 Standard dodatni w języku potocznym 20
2.6.4 Domyślność warunku wystarczającego => 20
2.7 Fundamenty logiki matematycznej w obsłudze zdań warunkowych „Jeśli p to q” 21
2.7.1 Definicja zdania startowego 21
2.7.2 Definicja podstawowego spójnika implikacyjnego 21
2.7.3 Prawo Kameleona. Implikacja prosta P|=>CH 22
2.7.4 Implikacja odwrotna CH|~>P 23
2.7.5 Nietrywialny błąd podstawienia ### 25
2.8 Prawa Słonia 26
2.8.1 Prawo Słonia dla zbiorów 26
2.8.2 Prawo Słonia dla zdarzeń 28
2.8.3 Uwaga na minę – nietrywialny błąd podstawienia ###! 29


2.0 Kompendium algebry Kubusia

Niniejszy punkt to kompendium algebry Kubusia zawierające zawierająca wszystkie potrzebne definicje i prawa algebry Kubusia konieczne i wystarczające do zrozumienia matematycznej obsługi zdań warunkowych "Jeśli p to q" zarówno na gruncie teorii zdarzeń, jak i na gruncie teorii zbiorów.

2.1 Skorowidz znaczków używanych w algebrze Kubusia

Definicja spójnika implikacyjnego:
Spójnik implikacyjny to spójnik związany z obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>

Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
1.
Elementarne spójniki logiczne w zdarzeniach:
~~> - spójnik zdarzenia możliwego (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Elementarne spójniki logiczne w zbiorach:
~~> - element wspólny zbiorów (2.3.1)
=> - warunek wystarczający tożsamy z relacją podzbioru =>(2.3.2)
~> - warunek konieczny tożsamy z relacją nadzbioru ~>(2.3.3)
2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12)
|~> - implikacja odwrotna (2.13)
<=> - równoważność (2.14)
|~~> - chaos (2.15)
3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi
||=> - operator implikacji prostej (2.12.1)
||~> - operator implikacji odwrotnej (2.13.1)
|<=> - operator równoważności (2.14.1)
||~~> - operator chaosu (2.15.1)

Znaczki dodatkowe:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony (2.4.1 i 2.5.1)
## - różne na mocy definicji (2.4.1 i 2.5.1)
### - różne na mocy nietrywialnego błędu podstawienia (2.7.5)

Znaczki pomocnicze z algebry Boole’a:
(~) - negacja
(*) - spójnik „i”(*) z języka potocznego
(+) - spójnik „lub”(+) z języka potocznego

Uwaga końcowa:
Powyższy zestaw znaków jest kompletny i wystarczający do matematycznej obsługi zdań warunkowych „Jeśli p to q” w algebrze Kubusia.
W szczególności — algebra Kubusia:
• nie korzysta z rachunku predykatów,
• nie używa żadnych znaków ani kwantyfikatorów z tym rachunkiem związanych.


2.1.1 Definicja zdania startowego

Formalna budowa zdania warunkowego:
Jeśli p to q
p – poprzednik, część zdania po „Jeśli …”
q – następnik, część zdania po „to…”

Definicja zdania startowego:
Zdanie startowe to zdanie od którego zaczynamy analizę matematyczną.

W zdaniu startowym warunkowym „Jeśli p to q” po „Jeśli …” mamy zawsze przyczynę p, zaś po „to…” mamy zawsze skutek q

Zachodzi tożsamość pojęć:
Zdanie startowe = Zdanie wypowiedziane (przeznaczone do analizy)

Zdanie startowe to kluczowe prawo logiki matematycznej zapewniające jej jednoznaczność, co udowodnimy w punkcie 2.7.5 definiującym nietrywialny błąd podstawienia ###.

2.2 Elementarne spójniki implikacyjne w zdarzeniach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech elementarnych znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń/zbiorów p i q

2.2.1 Definicja zdarzenia możliwego ~~>

Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q =p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q.
Inaczej:
p~~>q=p*q =[] =0
Gdzie:
p i q może być w dowolnych przeczeniach, co wynika z definicji zero-jedynkowej znaczka ~~>

Na mocy definicji zdarzenia możliwego ~~> badamy możliwość zajścia jednego zdarzenia, nie analizujemy tu czy między p i q zachodzi warunek wystarczający => czy też konieczny ~>.

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
2.9 Podstawowe spójniki implikacyjne

Spis treści
2.9 Podstawowe spójniki implikacyjne 1
2.9.1 Podstawowa definicja implikacji prostej p|=>q 2
2.9.2 Podstawowa definicja implikacji odwrotnej p|~>q 3
2.9.3 Podstawowa definicja równoważności p<=>q 3
2.9.4 Podstawowa definicja chaosu p|~~>q 3
2.9.5 Matematyczne relacje między podstawowymi spójnikami implikacyjnymi 5
2.9.6 Prawo Kruka 5
2.10 Prawo Puchacza 6
2.11 Algorytm Puchacza, prawo Kłapouchego 8
2.11.1 Przykłady zdań niespełniających algorytmu Puchacza 10
2.11.2 Kwintesencja algorytmu Puchacza 10
2.12 Implikacja prosta p|=>q 11
2.12.1 Operator implikacji prostej p||=>q 12
2.13 Implikacja odwrotna p|~>q 14
2.13.1 Operator implikacji odwrotnej p||~>q 14
2.14 Prawo Irbisa i związana z nim definicja równoważności p<=>q 16
2.14.1 Kolumnowe i międzykolumnowe prawo Irbisa 17
2.14.2 Przykład kolumnowego prawa Irbisa 18
2.14.3 Przykład międzykolumnowego prawa Irbisa 20
2.15 Równoważność p<=>q 21
2.15.1 Operator równoważności p|<=>q 22
2.16 Chaos p|~~>q 24
2.16.1 Operator chaosu p||~~>q 25


2.9 Podstawowe spójniki implikacyjne

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
3.0 Implikacja prosta p|=>q

Spis treści
3.0 Implikacja prosta p|=>q 1
3.1 Tabela prawdy implikacji prostej p|=>q dla zbiorów/zdarzeń 2
3.1.1 Operator implikacji prostej p||=>q 3
3.2 Diagram implikacji prostej p|=>q 6
3.2.1 Prawo Orła w implikacji prostej p|=>q 6
3.3 Zdjęcie układu operatora implikacji prostej p||=>q 8
3.3.1 Zdjęcie układu w zdarzeniach w praktyce 9
3.3.2 Zdjęcie układu w zbiorach w praktyce 10
3.4 Algorytm Puchacza 11
3.5 Sztandarowy przykład implikacji prostej P|=>CH w zdarzeniach 13
3.5.1 Operator implikacji prostej P||=>CH 17
3.6 Geneza zero-jedynkowej definicji warunku wystarczającego p=>q 19
3.6.1 Zero-jedynkowa definicja warunku koniecznego ~p~>~q 22
3.6.2 Prawo porównywania w rachunku zero-jedynkowym 23
3.7 Analiza zdań warunkowych "Jeśli p to q" algorytmem Puchacza 23
3.7.1 Zdanie W1: P~~>CH 23
3.7.2 Zdanie W2: P=>CH 24
3.7.3 Zdanie W3: P~~>~CH 24
3.7.4 Zdanie W4: ~P~~>~CH 25
3.7.5 Zdanie W5: ~P~>~CH 26
3.7.6 Zdanie W6: ~P~~>CH 27
3.7.7 Zdanie W7: ~P=>~CH 27


3.0 Implikacja prosta p|=>q

Kwintesencja operatora implikacji prostej P||=>CH w wykonaniu 5-cio latka.

Pani w przedszkolu:
Powiedz mi Jasiu czy jeśli juro będzie padało (P) to będzie pochmurno (CH)?
Jaś (lat 5):
A1.
Jeśli jutro będzie padało (P) to na pewno => będzie pochmurno (CH)
P=>CH =1
Padanie (P) jest warunkiem wystarczającym => dla istnienia chmur (CH) bo zawsze gdy pada, są chmury.

Pani:
Czy może zajść zdarzenie: pada i nie ma chmur?
Jaś:
A1’.
Niemożliwe jest (=0) zdarzenie ~~>: pada (P) i nie ma chmur (~CH)
P~~>~CH = P*~CH =0

Pani:
Co może się wydarzyć, jeśli jutro nie będzie padało (~P)?

Jaś:
A2.
Jeśli jutro nie będzie padało to może ~> nie być pochmurno
~P~>~CH =1
Brak padania (~P) jest warunkiem koniecznym ~> by nie było pochmurno (~CH), bo jak pada (P) to na pewno => są chmury (CH)
Jak widzimy, prawo Kubusia samo tu Jasiowi wyskoczyło:
A2: ~P~>~CH = A1: P=>CH

lub

Pani:
Czy może się zdarzyć, że jutro nie będzie padało i będzie pochmurno?

Jaś:
B2’.
Jeśli jutro nie będzie padało (~P) to może ~~> być pochmurno (CH)
~P~~>CH =~P*CH =1
Możliwe jest (=1) zdarzenie ~~>: nie pada (~P) i są chmury (CH)

Jak widzimy, Jaś perfekcyjnie zna algebrę Kubusia, bo wyssał ją z mlekiem matki.
Logika formalna w zapisach ogólnych jest tu następująca.

3.1 Tabela prawdy implikacji prostej p|=>q dla zbiorów/zdarzeń

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
3.8 Algebra Kubusia w obsłudze świata żywego - obietnice

Spis treści
3.8 Algebra Kubusia w obsłudze świata żywego - obietnice 1
3.8.1 Budowa operatorów implikacji prostej p||=>q i odwrotnej p||~>q 2
3.9 Definicje obietnicy p=>q i groźby p~>q 4
3.10 Sztandarowy przykład obietnicy E=>K 5
3.10.1 Operator implikacji prostej E||=>K 7
3.11 Prawo transformacji w obietnicach i groźbach 9
3.11.1 Dosadny przykład poprawności prawa transformacji 13
3.12 Wyjaśnienie definicji "wolnej woli" istot żywych 14
3.13 Obietnica w równaniach logicznych 15
3.14 Rodzaje obietnic 17
3.15 Obietnica Chrystusa W=>Z 18
3.15.1 Operator implikacji prostej W||=>Z 20
3.15.2 Kluczowe dialogi Chrystusa z człowiekiem 23
3.15.3 Algebra Kubusia = Biblia 24
3.16 Interpretacja obietnicy wyrażonej spójnikami „i”(*) i „lub”(+) 25
3.16.1 Matematyczna relacja między Y i ~Y 27


3.8 Algebra Kubusia w obsłudze świata żywego - obietnice

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
4.0 Implikacja odwrotna p|~>q

Spis treści
4.0 Implikacja odwrotna p|~>q 1
4.1 Tabela prawdy implikacji odwrotnej p|~>q dla zbiorów/zdarzeń 2
4.1.1 Operator implikacji odwrotnej p||~>q 3
4.2 Diagram implikacji odwrotnej p|~>q 5
4.2.1 Prawo Orła w implikacji odwrotnej p|~>q 6
4.3 Zdjęcie układu operatora implikacji odwrotnej p||~>q 8
4.3.1 Zdjęcie układu w zdarzeniach w praktyce 8
4.3.2 Zdjęcie układu w zbiorach w praktyce 9
4.4 Algorytm Puchacza 11
4.5 Sztandarowy przykład implikacji odwrotnej CH|~>P 14
4.5.1 Operator implikacji odwrotnej CH||~>P 17
4.6 Geneza zero-jedynkowej definicji warunku koniecznego p~>q 20
4.6.1 Zero-jedynkowa definicja warunku wystarczającego ~p=>~q 22
4.6.2 Prawo porównywania w rachunku zero-jedynkowym 23
4.7 Analiza zdań warunkowych "Jeśli p to q" algorytmem Puchacza 23
4.7.1 Zdanie W1: CH~~>P 24
4.7.2 Zadanie W2: CH~>P 25
4.7.3 Zdanie W3: CH~~>~P 25
4.7.4 Zdanie W4: ~CH~~>~P 26
4.7.5 Zdanie W5: ~CH=>~P 26
4.7.6 Zdanie W6: ~CH~~>P 27
4.7.7 Zdanie W7: CH=>P 27


4.0 Implikacja odwrotna p|~>q

Kwintesencja operatora implikacji odwrotnej CH|~>P w wykonaniu 5-cio latka.
Pani w przedszkolu:
Powiedz mi Jasiu, czy jeśli jutro będzie pochmurno (CH) to może padać (P)?
Jaś (lat 5):
B1.
Jeśli jutro będzie pochmurno (CH) to może ~> padać (P)
CH~>P =1
Pani:
Czy chmury są konieczne ~> by padało?
Jaś:
Chmury są konieczne ~> by padało, bo padać może wyłącznie z chmury

lub

Pani:
Czy jeśli jutro będzie pochmurno to może ~~> nie padać?
Jaś:
A1’.
Jeśli jutro będzie pochmurno (CH) to może ~~> nie padać (P)
CH~>~P=CH*~P =1
Tak, bo możliwe jest zdarzenie ~~>: są chmury (CH) i nie pada (~P)

Pani :
Co może się wydarzyć, jeśli jutro nie będzie pochmurno (~CH)?

Jaś:
B2.
Jeśli jutro nie będzie pochmurno (~CH) to na pewno => nie będzie padać (~P)
~CH=>~P =1
Brak chmur (~CH) jest warunkiem wystarczającym => dla nie padania (~P) bo zawsze gdy nie ma chmur, nie pada.

Pani:
Czy może zajść zdarzenie: nie ma chmur (~CH) i pada (P)?
Jaś:
B2’.
Niemożliwe jest (=0) zdarzenie ~~>: nie ma chmur (~CH) i pada (P)
~CH~~>P = ~CH*P =0

Jak widzimy, Jaś perfekcyjnie zna algebrę Kubusia, bo wyssał ją z mlekiem matki.
Logika formalna w zapisach ogólnych jest tu następująca.

4.1 Tabela prawdy implikacji odwrotnej p|~>q dla zbiorów/zdarzeń

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
4.8 Algebra Kubusia w obsłudze świata żywego - groźby

Spis treści
4.8 Algebra Kubusia w obsłudze świata żywego - groźby 1
4.8.1 Budowa operatorów implikacji odwrotnej p||~>q i prostej p||=>q 2
4.9 Definicje groźby p~>q i obietnicy p=>q 3
4.10 Sztandarowy przykład groźby B~>L 5
4.10.1 Operator implikacji odwrotnej B||~>L 7
4.11 Prawo transformacji w obietnicach i groźbach 11
4.12 Wyjaśnienie definicji "wolnej woli" istot żywych 14
4.13 Groźba w równaniach logicznych 15
4.14 Interpretacja groźby wyrażonej spójnikami „i”(*) i „lub”(+) 18
4.14.1 Matematyczna relacja między Y i ~Y 20


4.8 Algebra Kubusia w obsłudze świata żywego - groźby

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
5.0 Równoważność p<=>q

Spis treści
5.0 Równoważność p<=>q 1
5.1 Prawo Irbisa i związana z nim definicja równoważności p<=>q 4
5.1.1 Kolumnowe i międzykolumnowe prawo Irbisa (2.14) 5
5.1.4 Diagram równoważności p<=>q 6
5.2 Równoważność p<=>q w analizie szczegółowej 8
5.2.1 Operator równoważności p|<=>q 9
5.3 Relacje matematyczne w tabeli prawdy równoważności p<=>q 11
5.3.1 Relacje między równoważnością A1B1: p<=>q a A2B2: ~p<=>~q 12
5.4 Sztandarowy przykład równoważności w zbiorach TP<=>SK 14
5.5 Tabela prawdy równoważności TP<=>SK 16
5.5.1 Operator równoważności TP|<=>SK 17
5.6 Geneza zero-jedynkowej definicji równoważności p<=>q 20
5.6.1 Zero-jedynkowa definicja równoważności p<=>q 21
5.6.2 Zero-jedynkowa definicja równoważności ~p<=>~q 23
5.6.3 Prawo porównywania w rachunku zero-jedynkowym 24
5.6.4 Równoważność w bramkach logicznych 24
5.7 Bonus – obalenie ziemskiej Teorii Mnogości 24


5.0 Równoważność p<=>q

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
5.8 Algorytm Puchacza w obsłudze równoważności A<=>S

Spis treści
5.8 Algorytm Puchacza w obsłudze równoważności A<=>S 1
5.8.1 Operator równoważności p|<=>q 3
5.9 Prawo Puchacza 5
5.10 Sztandarowy przykład równoważności A<=>S w zdarzeniach 7
5.10.1 Operator równoważności A|<=>S w zdarzeniach 12
5.10.2 Diagram równoważności A<=>S w zapisie formalnym i aktualnym 15
5.10.3 Równoważność jednokierunkowa A<=>S w zdarzeniach 16
5.11 Analiza zdań warunkowych "Jeśli p to q" algorytmem Puchacza 19
5.11.1 Zdanie W1: A~~>S 20
5.11.2 Zadania W2: A=>S 21
5.11.3 Zdanie W3: A~~>~S 21
5.11.4 Zdanie W4: ~A~~>~S 22
5.11.5 Zdanie W5: ~A=>~S 23
5.11.6 Zdanie W6: ~A~~>S 23



5.8 Algorytm Puchacza w obsłudze równoważności A<=>S

Tabela prawdy równoważności p<=>q w zdarzeniach

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
6.0 Chaos p|~~>q w zbiorach


Spis treści
6.0 Chaos p|~~>q w zbiorach 1
6.1 Definicja chaosu p|~~>q w zbiorach 2
6.1.1 Operator chaosu p||~~>q 4
6.1.2 Diagram chaosu p|~~>q w zbiorach 5
6.2 Algorytm Puchacza 6
6.3 Sztandarowy przykład chaosu w zbiorach P8|~~>P3 8
6.3.1 Operator chaosu P8||~~>P3 w zbiorach 13
6.4 Geneza zero-jedynkowej definicji elementu wspólnego zbiorów ~~> 14
6.4.1 Matematyczna interpretacja elementu wspólnego zbiorów ~~> 17


6.0 Chaos p|~~>q w zbiorach

Definicja chaosu p|~~>q w algebrze Kubusia nie polega na tym, że wypowiadamy dowolne śmiecie rodem z podręcznika matematyki do I klasy w polskim LO:
[link widoczny dla zalogowanych]
@Podręcznik LO: „Jeśli pies ma 8 łap to Księżyc krąży wokół Ziemi”

W algebrze Kubusia rozpatrujemy tylko i wyłącznie zdania warunkowe „Jeśli p to q” które spełniają pierwsze trzy punkty algorytmu Puchacza, zatem powyższe gówienko z definicji wyrzucamy do kosza na śmieci, bo brak tu wspólnej dziedziny dla p i q.

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
7.0 Spójnik "albo"($) w języku potocznym

Spis treści
7.0 Spójnik "albo"($) w języku potocznym 1
7.1 Geneza spójnika „albo”($) 2
7.1.1 Jednoargumentowy spójnik „albo”($) p$~p 3
7.1.2 Prawo Jastrzębia 6
7.1.3 Dwuargumentowy spójnik „albo”(|$) p$q 6
7.1.4 Wnioski z definicji p$~p oraz p$q 9
7.2 Definicja spójnika „albo”($) p$q zilustrowana przykładem S$Z 10
7.2.1 Operator "albo"($) p|$q w logice dodatniej (bo q) 14
7.3 Geneza zero-jedynkowej definicji spójnika „albo” p$q 17
7.3.1 Zero-jedynkowa definicja spójnika „albo”($) p$q 19
7.3.2 Zero-jedynkowa definicja spójnika „albo” ~p$~q 20
7.3.3 Prawo porównywania w rachunku zero-jedynkowym 21
7.4 Spójnik "lub"(+) vs spójnik "albo"($) 21
7.4.1 Prawo Bobra w świecie martwym 22
7.5 Zadanie S$Z 24
7.6 Prawo Grzechotnika 26


7.0 Spójnik "albo"($) w języku potocznym

Potoczna definicja spójnika „albo”($):
Spójnik „albo”($) to wybór jednej z dwóch dostępnych możliwości (trzeciej możliwości brak)

Zdania ze spójnikiem „albo”($) na poziomie 5-cio latka:
1.
Żarówka może świecić (S) „albo”($) nie świecić (~S)
S$~S =1
2.
Żarówka może świecić (S) „albo"($) być zgaszona (Z)
S$Z=1
3.
Dowolny człowiek jest mężczyzną (M) „albo"($) kobietą (K)
M$K =1
4.
Przeżyję „albo”($) umrę – trzeciej możliwości brak
P$U =1

Zadania na poziomie zbiorów nieskończonych:
5.
Dowolny trójkąt jest prostokątny (TP) „albo"($) nie jest prostokątny (~TP)
TP$~TP=1

Zauważmy, że z punktu widzenia logiki matematycznej wszystkie powyższe zdania to zdania zawsze prawdziwe, których użyteczność w matematyce i komunikacji człowieka z człowiekiem jest praktycznie zerowa.

Zdania podobne, których użyteczność w komunikacji człowieka z człowiekiem jest zerowa to równoważność jednoargumentowa (masło maślane).
p<=>p
Przykład:
1.
Żarówka świeci (S) wtedy i tylko wtedy gdy świeci (S)
S<=>S =1
2.
Trójkąt jest prostokątny (TP) wtedy i tylko wtedy gdy jest prostokątny (TP)
TP<=>TP =1
3.
W języku potocznym tego typu zdania mogą co najwyżej podkreślać znaczenie czegoś np.
dolar to dolar – to co innego niż złotówka w roku 1990
AI
Maksymalny wzrost cen w historii Polski to około 1395% w 1990 roku

7.1 Geneza spójnika „albo”($)

W algebrze Kubusia dwuargumentowy spójnik „albo”($) p$q od dawna jest zdefiniowany dobrze, łącznie z wyprowadzoną tabelą zero-jedynkowej tego spójnika.
Nowość w algebrze Kubusia, dzięki ChatGPT zapisana, to zdefiniowanie jednoargumentowego spójnika „albo”($) p$~p.

Przypomnienie definicji z których będziemy korzystać w niniejszym rozdziale.

Definicja zdarzenia możliwego ~~> (2.2.1):
Jeśli zajdzie p to może ~~> zajść q
p~~>q =p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q.
Inaczej:
p~~>q=p*q =[] =0 – zdarzenie niemożliwe

Decydujący w powyższej definicji jest znaczek zdarzenia możliwego ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
Uwaga:
Na mocy definicji zdarzenia możliwego ~~> badamy możliwość zajścia jednego zdarzenia, nie analizujemy tu czy między p i q zachodzi warunek wystarczający => czy też konieczny ~>.

Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wymusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wymusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)

Definicja zdjęcia układu w teorii zdarzeń (3.3):
Zdjęcie układu to seria czterech zdań warunkowych "Jeśli p to q" kodowanych zdarzeniem możliwym ~~> w kierunku od p do q przez wszystkie możliwe przeczenia p i q z rozstrzygnięciem o prawdziwości/fałszywości wszystkich zdań składowych.

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
8.0 Kubusiowa teoria zbiorów

Spis treści
8.0 Kubusiowa teoria zbiorów 2
8.1 Elementarne spójniki implikacyjne w zbiorach 2
8.1.1 Definicja elementu wspólnego zbiorów ~~> 2
8.1.2 Definicja warunku wystarczającego => w zbiorach 2
8.1.3 Definicja warunku koniecznego ~> w zbiorach 3
8.1.4 Definicja kontrprzykładu w zbiorach 3
8.2 Definicje elementarne w Kubusiowej teorii zbiorów 4
8.3 Elementarne działania logiczne na zbiorach 5
8.3.1 Suma logiczna zbiorów 5
8.3.2 Iloczyn logiczny zbiorów 6
8.3.3 Różnica (-) zbiorów 6
8.4 Definicje podstawowe w Kubusiowej teorii zbiorów 7
8.4.1 Definicja pojęcia 7
8.4.2 Definicja elementu zbioru 8
8.4.3 Definicja zbioru 8
8.4.4 Definicja zbioru pustego 8
8.4.5 Definicja Uniwersum U 8
8.5 Prawo Owieczki 9
8.5.1 Prawo Jastrzębia 10
8.5.2 Definicja zbioru wszystkich zbiorów 13
8.5.3 Marzenia ludzkości 13
8.6 Definicja definicji 14
8.7 Dziedzina 15
8.7.1 Zaprzeczenie zbioru 15
8.7.2 Nazwa własna zbioru 16
8.7.3 Dziedzina użyteczna w języku potocznym 16
8.8 Prawo Puchacza 17
8.9 Algorytm Puchacza, prawo Kłapouchego 17
8.9.1 Przykłady zdań niespełniających algorytmu Puchacza 19
8.9.2 Kwintesencja algorytmu Puchacza 20
8.10 Zaprzeczenie zdania w algebrze Kubusia 20
8.11 Jak wynalazłem niebieską diodę i zmieniłem świat 23
8.11.1 Matematyczny opis wszelkich okryć w naszym Wszechświecie 26
8.11.2 Matematyczny opis odkrycia niebieskiej diody LED 27



8.0 Kubusiowa teoria zbiorów

Algebra Kubusia to logika matematyczna pod którą podlega cały nasz Wszechświat, żywy i martwy (w tym język potoczny człowieka) zaszyta w zdaniach warunkowych „Jeśli p to q”

Algebra Boole’a operująca tylko i wyłącznie na pięciu znaczkach {1, 0, ~, +, *} z definicji nie rozpoznaje elementarnych znaczków algebry Kubusia w zbiorach, którymi są.
=> - warunek wystarczający, relacja podzbioru
~> - warunek konieczny, relacja nadzbioru
~~> - element wspólny zbiorów

Wniosek:
W algebrze Boole’a niemożliwy jest poprawny, matematyczny opis naszego Wszechświata.

Przypomnijmy elementarne znaczki algebry Kubusia w zbiorach {~~>, =>, ~>} (2.3)

8.1 Elementarne spójniki implikacyjne w zbiorach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zbiorów/zdarzeń p i q.

8.1.1 Definicja elementu wspólnego zbiorów ~~>

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q =p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q= p*q= [] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>
Gdzie:
p i q może być w dowolnych przeczeniach.

8.1.2 Definicja warunku wystarczającego => w zbiorach

Definicja podzbioru => w algebrze Kubusia:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Matematycznie zachodzi tożsamość pojęć:
Warunek wystarczający => = Relacja podzbioru =>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

8.1.3 Definicja warunku koniecznego ~> w zbiorach

Definicja nadzbioru ~> w algebrze Kubusia:
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zbiór p zawiera co najmniej wszystkie elementy zbioru q
p~>q =1 - wtedy i tylko wtedy gdy relacja nadzbioru ~> jest (=1) spełniona
Inaczej:
p~>q =0 - wtedy i tylko wtedy gdy relacja nadzbioru ~> nie jest (=0) spełniona

Definicja warunku koniecznego ~> w zbiorach:
Jeśli p to q
p~>q =1
Zajście p jest (=1) konieczne ~> dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Zajście p nie jest (=0) konieczne ~> dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q

Matematycznie zachodzi tożsamość pojęć:
Warunek konieczny ~> = Relacja nadzbioru ~>

Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

8.1.4 Definicja kontrprzykładu w zbiorach

Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)

Uwaga na standard w algebrze Kubusia:
Kontrprzykład dla warunku wystarczającego => A1 oznaczamy A1’

8.2 Definicje elementarne w Kubusiowej teorii zbiorów

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 ZWZ, ...]

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)

Prawa Prosiaczka
Prawa Prosiaczka omówiono szczegółowo w punkcie 1.4

I Prawo Prosiaczka:
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:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji

Przykład 1.
(p=1) = (~p=0)
1.
[pies]=1 - prawdą jest (=1) iż wiem co znaczy pojęcie pies
Prawo Prosiaczka:
(p=1) = (~p=0)
Nasz przykład:
(pies=1) = (~pies=0) - na mocy prawa Prosiaczka
stąd zdanie tożsame do 1:
~pies=0 - fałszem jest (=0), że nie wiem (~) co znaczy pojęcie [pies]

Przykład 2.
(~p=1) = (p=0)
2.
agstd=0 - fałszem jest (=0) iż wiem co znaczy pojęcie „agstd”
Prawo Prosiaczka:
(agstd=0) = (~agstd=1)
stąd zdanie tożsame do 2:
~agstd=1 - prawdą jest (=1), że nie wiem (~) co znaczy pojęcie agstd

Jak widzimy, prawa Prosiaczka działają doskonale.

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Definicja zbioru pustego []:
Zbiór pusty [], to zbiór zawierający zero pojęć zrozumiałych dla człowieka

Przykład:
[] = [agstd, sdked …]

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

W algebrze Kubusia znaczkiem który korzysta z powyższego jest definicja elementu wspólnego zbiorów ~~>:
p~~>q=p*q =1 – wtedy i tylko wtedy gdy zbiór p ma element wspólny ~~> ze zbiorem q
Inaczej:
p~~>q=p*q =[] =0 – gdy zbiory p i q nie mają elementu wspólnego ~~> (są rozłączne)

W AK w zdaniach warunkowych „Jeśli p to q” mówiących o zbiorach badamy relację podzbioru p=>q lub nadzbioru p~>q, gdzie zbiory p i q z definicji muszą być niepuste (algorytm Puchacza) - to jest fundamentalnie co innego niż badanie elementu wspólnego zbiorów ~~> p i q.

8.3 Elementarne działania logiczne na zbiorach

Elementarne działania na zbiorach to:
(+) - suma logiczna zbiorów
(*) - iloczyn logiczny zbiorów
(-) - różnica logiczna zbiorów

8.3.1 Suma logiczna zbiorów

Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
Zdefiniujmy dwa zbiory p i q:
p=[K, T] =1 - bo zbiór niepusty
q=[T, P] =1 - bo zbiór niepusty
Y=p+q=[K,T]+[T,P]=[K,T,T,P] = [K+T+T+P] = [K+T+P] = [K,T,P] =1 - bo zbiór wynikowy niepusty
Bo prawo Algebry Boole’a:
p+p =p
Uwaga:
Przecinek przy wyliczaniu elementów zbioru jest tożsamy ze spójnikiem „lub”(+) z algebry Boole’a co pokazano i udowodniono wyżej.

8.3.2 Iloczyn logiczny zbiorów

Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Y = p*q =1 - gdy zbiory p i q mają (=1) co najmniej jeden element wspólny (zbiór wynikowy jest niepusty)
Y = p*q =0 - gdy zbiory p i q nie mają (=0) elementu wspólnego (są rozłączne)

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
S - Słoń
Zdefiniujmy zbiory p, q, r:
p=[K,T] =1 - bo zbiór niepusty
q=[T,P] =1 - bo zbiór niepusty
r=[P,S] =1 - bo zbiór niepusty
Y=p*q=[K,T]*[T,P]=[T] =1 - zbiory p i q mają (=1) co najmniej jeden element wspólny
Y=p*r=[K,T]*[P,S] =[] =0 - zbiory p i r nie mają (=0) elementu wspólnego

Identyczne wyniki można uzyskać poprzez wymnażanie logiczne zbiorów.
Przykład:
p*q = [K+T]*[T+P] = K*T + K*P + T*T + T*P =[] + [] + T + [] = T
bo:
K*T+ K*P + T*P =[]+[]+[] =0+0+0 =0 - iloczyn logiczny „*” zbiorów (pojęć) rozłącznych jest zbiorem pustym []
T*T =T
bo prawo algebry Boole’a:
p*p =p
Jak widzimy, przy wyliczaniu elementów zbioru przecinek jest tożsamy ze spójnikiem „lub”(+) rodem z algebry Boole’a.
Kolejność wykonywania działań w AK:
Nawiasy, spójnik „i”(*), spójnik „lub”(+)

8.3.3 Różnica (-) zbiorów

Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q

Oznaczmy:
K - Kubuś
T - Tygrysek
p=[K,T] =1 - bo zbiór niepusty
q=[T] =1 - bo zbiór niepusty
Stąd:
Y=p-q = [K,T]-[T] =[K+T-T] =[K] =1 - bo zbiór wynikowy niepusty
Y=q-p =[K]-[K,T]=[K-(K+T)]=[K-K-T]= [] + [-T] =[-T] =[] =0 - bo zbiór wynikowy pusty

Prawo odejmowania zbiorów:
Jeśli w operacji odejmowania zbiorów wynikowy zbiór jest z minusem {-} to taki zbiór zamieniamy na zbiór pusty [].

8.4 Definicje podstawowe w Kubusiowej teorii zbiorów

Na początek przypomnijmy definicje elementarne Kubusiowej teorii zbiorów (8.2)

8.4.1 Definicja pojęcia

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 ZWZ, ...]

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)

Prawa Prosiaczka
Prawa Prosiaczka omówiono szczegółowo w punkcie 1.4

I Prawo Prosiaczka:
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:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji

Przykład 1.
(p=1) = (~p=0)
1.
[pies]=1 - prawdą jest (=1) iż wiem co znaczy pojęcie pies
Prawo Prosiaczka:
(p=1) = (~p=0)
Nasz przykład:
(pies=1) = (~pies=0) - na mocy prawa Prosiaczka
stąd zdanie tożsame do 1:
~pies=0 - fałszem jest (=0), że nie wiem (~) co znaczy pojęcie [pies]

Przykład 2.
(~p=1) = (p=0)
2.
agstd=0 - fałszem jest (=0) iż wiem co znaczy pojęcie „agstd”
Prawo Prosiaczka:
(agstd=0) = (~agstd=1)
stąd zdanie tożsame do 2:
~agstd=1 - prawdą jest (=1), że nie wiem (~) co znaczy pojęcie agstd

Jak widzimy, prawa Prosiaczka działają doskonale.

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

8.4.2 Definicja elementu zbioru

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

8.4.3 Definicja zbioru

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

8.4.4 Definicja zbioru pustego

Definicja zbioru pustego []:
Zbiór pusty [], to zbiór zawierający zero pojęć zrozumiałych dla człowieka

Przykład:
[] = [agstd, sdked …]

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

W algebrze Kubusia znaczkiem który korzysta z powyższego jest definicja elementu wspólnego zbiorów ~~>:
p~~>q=p*q =1 – wtedy i tylko wtedy gdy zbiór p ma element wspólny ~~> ze zbiorem q
Inaczej:
p~~>q=p*q =[] =0 – gdy zbiory p i q nie mają elementu wspólnego ~~> (są rozłączne)

W AK w zdaniach warunkowych „Jeśli p to q” mówiących o zbiorach badamy relację podzbioru p=>q lub nadzbioru p~>q, gdzie zbiory p i q z definicji muszą być niepuste (algorytm Puchacza) - to jest fundamentalnie co innego niż badanie elementu wspólnego zbiorów ~~> p i q.

8.4.5 Definicja Uniwersum U

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Uniwersum jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 43 lata temu pojęcie „Internet” było zbiorem pustym (narodziny: 1983), nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.

Zbiór pusty [] w odniesieniu do Uniwersum:
Zbiorem pustym w odniesieniu do Uniwersum są wszelkie pojęcia nie należące do Uniwersum

Zauważmy, że z definicji zbiorem pustym są wszelkie pojęcia niezrozumiałe dla człowieka lub jeszcze niezdefiniowane.

8.5 Prawo Owieczki

Definicja dziedziny absolutnej DA:
Dziedzina absolutna DA to zbiór wszelkich pojęć możliwych do zdefiniowania w naszym Wszechświecie.

Definicja Uniwersum:
Uniwersum U to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

Zbiór pusty zawiera nieskończenie wiele pojęć niezrozumiałych dla człowieka lub jeszcze niezdefiniowanych. Definiować elementy w naszym Wszechświecie może wyłącznie człowiek, świat martwy sam sobie nic nie definiuje.

Przed pojawieniem się człowieka na ziemi zawartość zbioru pustego [] była taka:
[] - wszystkie elementy naszego Wszechświata w sensie absolutnym, nie ma jeszcze człowieka który by cokolwiek definiował.

W dniu dzisiejszym sytuacja jest inna, taka:

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
9.0 Alternatywne rozwiązywanie zadań prawem Orła

Spis treści
9.0 Alternatywne rozwiązywanie zadań prawem Orła 1
9.1 Kluczowe prawa Logiki matematycznej 2
9.1.1 Definicje podzbioru => i nadzbioru ~> 2
9.1.2 Prawo Słonia 3
9.2 Algorytm Puchacza 4
9.2.1 Definicja zdjęcia układu 5
9.2.2 Prawo Orła 6
9.3 Prawo Orła w Implikacji prostej P|=>CH 7
9.3.1 Operator implikacji prostej P||=>CH 13
9.4 Algorytm Orła w implikacji odwrotnej CH|~>P 13
9.4.1 Operator implikacji odwrotnej CH||~>P 19
9.5 Nietrywialny błąd podstawienia ### między P|=>CH a CH|~>P 20
9.6 Prawo Orła w równoważności A<=>S 21
9.7 Prawo Orła w spójniku "albo"($) S$Z 25
9.8 Prawo Orła w chaosie P8|~~>P3 25


9.0 Alternatywne rozwiązywanie zadań prawem Orła

W niniejszym rozdziale udowodnimy, iż teorię zdarzeń w trywialny sposób można przekształcić do teorii zbiorów przy wykorzystaniu prawa Orła.

Klasyczny dowód prawdziwości warunku wystarczającego => w zdarzeniach jest następujący:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH=1
Padanie jest (=1) warunkiem wystarczającym => do tego aby było pochmurno, bo zawsze gdy pada, jest pochmurno ... o czym każdy 5-cio latek wie.

Zdanie A1 można w trywialny sposób przekształcić do teorii zbiorów.

Dowód:
Po stronie poprzednika w zdaniu A1 mamy jedno zdarzenie pada i są chmury (P*CH), bo zdarzenie pada i nie ma chmur (P*~CH) jest fałszem
Po stronie następnika w zdaniu A1 mamy dwa zdarzenia: są chmury i pada (CH*P) lub są chmury i nie pada (CH*~P)
Stąd mamy:
A1: P*CH=> CH*P + CH*~P
Korzystając z przemienności iloczynu logicznego (*) w następniku mamy:
A1: P*CH=> P*CH + ~P*CH
Doskonale widać, że zdarzenie (P*CH) jest podzbiorem => zdarzenia (P*CH+~P*CH)
cnd

9.1 Kluczowe prawa Logiki matematycznej

Kluczowe prawa logiki matematycznej to definicje podzbioru => i nadzbioru ~> oraz prawo Słonia

9.1.1 Definicje podzbioru => i nadzbioru ~>

Definicja podzbioru => w algebrze Kubusia:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek wystarczający => = relacja podzbioru =>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

##

Definicja nadzbioru ~> w algebrze Kubusia:
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zbiór p zawiera co najmniej wszystkie elementy zbioru q
p~>q =1 - wtedy i tylko wtedy gdy relacja nadzbioru ~> jest (=1) spełniona
Inaczej:
p~>q =0 - wtedy i tylko wtedy gdy relacja nadzbioru ~> nie jest (=0) spełniona

Definicja warunku koniecznego ~> w zbiorach:
Jeśli p to q
p~>q =1
Zajście p jest (=1) konieczne ~> dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Zajście p nie jest (=0) konieczne ~> dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek konieczny ~> = relacja nadzbioru ~>

Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

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

W logice matematycznej rozstrzygamy o zachodzącej lub nie zachodzącej relacji podzbioru => czy też nadzbioru ~> w zbiorach/zdarzeniach.

9.1.2 Prawo Słonia

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
9.9 Alternatywne rozwiązywanie zadań algorytmem zdjęciowym

Spis treści
9.9 Alternatywne rozwiązywanie zadań algorytmem zdjęciowym 1
9.9.1 Najważniejsze definicje i prawa algebry Kubusia 1
9.10 Zdjęcie układu 3
9.11 Algorytm zdjęciowy 3
9.11.1 Przykłady zdań niespełniających algorytmu zdjęciowego 5
9.12 Algorytm zdjęciowy w implikacji prostej P|=>CH 6
9.12.1 Rozwiązanie zadania W: P=>CH 10
9.13 Algorytm zdjęciowy w implikacji odwrotnej CH|~>P 11
9.13.1 Rozwiązanie zadania W: CH~>P 14
9.14 Algorytm zdjęciowy w równoważności A<=>S 15
9.14.1 Rozwiązanie zadania W: A=>S 19


9.9 Alternatywne rozwiązywanie zadań algorytmem zdjęciowym

Alternatywne oznacza tu inne niż przy pomocy prawa Orła, opisane wyżej

Typowe zadanie z logiki matematycznej w algebrze Kubusia brzmi:
Zbadaj w skład jakiego operatora implikacyjnego p|?q wchodzi wypowiedziane zdanie warunkowe "Jeśli p to q"

Zanim weźmiemy się za rozwiązywanie tego typu zadań algorytmem zdjęciowym przypomnijmy sobie kluczowe definicje i prawa algebry Kubusia

9.9.1 Najważniejsze definicje i prawa algebry Kubusia

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
10.0 Algebra Kubusia w tabelach zero-jedynkowych

Spis treści
10.0 Algebra Kubusia w tabelach zero-jedynkowych 1
10.1 Symboliczna definicja implikacji prostej p|=>q 2
10.1.1 Operator implikacji prostej p||=>q 4
10.1.2 Tabela prawdy operatora implikacji prostej p||=>q 6
10.1.3 Zero-jedynkowa definicja warunku wystarczającego => 7
10.1.4 Zero-jedynkowa definicja warunku koniecznego ~p~>~q 8
10.1.5 Prawo porównywania w rachunku zero-jedynkowym 9
10.2 Odtworzenie p||=>q z tabeli zero-jedynkowej warunku wystarczającego => 9
10.2.1 Odtworzenia operatora implikacyjnego p|?q z funkcji logicznej Y=~p+q 13


10.0 Algebra Kubusia w tabelach zero-jedynkowych

Nie ma na świecie 5-cio latka, który nosi w kieszeniach tabele zero-jedynkowe spójników logicznych i wyciąga je, by cokolwiek powiedzieć w języku potocznym, którego jest naturalnym ekspertem.
W "Kompendium algebry Kubusia" planowałem nie pisać skąd biorą się tabele zero-jedynkowe spójników logicznych bo po co tym, czego w praktyce języka potocznego absolutnie nikt nie używa zawracać głowę uczniowi I klasy LO - to jemu dedykowane jest kompendium.

Zmieniłem zdanie po wpływem dyskusji z Irbisolem - to jest ważne dla matematyków którzy od zer i jedynek w tabelach zero-jedynkowych spójników logicznych nie są w stanie się uwolnić.
Dowód tego stanu rzeczy mamy choćby w tym wykładzie dla uczniów I klasy LO:
https://www.youtube.com/watch?v=69mxNcONL-4

Skąd biorą się tabele zero-jedynkowe dla potrzeb rachunku zero-jedynkowego?

Pytanie analogiczne to:
Co było pierwsze, jajko czy kura?

Możliwe są tu dwie odpowiedzi:
1.
Tabele zero-jedynkowe dla potrzeb rachunku zero-jedynkowego stworzył Kubuś, po czym na mocy praw logiki matematycznej wynikłych z tego rachunku stworzył nasz Wszechświat, podlegający pod wyprowadzone prawa logiki matematycznej.
2.
Tabele zero-jedynkowe dla potrzeb rachunku zero-jedynkowego wynikają z matematycznego opisu otaczającego nas świata martwego (w tym matematyki i fizyki).
Świat żywy jest tu bezużyteczny ze względu na wolną wolę istot żywych.

Definicja "wolnej woli" istot żywych:
"Wolna wola" istot żywych to zdolność do gwałcenia wszelkich praw logiki matematycznej wynikłych z opisu świata martwego (w tym z matematyki i fizyki)
Szczegóły w tym zakresie poznaliśmy w punktach 3.6 i 4.6.

Zauważmy że:
Do rozumowania Kubusia na mocy punktu 1 z definicji nie mamy dostępu, zatem niemożliwe jest pełne rozszyfrowanie logiki matematycznej od tej strony co ludzkość próbuje robić od 2500 lat (od Sokratesa).
Algebra Kubusia rozszyfrowana została w 100% tylko i wyłącznie dlatego, że po pierwsze z wykształcenia jestem ekspertem bramek logicznych w teorii i praktyce, a po drugie i najważniejsze starałem się opisać logikę matematyczną którą posługują się 5-cio latki przy pomocy bramek logicznych, co mi się udało.
W pełnej algebrze Kubusia jest kluczowy rozdział "Algebra Kubusia w bramkach logicznych" i dokładnie ten rozdział jest twardym dowodem poprawności matematycznej algebry Kubusia.

Na szczęście w świecie martwym (w tym w matematyce i fizyce) mamy bezproblemowy dostęp do działania praw logiki matematycznej stworzonej przez Kubusia … i to na poziomie 5-cio taka, co pokazaliśmy w punktach 3.0 i 4.0 przy pomocy przykładów o chmurce i deszczu.

10.1 Symboliczna definicja implikacji prostej p|=>q

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
10.3 Symboliczna definicja implikacji odwrotnej p|~>q

Spis treści
10.3 Symboliczna definicja implikacji odwrotnej p|~>q 1
10.3.1 Operator implikacji odwrotnej p||~>q 3
10.3.2 Tabela prawdy operatora implikacji odwrotnej p||~>q 5
10.3.3 Zero-jedynkowa definicja warunku koniecznego ~> 6
10.3.4 Zero-jedynkowa definicja warunku wystarczającego ~p=>~q 7
10.3.5 Prawo porównywania w rachunku zero-jedynkowym 8
10.4 Odtworzenie p||~>q z tabeli zero-jedynkowej warunku koniecznego ~> 8
10.4.1 Otworzenie operatora implikacyjnego p|?q z funkcji logicznej Y=p+~q 12


10.3 Symboliczna definicja implikacji odwrotnej p|~>q

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
10.5 Symboliczna definicja równoważności p<=>q

Spis treści
10.5 Symboliczna definicja równoważność p<=>q 1
10.5.1 Operator równoważności p|<=>q 3
10.5.2 Tabela prawdy operatora równoważności p|<=>q 5
10.5.3 Zero-jedynkowa definicja równoważności p<=>q 6
10.5.4 Zero-jedynkowa definicja równoważności ~p<=>~q 8
10.5.5 Prawo porównywania w rachunku zero-jedynkowym 9
10.6 Odtworzenie p|<=>q z tabeli zero-jedynkowej równoważności <=> 9
10.6.1 Odtworzenia operatora p|?q z funkcji logicznej Y=p*q+~p*~q 12


10.5 Symboliczna definicja równoważność p<=>q

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
10.7 Symboliczna definicja spójnika "albo"($)

Spis treści
10.7 Symboliczna definicja spójnia "albo"($) 1
10.7.1 Równanie spójnika "albo"($) 1
10.8 Definicja spójnika "albo"($) zilustrowana przykładem P$K 3
10.8.1 Operator "albo"($) p|$q w logice dodatniej (bo q) 6
10.8.2 Tabela prawdy operatora "albo" p|$q 10
10.8.3 Zero-jedynkowa definicja spójnika "albo"($) 11
10.8.4 Zero-jedynkowa definicja spójnika "albo" ~p$~q 12
10.8.5 Prawo porównywania w rachunku zero-jedynkowym 13
10.9 Odtworzenie p|$q z tabeli zero-jedynkowej "albo"($) 13
10.9.1 Odtworzenia operatora p|?q z funkcji logicznej Y=p*~q+~p*q 17


10.7 Symboliczna definicja spójnia "albo"($)

"$" - znaczek spójnika "albo" w algebrze Kubusia

Spójnik "albo"($) p$q to szczególny przypadek równoważności p<=>~q a nie szczególny przypadek spójnika "lub"(+) jak wielu, nawet matematyków uważa.
Dowód w niniejszym punkcie.

Spójnik "albo"($) to najtrudniejszy do zrozumienia spójnik implikacyjny, dlatego w niniejszym rozdziale prezentuję pełną jego definicję na przykładzie ze świata żywego.
Przykład ze świata martwego (fizyki) mam w punkcie 8.0

Brzytwa Ockhama - zasada, zgodnie z którą w wyjaśnianiu zjawisk należy dążyć do prostoty, wybierając takie wyjaśnienia, które opierają się na jak najmniejszej liczbie pojęć i założeń.

W języku potocznym czasami zdarza się (rzadko), że człowiek wbrew brzytwie Ockhama, nadaje zaprzeczonemu pojęciu nazwę specjalną bez przeczenia.

10.7.1 Równanie spójnika "albo"($)

Spójnik "albo"($) wielu ludziom sprawia kłopoty, wielu utożsamia go spójnikiem "lub"(+) co jest błędem czysto matematycznym.
Tymczasem spójnik "albo"($) to trywialny, szczególny przypadek równoważności <=> opisany poniższym równaniem.

Równanie spójnika "albo"($):

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
10.10 Symboliczna definicja chaosu p|~~>q

Spis treści
10.10 Symboliczna definicja chaosu p|~~>q 1
10.10.1 Operator chaosu p||~~>q 3
10.10.2 Tabela prawdy operatora chaosu p||~~>q 4
10.10.3 Zero-jedynkowa definicja zdarzenia możliwego ~~> 4
10.10.4 Odtworzenie operatora chaosu p||~~>q ze zdarzenia możliwego p~~>q 6


10.10 Symboliczna definicja chaosu p|~~>q

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
10.11 Geneza tabel zero-jedynkowych spójników "lub"(+) i "i"(*)

Spis treści
10.11 Geneza tabeli zero-jedynkowej spójnika "lub"(+) 1
10.11.1 Tabela zero-jedynkowa spójnika "lub"(+) w logice dodanej (bo Y) 5
10.11.2 Tabela zero-jedynkowa spójnika "i"(*) w logice ujemnej (bo ~Y) 7
10.11.3 Relacje między logiką dodatnią (bo Y) i ujemną (bo ~Y) 9
10.12 Geneza tabeli zero-jedynkowej spójnika "i"(*) 9
10.12.1 Tabela zero-jedynkowa spójnika "i"(*) w logice dodanej (bo Y) 12
10.12.2 Tabela zero-jedynkowa spójnika "i"(*) w logice ujemnej (bo ~Y) 14
10.12.3 Relacje między logiką dodatnią (bo Y) i ujemną (bo ~Y) 16
10.13 Prawo Puchacza 16
10.14 Zabawa rachunkiem zero-jedynkowym 18
10.14.1 Wyprowadzenie zero-jedynkowej definicji równoważności p<=>q 21



10.11 Geneza tabeli zero-jedynkowej spójnika "lub"(+)

W niniejszym rozdziale na przykładzie żarówki Y sterowanej przyciskami p i q połączonymi równolegle omówimy teorię spójnika "lub"(+)

Rozważmy sterowanie żarówką Y przy pomocy dwóch przycisków p i q

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
11.0 Algebra Kubusia w bramkach logicznych

Spis treści
11.0 Algebra Kubusia w bramkach logicznych 1
11.1 Definicja negacji 2
11.1.1 Negator dwukierunkowy w bramkach logicznych 2
11.2 Operatory logiczne jednoargumentowe w bramkach logicznych 4
11.2.1 Realizacja zdania zawsze prawdziwego ZP w bramkach logicznych 5
11.2.2 Realizacja zdania zawsze fałszywego ZF w bramkach logicznych 5
11.3 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 5
11.3.1 Realizacja operatora transmisji Y|=p w bramkach logicznych 6
11.4 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 7
11.4.1 Realizacja operatora negacji Y|=~p w bramkach logicznych 8
11.5 Fizyczne realizacje spójników „i”(*) i „lub”(+) 9
11.5.1 Definicja operatora „i”(|*) w bramkach logicznych 10
11.5.2 Definicja operatora „lub”(|+) w bramkach logicznych 11
11.6 Spójniki związane z obsługą zdań warunkowych „Jeśli p to q” 13
11.6.1 Definicja warunku wystarczającego => w bramkach logicznych 13
11.6.2 Definicja warunku koniecznego ~> w bramkach logicznych 14
11.7 Definicje spójników implikacyjnych p|?q w logice dodatniej (bo q) 14
11.7.1 Implikacja prosta p|=>q w bramkach logicznych 17
11.7.2 Implikacja odwrotna p|~>q w bramkach logicznych 18
11.7.3 Równoważność p<=>q w bramkach logicznych 19
11.7.4 Spójnik „albo”($) w bramkach logicznych 20
11.7.5 Definicja „chaosu” (|~~>) w bramkach logicznych 23
11.7.6 Zero-jedynkowa interpretacja znaczka różne na mocy definicji ## 25
11.8 Dowód poprawności algebry Kubusia w funkcjach logicznych 25
11.8.1 Prawo Grzechotnika - Armagedon ziemskiego rachunku zero-jedynkowego 27


11.0 Algebra Kubusia w bramkach logicznych

W niniejszym rozdziale udowodnimy że 100% algebry Kubusia ma przełożenie na teorię bramek logicznych w przełożeniu 1:1 co oznacza, że algebra Kubusia jest weryfikowalna w laboratorium bramek logicznych.
Potrzebne w laboratorium układy scalone TTL to:
SN7406, SN74LS04, SN74LS08, SN74LS32

11.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]

Algebra Kubusia - matematyka języka potocznego
12.0 Kubusiowa teoria zbiorów

Spis treści
12.0 Kubusiowa teoria zbiorów 2
12.1 Elementarne działania logiczne na zbiorach 4
12.1.1 Suma logiczna zbiorów 4
12.1.2 Iloczyn logiczny zbiorów 4
12.1.3 Różnica (-) zbiorów 5
12.2 Definicje podstawowe w Kubusiowej teorii zbiorów 5
12.2.1 Definicja pojęcia 5
12.2.2 Definicja elementu zbioru 5
12.2.3 Definicja zbioru 6
12.2.4 Definicja Uniwersum U 6
12.2.5 Definicja zbioru pustego [] w sensie absolutnym 6
12.3 Dziedzina 7
12.3.1 Zaprzeczenie zbioru 7
12.3.2 Nazwa własna zbioru 8
12.3.3 Dziedzina użyteczna w języku potocznym 8
12.4 Definicja definicji 9
12.4.1 Dowód iż każdy 5-cio latek zna definicję Uniwersum 10
12.5 Warunek konieczny prawdziwości zdania warunkowego "Jeśli p to q" 11
12.5.1 Zdanie "Jeśli p to q" ze spełnioną definicją wspólnej dziedziny 12
12.6 Zdania "Jeśli p to q" z niespełnioną definicją wspólnej dziedziny dla p i q 13
12.6.1 Zdanie "Jeśli p to q" z niespełnioną definicją wspólnej dziedziny dla p i q 13
12.6.2 Zdania "Jeśli p to q" gdzie p lub q jest zbiorem/zdarzeniem pustym 14
12.7 Zaprzeczenie zdania w algebrze Kubusia 15
12.7.1 Definicje kontrprzykładu w zdarzeniach i zbiorach 15
12.7.2 Przykłady zaprzeczeń zdań w algebrze Kubusia 16
12.8 Definicje zbioru pustego 19
12.8.1 Definicja zbioru pustego [] w sensie absolutnym 19
12.8.2 Definicja zbioru pustego [] względem wybranej dziedziny 19
12.8.3 Definicja zbioru pustego [] będącego twardym fałszem 20
12.9 Uniwersum vs zbiór pusty [] w sensie absolutnym 21
12.9.1 Definicja dziedziny absolutnej DA 22
12.9.2 Definicja zbioru wszystkich zbiorów 23
12.9.3 Prawo Owieczki 23
12.10 Jak wynalazłem niebieską diodę i zmieniłem świat 24
12.10.1 Geneza wszelkich okryć w naszym Wszechświecie 26



12.0 Kubusiowa teoria zbiorów

Punkty 1.0 do 11.0 dotyczą teorii zdarzeń, czyli logiki matematycznej którą w praktyce rozumie każdy 5-cio latek na przykładach stosownych do jego wieku np. o chmurce i deszczu.
Teoria zbiorów dla potrzeb logiki matematycznej opisana w punktach 12.0 do 18.0 jest analogiczna do teorii zdarzeń.

Algebra Kubusia z definicji nie rozpoznaje pojęć którym mózg człowieka nadaje znaczenie.
W tym sensie algebra Kubusia jest głupsza niż ustawa przewiduje, czyli jest niezależna od jakiegokolwiek języka.
Dokładnie to jest powodem konieczności wprowadzenia do logiki matematycznej definicji „pojęcia matematycznego”

Definicja „pojęcia matematycznego” w algebrze Kubusia:
„Pojęcie matematyczne” w algebrze Kubusia to jednoznaczny ciąg znaczków, niekoniecznie liter.

Przykładowo może to być malarstwo jaskiniowe:
[link widoczny dla zalogowanych]

Przykłady jednoznacznych „pojęć matematycznych” widzianych oczami algebry Kubusia:

dziecko
##
kura
##
bleble
##
asfdtuesdff
Gdzie:
## - „pojęcia matematyczne” różne na mocy definicji ## definiowane indywidualnym, dowolnym ciągiem znaków.

Z punktu odniesienia człowieka świat wygląda inaczej.

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)

Prawa Prosiaczka
Prawa Prosiaczka omówiono szczegółowo w punkcie 1.4

I Prawo Prosiaczka:
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:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji

Przykład 1.
(p=1) = (~p=0)
1.
[pies]=1 - prawdą jest (=1) iż wiem co znaczy pojęcie pies
Prawo Prosiaczka:
(p=1) = (~p=0)
Nasz przykład:
(pies=1) = (~pies=0) - na mocy prawa Prosiaczka
stąd zdanie tożsame do 1:
~pies=0 - fałszem jest (=0), że nie wiem (~) co znaczy pojęcie [pies]

Przykład 2.
(~p=1) = (p=0)
2.
agstd=0 - fałszem jest (=0) iż wiem co znaczy pojęcie „agstd”
Prawo Prosiaczka:
(agstd=0) = (~agstd=1)
stąd zdanie tożsame do 2:
~agstd=1 - prawdą jest (=1), że nie wiem (~) co znaczy pojęcie agstd

Prawo Rekina:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.1 Elementarne działania logiczne na zbiorach

Elementarne działania na zbiorach to:
(+) - suma logiczna zbiorów
(*) - iloczyn logiczny zbiorów
(-) - różnica logiczna zbiorów

12.1.1 Suma logiczna zbiorów

Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
Zdefiniujmy dwa zbiory p i q:
p=[K, T] =1 - bo zbiór niepusty
q=[T, P] =1 - bo zbiór niepusty
Y=p+q=[K,T]+[T,P]=[K,T,T,P] = [K+T+T+P] = [K+T+P] = [K,T,P] =1 - bo zbiór wynikowy niepusty
Bo prawo Algebry Boole’a:
p+p =p
Uwaga:
Przecinek przy wyliczaniu elementów zbioru jest tożsamy ze spójnikiem „lub”(+) z algebry Boole’a co pokazano i udowodniono wyżej.

12.1.2 Iloczyn logiczny zbiorów

Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Y = p*q =1 - gdy zbiory p i q mają (=1) co najmniej jeden element wspólny (zbiór wynikowy jest niepusty)
Y = p*q =0 - gdy zbiory p i q nie mają (=0) elementu wspólnego (są rozłączne)

Oznaczmy skrótowo:
K - Kubuś
T - Tygrysek
P - Prosiaczek
S - Słoń
Zdefiniujmy zbiory p, q, r:
p=[K,T] =1 - bo zbiór niepusty
q=[T,P] =1 - bo zbiór niepusty
r=[P,S] =1 - bo zbiór niepusty
Y=p*q=[K,T]*[T,P]=[T] =1 - zbiory p i q mają (=1) co najmniej jeden element wspólny
Y=p*r=[K,T]*[P,S] =[] =0 - zbiory p i r nie mają (=0) elementu wspólnego

Identyczne wyniki można uzyskać poprzez wymnażanie logiczne zbiorów.
Przykład:
p*q = [K+T]*[T+P] = K*T + K*P + T*T + T*P =[] + [] + T + [] = T
bo:
K*T+ K*P + T*P =[]+[]+[] =0+0+0 =0 - iloczyn logiczny „*” zbiorów (pojęć) rozłącznych jest zbiorem pustym []
T*T =T
bo prawo algebry Boole’a:
p*p =p
Jak widzimy, przy wyliczaniu elementów zbioru przecinek jest tożsamy ze spójnikiem „lub”(+) rodem z algebry Boole’a.

12.1.3 Różnica (-) zbiorów

Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q

Oznaczmy:
K - Kubuś
T - Tygrysek
p=[K,T] =1 - bo zbiór niepusty
q=[T] =1 - bo zbiór niepusty
Stąd:
Y=p-q = [K,T]-[T] =[K+T-T] =[K] =1 - bo zbiór wynikowy niepusty
Y=q-p =[K]-[K,T]=[K-(K+T)]=[K-K-T]= [] + [-T] =[-T] =[] =0 - bo zbiór wynikowy pusty

Prawo odejmowania zbiorów:
Jeśli w operacji odejmowania zbiorów wynikowy zbiór jest z minusem {-} to taki zbiór zamieniamy na zbiór pusty [].

12.2 Definicje podstawowe w Kubusiowej teorii zbiorów

Przypomnijmy znane już definicje podstawowe.

12.2.1 Definicja pojęcia

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

Przykłady pojęć zrozumiałych:
p = [pies, miłość, krasnoludek, ZWZ, LN ...]
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:
Żaden człowiek nie posługuje się w języku potocznym pojęciami których nie rozumie

12.2.2 Definicja elementu zbioru

Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze

12.2.3 Definicja zbioru

Definicja zbioru:
Zbiór to zestaw dowolnych pojęć zrozumiałych dla człowieka

Zauważmy, że w definicji zbioru nie ma zastrzeżenia, iż elementem zbioru nie może być podzbiór, czy też zbiór.

Zbiory, podobnie jak pojęcia, mają wartości logiczne:
[x]=1 - zbiór niepusty, zawierający pojęcia zrozumiałe dla człowieka
[] =0 - zbiór pusty, zawierający zero pojęć zrozumiałych dla człowieka

12.2.4 Definicja Uniwersum U

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zawęża gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Zauważmy, że zaledwie 40 lat temu pojęcie „Internet” było zbiorem pustym, nie istniało - ale w dniu dzisiejszym już tak nie jest, Uniwersum ludzkości rozszerzyło się o to pojęcie, znane praktycznie każdemu człowiekowi na Ziemi.

Uniwersum lokalne:
Uniwersum lokalne to zbiór pojęć związanych z konkretną gałęzią wiedzy np. medycznej, elektronicznej etc. gdzie znane każdemu człowiekowi niektóre słówka znaczą co innego.

Przykład:
Bramka w teorii bramek logicznych to co innego niż bramka na boisku piłkarskim
W rzadkich przypadkach w dowolnym języku mogą występować dwa słowa identyczne, ale znaczące co innego.
Przykład:
W języku polskim morze i może
Tu różnice są rozpoznawalne albo w pisowni (jak wyżej) albo w kontekście użycia tego słówka:
Może pojedziemy nad morze?
Z reguły dla najpopularniejszych słówek mamy sporo synonimów, co w logice jest bez znaczenia.

Podsumowując:
Przedstawiona wyżej definicja Uniwersum jest pojęciem rzeczywistym łatwym do zrozumienia przez każdego ucznia I klasy LO.

12.2.5 Definicja zbioru pustego [] w sensie absolutnym

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego (wyjaśnienie w pkt. 12.9):
[]=>[] =1
0=>0 =1

12.3 Dziedzina

Definicja dziedziny:
Dziedzina to dowolnie wybrany zbiór na którym operujemy

Ograniczeniem górnym w definiowaniu dziedziny jest Uniwersum (zbiór wszystkich pojęć zrozumiałych dla człowieka)
Zbiór pusty [] to zbiór pojęć niezrozumiałych dla człowieka, zatem na tym zbiorze nie możemy operować.
Wniosek:
Z definicji nie możemy przyjąć zbioru pustego za dziedzinę.

12.3.1 Zaprzeczenie zbioru

Definicja zaprzeczenia (~) zbioru:
Zaprzeczeniem (~) zbioru p nazywamy uzupełnienie zbioru p do dziedziny D
~p=[D-p]

Matematycznie zachodzi tożsamość:
Zaprzeczenie zbioru (~) = Negacja zbioru (~)

Uwaga:
Aby zapisać zbiór ~p będący negacją zbioru p musimy określić wspólną dziedzinę dla zbiorów p i ~p
Definicja dziedziny:
p+~p =D =1 - zbiór ~p jest uzupełnieniem zbioru p do wspólnej dziedziny D
p*~p =[] =0 - zbiory p i ~p są rozłączne, iloczyn logiczny zbiorów jest zbiorem pustym []

Przykłady:
1.
Przykład na poziomie 5-cio latka:
K = Kubuś
T = Tygrysek
p=[K] - definiujemy zbiór p
D=[K,T] - definiujemy dziedzinę
Stąd:
~p=[D-p] = [(K+T)-K]=[T]
2.
Przykład na poziomie ucznia I klasy LO:
K - zbiór wszystkich kobiet
M - zbiór wszystkich mężczyzn
C (człowiek) - zbiór wszystkich ludzi (wspólna dziedzina dla M i K)
C=M+K - zbiór człowiek to suma logiczna zbiorów M i K
Stąd:
~M=[C-M]=[M+K-M]=K
~K=[C-K]=[M+K-K]=M
Stąd:
K=~M - zbiór kobiet (K) to zanegowany zbiór mężczyzn (~M) w dziedzinie C (człowiek)
M=~K - zbiór mężczyzn (M) to zanegowany zbiór kobiet (~K) w dziedzinie C (człowiek)

12.3.2 Nazwa własna zbioru

Rozróżniamy dwa rodzaje zbiorów ze względu na nazwę:
- zbiory mające nazwę własną
- zbiory nie mające nazwy własnej

Definicja nazwy własnej zbioru:
Nazwa własna zbioru to nazwa jednoznacznie opisująca dany zbiór w sposób zrozumiały dla wszystkich ludzi

Przykład zbioru mającego nazwę własną:
ZWZ - zbiór wszystkich zwierząt

Przykład zbioru nie mającego nazwy własnej:
p = [ZWZ, miłość, samolot]

W języku potocznym z oczywistych względów użyteczne są wyłącznie dziedziny mające nazwy własne, zrozumiałe dla wszystkich, gdzie nie trzeba wypisywać wszystkich pojęć zawartych w dziedzinie.

12.3.3 Dziedzina użyteczna w języku potocznym

Definicja dziedziny użytecznej w języku potocznym:
Dziedzina użyteczna w języku potocznym do dowolny zbiór na którym operujemy mający nazwę własną nie będący Uniwersum.

Uniwersum - zbiór wszelkich pojęć zrozumiałych dla człowieka.
W języku potocznym nikt nie używa pojęcia Uniwersum w przeciwieństwie do np. zbioru wszystkich zwierząt.

Rozważmy poniższe dziedziny [ZWZ, ZWS] mające nazwy własne:

Weźmy zbiór jednoelementowy:
P=[pies] - zbiór P zawiera tylko jeden element [pies].
Uwaga:
Nie jest tu istotne że różnych psów jest bardzo dużo bo:
pies Jasia = pies Zuzi = po prostu [pies]
[pies]+[pies] = [pies] - prawo algebry Boole’a (p+p=p)
Pojęcia [pies] są tożsame, nieistotne jest, że jeden pies jest kundelkiem a drugi jamnikiem, że jeden należy do Jasia a drugi do Zuzi.
[pies]*[pies] = [pies] - prawo algebry Boole’a (p*p=p)

ZWZ.
Dla zbioru P=[pies] przyjmijmy dziedzinę:
ZWZ - zbiór wszystkich zwierząt
Stąd mamy zbiór ~P:
~P=[ZWZ-P] - zbiór wszystkich zwierząt minus jeden element P=[pies]

ZWS.
Dla zbioru P=[pies] przyjmijmy dziedzinę:
ZWS - zbiór wszystkich ssaków
Stąd mamy zbiór ~P:
~P=[ZWS-P] - zbiór wszystkich ssaków minus jeden element P=[pies]

Wnioski:
Przyjęte dziedziny ZWZ i ZWS mają poprawne nazwy własne należące do Uniwersum, które nie są tożsame z Uniwersum, zatem te dziedziny są poprawne matematycznie i są to dziedziny użyteczne.
a)
Dziedzina ZWZ wskazuje nam, że interesuje nas wyłącznie zbiór wszystkich zwierząt, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWZ są dla nas puste z definicji.
b)
Dziedzina ZWS mówi nam że operujemy na zbiorze wszystkich ssaków, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWS są dla nas puste z definicji.

Przykład:
Twierdzenie proste Pitagorasa dla trójkątów prostokątnych:
A1.
Jeśli trójkąt jest prostokątny (TP) to na 100% => zachodzi w nim suma kwadratów (SK)
TP=>SK =1
W twierdzeniu Pitagorasa dziedziną użyteczną i minimalną jest:
ZWT - zbiór wszystkich trójkątów
Dziedzina ZWT wskazuje nam, że interesują nas wyłącznie trójkąty, nic poza tą dziedziną nas nie interesuje, czyli pojęcia spoza dziedziny ZWT są dla nas puste z definicji
Nikt nie będzie brał do ręki koła i sprawdzał czy zachodzi w nim suma kwadratów.

12.4 Definicja definicji

Definicja definicji:
W świecie człowieka (bo tylko on świadomie definiuje) definicja dowolnego pojęcia jest matematycznie poprawna wtedy i tylko wtedy jest jednoznaczna w Uniwersum człowieka.

Innymi słowy:
Definicja dowolnego pojęcia jest matematycznie poprawna wtedy i tylko wtedy gdy jest jedyna w całym obszarze Uniwersum.

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Przykład poprawnej definicji:
Pies to zwierzę domowe, szczekające.
P = ZD*S=1*1=1
To jest minimalna, jednoznaczna definicja psa rozumiana przez każdego 5-cio latka.
Oznacza to że pojęcia P oraz ZD*S są matematycznie tożsame P=ZD*S, czyli są w relacji równoważności P<=>ZD*S w całym obszarze Uniwersum

Przykład błędnej definicji z filmu „Rejs”:
[link widoczny dla zalogowanych]
Zwierzę domowe, hodowlane, występujące nad Wisłą - podać jego odgłos

Inny przykład:

Prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
p=q <=> A1B2: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1

Prawo Kubusia:
B1: p~>q = B2: ~p=>~q

Stąd mamy:
Tożsame prawo Irbisa:
Dwa pojęcia/zbiory/zdarzenia p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
p=q <=> A1B2: p<=>q = (A1: p=>q)*(B2: ~p=>~q) =1*1=1

Podstawmy:
p=K (krasnoludek)
q=K (krasnoludek)
Przyjmijmy dziedzinę:
D=U (Uniwersum)
Obliczmy przeczenia p i q rozumiane jako uzupełnienia p i q do wspólnej dziedziny (u nas Uniwersum).
~p = ~K = [U-K] -zbiór wszystkich pojęć zrozumiałych dla człowieka minus jedno pojęcie "krasnoludek"
~q = ~K = [U-K] -zbiór wszystkich pojęć zrozumiałych dla człowieka minus jedno pojęcie "krasnoludek"

Definicja równoważności A1B2 generująca tabelę zero-jedynkową równoważności:
A1: p=>q =1 - zajście p jest (=1) wystarczające => dla zajścia q
B2: ~p=>~q=1 - zajście ~p jest (=1) wystarczające => dla zajścia ~q
stąd;
A1B2: p<=>q = (A1: p=>q)*(B2: ~p=>~q) =1*1=1

Zachodzi tożsamość pojęć:
Warunek wystarczający => = relacja podzbioru =>

Podstawmy nasz przykład:
A1B2: K<=>K = (A1: K=>K)*(B2: [U-K]=>[U-K]) =?
A1: K=>K =1 - bo każdy zbiór jest podzbiorem => siebie samego
B2: [U-K]=>[U-K] =1 - bo każdy zbiór jest podzbiorem => siebie samego
stąd mamy:
A1B2: K<=>K = (A1: K=>K)*(B2: [U-K]=>[U-K]) =1*1=1
cnd

12.4.1 Dowód iż każdy 5-cio latek zna definicję Uniwersum

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Dowód iż każdy 5-cio latek zna w praktyce definicję Uniwersum, niezależnie od swego języka ojczystego jest banalny.
Udajmy się do przedszkola.

Scenka 1.
Pani przedszkolanka wydaje polecenie:
Drogie dzieci narysujcie człowieka.
Pamięć człowieka (w tym pamięć 5-cio latków) jest pamięcią fotograficzną, czyli nasz mózg przywołuje w tym przypadku jakąś panią albo jakiegoś pana i na tej podstawie dzieci wykonują rysunek.
Tu każdy 5-co latek podświadomie rozstrzyga, że człowiekiem nie może być cokolwiek innego w całym obszarze Uniwersum, bo inaczej nie mógłby jednoznacznie rozstrzygnąć co ma narysować.
C =[C] (człowiek) - ten obiekt 5-cio latek rysuje
Zaprzeczenie pojęcia człowiek w obszarze U Uniwersum to:
~C = [U-C]=[zwierzę, krasnoludek, koło ..] - Uniwersum U z wykluczeniem pojęcia C (człowiek)
Matematycznie musi zachodzić:
C+~C =U
C*~C =[]
Inaczej 5-cio latek nie będzie wiedział co ma narysować
cnd

Scenka 2.
Pani przedszkolanka wydaje kolejne polecenie:
Drogie dzieci narysujcie swoją mamę
Pamięć człowieka (w tym pamięć 5-cio latków) jest pamięcią fotograficzną, czyli mózg 5-cio latka przywołuje w tym przypadku swoją mamę i na tej podstawie wykonuje rysunek.
Tu przykładowy Jaś (lat 5) podświadomie rozstrzyga, że mamę ma tylko i wyłącznie jedną i ją rysuje.
Zauważmy, że mama Jasia jest jedyną w całym obszarze Uniwersum, bo inaczej Jaś nie mógłby jednoznacznie narysować swojej mamy.
MJ =[MJ] - mama Jasia, tą mamę Jaś rysuje
Zaprzeczenie pojęcia mama Jasia w obszarze U Uniwersum to:
~MJ = [U-MJ] =[mama Zuzi, tata Jasia, zwierzę, krasnoludek, koło …] - Uniwersum U z wykluczeniem pojęcia mama Jasia MJ.
Matematycznie musi zachodzić:
MJ+~MJ =U
MJ*~MJ =[]
Inaczej 5-cio latek nie będzie wiedział co ma narysować
cnd

12.5 Warunek konieczny prawdziwości zdania warunkowego "Jeśli p to q"

Definicja wspólnej dziedziny w zdaniu warunkowym "Jeśli p to q":
Wspólna dziedzina D w zdaniu warunkowym "Jeśli p to q" musi zawierać wszystkie elementy zbioru p i wszystkie elementy zbioru q.
Inaczej zdanie "Jeśli p to q" jest fałszywe.

Stąd mamy:
1.
Definicja dziedziny D po stronie p:
p+~p = D =1 - zbiór ~p jest uzupełnieniem do wspólnej dziedziny D dla zbioru p
p*~p=[]=0 - zbiory p i ~p są rozłączne
Stąd mamy:
~p=[D-p] - zbiór ~p jest uzupełnieniem do wspólnej dziedziny D dla zbioru p
2.
Definicja dokładnie tej samej dziedziny D po stronie q:
q+~q = D =1 - zbiór ~q jest uzupełnieniem do wspólnej dziedziny D dla zbioru q
q*~q=[]=0 - zbiory q i ~q są rozłączne
Stąd mamy:
~q=[D-q] - zbiór ~q jest uzupełnieniem do wspólnej dziedziny D dla zbioru q

Warunek konieczny prawdziwości zdania warunkowego "Jeśli p to q"
Warunkiem koniecznym prawdziwości dowolnego zdania warunkowego "Jeśli p to q" jest wspólna dziedzina D dla p i q

Nie jest to warunek konieczny i wystarczający bo kontrprzykład:
A1'.
Jeśli dowolna liczba jest podzielna przez 8 (P8) to może ~~> nie być podzielna przez 2 (~P2)
P8~~>~P2 = P8*~P2 =[] =0
Wspólna dziedzina dla p i q to:
LN=[1,2,3,4,5,6,7,8,9..] - zbiór liczb naturalnych
Definicja elementu wspólnego zbiorów ~~> nie jest spełniona bo zbiory P8=[8,16,24..] i ~P2=[LN-P2]=[1,3,5,7,9..] są rozłączne.
Po stronie poprzednika p mamy tu:
p=LN=P8+~P8 =1 - LN to suma logiczna zbiorów P8=[8,16,24..] i ~P8=[1,2,3,4,5,6,7..9..]
Po stronie następnika q mamy tu identyczną dziedzinę:
q=LN=P2+~P2 =1 - LN to suma logiczna zbiorów P2=[2,4,6,8..] i ~P2=[1,3,5,7,9..]
Wniosek:
Definicja wspólnej dziedziny dla p i q jest spełniona, ale zdanie A1’ jest fałszem, bo zbiory P8=[8,16,24..] i ~P2=[1,3,5,7..] są rozłączne.

12.5.1 Zdanie "Jeśli p to q" ze spełnioną definicją wspólnej dziedziny

Definicja wspólnej dziedziny w zdaniu warunkowym "Jeśli p to q":
Wspólna dziedzina D w zdaniu warunkowym "Jeśli p to q" musi zawierać wszystkie elementy zbioru p i wszystkie elementy zbioru q.
Inaczej zdanie "Jeśli p to q" jest fałszywe.

Przykład zdania warunkowego "Jeśli p to q" mającego wspólną dziedzinę dla p i q:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => ta sama liczba jest podzielna przez 2
P8=>P2 =1
To samo w zapisie formalnym:
p=>q =1
Podzielność dowolnej liczby przez 8 (P8) jest warunkiem wystarczającym => dla jej podzielności przez 2 (P2) wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Udowodnić iż zbiór P8 jest podzbiorem => P2 potrafi każdy matematyk
cnd

Po stronie poprzednika p mamy dziedzinę:
LN=[1,2,3,4,5,6,7,8,9..] – zbiór liczb naturalnych
LN=P8+~P8 =1 – zbiór ~P8 jest uzupełnieniem do dziedziny LN dla zbioru P8
P8*~P8=[]=0 – zbiory P8 i ~P8 są rozłączne
Po stronie następnika q mamy dokładnie ta samą dziedzinę:
LN=[1,2,3,4,5,6,7,8,9..] – zbiór liczb naturalnych
LN=P2+~P2 =1 – zbiór ~P2 jest uzupełnieniem do dziedziny LN dla zbioru P2
P2*~P2=[]=0 - zbiory P2 i ~P2 są rozłączne
Wniosek:
Wspólna dziedzina minimalna LN dla p i q w zdaniu A1 jest spełniona.

12.6 Zdania "Jeśli p to q" z niespełnioną definicją wspólnej dziedziny dla p i q

Warunek konieczny prawdziwości zdania warunkowego "Jeśli p to q"
Warunkiem koniecznym prawdziwości dowolnego zdania warunkowego "Jeśli p to q" jest wspólna dziedzina D dla p i q

Wniosek:
Zdania warunkowe Jeśli p to q” które nie spełniają warunku koniecznego prawdziwości zdania warunkowego „Jeśli p to q” są fałszywe
W dalszej części podamy przykłady takich zdań.

12.6.1 Zdanie "Jeśli p to q" z niespełnioną definicją wspólnej dziedziny dla p i q

Definicja wspólnej dziedziny w zdaniu warunkowym "Jeśli p to q":
Wspólna dziedzina D w zdaniu warunkowym "Jeśli p to q" musi zawierać wszystkie elementy zbioru p i wszystkie elementy zbioru q.
Inaczej zdanie "Jeśli p to q" jest fałszywe.

Przykład zdania warunkowego "Jeśli p to q" z niespełnioną definicją wspólnej dziedziny dla p i q:
A1.
Jeśli dowolna liczba naturalna jest podzielna przez 8 (P8) to zachodzi twierdzenie Pitagorasa (TP)
P8=>TP =0
Powyższe zdanie warunkowe jest fałszywe bo nie jest tu spełniona definicja wspólnej dziedziny dla p i q w zdaniu warunkowym „Jeśli p to q”.

Dowód:
1.
W obrębie poprzednika p mamy dziedzinę LN:
LN=[1,2,3,4,5,6,7,8,9..] – zbiór liczb naturalnych
LN=P8+~P8 =1
Zbiór ~P8=[1,2,3,4,5,6,7..9..] jest (=1) uzupełnieniem do dziedziny dla zbioru P8=[8,16,24..]
stąd mamy:
~P8=[LN-P8]=[1,2,3,4,5,6,7..9..] - zbiór liczb niepodzielnych przez 8
Matematycznie zachodzi:
P8*~P8=[]=0 – zbiory P8 i ~P8 są rozłączne

2.
W obrębie następnika q mamy dziedzinę:
ZWT – zbiór wszystkich trójkątów
ZWT=TP+~TP =1
Zbiór trójkątów nieprostokątnych ~TP jest uzupełnieniem do dziedziny ZWT dla zbioru trójkątów prostokątnych TP
Stąd mamy:
~TP=[ZWT-TP]
Matematycznie zachodzi:
TP*~TP=[] =0 – zbiory TP i ~TP są rozłączne

Wnioski:
1.
Dziedziny LN i ZWT są rozłączne:
LN~~>ZWT = LN*ZWT =[] =0
Oznacza to, że nie istnieje choćby jeden element zbioru LN który by należał do zbioru ZWT (i odwrotnie)
2.
Zdanie A1 jest fałszywe, bo nie jest spełniona definicja wspólnej dziedziny dla p i q.
cnd

12.6.2 Zdania "Jeśli p to q" gdzie p lub q jest zbiorem/zdarzeniem pustym

Zdania "Jeśli p to q" gdzie p lub q jest zbiorem/zdarzeniem pustym w języku potocznym nie są używane, bowiem nie możemy operować na zbiorze pustym [], z definicji zawierającym pojęcia niezrozumiałe dla człowieka.

Przykład 1
A1
Jeśli 2+2=5 to 2+2=4

Uwagi:
Logika matematyczna nie zajmuje się działaniami arytmetycznymi bo nie są to zdarzenia zero-jedynkowe, podlegające pod logikę matematyczną.
Logika matematyczna zajmuje się tylko i wyłącznie:
- rozpoznawalnością pojęć
- relacjami zero-jedynkowymi między pojęciami

Stąd zdanie A1 zapisujemy:
A1
Jeśli zbiór pusty [] to liczba 4
Gdzie:
[] - zbiór pusty lub zdarzenie niemożliwe

Definicja zbioru pustego []:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

W poprzedniku p zdania A1 mamy tu zbiór pusty [] zawierający wszelkie pojęcia możliwe do zdefiniowania w naszym Wszechświecie, ale jeszcze niezdefiniowane, natomiast w następniku mamy liczbę 4, pojęcie już zdefiniowane w naszym Wszechświecie.
Oczywistym jest, że iloczyn logiczny poprzednika p=[] z następnikiem q=[4] będzie tu zbiorem pustym [], bo zbiory p=[] i q=[4] są zbiorami rozłącznymi.
Stąd nasze zdanie A1 jest twardym fałszem:
A1
Jeśli zbiór pusty [] to liczba 4
[]~~>[4] = []*[4] =[] =0 - twardy fałsz, bo zbiór pusty [] i jednoelementowy zbiór [4] są rozłączne

Przykład 2
B1.
Jeśli 2+2=4 to 2+2=5

Mamy tu sytuację identyczną jak w przykładzie 1, zatem wnioskowanie będzie tu identyczne
Innymi słowy:
Zdanie B1 możemy zapisać w postaci:
B1.
Jeśli liczba 4 to zbiór pusty []
[4]~~>[] = [4]*[] = [] =0 - twardy fałsz, bo jednoelementowy zbiór [4] i zbiór pusty [] są rozłączne

Wyjątkową sytuacją jest przypadek gdy w zdaniu warunkowym "Jeśli p to q" mamy zbiory puste (zdarzenia niemożliwe), zarówno w poprzedniku p jak i w następniku q

Przykład 3
C1.
Jeśli 2+2=5 to pójdę piechotą na Księżyc

W tym przypadku w poprzedniku p mamy zbiór pusty [], zaś w następniku q zdarzenie niemożliwe [].
Stąd zdanie tożsame do C1 możemy zapisać jako.
C1.
Jeśli zbiór pusty [] to zdarzenie niemożliwe []
[]=>[] =1
Przynależność dowolnego pojęcia do zbioru pustego [] jest (=1) warunkiem wystarczającym => do tego, aby to pojęcie należało do zbioru pustego []
Innymi słowy:
Każdy zbiór jest (=1) podzbiorem => siebie samego, także zbiór pusty []
Szczegółowy dowód tego faktu wraz ze szczegółowym wyjaśnieniem o co tu chodzi mamy w punkcie 12.9.3 (prawo Owieczki)

12.7 Zaprzeczenie zdania w algebrze Kubusia

Zaprzeczenie zdanie w algebrze Kubusia wynika z definicji kontrprzykładu

12.7.1 Definicje kontrprzykładu w zdarzeniach i zbiorach

1.
Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wymusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wymusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)

Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH=1
Padanie jest warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury

Na mocy definicji kontrprzykładu prawdziwy warunek wystarczający A1: P=>CH=1 wymusza fałszywość kontrprzykładu A1' (i odwrotnie)
A1'
Jeśli jutro będzie padało (P) to może ~~> nie być pochmurno (~CH)
P~~>~CH = P*~CH=0
Dowód wprost:
Niemożliwe jest (=0) zdarzenie ~~>: pada (P) i nie jest pochmurno (~CH)
Dowód "nie wprost":
Na mocy definicji kontrprzykładu tego faktu nie musimy udowadniać, ale możemy, co wyżej uczyniliśmy.

Uwaga na standard w algebrze Kubusia:
Kontrprzykład dla warunku wystarczającego => A1 oznaczamy A1’

2.
Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)

Przykład:
A1.
Jeśli dowolna liczba jest podzielna przez 8 (P8) to na 100% => jest podzielna przez 2 (P2)
P8=>P2=1
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2, bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8…], co każdy matematyk udowodni.

Na mocy definicji kontrprzykładu, z prawdziwości warunku wystarczającego A1 wynika fałszywość kontrprzykładu A1’ (i odwrotnie)
A1’
Jeśli dowolna liczba jest podzielna przez 8 (P8) to może ~~> nie być podzielna przez 2 (~P2)
P8~~>~P2 = P8*~P2 =[] =0
Dowód wprost:
Nie istnieje (=0) wspólny element zbiorów P8=[8,16,24..] i ~P2=[1,3,5,7,9…] bo dowolny zbiór liczb parzystych jest rozłączny z dowolnym zbiorem liczb nieparzystych.
Dowód "nie wprost":
Na mocy definicji kontrprzykładu fałszywości zdania A1' nie musimy udowadniać, ale możemy, co zrobiono wyżej.

Uwaga na standard w algebrze Kubusia:
Kontrprzykład dla warunku wystarczającego => A1 oznaczamy A1’

12.7.2 Przykłady zaprzeczeń zdań w algebrze Kubusia

Definicja zaprzeczenia zdania w algebrze Kubusia:
Zaprzeczeniem zdania w algebrze Kubusia jest fałszywy kontrprzykład obowiązujący w zdaniach warunkowych i twierdzących

Na mocy definicji kontrprzykład jest nierozerwalnie związany ze zdaniem warunkowym „Jeśli p to q” ze spełnionym warunkiem wystarczającym =>

Prawo Mrówki:
Dowolne zdanie twierdzące prawdziwe to spełniony warunek wystarczający =>

Przykłady:
1.
Pies ma cztery łapy
P=>4L =1
2.
Ziemia krąży dookoła słońca
Z=>DS =1
3.
Trójkąt o bokach [3,4,5] jest prostokątny
T345=>TP =1
4.
Kopernik był mężczyzną
K=>M =1
5.
Kubuś Puchatek jest misiem
KP=>M =1


Przykład 1
A1.
Jeśli zwierzę jest psem (P) to ma cztery łapy (4L)
P=>4L =1
Bycie psem (P) jest warunkiem wystarczającym => by mieć cztery lapy (4L) bo zbiór P=[pies] jest podzbiorem => zbioru zwierząt z czterema łapami 4L=[pies, słoń, koń ..]
Innymi słowy:
Bycie psem jest (=1) warunkiem wystarczającym => by mieć cztery łapy bo każdy pies ma cztery łapy

Kontrprzykład dla A1 brzmi:
A1’.
Jeśli zwierzę jest psem (P) to może ~~> nie mieć czterech łap (~4L)
P~~>~4L = P*~4L =0
Nie może się zdarzyć (=0) że zwierzę jest psem (P) i nie ma czterech łap (~4L)

Wynikowe zero jest tu twardym zerem tzn. jest fizycznie niemożliwe ustawienie tu jedynki, bo psów z innymi łapami niż cztery, po prostu nie ma

Zdane twierdzące wynikłe ze zdania A1 to:
A1”
Pies ma cztery łapy
P=>4L =1
Zauważmy, że matematyczne kodowanie zdania A1” jest identyczne jak zdania A1.

Stąd zaprzeczenie zdania A1” to:
1: ~A1”
Nie może się zdarzyć (=0), że zwierzę jest psem (P) i nie ma czterech łap (~4L)
P~~>~4L = P*~4L =0

Zaprzeczenie zdania A1” można wypowiedzieć tak:
2: ~A1”
Pies nie ma czterech łap
P~~>~4L = P*~4L =0

Matematycznie zachodzi tożsamość zdań:
1: ~A1” = 2: ~A1”

Przykład 2

Ziemia krąży dookoła Słońca
Zdanie tożsame:
A2
Ziemia na 100% => krąży dookoła Słońca
kodowanie matematyczne:
Z=>DS =1
To samo w zapisie formalnym:
p=>q =1
Gdzie:
p=Z (Ziemia)
q=DS (dookoła Słońca)
Czytamy:
Bycie Ziemią (Z) jest (=1) warunkiem wystarczającym => by krążyła ona dookoła Słońca (DS)

Kontrprzykład dla A2 to:
A2’
Ziemia (Z) może ~~> nie krążyć dookoła Słońca (~DS.)
Z~~>~DS =Z*~DS =0
Nie może się zdarzyć ~~> (=0), że Ziemia nie krąży dookoła Słońca

Zaprzeczenia zdania A2 można wypowiedzieć tak:
Ziemia nie krąży dookoła Słońca
Z~~>~DS =Z*~DS =0
Fałszem jest (=0), że Ziemia krąży dookoła Słońca

Definicja warunku wystarczającego => w zbiorach:
p=>q=1
Zajście p jest warunkiem wystarczającym => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Relacja podzbioru

Dowód czysto matematyczny, iż poprzednik p=Z jest podzbiorem następnika q=DS

Przyjmijmy dziedzinę:
ZWP - Zbiór wszystkich planet krążących dookoła naszego Słońca
ZWP=[Ziemia, Mars, Wenus..]
Oczywistym jest, że wszystkie te planety krążą dookoła naszego Słońca

Prawo Orła:
Rozstrzygające o relacji warunek wystarczający => albo warunek konieczny ~> między p i q zarówno w zdarzeniach, jak i w zbiorach:
p*(q+~q) (=>, ~>) q*(p+~p)

Wyprowadzenie prawa Orła:
W AK poprzednik p i następnik q muszą należeć do wspólnej dziedziny D, czyli:
p+~p = D =1
q+~q = D =1
p (=>, ~>) q
Prawo algebry Boole’a:
p*1 (=>, ~>) q*1
Stąd mamy wyprowadzone prawo Orła:
p*(q+~q) (=>, ~>) q*(p+~p)
cnd

Nasz przykład:

Prawo Orła:
Rozstrzygające o relacji między p i q zarówno w zdarzeniach, jak i w zbiorach:
p*(q+~q) => q*(p+~p)
p=Z
q=DS
Obliczamy ~Z:
~Z=[ZWP-Z]=[Mars, Wenus..] - wszystkie planety z wykluczeniem Ziemi

Stąd mamy:
Z*(DS+~DS) => DS*(Z+~Z)
Z*DS + Z*~DS => Z*DS + ~Z*DS
Z*~DS=0 - fałszem jest (=0), że Ziemia nie krąży dookoła Słońca
Stąd mamy:
Z*DS => Z*DS + ~Z*DS - relacja podzbioru => jest spełniona!

Doskonale widać, że relacja podzbioru => w zdarzeniach jest tu spełniona:
Z => DS =1
cnd

12.8 Definicje zbioru pustego

W logice matematycznej rozróżniamy trzy rodzaje zbioru pustego [].

12.8.1 Definicja zbioru pustego [] w sensie absolutnym

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego (wyjaśnienie w pkt. 12.9):
[]=>[] =1
0=>0 =1

12.8.2 Definicja zbioru pustego [] względem wybranej dziedziny

Definicja zbioru pustego [] względem wybranej dziedziny:
Zbiór pusty [] to wszelkie pojęcia poza wybraną dziedziną

Definicja dziedziny:
Dziedzina to dowolnie wybrany zbiór na którym operujemy

Przykład:
Twierdzenie proste Pitagorasa:
Jeśli trójkąt jest prostokątny to zachodzi w nim suma kwadratów
TP=>SK =1
Twierdzenie proste Pitagorasa ludzkość udowodniła wieki temu
Oczywista dziedzina na której operuje twierdzenie Pitagorasa to:
ZWT – zbiór wszystkich trójkątów
Zbiorem [] pustym będą tu wszelkie pojęcia z Uniwersum pomniejszone o zbiór wszystkich trójkątów
[] = [U-ZWT]
Przykładowe pojęcia puste [] ze względu na zbiór wszystkich trójkątów (ZWT) to:
[] = [kwadrat, koło, kula, pies, miłość, krasnoludek …]

Zauważmy, że zbiór pusty [] będzie tu podzbiorem => siebie samego:
[]=>[] =1
0=>0 =1

12.8.3 Definicja zbioru pustego [] będącego twardym fałszem

Definicja zbioru pustego [] będącego twardym fałszem:
Zbiór pusty [] to wszelkie twarde fałsze (=0) w otaczającym nas świecie.

Definicja twardego fałszu (=0):
Twardy fałsz (=0) to pojęcie które w dowolnym iterowaniu (losowaniu) nie ma prawa stać się prawdą (=1)

W logice matematycznej istnieją twarde jedynki i twarde zera jak również miękkie jedynki i miękkie zera. O co tu chodzi mamy wytłumaczone na przykładzie w punkcie 2.16.3 oraz 2.17.

Definicja kontrprzykładu w zbiorach (pkt. 2.3.4):
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)

Przykłady twardej prawdy i twardego fałszu:
1.
Pies na cztery lapy
P=>4L =1 – twarda prawda (=1)
Bycie psem jest (=1) wystarczające => by mieć cztery łapy wtedy i tylko wtedy
gdy zbiór P=[pies] jest (=1) podzbiorem => zbioru zwierząt z czterema łapami 4L=[pies, słoń ..]
2.
Kontrprzykład dla 1 to:
Nie istnieje (=0) zwierzę będące psem i nie mające czterech łap
P~~>~4L=P*~4L=[] =0 – twardy fałsz (=0)
Zbiór P=[pies] i zbiór zwierząt bez czterech łap ~4L=[kura ..] to zbiory rozłączne (=[] =0)
3.
2+2=4 – twarda prawda (=1)
Prawdziwe jest (=1) działania 2+2=4
4.
2+2=5 =[] =0 – twardy fałsz
Fałszywe jest (=0) działanie 2+2=5
etc

Zauważmy, że twarde fałsze należą do Uniwersum bo potrafimy udowodnić iż są to twarde fałsze.

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Wszelkie pojęcia w Uniwersum wiąże ze sobą spójnik „lub”(+).
Stąd mamy:
U = [pies ma cztery łapy (=1) + pies nie ma czterech łap (=0) + miłość (=1) + krasnoludek (=1) ...]
- wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Zauważmy, że jeśli ze zbioru U (Uniwersum) usuniemy twarde fałsze (=0) to nic nie stracimy na jednoznaczności U (Uniwersum) bowiem wszelkie twarde fałsze (=0) wynikają z twardych prawd (=1) na mocy definicji kontrprzykładu.

Zajdzie więc tożsamość zbioru U (Uniwersum) z twardymi fałszami:
U = [pies ma cztery łapy (=1) + pies nie ma czterech łap (=0) + miłość (=1) + krasnoludek (=1) ...]
oraz zbioru U (Uniwersum) pomniejszonego o wszelkie twarde fałsze:
U = [pies ma cztery łapy (=1) + miłość (=1) + krasnoludek (=1) ...]

To samo w zapisie ogólnym możemy zapisać jako:
U-[] =U-0 = U
Czytamy:
Z dowolnego zbioru (w tym z Uniwersum) możemy usunąć twarde fałsze i zbiór nie zmieni się na mocy definicji spójnika „lub”(+).

Komentarz:
W logice matematycznej za psa przyjmujemy wzorzec psa, czyli psa zdrowego z czterema łapami.
Oczywiście wiemy, że pies kaleki z trzema łapami to też pies, ale tego przypadku nie wolno nam podpinać pod logikę matematyczną, bo będziemy mieli chaos, czyli brak warunku wystarczającego =>.

Dowód:
A1.
Jeśli zwierzę jest psem (P) to na 100% => ma cztery łapy (4L)
A1: P=>4L =0
Przyjmijmy za dziedzinę psa z czterema łapami plus psa kalekiego (z trzema łapami)
Wtedy mamy:
Warunek wystarczający A1: P=>4L nie jest (=0) spełniony, bo istnieje pies z trzema łapami

Podsumowując:
Nie wolno obalać logiki matematycznej przysłowiowym „psem z trzema łapami”

12.9 Uniwersum vs zbiór pusty [] w sensie absolutnym

Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka.
Czyli:
U = [pies, miłość, krasnoludek, pies ma cztery łapy ...] - wyłącznie pojęcia rozumiane przez człowieka (zdefiniowane)

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

Z definicji wiadomo, że wyłącznie człowiek (mimo że podobno pochodzi od małpy) jest zdolny do odkrywania i świadomego definiowania dowolnych pojęć związanych z otaczającym go światem.
Przed pojawieniem się pierwszego człowieka na ziemi mieliśmy zatem do czynienia ze zbiorem pustym [].

Aktualna wiedza o otaczającym nas Wszechświecie to wiedza dostępna wyłącznie człowiekowi z wykluczeniem wszelkich zwierząt.
Matematycznie zachodzi:
Człowiek ## Dowolne zwierzę
Gdzie:
## - różne na mocy definicji

Stąd mamy wyprowadzoną definicje zbioru pustego [] w sensie absolutnym, czyli przed pojawieniem się pierwszego człowieka na Ziemi (zaledwie 200tys lat temu)

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] w sensie absolutnym to zbiór zawierający zero pojęć zrozumiałych dla człowieka
Czyli:
[] = [agstd, sdked …] - wyłącznie pojęcia niezrozumiałe dla człowieka (jeszcze niezdefiniowane)

12.9.1 Definicja dziedziny absolutnej DA

Idąc dalej tropem zbioru pustego [] w sensie absolutnym łatwo zdefiniować nowatorskie pojęcie zwane dziedziną absolutną DA.

Definicja dziedziny absolutnej DA:
Dziedzina absolutna DA to zbiór wszelkich pojęć możliwych do zdefiniowania w naszym Wszechświecie.

Zauważmy, że największy współczesny wynalazek ludzkości, Internet, mógł zaistnieć tylko i wyłącznie dlatego, że na naszej Ziemi były ku temu warunki niezależne od człowieka, które istniały „od zawsze”.
Nie wiadomo jakimi jeszcze wynalazkami w przyszłości ludzkość zostanie zaskoczona, pewne jest, że zostanie zaskoczona wynalazkami tylko i wyłącznie możliwymi do zaistnienia w naszym Wszechświecie.

Ludzkość w tym zakresie nieustannie marzy, próbując zrealizować swoje marzenia.

Wiele z tych marzeń jest wątpliwej jakości.
Przykłady:
Faraonowie w grobowcach gromadzili niebotyczne skarby marząc o życiu w zaświatach gdzie będą ich potrzebować.
Średniowieczni alchemicy marzyli o zrobieniu złota z piasku bo to żółte i to żółte
etc

Przykłady zrealizowanych marzeń ludzkości o których największym ziemskim, średniowiecznym filozofom się nie śniło to:
- radio i telewizja
- prom kosmiczny
- Internet
etc

Jak widzimy, na bazie powyższych rozważań pojęcie dziedziny absolutnej DA jest pojęciem rzeczywistym, dziejącym się na naszych oczach, tu i teraz.
W żadnym przypadku pojęcie dziedziny absolutnej DA nie jest pojęciem abstrakcyjnym.

12.9.2 Definicja zbioru wszystkich zbiorów

Jak udowodniliśmy wyżej, kluczowe pojęcia Kubusiowej Teorii Zbiorów:
- Uniwersum (U)
- Zbiór pusty ([]) w sensie absolutnym
- Dziedzina absolutna (DA)
To pojęcia rzeczywiste, weryfikowalne w naszym Wszechświecie.
Stąd mamy łatwo wyprowadzoną definicję zbioru wszystkich zbiorów.

Zbiór wszystkich zbiorów:
Zbiór wszystkich zbiorów jest tożsamy z dziedziną absolutną DA.

12.9.3 Prawo Owieczki

Definicja Uniwersum:
Uniwersum U to zbiór wszelkich pojęć zrozumiałych dla człowieka.

Definicja zbioru pustego [] w sensie absolutnym:
Zbiór pusty [] to zbiór zawierający zero pojęć zrozumiałych dla człowieka.

Zbiór pusty zawiera nieskończenie wiele pojęć niezrozumiałych dla człowieka, jeszcze niezdefiniowanych. Definiować elementy w naszym Wszechświecie może wyłącznie człowiek, świat martwy sam sobie nic nie definiuje.

Przed pojawieniem się człowieka na ziemi zawartość zbioru pustego była taka:
[] - wszystkie elementy naszego Wszechświata w sensie absolutnym, nie ma jeszcze człowieka który by cokolwiek definiował.

W dniu dzisiejszym sytuacja jest inna, taka:

[rafal3006]

Algebra Kubusia - matematyka języka potocznego
13.0 Algebra Kubusia w zbiorach

Spis treści
13.0 Algebra Kubusia w zbiorach 2
13.1 Elementarne spójniki implikacyjne w zbiorach 2
13.1.1 Definicja elementu wspólnego zbiorów ~~> 2
13.1.2 Definicja warunku wystarczającego => w zbiorach 3
13.1.3 Definicja warunku koniecznego ~> w zbiorach 4
13.1.4 Definicja kontrprzykładu w zbiorach 5
13.1.5 Nietrywialny błąd podstawienia ### 5
13.2 Rachunek zero-jedynkowy warunków wystarczających => i koniecznych ~> 7
13.3 Prawa algebry Kubusia wynikłe z rachunku zero-jedynkowego 11
13.3.1 Definicje znaczków # i ## 12
13.4 Fundamentalne definicje i prawa algebry Kubusia 13
13.4.1 Prawa Sowy 13
13.4.2 Definicja tożsamości logicznej 14
13.4.3 Definicja dowodu "nie wprost" w algebrze Kubusia 14
13.4.4 Prawa Prosiaczka 14
13.4.5 Prawo Kłapouchego - kluczowe prawo logiki matematycznej 14
13.4.6 Prawo Słonia dla zbiorów 15
13.4.7 Prawo Irbisa dla zbiorów 15
13.4.8 Definicja spójnika implikacyjnego p?q 15
13.4.9 Definicja operatora implikacyjnego p|?q 16
13.5 Podstawowe spójniki implikacyjne 16
13.5.1 Prawo Puchacza 18
13.5.2 Dowód prawa Puchacza 19
13.5.3 Alternatywny dowód prawa Puchacza 20
13.6 Algorytm Puchacza 21
13.6.1 Przykłady zdań niespełniających algorytmu Puchacza 22
13.7 Zdjęcie układu 23
13.7.1 Definicja zdjęcia układu w teorii zdarzeń 23
13.7.2 Definicja zdjęcia układu w teorii zbiorów 24
13.8 Prawo Orła 24
13.8.1 Przykład wykorzystania prawa Orła 25
13.8.2 Algorytm ogólny dowodzenia twardych zer w zdjęciu układu 29


13.0 Algebra Kubusia w zbiorach

Niniejszy punkt to kompendium algebry Kubusia zawierające wszystkie potrzebne definicje i prawa algebry Kubusia konieczne i wystarczające do zrozumienia matematycznej obsługi zdań warunkowych "Jeśli p to q" na gruncie teorii zbiorów.

Definicja podstawowego spójnika implikacyjnego:
Podstawowy spójnik implikacyjny to spójnik związany w obsługą zdań warunkowych "Jeśli p to q" definiowanych warunkami wystarczającymi => i koniecznymi ~>

Definicje spójników implikacyjnych w algebrze Kubusia mają układ trzypoziomowy {1=>2=>3}:
1.
Elementarne spójniki logiczne w zdarzeniach:
~~> - spójnik zdarzenia możliwego (2.2.1)
=> - warunek wystarczający (2.2.2)
~> - warunek konieczny (2.2.3)
Elementarne spójniki logiczne w zbiorach:
~~> - element wspólny zbiorów (2.3.1)
=> - warunek wystarczający tożsamy z relacją podzbioru =>(2.3.2)
~> - warunek konieczny tożsamy z relacją nadzbioru ~>(2.3.3)
2.
Podstawowe spójniki implikacyjne definiowane spójnikami elementarnymi:
|=> - implikacja prosta (2.12)
|~> - implikacja odwrotna (2.13)
<=> - równoważność (2.14)
|~~> - chaos (2.15)
3.
Operatory implikacyjne definiowane podstawowymi spójnikami implikacyjnymi
||=> - operator implikacji prostej (2.12.1)
||~~> - operator implikacji odwrotnej (2.13.1)
|<=> - operator równoważności (2.14.1)
||~~> - operator chaosu (2.15.1)

13.1 Elementarne spójniki implikacyjne w zbiorach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zbiorów/zdarzeń p i q.

13.1.1 Definicja elementu wspólnego zbiorów ~~>

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q =p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q= p*q= [] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>

Decydujący w powyższej definicji jest znaczek elementu wspólnego zbiorów ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
W operacji iloczynu logicznego zbiorów p*q poszukujemy jednego wspólnego elementu co kończy dowód, nie wyznaczamy kompletnego zbioru p*q.
Jeśli zbiory p i q mają element wspólny ~~> to z reguły błyskawicznie go znajdujemy:
p~~>q=p*q =1
co na mocy definicji kontrprzykładu (poznamy za chwilkę) wymusza fałszywość warunku wystarczającego =>:
p=>~q =0 (i odwrotnie)

Przykład:
Jeśli dowolna liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3 = P8*P3 =1
Istnieje (=1) wspólny element zbiorów P8=[8,16,24..] i P3=[3,6,9..24..] np. 24

13.1.2 Definicja warunku wystarczającego => w zbiorach

Definicja podzbioru => w algebrze Kubusia:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie elementy zbioru p należą do zbioru q
p=>q =1 - wtedy i tylko wtedy gdy relacja podzbioru => jest (=1) spełniona
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy relacja podzbioru => nie jest (=0) spełniona

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Zajście p jest (=1) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0
Zajście p nie jest (=0) wystarczające => dla zajścia q wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

Matematycznie zachodzi tożsamość logiczna:
Warunek wystarczający => = relacja podzbioru =>

Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Przykład:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% => jest podzielna przez 2
P8=>P2 =1
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Udowodnić relację podzbioru P8=>P2 potrafi każdy matematyk.

W zapisie formalnym mamy tu:
p=P8=[8,16,24..] - zbiór liczb podzielnych przez 8
q=P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
Gdzie:
p - przyczyna (część zdania po "Jeśli …")
q - skutek (część zdania po "to…")

Podsumowując: