Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 443, 444, 445
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 18:31, 11 Mar 2025    Temat postu:

Irbisolu, zwróć uwagę na ostatnią linię w tabeli TR ... bo tu jest twój pies (znaczy KRZ) pogrzebany!

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Wyżej dodałem uściślenie.

Nie widzą żadnego twojego uściślenia poza pytaniem matematycznego przygłupa:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11075.html#835231
Irbisol napisał:
A możesz pomiędzy
A<=>S i ~A<=>~S
?

A na co odpowiadałeś wyżej?
JPRDL, z tobą autentycznie gada się jak z niedorozwojem.

Masz, bo znowu miesiąc będziesz szukał:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11075.html#835249


http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11075.html#835249
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
A możesz pomiędzy
A<=>S i ~A<=>~S
?

Nie interesuje mnie twoja schizofrenia.
W moim cytacie (nie w twojej Urbanologii) zapisałem precyzyjnie co ja zrobiłem i to mi wolno.

Ale do mnie miałeś jakiś zarzut. A ja nie twierdziłem tego, do czego miałeś zarzut.
Ja twierdzę to, o co cię pytam wyżej.

Jeżeli wg ciebie tożsamość i równoważność jest synonimem (a tak wcześniej napisałeś), to mogę użyć = zamiast <=>. Czyli mogę zapisać

(A <=> S) <=> (~A <=> ~S)
zamiast twojego
(A = S) <=> (~A = ~S)

No chyba że miałeś schizofrenię twierdząc, że równoważność i tożsamość to to samo. Zdecyduj się.

Odpowiedź na oba twoje posty wyżej masz w tabeli prawdy naszego układu S1.
Nie moją winą jest, że jesteś matematycznym zerem i najprostszej pod słońcem tabeli prawdy nie rozumiesz.

Chętnie nauczę cię poprawnej logiki matematycznej, algebry Kubusia od ZERA, pod warunkiem że będziesz czytał?
Pytanie retoryczne:
Będziesz czytał?

Mamy nasz schemat S1 równoważności:
Kod:

S1 Schemat 1
Fizyczna realizacja równoważności A<=>S w zdarzeniach:
A1: A=>S =1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest (=1) konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
To samo w zapisie formalnym:
A1B1: p<=>q=(A1: p=>q)*(B1: p~>q)=1*1=1
Punkt odniesienia:
p=A - przycisk A (wejście)
q=S - żarówka S (wyjście)

             S               A       
       -------------       ______     
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: brak, nie ma żadnych innych przycisków z wyjątkiem A
Istotą równoważności jest brak zmiennych wolnych

Tabela prawdy dla powyższego schematu jest następująca:
Kod:

TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Kolumna A1B1 to punkt odniesienia w zapisie formalnym {p, q}:
A1: p=>q =1 - p jest (=1) wystarczające => dla q
B1: p~>q =1 - p jest (=1) konieczne ~> dla q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Przyjęty na mocy prawa Kłapouchego punkt odniesienia to:
p=A (przycisk A)
q=S (żarówka S)
Punkt odniesienia A1B1 w zapisie aktualnym {A, S}:
A1: A=>S =1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest (=1) konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
       A1B1:         A2B2:      |     A3B3:           A4B4:
Zapis formalny:
A:  1: p=>q  =1  = 2:~p~>~q =1 [=] 3: q~>p  =1  =  4:~q=>~p =1
A': 1: p~~>~q=0                [=]                 4:~q~~>p =0
Zapis aktualny:
A:  1: A=>S  =1  = 2:~A~>~S =1 [=] 3: S~>A  =1  =  4:~S=>~A =1
A': 1: A~~>~S=0                [=]                 4:~S~~>A =0
       ##             ##              ##              ##
Zapis formalny:
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
Zapis aktualny:
B:  1: A~>S  =1  = 2:~A=>~S =1 [=] 3: S=>A  =1  =  4:~S~>~A =1
B':                2:~A~~>S =0 [=] 3: S~~>~A=0   
-----------------------------------------------------------------------
Równoważność <=>:               |     Równoważności <=> definiuje:
AB: 1: p<=>q=1   = 2:~p<=>~q=1 [=] 3: q<=>p=1    = 4:~q<=>~p=1
definiuje tożsamość zdarzeń:    |     definiuje tożsamość zdarzeń:
AB: 1: p=q       # 2:~p=~q      |  3: q=p        # 4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej

Irbisolu, napisz proszę czego w tabeli prawdy równoważności TR nie rozumiesz?
Przede wszystkim:
Co kwestionujesz, czyli gdzie jest w niej czysto matematyczny błąd!

P.S.
Zwróć uwagę na ostatnią linię w tabeli TR ... bo tu jest twój pies (znaczy KRZ) pogrzebany.


Ostatnio zmieniony przez rafal3006 dnia Wto 18:43, 11 Mar 2025, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Wto 19:32, 11 Mar 2025    Temat postu:

Mogę zapisać
(A <=> S) <=> (~A <=> ~S)
zamiast twojego
(A = S) <=> (~A = ~S)

czy nie?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 19:37, 11 Mar 2025    Temat postu:

Irbisol napisał:
Mogę zapisać
(A <=> S) <=> (~A <=> ~S)
zamiast twojego
(A = S) <=> (~A = ~S)

czy nie?

Masz wielki problem z czytaniem ze zrozumieniem.
Precyzyjną odpowiedź (ostatnia linia w tabeli TR) masz w moim poście wyżej - innej nie będzie, bo jak nie rozumiesz tabeli prawdy równoważności TR to nie ma sensu bym ci cokolwiek tłumaczył.

