| Autor |
Wiadomość |
| krowa |
 Wysłany: Czw 20:43, 26 Lip 2018 Temat postu: |
|
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
[img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img] [img]http://www.ganzomag.com/wp-content/uploads/2013/06/montante-cicli-bicycle-fashion-milano.jpg[/img]
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
|
 |
| Gość |
| Wysłany: Czw 20:30, 26 Lip 2018 Temat postu: |
|
| Komandor napisał: | | Adriatyk napisał: | | Komandor napisał: | Czasu nie mam wiele więc tylko Mańce  |
destrukcją edukację, a też zupełnie przypadkowo nie dotknęła swoją destrukcją korporacji. Zupełny przypadek, zupełnie tajemniczy, absolutnie niedostępny rozumowi. |
Bo zbytnio upraszczasz.
A przyczyny są nie tajemne ale jak najbardziej materialne. Ale jest ich cały zbieg. Polityka, wolny rynek, gdzie wszystko jest na sprzeda.... Łącznie z internetem i nowymi środkami komunikacji i publikowania materiałów.
Np taki Kubuś, dawniej by sobie pisał do szuflady i był najwyzej znanym dziwakiem w swojej wsi, wśród znajomych i w rodzinie. Poszlo by biedactwo do PWN aby wydać te swoje brednie i by od dyrektora naukowego dostał kopa, że aż by się popłakał. Podobnie w poważnych periodykach naukowych. Może by coś wydal w jakimś pseudonaukowym szmatławcu, broszurze ale o małym zasięgu. A tak łazi po forach, na sfini się śfini, może nawet kiedyś bloga swojego naukowego założy i każden debil będzie mógł to znaleźć i się zachwycić i propagować dalej.
A wolny rynek, wiadomo, jak jest popyt na bycie magistrem to się zawsze ktoś znajdzie aby to umożliwić za odpowiednią kasę.
Polityka również, w właściwie ta ideologia wolnorynkowa, która ją kreuje.
Ambicje rządzących aby źle w nowoczesnym świecie nie wypaść.
Czynnik ludzki związany z konsumpcyjnym podejściem i żądaniowym do życia. Płacę, wymagam. Postmodernistyczna filozofia wmawiająca równość wszystkich i wszystkiego, aby tylko chcieć. Podejście, ze nie wolno nikomu prawdy w oczy powiedzieć, że tuman i się tylko do kopania rowów nadaje. Już widzę co by się działo jakby jakiś belfer tak dziecku powiedział. Rodzice by na wojnę poszli, Gazety, telewizje, sądy, Rożnego rodzaju poradniki życia, że wystarczy tylko w siebie uwierzyć itd...
Łatwość dostępu do wiedzy, w tym tej pseudo czy też komiksowej. Po co się uczyć rachowaMatura (łac. maturus ‘dojrzały’ć jak w komórce każdy kalkulator ma a jak ściągnie apkę to i naukowy, po co coś zapamiętywać jak w każdej chwili pod ręką ta wiedza w komórce nawet jest.
I nawet jak coś wiesz z lektury, pamiętasz, że szkoły to i tak Ci powiedzą żeś googlowy profesor. Bo już nawet przez głupi łeb myśl nie przechodzi, ze można wiedzieć a internecie najwyżej źródło znaleźć aby ręcznie z książki nie przepisywać i dodatkowych argumentów "za" poszukać.
To tylko kilka czynników, tak szybko.
I wcale teorii spiskowych, pięknych i prostych co prawda, jak te o szczepionkach co to specjalnie dają bo..., nie trzeba. |
|
|
|
| Gość |
| Wysłany: Czw 20:29, 26 Lip 2018 Temat postu: |
|
| Anonymous napisał: | | Anastasia@cycki napisał: | Algebra Boole’a - nieznane oblicze napisał:
4.9 Definicja operatora implikacji p|=>q w spójnikach „i”(*) i „lub”(+)
Definicja warunku wystarczającego =>:
Jeśli zajdzie p to na 100% zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona wtedy i tylko wtedy gdy zajście p wymusza => zajście q
Przykład:
Jeśli jutro będzie padało to na 100% będzie pochmurno
P=>CH =1
Padanie deszczu jest warunkiem wystarczającym => dla istnienia chmur
Zawsze gdy pada, są chmury
Zero-jedynkowa definicja warunku wystarczającego p=>q:
Kod:
T1
Zero-jedynkowa definicja warunku wystarczającego p=>q:
p q Y=(p=>q)
A: 1 1 1
B: 1 0 0
C: 0 1 1
D: 0 0 1
Prawo Lwa:
Dowolny sygnał cyfrowy w logice dodatniej (bo p) wymusza istnienie sygnału w logice ujemnej (bo ~p) i odwrotnie.
Na mocy prawa Lwa pełna tabela zero-jedynkowa definicja warunku wystarczającego => jest następująca:
Kod:
Pełna, zero-jedynkowa definicja warunku wystarczającego =>:
T2
p q ~p ~q Y=? ~Y=?
A: 1 1 0 0 1 0
B: 1 0 0 1 0 1
C: 0 1 1 0 1 0
D: 0 0 1 1 1 0
Prawo Pumy:
Dowolną tabelę zero-jedynkową możemy jednoznacznie zakodować wyłącznie w logice jedynek albo wyłącznie w logice zer.
Tych dwóch równoważnych logik lepiej nie mieszać bowiem robi się wówczas groch z kapustą.
Kodowanie w logice jedynek prowadzi do równań alternatywno-koniunkcyjnych doskonale rozumianych przez człowieka.
Kodowanie w logice zer prowadzi do równań koniunkcyjno-alternatywnych których żaden człowiek nie rozumie.
Kod:
T3
Tabela prawdy warunku wystarczającego => w logice jedynek
W logice jedynek bierzemy pod uwagę wyłącznie jedynki
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Pełna tabela |Co w logice jedynek |Równania cząstkowe
zero-jedynkowa |oznacza |w logice jedynek
p q ~p ~q Y=? ~Y=? | |
A: 1 1 0 0 1 0 | Ya=1<=> p=1 i q=1 | Ya= p* q =1
B: 1 0 0 1 0 1 |~Yb=1<=> p=1 i ~q=1 |~Yb= p*~q =1
C: 0 1 1 0 1 0 | Yc=1<=>~p=1 i q=1 | Yc=~p* q =1
D: 0 0 1 1 1 0 | Yd=1<=>~p=1 i ~q=1 | Yd=~p*~q =1
1 2 3 4 5 6 a b c d e f g
Logika jedynek:
Definicja implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y:
1.
Y=Ya+Yc=Yd
po rozwinięciu mamy:
Y = p*q + ~p*q + ~p*~q =1
co w logice jedynek oznacza:
Y=1 <=> p=1 i q=1 lub ~p=1 i q=1 lub ~p=1 i ~q=1
Minimalizujemy równanie 1:
Y = p*q + ~p*q + ~p*~q
Y = p*q+~p*(q+~q)
Y = ~p+(p*q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = p*(~p+~q)
~Y = p*~p+p*~q
~Y = p*~q
Powrót do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
1’.
Y = ~p+q =1
co w logice jedynek oznacza:
Y=1 <=> ~p=1 lub q=1
Widać to doskonale w tabeli zero-jedynkowej ABCD125.
Zachodzi tu logiczna tożsamość [=]:
1=1’
Y = p*q+~p*q+~p*~q [=] ~p+q =1
2.
Z tabeli równań cząstkowych mamy:
~Y=~Yb - bo jest tylko jedna jedynka w kolumnie 6
po rozwinięciu mamy:
~Y = p*~q =1
co w logice jedynek oznacza:
~Y=1 <=> p=1 i ~q=1
Kod:
T4
Tabela prawdy warunku wystarczającego => w logice zer
W logice zer bierzemy pod uwagę wyłącznie zera
W poziomach stosujemy spójnik „lub”(+) zaś w pionach spójnik „i”(*)
Pełna tabela |Co w logice zer |Równania cząstkowe
zero-jedynkowa |oznacza |w logice zer
p q ~p ~q Y=? ~Y=? | |
A: 1 1 0 0 1 0 |~Ya=0<=>~p=0 lub ~q=0 |~Ya=~p+~q =0
B: 1 0 0 1 0 1 | Yb=0<=>~p=0 lub q=0 | Yb=~p+ q =0
C: 0 1 1 0 1 0 |~Yc=0<=> p=0 lub ~q=0 |~Yc= p+~q =0
D: 0 0 1 1 1 0 |~Yd=0<=> p=0 lub q=0 |~Yd= p+ q =0
1 2 3 4 5 6 a b c d e f g
Logika zer:
Definicja warunku wystarczającego => w spójnikach „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y:
1.
Y=Yb - bo jest tylko jedno zero w kolumnie 5
po rozwinięciu mamy:
Y = ~p+q =0
2.
~Y=~Ya*~Yc*~Yd
po rozwinięciu mamy:
~Y=(~p+~q)*(p+~q)*(p+q) =0
4.9.1 Schemat ideowy implikacji prostej p|=>q
Zauważmy, że jedyną różnicą w operatorze implikacji prostej p|=>q w porównaniu z operatorem chaosu p|~~>q omówionym wyżej jest rozkład zer i jedynek w kolumnie Y wymuszający rozkład zer i jedynek w kolumnie ~Y (albo odwrotnie)
Dokładnie z tego powodu bramki wejściowe ABCD w operatorze implikacji prostej p|=>q będą identyczne jak w operatorze chaosu p|~~>q, zmieni się tylko i wyłącznie przypisanie symboli Y i ~Y tym bramkom.
Małe, a robi fundamentalną różnicę.
Dokładnie z tego powodu operator chaosu p|~~>q możemy nazwać matką wszystkich operatorów logicznych, bowiem na schemacie ideowym zmieniać się będzie tylko i wyłącznie kolumna wynikowa Y, pociągająca za sobą zmiany w kolumnie ~Y.
Zbudujmy połączoną tabelę prawdy warunku wystarczającego => w logice jedynek (T3) oraz w logice zer (T4)
Kod:
T5
Tabela prawdy spójnika „lub”(+)
kodowanego w logice jedynek i w logice zer
Pełna tabela |Równania cząstkowe |Równania cząstkowe
zero-jedynkowa |w logice jedynek |w logice zer
p q ~p ~q Y=? ~Y=? | |
A: 1 1 0 0 1 0 | Ya= p* q =1 |~Ya=~p+~q =0
B: 1 0 0 1 0 1 |~Yb= p*~q =1 | Yb=~p+ q =0
C: 0 1 1 0 1 0 | Yc=~p* q =1 |~Yc= p+~q =0
D: 0 0 1 1 1 0 | Yd=~p*~q =1 |~Yd= p+ q =0
1 2 3 4 5 6 h i j k l m
Definicja operatora implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+):
Operator implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y
Z tabeli T5 odczytujemy.
Logika jedynek:
1.
Y=Ya+Yc+Yd
Y = p*q + ~p*q + ~p*~q =1
co w logice jedynek oznacza:
Y=1 <=> p=1 i ~q=1 lub ~p=1 i q=1 lub ~p=1 i ~q=1
2.
~Y=~Yb
~Y = p*~q =1
co w logice jedynek oznacza:
~Y=1 <=> p=1 i ~q=1
Logika zer:
1.
Y=Yb
Y = ~p+q =0
2.
~Y=~Ya*~Yc*~Yd
~Y=(~p+~q)*(p+~q)*(p+q) =0
W tabeli T5 doskonale widać prawo przejścia do logiki przeciwnej w poszczególnych liniach:
A.
Ya=p*q =1
Przejście do logiki przeciwnej poprzez negację zmiennych i wymianę spójników:
~Ya=~p+~q =0
i odwrotnie.
B.
~Yb=p*~q =1
Yb=~p+q =0
C.
Yc=~p*q =1
~Yc=p+~q=0
D.
Yd=~p*~q =1
~Yd=p+q =0
Ze schematu odczytujemy.
Definicja operatora implikacji prostej p|=>q w logice jedynek:
1.
ACD1:
Y=Ya+Yc+Yd
Y = p*q + ~p*q + ~p*~q =1
2.
B1:
~Y= p*~q =1
Definicja operatora implikacji prostej p|=>q w logice zer:
3.
B0:
Y = ~p+q =0
4.
ACD0:
~Y=~Ya*~Yc*~Yd
~Y=(~p+~q)*(p+~q)*(p+q) =0
4.9.2 Wykres czasowy operatora implikacji prostej p|=>q
Kluczową sprawą dla zrozumienia istoty działania operatora implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+) jest wykres czasowy będący odpowiednikiem układu kartezjańskiego w matematyce klasycznej. W logice matematycznej bez wykresów czasowych jesteśmy ślepi, nie wiadomo o co tu w istocie chodzi.
Tworzenie wykresu czasowego:
Matematycznym fundamentem tworzenia wykresów czasowych, niezależnym od logiki dodatniej (bo Y) czy ujemnej (bo ~Y) są definicje spójników „i”(*) i „lub”(+) z rachunku zero-jedynkowego.
Kod:
Definicja spójnika „i”(*)
p q p*q
A: 1 1 1
B: 1 0 0
C: 0 1 0
D: 0 0 0
Kod:
Definicja spójnika „lub”(+)
p q p+q
A: 1 1 1
B: 1 0 1
C: 0 1 1
D: 0 0 0
ACD1:
Y=Ya+Yc+Yd =(p*q)+(~p*q)+(~p*~q) =1
Tworząc wykres czasowy Y działamy na kompletnych wykresach czasowych funkcji cząstkowych Yx.
Wyjście Y jest sumą logiczną funkcji cząstkowych Ya, Yc i Yd co doskonale widać na wykresie czasowym.
Wynikowa jedynka definiuje nam 1 w ćwiartkach A, C i D funkcji logicznej Y
ACD0:
Tworzenie wykresu czasowego funkcji logicznej w logice ujemnej (bo ~Y)
Przejście z ACD1 do logiki ujemnej (bo ~Y) poprzez negację sygnałów i wymianę spójników:
~Y=~Ya*~Yc*~Yd = (~p+~q)*(p+~q)*(p+q) =0
Tworząc wykres czasowy ~Y działamy na kompletnych wykresach czasowych funkcji cząstkowych ~Yx.
Wyjście ~Y jest iloczynem logicznym funkcji cząstkowych ~Ya, ~Yc i ~Yd co doskonale widać na wykresie czasowym.
Wynikowe zero definiuje nam 0 w ćwiartkach A, C i D funkcji logicznej ~Y.
W identyczny sposób tworzymy wykresy czasowe funkcji:
B1:
~Y=~Yb = p*~q =1
Tworząc wykres czasowy ~Y działamy na kompletnych wykresach czasowych funkcji cząstkowych ~Yx.
Wyjście ~Y jest tożsame z wyjściem ~Yb co widać na schemacie ideowym.
Wynikowa jedynka definiuje nam 1 w ćwiartce B funkcji logicznej ~Y
Przejście do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
B0:
Y = Yb =~p+q =0
Tworząc wykres czasowy Y działamy na kompletnych wykresach czasowych funkcji cząstkowych Yx.
Wyjście Y jest tożsame z wyjściem Yb co widać na schemacie ideowym.
Wynikowe zero definiuje nam 0 w ćwiartce B funkcji logicznej Y
Nowością są tu ostatnie funkcje na wykresie czasowym ACD1’ i ACD0’
Funkcja ACD1’ wynika z minimalizacji funkcji ACD1:
Dowód:
ACD1:
Y = p*q + ~p*q + ~p*~q
Y = p*q+~p*(q+~q)
Y = ~p+(p*q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = p*(~p+~q)
~Y = p*~p+p*~q
~Y = p*~q
Powrót do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
Y = ~p+q =1
Mamy funkcję logiczną:
ACD1’.
Y = ~p+q =1
Potwierdzeniem poprawności przekształceń matematycznych jest fakt, że suma logiczna zmiennych ~p i q daje nam dokładnie wykres ACD1.
cnd
Przejście z funkcją logiczną ACD1’ to logiki ujemnej poprzez negację zmiennych i wymianę spójników:
ACD0’:
~Y = p*~q =0
Tu również przebieg czasowy jest tożsamy z przebiegiem ACD0, zatem matematycznie jest wszystko w porządku.
Definicja operatora implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+) to układ równań logicznych Y i ~Y
Definicja operatora implikacji prostej p|=>q w logice jedynek:
1.
ACD1:
Y=Ya+Yc+Yd
Y = p*q+~p*q+~p*~q =1
co w logice jedynek oznacza:
Y=1 <=> p=1 i q=1 lub ~p=1 i q=1 lub ~p=1 i ~q=1
Doskonale to widać na wykresie czasowym.
2.
B1:
~Y= ~Yb
~Y = p*~q =1
co w logice jedynek oznacza:
~Y=1 <=> p=1 i ~q=1
Doskonale to widać na wykresie czasowym.
Alternatywną definicję implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+) pokazano w wykresach czasowych ACD1’ i ACD0’ na dole wykresu.
1.
ACD1’:
Y=~p+q =1
Wykres ten otrzymujemy jako sumę logiczną sygnałów ~p i q
Dwustronne negacja powyższego sygnału to:
2.
ACD0’:
~Y = p*~q =0
Wykres ten otrzymujemy jako iloczyn logiczny sygnałów p i ~q
Definicja matematycznie tożsama.
Definicja operatora implikacji prostej p|=>q w logice zer:
1.
B0:
Y=Yb
Y=~p+q=0
Doskonale to widać na wykresie czasowym.
2.
ACD0:
~Y=~Ya*~Yc*~Yd
~Y= (~p+~q)*(p+~q)*(p+q)=0
Doskonale to widać na wykresie czasowym.
W tym przypadku należy narysować wykres czasowy ADC0 będący iloczynem logicznym funkcji ~Ya, ~Yc i ~Yd
Definicja tożsamości logicznej [=]:
Tożsamość logiczna [=] to identyczność wykresów czasowych funkcji logicznych
Z wykresu czasowego operatora implikacji prostej p|=>q odczytujemy następujące tożsamości logiczne [=]:
1.
ACD1: Y = p*q+~p*q+~p*~q =1 [=] ACD1’: Y=~p+q =1 [=] B0: Y=~p+q=0
2.
B1: ~Y = p*~q =1 [=] ACD0: ~Y= (~p+~q)*(p+~q)*(p+q)=0 [=] ACD0’: ~Y = p*~q =0
Definicja logiki matematycznej człowieka w spójniach „i”(*) i „lub”(+):
Logiką matematyczną człowieka w spójnikach „i”(*) i „lub”(+) jest wyłącznie logika jedynek i związane z tą logiką równania alternatywno-koniunkcyjne.
Na mocy powyższej definicji usuwamy z powyższego układu równań funkcje logiczne mające wartość logiczną zero, jako sprzecznie z definicją logiki matematycznej człowieka.
Stąd mamy.
Końcowy układ równań logicznych Y i ~Y opisujących implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+):
1.
ACD1: Y =(p=>q) = p*q+~p*q+~p*~q =1 [=] ACD1’: Y=(p=>q)=~p+q =1
2.
B1: ~Y=~(p=>q) = p*~q =1
4.9.3 Przykład użycia warunku wystarczającego =>
Tata do syna:
Jeśli zdasz egzamin to dostaniesz komputer
E=>K =1
Zdanie egzaminu jest warunkiem => wystarczającym aby syn dostał komputer
Warunek wystarczający => wyrażony spójnikami „i”(*) i „lub(+) pozwala odpowiedzieć na pytanie kiedy ojciec jutro dotrzyma słowa (Y=1) a kiedy skłamie (~Y=1)
Końcowy układ równań logicznych Y i ~Y opisujących implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+):
1.
ACD1: Y=(p=>q) = A: p*q+ C: ~p*q+ D: ~p*~q =1 [=] ACD1’: Y=(p=>q)=~p+q =1
2.
B1: ~Y =~(p=>q) = B: p*~q =1
Nasz przykład:
ACD1:
Y = (E=>K) = A: E*K + C: ~E*K + D: ~E*~K
co w logice jedynek oznacza:
Y=1 <=> A: E=1 i K=1 lub C: ~E=1 i K=1 lub D: ~E=1 i ~K=1
Czytamy:
Tata dotrzyma słowa (Y=1) (nie skłamie) wtedy i tylko wtedy gdy:
A: E*K=1*1 =1 - syn zda egzamin (E=1) i dostanie komputer (K=1)
lub
C: ~E*K =1*1 =1 - syn nie zda egzaminu (~E=1) i dostanie komputer (K=1)
To jest piękny akt miłości, czyli prawo do wręczenia komputera mimo iż syn nie zdał egzaminu
lub
D: ~E*~K =1*1=1 - syn nie zda egzaminu (~E=1) i nie dostanie komputera (~K=1)
… a kiedy ojciec skłamie?
B1:
~Y=B: E*~K
co w logice jedynek oznacza:
~Y=1 <=> B: E=1 i ~K=1
Czytamy:
Tata skłamie (~Y=1) wtedy i tylko wtedy gdy:
B: E*~K=1*1 =1 - syn zda egzamin (E=1) i nie dostanie komputera (~K=1)
Mamy doskonałe i zrozumiałe dla każdego 5-cio latka odpowiedzi na pytania
Kiedy tata dotrzyma słowa (Y=1) (=nie skłamie)
oraz
Kiedy tata skłamie (~Y=1)
Nic więcej z logiki matematycznej nie da się tu wycisnąć.
Uważaj Irbisolu:
W ostatnim przykładzie widać, że algebra Boole’a w której legalne jest 5 znaczków:
{0,1}, (~), (*), (+)
poprawnie obsługuje warunek wystarczający ale nie jest mowa potoczna człowieka.
Obsługa zdań warunkowych „Jeśli p to q” ze spełnionym warunkiem wystarczającym => lub koniecznym ~> to zupełnie inny poziom logiki matematycznej, gdzie konieczne jest dodatnie trzech znaczków do klasycznej algebry Boole’a:
Algebra Boole’a akceptuje 5 znaczków:
{0,1}, (~), (*), (+)
znaczki dodatkowe, konieczne do obsługi zdań warunkowych to:
p=>q - warunek wystarczający =>
p~>q - warunek konieczny ~>
p~~>q - kwantyfikator mały ~~>
Dopiero po dodaniu tych trzech znaczków obsługa zdań warunkowych „Jeśli p to q” staje się językiem potocznym człowieka w przełożeniu 1:1.
_________________ |
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> |
bbbbb |
|
|
| Anastazja@cycki |
| Wysłany: Czw 19:26, 26 Lip 2018 Temat postu: |
|
| może być max 88cm x 65cm |
|
|
| krowa |
| Wysłany: Czw 19:10, 26 Lip 2018 Temat postu: |
|
A nie mógłby pan zadzwonić do tej Anety z Rzeszowa bo ja nie mam telefonu. Powie pan żeby ten witraż był nie większy niż 82cm x 65cm.
To się panu przyda jako dowód na siły tajemne, Platona i Nietschego w jednej Anastazja@cycki
proszę! |
|
|
| krowa |
| Wysłany: Czw 18:23, 26 Lip 2018 Temat postu: |
|
Ciiii....cho...
Polityka to jest liczba mnoga (z greki, ale nie Arystotelesa, bo on był frasobliwy).
Nam się tylko wydaje że ludzie przebierają nogami, że jest duuuu....żo ludzi, a jest tylko liczba pojedyńcza. Jedna Noga.
Newton pisał o ruchu jednostajnym, co należy właśnie rozumieć jako jedna noga, że ta noga staje. A druga noga została wymyślona dopiero wtedy jak jednej nodze się stanie znudziło.
I proszę ja pana, właśnie czekam na to aż Aneta z Rzeszowa, która jest nikim innym ja mną osobiście, obleci cały świat w poszukiwaniu wymiarów mojego witrażu. https://www.olx.pl/oferta/witraz-tiffany-recznie-malowany-CID767-IDshF3J.html |
|
|
| krowa |
|
|