 |
Ś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: 32776
Przeczytał: 32 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Sob 7:09, 13 Kwi 2024 Temat postu: |
|
|
Irbisol jest genialny bo podjał rękawicę i zaciekle walczy by obalić algebrę Kubusia.
Szaryobywatel to tchórz, który zamiast pomagać Irbisolowi tak się wystraszył poniższego postu, że odszedł i nigdy nie wróci.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6300.html#792577
| rafal3006 napisał: | KRZ, idea, której na poziomie równań logicznych sami matematycy nie znają!
Dowód w niniejszym poście.
| szaryobywatel napisał: | | rafal3006 napisał: |
Szary obywatel potwornie tu bredzi, co widać w cytacie niżej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6275.html#792397
| szaryobywatel napisał: | | On nie ma pojęcia o czym mówi. Jeżeli dla kogoś zdanie: "jeśli wczoraj padało, to było pochmurno" jest błędne bo... wczoraj nie było pochmurno... to tutaj braki rozumowe są tak poważne że chyba żaden korepetytor by nie pomógł, nawet taki który się specjalizuje w nauczaniu specjalnym. |
Nie wiem jak trzeba mieć sprany mózg by twierdzić, że zdanie wypowiedziane:
A1.
Jeśli wczoraj padało to było pochmurno
P=>CH =1
Jest prawdziwe dla zaistniałego i znanego faktu związanego z tym zdaniem w postaci „wczoraj nie padało i nie było pochmurno”.
Zdanie A1 dla znanego faktu jak wyżej jest FAŁSZYWE. |
Ale jak może być fałszywe, skoro mówi o tym co było jeśli padało, a nie padało? W ogólności jest to zdanie które stwierdza co było wczoraj, jeśli wczoraj zaszło X. W tym przypadku X = padało. Jest to zdanie poprawnie opisujące rzeczywistość, bo zawsze prawdą jest że jeśli wczoraj padało, to było pochmurno. Ponieważ Ty masz problem ze zrozumieniem rzeczy tak prostych, tłumaczenie Ci dowolnych bardziej złożonych zagadnień mija się z celem. |
Ktoś na śfinii powiedział, że jesteś matematykiem, z tego co piszesz na temat logiki matematycznej widzę, że tak jest w istocie - dlatego dyskusja miedzy nami może być ciekawa, co zależy wyłącznie od ciebie.
Czy to prawda, że jesteś matematykiem?
Weźmy zdanie A1 w czasie przyszłym będzie mi łatwiej ci wytłumaczyć fundamentalne różnice między dwoma, fundamentalnie innymi ideami matematycznymi.
W tym poście skupię się wyłącznie na KRZ, nie będzie nawet jednym słowem na temat algebry Kubusia.
Wstęp:
Nie przez przypadek podpiąłem się w kawiarni Szkockiej na matematyce.pl z algebrą Kubusia jako nową ideą matematyczną, co jak widzę jest to zrozumiałe i nikt mnie nie wywala z matematyki.pl. W przeszłości gdy AK była dzieckiem jeszcze tzn. w trakcie rozpracowywania matematycy rzucali się na AK jak młode wilki i ją rozszarpywali.
Ja doskonale rozumiem że u ciebie, w KRZ zdanie A1 będzie zawsze prawdziwe, bo KRZ obligatoryjnie korzysta z prawa do eliminacji ziemskiej implikacji, z prawa którego sam KRZ na poziomie symbolicznym nie rozumie!
Wytłumaczę ci twoją własną KRZ w sposób ci nieznany - nie ma tych banałów w żadnym podręczniku ziemskiej matematyki.
Definicję implikacji w KRZ podał dawno temu jeden z najlepszych matematyków z którymi dyskutowałem, Macjan, mam nadzieję, ze znasz tą definicję.
http://www.sfinia.fora.pl/forum-kubusia,12/elementarz-algebry-boole-a-irbisol-macjan-str-10,2605-240.html#55877
| macjan napisał: | | Zrozum - treść zdania, czyli to, o czym ono mówi, nie może w żaden sposób wpływać na jego zapis symboliczny. Zdanie "... i ..." jest koniunkcją niezależnie od tego, co wstawimy w wykropkowane miejsca. Tak samo zdanie "jeśli ... to ..." jest implikacją. |
Weźmy zdanie A1 w czasie przyszłym.
A1.
Jeśli jutro będzie padało to będzie pochmurno
P=>CH=1
1.
Problem w tym, że KRZ widzie tu znaczek => jako implikację o definicji wyżej
2.
Problem w tym, że KRZ obligatoryjnie korzysta z prawa eliminacji implikacji
Y =(p=>q) = ~p+q
… i wychodzi mu że zdanie A1 jest zawsze prawdziwe tzn. nigdy nie będzie fałszywe.
Dowód na gruncie KRZ w równaniach algebry Boole’a w sposób banalny, ale nieznany ziemskim matematykom - ciekaw jestem czy zrozumiesz swoją własną KRZ na tym poletku.
Zastosujmy prawo eliminacji implikacji do zdania A1:
A1: Y = (P=>CH) = ~P+CH
Ponieważ to jest prawo eliminacji znaczka => to zgodnie z nazwą, zostawiamy wyłącznie funkcję logiczną Y.
Y=~P+CH
W dalszej części będziemy rozmawiali wyłącznie o funkcji logicznej Y jak niżej
A1: Y=~P+CH
Zadajmy sobie teraz pytanie:
Kiedy zdanie A1 będzie prawdziwe (Y=1)?
Y=~P+CH
co w logice jedynek oznacza:
Y=1 <=> ~P=1 lub CH=1
Czytamy:
Prawdą jest (=1) że zdanie A1 będzie prawdziwe (Y) wtedy i tylko wtedy gdy jutro nie będzie padało (~P=1) lub będzie pochmurno (CH=1)
Oczywiście, dobry matematyk potrafi zrozumieć o co tu chodzi, ale 5-cio latek ni w ząb nie zrozumie zdania A1.
Jak spowodować, by zdanie A1 rozumiał każdy 5-cio latek?
Odpowiedź:
Wystarczy logicznie pomyśleć na poziomie co najwyżej I klasy LO.
Definicja sumy logicznej (+):
Y=p+q
co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
Innymi słowy:
Wystarczy, że którykolwiek składnik sumy logicznej przyjmie wartość logiczną 1 i już funkcja logiczne Y przyjmie wartość logiczną 1
Stąd mamy wyprowadzą definicję spójnika „lub”(+) w zdarzeniach rozłącznych:
Y = p*q + p*~q + ~p*q
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna) oznacza:
Y=1 <=> p=1 i q=1 lub p=1 i ~q=1 lub ~p=1 i q=1
Na mocy powyższego rozpisujemy zdanie A1 w zdarzeniach rozłącznych:
Mamy:
Y = ~P+CH
Definicja spójnika „lub”(+) w zdarzeniach rozłącznych:
p+q = p*q +p*~q +~p*q
Nasz przykład:
Y = ~P+CH
Podstawmy:
p=~P (nie pada)
q=CH (chmury)
Stąd mamy:
Y = ~P+CH = (~P)*(CH) + (~P)*~(CH) + ~(~P)*(CH) = ~P*CH + ~P*~CH + P*CH
Stąd mamy nasz przykład w wersji zrozumiałej przez każdego 5-cio latka!
A1.
Y = A: P*CH + C: ~P*~CH + D: ~P*CH
co w logice jedynek (bo funkcja alternatywno-koniunkcyjna oznacza:
Y=1 <=> A: P=1 i CH=1 lub C: ~P=1 i ~CH=1 lub D: ~P*CH
Czytamy:
Prawdą jest (=1) że zdanie A1 będzie prawdziwe (Y) wtedy i tylko wtedy gdy:
Ya = A: P*CH=1*1=1 - jutro będzie padało (P=1) i będzie pochmurno (CH=1)
lub
Yc = C: ~P*~CH=1*1=1 - jutro nie będzie padało (~P=1) i nie będzie pochmurno (~CH=1)
lub
Yd = D: ~P*CH=1*1=1 - jutro nie będzie padało (~P=1) i będzie pochmurno (CH=1)
Gdzie funkcja logiczna Y jest sumą logiczną funkcji czastkowych:
Y = Ya+Yc+Yd
Zauważmy, że ostatnie tu możliwe zdarzenie rozłączne przyjmie wartość logiczną 0.
Dowód:
B: P*~CH =0 - niemożliwe jest (=0) zdarzenie: pada (P) i nie jest pochmurno (~CH)
Stąd zdanie A1 jest zdaniem zawsze prawdziwym, opisuje wszystkie możliwe zdarzenia rozłączne Ya, Yc, Yd jakie w przyszłości mogą zajść.
Zauważmy, że nasze zdanie w rozpisce na zdarzenia rozłączne:
Y = A: P*CH + C: ~P*~CH + D: ~P*CH
rozumie każdy 5-cio latek.
cnd
Zauważmy, że tożsamość funkcji logicznej Y:
1: Y=~p+q
oraz tej samej funkcji w rozpisce na serię zdarzeń rozłącznych:
1” Y=p*q + p*~q + ~p*q
można łatwo udowodnić w sposób formalny.
Dowód:
Minimalizujemy funkcję logiczną 1”:
Y= p*q + p*~q + ~p*q
Y= p*(q+~q)+~p*q
Y= p+(~p*q)
Przejście do logiki ujemnej (~Y) poprzez negację zmiennych i wymianę spójników na przeciwne
~Y=~p*(p+~q)
~Y=~p*p + ~p*~q
~Y=~p*~q
Powrót do logiki dodatniej (Y) poprzez negację zmiennych i wymianę spójników na przeciwne
1”: Y = p+q
Stąd mamy dowód poprawności rozpiski sumy logicznej p+q na serię zdarzeń rozłącznych
p+q = p*q + p*~q + ~p*q
cnd
Podsumowanie:
Na mocy powyższego nasze zdanie A1 będzie zdaniem zawsze prawdziwym:
Nie ma tu matematycznej możliwości by zdanie A1 kiedykolwiek było fałszywe.
A1.
Y = A: P*CH + C: ~P*~CH + D: ~P*CH
Pytania do szaregoobywatela:
1.
Czy rozumiesz rozpiskę spójnika „lub”(+) na serię zdarzeń niepustych i rozłącznych?
p+q = p*q +p*~q +~p*q
2.
Czy rozumiesz analizę zdania A1 w zdarzeniach rozłącznych?
Y = A: P*CH + C: ~P*~CH + D: ~P*CH |
Ostatnio zmieniony przez rafal3006 dnia Sob 7:42, 13 Kwi 2024, w całości zmieniany 5 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: 32776
Przeczytał: 32 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 18:02, 18 Kwi 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6450.html#793519
| Irbisol napisał: | Nikt nie wie tak samo, jak "żaden matematyk" nic nie wie, bo ty nie wiesz.
Odpowiadając: tak, to jest kwintesencja. Ale i tak nic z tym nie zrobisz, nie znając kontekstu. Już 2 razy podałeś fałszywą analogię. |
Uff wreszcie, dokładnie o taką precyzyjną odpowiedź mi chodziło.
Twoj kontekst nie ma tu nic do rzeczy - o czym za chwilkę się przekonasz.
Parafrazując Fedora: za chwilkę zostaniesz zmasakrowany - życzysz sobie na mielonkę, czy grubo?
Tylko taki masz wybór 
|
|
| 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