Chętnie udzielę ci lekcji algebry Kubusia od ZERA - wtedy na 100% zrozumiesz!
Pytanie retoryczne:
Będziesz czytał?

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11100.html#835269
Rafal3006 napisał:

P.S.
Zwróć uwagę na ostatnią linię w tabeli TR ... bo tu jest twój pies (znaczy KRZ) pogrzebany.


Ostatnio zmieniony przez rafal3006 dnia Wto 19:45, 11 Mar 2025, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Wto 20:25, 11 Mar 2025    Temat postu:

Czyli mogę.
Wg ciebie nieprawdą jest iż
(A = S) <=> (~A = ~S)
czyli również nieprawdą jest iż
(A <=> S) <=> (~A <=> ~S)

Dla jakich A i S ta równoważność jest fałszem?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 20:44, 11 Mar 2025    Temat postu:

Irbisol napisał:
Czyli mogę.
Wg ciebie nieprawdą jest iż
(A = S) <=> (~A = ~S)
czyli również nieprawdą jest iż
(A <=> S) <=> (~A <=> ~S)

Dla jakich A i S ta równoważność jest fałszem?

Jak zwykle, nic a nic nie rozumiesz - w logice matematycznej nie ma żadnego wartościowania rodem z potwornie śmierdzącego gówna zwanego KRZ.

Do czego prowadzi posrane wartościowanie rodem z KRZ masz opisane w tych rozdziałach algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#807643
Punkty 34.0 do 36.0 to dowód schizofrenii we wszelkich ziemskich logikach:
34.0 Prawo matematycznego głąba i jełopa w operatorze implikacji prostej p||=>q
35.0 Prawo matematycznego głąba i jełopa w operatorze implikacji odwrotnej p||~>q
36.0 Prawo matematycznego głąba i jełopa w operatorze równoważności p|<=>q


Z myślą o tobie, i dzięki tobie, zapisałem kompletną algebrę Kubusia na poziomie fizyki teoretycznej rodem z 8 klasy Szkoły Podstawowej.
Jeśli nie jesteś głupszy od przeciętnego ucznia 8 klasy Szkoły Podstawowej to na 100% ten króciutki wykład kompletnej algebry Kubusia zrozumiesz.

Kiedy zaczynasz czytać?
Oczywiście jak cokolwiek obalisz to kasuję calusieńką algebrę Kubusia.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#734091

rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej

Spis treści
23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej 1
23.1 Implikacja prosta A|=>S na gruncie fizyki teoretycznej 1
23.1.1 Zmienne związane i zmienne wolne w implikacji prostej A|=>S 2
23.1.2 Wyprowadzenie definicji implikacji prostej A|=>S 3
23.1.3 Operator implikacji prostej A||=>S w zdarzeniach 5
23.2 Implikacja odwrotna A|~>S na gruncie fizyki teoretycznej 7
23.2.1 Zmienne związane i zmienne wolne w implikacji odwrotnej A|~>S 8
23.2.2 Wyprowadzenie definicji implikacji odwrotnej A|~>S 9
23.2.3 Operator implikacji odwrotnej A||~>S w zdarzeniach 11
23.3 Równoważność A<=>S na gruncie fizyki teoretycznej 13
23.3.1 Zmienne związane i zmienne wolne w równoważności A<=>S 13
23.3.2 Operator równoważności A|<=>S w zdarzeniach 16
23.4 Chaos A|~~>S na gruncie fizyki teoretycznej 19
23.4.2 Operator chaosu A||~~>S w zdarzeniach 22


23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej

W niniejszym rozdziale wykażemy, że bardzo łatwo nauczyć wszelkich niuansów algebry Kubusia na lekcjach fizyki w 8 klasie Szkoły Podstawowej.
Doskonale będzie tu widać fundamentalną różnicę między operatorem implikacji prostej p||=>q a operatorem implikacji odwrotnej p||~>q jeśli będziemy patrzeć na logikę matematyczną z tego samego punktu odniesienia, czego na dzień dzisiejszy ziemscy matematycy nie mogą pojąć.

Operator implikacji prostej A||=>S:
Sterowanie żarówką S przez dwa przyciski A i B połączone równolegle

Operator implikacji odwrotnej A||~>S:
Sterowanie żarówką S przez dwa przyciski A i C połączone szeregowo

Oczywistym jest, że wyłącznie matematyczno-fizyczny koziołek matołek może powiedzieć, że sterowanie równoległe to jest to samo co sterowanie szeregowe.
Niestety, dokładnie to twierdzą ziemscy matematycy bo nie widzą w logice matematycznej ani operatora implikacji prostej p||=>q, ani też operatora implikacji odwrotnej p||~>q.


Ostatnio zmieniony przez rafal3006 dnia Wto 20:57, 11 Mar 2025, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Wto 21:10, 11 Mar 2025    Temat postu:

Sam rozpisywałeś tabelki dla <=> - dopiero co sprawdzałem. Więc masz wartościowanie. Wszystko ci się już pierdzieli.
Dla jakich A i S ta równoważność jest fałszem?

Możesz ew. rozpisać to sobie jako =>*<=, co tak bardzo lubisz.
(A <=> S) <=> (~A <=> ~S) = 0
((A <=> S) => (~A <=> ~S)) * ((A <=> S) <= (~A <=> ~S)) = 0
Wg ciebie przynajmniej jeden ze składników koniunkcji wyżej jest fałszem.
Który?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 21:15, 11 Mar 2025    Temat postu:

