ŚFiNiA

krowa

* * *

- Kupie nowe lustro, dobrze?
- Niech pani kupi.

krowa

janek z wojska · Gość

Alicja Wieniawa-Narkiewicz: Absolutnie nie miały one nic wspólnego z moją obecną wizją przyszłości. Z tego, co pamiętam, najpierw chciałam być kominiarzem, a potem astronautką. (śmiech) Nie mam bladego pojęcia, skąd to się wzięło. Chyba po prostu fascynowałam się wieloma rzeczami naraz i różne pomysły przychodziły mi do głowy. Wraz z wiekiem one się zmieniały. Gdy moje koleżanki marzyły o tym, by być fryzjerkami czy weterynarzami, to ja chciałam być astronautką i pracować w NASA. Dziś już wiem, że fizyka nie jestem moją mocną stroną i na pewno do tego nigdy nie dojdzie.

krowa

Właśnie czytam od początku Algebrę Kubusia dla LO i szlifuję.
Zdecydowałem to co było do dnia dzisiejszego nazwać Beata 1.0 bo poprawek jest sporo - są to poprawki drobne, ale istotne.

2.2 Wyprowadzenie logiki symbolicznej

Definicja logiki symbolicznej:
Logika symboliczna to logika izolowana od wszelkich tabel zero-jedynkowych gdzie posługujemy się symbolami niezaprzeczonymi i zaprzeczonymi zamiast bezwzględnymi zerami i jedynkami

Przykład logiki symbolicznej, gdzie nie ma ani zer, ani jedynek:
TP - trójkąt prostokątny
~TP - trójkąt nieprostokątny

Przykład logiki zero-jedynkowej operującej na zerach i jedynkach:
TP=1 - trójkąt prostokątny
TP=0 - trójkąt nieprostokątny

Zadanie rodem ze 100-milowego lasu:
Dana jest dziedzina:
ZWT - zbiór wszystkich prostokątów
Polecenie:
Opisz kolejne losowania trójkątów prostokątnych TP z worka zawierającego wszystkie trójkąty ZWT,

Rozwiązanie:
Ze zbioru wszystkich trójkątów ZWT losujemy kolejne trójkąty.
To losowanie możemy opisać w logice dodatniej (bo TP) albo w logice ujemnej (bo ~TP).
1.
Obsługa losowania w logice dodatniej (bo TP)
Znaczenie zmiennej binarnej w logice dodatniej (bo TP):
TP=1 - prawdą jest (=1), że wylosowany trójkąt jest prostokątny TP
TP=0 - fałszem jest (=0), że wylosowany trójkąt jest prostokątny TP - czyli jest nieprostokątny
2.
Obsługa losowania w logice ujemnej (bo ~TP)
Znaczenie zmiennej binarnej w logice ujemnej (bo ~TP):
~TP=1 - prawdą jest (=1), że wylosowany trójkąt jest nieprostokątny ~TP
~TP=0 - fałszem jest (=0), że wylosowany trójkąt jest nieprostokątny ~TP - czyli jest prostokątny

Z 1 i 2 można tu wyczytać prawa Prosiaczka których dowodem zajmiemy się w kolejnym punkcie:
I prawo Prosiaczka:
1: TP=1 = 2: ~TP=0 - po obu stronach mamy ten sam trójkąt, trójkąt prostokątny
II prawo Prosiaczka:
2: ~TP=1 = 1: TP=0 - po obu stronach mamy ten sam trójkąt, trójkąt nieprostokątny

Z praw Prosiaczka wynika logika symboliczna w której nie ma ani jednego zera.
3.
Obsługa losowania w logice symbolicznej:
TP=1 - prawdą jest (=1), że wylosowano trójkąt prostokątny TP
~TP=1 - prawdą jest (=1), że wylosowano trójkąt nieprostokątny (~TP)

W logice symbolicznej, a także w równaniach alternatywno-koniunkcyjnych (o których za chwilę) jedynki są domyślne co oznacza, że możemy je pominąć nic nie tracąc na jednoznaczności
4.
Obsługa losowania w logice symbolicznej:
TP - wylosowano trójkąt prostokątny
~TP - wylosowano trójkąt nieprostokątny

Jak widzimy, dopiero w tym momencie mamy naturalny, matematyczny język potoczny zgodny z logiką w pełni symboliczną, mającą w głębokim poważaniu wszelkie zera i jedynki.

Przyjmijmy dziedzinę minimalną:
ZWT - zbiór wszystkich trójkątów
Stąd mamy:
TP+~TP = ZWT =1 - zbiór ~TP jest uzupełnieniem do wspólnej dziedziny ZWT dla zbioru TP
TP*~TP =0 - zbiory TP i ~TP są rozłączne
Stąd mamy:
~TP={ZWT-TP] - bo TP+~TP=ZWT

To samo w zapisach formalnych dla punktu odniesienia:
p=TP (zbiór trójkątów prostokątnych
D = ZWT (wspólna dziedzina)
Formalna definicja dziedziny:
p+~p =D =1
p*~p=0
Stąd mamy:
~p=[D-p] - bo p+~p =D

krowa

krowa

krowa

krowa

W co się bawić?

No więc ja, najchętniej bym się pobawił w tate, mame i córke. Tak jak teraz jest ładna pogoda, to bym się nie bawił w tate, mame i córke.

Włożyłem sobie gumofilce, bo jest mokro i obcinałem gałęzie klonów. A dlatego, żeby sobie zrobić drogę dla Tarpana Honkera, a ma wysokie pudło i nie chciałbym aby gałęzie mu przeszkadzały. Przy okazji odkrywam widok z okna w kuchni i w ogóle mam lepszy pogląd na kształt ziemi na moim terenie i bardzo mnie zajmuje jak tą powierzchnię ukształtować pod siebie.
A bo to poprzednicy mieli tunel foliowy na pomidory i pousypywali byle jakie hałdy z plewienia chwastów, które pogniły, obrosły trawskami, bzem, pokrzywami.

W tym czasie co ja kształtuję ziemię, bo jest ładne słońce, nieomal Złota Polska Jesień jak by tylko było cieplej i posnuły się nitki pajęcze, więc w tym czasie mama i córka by mogły sprzątać moją cudowną szkołę.