Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Czysto matematyczne obalenie logiki matematycznej ziemian
Idź do strony Poprzedni  1, 2, 3 ... 45, 46, 47 ... 136, 137, 138  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Wto 16:43, 04 Kwi 2017    Temat postu:

Jasne że nie wykazał.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Wto 21:44, 04 Kwi 2017    Temat postu:

O czym mówi prawo De Morgana?
Czyli:
Kompletnie nieznana ziemianom logika matematyczna 5-cio latków

Prawo Liska:
Każda funkcja logiczna opisana spójnikami „lub”(+) i „i”(*) w logice dodatniej (bo Y) posiada swoje lustrzane odbicie w logice ujemnej (bo ~Y)

Przykład:
A.
Y=f(x)
… a kiedy zajdzie ~Y?
Wystarczy zanegować dwustronnie funkcję logiczną Y:
B.
~Y=~(f(x))

Prawo De Morgana:
Prawo De Morgana dla dowolnej funkcji logicznej o n zmiennych binarnych mówi o związku logiki dodatniej (bo Y) i ujemnej (bo ~Y)

Związki logiki dodatniej i ujemnej opisane są równaniami:
Logika dodatnia (bo Y) to zanegowana logika ujemna (bo ~Y):
Y = ~(~Y)
Logika ujemna (bo ~Y) to zanegowana logika dodatnia (bo Y):
~Y = ~(Y)

Irbisol napisał:

Trochę mnie nie było, pytam zatem:
Wskazał te p i q, dla których otrzymał nierownoważność dla obu stron de Morgana?


Fragment z podpisu:
Algebra Kubusia napisał:

3.1 Operator transmisji


Definicja operatora transmisji:
Transmisja to przypisanie funkcji logicznej Y obszarowi p
Y=p
Pozostałą część dziedziny opisuje dopełnienie funkcji logicznej Y do dziedziny, czyli funkcja logiczna w logice ujemnej (bo ~Y)
~Y=~p
Spełniona jest definicja dziedziny dla funkcji logicznej Y:
Y+~Y = D =1 - zbiór ~Y jest uzupełnieniem do dziedziny dla zbioru Y
Y*~Y = [] =0 - zbiory Y i ~Y są rozłączne

Stąd definicja operatora logicznego transmisji to układ równań logicznych:
A.
Y=p
Co matematycznie oznacza:
Y=1 <=> p=1
bo zbiory Y i p istnieją i nie są puste.
B.
~Y=~p
co matematycznie oznacza:
~Y=1 <=> ~p=1
bo zbiory ~Y i ~p istnieją i nie są puste
Kod:

Tabela 1
Symboliczna definicja operatora transmisji Y=p
Definicja   |Co matematycznie oznacza
symboliczna |
A: Y= p     | Y=1<=> p=1
B:~Y=~p     |~Y=1<=>~p=1
   a  b       c      d

Kod:

Tabela 2
Zero-jedynkowa definicja operatora transmisji Y=p
Definicja   |Definicja          |Co matematycznie oznacza
symboliczna |zero-jedynkowa     |
            | p ~p  Y=p   ~Y=~p |
A: Y= p     | 1  0  =1     =0   | Y=1<=> p=1
B:~Y=~p     | 0  1  =0     =1   |~Y=1<=>~p=1
   a  b       1  2   3      4     c      d
Kodowanie zero-jedynkowe na mocy praw Prosiaczka:
(~p=1)=( p=0)
( p=1)=(~p=0)

Zero-jedynkowa definicja operatora transmisji to kompletna tabela zero-jedynkowa AB1234 opisana układem równań logicznych:
A.
Y=p
co matematycznie oznacza:
Y=1 <=> p=1
Legenda:
Y=p
Y - logika dodatnia (bo Y)
Y=p - symbolicznie: linia Aab, zero-jedynkowo: linia A123, znaczenie: linia Acd
Wniosek:
Nagłówek kolumny 3:
Y=p
Dotyczy wyłącznie jednej linii z definicji symbolicznej:
Aab: Y=p

… a kiedy zajdzie ~Y?
Negujemy równanie A stronami:
B.
~Y=~p
co matematycznie oznacza:
~Y=1<=>~p=1
Legenda:
~Y=~p
~Y - logika ujemna (bo ~Y)
~Y=~p - symbolicznie: linia Bab, zero-jedynkowo: linia B124, znaczenie: linia Bcd

Wniosek:
Nagłówek kolumny 4:
~Y=~p
Dotyczy wyłącznie jednej linii definicji symbolicznej:
Bab: ~Y=~p

Prawa De Morgana dla operatora transmisji:
A: Y=p
B: ~Y=~p
Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia to zanegowana logika ujemna
Y =~(~Y)
Podstawiając A i B mamy prawo De Morgana w logice dodatniej (bo Y) dla jednej zmiennej p zwane prawem podwójnego przeczenia.
Y = p = ~(~p)
Logika ujemna to zanegowana logika dodatnia
~Y = ~(Y)
Podstawiając A i B mamy prawo De Morgana w logice ujemnej (bo ~Y) dla jednej zmiennej p
~Y= p= ~(p)

Dowód praw De Morgana w rachunku zero-jedynkowym:
Kod:

Tabela 3
Prawa De Morgana dla jednej zmiennej p
Definicja |Definicja        |Prawa De Morgana           |Co matematycznie
symbol.   |zero-jedynkowa   |                           |oznacza
          | p ~p  Y=p ~Y=~p | Y=~(~Y)=~(~p) ~Y=~(Y)=~(p)|
A: Y= p   | 1  0  =1    =0  |  =1             =0        | Y=1<=> p=1
B:~Y=~p   | 0  1  =0    =1  |  =0             =1        |~Y=1<=>~p=1
   a  b     1  2   3     4      5              6          c       d

