 |
Ś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: 35590
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Nie 12:10, 01 Gru 2024 Temat postu: |
|
|
Czy Irbisol wie jaki jest temat naszej bieżącej dyskusji?
... ma kto taką nadzieję?
| Irbisol napisał: | | rafal3006 napisał: | | Zapewniam cię Irbisolu, że mój dowód iż w angielskiej Wikipedii mamy do czynienia z koziołkami-matołkami będzie premierą w skali światowej, nigdzie dotychczas nie publikowaną - nawet w algebrze Kubusia! |
A co mnie to obchodzi?
Trzymaj się tematu, spierdalaczu. |
O co ci chodzi super schizofreniku?
Przecież w temacie praw Słonia, które to prawa były przed chwilką naszym tematem dyskusji dostałeś piękne i wyczerpujące wyjaśnienie w cytowanym niżej poście.
Uwaga:
Za chwilkę Irbisol stwierdzi, że nie prawa Słonia są naszym bieżącym tematem, tylko ... diabeł wie co.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9475.html#822473
| rafal3006 napisał: | | Irbisol napisał: |
Te twoje prawa są identyczne, jak w KRZ.. |
Jak zwykle za szybko odpisujesz, bo byłem w trakcie poprawek.
Cytuję zatem cały mój post w końcowej wersji do którego, mam nadzieję się odniesiesz bo póki co, non stop bredzisz jakoby matematycy wiedzieli o czymś, o czym największym matematykom się nie śniło, czyli że niby znają algebrę Kubusia tylko nie chcą się do tego faktu przyznać 
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9475.html#822467
| rafal3006 napisał: | Koń by się uśmiał po raz siódmy!
| Irbisol napisał: | W KRZ jak coś jest takie samo, to się o tym wprost mówi. A jak się nie mówi, to jest różne.
Nikt nie potrzebuje twoich zbędnych znaczków.
Poza tym - wracając do tematu - odkryłeś prawo, które KRZ od dawna zna. |
W AK nie ma ani jednego zbędnego znaczka:
Definicja podzbioru =>:
A1: p=>q=1 - wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Inaczej:
A1: p=>q =0
Jest fundamentalnie czym innym niż definicja nadzbioru ~>:
Definicja nadzbioru ~>:
B1: p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> zbioru q
Inaczej:
B1: p~>q =0
Rozumiesz co znaczy "FUNDAMENTALNIE CZYM INNYM"?
Dokładnie dlatego muszą tu być dwa różne znaczki!
Matematycznie zachodzi tu relacja:
Definicja podzbioru A1: p=>q = ~p+q ## Definicja nadzbioru B1: p~>q=p+~q
Gdzie:
## - różne na mocy definicji
Teoria bramek logicznych się kłania i zrozumienie znaczka różne na mocy definicji ##
Cóż ja mogę poradzić, że najwybitniejsi ziemscy matematycy nie mają bladego pojęcia o teorii bramek logicznych czego dowodem jest prawo Grzechotnika opisane w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-9475.html#822449
| rafal3006 napisał: | Największa super tragedia ziemskich matematyków!
Czyli:
Dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych w postaci prawa Grzechotnika.
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych. |
Czekam kiedy to zrozumiesz?
Chcesz powiedzieć, że matematyczne banały w poniższym cytacie są doskonale znane każdemu ziemskiemu matematykowi?
Koń by się uśmiał po raz siódmy:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: |
Spis treści
2.8 Prawa Słonia 1
2.8.1 Prawa Słonia dla zbiorów 2
2.8 Prawa Słonia
Prawa Słonia dla zdarzeń i zbiorów to najważniejsze prawa w logice matematycznej.
| 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.8.1 Prawa Słonia dla zbiorów
I Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q - matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
II Prawo Słonia dla zbiorów:
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - matematyczne twierdzenie odwrotne (w odniesieniu do A1)
Prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.
Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów
Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwości/fałszywości dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą ”nie wprost"
|
|
|
Ostatnio zmieniony przez rafal3006 dnia Nie 12:18, 01 Gru 2024, 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: 15479
Przeczytał: 26 tematów
|
| Wysłany: Nie 14:09, 01 Gru 2024 Temat postu: |
|
|
|
Dostałem wyjaśnienia w temacie tzw. "prawa Słonia". A jakich wyjaśnień odnośnie tego "prawa" się domagał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: 35590
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 14:16, 01 Gru 2024 Temat postu: |
|
|
| Irbisol napisał: | | Dostałem wyjaśnienia w temacie tzw. "prawa Słonia". A jakich wyjaśnień odnośnie tego "prawa" się domagałem? |
Wszystko w temacie praw Słonia ci wyjaśniłem jasno i klarownie w poście wyżej.
Napisz dokładnie o co ci chodzi ... bo tego sam diabeł nie wie.
Ostatnio zmieniony przez rafal3006 dnia Nie 14:28, 01 Gru 2024, 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: 15479
Przeczytał: 26 tematów
|
| Wysłany: Nie 14:24, 01 Gru 2024 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | Dostałem wyjaśnienia w temacie tzw. "prawa Słonia". A jakich wyjaśnień odnośnie tego "prawa" się domagałem? |
Wszystko w temacie praw Słonia ci wyjaśniłem jasno i klarownie w poście wyżej.
Napisz dokładnie o co ci chodzi ... bo tego sam diabeł nie wie. |
Chodzi mi o to, żebyś wyartykułował, w związku z jakim domaganiem się wyjaśnień z mojej strony przedstawiłeś swoje wyjaśnienia.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35590
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 14:32, 01 Gru 2024 Temat postu: |
|
|
Czy Irbisol zrozumie iż w jego ogródku jest piłeczka?
Irbisolu, w całym tym temacie chcesz obalić algebrę Kubusia!
Zgadza się?
W niniejszym poście daję ci kolejną szansę byś to mógł skutecznie zrobić - wystarczy że obalisz jedno zdanie z cytowanego niżej fragmentu AK.
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | Dostałem wyjaśnienia w temacie tzw. "prawa Słonia". A jakich wyjaśnień odnośnie tego "prawa" się domagałem? |
Wszystko w temacie praw Słonia ci wyjaśniłem jasno i klarownie w poście wyżej.
Napisz dokładnie o co ci chodzi ... bo tego sam diabeł nie wie. |
Chodzi mi o to, żebyś wyartykułował, w związku z jakim domaganiem się wyjaśnień z mojej strony przedstawiłeś swoje wyjaśnienia. |
Nie interesuje mnie twój bełkot "chodzi mi o to"
Jak wszyscy widzą, już zapomniałeś że bieżącym naszym tematem są prawa Słonia
Jeszcze raz.
Przypominam o co chodzi w prawach Słonia cytując fragment algebry Kubusia, a twoim psim obowiązkiem jest zacytowanie fragnetu z poniższego linku zawierającego błąd czysto matematyczny.
Znajdziesz taki fragment - kasuję calusieńką algebrę Kubusia.
Czas Start
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049
| Algebra Kubusia napisał: |
Spis treści
2.8 Prawa Słonia 1
2.8.1 Prawa Słonia dla zbiorów 2
2.8 Prawa Słonia
Prawa Słonia dla zdarzeń i zbiorów to najważniejsze prawa w logice matematycznej.
| 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.8.1 Prawa Słonia dla zbiorów
I Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q - matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
II Prawo Słonia dla zbiorów:
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - matematyczne twierdzenie odwrotne (w odniesieniu do A1)
Prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.
Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów
Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwości/fałszywości dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą ”nie wprost"
|
Ostatnio zmieniony przez rafal3006 dnia Nie 14:37, 01 Gru 2024, w całości zmieniany 4 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
