 |
Ś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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
 Wysłany: Nie 13:49, 23 Mar 2025 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | O wypowiedzenie czego innego pytam.
No i dobrze wiedzieć, że jednak w twojej algebrze są zdania. |
Tragedia - po raz pierwszy z naszej 15-letniej dyskusji zauważyłeś iż w AK są zdania?
Przecież ja od 15 lat cały szans operuję wyłącznie zdaniami podkładając pod każde wypowiedziane przeze mnie zdanie jego opis matematyczny! |
No tak - zdania u ciebie istnieją. Nie istnieją tylko "zdania logiczne":
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10800.html#833881
Zorientowałeś się już, wypowiedzenie jakiego konkretnie zdania mi zarzucasz?
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 14:36, 23 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | O wypowiedzenie czego innego pytam.
No i dobrze wiedzieć, że jednak w twojej algebrze są zdania. |
Tragedia - po raz pierwszy z naszej 15-letniej dyskusji zauważyłeś iż w AK są zdania?
Przecież ja od 15 lat cały szans operuję wyłącznie zdaniami podkładając pod każde wypowiedziane przeze mnie zdanie jego opis matematyczny! |
No tak - zdania u ciebie istnieją. Nie istnieją tylko "zdania logiczne":
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10800.html#833881
Zorientowałeś się już, wypowiedzenie jakiego konkretnie zdania mi zarzucasz? |
Zdania logiczne to potwornie śmierdzące gówna - algebra Kubusia nie zajmuje się gównami.
Prosta jak CEP!
Czekam na twoją ripostę na mój post niżej.
Pytanie retoryczne:
Ma kto nadzieję że Irbisol, z mózgiem zatopionym w gównie zwanym KRZ zdolny jest do sensownej dyskusji?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11275.html#836527
| rafal3006 napisał: | To jest niepojęte, jak trzeba mieć zasrany mózg gównem zwanym KRZ
by nie rozumieć iż wypowiadając zdanie B3 automatycznie udowodniłeś (czyli wypowiedziałeś) prawdziwość zdania B2.
| Irbisol napisał: | | Wskazuj sposób pośredni |
Wykazałem!
Sposób pośredni to skorzystanie z prawa kontrapozycji.
Każdy widzi, że nie masz pojęcia o matematyce tzn. nie rozumiesz prawa kontrapozycji!
Mamy nasz schemat S3 równoważności:
| 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
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
|
| 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
|
Uważąj płaskoziemco.
Wypowiedziałeś twierdzenie odwrotne B3: S=>A
B3:
Jesli żarówka S świeci się to na 100% => przycisk A jest wciśnięty
S=>A =1
Świecenie żarówki S jest warunkiem wystarczajacym => dla wnioskowania iż przycisk A jest wciśnięty.
Tu zmusiłem cię do uznania prawdziwości tego zdania.
Uznałeś prawdziwość - brawa!
Prawo kontrapozycji:
B3: q=>p = B2: ~p=>~q
Nasz przykład:
B3: S=>A = B2: ~A=>~S
Na mocy prawa kontrapozycji wypowiadając zdanie B3 automatycznie wypowiedziałeś zdanie tożsame do B3, czyli zdanie B2.
B2.
Jesli przycisk A nie jest wciśnięty (~A) to na 100% => nie świeci się żarówka S (~S)
~A =>~S =1
Uważaj płaskoziemco:
Prawdziwości zdania B2 absolutnie nie musisz dowodzić!
Wystarczy, że udowodniłeś prawdziwość wypowiedzianego przez ciebie zdania B3.
W tym momencie na mocy prawa kontrapozycji automatycznie udowodniłeś prawdziwość zdania B2!
To jest niepojęte, jak trzeba mieć zasrany mózg gównem zwanym KRZ, by nie rozumieć iż wypowiadając zdanie B3 automatycznie udowodniłeś (czyli wypowiedziałeś) prawdziwość zdania B2.
Sam widzisz płaskoziemco, że bez zrozumienia i akceptacji fundamentu logiki matematycznej dla zdań warunkowych "Jeśli p to q" w postaci tabeli T0 nie masz najmniejszych szans na sensowną dyskusję w temacie logiki matematycznej.
Więc jak?
Czy przecztasz mój dowód prawdziwości największej świętości logiki matematyczne - tabeli T0!
Pytanie retoryczne:
Ma ktonadzieję,że Irbisol odpowie TAK! |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Nie 16:33, 23 Mar 2025 Temat postu: |
|
|
|
Postaraj się przypomnieć, o czym jest temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 17:58, 23 Mar 2025 Temat postu: |
|
|
Ma kto nadzieję, że Irbisol odpowie TAK!
| Irbisol napisał: | | Postaraj się przypomnieć, o czym jest temat. |
Mamy nasz schemat S3 równoważności:
| 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
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
|
Temat jest o tym, że w temacie naszej żarówki S sterowanej przyciskiem A wypowiedziałeś i udowodniłeś prawdziwość dwóch twierdzeń z poniższej tabeli T0.
Twierdzenie proste A1:
A1.
Jeśli przycisk A jest wciśnięty to na 100% => żarówka S świeci się
A1: A=>S =1
To samo w zapisie formalnym
A1: p=>q =1
##
Twierdzenie odwrotne B3:
B3.
Jeśli żarówka S świeci się to na 100% => przycisk A jest wciśnięty
B3: S=>A =1
To samo w zapisie formalnym:
B3: q=>p =1
Gdzie:
## - twierdzenia różne na mocy definicji
Kwadratura koła dla Irbisola:
Czy zgadzasz się z tym faktem?
TAK/NIE
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol odpowie TAK!
Fundament algebry Kubusia - tabela T0:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: |
2.6 Fundamentalne definicje i prawa algebry Kubusia
| 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
|
2.6.1 Prawa Sowy
I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji
2.6.2 Definicja tożsamości logicznej
Prawa Sowy to:
Ogólna definicja tożsamości logicznej „=” dla wielu zdań:
Prawdziwość dowolnego zdania w tożsamości logicznej „=” wymusza prawdziwość pozostałych zdań
Fałszywość dowolnego zdania w tożsamości logicznej „=” wymusza fałszywość pozostałych zdań
Tożsame znaczki tożsamości logicznej to:
„=”, [=], <=> (wtedy i tylko wtedy) |
Ostatnio zmieniony przez rafal3006 dnia Nie 18:10, 23 Mar 2025, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Nie 18:24, 23 Mar 2025 Temat postu: |
|
|
Nie, schizofreniku.
Mowa jest o tym, czy wypowiedziałem cokolwiek w kwestii (A = S) <=> (~A = ~S), czy też jedynie ty tego zapisu użyłeś. Stwierdziłeś, że użyłem tego zapisu pośrednio. Więc to wskaż - to pośrednie użycie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 20:12, 23 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Nie, schizofreniku.
Mowa jest o tym, czy wypowiedziałem cokolwiek w kwestii (A = S) <=> (~A = ~S), czy też jedynie ty tego zapisu użyłeś. Stwierdziłeś, że użyłem tego zapisu pośrednio. Więc to wskaż - to pośrednie użycie. |
Kurwa Mać!
Czy ty kiedykolwiek przestaniesz kłamać?
Wszystko ci się pierdoli 
Poniższy cytat to twardy dowód iż ty i tylko ty użyłeś tego zapisu:
(A = S) <=> (~A = ~S)
Który jest potwornie śmierdzącym gównem, ja tego gówna nigdy nie zapisałem.
Ja zapisałem tylko i wyłacznie świętą prawdę, tą prawdę:
(A = S) <=> (~A = ~S) =0
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11075.html#835249
| Rafal3006 napisał: | | 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ę. |
Nie, nie możesz tak zapisać bo:
Mój zapis to:
(A <=> S) <=> (~A <=> ~S) =1 (prawda)
Mój zapis jest również taki!
(A=S) <=> (~A=~S) =0
Ty masz totalnie zerowe pojęcie o matematyce:
Nie wolno ci z powyższego mojego zapisu wywalić w kosmos mojego zera zapisując:
(A=S) <=> (~A=~S)
Bo w tym momencie jesteś gówno-bogiem, czyli mój FAŁSZ zamieniłeś w swoją PRWADĘ.
Oczywiście, że twierdzę iż równoważność <=> i tożsamość "=" to synonimy!
Dotrze to kiedykolwiek do płaskoziemcy?
|
Wyjaśnienie o co chodzi w moich zapisach:
(A <=> S) <=> (~A <=> ~S) =1 (prawda)
(A=S) <=> (~A=~S) =0
Masz w moim cytacie tuż nad twoją potworną sraczką, którą cytuję wyżej.
Kiedy zaczniesz czytać co do ciebie piszę ze zrozumieniem?
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol kiedykolwiek zacznie czytać, co do niego piszę?
Ostatnio zmieniony przez rafal3006 dnia Nie 22:30, 23 Mar 2025, w całości zmieniany 16 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: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 21:02, 23 Mar 2025 Temat postu: |
|
|
...
Ostatnio zmieniony przez rafal3006 dnia Nie 23:24, 23 Mar 2025, w całości zmieniany 3 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Nie 21:57, 23 Mar 2025 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | Nie, schizofreniku.
Mowa jest o tym, czy wypowiedziałem cokolwiek w kwestii (A = S) <=> (~A = ~S), czy też jedynie ty tego zapisu użyłeś. Stwierdziłeś, że użyłem tego zapisu pośrednio. Więc to wskaż - to pośrednie użycie. |
Kurwa Mać!
Czy ty kiedykolwiek przestaniesz kłamać?
Wszystko ci się pierdoli
Poniższy cytat to twardy dowód iż ty i tylko ty użyłeś tego zapisu:
(A = S) <=> (~A = ~S)
Który jest potwornie śmierdzącym gównem, ja tego gówna nigdy nie zapisałem.
Ja zapisałem tylko i wyłacznie świętą prawdę, tą prawdę:
(A = S) <=> (~A = ~S) =0 |
Czyli zapisałeś też to, co wyżej.
Już ci tłumaczyłem, ale do ciebie nie dociera - debil by oczywiście już zrozumiał.
Nie chodzi mi o wartościowanie tej równoważności, lecz o to, kto w ogóle ten zapis zastosował. Nie dasz rady pojąć.
| Cytat: | Wyjaśnienie o co chodzi w moich zapisach:
(A <=> S) <=> (~A <=> ~S) =1 (prawda)
(A=S) <=> (~A=~S) =0 |
Nikt cię nie pyta o wyjaśnienia. A jak cię pyta, to odpowiadaj na te właśnie pytania.
W równoważnościach wyżej - jak widać - zamieniłeś w 2 miejscach <=> na = i ci wyszedł inny wynik.
Czyli zaprzeczasz sam sobie, schizofreniku - bo wcześniej pisałeś, że <=> i = są tożsame.
Jeszcze taki niuans - cytując mnie wyżej zafałszowałeś cytat. Bardzo nieładnie.
Ostatnio zmieniony przez Irbisol dnia Nie 21:59, 23 Mar 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: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 22:41, 23 Mar 2025 Temat postu: |
|
|
Ustalmy co kto napisał, bo tu jest pies pogrzebany!
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ę. |
Jedynki są w logice matematycznej domyślne!
Stąd mamy:
Czy zgadzasz się na fakt, iż matematycznie twoje zapisy oznaczają jednoznaczne wartościowanie twoich zapisów jak niżej:
(A <=> S) <=> (~A <=> ~S) =1
(A = S) <=> (~A = ~S) =1
TAK/NIE
Podpowiedź:
Pierwszy zapis to powszechnie znane prawo logiki matematycznej:
p<=>q = ~p<=>~q =1
Zgadzasz się z tym faktem?
Ostatnio zmieniony przez rafal3006 dnia Nie 23:06, 23 Mar 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: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pon 9:22, 24 Mar 2025 Temat postu: |
|
|
Nie zadawaj mi pytań, czy się zgadzam.
Zresztą - to już koniec dyskusji w kwestii czy równoważność i tożsamość to synonimy. Raz piszesz, że to to samo; a innym razem - gdy jedno zamienisz z drugim, to ci inny wynik wychodzi.
Czyli sam nie wiesz, co się dzieje w tym twoim burdelu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 10:32, 24 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Nie zadawaj mi pytań, czy się zgadzam.
Zresztą - to już koniec dyskusji w kwestii czy równoważność i tożsamość to synonimy. Raz piszesz, że to to samo; a innym razem - gdy jedno zamienisz z drugim, to ci inny wynik wychodzi.
Czyli sam nie wiesz, co się dzieje w tym twoim burdelu. |
Dopóki nie zrozumiesz fundamentu logiki matematycznej, tabeli T0 nie mamy o czym dyskutować.
Twoja totalna nieznajomość pojęcia tożsamości logicznej dyskwalifikuje cię z jakiejkolwiek dyskusji w temacie „logika matematyczna”
Definicję tożsamości logicznej masz niżej w punkcie 2.6.2
Tu masz totalnie tożsame znaczki:
„=”, [=], <=> (wtedy i tylko wtedy)
z czego wynika. że możesz używać je wymiennie tzn. losowo w dowolny sposób
Prawa Sowy to:
Ogólna definicja tożsamości logicznej „=” dla wielu zdań:
Prawdziwość dowolnego zdania w tożsamości logicznej „=” wymusza prawdziwość pozostałych zdań
Fałszywość dowolnego zdania w tożsamości logicznej „=” wymusza fałszywość pozostałych zdań
Tożsame znaczki tożsamości logicznej to:
„=”, [=], <=> (wtedy i tylko wtedy)
W tożsamości logicznej chodzi o tożsamość dowodów matematycznych, a nie o definicję tożsamości konkretnych zdarzeń/zbiorów – tu jest twoje totalne niezrozumienie logiki matematycznej!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: |
Spis treści
2.6 Fundamentalne definicje i prawa algebry Kubusia 1
2.6.1 Prawa Sowy 1
2.6.2 Definicja tożsamości logicznej 2
2.6 Fundamentalne definicje i prawa algebry Kubusia
| 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
|
2.6.1 Prawa Sowy
I Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
Dla udowodnienia fałszywości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Ax
##
II Prawo Sowy
Dla udowodnienia prawdziwości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Bx
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji
2.6.2 Definicja tożsamości logicznej
Prawa Sowy to:
Ogólna definicja tożsamości logicznej „=” dla wielu zdań:
Prawdziwość dowolnego zdania w tożsamości logicznej „=” wymusza prawdziwość pozostałych zdań
Fałszywość dowolnego zdania w tożsamości logicznej „=” wymusza fałszywość pozostałych zdań
Tożsame znaczki tożsamości logicznej to:
„=”, [=], <=> (wtedy i tylko wtedy)
|
Ostatnio zmieniony przez rafal3006 dnia Pon 10:33, 24 Mar 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: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pon 10:46, 24 Mar 2025 Temat postu: |
|
|
Znowu nie ustosunkowałeś się do tego, co napisałem, tylko pierniczysz coś losowo.
Sam wykazałeś, że równoważność i tożsamość to nie to samo. A żeby było śmieszniej, to do tej pory tego nie zauważyłeś.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 16:17, 24 Mar 2025 Temat postu: |
|
|
To jest niepojęte, jak trzeba mieć zasrany mózg gównem zwanym KRZ
by nie rozumieć iż każda równoważność p<=>q to tożsamość p=q (i odwrotnie)
| Irbisol napisał: | Znowu nie ustosunkowałeś się do tego, co napisałem, tylko pierniczysz coś losowo.
Sam wykazałeś, że równoważność i tożsamość to nie to samo. A żeby było śmieszniej, to do tej pory tego nie zauważyłeś. |
Irbisolu, z uporem maniaka srasz w gacie i tego nie czujesz bo KRZ zatkał ci nos.
Przypominasz mi w swoim oślim uporze Irbisola sprzed 15 lata (pierwsze nasze starcie), który udowodnił tożsamość zdań w języku polskim:
Nigdy nie chodzę do kina [=] Zawsze chodzę do kina
Ten dowód podsumowałeś stwierdzeniem, że język polski jest do dupy, natomiast język angielski jest doskonały, bo nie da się w nim udowodnić powyższego gówna.
Na nic były moje wysiłki w tłumaczeniu ci matematycznej tożsamości:
Język polski = Język angielski
Czyli język polski jest równie wspaniały jak język angielski, bo oba te języki skonstruowane są na identycznym fundamencie, algebrze Kubusia.
Irbisolu,
W niedalekiej przyszłości, każdy ziemski matematyk będzie znał fundament logiki matematycznej T0 z algebry Kubusia wraz z jego interpretacją w niniejszym poście przedstawioną lepiej niż AMEN w pacierzu.
Dinozaury logiki matematycznej w postaci choćby naszego Irbisola wkrótce znikną bezpowrotnie z naszej Ziemi.
Mamy nasz schemat S3 równoważności:
| 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
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,
Operujmy w opisie powyższej tabeli TR wyłącznie zapisami formalnymi, bez związku z jakimkolwiek przykładem, bo wszyscy widzą, że sterowanie przyciskiem A żarówki S, które to sterowanie każdy 5-cio latek ma w małym paluszku to dla ciebie ciemna strona księżyca.
Zróbmy taki szach-mat biednemu Irbislowi:
Usuńmy z powyższej tabeli TR wszelkie zapisy aktualne (nasz przykład) pozostawiając wyłącznie zapis formalny absolutnie dowolnej równoważności p<=>q istniejącej w naszym Wszechświecie.
Tabela równoważności p<=>q w zapisie formalnym TRF jest następująca.
| Kod: |
TRF
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
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 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
-----------------------------------------------------------------------
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 Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
Zauważmy że:
W dowolnej z czterech kolumn {1,2,3,4} prawo Irbisa działa genialnie!
W dalszych rozważaniach pominiemy kolumnę A3B3, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A1B1: p<=>q [=] A3B3: q<=>p
jak i przemienność tożsamości zdarzeń/zbiorów:
A1B1: p=q [=] A3B3: q=p
Podobnie mamy prawo pominąć kolumnę A4B4, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A2B2: ~p<=>~q [=] A4B4: ~q<=>~p
jak i przemienność tożsamości zdarzeń/zbiorów:
A2B2: ~p=~q [=] A4B4: ~q=~p
Wniosek:
Kolumny A3B3 i A4B4 możemy śmiało wyeliminować w analizie matematycznej absolutnie każdej równoważności p<=>q.
Skupmy się zatem na kolumnach A1B1 i A2B2:
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe.
1.
Dla kolumny A1B1 mamy:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q
Prawo Irbisa jest tu perfekcyjnie spełnione!
ok
2.
Dla kolumny A2B2 mamy:
A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) = A2B2: ~p=~q
Również tu prawo Irbisa jest tu perfekcyjnie spełnione!
ok
Zapiszmy powyższe opisy matematyczne w łącznej tabeli prawdy z uwzględnieniem wszelkich relacji matematycznych zachodzących między tymi zapisami.
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Co oznacza tożsamość [=] równoważności?
A1B1: p<=>q [=] A2B2: ~p<=>~q
Tożsamość [=] powyższych równoważności oznacza tu tożsamość logiczną dowodów matematycznych prawdziwości równoważności.
Innymi słowy:
Wystarczy udowodnić którąkolwiek równoważność A1B1 albo A2B2 by mieć gwarancję matematyczną prawdziwości drugiej równoważności.
Tu oczywiste zapisy tożsame to:
A1B1: p<=>q [=] A2B2: ~p<=>~q
A1B1: p<=>q = A2B2: ~p<=>~q
A1B1: p<=>q <=> A2B2: ~p<=>~q
Jest totalnie bez znaczenia jaki znaczek tu sobie postawimy bo chodzi tu tylko i wyłącznie o tożsamość dowodów matematycznych po dowolnej stronie któregokolwiek z tożsamych znaczków:
[=] = „=” = <=>
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe, stąd miedzy tożsamością zdarzeń/zbiorów:
A1B1: p=q
oraz tożsamością zdarzeń/zbiorów:
A2B2: ~p=~q
musimy postawić znaczek #, czyli:
A1B1: p=q # A2B2: ~p=~q
Gdzie:
Definicja znaczka różne #:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Dowód iż zachodzi tu relacja spójnika „albo”($) jest trywialny:
Ostatni zapis na mocy odpowiednich tożsamości zdarzeń/zbiorów p=q oraz ~p=~q mamy prawo zredukować do zapisu:
A1B1: p # A2B2: ~p
dowód iż znaczek # jest tożsamy ze spójnikiem „albo”($)
Definicja spójnika albo($):
a$b = a*~b + ~a*b
Podstawmy:
a=p
b=~p
Stąd mamy:
p$~p = (p)*~(~p) + ~(p)*(~p) = p*p + ~p*~p = p+~p =1
ok
Dla świętego spokoju, by wywalić płaskoziemców w rodzaju Irbisola w kosmos udowodnimy iż miedzy zdarzeniami A1B1: p oraz A2B2: ~p nie zachodzi równoważność.
Dowód:
Definicja równoważności <=>:
a<=>b = a*b + ~a*~b
Podstawmy:
a=p
b=~p
Stąd mamy:
p<=>~p = (p)*(~p) + ~(p)*~(~p) = p*~p + ~p*p = 0+0 =0
cnd
… i co płaskoziemco Irbisolu?
Zatkało kakao?
Ostatnio zmieniony przez rafal3006 dnia Pon 20:42, 24 Mar 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: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pon 17:05, 24 Mar 2025 Temat postu: |
|
|
|
Nadal uciekasz od tematu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 18:29, 24 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | Nadal uciekasz od tematu. |
Przeczytałeś mój post wyżej ze zrozumieniem?
Czego nie rozumiesz?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836645
| Rafal3006 napisał: |
Skupmy się zatem na kolumnach A1B1 i A2B2:
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe.
1.
Dla kolumny A1B1 mamy:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q
Prawo Irbisa jest tu perfekcyjnie spełnione!
ok
2.
Dla kolumny A2B2 mamy:
A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) = A2B2: ~p=~q
Również tu prawo Irbisa jest tu perfekcyjnie spełnione!
ok
Zapiszmy powyższe opisy matematyczne w łącznej tabeli prawdy z uwzględnieniem wszelkich relacji matematycznych zachodzących między tymi zapisami.
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
|
To "i odwrotnie" jest tu kluczowe i najważniejsze.
Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #.
Podobnie z tożsamości:
A2B2: ~p=~q
możesz dojść tylko i wyłacznie to równoważności
A2B2:~p<=>~q
bowiem dojście do równoważności
A1B1: p<=>q
masz zablokowane znaczkiem #
... i co?
Zatkało kakao?
Ostatnio zmieniony przez rafal3006 dnia Pon 20:41, 24 Mar 2025, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pon 19:01, 24 Mar 2025 Temat postu: |
|
|
| rafal3006 napisał: | Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #. |
A czy równoważność p<=>q jest równoważna z równoważnością ~p<=>~q ?
Czyli:
Jaka jest wartość tego wyrażenia:
(p<=>q) <=> (~p<=>~q)
?
Ostatnio zmieniony przez Irbisol dnia Pon 19:55, 24 Mar 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: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 20:09, 24 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | Rafal3006 napisał: |
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #. |
A czy równoważność p<=>q jest równoważna z równoważnością ~p<=>~q ?
Czyli:
Jaka jest wartość tego wyrażenia:
(p<=>q) <=> (~p<=>~q)
? |
Płaskoziemco, kiedy przestaniesz się bawić w Urbana, czyli cytować mnie gdzie mówię o kluczowym tu znaczku # bez podania tabeli prawdy wyjaśniającej co cały mój cytat oznacza!
Moja odpowiedź:
Prawo logiki matematycznej:
p<=>q = ~p<=>~q =1
W tym prawie chodzi tylko i wyłącznie o tożsamość dowodów matematycznych, zatem tożsame zapisy to:
p<=>q = ~p<=>~q
p<=>q [=] ~p<=>~q
p<=>q <=> ~p<=>~q
Gdzie:
"=", [=], <=> - tożsame znaczki tożsamości logicznej
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
Kiedy zaczniesz czytać ze zrozumieniem co do ciebie piszę?
W tym życiu czy w następnym?
Biedny płaskoziemco!
Wskaż błąd czysto matematyczny w poniższym tekście.
Wskażesz - kasuję algebrę Kubusia
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836645
| rafal3006 napisał: | To jest niepojęte, jak trzeba mieć zasrany mózg gównem zwanym KRZ
by nie rozumieć iż każda równoważność p<=>q to tożsamość p=q (i odwrotnie)
Zróbmy taki szach-mat biednemu Irbislowi:
Usuńmy z powyższej tabeli TR wszelkie zapisy aktualne (nasz przykład) pozostawiając wyłącznie zapis formalny absolutnie dowolnej równoważności p<=>q istniejącej w naszym Wszechświecie.
Tabela równoważności p<=>q w zapisie formalnym TRF jest następująca.
| Kod: |
TRF
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
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 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
-----------------------------------------------------------------------
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 Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
Zauważmy że:
W dowolnej z czterech kolumn {1,2,3,4} prawo Irbisa działa genialnie!
W dalszych rozważaniach pominiemy kolumnę A3B3, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A1B1: p<=>q [=] A3B3: q<=>p
jak i przemienność tożsamości zdarzeń/zbiorów:
A1B1: p=q [=] A3B3: q=p
Podobnie mamy prawo pominąć kolumnę A4B4, bowiem zachodzi tu przemienność argumentów zarówno w równoważności:
A2B2: ~p<=>~q [=] A4B4: ~q<=>~p
jak i przemienność tożsamości zdarzeń/zbiorów:
A2B2: ~p=~q [=] A4B4: ~q=~p
Wniosek:
Kolumny A3B3 i A4B4 możemy śmiało wyeliminować w analizie matematycznej absolutnie każdej równoważności p<=>q.
Skupmy się zatem na kolumnach A1B1 i A2B2:
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe.
1.
Dla kolumny A1B1 mamy:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = A1B1: p=q
Prawo Irbisa jest tu perfekcyjnie spełnione!
ok
2.
Dla kolumny A2B2 mamy:
A2B2: ~p<=>~q = (A2: ~p~>~q)*(B2: ~p=>~q) = A2B2: ~p=~q
Również tu prawo Irbisa jest tu perfekcyjnie spełnione!
ok
Zapiszmy powyższe opisy matematyczne w łącznej tabeli prawdy z uwzględnieniem wszelkich relacji matematycznych zachodzących między tymi zapisami.
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Co oznacza tożsamość [=] równoważności?
A1B1: p<=>q [=] A2B2: ~p<=>~q
Tożsamość [=] powyższych równoważności oznacza tu tożsamość logiczną dowodów matematycznych prawdziwości równoważności.
Innymi słowy:
Wystarczy udowodnić którąkolwiek równoważność A1B1 albo A2B2 by mieć gwarancję matematyczną prawdziwości drugiej równoważności.
Tu oczywiste zapisy tożsame to:
A1B1: p<=>q [=] A2B2: ~p<=>~q
A1B1: p<=>q = A2B2: ~p<=>~q
A1B1: p<=>q <=> A2B2: ~p<=>~q
Jest totalnie bez znaczenia jaki znaczek tu sobie postawimy bo chodzi tu tylko i wyłącznie o tożsamość dowodów matematycznych po dowolnej stronie któregokolwiek z tożsamych znaczków:
[=] = „=” = <=>
Prawo Irbisa:
Każda równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń/zbiorów p=q (i odwrotnie!)
To „i odwrotnie” jest tu kluczowe, stąd miedzy tożsamością zdarzeń/zbiorów:
A1B1: p=q
oraz tożsamością zdarzeń/zbiorów:
A2B2: ~p=~q
musimy postawić znaczek #, czyli:
A1B1: p=q # A2B2: ~p=~q
Gdzie:
Definicja znaczka różne #:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Dowód iż zachodzi tu relacja spójnika „albo”($) jest trywialny:
Ostatni zapis na mocy odpowiednich tożsamości zdarzeń/zbiorów p=q oraz ~p=~q mamy prawo zredukować do zapisu:
A1B1: p # A2B2: ~p
dowód iż znaczek # jest tożsamy ze spójnikiem „albo”($)
Definicja spójnika albo($):
a$b = a*~b + ~a*b
Podstawmy:
a=p
b=~p
Stąd mamy:
p$~p = (p)*~(~p) + ~(p)*(~p) = p*p + ~p*~p = p+~p =1
ok
Dla świętego spokoju, by wywalić płaskoziemców w rodzaju Irbisola w kosmos udowodnimy iż miedzy zdarzeniami A1B1: p oraz A2B2: ~p nie zachodzi równoważność.
Dowód:
Definicja równoważności <=>:
a<=>b = a*b + ~a*~b
Podstawmy:
a=p
b=~p
Stąd mamy:
p<=>~p = (p)*(~p) + ~(p)*~(~p) = p*~p + ~p*p = 0+0 =0
cnd
… i co płaskoziemco Irbisolu?
Zatkało kakao? |
Ostatnio zmieniony przez rafal3006 dnia Wto 10:29, 25 Mar 2025, w całości zmieniany 15 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Pon 22:10, 24 Mar 2025 Temat postu: |
|
|
|
Podaj wartość wyrażenia, o które zapytałem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 3:26, 25 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | | Podaj wartość wyrażenia, o które zapytałem. |
Podałem.
Naucz się czytać po polsku.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Wto 9:47, 25 Mar 2025 Temat postu: |
|
|
|
Wskaż, gdzie podałeś.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Wto 10:44, 25 Mar 2025 Temat postu: |
|
|
Pytałem o wartość, czyli 0 albo 1.
A ty nasrałeś znowu spamu, który nikogo nie interesuje.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 11:29, 25 Mar 2025 Temat postu: |
|
|
Czy należy wprowadzić do logiki matematycznej znaczek identyczności zdarzeń/zbiorów "=="?
| Irbisol napisał: | Pytałem o wartość, czyli 0 albo 1.
A ty nasrałeś znowu spamu, który nikogo nie interesuje. |
Moją kompletną odpowiedź w temacie twojego pytania masz wyróżnioną na zielono.
Wybij sobie z glowy swoją permamantną zabawę w Urbana.
[link widoczny dla zalogowanych]
Jerzy Urban. Cyniczne kłamstwa w służbie komunistycznej propagandy
Zmarły 3 października br. Jerzy Urban – w latach 1981-1989 rzecznik prasowy Rady Ministrów PRL - przeszedł do niechlubnej historii jako symbol komunistycznej, wyrachowanej propagandy. Widziany po latach cynizm tych kłamstw poraża.
Innej odpowiedzi nie dostaniesz:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836673
| rafal3006 napisał: | | Irbisol napisał: | | Rafal3006 napisał: |
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #. |
A czy równoważność p<=>q jest równoważna z równoważnością ~p<=>~q ?
Czyli:
Jaka jest wartość tego wyrażenia:
(p<=>q) <=> (~p<=>~q)
? |
Płaskoziemco, kiedy przestaniesz się bawić w Urbana, czyli cytować mnie gdzie mówię o kluczowym tu znaczku # bez podania tabeli prawdy wyjaśniającej co cały mój cytat oznacza!
Moja odpowiedź:
Prawo logiki matematycznej:
p<=>q = ~p<=>~q =1
W tym prawie chodzi tylko i wyłącznie o tożsamość dowodów matematycznych, zatem tożsame zapisy to:
p<=>q = ~p<=>~q
p<=>q [=] ~p<=>~q
p<=>q <=> ~p<=>~q
Gdzie:
"=", [=], <=> - tożsame znaczki tożsamości logicznej
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
Kiedy zaczniesz czytać ze zrozumieniem co do ciebie piszę?
W tym życiu czy w następnym? |
P.S.
Właśnie zastanawiam się nad wprowadzeniem do logiki matematycznej znaczka identyczności zdarzeń/zbiorów:
p==q =1 - wtedy i tylko wtedy gdy zdarzenia/zbiory p i q są identyczne (=tożsame)
Inaczej:
p==q =0
Gdzie:
"==" znaczek identyczności zdarzeń/zbiorów
Hmm ...
Mi ten znaczek nie jest potrzebny bo wynika on z kontekstu, ale jak widać, Irbisolowi TAK
Czy mam rację Irbisolu?
Na NIE przemawia brak zero-jedynkowej tabeli prawdy takiego znaczka „==” – bo będzie on tożsamy z zero-jedynkowym znaczkiem równoważności <=>
Ostatnio zmieniony przez rafal3006 dnia Wto 12:02, 25 Mar 2025, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 16483
Przeczytał: 9 tematów
|
| Wysłany: Wto 11:59, 25 Mar 2025 Temat postu: |
|
|
Nie pytam o twoją "kompletną, precyzyjną" czy inne gówno, które serwujesz.
Pytam o wartość logiczną zdania, które napisałem wyżej.
0 czy 1?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37469
Przeczytał: 12 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 12:04, 25 Mar 2025 Temat postu: |
|
|
| Irbisol napisał: | Nie pytam o twoją "kompletną, precyzyjną" czy inne gówno, które serwujesz.
Pytam o wartość logiczną zdania, które napisałem wyżej.
0 czy 1? |
Moją kompletną odpowiedź masz w tym zielonym fragmencie niżej - innej nie dostaniesz.
Koniec twojej zabawy w Urbana!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836705
| rafal3006 napisał: | Czy należy wprowadzić do logiki matematycznej znaczek identyczności zdarzeń/zbiorów "=="?
| Irbisol napisał: | Pytałem o wartość, czyli 0 albo 1.
A ty nasrałeś znowu spamu, który nikogo nie interesuje. |
Moją kompletną odpowiedź w temacie twojego pytania masz wyróżnioną na zielono.
Wybij sobie z glowy swoją permamantną zabawę w Urbana.
[link widoczny dla zalogowanych]
Jerzy Urban. Cyniczne kłamstwa w służbie komunistycznej propagandy
Zmarły 3 października br. Jerzy Urban – w latach 1981-1989 rzecznik prasowy Rady Ministrów PRL - przeszedł do niechlubnej historii jako symbol komunistycznej, wyrachowanej propagandy. Widziany po latach cynizm tych kłamstw poraża.
Innej odpowiedzi nie dostaniesz:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11300.html#836673
| rafal3006 napisał: | | Irbisol napisał: | | Rafal3006 napisał: |
| Kod: |
TR_A1B1A2B2
Tabela prawdy równoważności dla kolumn A1B1 oraz A2B2
A1B1: p<=> q = (A1: p=>q )*(B1: p~>q ) = A1B1: p= q
[=] [=] #
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) = A2B2:~p=~q
|
Weźmy tożsamość:
A1B1: p=q
Z tej tożsamości możesz dojść tylko i wyłącznie do równoważności:
A1B1: p<=>q,
bowiem dojście do równoważności:
A2B2: ~p<=>~q
masz zablokowane znaczkiem #. |
A czy równoważność p<=>q jest równoważna z równoważnością ~p<=>~q ?
Czyli:
Jaka jest wartość tego wyrażenia:
(p<=>q) <=> (~p<=>~q)
? |
Płaskoziemco, kiedy przestaniesz się bawić w Urbana, czyli cytować mnie gdzie mówię o kluczowym tu znaczku # bez podania tabeli prawdy wyjaśniającej co cały mój cytat oznacza!
Moja odpowiedź:
Prawo logiki matematycznej:
p<=>q = ~p<=>~q =1
W tym prawie chodzi tylko i wyłącznie o tożsamość dowodów matematycznych, zatem tożsame zapisy to:
p<=>q = ~p<=>~q
p<=>q [=] ~p<=>~q
p<=>q <=> ~p<=>~q
Gdzie:
"=", [=], <=> - tożsame znaczki tożsamości logicznej
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
Kiedy zaczniesz czytać ze zrozumieniem co do ciebie piszę?
W tym życiu czy w następnym? |
P.S.
Właśnie zastanawiam się nad wprowadzeniem do logiki matematycznej znaczka identyczności zdarzeń/zbiorów:
p==q =1 - wtedy i tylko wtedy gdy zdarzenia/zbiory p i q są identyczne (=tożsame)
Inaczej:
p==q =0
Gdzie:
"==" znaczek identyczności zdarzeń/zbiorów
Hmm ...
Mi ten znaczek nie jest potrzebny bo wynika on z kontekstu, ale jak widać, Irbisolowi TAK
Czy mam rację Irbisolu?
Na NIE przemawia brak zero-jedynkowej tabeli prawdy takiego znaczka „==” – bo będzie on tożsamy z zero-jedynkowym znaczkiem równoważności <=> |
Ostatnio zmieniony przez rafal3006 dnia Wto 12:05, 25 Mar 2025, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