Z tożsamości kolumn 3=5 wynika I prawo De Morgana zwane prawem podwójnego przeczenia w logice dodatniej (bo Y):
Y = p = ~(~p)
Z tożsamości kolumn 4=6 wynika II prawo De Morgana w logice ujemnej (bo ~Y):
~Y = ~p = ~(p)

Kluczowym w rachunku zero-jedynkowym jest poprawny opis nagłówków kolumn wynikowych w równaniach algebry Boole’a. Należy zwrócić uwagę na kluczowy matematycznie opis nagłówków w postaci funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y).

Podsumowanie:
1.
Symboliczna definicja operatora transmisji to tabela symboliczna ABab o znaczeniu przedstawionym w obszarze ABcd.
Innymi słowy:
Symboliczna definicja operatora transmisji to układ równań logicznych:
Aab: Y=p
co matematycznie oznacza:
Acd: Y=1 <=> p=1
.. a kiedy zajdzie ~Y?
Negujemy powyższe równanie stronami:
Bab: ~Y=~p
co matematycznie oznacza:
Bcd: ~Y=1 <=> ~p=1
2.
Zero-jedynkowe kodowanie definicji symbolicznej operatora transmisji to kompletna tabela zero-jedynkowa AB1234, uwzględniająca sygnały wejściowe p i ~p, oraz sygnały wyjściowe Y i ~Y.

Pani w przedszkolu:
A.
Jutro pójdziemy do kina
Y=K
co matematycznie oznacza:
Y=1<=>K=1
czytamy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

.. a kiedy pani skłamie?
Negujemy równanie A dwustronnie:
B.
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
~Y=~K
co matematycznie oznacza:
~Y=1<=>~K=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie symboli:
Y - pani dotrzyma słowa
~Y - pani skłamie (=nie dotrzyma słowa)
K - pójdziemy do kina
~K - nie pójdziemy do kina

Zuzia do Jasia (oboje po 5 wiosenek):
… a czy może się zdarzyć że jutro nie pójdziemy do kina?
Jaś:
Negujemy równanie B stronami:
Y=~(~K)
stąd:
A’.
Nie może się zdarzyć ~(..), że jutro nie pójdziemy do kina (~K=1)
Y = ~(~K)

Co robi logika ziemian z prawem De Morgana?

Dowód praw De Morgana w rachunku zero-jedynkowym:
Kod:

Tabela 3
Prawa De Morgana dla jednej zmiennej p
Definicja |Definicja        |Prawa De Morgana           |
symbol.   |zero-jedynkowa   |                           |
          | p ~p  Y=p ~Y=~p | Y=~(~Y)=~(~p) ~Y=~(Y)=~(p)|Y<=>Y Y+~Y
A: Y= p   | 1  0  =1    =0  |  =1             =0        |  =1   =1
B:~Y=~p   | 0  1  =0    =1  |  =0             =1        |  =1   =1
   a  b     1  2   3     4      5              6            7    8

Logika ziemian traktuje zero-jedynkowym operatorem równoważności kolumny 3=5.
W efekcie otrzymujemy zdanie zawsze prawdziwe opisane kolumną 7.
Dokładnie to samo otrzymamy dodając funkcję logiczną Y opisaną kolumną 3 do funkcji logicznej ~Y opisanej kolumną 5.
Dowód:
Definicja równoważności:
p<=>q = p*q+~p*~q
Dla Y=Y (nasza tabela) mamy:
Y<=>Y = Y*Y + ~Y*~Y = Y+~Y=1
cnd

Podsumowując:
Ziemianie wyznaczają w ten sposób poprawną dziedzinę dla dowolnej funkcji logicznej jedno-argumentowej.

Udajmy się do przedszkola …
Pani w przedszkolu:
A.
Jutro pójdziemy do kina
Y=K
co matematycznie oznacza:
Y=1<=>K=1
czytamy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

.. a kiedy pani skłamie?
Negujemy równanie A dwustronnie:
B.
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
~Y=~K
co matematycznie oznacza:
~Y=1<=>~K=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Znaczenie symboli:
Y - pani dotrzyma słowa
~Y - pani skłamie (=nie dotrzyma słowa)
K - pójdziemy do kina
~K - nie pójdziemy do kina

Zuzia do Jasia (oboje po 5 wiosenek):
… a czy może się zdarzyć że jutro nie pójdziemy do kina?
Jaś:
Negujemy równanie B stronami:
Y=~(~K)
stąd:
A’.
Nie może się zdarzyć ~(..), że jutro nie pójdziemy do kina (~K=1)
Y = ~(~K)

Uważaj teraz Irbisorze!

Matematycznie zachodzi:
A=A’
Czyli:
Zdania tożsame to:
A.
Jutro pójdziemy do kina
Y=K
oraz:
A’
Nie może się zdarzyć ~(..), że jutro nie pójdziemy do kina (~K=1)
Y = ~(~K)

Oczywistym jest że:
Y=Y
stąd mamy prawo De Morgana dla jednej zmiennej:
Y = K = ~(~K)

Odczytajmy teraz znaczenie zdania z kolumny Y<=>Y rodem z logiki matematycznej ziemian (kolumna 7=8)
D = Y+~Y = K+~K =1
Stąd mamy:
Pani w przedszkolu:
D.
Jutro pójdziemy do kina lub nie pójdziemy do kina
Y=K+~K=1
Oczywistym jest, że cokolwiek pani jutro nie zrobi to nie ma szans na kłamstwo, czyli na ustawienie:
~Y=1 - kolumna 4=6

Kwadratura koła dla Irbisola:
1.
Matematyczny związek zdania:
Y=Y’
Ze z dziedziną D to:
D=Y+~Y = K+~K =1
2.
W zdaniu D pani nie ma szans na kłamstwo - zdanie zawsze prawdziwe!
Natomiast w zdaniu:
Y=Y’ =K = ~(~K)
Pani bez problemu może skłamać.