Irbisol napisał:
Sam rozpisywałeś tabelki dla <=> - dopiero co sprawdzałem. Więc masz wartościowanie. Wszystko ci się już pierdzieli.
Dla jakich A i S ta równoważność jest fałszem?

Możesz ew. rozpisać to sobie jako =>*<=, co tak bardzo lubisz.
(A <=> S) <=> (~A <=> ~S) = 0
((A <=> S) => (~A <=> ~S)) * ((A <=> S) <= (~A <=> ~S)) = 0
Wg ciebie przynajmniej jeden ze składników koniunkcji wyżej jest fałszem.
Który?

Pierdolisz jak potłuczony :rotfl:
W totalnie całej algebrze Kubusia nie ma ani jednego wartościowania rodem z gówna zwanego KRZ.
Znajdziesz jedno, jedyne wartościowanie rodem z gówna zwanego KRZ gdziekolwiek w AK i kasuję AK.
Aktualna, kompletna AK to 1455 stron tu masz ją w pdf:
I.
Pełna wersja "Algebra Kubusia - matematyka języka potocznego" (Stron: 1455):
[link widoczny dla zalogowanych]
Kod:
https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0

Link do pełnej wersji algebry Kubusia na forum śfinia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680041


Ostatnio zmieniony przez rafal3006 dnia Wto 21:27, 11 Mar 2025, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Wto 21:16, 11 Mar 2025    Temat postu:

W drugiej części mojego pytania nie ma wartościowania.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 21:23, 11 Mar 2025    Temat postu:

Irbisol napisał:
W drugiej części mojego pytania nie ma wartościowania.

Cały twój post w 100% to jedno wielkie, potwornie śmierdzące gówno.
Bez problemu to zrozumiesz, o ile twój mózg dobije do poziomu matematycznego ucznia 8 klasy Szkoły podstawowej, czyli przeczytasz podstawowy i kompletny wykład algebry Kubusia doskonale rozumiany przez przeciętnego ucznia SP.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11100.html#835291

rafal3006 napisał:
Irbisol napisał:
Czyli mogę.
Wg ciebie nieprawdą jest iż
(A = S) <=> (~A = ~S)
czyli również nieprawdą jest iż
(A <=> S) <=> (~A <=> ~S)

Dla jakich A i S ta równoważność jest fałszem?

Jak zwykle, nic a nic nie rozumiesz - w logice matematycznej nie ma żadnego wartościowania rodem z potwornie śmierdzącego gówna zwanego KRZ.

Do czego prowadzi posrane wartościowanie rodem z KRZ masz opisane w tych rozdziałach algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#807643
Punkty 34.0 do 36.0 to dowód schizofrenii we wszelkich ziemskich logikach:
34.0 Prawo matematycznego głąba i jełopa w operatorze implikacji prostej p||=>q
35.0 Prawo matematycznego głąba i jełopa w operatorze implikacji odwrotnej p||~>q
36.0 Prawo matematycznego głąba i jełopa w operatorze równoważności p|<=>q


Z myślą o tobie, i dzięki tobie, zapisałem kompletną algebrę Kubusia na poziomie fizyki teoretycznej rodem z 8 klasy Szkoły Podstawowej.
Jeśli nie jesteś głupszy od przeciętnego ucznia 8 klasy Szkoły Podstawowej to na 100% ten króciutki wykład kompletnej algebry Kubusia zrozumiesz.

Kiedy zaczynasz czytać?
Oczywiście jak cokolwiek obalisz to kasuję calusieńką algebrę Kubusia.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#734091

rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej

Spis treści
23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej 1
23.1 Implikacja prosta A|=>S na gruncie fizyki teoretycznej 1
23.1.1 Zmienne związane i zmienne wolne w implikacji prostej A|=>S 2
23.1.2 Wyprowadzenie definicji implikacji prostej A|=>S 3
23.1.3 Operator implikacji prostej A||=>S w zdarzeniach 5
23.2 Implikacja odwrotna A|~>S na gruncie fizyki teoretycznej 7
23.2.1 Zmienne związane i zmienne wolne w implikacji odwrotnej A|~>S 8
23.2.2 Wyprowadzenie definicji implikacji odwrotnej A|~>S 9
23.2.3 Operator implikacji odwrotnej A||~>S w zdarzeniach 11
23.3 Równoważność A<=>S na gruncie fizyki teoretycznej 13
23.3.1 Zmienne związane i zmienne wolne w równoważności A<=>S 13
23.3.2 Operator równoważności A|<=>S w zdarzeniach 16
23.4 Chaos A|~~>S na gruncie fizyki teoretycznej 19
23.4.2 Operator chaosu A||~~>S w zdarzeniach 22


23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej

W niniejszym rozdziale wykażemy, że bardzo łatwo nauczyć wszelkich niuansów algebry Kubusia na lekcjach fizyki w 8 klasie Szkoły Podstawowej.
Doskonale będzie tu widać fundamentalną różnicę między operatorem implikacji prostej p||=>q a operatorem implikacji odwrotnej p||~>q jeśli będziemy patrzeć na logikę matematyczną z tego samego punktu odniesienia, czego na dzień dzisiejszy ziemscy matematycy nie mogą pojąć.

Operator implikacji prostej A||=>S:
Sterowanie żarówką S przez dwa przyciski A i B połączone równolegle

Operator implikacji odwrotnej A||~>S:
Sterowanie żarówką S przez dwa przyciski A i C połączone szeregowo

