 |
Ś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ść |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
 Wysłany: Sob 8:54, 09 Lut 2019 Temat postu: |
|
|
No ja też bym odpowiedział TAK.
To zastanówmy się, kiedy odpowiedź na pytanie "Czy X?" brzmi "TAK".
Wg mojej intuicji jest tak wtedy, gdy uważamy, że zdanie "X" jest prawdziwe.
W AK jest inaczej.
W przypadku powyższym uważamy, że zdanie X (K lub T) jest fałszywe, ale pomimo tego na pytanie Czy X (Czy K lub T)? odpowiadamy TAK.
Właśnie powiązanie odpowiedzi na pytanie "Czy X?" z prawdziością zdania "X", (tak - prawdziwe, nie - fałszywe). jest sednem intuicyjnego pojęcia prawdy.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
| Wysłany: Sob 8:55, 09 Lut 2019 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: |
| Cytat: | Algebra Kubusia to algebra dwuelementowa której elementami są symbole:
p - wyróżniony symbol pierwszy (p=1)
~p - wyróżniony symbol drugi (~p=1)
… a wszelkie debilne zera wykopujemy w kosmos, mamy wyłącznie miękkie jedynki co widać ciut wyżej. |
A zatem, podstawiając:
p*p = p
p*p = ~p
Czyli u ciebie
p = ~p
Teraz już będziesz wiedział, jak walczyć? |
1+0 =1
p+~p=1
bo:
Prawo Prosiaczka:
(p=1)=(~p=0)
;
1*0=0
p*~p=0
Ja nie wiem jak można nie rozumieć tożsamości "=" w prawie Prosiaczka!
Proste jak cep! |
Ale twoje prawa prosiaczka nie mają tu nic do rzeczy.
Udowodniłem, że u ciebie 1=0 albo - jak wolisz - p=~p
I z tym nie dyskutujesz.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Sob 9:04, 09 Lut 2019 Temat postu: |
|
|
| Cytat: | No ja też bym odpowiedział TAK.
To zastanówmy się, kiedy odpowiedź na pytanie "Czy X?" brzmi "TAK".
Wg mojej intuicji jest tak wtedy, gdy uważamy, że zdanie "X" jest prawdziwe. |
wg mojej intuicji też  w tym wypadku, i w zdecydowanej większości podobnych wypadków
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:00, 09 Lut 2019 Temat postu: |
|
|
| lucek napisał: | | Cytat: | No ja też bym odpowiedział TAK.
To zastanówmy się, kiedy odpowiedź na pytanie "Czy X?" brzmi "TAK".
Wg mojej intuicji jest tak wtedy, gdy uważamy, że zdanie "X" jest prawdziwe. |
wg mojej intuicji też w tym wypadku, i w zdecydowanej większości podobnych wypadków |
Rodzic:
Czy byłeś w kinie lub w teatrze
Jaś;
W AK poprawne jest krótkie: TAK
Zauważmy, że przy odpowiedzi TAK rodzic dalej pozostaje w świecie niezdeterminowanym (nie wiem), czyli nie zna precyzyjnej odpowiedzi na swoje pytanie bowiem w grę wchodzą tu trzy zdarzenia rozłączne.
Y=K*T + K*~T + ~K*T
Z tego powodu rodzic może się domagać precyzyjniejszej odpowiedzi jeśli dla niego to jest ważne – jeśli nie jest ważne to precyzyjną odpowiedź może olać.
Poprawna jest też bardziej precyzyjna odpowiedź:
Tak, byłem w kinie
Wkraczamy tu na poletko:
brak determinizmu (rodzic = nie wiem) vs determinizm (Jaś = wiem)
To jest zupełnie inny dział logiki matematycznej.
W matematyce mamy różne działy:
[link widoczny dla zalogowanych]
Zgromadzone są tu wszystkie zagadnienia z zakresu szkoły średniej (poziom podstawowy):
potęgi i pierwiastki, wyrażenia algebraiczne, procenty, zbiory i przedziały, wartość bezwzględna, przybliżenia, funkcje, funkcja liniowa (geometria analityczna), funkcja kwadratowa, wielomiany, funkcja wykładnicza, logarytmy, wyrażenia wymierne, funkcja wymierna, ciągi, funkcje trygonometryczne, planimetria (figury płaskie), stereometria (bryły), rachunek prawdopodobieństwa, statystyka.
Działy logiki matematycznej w AK to:
1. Prawa podstawowego rachunku zero-jedynkowego dla spójników => i ~>
2. Teoria zbiorów i zdarzeń
3. Warunki wystarczające => i konieczne =>
4. Prawa rozszerzonego rachunku zero-jedynkowego
5. Definicje spójników „i”(*) i „lub”(+)
6. Determinizm (wiem) vs brak determinizmu (nie wiem)
Moja propozycja jest taka:
Nie skaczmy po łepkach po różnych działach logiki matematycznej bowiem 100% definicji w temacie „logika matematyczna” mamy sprzecznych – takie skakanie uniemożliwia zrozumienie algebry Kubusia.
Na szczęście wspólny mamy podstawowy rachunek zero-jedynkowy, to jest jedyny możliwy punkt zaczepienie aby nasza dyskusja miała sens – inaczej będzie jak z Irbisolem – ja swoje, Irbisol swoje, i tak do końca świata – taka dyskusja jest po prostu bez sensu.
Zauważmy, że Irbisol nawet nie stara się zrozumieć co piszę, chwycił się brzytwy i wrzeszczy że algebra Kubusia to gówno, nie zważając że ta brzytwa mu rękę na pół przecina.
Podsumowując:
Zacznijmy od wytłuszczonych punktów wyżej – tego nie sposób nie zrozumieć!
W kolejnym poście omówię punkty 1-3, niech to będzie fundament naszej dalszej dyskusji.
Dyskusja chaotyczna nie ma sensu, bowiem trzeba znać i zaakceptować fundament logiki matematycznej (punkty 1-3) by możliwa była sensowna dyskusja miedzy nami.
Zauważmy, że algebra Kubusia ma podkład czysto matematyczny pod wszystko co mówię, natomiast strona przeciwna opiera się na domysłach (intuicji).
Człowiek podlega pod algebrę Kubusia i nie ma szans aby się spod niej uwolnić.
Poprawna komunikacja ze światem zewnętrznym jest zatem możliwa wyłącznie na gruncie algebry Kubusia.
Innymi słowy:
Intuicja człowieka = algebra Kubusia
Logika matematyczna nie ma nic wspólnego z intuicją która nie ma oparcia w algebrze Kubusia!
Człowiek może się po prostu mylić, gdy nie ma podkładu matematycznego pod wszystko, co mówi.
| lucek napisał: | | Cytat: | No ja też bym odpowiedział TAK.
To zastanówmy się, kiedy odpowiedź na pytanie "Czy X?" brzmi "TAK".
Wg mojej intuicji jest tak wtedy, gdy uważamy, że zdanie "X" jest prawdziwe. |
wg mojej intuicji też w tym wypadku, i w zdecydowanej większości podobnych wypadków |
Ostatnio zmieniony przez rafal3006 dnia Sob 10:19, 09 Lut 2019, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Sob 10:22, 09 Lut 2019 Temat postu: |
|
|
| Cytat: | | Nie skaczmy po łepkach po różnych działach logiki matematycznej bowiem 100% definicji w temacie „logika matematyczna” mamy sprzecznych |
często czytałem, mimo protestów zainteresowanych, że masz 100% zgodne definicje ... czyli, pojęcie "prawdy" masz bardziej nowoczesne - "dialektyczne"
| Cytat: | | Matematyka nie ma nic wspólnego z intuicją! |
nie, no jasne, że nie z intuicją, a z logiką 5-latków, ....
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 10:27, 09 Lut 2019 Temat postu: |
|
|
| lucek napisał: | | Cytat: | | Matematyka nie ma nic wspólnego z intuicją! |
nie, no jasne, że nie z intuicją, a z logiką 5-latków, ....
|
Lucek, ostatnie zdanie skorygowałem przed twoim wpisem - chwyciłeś cos w locie za szybko zamiast chwilkę poczekać na ostateczną wersję, zauważ że pod wieloma moimi postami masz po kilkadziesiąt nawet poprawek - po prostu AK powstaje na żywo i pierwszy pomysł zamieszczony na sfinii nie zawsze musi być dobry.
| lucek napisał: | | Cytat: | | Nie skaczmy po łepkach po różnych działach logiki matematycznej bowiem 100% definicji w temacie „logika matematyczna” mamy sprzecznych |
często czytałem, mimo protestów zainteresowanych, że masz 100% zgodne definicje ... czyli, pojęcie "prawdy" masz bardziej nowoczesne - "dialektyczne" |
Wiele razy dawałem dowody na zgodność algebry Kubusia z logiką matematyczną ziemian w zakresie podstawowych definicji jak choćby warunek wystarczający => czy warunek konieczny ~>.
Za każdym razem okazywał się że GÓWNO – ziemianie mają inne zdanie.
Dokładnie dlatego mamy 100% definicji sprzecznych.
Z wyjątkiem podstawowego rachunku zero-jedynkowego w zakresie znaczków => i ~> - tu ziemianie nie mają żadnych szans by powiedzieć:
GÓWNO, nasz podstawowy rachunek zero-jedynkowy jest inny.
Ostatnio zmieniony przez rafal3006 dnia Sob 10:33, 09 Lut 2019, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Sob 10:35, 09 Lut 2019 Temat postu: |
|
|
| Cytat: | | i pierwszy pomysł zamieszczony na sfinii nie zawsze musi być dobry |
| Cytat: | | Logika matematyczna nie ma nic wspólnego z intuicją która nie ma oparcia w algebrze Kubusia! |
czyli, ma oparcie w ostatecznej wersji AK, której jeszcze nie znamy i nie wiadomo czy poznamy (łącznie z rafał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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 11:06, 09 Lut 2019 Temat postu: |
|
|
| lucek napisał: | | Cytat: | | i pierwszy pomysł zamieszczony na sfinii nie zawsze musi być dobry |
| Cytat: | | Logika matematyczna nie ma nic wspólnego z intuicją która nie ma oparcia w algebrze Kubusia! |
czyli, ma oparcie w ostatecznej wersji AK, której jeszcze nie znamy i nie wiadomo czy poznamy (łącznie z rafałem) ? |
Lucek, AK jest w 100% rozszyfrowana - mam problem jak z nią dotrzeć do ziemian, bowiem 100% definiciji mamy sprzecznych, na szczęście w wyjątkiem podstawowego rachunku zero-jedynkowego w temacie znaczków => i ~>
Czepiłeś się literówki.
Napisałem:
Logika matematyczna nie ma nic wspólnego z intuicją
powinno być:
Logika matematyczna nie ma nic wspólnego z intuicją która nie ma oparcia w algebrze Kubusia
.. i tyle w tym temacie.
Ostatnio zmieniony przez rafal3006 dnia Sob 11:08, 09 Lut 2019, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Sob 11:27, 09 Lut 2019 Temat postu: |
|
|
czyli analiza spójności wypowiedzi, wraz z kontekstem, kończy się na ostatnim wypowiedzianym zdaniu, więc nie ma problemu nawet gdyby 1*0=1
ja to nazywam logiką "dialektyczną"
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15381
Przeczytał: 29 tematów
|
| Wysłany: Sob 11:30, 09 Lut 2019 Temat postu: |
|
|
| rafal3006 napisał: | | AK jest w 100% rozszyfrowana - mam problem jak z nią dotrzeć do ziemian, bowiem 100% definiciji mamy sprzecznych. |
Włącznie z tą, że KRZ 1=1 oraz 0=0 a u ciebie 1=0 (lub - jak ktoś woli - p=~p)
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 11:55, 09 Lut 2019 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | AK jest w 100% rozszyfrowana - mam problem jak z nią dotrzeć do ziemian, bowiem 100% definiciji mamy sprzecznych. |
Włącznie z tą, że KRZ 1=1 oraz 0=0 a u ciebie 1=0 (lub - jak ktoś woli - p=~p) |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1500.html#431379
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
| Cytat: | Algebra Kubusia to algebra dwuelementowa której elementami są symbole:
p - wyróżniony symbol pierwszy (p=1)
~p - wyróżniony symbol drugi (~p=1)
… a wszelkie debilne zera wykopujemy w kosmos, mamy wyłącznie miękkie jedynki co widać ciut wyżej. |
A zatem, podstawiając:
p*p = p
p*p = ~p
Czyli u ciebie
p = ~p
Teraz już będziesz wiedział, jak walczyć? |
1+0 =1
p+~p=1
bo:
Prawo Prosiaczka:
(p=1)=(~p=0)
;
1*0=0
p*~p=0
Ja nie wiem jak można nie rozumieć tożsamości "=" w prawie Prosiaczka!
Proste jak cep! |
Ale twoje prawa prosiaczka nie mają tu nic do rzeczy.
Udowodniłem, że u ciebie 1=0 albo - jak wolisz - p=~p
I z tym nie dyskutujesz. |
Po prostu dalej sypiesz gównem z dupy wziętym.
ok
Źle to zapisałem.
Robię poprawkę:
Prawa Prosiaczka mają tu kluczowe znaczenie.
Prawa Prosiaczka:
(p=1)=(~p=0)
(~p=1)=(p=0)
;
W pionie odczytujesz:
(p=1) # (~p=1)
Podstawiając prawa Prosiaczka masz:
(p=1)=(~p=0) # (~p=1)=(p=0)
gdzie:
# - różne w znaczeniu
Jeśli jedna strona znaczka # jest prawdą (=1) to druga fałszem (=0), albo odwrotnie
Algebra Kubusia to po prostu algebra zbiorów 5-cio latków, pań przedszkolanek i gospodyń domowych.
p+~p = zbiór ~p jest uzupełnieniem do dziedziny:
D=p+~p
dla zbioru p
[] = p*~p=0 – wynikiem jest tu zbiór pusty [] bo zbiory p i ~p są rozłączne.
Pod p możesz tu sobie podstawić dowolną funkcję logiczną np.
Y=p*q
Przejście do logiki ujemnej poprzez negację zmiennych i wymianę spójników
~Y=~p+~q
Dziedzina dla tego układu równań to:
D=Y+~Y =1
Dowód:
D = Y+~Y = p*q + (~p+~q) = (p*q)+~(p*q) =1
cnd
[] = Y*~Y = (p*q)*~(p*q) =0
cnd
Przykładowe prawa algebry Kubusia:
1.
p*p =p - iloczyn logiczny tych samych zbiorów p jest zbiorem p
2.
~p*~p=~p - iloczyn logiczny tych samych zbiorów ~p jest zbiorem ~p
.. a nie jak w twoim gównie Irbisolu:
| Irbisol napisał: |
A zatem, podstawiając:
p*p = p
p*p = ~p
Czyli u ciebie
p = ~p |
Gdzie tak napisałem - człowieku z zabetonowanym mózgiem gównem zwanym KRZ?
3.
p*1 =p
Dowód na gruncie teorii zbiorów:
p*1 = p*D = p*[p+~p] = p*p+p*~p = p*p=p
4.
p+1 =1
Dowód na gruncie teorii zbiorów:
p+1 = p+D = p+p+~p = p+~p =1
5.
p*0 =0
Dowód na gruncie teorii zbiorów:
p*0 = p*[] =p*[] =[] =0
6.
p+0=p
Dowód na gruncie teorii zbiorów:
p+[] = p
Czy widzisz już piękno teorii zbiorów w AK?
Podsumowując:
Irbisolu,
Jakieś gówno udowodniłeś, ja nie wiem o czym ty człowieku bredzisz.
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
| Irbisol napisał: | | Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1050.html#415439
| Irbisol napisał: |
Po prostu nie mam już słów na wyrażenie stopnia twojego upośledzenia, które nie pozwala ci tego pojąć. |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1150.html#418651
| Irbisol napisał: | | Debil by zrozumiał, dlatego nie nazywam cię debilem, żeby debili nie obrażać. |
P.S.
Spróbuj zrozumieć wykład algebry Kubusia od zera (za chwilę opublikuję) na bazie naszego wspólnego rachunku podstawowego tzn. zakwestionuj cokolwiek z tego wykładu opartego na naszym wspólnym podstawowym rachunku zero-jedynkowym!
Ostatnio zmieniony przez rafal3006 dnia Sob 13:51, 09 Lut 2019, 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: 15381
Przeczytał: 29 tematów
|
| Wysłany: Sob 16:08, 09 Lut 2019 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: |
A zatem, podstawiając:
p*p = p
p*p = ~p
Czyli u ciebie
p = ~p |
Gdzie tak napisałem |
Przy poprawnej definicji spójnika "i"(*) jaką podałem wyżej takie gówna (powtórzę: gówna) są eliminowane jako zdania fałszywe, bo brak jakiegokolwiek związku pierwszego zdania z drugim:
MP*PNW = (MP=1)*(PNW=1) = 1*1 =0 - bo brak związku MP z PNW
a nie jak w twojej gówno-logice prawdziwe:
(MP=1)*(PNW)=1) =1*1 =1 - to jest klasyka twojej gówno-logiki Irbisolu
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-150.html#362211
Później napisałeś też, że używasz ~p=1 oraz p=1 zamiast 0 i 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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 19:19, 09 Lut 2019 Temat postu: |
|
|
| Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: |
A zatem, podstawiając:
p*p = p
p*p = ~p
Czyli u ciebie
p = ~p |
Gdzie tak napisałem |
Przy poprawnej definicji spójnika "i"(*) jaką podałem wyżej takie gówna (powtórzę: gówna) są eliminowane jako zdania fałszywe, bo brak jakiegokolwiek związku pierwszego zdania z drugim:
MP*PNW = (MP=1)*(PNW=1) = 1*1 =0 - bo brak związku MP z PNW
a nie jak w twojej gówno-logice prawdziwe:
(MP=1)*(PNW)=1) =1*1 =1 - to jest klasyka twojej gówno-logiki Irbisolu
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-150.html#362211
|
W tym przypadku ja ci mówię od dawna, abyś nie powoływał się na mój post sprzed roku bo póki co, masz za krótki rozumek, aby to zrozumieć, a ty z uporem maniaka to robisz.
Czemu zjadasz jabłko z zakazanego drzewa - tego nie rozumiem.
| Irbisol napisał: |
Później napisałeś też, że używasz ~p=1 oraz p=1 zamiast 0 i 1. |
Tu zrobiłem literówkę do której przyznałem się w ostatnim poście.
Geneza tej literówki.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1500.html#431405
| rafal3006 napisał: |
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
| Cytat: | Algebra Kubusia to algebra dwuelementowa której elementami są symbole:
p - wyróżniony symbol pierwszy (p=1)
~p - wyróżniony symbol drugi (~p=1)
… a wszelkie debilne zera wykopujemy w kosmos, mamy wyłącznie miękkie jedynki co widać ciut wyżej. |
A zatem, podstawiając:
p*p = p
p*p = ~p
Czyli u ciebie
p = ~p
Teraz już będziesz wiedział, jak walczyć? |
1+0 =1
p+~p=1
bo:
Prawo Prosiaczka:
(p=1)=(~p=0)
;
1*0=0
p*~p=0
Ja nie wiem jak można nie rozumieć tożsamości "=" w prawie Prosiaczka!
Proste jak cep! |
Ale twoje prawa prosiaczka nie mają tu nic do rzeczy.
Udowodniłem, że u ciebie 1=0 albo - jak wolisz - p=~p
I z tym nie dyskutujesz. |
ok
Źle to zapisałem.
Robię poprawkę:
Prawa Prosiaczka mają tu kluczowe znaczenie.
Prawa Prosiaczka:
(p=1)=(~p=0)
(~p=1)=(p=0)
;
W pionie odczytujesz:
(p=1) # (~p=1)
Podstawiając prawa Prosiaczka masz:
(p=1)=(~p=0) # (~p=1)=(p=0)
gdzie:
# - różne w znaczeniu
Jeśli jedna strona znaczka # jest prawdą (=1) to druga fałszem (=0), albo odwrotnie |
Wyjaśnienie mojego błędu (literówki) masz po wytłuszczonym „źle to napisałem”.
Komentarz:
Definicja negacji (~)
| Kod: |
Definicja negacji w rachunku zero-jedynkowym:
p ~p
A: 1 0
B: 0 1
1 2
Opis w naturalnej logice matematycznej człowieka generuje prawa Prosiaczka.
Prawa Prosiaczka zachodzą w wierszach:
( p=1)<=>(~p=0)
(~p=1)<=>( p=0)
Gdzie:
<=> - wtedy i tylko wtedy
|
W pionie odczytujesz:
(p=1)=(~p=0) # (p=0)=(~p=1) - na mocy praw Prosiaczka.
Definicja znaczka #:
Jeśli jedna strona znaczka # jest prawdą (p=1) to druga fałszem (p=0), albo odwrotnie
p=1 # p=0
~p=0 # ~p=1
Prawa Prosiaczka to równoważność będąca logiczną tożsamością „=”.
I Prawo Prosiaczka:
(p=1) = (~p=0)
Zapis tożsamy:
(p=1)<=> (~p=0)
Dowód na przykładzie:
(K=1) = (~K=0)
Prawdą jest (=1) że wczoraj byłem kinie (K)
znaczy to samo co:
Fałszem jest (=0) że wczoraj nie byłem w kinie (~K)
II Prawo Prosiaczka:
(p=0) = (~p=1)
Zapis tożsamy:
(p=0)<=> (~p=1)
Natomiast znaczek # to równoważność, która nie jest jednocześnie tożsamością logiczną.
Dla znaczka # zachodzi:
(p=1)<=>(p=0)
… ale nie zachodzi:
(p=1) = (p=0) - to jest fałsz
Dowód na przykładzie:
„Byłem w kinie (K=1)” nie znaczy to samo co „nie byłem w kinie (K=0)”.
cnd
Podsumowując:
Czy możesz Irbisolu poczekać na Armagedon gówienka zwanego KRZ który obiecuję od kilku postów i zająć się szukaniem błędu w moim Armagedonie KRZ?
Ostatnio zmieniony przez rafal3006 dnia Sob 19:52, 09 Lut 2019, 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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 1:02, 10 Lut 2019 Temat postu: |
|
|
Algebra Kubusia ‘2019
Autor rzeczywisty:
Kubuś - stwórca naszego Wszechświata
Rozszyfrowali:
Rafal3006 i przyjaciele
Dziękuję wszystkim, którzy dyskutując z Rafałem3006 przyczynili się do odkrycia algebry Kubusia:
Wuj Zbój, Miki, Volrath, Macjan, Irbisol, Makaron czterojajeczny, Quebab, Windziarz, Fizyk, Idiota, Sogors, Fiklit, Yorgin, Pan Barycki, Zbigniewmiller, Mar3x, Wookie, Prosiak, Lucek, Andy72, Michał Dyszyński i inni.
Szczególnie dziękuję cierpliwemu Fiklitowi za 7 letnią dyskusję, bez niego o rozszyfrowaniu algebry Kubusia moglibyśmy wyłącznie pomarzyć.
Miejsce narodzin algebry Kubusia ze szczegółowo udokumentowaną historią jej odkrycia:
Algebra Kubusia - historia odkrycia 2006-2019
Część I
Wspólna teoria podstawowa znaczków => i ~> w algebrze Kubusia i Klasycznym Rachunku Zdań
Podstawowa teoria zbiorów
Spis treści
1.0 Wprowadzenie 2
2.0 Podstawowy rachunek zero-jedynkowy 2
2.1 Definicja negacji 3
2.1.1 Prawa Prosiaczka 3
2.2 Pojęcia podstawowe 5
2.2.1 Definicje znaczków => i ~> 5
2.2.2 Definicje znaczków różne # i różne na mocy definicji ## 7
2.3 Wykresy czasowe funkcji logicznych 8
2.4 Podstawowe właściwości znaczków => i ~> 9
2.4.1 Matematyczne związki znaczków => i ~> 10
2.4.2 Matematyczne związki znaczków ~> i => 10
2.5 Prawa logiki matematycznej dla znaczków => i ~> 11
2.5.1 Prawa Kubusia 11
2.5.2 Prawa Tygryska 12
2.5.3 Prawa kontrapozycji 12
2.6 Prawo Słonia 13
2.7 Podzbiór => i nadzbiór ~> 13
3.0 Algebra zbiorów 14
3.1 Podstawowe operacje na zbiorach 15
3.2 Znaczenie przecinka w algebrze zbiorów 16
3.3 Prawo rozpoznawalności pojęcia 17
Wstęp:
Algebra Kubusia, logika matematyczna której rzeczywistym autorem jest Kubuś, stwórca naszego Wszechświata została rozszyfrowana po 13 letniej wojnie na śmierć i życie, głownie na forum sfinia.
Dlaczego to była wojna na serio, na śmierć i życie?
Bo jedna z teorii matematycznych, algebra Kubusia albo aktualna logika matematyczne ziemskich matematyków musi po prostu umrzeć. Nie jest możliwe współistnienie tych teorii, bowiem praktycznie 100% definicji w tych konkurencyjnych systemach jest sprzecznych.
Mój upór w rozszyfrowaniu poprawnej logiki matematycznej spowodowały zdania prawdziwe w aktualnej logice matematycznej ziemian zwanej Klasycznym Rachunkiem Zdań.
Tego typu zdania prawdziwe:
Jeśli 2+2=4 to Płock leży nad Wisłą
Jeśli 2+2=5 to 2+2=4
Jeśli 2+2=5 to jestem papieżem
etc
Dla każdego, trzeźwo myślącego człowieka powyższe zdania to najzwyklejszy bełkot a nie logika matematyczna zrozumiała dla normalnego człowieka.
Dowód, iż widzą tu problem sami matematycy jest w artykule dr. Marka Kordosa.
[link widoczny dla zalogowanych]
1.0 Wprowadzenie
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć.
Alfred Hitchcock
Zakładam, że do KRZ należą wszystkie 16 znane ziemianom definicje spójników logicznych, błędnie zwane przez ziemian operatorami logicznymi.
Na mocy powyższego założenia znaczki kierunkowe => i ~> istnieją zarówno w algebrze Kubusia, jak i w Klasycznym Rachunku Zdań.
Z faktu że w oficjalnym KRZ nie ma znaczka ~> nie wynika, iż znaczek ten nie istnieje w KRZ.
Znaczek ~> istnieje w KRZ tylko nie został jeszcze przez ziemskich matematyków poprawnie matematycznie zinterpretowany - dziwne to jest bo mieli 2500 lat czasu (od Sokratesa) by ten znaczek i jego związek ze znaczkiem => zauważyć.
2.0 Podstawowy rachunek zero-jedynkowy
Dowolny ziemski matematyk który będzie kwestionował prawa podstawowego rachunku zero-jedynkowego opisujące matematyczne związki między znaczkami (spójnikami) => i ~> powinien skreślić sprzed swojego nazwiska słówko „matematyk”.
Kubuś - stwórca naszego Wszechświata
Rachunek zero-jedynkowy dzielimy na:
I.
Podstawowy rachunek zero-jedynkowy gdzie nie interesuje nas znaczenie zer i jedynek wewnątrz badanych spójników logicznych
II.
Rozszerzony rachunek zero-jedynkowy, gdzie interesuje nas również znaczenie zer i jedynek wewnątrz badanych spójników logicznych
Podstawowy rachunek zero-jedynkowy jest identyczny w algebrze Kubusia i logice ziemskich matematyków.
Podstawowy rachunek zero-jedynkowy omówimy na przykładzie znaczków (spójników) => i ~>.
Definicje zero-jedynkowe znaczków => i ~> są doskonale znane zarówno w algebrze Kubusia jak i w logice ziemskich matematyków.
2.1 Definicja negacji
Definicja zmiennej binarnej:
Zmienna binarna (zmienna dwuwartościowa) to symbol mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1
Znaczenie dwóch wyróżnionych znaczków 0 i 1 w logice matematycznej:
1 - prawda
0 - fałsz
Definicja negacji (~)
| Kod: |
Definicja negacji w rachunku zero-jedynkowym:
p ~p
A: 1 0
B: 0 1
1 2
Opis w naturalnej logice matematycznej człowieka generuje prawa Prosiaczka.
Prawa Prosiaczka zachodzą w wierszach:
( p=1)<=>(~p=0)
(~p=1)<=>( p=0)
Gdzie:
<=> - wtedy i tylko wtedy
|
2.1.1 Prawa Prosiaczka
I prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
Przykład:
(K=1)
Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
znaczy to samo co:
(~K=0)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)
II prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Przykład:
(~K=1)
Prawdą jest (=1) że wczoraj nie byliśmy w kinie (~K)
znaczy to samo co:
(K=0)
Fałszem jest (=0) ze wczoraj byliśmy w kinie (K)
Prawa Prosiaczka doskonale znają w praktyce wszyscy ludzie na ziemi, od 3-latka poczynając na prof. matematyki kończąc.
Tata i synek Jaś (lat 3) na spacerze w ZOO:
I prawo Prosiaczka:
Jaś pokazując paluszkiem słonia mówi:
A.
Popatrz tata, to jest słoń!
S=1
Matematycznie:
Prawdą jest (=1) że to jest słoń (S)
Tata:
… a może to nie jest słoń?
Jaś:
B.
Fałszem jest (=0) że to nie jest słoń (~S)
~S=0
Zdania A i B są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.
I prawo Prosiaczka:
A: (S=1) = B: (~S=0)
II prawo Prosiaczka:
Jaś pokazuje paluszkiem kozę i mówi:
C.
Popatrz tata, to nie jest słoń
~S=1
Matematycznie:
Prawdą jest (=1), że to nie jest słoń
Tata:
… a może to jednak słoń?
Jaś:
D.
Fałszem jest (=0) że to jest słoń
S=0
Zdania C i D są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.
II prawo Prosiaczka
C: (~S=1) = D: (S=0)
2.2 Pojęcia podstawowe
Definicja zmiennej binarnej:
Zmienna binarna (zmienna dwuwartościowa) to symbol mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1
Definicja bramki logicznej:
Bramka logiczna tu układ o n wejściach binarnych i tylko jedynym wyjściu Y
Dwuwejściowa bramka logiczna:
Dwuwejściowa bramka logiczna to układ o dwóch wejściach p i q i tylko jednym wyjściu Y
W technice cyfrowej zwyczajowo wejścia oznaczane są literkami p i q, zaś wyjście literką Y.
Dla uproszczenia w dalszych definicjach będziemy posługiwać się dwuwejściową bramką logiczną.
Definicja funkcji logicznej:
Funkcja logiczna to jednoznaczna odpowiedź na wyjściu bramki logicznej Y na wszystkie możliwe wymuszenia binarne na jej wyjściach (p,q,r,s..)
Odpowiedź jednoznaczna oznacza, że za każdym razem gdy na wejściach dwuwejściowej bramki logicznej wymusimy ten sam stan p i q to zawsze otrzymamy tą samą odpowiedź na wyjściu Y (0 albo 1)
Funkcje logiczne definiowane są tabelami prawdy, czyli tabelami zawierającymi wszystkie możliwe stany na wejściach bramki logicznej p i q wraz z jednoznaczną odpowiedzią na jej wyjściu Y.
2.2.1 Definicje znaczków => i ~>
Zdefiniujmy sobie zero-jedynkowo znaczki => i ~>
I.
Definicja znaczka =>
| Kod: |
Definicja znaczka => w podstawowym rachunku zero-jedynkowym:
p q p=>q
A: 1 1 1
B: 1 0 0
C: 0 1 1
D: 0 0 1
1 2 3
Do szybkiego zapamiętania:
p=>q =0 wtedy i tylko wtedy gdy p=1 i q=0
Inaczej:
p=>q =1
|
W dowolnej tabeli prawdy linie można dowolnie przestawiać, matematycznie to bez znaczenia na mocy definicji funkcji logicznej.
Prawo Słonia:
W dowolnej funkcji logicznej (np. p=>q) zmienne p i q mogą być w dowolnych przeczeniach.
Stąd definicja tożsama znaczka =>:
| Kod: |
Definicja znaczka => w podstawowym rachunku zero-jedynkowym:
(~)p (~)q (~)p=>(~)q
A: 1 1 1
B: 1 0 0
C: 0 1 1
D: 0 0 1
1 2 3
Do szybkiego zapamiętania:
(~)p=>(~)q =0 wtedy i tylko wtedy gdy (~)p=1 i (~)q=0
Inaczej:
(~)p=>(~)q =1
|
Wniosek:
Definicja znaczka => to tabela zero-jedynkowa ABCD123 w której zarówno kolumny wejściowe (~)p i (~)q jak i kolumna wyjściowa (~)p=>(~)q mogą występować w dowolnych przeczeniach.
Tabela zero-jedynkowa ABCD123 będzie identyczna, ale funkcje logiczna opisane w nagłówkach kolumn identyczne już nie będą.
Dowód:
| Kod: |
~p ~q p q ~p=>~q p=>q p=>~q ~p=>q
A: 1 1 0 0 1 1 1 0
B: 1 0 0 1 0 1 1 1
C: 0 1 1 0 1 0 1 1
D: 0 0 1 1 1 1 0 1
1 2 3 4 5 6 7 8
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
W naszej tabeli doskonale widać że wygenerowane funkcje logiczne w kolumnach 5678 są różne na mocy definicji ##
~p=>~q ## p=>q ## p=>~q ## ~p=>q
cnd
II.
Definicja znaczka ~>
| Kod: |
Definicja znaczka ~> w podstawowym rachunku zero-jedynkowym:
p q p~>q
A: 1 1 1
B: 1 0 1
C: 0 1 0
D: 0 0 1
1 2 3
Do szybkiego zapamiętania:
p~>q =0 wtedy i tylko wtedy gdy p=0 i q=1
Inaczej:
p~>q =1
|
W dowolnej tabeli prawdy linie można dowolnie przestawiać, matematycznie to bez znaczenia na mocy definicji funkcji logicznej.
Prawo Słonia:
W dowolnej funkcji logicznej (np. p~>q) zmienne p i q mogą być w dowolnych przeczeniach
Stąd definicja tożsama znaczka ~>:
| Kod: |
Definicja znaczka ~> w podstawowym rachunku zero-jedynkowym:
(~)p (~)q (~)p~>(~)q
A: 1 1 1
B: 1 0 1
C: 0 1 0
D: 0 0 1
1 2 3
Do szybkiego zapamiętania:
(~)p=>(~)q =0 wtedy i tylko wtedy gdy (~)p=1 i (~)q=0
Inaczej:
(~)p~>(~)q =1
|
Wniosek:
Definicja znaczka ~> to tabela zero-jedynkowa ABCD123 w której zarówno kolumny wejściowe (~)p i (~)q jak i kolumna wyjściowa (~)p~>(~)q mogą występować w dowolnych przeczeniach.
Tabela zero-jedynkowa ABCD123 będzie identyczna, ale funkcje logiczna opisane w nagłówkach kolumn identyczne już nie będą.
Dowód:
| Kod: |
~p ~q p q ~p~>~q p~>q p~>~q ~p~>q
A: 1 1 0 0 1 1 0 1
B: 1 0 0 1 1 0 1 1
C: 0 1 1 0 0 1 1 1
D: 0 0 1 1 1 1 1 0
1 2 3 4 5 6 7 8
|
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
W naszej tabeli doskonale widać że wygenerowane funkcje logiczne w kolumnach 5678 są różne na mocy definicji ##
~p~>~q ## p~>q ## p~>~q ## ~p~>q
cnd
2.2.2 Definicje znaczków różne # i różne na mocy definicji ##
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
| Kod: |
Dowód iż znaczki => i ~> są różne na mocy definicji ##
w podstawowym rachunku zero-jedynkowym
Y= ~Y= Y= ~Y=
p q p=>q ~(p=>q) (p~>q) ~(p~>q)
A: 1 1 1 0 1 0
B: 1 0 0 1 1 0
C: 0 1 1 0 0 1
D: 0 0 1 0 1 0
1 2 3 4 5 6
Stąd mamy:
p=>q ## p~>q
gdzie:
## - różne na mocy definicji
|
W powyższej tabeli prawdy wprowadzono symbole Y i ~Y wyłącznie dla uzyskania krótszego zapisu funkcji logicznych p=>q i p~>q.
Niekoniecznie trzeba wprowadzać Y i ~Y.
Dowolną funkcję logiczną Y można tylko i wyłącznie dwustronnie negować:
Y=(p=>q)
~Y=~(p=>q)
Definicja znaczka różne #
Dwie funkcje logiczne są różne w znaczeniu znaczka # gdy jedna z nich jest zaprzeczeniem drugiej
Dla znaczków => i ~> mamy:
Y=(p=>q) # ~Y=~(p=>q)
Y=(p~>q) # ~Y=~(p~>q)
Doskonale to widać w tabeli prawdy.
2.3 Wykresy czasowe funkcji logicznych
Wykresy czasowe funkcji logicznych to odpowiednik układu kartezjańskiego w matematyce klasycznej. Brak znajomości wykresów czasowych w logice matematycznej to odpowiednik braku znajomości układu kartezjańskiego w matematyce klasycznej. Wynika z tego, że matematyk który nie zna wykresów czasowych w logice matematycznej jest po prostu ślepy.
Przedstawmy na wykresach czasowych tabele prawdy znaczków => i ~>.
| Kod: |
Definicja znaczka => w podstawowym rachunku zero-jedynkowym:
Y= ~Y=
p q p=>q ~(p=>q)
A: 1 1 1 0
B: 1 0 0 1
C: 0 1 1 0
D: 0 0 1 0
Do szybkiego zapamiętania:
p=>q =0 wtedy i tylko wtedy gdy p=1 i q=0
Inaczej:
p=>q =1
|
| Kod: |
Definicja znaczka ~> w podstawowym rachunku zero-jedynkowym:
Y= ~Y=
p q p~>q ~(p~>q)
A: 1 1 1 0
B: 1 0 1 0
C: 0 1 0 1
D: 0 0 1 0
Do szybkiego zapamiętania:
p~>q =0 wtedy i tylko wtedy gdy p=0 i q=1
Inaczej:
p~>q =1
|
We wszelkich tabelach prawdy oś czasu to po prostu kolumny, co łatwo przedstawić na wykresie czasowym.
2.4 Podstawowe właściwości znaczków => i ~>
| Kod: |
Badanie przemienności argumentów dla znaczka =>
w podstawowym rachunku zero-jedynkowym
p q p=>q q=>p
A: 1 1 1 1
B: 1 0 0 1
C: 0 1 1 0
D: 0 0 1 1
1 2 3 4
Wniosek:
Brak tożsamości kolumn 3=4 jest dowodem braku
przemienności argumentów w znaczku =>
|
| Kod: |
Badanie przemienności argumentów dla znaczka ~>
w podstawowym rachunku zero-jedynkowym
p q p~>q q~>p
A: 1 1 1 1
B: 1 0 1 0
C: 0 1 0 1
D: 0 0 1 1
1 2 3 4
Wniosek:
Brak tożsamości kolumn 3=4 jest dowodem braku
przemienności argumentów w znaczku ~>
|
2.4.1 Matematyczne związki znaczków => i ~>
| Kod: |
Tabela 1
Matematyczne związki znaczków => i ~>
w podstawowym rachunku zero-jedynkowym
p q ~p ~q p=>q ~p~>~q q~>p ~q=>~p
A: 1 1 0 0 =1 =1 =1 =1
B: 1 0 0 1 =0 =0 =0 =0
C: 0 1 1 0 =1 =1 =1 =1
D: 0 0 1 1 =1 =1 =1 =1
1 2 3 4
|
Tożsamość kolumn wynikowych 1=2=3=4 jest dowodem formalnym tożsamości logicznej:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
Znaczki „=” i [=] to tożsamości logiczne
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
2.4.2 Matematyczne związki znaczków ~> i =>
| Kod: |
Tabela 2
Matematyczne związki znaczków ~> i =>
w podstawowym rachunku zero-jedynkowym
p q ~p ~q p~>q ~p=>~q q=>p ~q~>~p
A: 1 1 0 0 =1 =1 =1 =1
B: 1 0 0 1 =1 =1 =1 =1
C: 0 1 1 0 =0 =0 =0 =0
D: 0 0 1 1 =1 =1 =1 =1
1 2 3 4
|
Tożsamość kolumn wynikowych 1=2=3=4 jest dowodem formalnym tożsamości logicznej:
T2: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Znaczki „=” i [=] to tożsamości logiczne
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
2.5 Prawa logiki matematycznej dla znaczków => i ~>
Podsumujmy prawa logiki matematycznej wyprowadzone w dwóch ostatnich punktach.
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
Stąd mamy:
Matematyczne związki znaczków => i ~>:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
T2: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji
Znaczki „=” i [=] to tożsamości logiczne
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
2.5.1 Prawa Kubusia
Matematyczne związki znaczków => i ~>:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
T2: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji
Prawa Kubusia
Prawa Kubusia wiążą znaczek => ze znaczkiem ~> bez zamiany p i q
I Prawo Kubusia
p=>q = ~p~>~q
II Prawo Kubusia
p~>q = ~p=>~q
2.5.2 Prawa Tygryska
Matematyczne związki znaczków => i ~>:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
T2: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji
Prawa Tygryska:
Prawa Tygryska wiążą znaczek => ze znaczkiem ~> z zamianą p i q
I Prawo Tygryska
p=>q = q~>p
II Prawo Tygryska:
p~>q = q=>p
2.5.3 Prawa kontrapozycji
Matematyczne związki znaczków => i ~>:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
T2: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji
Prawa kontrapozycji:
Prawa kontrapozycji wiążą znaczki => i ~> z tym samym znaczkiem poprzez zamianę zanegowanych p i q
I prawo kontrapozycji dla znaczka =>:
p=>q = ~q=>~p
II prawo kontrapozycji dla znaczka ~>:
p~>q = ~q~>~p
Można powiedzieć, że prawa kontrapozycji wynikają bezpośrednio z praw Kubusia i praw Tygryska - są więc matematyczne zbędne, ale prawdziwe, zatem można je używać w logice matematycznej.
Dowód:
Prawo Kubusia:
p=>q = ~p~>~q
Do lewej strony stosujemy prawo Tygryska:
p=>q = ~p~>~q [=] q~>p
Do prawej strony stosujemy ponownie prawo Kubusia:
p=>q = ~p~>~q [=] q~>p = ~q=>~p
Stąd mamy prawo kontrapozycji:
p=>q [=] ~q=>~p
cnd
2.6 Prawo Słonia
I.
Matematyczne związki znaczków => i ~>:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
T2: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji
Prawo Słonia:
W dowolnej funkcji logicznej zmienne mogą być w dowolnych przeczeniach.
Stąd mamy tożsame serie II, III i IV powyższych związków.
II.
W I negujemy wyłącznie q
T1: 1: p=>~q = 2: ~p~>q [=] 3: ~q~>p = 4: q=>~p
##
T2: 1: p~>~q = 2: ~p=>q [=] 3: ~q=>p = 4: q~>~p
Gdzie:
## - różne na mocy definicji
III.
W I negujemy wyłącznie p
T1: 1: ~p=>q = 2: p~>~q [=] 3: q~>~p = 4: ~q=>p
##
T2: 1: ~p~>q = 2: p=>~q [=] 3: q=>~p = 4: ~q~>p
Gdzie:
## - różne na mocy definicji
IV.
W I negujemy p i q
T1: 1: ~p=>~q = 2: p~>q [=] 3: ~q~>~p = 4: q=>p
##
T2: 1: ~p~>~q = 2: p=>q [=] 3: ~q=>~p = 4: q~>p
Gdzie:
## - różne na mocy definicji
2.7 Podzbiór => i nadzbiór ~>
W poprzednim rozdziale wyprowadziliśmy matematyczne związki między znaczkami (spójnikami) => i ~>.
Powstaje pytanie:
Jak przełożyć zero-jedynkowe definicje tych znaczków i ich matematyczne związki na logikę matematyczną 5-cio latka, pani przedszkolanki i gospodyni domowej?
Credo matematyki:
Definicje matematyczne mogą być absolutnie dowolne byleby poprawnie opisywały otaczającą nas rzeczywistość w naszym Wszechświecie czyli były nie do obalenia w tej rzeczywistości.
Na mocy powyższego przyjmijmy sobie z sufitu następujące definicje znaczków => i ~>:
=> - podzbiór
~> - nadzbiór
Definicja podzbioru =>:
Zbiór p jest podzbiorem => zbioru q wtedy i tylko wtedy gdy każdy element zbioru p należy do zbioru q
p=>q
Znaczenie definicji podzbioru => w logice matematycznej:
p=>q =1
Definicja podzbioru => jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Inaczej:
p=>q =0
Gdzie:
1 = prawda
0 = fałsz
Powyższe zapisy czytamy:
p=>q =1
Prawdą jest (=1) że zbiór p jest podzbiorem => zbioru q
p=>q =0
Fałszem jest (=0), że zbiór p jest podzbiorem => zbioru q
Definicja nadzbioru ~>:
Zbiór p jest nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q
p~>q
Znaczenie definicji nadzbioru ~> w logice matematycznej:
p~>q =1
Definicja nadzbioru ~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> zbioru q
Inaczej:
p~>q =0
Gdzie:
1 = prawda
0 = fałsz
Powyższe zapisy czytamy:
p~>q =1
Prawdą jest (=1) że zbiór p jest nadzbiorem ~> zbioru q
p~>q =0
Fałszem jest (=0), że zbiór p jest nadzbiorem ~> zbioru q
3.0 Algebra zbiorów
Definicja pojęcia:
Pojęcie to wyrażenie zrozumiałe dla człowieka
Przykłady:
Pies, miłość, krasnoludek, zbiór liczb naturalnych, zbiór wszystkich zwierząt ...
Definicja Uniwersum:
Uniwersum to zbiór wszelkich pojęć zrozumiałych dla człowieka
Uniwersum człowieka jest dynamiczne tzn. rozszerza się gdy się uczymy (poznajemy nowe pojęcia) i zwęża się gdy zapominamy wyuczonych kiedyś pojęć. Na mocy definicji w żadnym momencie nie możemy wyjść poza swoje, indywidualne Uniwersum.
Definicja elementu zbioru:
Element zbioru to dowolne pojęcie zrozumiałe przez człowieka, które umieści w swoim zbiorze
Definicja zbioru:
Zbiór to zestaw dowolnych pojęć mający swoją nazwę własną rozumianą przez człowieka
Budowa zbioru:
C = [M, K]
C - zbiór człowiek (nazwa zbioru)
Elementy zbioru:
M - mężczyzna
K - kobieta
[x] - zawartość zbioru, elementy zbioru rozdzielamy przecinkami
Nazwa zbioru „człowiek” jest zrozumiała rzez każdego człowieka, dlatego ten zbiór należy do Uniwersum
Zbiory mają wartość logiczną:
1 = prawda
0 = fałsz
[x] =1 - zbiór niepusty, zawierający przynajmniej jeden element
[] =0 - zbiór pusty, zawierający zero elementów
3.1 Podstawowe operacje na zbiorach
I.
Suma logiczna (+) zbiorów:
Y=p+q
Wszystkie elementy zbiorów p i q bez powtórzeń
Przykład:
p=[1,2,3,4] =1 - bo zbiór niepusty
q=[3,4,5,6] =1 - bo zbiór niepusty
Y=p*q=[1,2,3,4]+[3,4,5,6]=[1,2,3,4,5,6] =1 - bo zbiór niepusty
II.
Iloczyn logiczny (*) zbiorów:
Y = p*q
Wspólne elementy zbiorów p i q bez powtórzeń
Zbiór wynikowy pusty oznacza rozłączność zbiorów p i q
Y =[] =0 - w przypadku zbiorów rozłącznych
Przykład:
p=[1,2,3,4] =1 - bo zbiór niepusty
q=[3,4,5,6] =1 - bo zbiór niepusty
r=[5,6,7,8] =1 - bo zbiór niepusty
Y=p*q=[1,2,3,4]*[3,4,5,6]=[3,4] =1 - bo zbiór niepusty
Y=p*r=[1,2,3,4]*[5,6,7,8] =[] =0 - bo zbiór pusty
III.
Różnica (-) zbiorów:
Y=p-q
Wszystkie elementy zbioru p pomniejszone o elementy zbioru q
p=[1,2,3,4] =1 - bo zbiór niepusty
q=[3,4] =1 - bo zbiór niepusty
Y=p-q = [1,2,3,4]-[3,4] =[1,2] =1 - bo zbiór niepusty
Y=q-p =[3,4]-[1,2,3,4]=[] =0 - bo zbiór pusty
Definicja dziedziny:
Dziedzina to dowolnie wybrany zbiór na którym operujemy pod warunkiem że wybrany zbiór ma swoją nazwę własną rozumianą przez człowieka.
Wszystko co leży poza przyjętą dziedziną jest zbiorem pustym z definicji.
Oznacza to, że wszelkie pojęcia poza przyjętą dziedziną są dla nas nierozpoznawalne, czyli nie znamy definicji tych pojęć z założenia. Ograniczeniem dolnym w definiowaniu dziedziny jest zbiór pusty [], natomiast ograniczeniem górnym jest Uniwersum.
IV.
Zaprzeczenie zbioru (~):
Zaprzeczeniem zbioru nazywamy uzupełnienie zbioru do dziedziny
Przykład:
p=[1,2] - definiujemy zbiór
D=[1,2,3,4] - definiujemy dziedzinę
Stąd:
~p=[D-p] =[3,4]
Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie
p<=>~p = (p=>~p)*(~p=>p)
Gdzie:
~p - zaprzeczenie pojęcia p do dziedziny D
Przykład 1.
C=[M, K]
C- zbiór człowiek (nazwa zbioru)
Elementy zbioru:
M - mężczyzna
K - kobieta
Dziedzina:
C = człowiek
Obliczenia przeczeń pojęć m i k tzn. ich uzupełnień do dziedziny D:
1.
~M=[C-M]=[M+K-M]=[K]=K
Znaczenie:
Jeśli ze zbioru człowiek wylosujemy nie mężczyznę (~M=1) to na 100% będzie to kobieta (K=1)
2.
~K=[C-K]=[M+K-K]=[M]=M
Znaczenie:
Jeśli ze zbioru „człowiek” wylosujemy nie kobietę (~K=1) to na 100% będzie to mężczyzna (M=1)
3.2 Znaczenie przecinka w algebrze zbiorów
Definicja:
Przecinek rozdzielający elementy w dowolnym zbiorze to spójnik „lub”(+) z naturalnej logiki matematycznej człowieka, będący matematycznie sumą logiczną zbiorów.
Matematycznie zachodzi tożsamość:
(,) = „lub”(+)
Zobaczmy to na podstawowych operacjach na zbiorach:
I.
Suma logiczna
[1+2]+[1+3] = [1+2+1+3] = [1+2+3] - to jest matematyczna oczywistość/rzeczywistość
Prawo powielania/redukcji elementów w zbiorze
p=p+p
stąd:
1+1=1
II.
Iloczyn logiczny
[1+2]*[1+3] = 1*1 + 1*3 + 2*1 + 2*3 = 1+[]+[]+[] =1 - to też jest matematyczna oczywistość/rzeczywistość
p=p*p
stąd:
1*1=1
Przykładowe pojęcia (zbiory jednoelementowe) 1 i 3 są rozłączne, stąd:
1*3=[]
III.
Różnica logiczna
[1+2+3]-[2+3] = 1+2+3-2-3 =1+[2-2]+[3-3] = 1+[]+[] = 1
[2+3]-[1+2=3] = 2+3 -1-2-3 = []+2+3-1-2-3 = [[]-1] +[2-2]+[3-3] = []+[]+[] =[]
W ostatnim równaniu skorzystaliśmy z neutralności zbioru pustego [] w sumie logicznej dokładając zbiór pusty [] do sumy logicznej
Wyjaśnienie:
[]-1 =[] - jeśli ze zbioru pustego usuniemy dowolny element to zbiór pusty dalej pozostanie pusty.
Alternatywa:
Wszelkie elementy ze znakiem minus które pozostaną po wykonaniu operacji odejmowania z definicji zamieniamy na zbiór posty [].
[2+3]-[1+2+3] = 2+3 -1-2-3 = 2+3-1-2-3 = -1 +[2-2]+[3-3] = -1+[]+[] =[]+[]+[] =[]
3.3 Prawo rozpoznawalności pojęcia
Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p
p<=>~p = (p=>~p)*(~p=>p)
Gdzie:
Zbiory p i ~p są rozłączne i uzupełniają się wzajemnie do dziedziny:
p+~p = D =1
p*~p = [] =0
Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we Wszechświecie o idealnej temperaturze:
t = const
W takim Wszechświecie pojęcia ciepło (C=1) i nie ciepło (~C=1) nie istnieją bo niemożliwe jest zmierzenie choćby najmniejszej różnicy temperatur
Prawo rozpoznawalności pojęcia w przełożeniu na funkcje logiczne:
Znam funkcję logiczną Y wtedy i tylko wtedy gdy znam funkcję logiczną ~Y
Y<=>~Y = (Y=>~Y)*(~Y=>Y)
Gdzie:
Zbiory Y i ~Y są rozłączne i uzupełniają się wzajemnie do dziedziny:
Y+~Y = D =1
Y*~Y = [] =0
Ostatnio zmieniony przez rafal3006 dnia Nie 14:31, 10 Lut 2019, w całości zmieniany 14 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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 1:31, 10 Lut 2019 Temat postu: |
|
|
Armagedon Klasycznego Rachunku Zdań!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1500.html#431457
| rafal3006 napisał: |
Podsumowując:
Czy możesz Irbisolu poczekać na Armagedon gówienka zwanego KRZ który obiecuję od kilku postów i zająć się szukaniem błędu w moim Armagedonie KRZ? |
Irbisolu, mój post wyżej to w istocie Armagedon Klasycznego Rachunku Zdań tzn. jeśli ziemscy matematycy zrozumieją i zaakceptują post wyżej to KRZ natychmiast stanie się „ziemią płaską” czyli najzwyklejszą głupotą w 100%.
Nie jest fizycznie możliwe współistnienie algebry Kubusia i Klasycznego Rachunku Zdań!
Jedna z tych teorii zostanie zmieciona z powierzchni naszego Wszechświata prosto do piekła, na wieczne piekielne męki.
Rafal3006
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Nie 8:37, 10 Lut 2019 Temat postu: |
|
|
Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)
czyli wg Ciebie to:
(p=1) = (~p=0)
1=0
bo wg mnie to:
(p=1) =~ (~p=0)
1=1
co mnie bardzo cieszy, zważywszy na fakt pozbycia się trzody z pięknego języka matematyki i wprowadzenia prawa podwójnego przeczenia z KRZ
oczywiście można wprowadzić dla "(p=1) = (~p=0) " sensowne znaczenie, ale wtedy należało by się go konsekwentnie trzymać, lub zaznaczać, zmianę znaczenia zapisu.
---- no i w ogóle brakuje definicji "=", bo na pewno nie jest to definicja klasyczna, a raczej "dialektyczna" 
PS
albo:
bo wg mnie to:
[ (p=1)#(~p=0) ] = 1
1#0
Ostatnio zmieniony przez lucek dnia Nie 9:11, 10 Lut 2019, 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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 9:16, 10 Lut 2019 Temat postu: |
|
|
| lucek napisał: | Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)
czyli wg Ciebie to:
(p=1) = (~p=0)
1=0
bo wg mnie to:
(p=1) =~ (~p=0)
1=1 |
Robisz błąd czysto matematyczny na poziomie przedszkola logiki matematycznej.
Jeśli masz tożsamość logiczną, czego dowodem jest przykład.
(p=1)[=](~p=0)
to taka tożsamość możesz wyłącznie dwustronnie negować, czyli zrobić tak:
~(p=1) [=] ~(~p=0)
(~(p) =~(1)) [=] (~(~p)=~(0))
(~p=0) [=] (p=1)
Sam widzisz że wszystko gra i buczy a ty zrobiłeś błąd czysto matematyczny negując wyłącznie jedną stronę tożsamości logicznej.
| lucek napisał: |
---- no i w ogóle brakuje definicji "=", bo na pewno nie jest to definicja klasyczna, a raczej "dialektyczna" |
Jest definicja tożsamości logicznej, tylko nie doczytałeś.
2.4.1 Matematyczne związki znaczków => i ~>
| Kod: |
Tabela 1
Matematyczne związki znaczków => i ~>
w podstawowym rachunku zero-jedynkowym
p q ~p ~q p=>q ~p~>~q q~>p ~q=>~p
A: 1 1 0 0 =1 =1 =1 =1
B: 1 0 0 1 =0 =0 =0 =0
C: 0 1 1 0 =1 =1 =1 =1
D: 0 0 1 1 =1 =1 =1 =1
1 2 3 4
|
Tożsamość kolumn wynikowych 1=2=3=4 jest dowodem formalnym tożsamości logicznej:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
Znaczki „=” i [=] to tożsamości logiczne
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
Tożsamość logiczna ma wszelkie cechy tożsamości matematycznej.
Fiklit kiedyś definiował jakie cechy musi mieć tożsamość matematyczna.
Nie pamiętam dokładnie …
Tożsamość matematyczna musi być:
I.
Zwrotnia:
p=>q = ~p~>~q
~p~>~q = p=>q
Jeśli z p=>q wynika ~p~>~q to z ~p~>~q musi wynikać p=>q
II.
Przechodnia:
T1: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
Jeśli p=>q = ~p~>~q oraz p=>q = ~q=>~p to z tego faktu wynika że ~p~>~q = ~q=>~p
Nie pamiętam czy użyłem właściwych nazw i czy to są wszystkie właściwości tożsamości logicznej - w każdym razie myślę że to są najważniejsze właściwości tożsamości matematycznej
Ostatnio zmieniony przez rafal3006 dnia Nie 9:22, 10 Lut 2019, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Nie 9:20, 10 Lut 2019 Temat postu: |
|
|
| Cytat: | Robisz błąd czysto matematyczny na poziomie przedszkola logiki matematycznej.
Jeśli masz tożsamość logiczną, czego dowodem jest przykład.
(p=1)=(~p=0)
to taka tożsamość możesz wyłącznie dwustronnie negować, czyli zrobić tak:
~(p=1) [=] ~(~p=0)
(~(p) =~(1)) [=] (~(~p)=~(0))
(~p=0) [=] (p=1)
Sam widzisz że wszystko gra i buczy a ty zrobiłeś błąd czysto matematyczny negując wyłącznie jedną stronę tożsamości logicznej.
lucek napisał:
---- no i w ogóle brakuje definicji "=", bo na pewno nie jest to definicja klasyczna, a raczej "dialektyczna"
Jest definicja tożsamości logicznej, tylko nie doczytałeś. |
bo użyłeś "=" zanim napisałeś definicję 
może tobie "gara i buczy" mi nic w głowie nie gra i nie buczy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 9:45, 10 Lut 2019 Temat postu: |
|
|
Lucek,
To jest tożsamość logiczna
(p=1)=(~p=0)
czego dowód dałem na przykładzie:
(K=1)
Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
znaczy to samo co:
(~K=0)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)
Takie rzeczy w logice matematycznej są dopuszczalne.
[link widoczny dla zalogowanych]
| Ludomir Newelski - Wstęp do matematyki - formuły równoważne napisał: |
Uwaga 2.7 (1) Każda formuła zdaniowa jest równoważna formule w postaci alternatywno-koniunkcyjnej.
(2) Każda formuła zdaniowa jest równoważna formule w postaci koniunkcyjno-alternatywnej.
Dowód. Dowód przeprowadzimy na przykładzie.
|
Można to też udowodnić na gruncie teorii zbiorów, której ekspertami są 5-cio latki.
Nie chcę tego tematu rozwijać bowiem byłby to off-top w stosunku do tego co chcę zrobić, a chcę przy pomocy naszych wspólnych znaczków => i ~> (w AK i KRZ) zmieść z powierzchni ziemi gówno zwane Klasycznym Rachunkiem Zdań
Zauważ, że w moim poście głównym nie mówię nic o znaczkach "i"(*) i "lub"(+) bo te znaczki nie mają zastosowania w relacjach matematycznych między znaczkami => i ~>.
Najważniejsze!
Przy uderzeniu w KRZ od tej strony, ziemscy matematycy są bezbronni bowiem zabrałem im słynną już broń Irbisola.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1475.html#431305
| Irbisol napisał: |
| rafal3006 napisał: | | Czekam ... |
Już ci to tłumaczono - poza tym to jest temat o twoim gównie, a nie o KRZ, które cię przerasta.
Nie uda ci się uciec od tego, że wg twojej logiki 1*1=0 i jednocześnie 1*1=1. |
Jak widzisz Irbisolu, bez problemu uciekłem, w nasze wspólne znaczki => i ~> oraz relacje matematyczne miedzy tymi znaczkami.
W poście głównym:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1500.html#431521
nigdzie nie użyłem ani znaczka „i”(*), ani też znaczka „lub”(+).
Zatem twoja gówno-broń z twojego cytatu jest tu bezużyteczna, czyli nie ma tu zastosowania!
Nasze wspólne znaczki => i ~> to pięta Achillesowa Klasycznego Rachunku Zdań w którą właśnie uderzyłem.
Twoja KRZ już jest martwa bo nie ma szans, aby przed tym uderzeniem się obronić.
Czy zgadzasz się z tym faktem?
Ostatnio zmieniony przez rafal3006 dnia Nie 9:52, 10 Lut 2019, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Nie 9:48, 10 Lut 2019 Temat postu: |
|
|
| Cytat: | | To jest tożsamość logiczna |
na czym polega tożsamość logiczna dla zdań:
byłem w kinie
nie byłem w kinie
?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:02, 10 Lut 2019 Temat postu: |
|
|
| lucek napisał: | | Cytat: | | To jest tożsamość logiczna |
na czym polega tożsamość logiczna dla zdań:
byłem w kinie
nie byłem w kinie
? |
Zupełnie nie o tym mówię.
Mówię o tej tożsamości logicznej zdań wypowiedzianych przez 5-cio latka:
To jest tożsamość logiczna
(p=1)=(~p=0)
czego dowód dałem na przykładzie:
(K=1)
Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
znaczy to samo co:
(~K=0)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)
Pytanie do ciebie:
Czy rozumiesz tożsamość matematyczną zdań wypowiedzianych:
(K=1) i (~K=0)?
Pewne jest że każdy 5-cio latek rozumie iż zdania wyżej znaczą to samo, zatem są matematycznie tożsame.
Czyżbys zatem miał aż tak potwornie sprany mózg że nie widzisz tej tożsamości?
W twojej propozycji:
Byłem w kinie (K=1) vs nie byłem w kinie (~K=1)
Też zachodzi równowazność:
K<=>~K = (K=>~K)*(~K=>K)
ale nie ma tu mowy o tożsamości pojęć:
K=~K
To jest zupłnie inny rodzaj równowazności.
Póki co nie chce w to wchodzić bo to jest off-top.
Rozmawiamy teraz o Armagedonie gówna zwanego KRZ, czyli o naszych wspólnych znaczkach =>, ~> w AK i KRZ oraz o relacjach matematycznych między tymi znaczkami.
Czy możesz się trzymac tematu znaczków => i ~>
?
Ostatnio zmieniony przez rafal3006 dnia Nie 10:12, 10 Lut 2019, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Nie 10:14, 10 Lut 2019 Temat postu: |
|
|
| Cytat: | | Zupełnie nie o tym mówię. |
wiem, ja o tym mówię:
na czym polega tożsamość logiczna dla zdań:
byłem w kinie, czyli K
nie byłem w kinie, czyli ~K
? - nie ma tożsamości wprost przeciwnie
a a na czym polega tożsamość logiczna dla zdań:
[prawdą jest, że ] byłem w kinie K=1
[nieprawdą (fałszem) jest, że] nie byłem w kinie ~(~K)
czyli armagedon, ja dla mnie, praw prosiaczka
Ostatnio zmieniony przez lucek dnia Nie 10:15, 10 Lut 2019, 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: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:38, 10 Lut 2019 Temat postu: |
|
|
| lucek napisał: | | Cytat: | | Zupełnie nie o tym mówię. |
wiem, ja o tym mówię:
na czym polega tożsamość logiczna dla zdań:
byłem w kinie, czyli K
nie byłem w kinie, czyli ~K
? - nie ma tożsamości wprost przeciwnie
a a na czym polega tożsamość logiczna dla zdań:
[prawdą jest, że ] byłem w kinie K=1
[nieprawdą (fałszem) jest, że] nie byłem w kinie ~(~K)
czyli armagedon, ja dla mnie, praw prosiaczka |
Prawa Prosiaczka to zupełnie co innego niż praw podwójnego przeczenia które użyłeś.
Prawa Prosiaczka to tożsamość logiczna.
To jest tożsamość logiczna
(p=1)=(~p=0)
czego dowód dałem na przykładzie:
(K=1)
Prawdą jest (=1) że wczoraj byliśmy w kinie (K)
znaczy to samo co:
(~K=0)
Fałszem jest (=0) że wczoraj nie byliśmy w kinie (~K)
Natomiast seria zdań z których wyprowadzamy prawo podwójnego przeczenia to fundamentalnie co innego:
Wczoraj byliśmy w kinie
K=1
vs
Wczoraj nie byliśmy w kinie
~K=1
Zauważ, że zdania wytłuszczone są matematycznie tożsame:
(K=1)=(K=1)
ale zdania wyróżnione na czerwono nie są matematycznie tożsame:
(~K=0) # (~K=1)
Prawo podwójnego przeczenie:
(K)=~(~K)
Wczoraj byliśmy w kinie (K) = nie jest prawdą że wczoraj nie byliśmy w kinie
Zauważ, że seria zdań:
(K=1)=(~K=0)
opisuje jedno i tylko jedno zdarzenie które zaszło
Natomiast seria zdań:
K vs ~K
opisuje dwa różne zdarzenia które zaszły/
Wniosek:
Twój Armagedon praw Prosiaczka to najzwyklejsze, matematyczne brednie.
cnd
Prawa Prosiaczka wynikają bezpośrednio z definicji negatora:
Dowód punkt 2.1
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1500.html#431521
… zatem rzuciłeś się Lucku z motyką na słońce.
Ostatnio zmieniony przez rafal3006 dnia Nie 11:16, 10 Lut 2019, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów
|
| Wysłany: Nie 10:42, 10 Lut 2019 Temat postu: |
|
|
| Cytat: | | Prawa Prosiaczka to tożsamość logiczna. |
prawa prosiaczka to bredzenie obłąkanego umysłu, w którym wszystko "gra i buczy" 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35357
Przeczytał: 24 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 10:46, 10 Lut 2019 Temat postu: |
|
|
| lucek napisał: | | Cytat: | | Prawa Prosiaczka to tożsamość logiczna. |
prawa prosiaczka to bredzenie obłąkanego umysłu, w którym wszystko "gra i buczy" |
Jesteś pierwszym ziemianinem który to powiedział - nikt w historii rozszyfrowywania algebry Kubusia nie kwestionował nigdy praw Prosiaczka!
Kto tu jest zatem obłąkany?
|
|
| 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