Finał kwadratury koła dla Irbisola:
Znajdź mi Irbisorze jedną, jedyną panią przedszkolankę która wymawiając zdanie:
Y = Y’ = K = ~(~K)
Wypowie w zastępstwie tych zdań zdanie D.
Możliwe są tu dwa wyjścia:
Jak znajdziesz to ja kasuję algebrę Kubusia.
Jak nie znajdziesz to ty kasujesz logikę ziemian ze swojego mózgu i przechodzisz na AK.

Propozycja jest uczciwa, czyż nie?

P.S.
Wartościowanie prawa De Morgana dla jednej zmiennej:
Y = p=~(~p)
Oczywistym jest że dla p=1 będzie:
Y=1
Natomiast dla p=0 będzie:
Y=0
Wniosek:
Stosując prawo De Morgana pani bez problemu może skłamać.

Uważaj teraz Irbisorze:
Prawo De Morgana nie pozbawia pani przedszkolanki możliwości skłamania!

Natomiast jak potraktujesz prawo De Morgana operatorem równoważności (kolumny 7=8) to pozbawiasz panią przedszkolankę prawa do kłamstwa!

Czy już rozumiesz o co chodzi w prawie De Morgana?

Podpowiedź:
Jaką wartość mają w matematyce zdania typu:
Liczba 8 jest podzielna przez 2 lub nie jest podzielna przez 2
L8=P2+~P2=1
Zbiór liczb naturalnych to suma logiczna liczb podzielnych przez 2 i niepodzielnych przez 2
LN=P2+~P2 =1
To jest klasyka zdania zawsze prawdziwego.
Sam widzisz, że zdanie zawsze prawdziwe to w matematyce najzwyklejsze GÓWNO!


Ostatnio zmieniony przez rafal3006 dnia Wto 22:18, 04 Kwi 2017, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Śro 7:16, 05 Kwi 2017    Temat postu:

Dopóki jasno i wyraźnie nie powiesz co to są te 0 i 1 w Twoich tabelkach to jest to zupełnie niezrozumiałe. Piszesz na marne.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 17 tematów

Skąd: stolnica

PostWysłany: Śro 16:03, 05 Kwi 2017    Temat postu:

No a nie pamiętasz?
1 to zbiór nie-pusty czyli prawda, czyli coś co istnieje, a 0 to zbiór pusty, czyli fałsz i go nie ma.
:rotfl:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Śro 17:08, 05 Kwi 2017    Temat postu:

A w logice ujemnej to jak jest? Fałsz jest a prawdy nie ma? Czy jest jak zawsze a ta logika, to wtedy i tylko wtedy gdy pani kłamie? :)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 17 tematów

Skąd: stolnica

PostWysłany: Śro 18:24, 05 Kwi 2017    Temat postu:

PANI NIE KŁAMIE!!!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Śro 18:43, 05 Kwi 2017    Temat postu:

To co? Logika ujemna jest niepotrzebna?! Bo Pani nigdy nie skłamie?!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 21:48, 05 Kwi 2017    Temat postu:

Wyjaśnienie znaczenia wszelkich zer i jedynek w dowolnej tabeli zero-jedynkowej!

fiklit napisał:
Dopóki jasno i wyraźnie nie powiesz co to są te 0 i 1 w Twoich tabelkach to jest to zupełnie niezrozumiałe. Piszesz na marne.

W niniejszym poście masz wyjaśnienie - pytaj jeśli czegoś nie rozumiesz.

fiklit napisał:
To co? Logika ujemna jest niepotrzebna?! Bo Pani nigdy nie skłamie?!

Logika dodatnia i ujemna to banał, którym biegle posługują się wszystkie 5-cio taki.
Nie da się bez tych pojęć poprawnie zapisać ani jednej funkcji logicznej!
Problem w tym że matematycy nie mają pojęcia co to jest funkcja logiczna, w przeciwieństwie do inżynierów ze świata techniki.

Niestety Fiklicie, świat techniki jest o lata świetlne przed matematykami.

Świat techniki:
[link widoczny dla zalogowanych]
Na stronie 3 napisana jest funkcja logiczna realizowana przez negator (inwerter) jako:
Y=~p
Na stronie 2 karty katalogowej zapisana jest tabela prawdy inwertera:
Kod:

Tabela prawdy inwertera z katalogu
   p   Y
A: 1  =0
B: 0  =1


Kod:

Pełna tabela prawdy inwertera z algebry Kubusia
   p ~p Y=~p ~Y=p
A: 1  0  =0    =1
B: 0  1  =1    =0


Matematycy funkcję logiczną negatora kodują tak:
[link widoczny dla zalogowanych]
Kod:

   p ~p
A: 1  0
B: 0  1

Oczywistym jest że to jest jedna wielka tragedia - bo tu nie ma żadnej funkcji logicznej Y!
To dokładnie tak, jakby chcieć rozmawiać o matematyce klasycznej bez osi Y w układzie Kartezjańskim!

Wróćmy do ludzi normalnych, czyli do świata techniki.
Kod:

Tabela prawdy inwertera z katalogu
   p   Y
A: 0  =1
B: 1  =0

Jedziemy po kolei.
1.
Czy zgadzasz się na taki opis matematyczny powyższej tabeli:
Y=1 <=> p=0
oraz:
Y=0 <=> p=1

Podpowiedzi:
1.
Zobacz minterm:
[link widoczny dla zalogowanych]
2.
Zobacz jak to robi prof. Newelski (punkt 2.7):
[link widoczny dla zalogowanych]

To jest tragedia:
W całej Wiki nikt nie zapisuje równań logicznych w postaci funkcji logicznych!
Nieliczne wyjątki oprócz w/w jakie znalazłem to:
3.
[link widoczny dla zalogowanych]
Dobry wykład tłumaczący przejście z tabeli zero-jedynkowej do funkcji logicznej:
f(p,q,r) - strona 3