Oczywistym jest, że wyłącznie matematyczno-fizyczny koziołek matołek może powiedzieć, że sterowanie równoległe to jest to samo co sterowanie szeregowe.
Niestety, dokładnie to twierdzą ziemscy matematycy bo nie widzą w logice matematycznej ani operatora implikacji prostej p||=>q, ani też operatora implikacji odwrotnej p||~>q.


Ostatnio zmieniony przez rafal3006 dnia Wto 21:25, 11 Mar 2025, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Śro 6:33, 12 Mar 2025    Temat postu:

CAŁY post to gówno?
A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...
No chyba że wskażesz błąd w moim stosowaniu tego prawa.

Tak na zapas - ucieczki w stylu niedorozwoja "czytaj tony spamu, to zrozumiesz" bez krzty odniesienia się do treści mojego postu są na tyle głupie, że nawet ty powinieneś to pojąć. Jak widać, nadal cię przeceniam.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 7:10, 12 Mar 2025    Temat postu:

Irbisol napisał:

CAŁY post to gówno?
A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...
No chyba że wskażesz błąd w moim stosowaniu tego prawa.

Tak na zapas - ucieczki w stylu niedorozwoja "czytaj tony spamu, to zrozumiesz" bez krzty odniesienia się do treści mojego postu są na tyle głupie, że nawet ty powinieneś to pojąć. Jak widać, nadal cię przeceniam.

TAK
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 7:11, 12 Mar 2025    Temat postu:

Irbisol napisał:

CAŁY post to gówno?
A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...
No chyba że wskażesz błąd w moim stosowaniu tego prawa.

Tak na zapas - ucieczki w stylu niedorozwoja "czytaj tony spamu, to zrozumiesz" bez krzty odniesienia się do treści mojego postu są na tyle głupie, że nawet ty powinieneś to pojąć. Jak widać, nadal cię przeceniam.

TAK
Cały twój post to jedno wielkie, potwornie śmierdzące gówno.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Śro 7:20, 12 Mar 2025    Temat postu:

To teraz doczytaj, co napisałem dalej.

Żeby ci było łatwiej, będę pisał mniejszymi partiami.

A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...
No chyba że wskażesz błąd w moim stosowaniu tego prawa.


Ostatnio zmieniony przez Irbisol dnia Śro 7:23, 12 Mar 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 7:22, 12 Mar 2025    Temat postu:

Jedyna poprawna matematycznie analiza operatora równoważności A|<=>S!
Nie istnieje konkurencyjna analiza matematyczna schematu S3.
Innymi słowy:
Każda konkurencyjna analiza matematyczna schematu S3 jest gównem.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#734091
Algebra Kubusia napisał:
Algebra Kubusia - matematyka języka potocznego
23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej

Spis treści
23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej 1
23.1 Implikacja prosta A|=>S na gruncie fizyki teoretycznej 1
23.1.1 Zmienne związane i zmienne wolne w implikacji prostej A|=>S 2
23.1.2 Wyprowadzenie definicji implikacji prostej A|=>S 3
23.1.3 Operator implikacji prostej A||=>S w zdarzeniach 5
23.2 Implikacja odwrotna A|~>S na gruncie fizyki teoretycznej 7
23.2.1 Zmienne związane i zmienne wolne w implikacji odwrotnej A|~>S 8
23.2.2 Wyprowadzenie definicji implikacji odwrotnej A|~>S 9
23.2.3 Operator implikacji odwrotnej A||~>S w zdarzeniach 11
23.3 Równoważność A<=>S na gruncie fizyki teoretycznej 13
23.3.1 Zmienne związane i zmienne wolne w równoważności A<=>S 13
23.3.2 Operator równoważności A|<=>S w zdarzeniach 16
23.4 Chaos A|~~>S na gruncie fizyki teoretycznej 19
23.4.2 Operator chaosu A||~~>S w zdarzeniach 22


23.0 Algebra Kubusia na lekcji fizyki w Szkole Podstawowej

W niniejszym rozdziale wykażemy, że bardzo łatwo nauczyć wszelkich niuansów algebry Kubusia na lekcjach fizyki w 8 klasie Szkoły Podstawowej.
Doskonale będzie tu widać fundamentalną różnicę między operatorem implikacji prostej p||=>q a operatorem implikacji odwrotnej p||~>q jeśli będziemy patrzeć na logikę matematyczną z tego samego punktu odniesienia, czego na dzień dzisiejszy ziemscy matematycy nie mogą pojąć.

Operator implikacji prostej A||=>S:
Sterowanie żarówką S przez dwa przyciski A i B połączone równolegle

Operator implikacji odwrotnej A||~>S:
Sterowanie żarówką S przez dwa przyciski A i C połączone szeregowo

Oczywistym jest, że wyłącznie matematyczno-fizyczny koziołek matołek może powiedzieć, że sterowanie równoległe to jest to samo co sterowanie szeregowe.
Niestety, dokładnie to twierdzą ziemscy matematycy bo nie widzą w logice matematycznej ani operatora implikacji prostej p||=>q, ani też operatora implikacji odwrotnej p||~>q.


23.3 Równoważność A<=>S na gruncie fizyki teoretycznej

Sterowanie żarówką S przez różne zespoły przycisków to najprostszy sposób by zrozumieć algebrę Kubusia na poziomie I klasy LO.

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


23.3.1 Zmienne związane i zmienne wolne w równoważności A<=>S

Kod:

