 |
Ś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: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Nie 22:20, 13 Kwi 2025 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Wyżej masz omówiony operator implikacji odwrotnej p||~>q. |
Czy ten operator to ||~> ? |
Kiedy zaczniesz czytać ze zrozumieniem co piszę?
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#698491
| Algebra Kubusia napisał: | Algebra Kubusia - matematyka języka potocznego
10.0 Algebra Kubusia w tabelach zero-jedynkowych
Spis treści
10.3 Symboliczna definicja implikacji odwrotnej p|~>q 1
10.3.1 Operator implikacji odwrotnej p||~>q 4
10.3.2 Tabela prawdy operatora implikacji odwrotnej p||~>q 6
10.3.3 Zero-jedynkowa definicja warunku koniecznego ~> 7
10.3.4 Zero-jedynkowa definicja warunku wystarczającego ~p=>~q 8
10.3.5 Prawo porównywania w rachunku zero-jedynkowym 8
10.3 Symboliczna definicja implikacji odwrotnej p|~>q
| 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
|
Definicja kontrprzykładu w zdarzeniach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane zdarzeniem możliwym p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1
(i odwrotnie)
Definicja implikacji odwrotnej p|~>q:
Implikacja odwrotna p|~>q to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku.
A1: p=>q =0 - p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - p jest (=1) konieczne ~> dla zajścia q
Stąd:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) = ~(0)*1=1*1=1
Czytamy:
Implikacja odwrotna p|~>q w logice dodatniej (bo q) jest spełniona (=1) wtedy i tylko wtedy gdy zajście p jest konieczne ~> dla zajścia q (B1: p~>q=1), ale nie jest wystarczające => dla zajścia q (A1: p=>q=0)
Podstawmy definicję implikacji odwrotnej p|~>q do matematycznych związków warunku wystarczającego => i koniecznego ~> z uwzględnieniem definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>.
| Kod: |
IO:
Implikacja odwrotna p|~>q:
A1: p=>q =0 - p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - p jest (=1) konieczne ~> dla zajścia q
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) = ~(0)*1=1*1=1
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w implikacji odwrotnej p|~>q
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q =0 = 2:~p~>~q =0 [=] 3: q~>p =0 = 4:~q=>~p =0
A': 1: p~~>~q=1 [=] 4:~q~~>p =1
## ## ## ##
B: 1: p~>q =1 = 2:~p=>~q =1 [=] 3: q=>p =1 = 4:~q~>~p =1
B': 2:~p~~>q =0 [=] 3: q~~>~p=0
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:
## - 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
|
II Prawo Sowy dla implikacji odwrotnej p|~>q
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
##
I Prawo Sowy dla implikacji odwrotnej p|~>q
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
Gdzie:
## - różne na mocy definicji
Uwagi:
1.
Na mocy definicji kontrprzykładu prawdziwe warunki wystarczające => w linii Bx wymuszają fałszywe kontrprzykłady Bx'
2.
Na mocy definicji kontrprzykładu fałszywe warunki wystarczające => w linii Ax wymuszają prawdziwe kontrprzykłady Ax'.
Zauważmy że:
1.
Definicję implikacji odwrotnej p|~>q w logice dodatniej (bo q) mamy w kolumnie A1B1:
A1B1:
Definicja implikacji odwrotnej p|~>q:
Implikacja odwrotna p|~>q to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku.
A1: p=>q =0 - p nie jest (=0) wystarczające => dla zajścia q
B1: p~>q =1 - p jest (=1) konieczne ~> dla zajścia q
Stąd:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) = ~(0)*1=1*1=1
Wniosek:
Implikacja odwrotna A1B1: p|~>q w logice dodatniej (bo q) daje odpowiedź na pytanie o p.
2.
Definicję implikacji prostej ~p|=>~q w logice ujemnej (bo ~q) mamy w kolumnie A2B2:
A2B2:
Definicja implikacji prostej ~p|=>~q):
Implikacja prosta ~p|=>~q to spełniony wyłącznie warunek wystarczający => między tymi samymi punktami i w tym samym kierunku.
A2: ~p~>~q =0 - zajście ~p nie jest (=0) konieczne ~> dla zajścia ~q
B2: ~p=>~q =1 - zajście ~p jest (=1) wystarczające => dla zajścia ~q
Stąd:
A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q) = ~(0)*1=1*1=1
Wniosek:
Implikacja prosta A2B2: ~p|=>~q w logice ujemnej (bo ~q) daje odpowiedź na pytanie o ~p.
Matematycznie zachodzi tożsamość logiczna [=]:
A1B1: p|~>q = ~(A1: p=>q)*(B1: p~>q) [=] A2B2: ~p|=>~q = ~(A2:~p~>~q)*(B2: ~p=>~q)
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony
Gdzie:
[=], "=", <=> (wtedy i tylko wtedy) - tożsame znaczki tożsamości logicznej
Dowodem są tu prawa Sowy.
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? |
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 8:38, 14 Kwi 2025 Temat postu: |
|
|
Czym jest u ciebie ||~> ?
A co do pytania, kiedy zacznę czytać, co do mnie piszesz: gdy przestaniesz spamować nie na temat.
Ostatnio zmieniony przez Irbisol dnia Pon 8:39, 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: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 8:44, 14 Kwi 2025 Temat postu: |
|
|
| 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!
Ostatnio zmieniony przez rafal3006 dnia Pon 8:45, 14 Kwi 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 9:30, 14 Kwi 2025 Temat postu: |
|
|
|
||~> to jest operator?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 9:45, 14 Kwi 2025 Temat postu: |
|
|
| 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 9:59, 14 Kwi 2025, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 10:16, 14 Kwi 2025 Temat postu: |
|
|
Zaprzeczasz sam sobie.
||~>
to
operator
czy
symbol operatora
?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 11:12, 14 Kwi 2025 Temat postu: |
|
|
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:32, 14 Kwi 2025, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 12:54, 14 Kwi 2025 Temat postu: |
|
|
||~>
to
operator
czy
symbol operatora
?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 13:13, 14 Kwi 2025 Temat postu: |
|
|
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 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 13:35, 14 Kwi 2025 Temat postu: |
|
|
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 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 14:09, 14 Kwi 2025 Temat postu: |
|
|
| 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:18, 14 Kwi 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 14:16, 14 Kwi 2025 Temat postu: |
|
|
Napisałeś czym jest symbol operatora.
Teraz napisz, czym jest operator.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 14:21, 14 Kwi 2025 Temat postu: |
|
|
| 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:49, 14 Kwi 2025, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 15:05, 14 Kwi 2025 Temat postu: |
|
|
Napisz, czym u ciebie jest operator.
Moje rozumienie to nie twój interes.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 15:20, 14 Kwi 2025 Temat postu: |
|
|
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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Pon 20:41, 14 Kwi 2025 Temat postu: |
|
|
|
Widzisz, jak łatwo cię zagonić w kozi róg? Wystarczy proste pytanie i już w panice spamujesz, bo nie masz pojęcia, co odpowiedzieć.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 23:05, 14 Kwi 2025 Temat postu: |
|
|
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:07, 15 Kwi 2025, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Wto 8:05, 15 Kwi 2025 Temat postu: |
|
|
Ja nie pytam o definicję znaczka, schizofreniku.
Pytam, czym jest u ciebie operator.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 8:23, 15 Kwi 2025 Temat postu: |
|
|
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:54, 15 Kwi 2025, w całości zmieniany 12 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16582
Przeczytał: 10 tematów
|
| Wysłany: Wto 10:28, 15 Kwi 2025 Temat postu: |
|
|
Czym jest operator u ciebie?
Ty naprawdę nie rozumiesz tak prostego pytania?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37682
Przeczytał: 14 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 11:07, 15 Kwi 2025 Temat postu: |
|
|
| 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 3 razy
|
|
| 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