Kolejny rodzynek gdzie wyjaśnia się metodykę tworzenia równania algebry Boole’a z dowolnej tabeli zero-jedynkowej to:
4.
[link widoczny dla zalogowanych]
To jest absolutny rodzynek w całej Wikipedii!
Wyjaśniający krok po kroku jak tworzy się wszelkie równania logiczne z tabeli zero-jedynkowej - zarówno alternatywno-koniunkcyjne, jak i koniunkcyjno- alternatywne.
Cała reszta Wikipedii w tym temacie to:
dno, badziewie, gówno etc.

W algebrze Kubusia robi się prawie identycznie jak w punkcie 4 … lecz dużo prościej, napisałem na ten temat setki postów - czy mam powtórzyć co najważniejsze?

Wracając do tematu:
[link widoczny dla zalogowanych]

Kod:

Tabela prawdy inwertera z katalogu
   p   Y
A: 0  =1
B: 1  =0

Jedziemy po kolei.
1.
Czy zgadzasz się na taki opis matematyczny powyższej tabeli:
A: Y=1 <=> p=0
oraz:
B: Y=0 <=> p=1

P.S.
… a jednak pociągnę to do końca, bo chcę byś zrozumiał, a nie podejrzewał iż chcę cię wpuścić w maliny.

Prawa Prosiaczka:
(p=0) = (~p=1)
Na mocy prawa Prosiaczka sprowadzamy zmienne w równaniach A i B do jedynek, stąd mamy:
A: Y=1 <=> ~p=1
B: ~Y=1<=>p=1
Jedynki (prawda) są w logice matematycznej domyślne, możemy je opuścić nic nie tracąc na jednoznaczności.
Stąd mamy układ równań logicznych opisujący funkcję logiczną zwaną NEGACJĄ!
A.
Y=~p
co matematycznie oznacza:
Y=1 <=> ~p=1
B.
~Y=p
co matematycznie oznacza:
~Y=1 <=> p=1

Dowód iż 5-cio latki w temacie zrozumienia logiki dodatniej i ujemnej mogą przykryć najwybitniejszych ziemskich matematyków czapkami jest niżej.

Pani w przedszkolu:
A.
Jutro nie pójdziemy do kina
Y=~K - logika dodatnia bo Y
co matematycznie oznacza:
Y=1<=>~K=1
czytamy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

.. a kiedy pani skłamie?
Negujemy równanie A dwustronnie:
B.
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
~Y=K - logika ujemna bo ~Y
co matematycznie oznacza:
~Y=1<=>K=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Znaczenie symboli:
Y - pani dotrzyma słowa
~Y - pani skłamie (=nie dotrzyma słowa)
K - pójdziemy do kina
~K - nie pójdziemy do kina

Zuzia do Jasia (oboje po 5 wiosenek):
… a czy może się zdarzyć że jutro pójdziemy do kina?
Jaś:
Negujemy równanie B stronami:
Y = ~(K)
stąd:
A’.
Nie może się zdarzyć ~(..), że jutro pójdziemy do kina (K=1)
Y = ~(K)

Jeśli ktoś nie rozumie tego postu to proszę o pytania!


Ostatnio zmieniony przez rafal3006 dnia Śro 22:14, 05 Kwi 2017, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Śro 22:15, 05 Kwi 2017    Temat postu:

"Na stronie 2 karty katalogowej zapisana jest tabela prawdy inwertera: "
O, ale tam nie ma "=1" "=0" tzn. nie ma "=", czy to jakaś różnica?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Śro 22:31, 05 Kwi 2017    Temat postu:

fiklit napisał:
"Na stronie 2 karty katalogowej zapisana jest tabela prawdy inwertera: "
O, ale tam nie ma "=1" "=0" tzn. nie ma "=", czy to jakaś różnica?

To żadna różnica, to "=" stosuję dla zaznaczenia że sygnał wyjściowy Y jest odpowiedzią układu na wszelkie wymuszenia na wejściu układu cyfrowego, zapisane w kolumnie Y.
Chodzi o to że Y w AK nie jest przynoszone w teczce - to cyfrowa, jednoznaczna odpowiedź układu - w tym przypadku Inwertera.
Oczywistym jest że we wszelkich moich tabelach możesz wywalić to "=" w kosmos, to bez znaczenia.
Powtórzę:
Stosuję "=" w celu odróżnienia sygnałów wejściowych wymuszających (p,q,r..) od sygnału wyjściowego Y będącego jednoznaczną odpowiedzią cyfrową na wszelkie wymuszenia na wejściach p,q,r..
Nie muszę używać tego "=" bo sam zapis Y w nagłówku kolumny wynikowej dokładnie to oznacza - walę znak "=" z przyzwyczajenia, nie z matematycznej konieczności!


Ostatnio zmieniony przez rafal3006 dnia Śro 22:41, 05 Kwi 2017, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Czw 7:21, 06 Kwi 2017    Temat postu:

Czy 0, fałsz i niemożliwe to to samo?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 8:25, 06 Kwi 2017    Temat postu:

Znaczenie 0 i 1 w algebrze Kubusia!

fiklit napisał:
Czy 0, fałsz i niemożliwe to to samo?

W równaniach algebry Boole’a wyrażonych spójnikami ”lub”(+) i „i”(*) zero kompletnie nie występuje!
… bo wszystkie zmienne są tu sprowadzone do logicznych jedynek.
Wreszcie znalazłem jednego sprawiedliwego w Wikipedii który wie o co chodzi w logice matematycznej - oczywiście nie do końca bo nie zna praw Prosiaczka, ale oba rodzaje funkcji logicznych, zarówno alternatywno-koniunkcyjne, jak i koniunkcyjno-alternatywne z dowolnej tabeli zero-jedynkowej generuje poprawnie
[link widoczny dla zalogowanych]