S3 Schemat 3
Fizyczna realizacja równoważności A<=>S w zdarzeniach:
A1: A=>S =1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest (=1) konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1 – zapis aktualny (przykład)
;
A1B1: p<=>q=(A1: p=>q)*(B1: p~>q)=1*1=1 – zapis formalny
Punkt odniesienia:
p=A - przycisk A
q=S - żarówka S

             S               A       
       -------------       ______     
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: brak, nie ma żadnych innych przycisków z wyjątkiem A
Istotą równoważności jest brak zmiennych wolnych

Definicja zmiennej związanej:
Zmienna związana to zmienna występujące w układzie uwzględniona w opisie matematycznym układu.
Zmienna związana z definicji jest ustawiana na 0 albo 1 przez człowieka.

Definicja zmiennej wolnej:
Zmienna wolna to zmienna występująca w układzie, ale nie uwzględniona w opisie matematycznym układu.
Zmienna wolna z definicji może być ustawiana na 0 albo 1 poza kontrolą człowieka.
W układzie S3 nie ma zmiennej wolnej.

Matematycznie jest kompletnie bez znaczenia czy zmienna związana A będzie pojedynczym przyciskiem, czy też dowolną funkcją logiczną f(x) zbudowaną z n przycisków, byleby dało się ustawić:
f(x) =1
oraz
f(x)=0
bowiem z definicji funkcja logiczna f(x) musi być układem zastępczym pojedynczego przycisku A, gdzie daje się ustawić zarówno A=1 jak i A=0.
Przykład:
f(x) = C+D*(E+~F)
Gdzie:
C, D, E - przyciski normalnie rozwarte
~F - przycisk normalnie zwarty

Dokładnie z powyższego powodu w stosunku do układu S3 możemy powiedzieć, iż jest to fizyczny układ minimalny równoważności A<=>S

Nanieśmy naszą równoważność A<=>S do tabeli prawdy warunków wystarczających => i koniecznych ~> z uwzględnieniem definicji kontrprzykładu i prawa Irbisa.

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)
Zauważmy, że definicja kontrprzykładu związana jest wyłącznie z warunkiem wystarczającym =>

Prawo Irbisa:
Równoważność dowolnych pojęć p<=>q definiuje ich tożsamość p=q (i odwrotnie)
Innymi słowy:
Równoważność zdarzeń p<=>q definiuje ich tożsamość p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) <=> A1B1: p=q
Kod:

TR
Tabela prawdy równoważności p<=>q z uwzględnieniem prawa Irbisa
Kolumna A1B1 to punkt odniesienia w zapisie formalnym {p, q}:
A1: p=>q =1 - p jest (=1) wystarczające => dla q
B1: p~>q =1 - p jest (=1) konieczne ~> dla q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Przyjęty na mocy prawa Kłapouchego punkt odniesienia to:
p=A (przycisk A)
q=S (żarówka S)
Punkt odniesienia A1B1 w zapisie aktualnym {A, S}:
A1: A=>S =1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest (=1) konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
       A1B1:         A2B2:      |     A3B3:           A4B4:
Zapis formalny:
A:  1: p=>q  =1  = 2:~p~>~q =1 [=] 3: q~>p  =1  =  4:~q=>~p =1
A': 1: p~~>~q=0                [=]                 4:~q~~>p =0
Zapis aktualny:
A:  1: A=>S  =1  = 2:~A~>~S =1 [=] 3: S~>A  =1  =  4:~S=>~A =1
A': 1: A~~>~S=0                [=]                 4:~S~~>A =0
       ##             ##              ##              ##
Zapis formalny:
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
Zapis aktualny:
B:  1: A~>S  =1  = 2:~A=>~S =1 [=] 3: S=>A  =1  =  4:~S~>~A =1
B':                2:~A~~>S =0 [=] 3: S~~>~A=0   
-----------------------------------------------------------------------
Równoważność <=>:               |     Równoważności <=> definiuje:
AB: 1: p<=>q=1   = 2:~p<=>~q=1 [=] 3: q<=>p=1    = 4:~q<=>~p=1
definiuje tożsamość zdarzeń:    |     definiuje tożsamość zdarzeń:
AB: 1: p=q       # 2:~p=~q      |  3: q=p        # 4:~q=~p
Gdzie:
# - różne w znaczeniu iż jedna strona znaczka # jest negacją drugiej strony
## - 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
"=",[=],<=> - tożsame znaczki tożsamości logicznej

Prawo Sowy dla równoważności p<=>q:
Prawdziwość dowolnego zdania serii Ax wymusza prawdziwość wszystkich zdań w linii A
Prawdziwość dowolnego zdania serii Bx wymusza prawdziwość wszystkich zdań w linii B

Innymi słowy:
Po udowodnieniu iż zdanie warunkowe „Jeśli p to q” jest częścią równoważności A1B1: p<=>q w logice dodatniej (bo q) nic więcej nie musimy udowadniać, bowiem mamy zdeterminowaną prawdziwość/fałszywość wszelkich zdań warunkowych „Jeśli p to q” widniejących w tabeli równoważności TR

Definicję formalną równoważności p<=>q mamy w kolumnie A1B1:
Równoważność p<=>q w logice dodatniej (bo q) to zachodzący zarówno warunek konieczny ~> (B1) jak i wystarczający => (A1) między tymi samymi punktami i w tym samym kierunku
A1: p=>q =1 – zajście p jest (=1) warunkiem wystarczającym => dla zajścia q
B1: p~>q =1 – zajście p jest (=1) warunkiem koniecznym ~> dla zajścia q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q)=1*1=1

To samo w zapisie aktualnym (nasz przykład).

