 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Pon 8:48, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838599
| Irbisol napisał: | Czym jest u ciebie ||~> ?
A co do pytania, kiedy zacznę czytać, co do mnie piszesz: gdy przestaniesz spamować nie na temat. |
Definicję operatora implikacji odwrotnej ||~> masz zapisaną w końcówce powyższego postu.
| Algebra Kubusia napisał: |
10.3.1 Operator implikacji odwrotnej p||~>q
Definicja operatora implikacji odwrotnej p||~>q:
Operator implikacji odwrotnej p||~>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2)
Kolumna A1B1:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p? |
Co kwestionujesz w tej definicji.
Definicja to definicja - masz prawo ją obalić!
Jak obalisz, czyli pokażesz jeden przypadek gdzie nie działa, to algebra Kubusia leży w gruzach.
Czas START!
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 9:53, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838605
| Irbisol napisał: | | ||~> to jest operator? |
Tak, to jest jednoznaczny symbol operatora implikacji odwrotnej p||~>q.
Definicję operatora implikacji odwrotnej ||~> masz zapisaną w końcówce tego postu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838581
Oczywistym jest, że aby zrozumieć tą definicję musisz przeczytać cały mój temat odnoszący się do definicji operatora implikacji odwrotnej p||~>q
Tu masz całość:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11525.html#838517
| rafal3006 napisał: | Geneza zero-jedynkowej definicji warunku koniecznego p~>q!
Wszyscy fanatycy KRZ to pacjenci szpitala psychiatrycznego!
... póki co, Irbisol też jest pacjentem zakładu zamkniętego bez klamek, ale akurat u niego rokowania na powrót do świata zdrowych, 5-cio latków i humanistów są dobre.
Powód:
Irbisol nie jest matematykiem tzn. nigdy nie wyprano mu doszczętnie mózgu gównem zwanym KRZ.
W istocie, w całej naszej 15-letniej dyskusji Irbisol w 50% myśli w algebrze Kubusia bo wyssał ją z mlekiem matki, tylko o tym nie wie.
Moim zadaniem jest udowodnić ziemskim matematykom iż są pacjentami szpitala psychiatrycznego - taka jest bezlitosna prawda matematyczna!
Najbardziej zacietrzewieni KRZ-owcy, nigdy tej prawdy nie pojmą - cóż, pozwólmy im umrzeć w spokoju z okrzykiem na ustach:
Klasyczny Rachunek Zdań to mój Bóg (przez duże B)!
Algebra Kubusia to logika matematyczna przyszłych pokoleń matematyków. |
Wracając do tematu:
| Algebra Kubusia napisał: |
10.3.1 Operator implikacji odwrotnej p||~>q
Definicja operatora implikacji odwrotnej p||~>q:
Operator implikacji odwrotnej p||~>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2)
Kolumna A1B1:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p? |
Co kwestionujesz w tej definicji.
Definicja to definicja - masz prawo ją obalić!
Jak obalisz, czyli pokażesz jeden przypadek gdzie nie działa, to algebra Kubusia leży w gruzach.
Czas START!
Ostatnio zmieniony przez rafal3006 dnia Pon 10:00, 14 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 11:28, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838617
Jaś powiedział, że do słupa nie będzie pisał!
| Irbisol napisał: | Zaprzeczasz sam sobie.
||~>
to
operator
czy
symbol operatora
? |
W AK jest tak:
| Algebra Kubusia napisał: |
10.3.1 Operator implikacji odwrotnej p||~>q
Definicja operatora implikacji odwrotnej p||~>q:
Operator implikacji odwrotnej p||~>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2)
Kolumna A1B1:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p? |
Co kwestionujesz w tej definicji.
Definicja to definicja - masz prawo ją obalić!
Jak obalisz, czyli pokażesz jeden przypadek gdzie nie działa, to algebra Kubusia leży w gruzach.
Czas START!
Powtórzę:
W AK symbol operatora implikacji odwrotnej ||~> jest jednoznaczny i definiowany jak wyżej.
Innymi słowy:
Symbol operatora ||~> jest tożsamy z definicją operatora implikacji odwrotnej ||~>.
Definicja samego symbolu ||~>:
Symbol ||~> definiowany jest w cytacie wyżej.
W AK jak ktoś napisze symbol ||~> to jest on rozumiany matematycznie jednoznacznie jak w cytacie wyżej
Widzę irbisolu że abecadła logiki matematycznej nie znasz czyli przykładowo:
Nie odróżniasz spójnika "lub"(+) od operatora "lub"(|+)
Może zacznijmy od tego banału na poziomie 5-cio latka
Co ty na to?
Przeczytasz jak 5-cio letni Jaś napisze ci o definicji spójnika "lub"(+) i operatorze "lub"(|+)
TAK/NIE
P.S.
Jaś powiedział, że do słupa nie będzie pisał!
Ostatnio zmieniony przez rafal3006 dnia Pon 11:31, 14 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 13:22, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838633
Jaś powiedział, że ze słupem nie będzie gadał!
| Irbisol napisał: | ||~>
to
operator
czy
symbol operatora
? |
W AK to jest tożsamość pojęć:
Symbol operatora implikacji odwrotnej ||~>
to jest to samo [=] co:
Definicja operatora implikacji odwrotnej p||~>q
Pani w I klasie LO (w niedalekiej przyszłości):
Jasiu, podaj definicję operatora implikacji odwrotnej p||~>q
Innymi słowy:
Jasiu podaj definicję znaczka ||~>
Jaś:
Robi się!
Znaczek ||~> to definicja operatora implikacji odwrotnej p||~>q która jest następująca:
| Algebra Kubusia napisał: |
10.3.1 Operator implikacji odwrotnej p||~>q
Definicja operatora implikacji odwrotnej p||~>q:
Operator implikacji odwrotnej p||~>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2)
Kolumna A1B1:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p? |
Analogicznie:
Symbol operatora "lub"(|+)
to jest to samo [=]
co definicja operatora p|+q
Jaś zaoferował ci pomoc w zrozumieniu operatora "lub"(|+)
Na 100% zrozumiesz bo test chleb powszedni zarówno TWÓJ jak i kazdego 5-cio latka
P.S.
Jaś powiedział, że ze słupem nie będzie gadał!
Więc?
Przyjmujesz pomoc Jasia?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Pon 13:25, 14 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 14:14, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838643
| Irbisol napisał: | Symbol operatora to to samo, co definicja operatora.
To czym jest operator?
Pomijając fakt, że ten twój urojony Jaś powinien o układach równań już w przedszkolu gadać, bo przecież nawet 5-latki rozumieją ten twój spam  |
Sam symbol operatora ||~> definiuje ci precyzyjnie definicję operatora ||~>.
No ale to dla ciebie za wysokie progi.
Jasia (lat 5) to ty się boisz bardziej niż diabeł święconej wody, dlatego ma poniższą propozycję Jasia nigdy się nie zgodzisz, co za chwilkę wszyscy zobaczą.
| rafal3006 napisał: |
Analogicznie:
Symbol operatora "lub"(|+)
to jest to samo [=]
co definicja operatora p|+q
Jaś zaoferował ci pomoc w zrozumieniu operatora "lub"(|+)
Na 100% zrozumiesz bo test chleb powszedni zarówno TWÓJ jak i każdego 5-cio latka
P.S.
Jaś powiedział, że ze słupem nie będzie gadał!
Więc?
Przyjmujesz pomoc Jasia?
TAK/NIE |
Jednym słowem zachodzi tożsamość:
Irbisol = tchórz, tchórz, po trzykroć tchórz
Słusznie obawia się, że jeśli zgodzi się na propozycję Jasia to zostanie wbity w ziemię i przyklepany.
Innymi słowy:
Irbisolowa, schizofreniczna wizja otaczającej go rzeczywistości ległaby w gruzach ... a tego jego biedne serduszko by nie przeżyło.
Ostatnio zmieniony przez rafal3006 dnia Pon 14:17, 14 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 14:46, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838649
| Irbisol napisał: | Napisałeś czym jest symbol operatora.
Teraz napisz, czym jest operator. |
Zrozumiesz co to jest operator w logice matematycznej wtedy i tylko wtedy gdy przyjmiesz propozycję Jasia.
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol powie tak?
To jest tchórz do potęgi n-tej i nigdy nie powie TAK, co za chwilkę wszyscy zobaczą.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838643
| rafal3006 napisał: |
Jasia (lat 5) to ty się boisz bardziej niż diabeł święconej wody, dlatego ma poniższą propozycję Jasia nigdy się nie zgodzisz, co za chwilkę wszyscy zobaczą.
| rafal3006 napisał: |
Analogicznie:
Symbol operatora "lub"(|+)
to jest to samo [=]
co definicja operatora p|+q
Jaś zaoferował ci pomoc w zrozumieniu operatora "lub"(|+)
Na 100% zrozumiesz bo test chleb powszedni zarówno TWÓJ jak i każdego 5-cio latka
P.S.
Jaś powiedział, że ze słupem nie będzie gadał!
Więc?
Przyjmujesz pomoc Jasia?
TAK/NIE |
Jednym słowem zachodzi tożsamość:
Irbisol = tchórz, tchórz, po trzykroć tchórz
Słusznie obawia się, że jeśli zgodzi się na propozycję Jasia to zostanie wbity w ziemię i przyklepany.
Innymi słowy:
Irbisolowa, schizofreniczna wizja otaczającej go rzeczywistości ległaby w gruzach ... a tego jego biedne serduszko by nie przeżyło.
|
Ostatnio zmieniony przez rafal3006 dnia Pon 14:48, 14 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 15:24, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838655
Definicja najprostszego operatora w logie matematycznej!
| Irbisol napisał: | Napisz, czym u ciebie jest operator.
Moje rozumienie to nie twój interes. |
Rada naukowa 100-milowego lasu stwierdziła, że prawdopodobnie Irbisol jest za głupi by zrozumieć czym jest operator w logice matematycznej.
Prosiaczek argumentował, że trzeba ratować biednego Irbisola wszelkimi siłami udostępniając mu banalną definicję operatora jednoargumentowego, na co połowa członków rady przystała. Druga połowa stwierdziła że to nie ma sensu, że będzie to gadanie do słupa.
Prosiaczek stwierdził, że gdybać każdy może, że trzeba w świecie rzeczywistym sprawdzić jak Irbisol zareaguje na banalną definicję operatora w logice matematycznej.
Oto publikacja Prosiaczka (fragment AK):
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 1
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 1
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 2
1.3 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x
Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1
|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 23:07, 14 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838689
I co płaskoziemco, zatkało kakao?
| Irbisol napisał: | | Widzisz, jak łatwo cię zagonić w kozi róg? Wystarczy proste pytanie i już w panice spamujesz, bo nie masz pojęcia, co odpowiedzieć. |
By zrozumieć definicję znaczka ||~> trzeba znać i rozumieć definicję czterech kolejnych czterech znaczków |~>, |=>, ~>, =>, a to dla ciebie płaskoziemco za wysokie progi, bo ty nie bedziesz czytał co do ciebie piszę.
Rację mieli pesymiści w 100-milowym lesie - mamy rzucanie grochem o ścianę, czyli nie dla psa kiełbasa.
Psychiatrzy górą, na rojenia schizofrenika nie ma lekarstwa.
OT, i cała prawda o tobie.
P.S.
Typowy test maturalny z logiki matematycznej w 100-milowym lesie (wkrótce z ziemskich LO) to:
T1
Podaj definicje znaczków:
=>, ~>, |=>, |~>, ||=>, ||~>
I co płaskoziemco, zatkało kakao?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838633
| rafal3006 napisał: | Jaś powiedział, że ze słupem nie będzie gadał!
| Irbisol napisał: | ||~>
to
operator
czy
symbol operatora
? |
W AK to jest tożsamość pojęć:
Symbol operatora implikacji odwrotnej ||~>
to jest to samo [=] co:
Definicja operatora implikacji odwrotnej p||~>q
Pani w I klasie LO (w niedalekiej przyszłości):
Jasiu, podaj definicję operatora implikacji odwrotnej p||~>q
Innymi słowy:
Jasiu podaj definicję znaczka ||~>
Jaś:
Robi się!
Znaczek ||~> to definicja operatora implikacji odwrotnej p||~>q która jest następująca:
| Algebra Kubusia napisał: |
10.3.1 Operator implikacji odwrotnej p||~>q
Definicja operatora implikacji odwrotnej p||~>q:
Operator implikacji odwrotnej p||~>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2)
Kolumna A1B1:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p? |
Analogicznie:
Symbol operatora "lub"(|+)
to jest to samo [=]
co definicja operatora p|+q
Jaś zaoferował ci pomoc w zrozumieniu operatora "lub"(|+)
Na 100% zrozumiesz bo test chleb powszedni zarówno TWÓJ jak i kazdego 5-cio latka
P.S.
Jaś powiedział, że ze słupem nie będzie gadał!
Więc?
Przyjmujesz pomoc Jasia?
TAK/NIE |
Ostatnio zmieniony przez rafal3006 dnia Wto 8:09, 15 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 8:26, 15 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838697
Dowolny matematyk który nie zrozumie tabeli T0 jest matematycznym schizofrenikiem!
Definicja matematycznego schizofrenika:
Matematycznym schzofrenikiem jest każdy człowiek opisujący matematycznie otaczającą nas rzeczywistość w sposób niezgodny ze stanem faktycznym
Aktualne pojęcia schizofreniczne w logice ziemskich matematyków to: Klasyczny Rachunek Zdań, Teoria mnogości, Kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc
| Irbisol napisał: | Ja nie pytam o definicję znaczka, schizofreniku.
Pytam, czym jest u ciebie operator. |
W zdaniach warunkowych "Jeśli p to q" rozróżniamy pięć różnych na mocy definijci ## operatorów implikacyjnych:
||~> - operator implikacji odwrotnej |~>
##
||=> - operator implikacji prostej |=>
##
|<=> - operator równoważności <=>
##
|$ - operator "albo"($)
##
||~~> - operator chaosu |~~>
Gdzie:
## - operatory różne na mocy definicji
KONIEC!
To są wszystkie legalne znaczki operatorów implikacyjnych w obszarze obsługi zdań warunkowych "Jeśli p to q"
Teraz uważaj:
Wspólną cechą powyższych definicji operatorów implikacyjnych w zdaniach warunkowych "Jeśli p to q" jest odpowiedź na dwa pytania:
Kolumna A1B1:
Co może się wydarzyć jeśli zajdzie p
oraz
Kolumna A2B2:
Co może się wydarzyć jeśli zajdzie ~p
By zrozumieć to co wyżej, musisz mieć przed oczyma największą świętość logiki matematycznej - tabelę T0
| Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Podsumowując:
Dowolny matematyk który nie zrozumie tabeli T0 jest matematycznym schizofrenikiem.
Ostatnio zmieniony przez rafal3006 dnia Wto 8:53, 15 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 11:16, 15 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838713
| Irbisol napisał: | Czym jest operator u ciebie?
Ty naprawdę nie rozumiesz tak prostego pytania? |
W algebrze Kubusia, na gruncie logiki matematycznej, w obsłudze zdań warunkowych "Jeśli p to q" superprecyzyjną definicję operatora implikacyjnego masz w poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838697
Definicja to definicja - oczywiście możesz ją obalić pokazując jeden przypadek gdzie nie działa, wtedy algebra Kubusia leży w gruzach .. z motyką na słońce płaskoziemco 
P.S.
Analogicze definicje są w operatorach jednoargumentowych i dwuargumentowych w algebrze Boole'a.
Kwadratury koła dla płaskoziemcy:
1.
Czy płaskoziemca Irbisol odróżnia spójnik "lub"(+) od operatora "lub"(|+)
Poprawna odpowiedź:
NIE
2.
Czy płaskoziemca zgodzi się przeczytać dowód czysto matematyczny iż podlegając pod algebrę Kubusia na 100% odróżnia spójnik "lub"(+) od operatora "lub"(|+) .. jak każdy 5-cio latek!
Odpowiedź płaskoziemcy:
Spamu nie będę czytał
Ostatnio zmieniony przez rafal3006 dnia Wto 11:18, 15 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 16:22, 15 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727
Dowolny matematyk który nie zrozumie definicji operatorów w logice matematycznej rodem z AK jest schizofrenikiem!
Definicja matematycznego schizofrenika:
Matematycznym schzofrenikiem jest każdy człowiek opisujący matematycznie otaczającą nas rzeczywistość w sposób niezgodny ze stanem faktycznym
Aktualne pojęcia schizofreniczne w logice ziemskich matematyków to: Klasyczny Rachunek Zdań, Teoria mnogości, Kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc
Część I.
Operatory jednoargumentowe w algebrze Bools’a
Legalnych znaczków w algebrze Boole’a jest zaledwie pięć:
{1,0, (~), (+), (*)}
Koniec!
Wynika z tego że algebra Boole’a z definicji nie zajmuje się fundamentem logiki matematycznej, czyli znaczkami warunku wystarczającego => i warunku koniecznego ~> … i to jest największa tragedia ziemskiej logiki matematycznej - jej miejsce jest w piekle na wiecznych piekielnych mękach, nigdy w ziemskich podręcznikach matematyki!
| Irbisol napisał: | Ale ja nie pytam o przypadek w obsłudze zdań warunkowych "Jeśli p to q".
Pytam, czym jest u ciebie operator. |
Nie obchodzi mnie czym jest operator w matematyce klasycznej.
Pewne jest jedno:
Definicja operatora w matematyce klasycznej ma się tak do definicji operatora w logice matematycznej … jak znaczki dodawania (+) i mnożenia (*) w matematyce klasycznej do spójników „lub”(+) i „i”(*) w logice matematycznej.
Irbisol oczywiście nie wie dlaczego wszyscy matematycy w logice matematycznej akceptują znaczki „lub”(+) i „i”(*) będące w kolizji z matematyką klasyczną dodawanie (+) i mnożenie (*).
Cóż, trzeba płaskoziemcę uświadomić, bo sam do tego nie dojdzie:
Znaczki „lub”(+) i „i”(*) z logiki matematycznej są różne na mocy definicji ## od znaczków dodawania (+) i mnożenia (*) z matematyki klasycznej.
Różne na mocy definicji ## oznacza tu, że znaczki te nie są powiązane ze sobą choćby jednym prawem logiki matematycznej (z wyjątkiem znaczka różne na mocy definicji ##) – dokładnie dlatego nie ma tu kolizji matematycznej, i identyczne znaczki {+, *} w dwóch różnych znaczeniach stosowane są czasami w matematyce i praktycznie zawsze w świecie techniki – wiem o tym bo kończyłem elektronikę i jestem ekspertem bramek logicznych w teorii i praktyce.
Na studiach elektronicznych gdzie na I roku jest algebra Boole’a i laboratorium bramek logicznych nigdy nie spotkałem się ze znaczkami matematyków „lub”\/ oraz „i”/\.
Sprawa jest tu banalna.
I.
Na początek weźmy operatory jednoargumnentowe:
Ogólna definicja operatora logicznego w algebrze Boole’a dotyczy funkcji logicznych algebry Boole’a typu:
Y = f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a
Przykład:
f(x)=p*q+~p*~q
Stąd funkcja logiczna Y ma budowę:
Y = p*q + ~p*~q
Najprostszą funkcją logiczną są funkcje jednoargumentowe.
Tabelę prawdy wszystkich możliwych funkcji jednoargumentowych wraz z jej wyprowadzeniem znajdziemy w AK
Oto dokładnie ten fragment AK:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 2
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 3
1.3 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x
Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1
|
Użyteczne w praktyce języka potocznego operatory transmisji i negacji znane są w praktyce absolutnie każdemu 5-cio latkowi z wykluczeniem dwóch schizofreników: naszego Irbisola i Windziarza - absolwenta matematyki na UT, wroga Nr.1 algebry Kubusia na ateiście.pl
Zobaczmy to na przykładzie!
Pani w przedszkolu A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
A1: Y=K
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
To jest jasne także dla dwóch schizofreników: Irbisola i Windziarza
… a kiedy pani nie dotrzyma słowa?
Negujemy dwustronnie funkcję logiczną A1, lądując w funkcji B1.
B1: ~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
To jest jasne i oczywiste dla każdego 5-cio latka z wykluczeniem matematycznych schizofreników: Irbisola i Windziarza
Dowód:
Rafał3006 do Windziarza na ateiście.pl:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Windziarz:
Nie wiadomo bo pani tego nie powiedziała!
Windziarzowi można współczuć, bo na wydziale matematyki Uniwersytetu Toruńskiego tak potwornie wyprali mu mózg, gównem zwanym KRZ że nie jest w stanie powiedzieć niczego ponad to, co powiedział (to wytłuszczone)
Jestem bardzo ciekaw jakiej odpowiedzi udzieli nasz Irbisol, zacietrzewiony fanatyk KRZ nie będący (na jego szczęście) matematykiem.
Pytam zatem Irbisola:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Pytanie retoryczne:
Ma kto nadzieję że Irbisol odpowie na to pytanie?
Biedakowi, nogi się trzęsą jak galaretka i jedyne co zdoła z siebie wydusić to jego dyżurne slogany:
- niezamówionego gówna nie czytam
- spamu nie czytam
- moje gówno-pytanie było pierwsze
etc
Ot, taki to bohater na glinianych nogach z naszego Irbisola!
c.n.d.
Ostatnio zmieniony przez rafal3006 dnia Śro 7:15, 16 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 16:30, 15 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838731
| Irbisol napisał: | Pytam, czym jest U CIEBIE operator.
Ciekawe, kiedy w ogóle zrozumiesz pytanie |
No i mamy standard schizofrenika:
Moje gówno-pytanie było pierwsze.
Gówno pytanie dlatego, że Irbisol ma z góry jemu tylko znaną odpowiedź czym w logice matematycznej jest jego gówno-operator.
Oczywiście nigdy i nikomu nie ujawni swojej gówno-definicji, ale do usranej śmierci bedzie bełkotał:
moje pytanie było pierwsze, moje pytanie było pierwsze
Czyli gówno mnie obchodzi co pisze Rafal3006 (spamu nie będę czytał) - będę do usranej śmierci powtarzał: moje pytanie było pierwsze ...
Cały czas dostajesz moje precyzyjne odpowiedzi, czym w logice matematycznej jest operator.
Czytasz moje odpowiedzi?
TAK/NIE
P.S.
Choćby w temacie operatora jednoargumentowego w tym moim poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727
Czy rozumiesz definicję operatora jednoargumentowego?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Wto 19:10, 15 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 21:45, 15 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838741
| Irbisol napisał: | Przecież ci napisałem, czym jest u mnie operator, sklerozo.
Teraz pytam ciebie.
Twoje odpowiedzi to pierdolenie nie na temat, czyli strzelanie na oślep dookoła - co nie ma nic wspólnego z precyzją. Może gdzieś tam zaszyła się odpowiedź, ale się nie dokopałem.
Czym jest u ciebie operator? |
Teraz pytasz mnie i czego oczekujesz?
Zgodności definicji operatora logicznego rodem z AK z twoją definicją operatora logicznego?
Mam nadzieję, że nie powiesz iż nie ma jednoargumentowych operatorów logicznych.
Zróbmy zawody na poważnie:
Ja podałem ci superprecyzyjną definicję jednoargumentowego operatora logicznego zrozumiałą dla absolutnie każdego 5-cio latka!
Oczekuję od ciebie, że podasz konkurencyjną definicję jednoargumentowego operatora logicznego w twojej wersji logiki matematycznej.
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol poda swoją wersję definicji jednoargumentowego operatora logicznego?
Powtórzę definicję jednoargumentowego operatora logicznego rodem z algebry Kubusia:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727
| rafal3006 napisał: | Dowolny matematyk który nie zrozumie definicji operatorów w logice matematycznej rodem z AK jest schizofrenikiem!
Definicja matematycznego schizofrenika:
Matematycznym schzofrenikiem jest każdy człowiek opisujący matematycznie otaczającą nas rzeczywistość w sposób niezgodny ze stanem faktycznym
Aktualne pojęcia schizofreniczne w logice ziemskich matematyków to: Klasyczny Rachunek Zdań, Teoria mnogości, Kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc
Część I.
Operatory jednoargumentowe w algebrze Bools’a
Legalnych znaczków w algebrze Boole’a jest zaledwie pięć:
{1,0, (~), (+), (*)}
Koniec!
Wynika z tego że algebra Boole’a z definicji nie zajmuje się fundamentem logiki matematycznej, czyli znaczkami warunku wystarczającego => i warunku koniecznego ~> … i to jest największa tragedia ziemskiej logiki matematycznej - jej miejsce jest w piekle na wiecznych piekielnych mękach, nigdy w ziemskich podręcznikach matematyki!
| Irbisol napisał: | Ale ja nie pytam o przypadek w obsłudze zdań warunkowych "Jeśli p to q".
Pytam, czym jest u ciebie operator. |
Nie obchodzi mnie czym jest operator w matematyce klasycznej.
Pewne jest jedno:
Definicja operatora w matematyce klasycznej ma się tak do definicji operatora w logice matematycznej … jak znaczki dodawania (+) i mnożenia (*) w matematyce klasycznej do spójników „lub”(+) i „i”(*) w logice matematycznej.
Irbisol oczywiście nie wie dlaczego wszyscy matematycy w logice matematycznej akceptują znaczki „lub”(+) i „i”(*) będące w kolizji z matematyką klasyczną dodawanie (+) i mnożenie (*).
Cóż, trzeba płaskoziemcę uświadomić, bo sam do tego nie dojdzie:
Znaczki „lub”(+) i „i”(*) z logiki matematycznej są różne na mocy definicji ## od znaczków dodawania (+) i mnożenia (*) z matematyki klasycznej.
Różne na mocy definicji ## oznacza tu, że znaczki te nie są powiązane ze sobą choćby jednym prawem logiki matematycznej (z wyjątkiem znaczka różne na mocy definicji ##) – dokładnie dlatego nie ma tu kolizji matematycznej, i identyczne znaczki {+, *} w dwóch różnych znaczeniach stosowane są czasami w matematyce i praktycznie zawsze w świecie techniki – wiem o tym bo kończyłem elektronikę i jestem ekspertem bramek logicznych w teorii i praktyce.
Na studiach elektronicznych gdzie na I roku jest algebra Boole’a i laboratorium bramek logicznych nigdy nie spotkałem się ze znaczkami matematyków „lub”\/ oraz „i”/\.
Sprawa jest tu banalna.
I.
Na początek weźmy operatory jednoargumnentowe:
Ogólna definicja operatora logicznego w algebrze Boole’a dotyczy funkcji logicznych algebry Boole’a typu:
Y = f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a
Przykład:
f(x)=p*q+~p*~q
Stąd funkcja logiczna Y ma budowę:
Y = p*q + ~p*~q
Najprostszą funkcją logiczną są funkcje jednoargumentowe.
Tabelę prawdy wszystkich możliwych funkcji jednoargumentowych wraz z jej wyprowadzeniem znajdziemy w AK
Oto dokładnie ten fragment AK:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 2
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 3
1.3 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x
Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1
|
Użyteczne w praktyce języka potocznego operatory transmisji i negacji znane są w praktyce absolutnie każdemu 5-cio latkowi z wykluczeniem dwóch schizofreników: naszego Irbisola i Windziarza - absolwenta matematyki na UT, wroga Nr.1 algebry Kubusia na ateiście.pl
Zobaczmy to na przykładzie!
Pani w przedszkolu A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
A1: Y=K
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
To jest jasne także dla dwóch schizofreników: Irbisola i Windziarza
… a kiedy pani nie dotrzyma słowa?
Negujemy dwustronnie funkcję logiczną A1, lądując w funkcji B1.
B1: ~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
To jest jasne i oczywiste dla każdego 5-cio latka z wykluczeniem matematycznych schizofreników: Irbisola i Windziarza
Dowód:
Rafał3006 do Windziarza na ateiście.pl:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Windziarz:
Nie wiadomo bo pani tego nie powiedziała!
Windziarzowi można współczuć, bo na wydziale matematyki Uniwersytetu Toruńskiego tak potwornie wyprali mu mózg, gównem zwanym KRZ że nie jest w stanie powiedzieć niczego ponad to, co powiedział (to wytłuszczone)
Jestem bardzo ciekaw jakiej odpowiedzi udzieli nasz Irbisol, zacietrzewiony fanatyk KRZ nie będący (na jego szczęście) matematykiem.
Pytam zatem Irbisola:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Pytanie retoryczne:
Ma kto nadzieję że Irbisol odpowie na to pytanie?
Biedakowi, nogi się trzęsą jak galaretka i jedyne co zdoła z siebie wydusić to jego dyżurne slogany:
- niezamówionego gówna nie czytam
- spamu nie czytam
- moje gówno-pytanie było pierwsze
etc
Ot, taki to bohater na glinianych nogach z naszego Irbisola!
c.n.d. |
Ostatnio zmieniony przez rafal3006 dnia Śro 7:18, 16 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 9:09, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838753
Irbisolu, masz tylko i wyłącznie dwie możliwe odpowiedzi w temacie operatora jednoargumentowego!
| Irbisol napisał: | Oczekuję odpowiedzi na pytanie.
Czego w sumie łatwo się było domyśleć. |
Nie myśl sobie, że ja nie potrafię pisać "w koło Macieju" o moich definicjach operatorów logicznych w logice matematycznej, które to definicje są fundamentalnie różne od twoich definicji.
Teraz uważaj:
Dopóki nie podasz twojej definicji operatora jednoargumentowego, to z mojej strony będziesz miał to co tak bardzo uwielbiasz, czyli moje "w koło Macieju".
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838741
| rafal3006 napisał: | | Irbisol napisał: | Przecież ci napisałem, czym jest u mnie operator, sklerozo.
Teraz pytam ciebie.
Twoje odpowiedzi to pierdolenie nie na temat, czyli strzelanie na oślep dookoła - co nie ma nic wspólnego z precyzją. Może gdzieś tam zaszyła się odpowiedź, ale się nie dokopałem.
Czym jest u ciebie operator? |
Teraz pytasz mnie i czego oczekujesz?
Zgodności definicji operatora logicznego rodem z AK z twoją definicją operatora logicznego?
Mam nadzieję, że nie powiesz iż nie ma jednoargumentowych operatorów logicznych.
Zróbmy zawody na poważnie:
Ja podałem ci superprecyzyjną definicję jednoargumentowego operatora logicznego zrozumiałą dla absolutnie każdego 5-cio latka!
Oczekuję od ciebie, że podasz konkurencyjną definicję jednoargumentowego operatora logicznego w twojej wersji logiki matematycznej.
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol poda swoją wersję definicji jednoargumentowego operatora logicznego?
Powtórzę definicję jednoargumentowego operatora logicznego rodem z algebry Kubusia:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727 |
Podsumowując:
Irbisolu, masz tylko i wyłącznie dwie możliwe odpowiedzi w temacie operatora jednoargumentowego:
1.
Ja Irbisol stwierdzam, że w mojej logice matematycznej nie ma czegoś takiego jak "operator jednoargumentowy"
2.
Ja Irbisol stwierdzam, że w mojej logice matematycznej istnieje definicja operatora jednoargumentowego
Oto ta definicja:
blebleble
c.n.d.
Ostatnio zmieniony przez rafal3006 dnia Śro 9:12, 16 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 11:31, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838777
Po co komu gówno-teoria z zerowym związkiem z otaczającą nas rzeczywistością!
| Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Podałeś definicję operatora jednoargumentowego w twojej logice, to teraz podaj przykład użycia twojego operatora jednoargumentowego w całym obszarze języka mówionego człowieka - możesz podać przykład na gruncie matematyki.
Podasz taki przykład - algebra Kubusia leży w gruzach!
Po co komu gówno-teoria z zerowym związkiem z otaczającą nas rzeczywistością!
Jeszcze raz:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838771
| rafal3006 napisał: | Leżymy, kwiczymy i błagamy o litość - co za chwilkę wszyscy czytelnicy zobaczą!
| Irbisol napisał: | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie.
Czym jest u ciebie operator? |
Podaj przykład z języka potocznego gdzie obowiązuje twój operator jednoargumentowy.
Podkreślę JEDNOARGUMENTOWY.
Leżymy, kwiczymy i błagamy o litość - co za chwilkę wszyscy czytelnicy zobaczą. |
Ostatnio zmieniony przez rafal3006 dnia Śro 12:31, 16 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 15:21, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838787
Uwielbianą przez Irbisola zabawę "w koło Macieju" czas zacząć!
| Irbisol napisał: | Przecież ci pokazałem przykład
A w gruzach to twoje gówno już dawno leży. Więcej - nigdy nie było w innym stanie.
Czym jest u ciebie operator? |
Kłamiesz jak pies!
Nigdy nie podałeś przykładu zastosowania twojej definicji operatora jednoargumentowego w języku mówionym człowieka (w tym w matematyce).
Definicja operatora jednoargumentowego w logice Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838763
| Irbisol napisał: | | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie. |
Polecenie:
Podaj jeden, jedyny przykład z języka mówionego człowieka (może być z obszaru matematyki) pasujący do twojej definicji operatora jednoargumentowego.
Tu i teraz, czyli nie interesują mnie twoje schizofreniczne majaczenia niezgodne z prawdą, że gdzieś tam podałeś taki przykład, bo nigdy takiego przykładu nie podałeś!
Ostatnio zmieniony przez rafal3006 dnia Śro 15:23, 16 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 15:59, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838793
Irbisolu, wszscy widzą, że w akcie rozpaczy skoczyłeś na główkę do pustego basenu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838775
| Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Zatem kontynuuję uwielbianą przez płaskoziemcę zabawę "w Koło Macieju":
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838787
| rafal3006 napisał: | Uwielbianą przez Irbisola zabawę "w koło Macieju" czas zacząć!
| Irbisol napisał: | Przecież ci pokazałem przykład
A w gruzach to twoje gówno już dawno leży. Więcej - nigdy nie było w innym stanie.
Czym jest u ciebie operator? |
Kłamiesz jak pies!
Nigdy nie podałeś przykładu zastosowania twojej definicji operatora jednoargumentowego w języku mówionym człowieka (w tym w matematyce).
Definicja operatora jednoargumentowego w logice Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838763
| Irbisol napisał: | | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie. |
Polecenie:
Podaj jeden, jedyny przykład z języka mówionego człowieka (może być z obszaru matematyki) pasujący do twojej definicji operatora jednoargumentowego.
Tu i teraz, czyli nie interesują mnie twoje schizofreniczne majaczenia niezgodne z prawdą, że gdzieś tam podałeś taki przykład, bo nigdy takiego przykładu nie podałeś! |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 17:49, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838799
Twoją matematyczną kompromitację każdy 5-cio latek i humanista widzi!
| Irbisol napisał: | | Nie wierzę ... |
Twoją matematyczną kompromitację każdy 5-cio latek i humanista widzi
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838741
| rafal3006 napisał: | | Irbisol napisał: | Przecież ci napisałem, czym jest u mnie operator, sklerozo.
Teraz pytam ciebie.
Twoje odpowiedzi to pierdolenie nie na temat, czyli strzelanie na oślep dookoła - co nie ma nic wspólnego z precyzją. Może gdzieś tam zaszyła się odpowiedź, ale się nie dokopałem.
Czym jest u ciebie operator? |
Teraz pytasz mnie i czego oczekujesz?
Zgodności definicji operatora logicznego rodem z AK z twoją definicją operatora logicznego?
Mam nadzieję, że nie powiesz iż nie ma jednoargumentowych operatorów logicznych.
Zróbmy zawody na poważnie:
Ja podałem ci superprecyzyjną definicję jednoargumentowego operatora logicznego zrozumiałą dla absolutnie każdego 5-cio latka!
Oczekuję od ciebie, że podasz konkurencyjną definicję jednoargumentowego operatora logicznego w twojej wersji logiki matematycznej.
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol poda swoją wersję definicji jednoargumentowego operatora logicznego?
Powtórzę definicję jednoargumentowego operatora logicznego rodem z algebry Kubusia:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727
| rafal3006 napisał: | Dowolny matematyk który nie zrozumie definicji operatorów w logice matematycznej rodem z AK jest schizofrenikiem!
Definicja matematycznego schizofrenika:
Matematycznym schzofrenikiem jest każdy człowiek opisujący matematycznie otaczającą nas rzeczywistość w sposób niezgodny ze stanem faktycznym
Aktualne pojęcia schizofreniczne w logice ziemskich matematyków to: Klasyczny Rachunek Zdań, Teoria mnogości, Kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc
Część I.
Operatory jednoargumentowe w algebrze Bools’a
Legalnych znaczków w algebrze Boole’a jest zaledwie pięć:
{1,0, (~), (+), (*)}
Koniec!
Wynika z tego że algebra Boole’a z definicji nie zajmuje się fundamentem logiki matematycznej, czyli znaczkami warunku wystarczającego => i warunku koniecznego ~> … i to jest największa tragedia ziemskiej logiki matematycznej - jej miejsce jest w piekle na wiecznych piekielnych mękach, nigdy w ziemskich podręcznikach matematyki!
| Irbisol napisał: | Ale ja nie pytam o przypadek w obsłudze zdań warunkowych "Jeśli p to q".
Pytam, czym jest u ciebie operator. |
Nie obchodzi mnie czym jest operator w matematyce klasycznej.
Pewne jest jedno:
Definicja operatora w matematyce klasycznej ma się tak do definicji operatora w logice matematycznej … jak znaczki dodawania (+) i mnożenia (*) w matematyce klasycznej do spójników „lub”(+) i „i”(*) w logice matematycznej.
Irbisol oczywiście nie wie dlaczego wszyscy matematycy w logice matematycznej akceptują znaczki „lub”(+) i „i”(*) będące w kolizji z matematyką klasyczną dodawanie (+) i mnożenie (*).
Cóż, trzeba płaskoziemcę uświadomić, bo sam do tego nie dojdzie:
Znaczki „lub”(+) i „i”(*) z logiki matematycznej są różne na mocy definicji ## od znaczków dodawania (+) i mnożenia (*) z matematyki klasycznej.
Różne na mocy definicji ## oznacza tu, że znaczki te nie są powiązane ze sobą choćby jednym prawem logiki matematycznej (z wyjątkiem znaczka różne na mocy definicji ##) – dokładnie dlatego nie ma tu kolizji matematycznej, i identyczne znaczki {+, *} w dwóch różnych znaczeniach stosowane są czasami w matematyce i praktycznie zawsze w świecie techniki – wiem o tym bo kończyłem elektronikę i jestem ekspertem bramek logicznych w teorii i praktyce.
Na studiach elektronicznych gdzie na I roku jest algebra Boole’a i laboratorium bramek logicznych nigdy nie spotkałem się ze znaczkami matematyków „lub”\/ oraz „i”/\.
Sprawa jest tu banalna.
I.
Na początek weźmy operatory jednoargumnentowe:
Ogólna definicja operatora logicznego w algebrze Boole’a dotyczy funkcji logicznych algebry Boole’a typu:
Y = f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a
Przykład:
f(x)=p*q+~p*~q
Stąd funkcja logiczna Y ma budowę:
Y = p*q + ~p*~q
Najprostszą funkcją logiczną są funkcje jednoargumentowe.
Tabelę prawdy wszystkich możliwych funkcji jednoargumentowych wraz z jej wyprowadzeniem znajdziemy w AK
Oto dokładnie ten fragment AK:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 2
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 3
1.3 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x
Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1
|
Użyteczne w praktyce języka potocznego operatory transmisji i negacji znane są w praktyce absolutnie każdemu 5-cio latkowi z wykluczeniem dwóch schizofreników: naszego Irbisola i Windziarza - absolwenta matematyki na UT, wroga Nr.1 algebry Kubusia na ateiście.pl
Zobaczmy to na przykładzie!
Pani w przedszkolu A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
A1: Y=K
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
To jest jasne także dla dwóch schizofreników: Irbisola i Windziarza
… a kiedy pani nie dotrzyma słowa?
Negujemy dwustronnie funkcję logiczną A1, lądując w funkcji B1.
B1: ~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
To jest jasne i oczywiste dla każdego 5-cio latka z wykluczeniem matematycznych schizofreników: Irbisola i Windziarza
Dowód:
Rafał3006 do Windziarza na ateiście.pl:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Windziarz:
Nie wiadomo bo pani tego nie powiedziała!
Windziarzowi można współczuć, bo na wydziale matematyki Uniwersytetu Toruńskiego tak potwornie wyprali mu mózg, gównem zwanym KRZ że nie jest w stanie powiedzieć niczego ponad to, co powiedział (to wytłuszczone)
Jestem bardzo ciekaw jakiej odpowiedzi udzieli nasz Irbisol, zacietrzewiony fanatyk KRZ nie będący (na jego szczęście) matematykiem.
Pytam zatem Irbisola:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Pytanie retoryczne:
Ma kto nadzieję że Irbisol odpowie na to pytanie?
Biedakowi, nogi się trzęsą jak galaretka i jedyne co zdoła z siebie wydusić to jego dyżurne slogany:
- niezamówionego gówna nie czytam
- spamu nie czytam
- moje gówno-pytanie było pierwsze
etc
Ot, taki to bohater na glinianych nogach z naszego Irbisola!
c.n.d. |
|
Ostatnio zmieniony przez rafal3006 dnia Śro 17:52, 16 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 17:59, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838805
Nikt tego twojego przykładu na oczy nie widział!
| Irbisol napisał: | Chciałeś ode mnie definicję i przykład zdania z operatorem jednoargumentowym. Dostałeś.
Teraz odpowiedz na pytanie, czym jest u ciebie operator. |
Nikt tego twojego przykładu na oczy nie widział.
Tylko i wyłącznie ty widzisz przykład spełnienia twojej definicji operatora jednoargumentowego w swoim schizofrenicznym móżdżku.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838793
| rafal3006 napisał: |
Irbisolu, wszyscy widzą, że w akcie rozpaczy skoczyłeś na główkę do pustego basenu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838775
| Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Zatem kontynuuję uwielbianą przez płaskoziemcę zabawę "w Koło Macieju":
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838787
| rafal3006 napisał: | Uwielbianą przez Irbisola zabawę "w koło Macieju" czas zacząć!
| Irbisol napisał: | Przecież ci pokazałem przykład
A w gruzach to twoje gówno już dawno leży. Więcej - nigdy nie było w innym stanie.
Czym jest u ciebie operator? |
Kłamiesz jak pies!
Nigdy nie podałeś przykładu zastosowania twojej definicji operatora jednoargumentowego w języku mówionym człowieka (w tym w matematyce).
Definicja operatora jednoargumentowego w logice Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838763
| Irbisol napisał: | | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie. |
Polecenie:
Podaj jeden, jedyny przykład z języka mówionego człowieka (może być z obszaru matematyki) pasujący do twojej definicji operatora jednoargumentowego.
Tu i teraz, czyli nie interesują mnie twoje schizofreniczne majaczenia niezgodne z prawdą, że gdzieś tam podałeś taki przykład, bo nigdy takiego przykładu nie podałeś! |
|
Ostatnio zmieniony przez rafal3006 dnia Śro 18:02, 16 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 20:58, 16 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838819
Uparty samobójca - ile można skakać na główkę do pustego basenu?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838775
| Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Jak wszyscy widzą, skoki ma główkę do pustego basenu to aktualne "w koło Macieju" biednego Irbisola.
Uparty samobójca - ile można skakać na główkę do pustego basenu?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838741
| rafal3006 napisał: | | Irbisol napisał: | Przecież ci napisałem, czym jest u mnie operator, sklerozo.
Teraz pytam ciebie.
Twoje odpowiedzi to pierdolenie nie na temat, czyli strzelanie na oślep dookoła - co nie ma nic wspólnego z precyzją. Może gdzieś tam zaszyła się odpowiedź, ale się nie dokopałem.
Czym jest u ciebie operator? |
Teraz pytasz mnie i czego oczekujesz?
Zgodności definicji operatora logicznego rodem z AK z twoją definicją operatora logicznego?
Mam nadzieję, że nie powiesz iż nie ma jednoargumentowych operatorów logicznych.
Zróbmy zawody na poważnie:
Ja podałem ci superprecyzyjną definicję jednoargumentowego operatora logicznego zrozumiałą dla absolutnie każdego 5-cio latka!
Oczekuję od ciebie, że podasz konkurencyjną definicję jednoargumentowego operatora logicznego w twojej wersji logiki matematycznej.
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol poda swoją wersję definicji jednoargumentowego operatora logicznego?
Powtórzę definicję jednoargumentowego operatora logicznego rodem z algebry Kubusia:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727
| rafal3006 napisał: | Dowolny matematyk który nie zrozumie definicji operatorów w logice matematycznej rodem z AK jest schizofrenikiem!
Definicja matematycznego schizofrenika:
Matematycznym schzofrenikiem jest każdy człowiek opisujący matematycznie otaczającą nas rzeczywistość w sposób niezgodny ze stanem faktycznym
Aktualne pojęcia schizofreniczne w logice ziemskich matematyków to: Klasyczny Rachunek Zdań, Teoria mnogości, Kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc
Część I.
Operatory jednoargumentowe w algebrze Bools’a
Legalnych znaczków w algebrze Boole’a jest zaledwie pięć:
{1,0, (~), (+), (*)}
Koniec!
Wynika z tego że algebra Boole’a z definicji nie zajmuje się fundamentem logiki matematycznej, czyli znaczkami warunku wystarczającego => i warunku koniecznego ~> … i to jest największa tragedia ziemskiej logiki matematycznej - jej miejsce jest w piekle na wiecznych piekielnych mękach, nigdy w ziemskich podręcznikach matematyki!
| Irbisol napisał: | Ale ja nie pytam o przypadek w obsłudze zdań warunkowych "Jeśli p to q".
Pytam, czym jest u ciebie operator. |
Nie obchodzi mnie czym jest operator w matematyce klasycznej.
Pewne jest jedno:
Definicja operatora w matematyce klasycznej ma się tak do definicji operatora w logice matematycznej … jak znaczki dodawania (+) i mnożenia (*) w matematyce klasycznej do spójników „lub”(+) i „i”(*) w logice matematycznej.
Irbisol oczywiście nie wie dlaczego wszyscy matematycy w logice matematycznej akceptują znaczki „lub”(+) i „i”(*) będące w kolizji z matematyką klasyczną dodawanie (+) i mnożenie (*).
Cóż, trzeba płaskoziemcę uświadomić, bo sam do tego nie dojdzie:
Znaczki „lub”(+) i „i”(*) z logiki matematycznej są różne na mocy definicji ## od znaczków dodawania (+) i mnożenia (*) z matematyki klasycznej.
Różne na mocy definicji ## oznacza tu, że znaczki te nie są powiązane ze sobą choćby jednym prawem logiki matematycznej (z wyjątkiem znaczka różne na mocy definicji ##) – dokładnie dlatego nie ma tu kolizji matematycznej, i identyczne znaczki {+, *} w dwóch różnych znaczeniach stosowane są czasami w matematyce i praktycznie zawsze w świecie techniki – wiem o tym bo kończyłem elektronikę i jestem ekspertem bramek logicznych w teorii i praktyce.
Na studiach elektronicznych gdzie na I roku jest algebra Boole’a i laboratorium bramek logicznych nigdy nie spotkałem się ze znaczkami matematyków „lub”\/ oraz „i”/\.
Sprawa jest tu banalna.
I.
Na początek weźmy operatory jednoargumnentowe:
Ogólna definicja operatora logicznego w algebrze Boole’a dotyczy funkcji logicznych algebry Boole’a typu:
Y = f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a
Przykład:
f(x)=p*q+~p*~q
Stąd funkcja logiczna Y ma budowę:
Y = p*q + ~p*~q
Najprostszą funkcją logiczną są funkcje jednoargumentowe.
Tabelę prawdy wszystkich możliwych funkcji jednoargumentowych wraz z jej wyprowadzeniem znajdziemy w AK
Oto dokładnie ten fragment AK:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 2
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 3
1.3 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x
Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1
|
Użyteczne w praktyce języka potocznego operatory transmisji i negacji znane są w praktyce absolutnie każdemu 5-cio latkowi z wykluczeniem dwóch schizofreników: naszego Irbisola i Windziarza - absolwenta matematyki na UT, wroga Nr.1 algebry Kubusia na ateiście.pl
Zobaczmy to na przykładzie!
Pani w przedszkolu A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
A1: Y=K
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
To jest jasne także dla dwóch schizofreników: Irbisola i Windziarza
… a kiedy pani nie dotrzyma słowa?
Negujemy dwustronnie funkcję logiczną A1, lądując w funkcji B1.
B1: ~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
To jest jasne i oczywiste dla każdego 5-cio latka z wykluczeniem matematycznych schizofreników: Irbisola i Windziarza
Dowód:
Rafał3006 do Windziarza na ateiście.pl:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Windziarz:
Nie wiadomo bo pani tego nie powiedziała!
Windziarzowi można współczuć, bo na wydziale matematyki Uniwersytetu Toruńskiego tak potwornie wyprali mu mózg, gównem zwanym KRZ że nie jest w stanie powiedzieć niczego ponad to, co powiedział (to wytłuszczone)
Jestem bardzo ciekaw jakiej odpowiedzi udzieli nasz Irbisol, zacietrzewiony fanatyk KRZ nie będący (na jego szczęście) matematykiem.
Pytam zatem Irbisola:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Pytanie retoryczne:
Ma kto nadzieję że Irbisol odpowie na to pytanie?
Biedakowi, nogi się trzęsą jak galaretka i jedyne co zdoła z siebie wydusić to jego dyżurne slogany:
- niezamówionego gówna nie czytam
- spamu nie czytam
- moje gówno-pytanie było pierwsze
etc
Ot, taki to bohater na glinianych nogach z naszego Irbisola!
c.n.d. |
|
Ostatnio zmieniony przez rafal3006 dnia Śro 21:05, 16 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:52, 17 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838829
Irbisol = matematyczny schizofrenik z mózgiem zatopionym w gównie zwanym KRZ!
Niezdolny do komunikacji z 5-cio latkami i humanistami!
Masz pozdrowienia od 5-cio latków i humanistów:
Współczujemy ci Irbisolu, życząc powrotu do świata ludzi normalnych, naszego świata.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Jak wszyscy widzą, skoki ma główkę do pustego basenu to aktualne "w koło Macieju" biednego Irbisola.
Uparty samobójca - ile można skakać na główkę do pustego basenu? |
To jest prawidłowa odpowiedź na twoje pytanie.
Specjalnie tak sformułowałem tę odpowiedź, żeby sprawdzić, jak bardzo jesteś ślepy. Póki co spełniasz rolę nieogarniętego tępaka idealnie. Zobaczymy, ile pociągniesz zanim się zorientujesz, jakiego debila z siebie robisz. Obstawiam, że całkiem długo |
To jest twoje schizofreniczne majaczenie a nie odpowiedź w temacie przykładu z języka mówionego (w tym z matematyki) pasującego do twojej definicji operatora jednoargumentowego.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838805
| rafal3006 napisał: | Nikt tego twojego przykładu na oczy nie widział!
| Irbisol napisał: | Chciałeś ode mnie definicję i przykład zdania z operatorem jednoargumentowym. Dostałeś.
Teraz odpowiedz na pytanie, czym jest u ciebie operator. |
Nikt tego twojego przykładu na oczy nie widział.
Tylko i wyłącznie ty widzisz przykład spełnienia twojej definicji operatora jednoargumentowego w swoim schizofrenicznym móżdżku.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838793
| rafal3006 napisał: |
Irbisolu, wszyscy widzą, że w akcie rozpaczy skoczyłeś na główkę do pustego basenu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838775
| Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Zatem kontynuuję uwielbianą przez płaskoziemcę zabawę "w Koło Macieju":
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838787
| rafal3006 napisał: | Uwielbianą przez Irbisola zabawę "w koło Macieju" czas zacząć!
| Irbisol napisał: | Przecież ci pokazałem przykład
A w gruzach to twoje gówno już dawno leży. Więcej - nigdy nie było w innym stanie.
Czym jest u ciebie operator? |
Kłamiesz jak pies!
Nigdy nie podałeś przykładu zastosowania twojej definicji operatora jednoargumentowego w języku mówionym człowieka (w tym w matematyce).
Definicja operatora jednoargumentowego w logice Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838763
| Irbisol napisał: | | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie. |
Polecenie:
Podaj jeden, jedyny przykład z języka mówionego człowieka (może być z obszaru matematyki) pasujący do twojej definicji operatora jednoargumentowego.
Tu i teraz, czyli nie interesują mnie twoje schizofreniczne majaczenia niezgodne z prawdą, że gdzieś tam podałeś taki przykład, bo nigdy takiego przykładu nie podałeś! |
|
|
Ostatnio zmieniony przez rafal3006 dnia Czw 8:56, 17 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:05, 17 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838835
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Jak wszyscy widzą, skoki ma główkę do pustego basenu to aktualne "w koło Macieju" biednego Irbisola.
Uparty samobójca - ile można skakać na główkę do pustego basenu? |
To jest prawidłowa odpowiedź na twoje pytanie.
Specjalnie tak sformułowałem tę odpowiedź, żeby sprawdzić, jak bardzo jesteś ślepy. Póki co spełniasz rolę nieogarniętego tępaka idealnie. Zobaczymy, ile pociągniesz zanim się zorientujesz, jakiego debila z siebie robisz. Obstawiam, że całkiem długo |
To jest twoje schizofreniczne majaczenie a nie odpowiedź w temacie przykładu z języka mówionego (w tym z matematyki) pasującego do twojej definicji operatora jednoargumentowego.
|
Niesamowite.
Napisałem ci wprost, dlaczego robisz z siebie debila, wskazałem ci rozwiązanie - a ty nadal robisz z siebie debila
Jak bym komuś opowiadał, to by nie uwierzył. Ja sam ledwo wierzę, że coś takiego jesteś w stanie odwalać - i to tak długo. |
Diagnoza twojego stanu zdrowia postawiona w nagłówku poniższego cytatu jest w 100% trafiona, niestety.
Czy schizofrenik wie, że jest chory?
Odpowiedź łatwo znajdziemy w Wikipedii:
[link widoczny dla zalogowanych]
"Osoba cierpiąca na schizofrenię nie wie, że jest chora. To największy problem"
W Polsce na schizofrenię leczy się 187 tys. osób. - Zdiagnozowanych jest dwa razy więcej. Problem polega na tym, że wszyscy dookoła dostrzegają chorobę, a sam pacjent - nie - wyjaśniała dr Maja Polikowska z Kliniki Psychiatrii Warszawskiego Uniwersytetu Medycznego i Instytutu Amici. Gościem "Wieczoru RDC" była również Magda Bojarska z Fundacji "Hej, Koniku".
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838829
| rafal3006 napisał: | Irbisol = matematyczny schizofrenik z mózgiem zatopionym w gównie zwanym KRZ!
Niezdolny do komunikacji z 5-cio latkami i humanistami!
Masz pozdrowienia od 5-cio latków i humanistów:
Współczujemy ci Irbisolu, życząc powrotu do świata ludzi normalnych, naszego świata.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Jak wszyscy widzą, skoki ma główkę do pustego basenu to aktualne "w koło Macieju" biednego Irbisola.
Uparty samobójca - ile można skakać na główkę do pustego basenu? |
To jest prawidłowa odpowiedź na twoje pytanie.
Specjalnie tak sformułowałem tę odpowiedź, żeby sprawdzić, jak bardzo jesteś ślepy. Póki co spełniasz rolę nieogarniętego tępaka idealnie. Zobaczymy, ile pociągniesz zanim się zorientujesz, jakiego debila z siebie robisz. Obstawiam, że całkiem długo |
To jest twoje schizofreniczne majaczenie a nie odpowiedź w temacie przykładu z języka mówionego (w tym z matematyki) pasującego do twojej definicji operatora jednoargumentowego.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838805
| rafal3006 napisał: | Nikt tego twojego przykładu na oczy nie widział!
| Irbisol napisał: | Chciałeś ode mnie definicję i przykład zdania z operatorem jednoargumentowym. Dostałeś.
Teraz odpowiedz na pytanie, czym jest u ciebie operator. |
Nikt tego twojego przykładu na oczy nie widział.
Tylko i wyłącznie ty widzisz przykład spełnienia twojej definicji operatora jednoargumentowego w swoim schizofrenicznym móżdżku.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838793
| rafal3006 napisał: |
Irbisolu, wszyscy widzą, że w akcie rozpaczy skoczyłeś na główkę do pustego basenu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838775
| Irbisol napisał: | | To, że leżycie kwiczycie i blagacie o litość, to każdy widzi od wielu lat, spamujący spierdalaczu. |
Zatem kontynuuję uwielbianą przez płaskoziemcę zabawę "w Koło Macieju":
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838787
| rafal3006 napisał: | Uwielbianą przez Irbisola zabawę "w koło Macieju" czas zacząć!
| Irbisol napisał: | Przecież ci pokazałem przykład
A w gruzach to twoje gówno już dawno leży. Więcej - nigdy nie było w innym stanie.
Czym jest u ciebie operator? |
Kłamiesz jak pies!
Nigdy nie podałeś przykładu zastosowania twojej definicji operatora jednoargumentowego w języku mówionym człowieka (w tym w matematyce).
Definicja operatora jednoargumentowego w logice Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838763
| Irbisol napisał: | | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie. |
Polecenie:
Podaj jeden, jedyny przykład z języka mówionego człowieka (może być z obszaru matematyki) pasujący do twojej definicji operatora jednoargumentowego.
Tu i teraz, czyli nie interesują mnie twoje schizofreniczne majaczenia niezgodne z prawdą, że gdzieś tam podałeś taki przykład, bo nigdy takiego przykładu nie podałeś! |
|
|
|
Ostatnio zmieniony przez rafal3006 dnia Czw 9:07, 17 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:40, 17 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838841
| Irbisol napisał: | Z tą diagnozą schizofrenii jest o tyle ciekawie, że wg ciebie ty jesteś jedynym normalnym, a wszyscy pozostali matematycy już nie.
Ale wszystko się zgadza, bo oni o tym przecież nie wiedzą, prawda?
Takiego samozaorania, jak teraz robisz, to chyba jeszcze nie było. Ale kontynuujmy - w końcu jedyne, co możesz dostarczyć, to świadomość jak bardzo ktoś może być tępy. |
Brawo, trafione w 10.
Nie jest jednak prawdą, że ta diagnoza dotyczy wszystkich matematyków.
Prawidłowa jest tylko i wyłącznie ta tożsamość:
Matematyczny schizofrenik = fanatyk KRZ (podobny do ciebie Irbisolu)
Normalni matematycy mają w dupie KRZ, śmieją się z KRZ, drwią z KRZ.
Dowód:
Nie ma KRZ w szkole średniej i nigdy tego gówna tu nie będzie - zdrowi na umysle matematycy do tego nie dopuszczą!
Pzykład zdrowego na umyśle matematyka:
[link widoczny dla zalogowanych]
Logika, sens i wątpliwości
Marek Kordos
Delta, marzec 2013
Już przed laty, gdy brałem udział w tworzeniu jednej z kolejnych reform nauczania matematyki, miałem poważne wątpliwości, czy umieszczanie w programach nauczania matematyki (podstawach programowych, wykazach efektów nauczania, podręcznikach itp.) działu logika jest zgodne ze zdrowym rozsądkiem.
Oczywiście, wiem, że wielu głosi, iż nauczanie matematyki (jak niegdyś łaciny, której się zresztą uczyłem) to nauka logicznego myślenia. Ale, gdy czytałem otwierające wówczas podręczniki do liceum rozdziały poświęcone logice, trudno mi było powstrzymać się od wrażenia, że nie ma w nich żadnego sensu. Nie wymienię, rzecz jasna, żadnego konkretnego podręcznika (po co mi rozprawy sądowe – przecież podręcznik to wielkie pieniądze), ale wrażenie przy lekturze każdego z nich było podobne.
Od razu chciałbym powiedzieć, że nie chodzi o opinię, iż logika nigdy matematyce nie pomogła, bo unikanie błędów nie jest aktem twórczym (patrz Nicolas Bourbaki, Elementy historii matematyki). Chodzi o coś więcej. Ale nie śmiałem nalegać na usunięcie tego działu ze szkolnego nauczania, bo jeśli wszyscy widzą w nim sens, to może on tam – wbrew pozorom – istnieje.
Dopiero na sympozjum z okazji dziewięćdziesięciolecia Profesora Andrzeja Grzegorczyka dowiedziałem się, że moje wątpliwości nie są odosobnione i nawet w Instytucie Filozofii i Socjologii PAN prowadzone są prace nad taką modyfikacją logiki, by jej wady usunąć.
Co to za wady? Proszę spojrzeć na zdanie:
Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.
Oczywiście, zdanie to jest prawdziwe, ale czy ma sens? Przecież między pewnym faktem arytmetycznym a innym faktem geograficznym żadnego związku nie ma. Dlaczego więc chcemy twierdzić (ba, uczyć tego), że te dwa zdania są równoważne?
Albo zdanie:
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa.
Z punktu widzenia logiki to zdanie jest prawdziwe. Tu już po obu stronach implikacji są zdania dotyczące faktów matematycznych. Dlaczego jednak chcemy zmusić młodego człowieka, by widział w tym sens?
Wyjaśnienie jest proste: w pierwszym przypadku chodzi o to, że równoważność zdań ma miejsce, gdy wartość logiczna obu zdań jest taka sama; w drugim – o to, że implikacja jest poprawna, gdy ma fałszywy poprzednik.
A więc logika sprowadza nasz świat do zbioru dwuelementowego, nic przeto dziwnego, że rzeczy absolutnie niepołączone żadnym znaczeniowym (semantycznym) związkiem muszą się znajdować w przynajmniej jednej z dwóch komórek, do jakiejś muszą trafić.
Powstają dwa pytania. Po pierwsze, czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat? Po drugie, czy faktycznie należy trzymać ją jak najdalej od młodzieży, bo tylko ją demoralizuje, każąc za wiedzę uważać takie androny, jak przytoczone powyżej?
Odpowiedź na pierwsze pytanie jest dość prosta. Nowoczesna logika formalna została stworzona (jak wielu uważa) przez Gottloba Fregego (1848-1925) tak, by obsługiwała matematykę, a tę rozumiano wówczas jako badanie prawdziwości zdań języków formalnych.
Odpowiedzi na drugie pytanie de facto nie ma. Tłumaczymy się z używania takich abstrahujących od znaczeń spójników logicznych tym, że alternatywa, koniunkcja i negacja są sensowne; że chcemy, aby młody człowiek wiedział, że zaprzeczeniem zdania, iż istnieje coś mające własność A, jest to, że wszystkie cosie własności A nie mają; że implikacja ze zdania prawdziwego daje jednak tylko zdania prawdziwe itd., itp.
Ale naprawdę chodzi o to, że – jak z małżeństwem i demokracją – lepszej propozycji dotąd nie wynaleziono. A szkoda.
Kim jest Marek Kordos?
[link widoczny dla zalogowanych]
| Wikipedia napisał: |
Marek Tomasz Kordos (ur. 7 marca 1940[1]) – polski matematyk, doktor habilitowany, geometra i historyk matematyki oraz jej popularyzator.
Życiorys
Założyciel i wieloletni redaktor naczelny miesięcznika Delta, autor wielu książek, współzałożyciel Ośrodka Kultury Matematycznej oraz Stowarzyszenia na rzecz Edukacji Matematycznej. Zatrudniony na stanowisku profesora nadzwyczajnego aż do emerytury pracował jako wykładowca akademicki na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego[2][3]. Specjalizuje się w geometrii i historii matematyki. Doktorat i habilitację uzyskał za prace z geometrii rzutowo-metrycznych. |
Ostatnio zmieniony przez rafal3006 dnia Czw 9:41, 17 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 9:43, 17 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11600.html#838847
| Irbisol napisał: | Kordos to debil.
Łatwo wykazać, że pierdoli głupoty - nie dorósł po prostu do KRZ.
A jak myślisz - jaki % matematyków śmieje się z KRZ, a jaki % KRZ uznaje?
No i pamiętajmy, że podałem ci przykład zastosowania operatora jednoargumentowego w mowie potocznej (tak jak chciałeś), a ty jesteś na tyle ślepy, że tego nie widzisz. |
Mylisz się w 100% jak na schizofrenika przystało.
Ty i podobni tobie fanatycy KRZ to debile, a nie Marek Kordos.
Z takich debili jak ty pękają ze śmiechu wszystkie 5-cio latki i wszyscy humaniści ... oraz zdrowi na umyśle matematycy np. M. Kordos.
Dlaczego pękają?
Masz to napisane w artykule M. Kordosa wyżej.
c.n.d.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 38297
Przeczytał: 16 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 14:37, 17 Kwi 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11600.html#838859
Bieżący temat do definicja jednoargumentowego operatora logicznego w KRZ i AK!
Kwintesencja niniejszego postu:
Definicja operatora jednoargumentowego w algebra Kubusia, wraz z przykładem rozumianym przez każdego 5-cio latka i wkopaniem w ziemię wszystkich fanatyków KRZ reprezentowanych przez matematycznych schizofreników, Windziarza i Irbisola
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11600.html#838853
| Irbisol napisał: |
Kordos to debil.
Łatwo wykazać, że pierdoli głupoty - nie dorósł po prostu do KRZ.
Kordos pierdoli głupoty, nie odróżniając implikacji czy równoważności od funkcji materialnych, które je reprezentują.
Kordos = debil. Jak się nie zna, to niech się nie wypowiada. Jeszcze rozumiem, że ktoś taki jak ty coś tam próbuje robić, żeby można się było pośmiać, ale komuś takiemu jak Kordos to nie wypada zwyczajnie. Dlatego tym bardziej jest debilem. |
O ty szczawiu!
Nie pozwolę byś obrażał jednego z najlepszych ziemskich matematyków – Marka Kordosa.
Za tą obrazę w niniejszym poście zostaniesz wbity w ziemię i przyklapany.
START!
Wróćmy do bieżącego tematu czyli:
I. Definicja jednoargumentowego operatora logicznego w gówno-logice Irbisola
vs
II. Definicja jednoargumentowego operatora logicznego 5-cio latków i humanistów
I.
Definicja operatora jednoargumentowego w logice Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11575.html#838763
| Irbisol napisał: | | Określony symbol występujący ze zdaniem logicznym, równoznaczny z wykonaniem funkcji logicznej odpowiedniej dla tego operatora, której jedynym argumentem jest to zdanie. |
Koniec definicji!
Chuj go wie o co płaskoziemcy tu chodzi?
Płaskoziemca nigdy nie podał i nigdy nie poda choćby jednego przykładu z języka mówionego człowieka (w tym matematyki) pasującego do jego gówno-definicji jednoargumentowego operatora logicznego.
Co więcej!
Żaden człowiek przy zdrowych zmysłach (łącznie z matematykami) nie wie o co płaskoziemcy chodzi w tej definicji
Co więcej!
Sam płaskoziemca nie ma najmniejszego pojęcia o czym pierdoli
Amen!
II.
Definicja operatora jednoargumentowego w algebra Kubusia, wraz z przykładem rozumianym przez każdego 5-cio latka i wkopaniem w ziemię wszystkich fanatyków KRZ reprezentowanych przez matematycznych schizofreników, Windziarza i Irbisola
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11550.html#838727
| rafal3006 napisał: | Dowolny matematyk który nie zrozumie definicji operatorów w logice matematycznej rodem z AK jest schizofrenikiem!
Definicja matematycznego schizofrenika:
Matematycznym schzofrenikiem jest każdy człowiek opisujący matematycznie otaczającą nas rzeczywistość w sposób niezgodny ze stanem faktycznym
Aktualne pojęcia schizofreniczne w logice ziemskich matematyków to: Klasyczny Rachunek Zdań, Teoria mnogości, Kwantyfikatory, Logiki modalne, relewantne, intuicjonistyczne etc
Część I.
Operatory jednoargumentowe w algebrze Bools’a
Legalnych znaczków w algebrze Boole’a jest zaledwie pięć:
{1,0, (~), (+), (*)}
Koniec!
Wynika z tego że algebra Boole’a z definicji nie zajmuje się fundamentem logiki matematycznej, czyli znaczkami warunku wystarczającego => i warunku koniecznego ~> … i to jest największa tragedia ziemskiej logiki matematycznej - jej miejsce jest w piekle na wiecznych piekielnych mękach, nigdy w ziemskich podręcznikach matematyki!
| Irbisol napisał: | Ale ja nie pytam o przypadek w obsłudze zdań warunkowych "Jeśli p to q".
Pytam, czym jest u ciebie operator. |
Nie obchodzi mnie czym jest operator w matematyce klasycznej.
Pewne jest jedno:
Definicja operatora w matematyce klasycznej ma się tak do definicji operatora w logice matematycznej … jak znaczki dodawania (+) i mnożenia (*) w matematyce klasycznej do spójników „lub”(+) i „i”(*) w logice matematycznej.
Irbisol oczywiście nie wie dlaczego wszyscy matematycy w logice matematycznej akceptują znaczki „lub”(+) i „i”(*) będące w kolizji z matematyką klasyczną dodawanie (+) i mnożenie (*).
Cóż, trzeba płaskoziemcę uświadomić, bo sam do tego nie dojdzie:
Znaczki „lub”(+) i „i”(*) z logiki matematycznej są różne na mocy definicji ## od znaczków dodawania (+) i mnożenia (*) z matematyki klasycznej.
Różne na mocy definicji ## oznacza tu, że znaczki te nie są powiązane ze sobą choćby jednym prawem logiki matematycznej (z wyjątkiem znaczka różne na mocy definicji ##) – dokładnie dlatego nie ma tu kolizji matematycznej, i identyczne znaczki {+, *} w dwóch różnych znaczeniach stosowane są czasami w matematyce i praktycznie zawsze w świecie techniki – wiem o tym bo kończyłem elektronikę i jestem ekspertem bramek logicznych w teorii i praktyce.
Na studiach elektronicznych gdzie na I roku jest algebra Boole’a i laboratorium bramek logicznych nigdy nie spotkałem się ze znaczkami matematyków „lub”\/ oraz „i”/\.
Sprawa jest tu banalna.
I.
Na początek weźmy operatory jednoargumnentowe:
Ogólna definicja operatora logicznego w algebrze Boole’a dotyczy funkcji logicznych algebry Boole’a typu:
Y = f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a
Przykład:
f(x)=p*q+~p*~q
Stąd funkcja logiczna Y ma budowę:
Y = p*q + ~p*~q
Najprostszą funkcją logiczną są funkcje jednoargumentowe.
Tabelę prawdy wszystkich możliwych funkcji jednoargumentowych wraz z jej wyprowadzeniem znajdziemy w AK
Oto dokładnie ten fragment AK:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
Spis treści
1.3 Definicja funkcji logicznej jednoargumentowej Y=x 2
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych 3
1.3 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
1.3.1 Definicja operatora logicznego jednoargumentowego Y|=x
Operatory jednoargumentowe to kwintesencja działania operatorów logicznych definiowanych spójnikami „i”(*) i „lub”(+) z języka potocznego 5-cio latka.
Zrozumienie istoty działania operatorów jednoargumentowych jest warunkiem koniecznym dla zrozumienia istoty działania operatorów logicznych n-argumentowych definiowanych spójnikami „i”(*) i „lub”(+)
Operatory jednoargumentowy to zaledwie cztery operatory różne na mocy definicji ## (pkt.1.3.2)
Przy dwóch argumentach mamy już 16 różnych na mocy definicji ## operatorów (pkt. 1.18)
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.3.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje praw Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.2.1
|
Użyteczne w praktyce języka potocznego operatory transmisji i negacji znane są w praktyce absolutnie każdemu 5-cio latkowi z wykluczeniem dwóch schizofreników: naszego Irbisola i Windziarza - absolwenta matematyki na UT, wroga Nr.1 algebry Kubusia na ateiście.pl
Zobaczmy to na przykładzie!
Pani w przedszkolu A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
A1: Y=K
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
To jest jasne także dla dwóch schizofreników: Irbisola i Windziarza
… a kiedy pani nie dotrzyma słowa?
Negujemy dwustronnie funkcję logiczną A1, lądując w funkcji B1.
B1: ~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
To jest jasne i oczywiste dla każdego 5-cio latka z wykluczeniem matematycznych schizofreników: Irbisola i Windziarza
Dowód:
Rafał3006 do Windziarza na ateiście.pl:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Windziarz:
Nie wiadomo bo pani tego nie powiedziała!
Windziarzowi można współczuć, bo na wydziale matematyki Uniwersytetu Toruńskiego tak potwornie wyprali mu mózg, gównem zwanym KRZ że nie jest w stanie powiedzieć niczego ponad to, co powiedział (to wytłuszczone)
Jestem bardzo ciekaw jakiej odpowiedzi udzieli nasz Irbisol, zacietrzewiony fanatyk KRZ nie będący (na jego szczęście) matematykiem.
Pytam zatem Irbisola:
Czy wiadomo kiedy jutro pani nie dotrzyma słowa?
Pytanie retoryczne:
Ma kto nadzieję że Irbisol odpowie na to pytanie?
Biedakowi, nogi się trzęsą jak galaretka i jedyne co zdoła z siebie wydusić to jego dyżurne slogany:
- niezamówionego gówna nie czytam
- spamu nie czytam
- moje gówno-pytanie było pierwsze
etc
Ot, taki to bohater na glinianych nogach z naszego Irbisola!
c.n.d. |
Ostatnio zmieniony przez rafal3006 dnia Pią 6:26, 18 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