Każdy 5-cio latek bez problemu zrozumie postać alternatywno-koniunkcyjną, z postacią koniunkcyjno-alternatywną bardziej złożoną będzie mieć problemy absolutnie każdy człowiek.
Nie ma potrzeby stosowania niezrozumiałej postaci koniunkcyjno-alternatywnej bowiem postać tą w trywialny sposób można sprowadzić do postaci alternatywno koniunkcyjnej poprzez wymnożenie wielomianów.

Dowód iż postać koniunkcyjno-alternatywna jest niezrozumiała na przykładzie równoważności Pitagorasa:
Y = TP<=>SK = TP*SK + ~TP*~SK - to zrozumie każdy gimbus
Równoważność Pitagorasa będzie prawdziwa (Y=1) wtedy i tylko wtedy gdy wylosujemy:
A: TP*SK =1*1=1 - trójkąt prostokątny (TP=1) w którym zachodzi suma kwadratów (SK=1)
lub
D: ~TP*~SK=1*1 =1 - trójkąt nieprostokątny (~TP=1) w którym nie zachodzi suma kwadratów (~SK=1)
… ale to?
Y = TP<=>SK = (TP=>SK)*(~TP=>~SK) = (~TP+SK)*(TP+~SK) =1*1 =1
Odczytujemy postać koniunkcyjno-alternatywną:
Y = TP<=>SK = (~TP+SK)*(TP+~SK) = 1*1 =1
Równoważność Pitagorasa będzie prawdziwa gdy … szkoda sobie łamać języka bo i tak żaden człowiek tego nie zrozumie

fiklit napisał:
Czy 0, fałsz i niemożliwe to to samo?

Odpowiem na twoje pytanie na przykładzie twierdzenia Pitagorasa (TP=>SK), wchodzącego w skład operatora równoważności.
Kod:

                    |Postać       |Postać       |co matematycznie
                    |alternatywno |alternatywno |oznacza
                    |koniunkcyjna |koniunkcyjna |
                    |dla Y        |dla ~Y       |
   p  q ~p ~q  Y ~Y |             |             |
A: 1  1  0  0  1  0 | Ya= p* q    |             | Ya=1<=> p=1 i  q=1
B: 1  0  0  1  0  1 |             |~Yb= p*~q    |~Yb=1<=> p=1 i ~q=1
C: 0  1  1  0  0  1 |             |~Yc=~p* q    |~Yc=1<=>~p=1 i  q=1
D: 0  0  1  1  1  0 | Yd=~p*~q    |             | Yd=1<=>~p=1 I ~q=1

I.
Kiedy równoważność Pitagorsa będzie prawdziwa?
Y=Ya+Yb
Y = p*q+~p*~q
Y = TP*SK+~TP*~SK
co matematycznie oznacza:
Y=1 <=> TP=1 i SK=1 lub ~TP=1 i ~SK=1
Odpowiedź:
Równoważność Pitagorasa będzie prawdziwa (Y=1) wtedy i tylko wtedy gdy wylosujemy:
A: TP*SK =1*1=1 - trójkąt prostokątny (TP=1) w którym zachodzi suma kwadratów (SK=1)
lub
D: ~TP*~SK=1*1 =1 - trójkąt nieprostokątny (~TP=1) w którym nie zachodzi suma kwadratów (~SK=1)
II.
Kiedy równoważność Pitagorasa będzie fałszem?
~Y=~Yb+~Yc
~Y = p*~q + ~p*q
co matematycznie oznacza:
~Y=1 <=> p=1 i ~q=1 lub ~p=1 i q=1
~Y = TP*~SK + ~TP*SK
co matematycznie oznacza:
~Y=1 <=> TP=1 i ~SK=1 + ~TP=1 i SK=1
Odpowiedź:
Prawdą jest (=1) że równoważność Pitagorasa będzie fałszem (~Y) wtedy i tylko wtedy gdy wylosujemy:
B: TP*~SK=1*1 =1 - trójkąt prostokątny (TP=1) w którym nie zachodzi suma kwadratów (~SK=1)
lub
C: ~TP*SK = 1*1=1 - trójkąt nie prostokątny (~TP=1) w którym zachodzi suma kwadratów (SK=1)

fiklit napisał:
Czy 0, fałsz i niemożliwe to to samo?

Po co ci w logice symbolicznej, czyli w operowaniu równaniami algebry Boole’a jakiekolwiek zera?
W logice symbolicznej wszelkie zera są psu na budę potrzebne czego dowodem analiza równoważności Pitagorasa wyżej.

Oczywistym jest że obowiązują tu prawa Prosiaczka:
(p=0) = (~p=1) - to używamy w tworzeniu postaci alternatywno-koniunkcyjnej (postać rozumiana przez 5-cio latków)
(p=1 )= (~p=0) - to używamy w tworzeniu postaci koniunkcyjno-alternatywnej (w wersji nietrywialnej postać niezrozumiała dla żadnego człowieka)

O czym nawet jedyny sprawiedliwy wśród ziemskich matematyków:
[link widoczny dla zalogowanych]
nie ma bladego pojęcia (póki co oczywiście).

Teoria zbiorów:
fiklit napisał:
Czy 0, fałsz i niemożliwe to to samo?

W spójnikach implikacyjnych (zdania „Jeśli p to q”) zero może się pojawić tylko i wyłącznie na wyjściu Y sygnalizując nie spełnienie jednego z trzech spójników implikacyjnych.
p=>q =1 - gdy zbiór p jest podzbiorem => q (warunek wystarczający =>)
p~>q =1 - gdy zbiór p jest nadzbiorem ~> q (warunek konieczny ~>)
p~~>q = p*q =1 - gdy zbiór p ma co najmniej jeden element wspólny ze zbiorem q

Po stronie wejścia p i q muszą być zbiory niepuste, bo nie możemy operować na zbiorach pustych.
Przykład:
Jeśli [] to ma cztery łapy
[]=>4L =0
Tu mamy zbiór pusty w poprzedniku.
Dowód iż to zdanie jest fałszywe jest trywialny.