Definicję równoważności A<=>S mamy w kolumnie A1B1:
Równoważność A<=>S w logice dodatniej (bo S) to zachodzący zarówno warunek konieczny ~> (B1) jak i wystarczający => (A1) między tymi samymi punktami i w tym samym kierunku
A1: A=>S =1 - wciśnięcie przycisku A jest (=1) warunkiem wystarczającym => dla świecenia S
B1: A~>S =1 - wciśnięcie przycisku A jest (=1) warunkiem koniecznym ~> dla świecenia S
A1B1: A<=>S = (A1: A=>S)*(B1: A~>S)=1*1=1

23.3.2 Operator równoważności A|<=>S w zdarzeniach

Definicja operatora równoważności p|<=>q w zapisie formalnym:
Operator równoważności 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?

Na mocy prawa Kłapouchego nasz punkt odniesienia:
p=A (przycisk A)
q=S (żarówka S)

Stąd mamy:
Definicja operatora równoważności A|<=>S w zapisie aktualnym:
Operator równoważności A|<=>S w logice dodatniej (bo S) to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o wciśnięty przycisk A (A) oraz o nie wciśnięty przycisk A (~A)
Kolumna A1B1:
A1B1: A<=>S = (A1: A=>S)*(B1: A~>S) - co może się wydarzyć jeśli A jest wciśnięty (A=1)?
Kolumna A2B2:
A2B2: ~A<=>~S = (A2:~A~>~S)*(B2: ~A=>~S) - co może się wydarzyć jeśli A nie jest wciśnięty (~A=1)?

A1B1:
Kiedy przycisk A jest wciśnięty (A=1)?


Kolumna A1B1
Fizyczna realizacja równoważności A<=>S w logice dodatniej (bo S) w zdarzeniach:
A1: A=>S =1 - wciśnięcie A jest wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
Lewą stronę czytamy:
Przycisk A jest wciśnięty (A=1) wtedy i tylko wtedy gdy żarówka świeci się (S=1)
Całość czytamy:
Równoważność A<=>S jest spełniona (=1) wtedy i tylko wtedy gdy wciśnięcie przycisku A (A=1) jest konieczne ~> (B1) i wystarczające => (A1) do tego, by żarówka świeciła się (S=1)

Prawo Irbisa:
Każda równoważność pojęć p<=>q definiuje ich tożsamość p=q (i odwrotnie)
Innymi słowy:
Każda równoważność zdarzeń p<=>q definiuje ich tożsamość p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) <=> A1B1: p=q

Na mocy prawa Irbisa równoważność A1B1: A<=>S definiuje tożsamość pojęć A1B1: A=S:
A1B1: A=S <=> (A1: A=>S)*(B1: A~>S) = A1B1: A<=>S
Czytamy:
Pojęcie "przycisk A wciśnięty" (A=1) jest tożsame "=" z pojęciem "żarówka S świeci" (S=1) wtedy i tylko wtedy gdy wciśnięcie przycisku A (A=1) jest konieczne ~> i wystarczające => dla świecenia się żarówki S (S=1)
Powyższe zdanie to dowód poprawności prawa Irbisa, bowiem na mocy schematu S3 to fizyczna oczywistość.

Matematycznie zachodzi tu relacja:
A1B1: A=S # A2B2: ~A=~S
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Tożsamość pojęć A1B1: A=S wymusza tożsamość pojęć A2B2: ~A=~S (i odwrotnie)

Odpowiedź na pytanie co może się wydarzyć jeśli przycisk A będzie wciśnięty (A=1) w zdaniach warunkowych „Jeśli p to q” jest następująca:
A1.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka na 100% => świeci się (S=1)
A=>S =1
To samo w zapisie formalnym:
p=>q =1
Wciśnięcie przycisku A jest warunkiem wystarczającym => dla świecenia się żarówki S
Wciśnięcie przycisku A daje nam gwarancję matematyczną => świecenia się żarówki S
Zawsze gdy wciśniemy przycisk A zaświeci się żarówka S
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna =>

Dowód "nie wprost" fałszywości zdania A1'.
Prawdziwy warunek wystarczający A1 wymusza fałszywość kontrprzykładu A1’ (i odwrotnie)
A1’.
Jeśli przycisk A jest wciśnięty (A=1) to żarówka może ~~> się nie świecić (~S=1)
A~~>~S = A*~S =0
To samo w zapisie formalnym:
p~~>~q = p*~q =0
Dowód wprost:
Niemożliwe jest (=0) zdarzenie: przycisk A jest wciśnięty (A=1) i żarówka nie świeci się (~S=1)
Dla schematu S3 to fizyczna oczywistość

A2B2:
Kiedy przycisk A nie jest wciśnięty (~A=1)?


Kolumna A2B2
Fizyczna realizacja równoważności ~A<=>~S w logice ujemnej (bo ~S) w zdarzeniach:
A2: ~A~>~S =1 - nie wciśnięcie A (~A=1) jest (=1) konieczne ~> dla nie świecenia żarówki S (~S=1)
B2: ~A=>~S =1 - nie wciśnięcie A (~A=1) jest (=1) wystarczające => dla nie świecenia żarówki S (~S=1)
A2B2: ~A<=>~S = (A2: ~A~>~S)*(B2: ~A=>~S)=1*1=1
Lewą stronę czytamy:
Przycisk A nie jest wciśnięty (~A=1) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
Całość czytamy:
Równoważność ~A<=>~S jest spełniona (=1) wtedy i tylko wtedy gdy nie wciśnięcie przycisku A (~A=1) jest konieczne ~> (A2) i wystarczające => (B2) dla braku świecenia się żarówki S (~S=1)

