 |
Ś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: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Śro 7:32, 12 Lut 2020 Temat postu: Prawdziwa dyskusja! |
|
|
Śfinia jest wielka!
Dlaczego?
Bo możliwe są tu prawdziwe dyskusje jak na przykład tu:
http://www.sfinia.fora.pl/forum-kubusia,12/czy-irbisol-odpowie-na-kluczowy-problem,15637.html#505181
| rafal3006 napisał: |
Błąd 4 jest tu kluczowy i pogrążający płaskoziemcę Irbisola TOTALNIE! |
... czyli wzajemne walenie się po mordach na całego.
Dzięki Irbisolu za tą dyskusję, bo właśnie doszło do kolejnego przełomu w odkrywaniu algebry Kubusia, czyli do zrozumienia tego zapisu:
A|=>S = (A1: A=>S)*~(B1: A~>S)
Ostatnio zmieniony przez rafal3006 dnia Śro 7:33, 12 Lut 2020, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Hello
Dołączył: 07 Sie 2010
Posty: 1988
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Hello
Dołączył: 07 Sie 2010
Posty: 1988
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 13:52, 17 Lut 2020 Temat postu: |
|
|
Rewelacyjna lektura dla upośledzonych:
[link widoczny dla zalogowanych]
Jeśli cię nie stać, to można uruchomić jakąś instytucję charytatywną...!? 
___________________________________
"Kłamstwo bywa logiczniejsze niż prawda." - S. Kisielewski
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 9:53, 18 Lut 2020 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-25.html#506059
| rafal3006 napisał: | KRZ = gówno-logika, wewnętrznie sprzeczna!
Twardy dowód w niniejszym poście!
Twardy dowód wewnętrznej sprzeczności KRZ:
KRZ nie ma pojęcia co to jest implikacja.
Sam jesteś tego Irbisolu twardym dowodem.
Czy dalej twierdzisz iż poniższa tożsamość jest prawdziwa?
Implikacja w KRZ => = warunek wystarczający => (który rozumiemy IDENTYCZNIE!)
Poproszę o odpowiedź - to jest absolutnie kluczowe pytanie i tego ci nie odpuszczę! |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Hello
Dołączył: 07 Sie 2010
Posty: 1988
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
| Wysłany: Nie 14:58, 23 Lut 2020 Temat postu: |
|
|
| Cytat: | | Od tej chwili przestaję się interesować czymkolwiek poza algebrą Kubusia, bo wreszcie, żelazna dama, Aurelka, zaprowadziła tu porządek. |
Jak widać dama nie jest z żelaza, a swołocz szczeka gdzie nie bądź, niczem chiński wirus! 
_____________________
"Grypa szaleje w Naprawie" - J. Kurek
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 21:57, 23 Lut 2020 Temat postu: |
|
|
|
Ważne że ciebie trzyma krótko na smyczy i nie pozwala szczekać.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Dyskurs
Bloger na Kretowisku
Dołączył: 28 Wrz 2015
Posty: 9844
Przeczytał: 0 tematów
Skąd: USA
Płeć: Kobieta
|
| Wysłany: Nie 22:05, 23 Lut 2020 Temat postu: |
|
|
| rafal3006 napisał: | | Ważne że ciebie [i.e. wszystkie wcielenia wirtualne Chryzjana] trzyma krótko na smyczy i nie pozwala szczekać. |
Ditto 
Ostatnio zmieniony przez Dyskurs dnia Nie 22:06, 23 Lut 2020, 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: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 4:09, 11 Mar 2020 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/dlaczego-zadne-q-nie-wynika-absolutnie-z-konkretnego-p,15759-50.html#509211
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Debilu, czy ty rozumiesz co się do ciebie pisze?
Odróżniasz wyeliminowanie znaczka od wyeliminowania warunku koniecznego? |
Chodzi o to debilu do potęgi nieskończonej, że wyeliminowanie znaczka ~> uniemożliwia ci zrozumienie |
Czyli znaczek ~> oznacza co innego niż znaczek <= ? |
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-350.html#509207
| rafal3006 napisał: | Szach-mat wszech czasów dla gówna zwanego KRZ po raz n-ty!
Fiklicie, za chwilę odpowiem na twoje pytanie.
Najpierw jednak spróbuję dotrzeć do Irbisola, udowadniając mu iż totalnie nie rozumie logiki matematycznej!
Jestem pewien, że do niego dotrę pod warunkiem że przeczyta co się do niego pisze a nie walnie swoim dyżurnym sloganem:
„nie zamówionych bredni nie czytam”
Odpowiadam na pytanie Irbisola które zadał w wątku u Michała tu dlatego, że chcę, aby przyszli czytelnicy naszej świętej wojny AK vs KRZ mieli zachowaną chronologię kolejnych starć na śmierć i życie w tej wojnie - zwycięzca może być tylko jeden - żaden kompromis w postaci jednoczesnego istnienia AK i KRZ nie jest tu możliwy! |
|
Ostatnio zmieniony przez rafal3006 dnia Śro 6:50, 11 Mar 2020, 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: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:50, 19 Mar 2020 Temat postu: |
|
|
Biorę teraz wszystkich za świadków, że w obliczu cytatu niżej Irbisol nie ma innego wyjścia jak wywiesić białą flagę i przejść do obozu algebry Kubusia!
Czy mam rację Irbisolu?
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-vs-krz-ostatnie-starcie,15881.html#510743
| rafal3006 napisał: | Algebra Kubusia vs Klasyczny Rachunek Zdań - ostatnie starcie!
Z dedykacją dla Fiklita w podziękowaniu za 8-letnią, bezcenną dla mnie, rzeczową dyskusję.
http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-525.html#510451
| fiklit napisał: |
nic nie trzeba robić, to jest implikacja AK i tyle. i jest też równioważniść AK. więc mamy niejednoznaczność opertorów (tu spobie możesz powtórzyć: operatorów) AK,
...
,więc AK jest sprzeczna. |
Fiklicie, w tym do czego się przyczepiłeś nie ma absolutnie żadnej sprzeczności, bo wszystko zależy od tego ile zmiennych wolnych i w którym miejscu zadeklarujesz w układzie - myślę, że niniejszy post powinien wszystko wyjaśnić.
Równoważność = zero zmiennych wolnych
Implikacja - minimum jedna zmienne wola (implikacja minimalna = jedna zmienna wolna)
Operator chaosu - minimum dwie zmienne wolne (minimalny operator chaosu = dwie zmienne wolne)
Identycznie jest w teorii zbiorów. Kompletną logikę matematyczną dotyczącą teorii zbiorów można pięknie wyjaśnić przy użyciu zaledwie czterech elementów np. D=[1,2,3,4] i ta logika będzie obowiązywała także dla matematycznych zbiorów nieskończonych - to jest odpowiednik liczenia na paluszkach do 10. Oczywiście opiszę to i udowodnię w podręczniku „Algebra Kubusia - teoria zbiorów”
Nie masz racji Fiklicie, algebra Kubusia jest absolutnie jednoznaczna, natomiast Klasyczny Rachunek Zdań jest wewnętrznie sprzeczny - dowód w niniejszym poście!
Do płaskoziemcy Irbisola:
Matematyk który na bazie niniejszego postu nie zrozumie absolutnej jednoznaczności algebry Kubusia powinien skreślić sobie słówko „matematyk” sprzed swego nazwiska.
Matematyk który na bazie niniejszego postu nie zrozumie niejednoznaczności gówna zwanego KRZ, co jest tożsame z jego wewnętrzną sprzecznością, powinien skreślić sobie słówko „matematyk” sprzed swego nazwiska.
Czy mam rację Idioto - kolejny śfiński płaskoziemco?
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-225.html#310261
| idiota napisał: | | Chyba ostatecznie przegrzaliśmy rafałowi pozostałości mózgu. |
http://www.sfinia.fora.pl/forum-kubusia,12/prawo-subalternacji,8368-2000.html#299283
| idiota napisał: | Boże, co za bzdury...
To niesamowite jak rafał swoim nierozumieniem niczego potrafi sobie w głowie posklejać co się da i zrobić to jakoś odnoszące się do jego idee fixe...
Przecież tego nie ma sensu nawet wyjaśniać, bo widać tu raczej symptomy choroby, a nie rozumowanie. |
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
| Irbisol napisał: | | Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1050.html#415439
| Irbisol napisał: | | Po prostu nie mam już słów na wyrażenie stopnia twojego upośledzenia, które nie pozwala ci tego pojąć. |
etc
Teoria niezbędna do zrozumienia niniejszego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-teoria-zdarzen,15675.html#505589
| Algebra Kubusia - teoria zdarzeń napisał: |
1.2 Podstawowe spójniki implikacyjne w zdarzeniach
Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń p i q
Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q = p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesna zajście zdarzeń p i q.
Inaczej:
p~~>q = p*q =[] =0
Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q
Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
1.2.1 Definicja kontrprzykładu w zdarzeniach
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 ~~>
Definicja zdarzenia możliwego ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i ~q
Inaczej:
p~~>~q =p*~q =0
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)
1.3 Matematyczne związki warunku wystarczającego => i koniecznego ~>
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
A1: p=>q = ~p+q
##
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
B1: p~>q = p+~q
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne A1 i B1 są różne na mocy definicji gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
Stąd mamy:
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego:
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
Gdzie:
## - różne na mocy definicji
Zmienne p i q muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia |
Nawiązując do historycznego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-vs-krz-ostatnie-starcie,15881.html#510745
Algebra Kubusia = logika absolutnie jednoznaczna dla wszystkich operatorów!
Zadanie z egzaminu do I klasy LO (w 100-milowym lesie oczywiście):
Dane są cztery schematy elektryczne jak niżej.
Zbadaj które z nich są fizycznymi realizacjami:
1. Równoważności A<=>S
2. Implikacji prostej A|=>S
3. Implikacji odwrotnej A|~>S
4. Operatora chaosu A|~~>S
Na wszystkich schematach przyjmij, że jedynymi zmiennymi związanymi są przycisk A i żarówka S.
| Kod: |
S1 Schemat 1
S A
------------- ______
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
| Kod: |
S2 Schemat 2
B
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
| Kod: |
S3 Schemat 3
S B A
------------- ______ ______
-----| Żarówka |-------o o-----o o----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
----------------------------------------------
|
| Kod: |
S4 Schemat 4
C
______
---o o----
| |
S B | A |
------------- ______ | ______ |
-----| Żarówka |-------o o-----o o----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
----------------------------------------------
|
Rozwiązanie Jasia (lat 15):
Definicje podstawowe operatorów logicznych dla żarówki i zespołu przycisków A, B, C:
1.
Operator równoważności A<=>S:
A<=>S = (A1: A=>S)*(B1: A~>S) =1*1 =1
2.
Operator implikacji prostej A|=>S:
A|=>S = (A1: A=>S)*~(B1: A~>S) = 1*~(0) =1*1=1
3.
Operator implikacji odwrotnej A|~>S:
A|~>S = (B1: A~>S)*~(A1: A=>S) = 1*~(0) =1*1 =1
4.
Operator chaosu A|~~>S:
A|~~>S = ~(A1: A=>S)*~(B1: A~>S) = ~(0)*~(0) =1*1 =1
Najprostszy algorytm rozstrzygania to sprowadzenie definicji podstawowych wyłącznie do warunków wystarczających ze względu na istniejącą tylko i wyłącznie tu definicję kontrprzykładu.
Matematyczne związki warunku wystarczającego => i koniecznego ~> na gruncie rachunku zero-jedynkowego powiązane ze przyciskiem A i żarówką S.
A: 1: A=>S = 2:~A~>~S [=] 3: S~>A = 4: ~S=>~A
##
B: 1: A~>S = 2: ~A=>~S [=] 3: S=>A = 4: ~S~>~A
Gdzie:
## - różne na mocy definicji
Zmienne A i S muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia
Korzystając z powyższych związków łatwo zapisujemy potrzebne nam wersje operatorów logicznych wyrażone wyłącznie w warunkach wystarczających =>:
1.
Operator równoważności A<=>S:
A<=>S = (A1: A=>S)*(B2: ~A=>~S) =1*1 =1
##
2.
Operator implikacji prostej A|=>S:
A|=>S = (A1: A=>S)*~(B2: ~A=>~S) = 1*~(0) =1*1=1
##
3.
Operator implikacji odwrotnej A|~>S:
A|~>S = (B2: ~A=>~S)*~(A1: A=>S) = 1*~(0) =1*1 =1
##
4.
Operator chaosu A|~~>S:
A|~~>S = ~(A1: A=>S)*~(B2: ~A=>~S) = ~(0)*~(0) =1*1 =1
Gdzie:
## - różne na mocy definicji
Ad.1
Badamy które schematy spełniają definicję równoważności A<=>S:
A<=>S = (A1: A=>S)*(B2: ~A=>~S) =1*1 =1
stąd dla równoważności A<=>S mamy:
Wzorzec:
A1: A=>S=1
B2: ~A=>~S =1
Badamy schematy:
S1.
Czy schemat S1 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienna wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
Ad.2
Badamy które schematy spełniają definicję implikacji prostej A|=>S:
A|=>S = (A1: A=>S)*~(B2: ~A=>~S) = 1*~(0) =1*1=1
stąd dla implikacji prostej A|=>S mamy:
Wzorzec:
A1: A=>S=1
B2: ~A=>~S =0
Badamy schematy:
S1.
Czy schemat S1 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienna wolna B=1
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
Ad.3
Badamy które schematy spełniają definicję implikacji odwrotnej A|~>S:
A|~>S = (B2: ~A=>~S)*~(A1: A=>S) = 1*~(0) =1*1 =1
stąd dla implikacji odwrotnej A|~>S mamy:
Wzorzec:
A1: A=>S=0
B2: ~A=>~S =1
Badamy schematy:
S1.
Czy schemat S1 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienne wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję implikacji odwrotnej A|~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
Ad.4
Badamy które schematy spełniają definicję operatora chaosu A|~~>S:
A|~~>S = ~(A1: A=>S)*~(B2: ~A=>~S) = ~(0)*~(0) =1*1 =1
stąd dla operatora chaosu A|~~>S mamy:
Wzorzec:
A1: A=>S=0
B2: ~A=>~S =0
Badamy schematy:
S1.
Czy schemat S1 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienne wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję operatora chaosu A|~~>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 1 =TAK! - zgodność z wzorcem
Zauważmy, że algebra Kubusia w zgodzie z matematyczną prawdą, rozpoznała jednoznacznie właściwy operator w badanej grupie przypisując mu wartość logiczną 1 - pozostałym operatorom w badanej grupie przypisana została wartość logiczną 0.
Wniosek:
Algebra Kubusia jest perfekcyjnie jednoznaczna!
Klasyczny Rachunek Zdań = logika jednoznaczna wyłącznie dla równoważności A<=>S!
W do realizacji urządzeń w świecie techniki i inżynierii operator równoważności jest konieczny i wystarczający, bowiem w świecie techniki nie ma miejsca na „rzucanie monetą” istniejące w pozostałych operatorach logicznych A|=>S, A|~>S i A|~~>S.
Do obsługi języka potocznego człowieka, czyli do obsługi matematycznego myślenia człowieka istnienie i właściwe rozumienie (jak w AK) wszystkich czterech operatorów logicznych A<=>S, A|=>S, A|~>S i A|~~>S jest absolutnie konieczne!
Bez poprawnego rozumienia operatorów logicznych (jak w AK) lądujemy w wariatkowie zwanym KRZ gdzie prawdziwe są androny typu:
Jeśli 2+2=4 to Płock leży nad Wisłą
Jeśli 2+2=5 to prawdziwe jest twierdzenie Pitagorasa
Jeśli Prosiaczek jest misiem to Kubuś jest świnką
Trawa jest zielna wtedy i tylko wtedy gdy 2+2=4
etc
Sformułujmy dokładnie takie samo zadanie jak w 100-milowym lesie!
Dane są cztery schematy elektryczne jak niżej.
Zbadaj które z nich są fizycznymi realizacjami:
1. Równoważności A<=>S
2. Implikacji A=>S
Na wszystkich schematach przyjmij, że jedynymi zmiennymi związanymi są przycisk A i żarówka S.
Jak widać logika „matematyczna” ziemian ma poprawne pojęcie wyłącznie o równoważności i jest jednym wielkim, potwornie śmierdzącym gównem w zakresie pozostałych trzech operatorów logicznych A|=>S, A|~>S i A|~~>S.
Jedyny przebłysk w gównie zwanym KRZ zwany „implikacją” jest źle zdefiniowany i niejednoznaczny, czyli wewnętrznie sprzeczny, czego dowód niżej.
| Kod: |
S1 Schemat 1
S A
------------- ______
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
| Kod: |
S2 Schemat 2
B
______
-----o o-----
S | A |
------------- | ______ |
-----| Żarówka |-------o o-----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
------------------------------------
|
| Kod: |
S3 Schemat 3
S B A
------------- ______ ______
-----| Żarówka |-------o o-----o o----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
----------------------------------------------
|
| Kod: |
S4 Schemat 4
C
______
---o o----
| |
S B | A |
------------- ______ | ______ |
-----| Żarówka |-------o o-----o o----
| ------------- |
| |
______ |
___ U (źródło napięcia) |
| |
| |
----------------------------------------------
|
Rozwiązanie zadania na gruncie aktualnej gówno-logiki ziemian zwanej KRZ:
Ad.1
Badamy które schematy spełniają definicję równoważności A<=>S:
Święta krowa ziemskich matematyków to:
A<=>S = (A1: A=>S)*(B3: S=>A)
Ziemianie znają prawo kontrapozycji:
B3: S=>A = B2:~A=>~S
Stąd definicja równoważności w KRZ jest identyczna jak w AK:
A<=>S = (A1: A=>S)*(B2: ~A=>~S) =1*1 =1
stąd dla równoważności A<=>S mamy:
Wzorzec:
A1: A=>S=1
B2: ~A=>~S =1
Badamy schematy:
S1.
Czy schemat S1 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =1 - bo ~A jest wystarczające => dla ~S
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję równoważności A<=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: ~A=>~S =0 - bo żarówkę może zaświecić zmienne wolna B=1
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S =1 - ~A jest wystarczające => dla ~S
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję równoważności A<=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: ~A=>~S=0 - bo zmienne wolne B i C mogą być ustawione na B=1 i C=1 (żarówka świeci)
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
Jak widzimy, w zakresie równoważności A<=>S logika „matematyczna” ziemian jest jednoznaczna, bowiem odpowiedzi są tu identyczne jak w algebrze Kubusia.
Jednak gówno zwane KRZ na zawsze pozostanie gównem - nawet w równoważności!
Dowód:
Równoważności prawdziwe w gównie zwanym KRZ:
Trawa jest zielona wtedy i tylko wtedy gdy 2+2=4
2+2=5 wtedy i tylko wtedy gdy jestem ciotką Napoleona
etc
… ale teraz będzie się działo!
Ad.2
Badamy które schematy spełniają definicję implikacji rodem z KRZ A=>S:
A1: A=>S =1
stąd dla implikacji rodem z KRZ A1: A=>S mamy:
Wzorzec:
A1: A=>S=1
B2: brak!
Badamy schematy:
S1.
Czy schemat S1 spełnia definicję implikacji A=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: brak!
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S2.
Czy schemat S2 spełnia definicję implikacji A=>S?
A1: A=>S =1 - bo A jest wystarczające => dla S
B2: brak!
Odpowiedź: 1 = TAK! - zgodność z wzorcem
S3.
Czy schemat S3 spełnia definicję implikacji A=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: brak!
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
S4.
Czy schemat S4 spełnia definicję implikacji prostej A|=>S?
A1: A=>S =0 - bo zmienna wolna B może być ustawiona na B=0 (żarówka nie świeci)
B2: brak!
Odpowiedź: 0 = NIE! - niezgodność z wzorcem
Każdy matematyk przy zdrowych zmysłach widzi tu wewnętrzną sprzeczność gówna zwanego KRZ.
Zauważmy bowiem, że gówno zwane KRZ rozpoznaje jako implikację rodem z KRZ zarówno schemat S1 jak i schemat S2.
Wniosek:
Klasyczny Rachunek Zdań jest wewnętrznie sprzeczny!
cnd |
Ostatnio zmieniony przez rafal3006 dnia Czw 15:20, 19 Mar 2020, w całości zmieniany 3 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: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35364
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
|
Możesz pisać nowe tematy
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