Prawo Kobry:
Warunkiem koniecznym prawdziwości dowolnego zdania warunkowego „Jeśli p to q” jest prawdziwość tego zdania pod kwantyfikatorem małym ~~>
Nasze zdanie:
[]~~>4L=[]*4L = [] =0
Prawo Kobry to Armagedon totalnie całej logiki „matematycznej” ziemian - bezpośredni wniosek z prawa subalternacji.

Proste jak cep!

http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-1125.html#320957
idiota napisał:
No a nie pamiętasz?
1 to zbiór nie-pusty czyli prawda, czyli coś co istnieje, a 0 to zbiór pusty, czyli fałsz i go nie ma.
:rotfl:

Czy możesz Idioto zapisać czego nie rozumiesz z tego postu?


Ostatnio zmieniony przez rafal3006 dnia Czw 9:25, 06 Kwi 2017, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 17 tematów

Skąd: stolnica

PostWysłany: Czw 8:53, 06 Kwi 2017    Temat postu:

A co z np takim równaniem algebry Boolea:

0+1=1

Jest ono w tej algebrze prawdziwe i na pierwszym miejscu stoi tam 0.
Jak to???
O.o
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 8:57, 06 Kwi 2017    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-1125.html#320957
idiota napisał:
No a nie pamiętasz?
1 to zbiór nie-pusty czyli prawda, czyli coś co istnieje, a 0 to zbiór pusty, czyli fałsz i go nie ma.
:rotfl:

Czy możesz Idioto zapisać czego nie rozumiesz z mojego postu wyżej?

idiota napisał:
A co z np takim równaniem algebry Boolea:

0+1=1

Jest ono w tej algebrze prawdziwe i na pierwszym miejscu stoi tam 0.
Jak to???
O.o

Odpowiedź masz w podpisie - punkt 2.5
D -dziedzina (=1)
[] - zbiór pusty (=0)
[]+D =D =1
[]*D = [] =0


Ostatnio zmieniony przez rafal3006 dnia Czw 9:00, 06 Kwi 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Czw 10:32, 06 Kwi 2017    Temat postu:

W całej mojej przygodzie z logiką nie spotkałem się z taką liczbą zer i jedynek co u Ciebie. Więc się zdecyduj. Są potrzebne i opiszesz co dokładnie znaczą czy nie są potrzebne i nie będziesz ich używał.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 10:43, 06 Kwi 2017    Temat postu:

fiklit napisał:
W całej mojej przygodzie z logiką nie spotkałem się z taką liczbą zer i jedynek co u Ciebie. Więc się zdecyduj. Są potrzebne i opiszesz co dokładnie znaczą czy nie są potrzebne i nie będziesz ich używał.

Nawiązując do mojego postu wyżej omawiającego równoważność Pitagorasa wyrażoną spójnikami "lub"(+) i "i"(*).
Y = TP<=>SK = TP*SK + ~TP*~SK
co matematycznie oznacza:
Y=1 <=> TP=1 i SK=1 lub ~TP=1 i ~SK=1

Czy możesz zapisać w którym miejscu LZ widzi w powyższym równaniu algebry Boole'a jakiekolwiek zero?


Ostatnio zmieniony przez rafal3006 dnia Czw 22:53, 06 Kwi 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Czw 11:31, 06 Kwi 2017    Temat postu:

Bez związku z tym co napisałem.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Czw 23:31, 06 Kwi 2017    Temat postu:

Czym różni się logika symboliczna od logiki zero-jedynkowej?

fiklit napisał:
W całej mojej przygodzie z logiką nie spotkałem się z taką liczbą zer i jedynek co u Ciebie. Więc się zdecyduj. Są potrzebne i opiszesz co dokładnie znaczą czy nie są potrzebne i nie będziesz ich używał.

W logice matematycznej AK wszelkie składowe zdań mają wartość logiczną =1.
Przykład:
A.
Jeśli (=1) zwierzę (=1) jest (=1) psem (=1) to (=1) ma (=1) cztery (=1) łapy (=1)
P=>4L =1
Każdy wyraz w tym zdaniu należy do Uniwersum i jest zrozumiały przez człowieka, ma zatem wartość logiczną równą 1.
Logiczne 0 pojawia się w AK sporadycznie i tylko w zdaniach warunkowych jako wynik działania na zbiorach niepustych, co opisałem w końcówce tego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-1125.html#321015

Przykład pojawienia się 0 w logice symbolicznej:
B.
Jeśli (=1) zwierzę (=1) jest (=1) psem (=1) to (=1) może (=1) ~~> (=1) nie (=1) mieć (=1) czterech (=1) łap (=1)
P~~>~4L = P*~4L =[] =0
Definicja kwantyfikatora małego ~~> nie jest spełniona bo zbiór P=[pies] jest rozłączny ze zbiorem zwierząt nie mających czterech łap ~4L=[kura, wąż, mrówka ..]
Zdanie B to kontrprzykład dla zdania A.
Każdy 5-cio latek doskonale wie że zdanie B jest fałszywe, czyli intuicyjnie zna definicję kontrprzykładu.

Definicja kontrprzykładu:
Kontrprzykładem dla warunku wystarczającego A: p=>q jest to samo zdanie z zanegowanym następnikiem pod kwantyfikatorem małym B: p~~>~q.
Rozstrzygnięcia:
Fałszywość kontrprzykładu B: p~~>~q =0 wymusza prawdziwość warunku wystarczającego A: p=>q =1 (i odwrotnie)
Prawdziwość kontrprzykładu B: p~~>~q =1 wymusza fałszywość warunku wystarczającego A: p=>q =0 (i odwrotnie)

