 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Pon 13:50, 17 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836011
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11150.html#835641
| Cytat: | | Twój zapis ma zero wspólnego z definicją równoważności p<=>q, twój zapis to taka definicja p<=>~q - a to jest coś fundamentalnie innego niż definicja równoważności p<=>q. |
W sposób bezpośredni nie użyłeś, ale w sposób pośredni już tak.
Tu masz dowód:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#835935
| rafal3006 napisał: | Geneza matematycznej kompromitacji Irbisola!
Dotarłem do genezy matematycznej kompromitacji Irbisola - od tego się wszystko zaczęło.
Sedno matematycznej kompromitacji Irbisola:
| Rafal3006 napisał: |
Irbisol twierdzi że:
Twierdzenie proste A1: p=>q:
A1: A=>S =1
Nie jest tożsame z twierdzeniem odwrotnym B3: q=>p:
B3: S=>A =1
Oraz że:
Między twierdzeniem prostym A1: p=>q a twierdzeniem odwrotnym B3: q=>p zachodzi relacja równoważności <=>.
Irbisolowy dowód:
| Irbisol napisał: |
Są równoważne (zajście jednego oznacza, że zachodzi drugie)... |
|
Za to niebieskie Irbisol dostaje brawa - to jest algebra Kubusia.
Natomiast to czerwone to gwóźdź do trumny z napisem "Gówno-logika Irbisola"
Dowód:
W przełożeniu na równoważność Pitagorasa Irbisol pisze tu:
Między twierdzeniem prostym Pitagorasa A1: TP=>SK=1
a
Twierdzeniem odwrotnym Pitagorasa B3: SK=>TP
Zachodzi relacja równoważności <=>, czyli:
A1: TP=>SK <=> B3: SK=>TP
Czy już widzisz płaskoziemco jakie gówna tworzysz? |
Tu się broniłeś że równoważność zachodzi między zdarzeniami:
A=S <=> ~A=~S
co jest fałszem.
Ostatnio zmieniony przez rafal3006 dnia Pon 13:53, 17 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: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 13:59, 17 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836019
| Irbisol napisał: | | I w której równoważności jest to pośrednie ~q? |
Masz to zapisane w tym wielkim czerwonym - dokładnie w tym miejscu użyłeś.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11000.html#834761
| rafal3006 napisał: | Twardy dowód matematycznej kompromitacji Irbisola!
Patrz koniec postu.
| Irbisol napisał: | | Jakieś zdarzenia są równoważne. A nie to, co mi wciskasz, kłamco. |
Niczego ci nie wciskam, twoja kompromitacja matematyczna jest faktem.
Dowód:
Cytat 1
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10975.html#834613
| rafal3006 napisał: |
Problem jednak pozostaje!
| Kod: |
S1 Schemat 1
Fizyczna realizacja równoważności A<=>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
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
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
|
Irbisolu, twoje czerwone zdanie (twierdzenie proste) brzmi:
A1.
Jeśli nacisnę przycisk A to na 100% zaświeci się żarówka S
A=>S =1
Wciśnięcie A jest warunkiem wystarczającym => dla zaświecenia się żarówki S
cnd
##
Twierdzenie odwrotne brzmi tu:
B3.
Jeśli zaświeci się żarówka S to na 100% => wciśnięty będzie klawisz A
S=>A =?
Gdzie:
## - twierdzenia różne na mocy definicji
Podsumowując:
Jeśli zgadzasz się w twierdzeniu odwrotnym w miejsce znaku zapytania "?" wstawić 1 (zdanie prawdziwe), to jesteśmy zgodni w 100% i ten temat uznajemy za zamknięty.
Zgoda?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10950.html#834571
| Irbisol napisał: | Tam jest oczywiście 1, ale temat nie jest zamknięty. Bo nadal to nie są zdarzenia TOŻSAME.
Są równoważne (zajście jednego oznacza, że zachodzi drugie), ale nie są tożsame.
W tym czarnym wyjaśniłem ci, dlaczego. |
Podsumujmy posty wyżej z Irbisolowego punktu odniesienia:
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
|
Irbisol twierdzi że:
Twierdzenie proste A1: p=>q:
A1: A=>S =1
Nie jest tożsame z twierdzeniem odwrotnym B3: q=>p:
B3: S=>A =1
Oraz że:
Między twierdzeniem prostym A1: p=>q a twierdzeniem odwrotnym B3: q=>p zachodzi relacja równoważności <=>.
Irbisolowy dowód:
| Irbisol napisał: |
Są równoważne (zajście jednego oznacza, że zachodzi drugie)... |
|
Twardy dowód matematycznej kompromitacji Irbisola!
Skupmy się na końcówce cytatu:
| Rafal3006 napisał: |
Podsumujmy posty wyżej z Irbisolowego punktu odniesienia.
Irbisol twierdzi że:
Twierdzenie proste A1: p=>q:
A1: A=>S =1
To samo w zapisie formalnym:
A1: p=>q =1
Nie jest tożsame z twierdzeniem odwrotnym B3: q=>p:
B3: S=>A =1
To samo w zapisie formalnym:
B3: q=>p =1
Oraz że:
Między twierdzeniem prostym A1: p=>q a twierdzeniem odwrotnym B3: q=>p zachodzi relacja równoważności <=>.
Irbisolowy dowód:
| Irbisol napisał: |
Są równoważne (zajście jednego oznacza, że zachodzi drugie)... |
|
Dla twierdzenia odwrotnego B3 zastosujmy znane każdemu matematykowi prawo kontrapozycji:
B3: q=>p = B2: ~p=>~q
Stąd zdanie matematycznie tożsame do B3 brzmi:
B2.
Jeśli przycisk A nie będzie wciśnięty (~A) to na 100% => żarówka nie będzie się świecić (~S)
B2: ~A=>~S =1
To samo w zapisie formalnym:
B2: ~p=>~q =1
Brak wciśnięcia przycisku A (~A) jest (=1) warunkiem wystarczającym => do tego, by żarówka nie świeciła się (~S)
Oczywistość dla każdego 2-latka!
Oczywistość dla każdego 2-latka z wyjątkiem Irbisola – już tłumaczę dlaczego.
| Kod: |
S1 Schemat 1
Fizyczna realizacja równoważności A<=>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
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
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
|
Zarówno Irbisol, jak i ja, jesteśmy zgodni co do poniższego opisu matematycznego układu S1.
A1.
Jeśli nacisnę przycisk A to na 100% zaświeci się żarówka S
A1: A=>S =1
To samo w zapisie formalnym:
A1: p=>q =1
Wciśnięcie A jest warunkiem wystarczającym => dla zaświecenia się żarówki S
Oczywistość dla każdego 2-latka!
##
… a jeśli przycisk A nie jest wciśnięty (~A)?
Zdanie tożsame do zdania Irbisola B3 z cytatu po skorzystaniu z prawa kontrapozycji brzmi.
B2.
Jeśli nie wcisnę przycisku A (~A) to na 100% => żarówka nie zaświeci się (~S)
B2: ~A=>~S =1
To samo w zapisie formalnym:
B2: ~p=>~q =1
Brak wciśnięcia przycisku A (~A) jest (=1) warunkiem wystarczającym => do tego, by żarówka nie świeciła się (~S)
Oczywistość dla każdego 2-latka!
Gdzie:
## - twierdzenia różne na mocy definicji
Co Irbisol twierdzi?
Zgodnie z algebrą Kubusia Irbisol poprawnie stwierdza, że zdania A1 i B2 nie są tożsame, bo zdania te są różne na mocy definicji ##
Na czym polega matematyczna kompromitacja Irbisola?
Kompromitacja matematyczna Irbisola polega na tym, że twierdzi on, iż między zdaniami A1 i B2 zachodzi relacja równoważności A1<=>B2.
Zauważmy, że:
I.
Zdanie A1:
A1: p=>q
to część składowa równoważności definiowanej kolumną A1B1:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q)
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zdarzeń p=q
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) <=> p=q
Nasz schemat S1:
A1B1: A<=>S = (A1: A=>S)*(B1: A~>S) <=> A1B1: A=S
Co oznacza tożsamość A1B1: A=S?
A1B1: A=S
Czytamy:
Zdarzenie „przycisk A jest wciśnięty (A)” jest tożsame ze zdarzeniem „żarówka S świeci się (S)”
O czym każdy 2-latek wie!
II.
Zdanie B2:
B2: ~p=>~q
to część składowa równoważności ~p<=>~q definiowanej kolumną A2B2:
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q)
Prawo Irbisa:
Dowolna równoważność prawdziwa ~p<=>~q definiuje tożsamość zdarzeń ~p=~q
A2B2: ~p<=>~q = (A2:~p~>~q)*(B2:~p=>~q) <=>~p=~q
Nasz schemat S1:
A2B2: ~A<=>~S = (A2: ~A~>~S)*(B2: ~A=>~S) <=> A2B2: ~A=~S
Co oznacza tożsamość A2B2: ~A=~S?
A2B2: ~A=~S
Czytamy:
Zdarzenie „przycisk A nie jest wciśnięty (~A)” jest tożsame ze zdarzeniem „żarówka S nie świeci się (~S)”
O czym każdy 2-latek wie!
Relacje między kolumnami A1B1 i A2B2 są następujące:
| Kod: |
Równoważność A1B1: | Równoważność A2B2:
A1B1: p<=>q=(A1: p=>q)*(B1: p~>q) [=] A2B2: ~p<=>~q=(A2:~p~>~q)*(B2:~p=>~q)
definiuje tożsamość zdarzeń: | definiuje tożsamość zdarzeń:
A1B1: p=q # A2B2: ~p=~q
Gdzie:
[=] – tożsamość logiczna
# - dowolna strona znaczka # jest negacją drugiej strony
|
To samo dla naszego schematu S1:
| Kod: |
Równoważność A1B1: | Równoważność A2B2:
A1B1: A<=>S=(A1: A=>S)*(B1: A~>S) [=] A2B2: ~A<=>~S=(A2:~A~>~S)*(B2:~A=>~S)
definiuje tożsamość zdarzeń: | definiuje tożsamość zdarzeń:
A1B1: A=S # A2B2: ~A=~S
Gdzie:
[=] – tożsamość logiczna
# - dowolna strona znaczka # jest negacją drugiej strony
|
I co Irbisolu?
Czy już rozumiesz swoją matematyczną kompromitację? |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 16:29, 17 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836041
| Irbisol napisał: | | Jak wywnioskowałeś z faktu iż jakieś zdarzenia są równoważne, że użyłem ~q? |
Bardzo proszę, dowód:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11000.html#834711
| rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Dziękuję, pozamiatane.
| Irbisol napisał: | "Dalej"? Ani twierdzę ani nie twierdzę.
Może wróć do tego, co ja napisałem. |
Napisałeś dokładnie to co niżej.
Mówiąc dosadnie napisałeś to:
Są równoważne oznacza, że zajście twierdzenia prostego A1: p=>q oznacza, że zachodzi twierdzenie odwrotne B3: q=>p
Dowód:
| Irbisol napisał: |
Są równoważne (zajście jednego oznacza, że zachodzi drugie)... |
|
"Dowód"? 
Przecież w tym twoim "dowodzie" nie jest napisane, co jest równoważne z czym.
Po prostu niemożliwe, żebyś był aż tak głupi. |
Jak zwykle .. zabawę w Urbana czas zacząć.
Jest napisane co jest równoważne z czym w cytacie 1
.. no, ale Urban udaje że nie przeczytał
Cytat 1
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10975.html#834613
| rafal3006 napisał: |
Problem jednak pozostaje!
| Kod: |
S1 Schemat 1
Fizyczna realizacja równoważności A<=>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
A<=>S=(A1: A=>S)*(B1: A~>S)=1*1=1
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
|
Irbisolu, twoje czerwone zdanie (twierdzenie proste) brzmi:
A1.
Jeśli nacisnę przycisk A to na 100% zaświeci się żarówka S
A=>S =1
Wciśnięcie A jest warunkiem wystarczającym => dla zaświecenia się żarówki S
cnd
##
Twierdzenie odwrotne brzmi tu:
B3.
Jeśli zaświeci się żarówka S to na 100% => wciśnięty będzie klawisz A
S=>A =?
Gdzie:
## - twierdzenia różne na mocy definicji
Podsumowując:
Jeśli zgadzasz się w twierdzeniu odwrotnym w miejsce znaku zapytania "?" wstawić 1 (zdanie prawdziwe), to jesteśmy zgodni w 100% i ten temat uznajemy za zamknięty.
Zgoda?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10950.html#834571
| Irbisol napisał: | Tam jest oczywiście 1, ale temat nie jest zamknięty. Bo nadal to nie są zdarzenia TOŻSAME.
Są równoważne (zajście jednego oznacza, że zachodzi drugie), ale nie są tożsame.
W tym czarnym wyjaśniłem ci, dlaczego. |
Podsumujmy posty wyżej z Irbisolowego punktu odniesienia.
Irbisol twierdzi że:
Twierdzenie proste A1: p=>q:
A1: A=>S =1
Nie jest tożsame z twierdzeniem odwrotnym B3: q=>p:
B3: S=>A =1
Oraz że:
Między twierdzeniem prostym A1: p=>q a twierdzeniem odwrotnym B3: q=>p zachodzi relacja równoważności <=>.
Irbisolowy dowód:
| Irbisol napisał: |
Są równoważne (zajście jednego oznacza, że zachodzi drugie)... |
|
|
Bezpośrednio pod moim postem Irbisol odpowiedział:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11000.html#834715
| Irbisol napisał: | | Jakieś zdarzenia są równoważne. A nie to, co mi wciskasz, kłamco. |
Dziękuję, pozamiatane!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 19:16, 18 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836093
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836019
| rafal3006 napisał: |
Podsumujmy posty wyżej z Irbisolowego punktu odniesienia:
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
|
Irbisol twierdzi że:
Twierdzenie proste A1: p=>q:
A1: A=>S =1
Nie jest tożsame z twierdzeniem odwrotnym B3: q=>p:
B3: S=>A =1
Oraz że:
Między twierdzeniem prostym A1: p=>q a twierdzeniem odwrotnym B3: q=>p zachodzi relacja równoważności <=>.
Irbisolowy dowód:
| Irbisol napisał: |
Są równoważne (zajście jednego oznacza, że zachodzi drugie)... |
|
Fakt 1
Wycofałeś się z twierdzenia jakoby między twierdzeniem prostym A1: A=>S i twierdzeniem odwrotnym B3: S=>A zachodziła równoważność, bowiem:
A1: A=>S ## B3: S=>A
Gdzie:
## - twierdzenia różne na mocy definicji
Chwała ci za to - to jest algebra Kubusia
Fakt 2
Na mocy kolumn 1 i 3 w tabeli prawdy TR Zachodzi tożsamość równoważności:
A1B1: A<=>S = A3B3: S<=>A
Fakt 3
Na zakończenie stwierdziłeś, że zachodzi tożsamośc logiczna [=] zdarzeń:
A1B1: A=S [=] B3B3: S=A
... no i miałeś rację, bo zarówno równoważność zdarzeń A<=>S jak i tożsamość zdarzeń A=S są przemienne.
... i co w związku z tym, mam kasować algebrę Kubusia?
  
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 19:18, 18 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836101
| Irbisol napisał: | Ani się wycofałem ani nie wycofałem - piszę od wielu dni o czym innym, schizofreniku.
Gdzie to pośrednie ~q? |
Proszę o potwierdzenie, że rozumiesz banały w moim poście wyżej które do ciebie piszę.
Kluczowa sprawa:
Bez zrozumienia tabeli prawdy TR dla naszego schematu S1 nie masz co w logice matematycznej szukać!
KRZ ogranicza się tylko i wyłacznie do określania prawdziwości/fałszywości zdań twierdzących.
KRZ nie ma pojęcia iż dwa zdania brzmiące identycznie z dokładnoscią do każdej literki i kazdego przecinka matematycznie mogą nie być tożsame!
Masz przykład z naszego schematu:
A1.
Jeśli przycisk A jest wciśnięty to na 100% => żarówka świeci się
A=>S =1
##
B1.
Jeśli przycisk A jest wciśnięty to na 100% ~> żarówka świeci się
A~>S =1
Gdzie:
## - zdania A1 i B1 są różne na mocy definicji
Sam widzisz, że KR leży tu, kwiczy i błaga o litość, bo w języku potocznym zdania A1 i B1 brzmią identycznie, ale matematycznie zdania te nie są tożsame.
Dopóki nie pojmiesz abecadła logiki matematycznej zawartego w tym poście i poprzednim zawieszam dyskuję.
Oczywiście możesz pytac czego nie rozumies - służę pomocą w wyjasnianiu wszelkich twoich wątpliwości.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 19:20, 18 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836163
Irbisolu, wróćmy do genezy twojego matematycznego bredzenia!
| Irbisol napisał: | | Nie, spierdalaczu. Tematem jest twój zarzut o zastosowaniu przeze mnie rówAnoważności p<=>~q. Wskaż, gdzie to uczyniłem. |
Wróćmy do genezy twojego matematycznego bredzenia:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10950.html#834567
| rafal3006 napisał: | Problem jednak pozostaje!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10925.html#834405
| Irbisol napisał: | Moje rozumienie nie ma nic do rzeczy.
Ucieczka #6 - nie odpowiedziałeś na proste pytanie, związane z tematem, do którego sam uciekłeś. Teraz uciekasz od tego tematu, do którego uciekłeś. I to jedyne, co robisz cały czas.
Otóż naciśnięcie przycisku POWODUJE zaświecenie żarówki. Nawet jest następstwo zdarzeń - naciśnięcie przycisku jest najpierw.
Tymczasem zaświecenie się żarówki NIE POWODUJE następującego po tym zaświeceniu się naciśnięcia przycisku - zaświecenie się żarówki jest później i jest skutkiem, a nie przyczyną.
Dlatego te zdarzenia nie są tożsame, schizofreniku. |
|
Podsumowując te wypociny Irbisol twierdzi że:
Zdanie
A1.
Jeśli przycisk A jest wcisnięty to na 100% => żarówka świeci się
A=>S =?
jest prawdziwe/fałszywe
Natomiest zdanie:
B3.
Jeśli żarówka świeci się to na 100% => przycisk A jest wciśnięty
S=>A =?
jest prawdziwe/fałszywe
Kwadratura koła dla Irbisola:
Przyporządkuj wartości logiczne zdaniom A1 i B3
Pytanie retoryczne:
Ma kto nadzieję, że Irbisol rozumie co sam napisał?
Moja wyrocznia:
Irbisol nie rozumie co sam pisze, bo gdyby rozumiał to bez problemu przyporządkowałby zdaniom A1 i B3 odpowiednie wartości logiczne.
... co oczywiście nigdy się nie stanie?
Irbisolu:
To już się stało, bo za chwilkę w naszej dyskusji przyparty przeze mnie do muru sam stwierdzisz, że oba zdania A1 i B3 są prawdziwe!
Jak to się ma do twoich pseudo-matematycznych wypocin (czarne zdanie) w cytacie wyżej?
... na które to wypociny non stop się powołujesz i będziesz się powoływał do usranej śmierci?
O to niebiskie zdanie tu chodzi będące skutkiem twoich matematycznych wypocin w twoim czarnym zdaniu!
Potworne sranie Irbisol odstawił tuż po moim poście wyżej
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10950.html#834571
| Irbisol napisał: | Tam jest oczywiście 1, ale temat nie jest zamknięty. Bo nadal to nie są zdarzenia TOŻSAME. Są równoważne (zajście jednego oznacza, że zachodzi drugie), ale nie są tożsame.
W tym czarnym wyjaśniłem ci, dlaczego. |
W tym czarnym się zesrałeś a nie wyjaśniłeś
Zgadzasz się z tym oczywistym faktem?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Wto 19:32, 18 Mar 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 37357
Przeczytał: 19 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 22:54, 18 Mar 2025 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836173
Irbisolu, przestań rżnąć słupa i udawać, że nie rozumiesz tabeli prawdy TR!
… bo doskonale ją rozumiesz!
| Irbisol napisał: | Wróćmy do tematu.
Gdzie zapisałem p<=>~q ? |
Wróćmy do tematu, czyli poczekajmy aż zajarzysz tabelę prawdy równoważności TR dla schematu S1 podaną niżej i przestaniesz matematycznie bredzić.
Zauważ, że ja od 15 lat naszej dyskusji pod każde zdanie warunkowe które wypowiadam „Jeśli p to q” podkładam opis matematyczny tego zdania w postaci matematyki ścisłej.
Ty natomiast nigdy nie podłożyłeś matematyki pod żadne twoje zdanie rozstrzygając o prawdziwości/fałszywości swoich wypocin wedle swego widzi mi się.
Przykładem takich wypocin jest ten twój cytat:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11225.html#836163
| rafal3006 napisał: | Problem jednak pozostaje!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-10925.html#834405
| Irbisol napisał: | Moje rozumienie nie ma nic do rzeczy.
Ucieczka #6 - nie odpowiedziałeś na proste pytanie, związane z tematem, do którego sam uciekłeś. Teraz uciekasz od tego tematu, do którego uciekłeś. I to jedyne, co robisz cały czas.
Otóż naciśnięcie przycisku POWODUJE zaświecenie żarówki. Nawet jest następstwo zdarzeń - naciśnięcie przycisku jest najpierw.
Tymczasem zaświecenie się żarówki NIE POWODUJE następującego po tym zaświeceniu się naciśnięcia przycisku - zaświecenie się żarówki jest później i jest skutkiem, a nie przyczyną.
Dlatego te zdarzenia nie są tożsame, schizofreniku. |
|
Gówno to wszystko prawda co napisałeś, bo zachodzi tożsamość logiczna zdarzeń:
A1B1: A=S <=> A3B3: S=A
Dowód tego faktu masz w tabeli prawdy równoważności TR pod poniższym schematem S1 o którym rozmawiamy.
Przyznaj grzecznie że w tym niebieskim zdaniu się pomyliłeś, że twoje niebieskie zdanie jest FAŁSZEM!
To jest warunek sine qua non kontynuowania naszej dyskusji.
Po prostu, matematyczna przyzwoitość nakazuje przyznać się do oczywistego błędu (twoje niebieskie zdanie), bo jeden błąd czysto matematyczny rozwala całą teorię matematyczną – wie o tym każdy matematyk, niestety, ty nie jesteś matematykiem i o tym nie wiesz.
http://www.sfinia.fora.pl/metodologia,12/2-2-4,3832.html#76453
| konrado5 napisał: | | Ja słyszałem, że Russell podał jakiś dowód na to, że "2+2=4", który zajmował 200 stron i zawierał jeden błąd. Na czym ten dowód polegał? |
Twój problem Irbisolu polega na tym, że nie uznajesz matematycznej oczywistości w postaci tabeli T0 niżej, póki co nieznanej żadnemu ziemskiemu matematykowi, tak więc to nie grzech że nigdy tabeli T0 na oczy nie widziałeś i jej nie rozumiesz?
NIE!
Ty doskonale rozumiesz poprawność matematyczną tabeli T0!
Twój grzech polega na tym, że ty doskonale wiesz iż tabela T0 jest matematycznie absolutnie doskonała, tylko jak mały dzidziuś zasłaniasz sobie oczy łapkami i udajesz że jej nie ma, że jej nie widzisz 
O tą tabelę T0 tu chodzi:
| 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
|
P.S.
Irbisolu,
Podsumowując niniejszy post, mamy nasz schemat S1 równoważności oraz tabelę prawdy równoważności TR do tego schematu.
Irbisolu, przestań rżnąć słupa i udawać, że nie rozumiesz tabeli prawdy TR!
… bo doskonale ją rozumiesz!
| 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
|
Ostatnio zmieniony przez rafal3006 dnia Śro 6:42, 19 Mar 2025, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