Prawo Irbisa:
Każda równoważność pojęć p<=>q definiuje ich tożsamość p=q (i odwrotnie)
Innymi słowy:
Każda równoważność zdarzeń p<=>q definiuje ich tożsamość p=q (i odwrotnie)
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) <=> A1B1: p=q

Na mocy prawa Irbisa równoważność A2B2: ~A<=>~S definiuje tożsamość pojęć A2B2: ~A=~S:
A2B2: ~A=~S <=> (A2: ~A~>~S)*(B2: ~A=>~S) = A2B2: ~A<=>~S
Czytamy:
Pojęcie "przycisk A nie jest wciśnięty" (~A=1) jest tożsame "=" z pojęciem "żarówka S nie świeci się" (~S=1) wtedy i tylko wtedy gdy nie wciśnięcie przycisku A (~A=1) jest konieczne ~> (A2) i wystarczające => (B2) dla nie świecenia się żarówki S (~S=1)
Powyższe zdanie to dowód poprawności prawa Irbisa, bowiem na mocy schematu S3 to fizyczna oczywistość.

Matematycznie zachodzi tu relacja:
A2B2: ~A=~S # A1B1: A=S
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Tożsamość pojęć ~A=~S wymusza tożsamość pojęć A=S (i odwrotnie)

A2B2:
Odpowiedź na pytanie co może się wydarzyć jeśli przycisk A nie jest wciśnięty (~A=1) w zdaniach warunkowych „Jeśli p to q” mamy w kolumnie A2B2:
B2.
Jeśli przycisk A nie jest wciśnięty (~A=1) to żarówka na 100% => nie świeci się (~S=1)
~A=>~S =1
To samo w zapisie formalnym:
~p=>~q =1
Brak wciśnięcia przycisku A (~A=1) jest warunkiem wystarczającym => dla braku świecenia żarówki S (~S=1)
Brak wciśnięcia przycisku A (~A=1) daje nam gwarancję matematyczną => braku świecenia się żarówki S (~S=1)
Zawsze, gdy przycisk A nie jest wciśnięty (~A=1), żarówka nie świeci się (~S=1)
Zachodzi tożsamość pojęć:
Warunek wystarczający => = Gwarancja matematyczna => = na 100% => etc

Dowód "nie wprost" fałszywości zdania B2'.
Prawdziwy warunek wystarczający B2 wymusza fałszywość kontrprzykładu B2’ (i odwrotnie)
B2’.
Jeśli przycisk A nie jest wciśnięty (~A=1) to żarówka może ~~> się świecić (S=1)
~A~~>S = ~A*S =0
To samo w zapisie formalnym:
~p~~>q = ~p*q =0
Dowód wprost:
Niemożliwe jest zdarzenie: przycisk A nie jest wciśnięty (~A=1) i żarówka S świeci się (S=1)
Dla schematu S3 to fizyczna oczywistość

Zauważmy że:
Prawdziwości/fałszywości powyższych zdań dowodzimy na gruncie fizyki teoretycznej.
Jakiekolwiek iterowanie nie ma tu sensu, bowiem wcześniej czy później żarówka spali się i nie będziemy mieli fizycznego potwierdzenia prawdziwości/fałszywości powyższych zdań.

Podsumowanie:
Jak widzimy, istotą operatora równoważności A|<=>S jest gwarancja matematyczna => po stronie wciśniętego przycisku A (A=1) - zdanie A1, jak również gwarancja matematyczna => po stronie nie wciśniętego przycisku A (~A=1) - zdanie B2.
W przeciwieństwie do operatora implikacji zarówno prostej p||=>q jak i odwrotnej p||~>q nie ma tu miejsca na jakiekolwiek „rzucanie monetą” w sensie „na dwoje babka wróżyła”.

Zauważmy że:
a)
Układ równań logicznych jest przemienny, stąd mamy:
Operator równoważności ~A|<=>~S to układ równań logicznych:
A2B2:~A<=>~S=(A2:~A~>~S)*(B2:~A=>~S) - co się stanie gdy przycisk A nie jest wciśnięty (~A=1)
A1B1: A<=>S =(A1: A=>S)* (B1: A~>S) - co się stanie gdy przycisk A jest wciśnięty (A=1)?
Doskonale widać, że analiza matematyczna operatora równoważności A2B2: ~A|<=>~S w logice ujemnej (bo ~S) będzie identyczna jak operatora równoważności A1B1: A|<=>S w logice dodatniej (bo S) z tym, że zaczynamy od kolumny A2B2 kończąc na kolumnie A1B1.
b)
Także kolejność wypowiadanych zdań jest dowolna, tak więc zdania z powyższej analizy A1, A1’, B2, B2’ możemy wypowiadać w sposób losowy - matematycznie to bez znaczenia.


Ostatnio zmieniony przez rafal3006 dnia Śro 7:45, 12 Mar 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 7:24, 12 Mar 2025    Temat postu:

Irbisol napisał:
To teraz doczytaj, co napisałem dalej.

Żeby ci było łatwiej, będę pisał mniejszymi partiami.

A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...
No chyba że wskażesz błąd w moim stosowaniu tego prawa.

Wszystko co napisałeś, to w 100% to potwornie śmierdzące gówno, dowód masz w tym moim pośce wyżej.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11100.html#835325
rafal3006 napisał:
Jedyna poprawna matematycznie analiza operatora równoważności A|<=>S!
Nie istnieje konkurencyjna analiza matematyczna schematu S3.
Innymi słowy:
Każda konkurencyjna analiza matematyczna schematu S3 jest gównem.