W 100-milowym lesie definicję kontrprzykładu zna każdy gimnazjalista.
Na ziemi definicję kontrprzykładu intuicyjnie zna każdy 5-cio latek z wykluczeniem zawodowego matematyka.
Kiedy to wariatkowo się skończy i matematycy zaakceptują podaną wyżej definicję kontrprzykładu?
Odpowiadam:
Wtedy i tylko wtedy gdy matematycy zaakceptują prawdziwość/fałszywość zdań warunkowych pod kwantyfikatorem małym ~~> o definicji.
p~~>q = p*q =1 - zdanie pod kwantyfikatorem małym ~~> jest prawdziwe wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny.
Przykład:
Jeśli zwierzę jest psem to może ~~> mieć cztery łapy
P~~>4L = P*4L =1 bo mój Burek
Tu pokazuję jeden element wspólny zbiorów P=[pies] i 4L=[pies, koń, słoń..] i już zdanie pod kwantyfikatorem małym ~~> jest prawdziwe.

Podsumowując:
Ziemscy matematycy zaakceptują banalną definicję kontrprzykładu tu podaną wtedy i tylko wtedy gdy uprzednio wykopią w kosmos gówno zwane „implikacją materialną”.
Czy matematycy będą w stanie to zrobić?
... oto jest pytanie!

Wracając do tematu, czyli:
Czym różni się logika symboliczna od logiki zero-jedynkowej?

Prawa Prosiaczka możemy stosować zawsze i wszędzie do dowolnej zmiennej binarnej.

Logika symboliczna:
Prawa Prosiaczka:
(p=1) = (~p=0)
(~p=1) = (p=0)
1=1
ale:
p # ~p
0=0
ale:
~p # p
Korzystając z praw Prosiaczka możemy wywalić z logiki matematycznej wszystkie 1 i 0 zastępując je symbolami p i ~p. Wtedy i tylko wtedy dostaniemy logikę symboliczną totalnie izolowaną od idiotycznych 0 i 1.
W logice symbolicznej 0 wyskoczy nam sporadycznie w spójnikach implikacyjnych jako wynik działania na zbiorach niepustych co opisałem w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-1125.html#321015
Przykład:
A.
Jutro nie pójdziemy do kina
Y=~K
co matematycznie oznacza:
Y=1 <=> ~K=1
Prawo Prosiaczka:
(~K=1) = (K=0)
… a kiedy pani skłamie?
Negujemy stronami:
~Y=K
co matematycznie oznacza:
~Y=1 <=> K=1
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
~Y=K
co matematycznie oznacza:
~Y=1 <=> K=1

Logika zero-jedynkowa:
Prawa Prosiaczka:
(p=1) = (~p=0)
(p=0) = (~p=1)
p=p
ale:
1 # 0
~p=~p
ale:
0 # 1
Korzystając z praw Prosiaczka możemy wywalić z logiki matematycznej wszelkie symbole p i ~p zostając w logice zero-jedynkowej 0 i 1.
Przykład:
A.
Jutro nie pójdziemy do kina
Y=1 <=> K=0
.. a kiedy pani skłamie?
Negujemy stronami:
Y=0 <=> K=1
STOP!
Doskonale tu widać błąd czysto matematyczny, bowiem negacja stronami równania A to:
~Y=0<=>~K=1
Nie mamy najmniejszych szans na zapisanie tego zdania w postaci równania algebry Boole’a izolowanego od wszelkich 0 i 1 - porównajmy to z logiką symboliczną wyżej.

Żaden człowiek nie używa logiki zero-jedynkowej!
Skutki takiego podejścia do logiki matematycznej są katastrofalne, bowiem wtedy musimy z góry określić wartość logiczną każdej części zdania.
W zdaniach warunkowych „Jeśli p to q” lądujemy wówczas w wariatkowie:
[link widoczny dla zalogowanych]
dr. Marek Kordas w powyższym linku napisał:

Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.

Oczywiście, zdanie to jest prawdziwe, ale czy ma sens? Przecież między pewnym faktem arytmetycznym a innym faktem geograficznym żadnego związku nie ma. Dlaczego więc chcemy twierdzić (ba, uczyć tego), że te dwa zdania są równoważne?

Albo zdanie:
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa.

Z punktu widzenia logiki to zdanie jest prawdziwe. Tu już po obu stronach implikacji są zdania dotyczące faktów matematycznych. Dlaczego jednak chcemy zmusić młodego człowieka, by widział w tym sens?
.. .. ..
Powstają dwa pytania.
Po pierwsze, czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat?
Po drugie, czy faktycznie należy trzymać ją jak najdalej od młodzieży, bo tylko ją demoralizuje, każąc za wiedzę uważać takie androny, jak przytoczone powyżej?
.. .. ..
Ale naprawdę chodzi o to, że – jak z małżeństwem i demokracją – lepszej propozycji dotąd nie wynaleziono. A szkoda.

Podsumowanie:
Wszyscy ludzie na ziemi od 5-cio latka poczynając na prof. matematyki kończąc używają logiki symbolicznej izolowanej od jakichkolwiek zer i jedynek.


Ostatnio zmieniony przez rafal3006 dnia Pią 8:09, 07 Kwi 2017, w całości zmieniany 7 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Pią 8:27, 07 Kwi 2017    Temat postu:

Cytat:
dostaniemy logikę symboliczną totalnie izolowaną od idiotycznych 0 i 1.
W logice symbolicznej 0 wyskoczy nam sporadycznie w spójnikach implikacyjnych jako wynik działania na zbiorach niepustych

hm.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 9:18, 07 Kwi 2017    Temat postu:

fiklit napisał:
Cytat:

1. dostaniemy logikę symboliczną totalnie izolowaną od idiotycznych 0 i 1.
2. W logice symbolicznej 0 wyskoczy nam sporadycznie w spójnikach implikacyjnych jako wynik działania na zbiorach niepustych

hm.

AK jest totalnie izolowana od idiotycznych 0 i 1 po stronie wejścia p i q.
Tu mamy zawsze i wszędzie same jedynki (zbiory niepuste) - zatem tu zdanie 1 jest prawdziwe.
Zdanie 2 dotyczy wyłącznie wyjścia Y - tu sporadycznie może się pojawić zero ..
ALE!
W praktyce języka mówionego to 0 nie wyskoczy nam nigdy, bowiem 5-cio latki i humaniści operują na banalnej teorii zbiorów, a nie na zbiorach czysto matematycznych typu P8=>P2.

Nikt nie wypowiada zdań logicznie fałszywych typu:
Jeśli zwierzę jest psem to może ~~> nie mieć czterech łap
P~~>~4L = P*~4L = [] =0 - bo zbiory rozłączne

Oczywiście każdy 5-cio latek doskonale wie że to zdanie jest fałszywe ... i dlatego nigdy go nie wypowie.
Jeśli jednak nasz Idiota wypowie to zdanie - to 5-cio latek nie będzie miał najmniejszego problemu z udowodnieniem Idiocie iż powiedział zdanie fałszywe.
Dowód 5-cio latka:
Każdy 5-cio latek wie że zbiór P=[pies] jest rozłączny ze zbiorem zwierząt nie mających 4 łap ~4L=[kura, wąż, mrówka..]


Ostatnio zmieniony przez rafal3006 dnia Pią 9:25, 07 Kwi 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Pią 9:29, 07 Kwi 2017    Temat postu:

Czy chcesz przekazać, że fałsz jest wymysłem tych złych matematyków o wypranych mózgach i gdyby nie logika matematyczny, to wszystko co mówimy byłoby prawdą?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 10:31, 07 Kwi 2017    Temat postu:

fiklit napisał:
Czy chcesz przekazać, że fałsz jest wymysłem tych złych matematyków o wypranych mózgach i gdyby nie logika matematyczny, to wszystko co mówimy byłoby prawdą?

NIE!
Człowiek ma wolna wolę i może łamać dowolne prawa logiki matematycznej.

Przykład:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub do teatru (T=1)
… a kiedy pani skłamie?
Negujemy równanie A stronami:
~Y=~(K+T) = ~K*~T
Czyli:
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
B.
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1

Udowodnij proszę, że zdanie B jest fałszywe.
Jak to udowodnisz to kasuję AK.

Prawo Prosiaczka:
(~Y=1) = (Y=0)
gdzie:
~Y=1 - pani skłamie w logice ujemnej (bo ~Y)
Y=0 - pani skłamie w logice dodatniej (bo Y)
Matematycznie jest tu wszystko w porządku.

Możesz powiedzieć:
C.
Fałszem jest (=0) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (K=0) i nie pójdziemy do teatru (T=0)
Y=0 <=> K=0 i T=0

W tabeli zero-jedynkowej wszystko zgadza, sprawdźmy:
Kod:

   K  T ~K ~T Y=K+T ~Y=~K*~T
A: 1  1  0  0  =1     =0
B: 1  0  0  1  =1     =0
C: 0  1  1  0  =1     =0
D: 0  0  1  1  =0     =1
   1  2  3  4   5      6

Linia D123456:
1. ~Y=1 <=> ~K=1 i ~T=1
Linia D123456:
2. Y=0 <=> K=0 i T=0
Tożsamość na mocy prawa Prosiaczka:
(~p=1) = (p=0)
jest tu ewidentna.
Doskonale widoczna w tabeli zero-jedynkowej
Zapisy matematycznie tożsame:
3. Y=0 <=> ~K=1 i T=0
4. ~Y=1<=>~K=1 i T=0
etc
Matematycznie:
1=2=3=4 etc

… ale jak przejść z równania 1 do 2?
Zanegujmy równanie 1 stronami.
~(~Y=1) <=> ~(~K=1 i ~T=1)
stąd:
Y=0 <=> K=0 lub T=0 - na mocy prawa De Morgana
Doskonale widać, że algebra Boole’a operująca na wartościach bezwzględnych się załamuje!

Natomiast symboliczna algebra Boole’a działa wspaniale:
1.
~Y = ~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
… a kiedy zajdzie Y?
Negujemy stronami:
2.
Y = ~(~K*~T) = K+T - prawo De Morgana
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
ok


Ostatnio zmieniony przez rafal3006 dnia Pią 10:34, 07 Kwi 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Pią 11:26, 07 Kwi 2017    Temat postu:

"doskonale wie że to zdanie jest fałszywe ... i dlatego nigdy go nie wypowie"
No to wypowie czy nie wypowie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25038
Przeczytał: 18 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 12:08, 07 Kwi 2017    Temat postu:

fiklit napisał:
"doskonale wie że to zdanie jest fałszywe ... i dlatego nigdy go nie wypowie"
No to wypowie czy nie wypowie.

Tu nie ma żadnego przymusu to "nigdy" powinno być w cudzysłowie - czyli może wypowiedzieć ale praktycznie nigdy go nie wypowie, powiedzmy z prawdopodobieństwem 99,99% nie wypowie.

Czyli tylko 0,01% ludzkości przez nikogo nie sprowokowana (np. Idiotę) będzie wypowiadała z własnej i nieprzymuszonej woli ewidentne fałsze logiczne typu:
A.
Jeśli jutro będzie padało to może ~~> nie być pochmurno
P~~>~CH = P*~CH =[] =0
... bo to jest wariatkowo czystej wody - nikt nie będzie z siebie robił błazna nieznającego fundamentów logiki matematycznej - wszyscy jesteśmy ekspertami algebry Kubusia!


Ostatnio zmieniony przez rafal3006 dnia Pią 12:22, 07 Kwi 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Pią 12:13, 07 Kwi 2017    Temat postu:

Włącz TV. :)
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 45, 46, 47 ... 136, 137, 138  Następny
Strona 46 z 138

 
Skocz do:  
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
Regulamin