Możesz sobie obalać płaskoziemco, znajdziesz jedno jedyne zdanie fałszywe i kasuję algebrę Kubusia ... a przecież wyłącznie o to ci od 15 lat chodzi.
Zgadza się?


Ostatnio zmieniony przez rafal3006 dnia Śro 7:31, 12 Mar 2025, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 16362
Przeczytał: 11 tematów


PostWysłany: Śro 7:34, 12 Mar 2025    Temat postu:

A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...

Ostatnio zmieniony przez Irbisol dnia Śro 7:36, 12 Mar 2025, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 7:51, 12 Mar 2025    Temat postu:

Irbisol napisał:
A to ciekawe, bo w tym poście zastosowałem prawo Irbisa. Czyli wg ciebie prawo Irbisa to gówno ...

Biedny płaskoziemcze.
Kiedy przyjmiesz do wiadomości, że 100% definicji i praw logiki matematycznej w algebrze Kubusia jest innych niż w jakiejkolwiek logice matematycznej ziemskich matematyków.
Wniosek:
Aby obalić algebrę Kubusia musisz znaleźć jedną, jedyną wewnętrzną jej sprzeczność.
Znajdziesz taką, kasuję algebrę Kubusia.

Co to twojej wersji prawa Irbisa to w przenośni uparłeś się, że odległość z Warszawy do Gdańska musi być mierzona w kilogramach ... i będziesz tego bronił do usranej śmierci, jak na rasowego schizofrenika przystało.

[link widoczny dla zalogowanych]
W informatyce , śmieci na wejściu, śmieci na wyjściu ( GIGO ) to koncepcja, zgodnie z którą wadliwe, stronnicze lub złej jakości („śmieci”) informacje lub dane wejściowe generują wynik lub dane wyjściowe o podobnej („śmieciowej”) jakości. Przysłowie wskazuje na potrzebę poprawy jakości danych, na przykład w programowaniu. Rubbish in, rubbish out ( RIRO ) to alternatywne sformułowanie.


Ostatnio zmieniony przez rafal3006 dnia Śro 8:05, 12 Mar 2025, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 37217
Przeczytał: 20 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 8:10, 12 Mar 2025    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11100.html#835295

Irbisol napisał:
Sam rozpisywałeś tabelki dla <=> - dopiero co sprawdzałem. Więc masz wartościowanie. Wszystko ci się już pierdzieli.
Dla jakich A i S ta równoważność jest fałszem?

Możesz ew. rozpisać to sobie jako =>*<=, co tak bardzo lubisz.
(A <=> S) <=> (~A <=> ~S) = 0
((A <=> S) => (~A <=> ~S)) * ((A <=> S) <= (~A <=> ~S)) = 0
Wg ciebie przynajmniej jeden ze składników koniunkcji wyżej jest fałszem.
Który?


Weźmy to wytłuszczone.
Dla schematu sterowania żarówką przyciskiem S zachdzi:
A=S # ~A=~S
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Stąd minimalizujemy twój wytłuszczony zapis:
A<=>~A =0

Zgadzasz się z tym faktem płaskoziemcze?

P.S.
O tym schemacie mówimy
Kod:

S3 Schemat 3
Fizyczna realizacja równoważności A<=>S w zdarzeniach:
A1: A=>S =1 - wciśnięcie A jest (=1) wystarczające => dla świecenia S
B1: A~>S =1 - wciśnięcie A jest (=1) konieczne ~> dla świecenia S
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1 – zapis aktualny (przykład)
;
A1B1: p<=>q=(A1: p=>q)*(B1: p~>q)=1*1=1 – zapis formalny
Punkt odniesienia:
p=A - przycisk A
q=S - żarówka S

             S               A       
       -------------       ______     
  -----| Żarówka   |-------o    o-----
  |    -------------                 |
  |                                  |
______                               |
 ___    U (źródło napięcia)          |
  |                                  |
  |                                  |
  ------------------------------------
Zmienne związane definicją: A, S
Zmienna wolna: brak, nie ma żadnych innych przycisków z wyjątkiem A
Istotą równoważności jest brak zmiennych wolnych

Definicja zmiennej związanej:
Zmienna związana to zmienna występujące w układzie uwzględniona w opisie matematycznym układu.
Zmienna związana z definicji jest ustawiana na 0 albo 1 przez człowieka.

Definicja zmiennej wolnej:
Zmienna wolna to zmienna występująca w układzie, ale nie uwzględniona w opisie matematycznym układu.
Zmienna wolna z definicji może być ustawiana na 0 albo 1 poza kontrolą człowieka.
W układzie S3 nie ma zmiennej wolnej.

Matematycznie jest kompletnie bez znaczenia czy zmienna związana A będzie pojedynczym przyciskiem, czy też dowolną funkcją logiczną f(x) zbudowaną z n przycisków, byleby dało się ustawić:
f(x) =1
oraz
f(x)=0
bowiem z definicji funkcja logiczna f(x) musi być układem zastępczym pojedynczego przycisku A, gdzie daje się ustawić zarówno A=1 jak i A=0.
Przykład:
f(x) = C+D*(E+~F)
Gdzie:
C, D, E - przyciski normalnie rozwarte
~F - przycisk normalnie zwarty

Dokładnie z powyższego powodu w stosunku do układu S3 możemy powiedzieć, iż jest to fizyczny układ minimalny równoważności A<=>S


Ostatnio zmieniony przez rafal3006 dnia Śro 8:16, 12 Mar 2025, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 443, 444, 445
Strona 445 z 445

 
Skocz do:  
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
Regulamin