 |
Ś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: Śro 12:52, 07 Mar 2018 Temat postu: |
|
|
Udowodnij że do opisu tabeli potrzebne są zarówno Y jak i ~Y.
Czyli pokaz, że jak ktoś dostanie tylko Y to nie jest w stanie utworzyć jednoznacznie tabeli.
Tak? To jest proste. Wystarczy podać przykład Y=..... i pokazać, że można z niej utworzyć dwie różne tabele.
Ostatnio zmieniony przez fiklit dnia Śro 12:53, 07 Mar 2018, 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: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 13:18, 07 Mar 2018 Temat postu: |
|
|
| fiklit napisał: | Udowodnij że do opisu tabeli potrzebne są zarówno Y jak i ~Y.
Czyli pokaz, że jak ktoś dostanie tylko Y to nie jest w stanie utworzyć jednoznacznie tabeli.
Tak? To jest proste. Wystarczy podać przykład Y=..... i pokazać, że można z niej utworzyć dwie różne tabele. |
Fiklicie, aby jednoznacznie zapisać tabelę zero-jedynkową wystarczy znajomość jednej z czterech możliwych funkcji logicznych związanych matematycznie z tą tabelą.
Nie oznacza to oczywiście że zachodzi tożsamość:
Y=f(x) = ~Y=~f(x)
a skoro ta tożsamość nie zachodzi to koniecznym jest wyznaczenie zarówno funkcji logicznej Y=f(x) jak i funkcji logicznej ~Y=~f(x).
Gdyby powyższa tożsamość zachodziła to wtedy wyznaczanie funkcji przeciwnej byłoby zbędne.
Powtórzę:
Bez znaczenia jest tu łatwość wyznaczenia jednej wobec znajomości drugiej
Mówi o tym wielkie prawo Kłapouchego:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#366807
Wielkie prawo Kłapouchego:
Do poprawnego opisu matematycznego dowolnej tabeli zero-jedynkowej w spójnikach „i”(*) i „lub”(+) jest potrzebna i wystarczająca znajomość jednej z czterech możliwych tu funkcji logicznych.
Zauważ, ze absolutnie nie muszę widzieć na oczy żadnej tabeli zero-jedynkowej aby wyznaczyć wszystkie cztery funkcje logiczne związane z jakąś tam (nie obchodzi minie jaką) tabelą zero-jedynkową.
Kolejne zadanko matematyczne:
Zadanie 2
Wyznacz wszystkie możliwe funkcje logiczne powiązane matematycznie z poniższą funkcją:
Y = p*~q + ~q*p
Rozwiązanie Zuzi, uczennicy I klasy LO w 100-milowym lesie:
1.
Uzupełniam brakujące nawiasy:
Y = (p*~q)+(~p*q)
Przechodzę do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
2.
~Y = (~p+q)*(p+~q)
3.
Wymnażam wielomian celem otrzymania tożsamej postaci alternatywno-koniunkcyjnej:
~Y = ~p*p + ~p*~q + q*p + q*~q
~Y = p*q + ~p*~q
4.
Uzupełniam w 3 brakujące nawiasy:
~Y = (p*q)+(~p*~q)
Przechodzę do logii dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
Y =(~p+~q)*(p+q)
Oczywistym jest ze matematycznie zachodzi:
1: Y =p*~q +~p*q [=] 4: Y = (~p+~q)*(p+q)
3: ~Y=p*q+~p*~q [=] 2: (~p+q)*(p+~q)
Podsumowując:
Czy powyższe to jest zdaniem ziemian matematyka ścisła?
Innymi słowy:
Czy powyższe zadnie ma sens matematyczny, czy też sensu matematycznego w nim nie ma bo … no właśnie, bo co?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 13:27, 07 Mar 2018 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#367129
| Taz napisał: | Ewentualnie podaj dwie różne tabele pasujące do funkcji Y, skoro nie wystarcza ona do jednoznacznego opisu tabeli.
I pytanie pomocnicze - czy potrafisz wypisać funkcję ~Y, mając daną funkcję Y? |
Jak udowodnisz, ze gdziekolwiek napisałem iż tabeli zero-jedynkowej pasującej do funkcji logicznej Y jest więcej niż jedna to kasuję AK.
To są twoje rojenia Fizyku ....
| Kod: |
p q Y=p*~q+~p*q ~p ~q ~Y=p*q+~p*~q
A: 1 1 =0 0 0 =1
B: 1 0 =1 0 1 =0
C: 0 1 =1 1 0 =0
D: 0 0 =0 1 1 =1
1 2 3 4 5 6
|
Pytanie do fizyka:
Czy tabele zero-jedynkowe ABCD123 i ABCD 456 są tożsame?
Oczywistym jest że możesz zapisać tabelę ABCD456 i przejść z nią do tabeli ABCD123 w sposób odwrotny. Nie oznacza to oczywiście tożsamości w/w tabel zero-jedynkowych.
Ostatnio zmieniony przez rafal3006 dnia Śro 13:29, 07 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Śro 13:37, 07 Mar 2018 Temat postu: |
|
|
| rafal3006 napisał: | Jak udowodnisz, ze gdziekolwiek napisałem iż tabeli zero-jedynkowej pasującej do funkcji logicznej Y jest więcej niż jedna to kasuję AK.
To są twoje rojenia Fizyku .... |
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#367103
| rafal3006 napisał: | | Do opisu dowolnej tabeli zero jedynkowej w spójnikach "i"(*) i "lub"(+) są potrzebne ~> i wystarczające => dwie różne funkcje logiczne Y i ~Y |
Napisałeś że do opisu dowolnej tabeli zero-jedynkowej są potrzebne dwie różne funkcje logiczne.
Oznacza to, że jedna funkcja logiczna nie wystarczy.
To z kolei oznacza, że mając daną jedną funkcję logiczną, nie dostaniemy pełnego opisu tabeli - lub, inaczej mówiąc, jest możliwe istnienie więcej niż jednej tabeli pasującej do danej pojedynczej funkcji (gdyby istniała tylko jedna, to byłby to pełen opis).
Kasuj AK.
Ostatnio zmieniony przez Taz dnia Śro 13:38, 07 Mar 2018, 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: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 13:44, 07 Mar 2018 Temat postu: |
|
|
| Taz napisał: | | rafal3006 napisał: | Jak udowodnisz, ze gdziekolwiek napisałem iż tabeli zero-jedynkowej pasującej do funkcji logicznej Y jest więcej niż jedna to kasuję AK.
To są twoje rojenia Fizyku .... |
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#367103
| rafal3006 napisał: | | Do opisu dowolnej tabeli zero jedynkowej w spójnikach "i"(*) i "lub"(+) są potrzebne ~> i wystarczające => dwie różne funkcje logiczne Y i ~Y |
Napisałeś że do opisu dowolnej tabeli zero-jedynkowej są potrzebne dwie różne funkcje logiczne.
Oznacza to, że jedna funkcja logiczna nie wystarczy.
To z kolei oznacza, że mając daną jedną funkcję logiczną, nie dostaniemy pełnego opisu tabeli - lub, inaczej mówiąc, jest możliwe istnienie więcej niż jednej tabeli pasującej do danej pojedynczej funkcji (gdyby istniała tylko jedna, to byłby to pełen opis).
Kasuj AK. |
Pytanie 1.
Czy zgadzasz się że funkcje logiczne Y i ~Y są różne # w znaczeniu iż funkcja ~Y jest uzupełnieniem do dziedziny dla funkcji Y?
Innymi słowy:
Czy zgadzasz się że nie zachodzi tożsamość matematyczna:
Y=~Y
P.S.
| Taz napisał: | | I pytanie pomocnicze - czy potrafisz wypisać funkcję ~Y, mając daną funkcję Y? |
Strzeliłeś sobie w kolanko Fizyku, bo tego nie potrafi zapisać najwybitniejszy ziemski matematyk bo logika ujemna i dodatnia w logice matematycznej to dla współczesnego matematyka czarna magia - on totalnie nie wie co to za zwierzę!
Jak nie wierzysz to zapytaj Idioty 
Ostatnio zmieniony przez rafal3006 dnia Śro 13:51, 07 Mar 2018, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Śro 13:51, 07 Mar 2018 Temat postu: |
|
|
| rafal3006 napisał: | Czy zgadzasz się że nie zachodzi tożsamość matematyczna:
Y=~Y |
Oczywiście, że nie zachodzi, ale przypominam, że masz AK do skasowania.
| rafal3006 napisał: | | Strzeliłeś sobie w kolanko Fizyku, bo tego nie potrafi zapisać najwybitniejszy ziemski matematyk bo logika ujemna i dodatnia w logice matematycznej to dla współczesnego matematyka czarna magia - on totalnie nie wie co to za zwierzę! |
Zanegować równanie stronami potrafi każdy matematyk. To, że nie nazywa tego logiką ujemną, to już inna sprawa.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
| Wysłany: Śro 13:59, 07 Mar 2018 Temat postu: |
|
|
JAK TO NIE MA!!1!!1
MUSI MIEĆ11!!!!
PRZECIEŻ TO NASZ GENIUSZ WYMYŚLIŁ TĄ LOGIKĘ DODATNIĄ I UJEMNĄ, WIĘC MUSI MIEĆ Z NIĄ COŚ WSPÓLNEGO!!1111
(Znaczy co prawda nie wymyślił tylko źle zrozumiał, ale co tam...)
KASUJ LOGIKE !!!111111
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 13:59, 07 Mar 2018 Temat postu: |
|
|
| Taz napisał: |
| rafal3006 napisał: | Czy zgadzasz się że nie zachodzi tożsamość matematyczna:
Y=~Y |
Oczywiście, że nie zachodzi, ale przypominam, że masz AK do skasowania. |
Cos taki w gorącej wodzie kompany?
Pytanie 2
Kluczowe:
Czy obie funkcje logiczne Y i ~Y wynikają dokładnie z tej samej tabeli zero-jedynkowej?
Innymi słowy:
Czy jak nie znasz tabeli dla funkcji logicznej Y=f(x) to możesz zapisać tabelę zero-jedynkowa dla funkcji logicznej ~Y=~f(x)?
| Taz napisał: |
| rafal3006 napisał: | | Strzeliłeś sobie w kolanko Fizyku, bo tego nie potrafi zapisać najwybitniejszy ziemski matematyk bo logika ujemna i dodatnia w logice matematycznej to dla współczesnego matematyka czarna magia - on totalnie nie wie co to za zwierzę! |
Zanegować równanie stronami potrafi każdy matematyk. To, że nie nazywa tego logiką ujemną, to już inna sprawa. |
Pokaż mi jeden jedyny przykład gdzie dowolny matematyk gdziekolwiek napisał:
Y=p+q
~Y=~p*~q
Jak to pokażesz to kasuję AK.
Zauważ, że wszyscy ziemskcy matematycy zapisują:
Y=f(x)
dowodów w Wikipedii miliony
ale żaden z nich nie zapisał:
~Y=~f(x)
Wniosek:
Ziemscy matematycy nie wiedzą co to jest logika ujemna (bo ~Y).
Ostatnio zmieniony przez rafal3006 dnia Śro 14:02, 07 Mar 2018, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Śro 14:02, 07 Mar 2018 Temat postu: |
|
|
| rafal3006 napisał: | Pokaż mi jeden jedyny przykład gdzie dowolny matematyk gdziekolwiek napisał:
Y=p+q
~Y=~p*~q
Jak to pokażesz to kasuję AK.
|
Już masz skasować tak czy siak, więc słaba oferta.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 14:06, 07 Mar 2018 Temat postu: |
|
|
| idiota napisał: | JAK TO NIE MA!!1!!1
MUSI MIEĆ11!!!!
PRZECIEŻ TO NASZ GENIUSZ WYMYŚLIŁ TĄ LOGIKĘ DODATNIĄ I UJEMNĄ, WIĘC MUSI MIEĆ Z NIĄ COŚ WSPÓLNEGO!!1111
(Znaczy co prawda nie wymyślił tylko źle zrozumiał, ale co tam...)
KASUJ LOGIKE !!!111111
|
Najwyraźniej ktoś ci na odcisk nadepnął Idioto, że tak krzyczysz.
Pokaż mi jeden jedyny przykład gdzie dowolny matematyk gdziekolwiek napisał:
Y=p+q
~Y=~p*~q
Jak to pokażesz to kasuję AK.
Zauważ, że wszyscy ziemscy matematycy zapisują:
Y=f(x)
dowodów w Wikipedii miliony
ale żaden z nich nie zapisał:
~Y=~f(x)
Wniosek:
Ziemscy matematycy nie wiedzą co to jest logika ujemna (bo ~Y).
|
|
| Powrót do góry |
|
|
| 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: Śro 14:07, 07 Mar 2018 Temat postu: |
|
|
Czyli wobec wielkiego kłapouchego, to co pisałeś wcześniej
"Ad.2
Do opisu dowolnej tabeli zero jedynkowej w spójnikach "i"(*) i "lub"(+) są potrzebne ~> i wystarczające => dwie różne funkcje logiczne Y i ~Y " nie jest już aktualne?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 14:07, 07 Mar 2018 Temat postu: |
|
|
| Taz napisał: | | rafal3006 napisał: | Pokaż mi jeden jedyny przykład gdzie dowolny matematyk gdziekolwiek napisał:
Y=p+q
~Y=~p*~q
Jak to pokażesz to kasuję AK.
|
Już masz skasować tak czy siak, więc słaba oferta. |
Cos taki w gorącej wodzie kąpany?
Pytanie 2
Kluczowe:
Czy obie funkcje logiczne Y i ~Y wynikają dokładnie z tej samej tabeli zero-jedynkowej?
Innymi słowy:
Czy jak nie znasz tabeli dla funkcji logicznej Y=f(x) to możesz zapisać tabelę zero-jedynkowa dla funkcji logicznej ~Y=~f(x)?
Ostatnio zmieniony przez rafal3006 dnia Śro 14:09, 07 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| 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: Śro 14:12, 07 Mar 2018 Temat postu: |
|
|
|
rafał w jednym miejsu piszesz że wystarcza jedna w innym że potrzbne są dwie. może jednak skasujesz?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Śro 14:13, 07 Mar 2018 Temat postu: |
|
|
| rafal3006 napisał: | Czy obie funkcje logiczne Y i ~Y wynikają dokładnie z tej samej tabeli zero-jedynkowej?
Innymi słowy:
Czy jak nie znasz tabeli dla funkcji logicznej Y=f(x) to możesz zapisać tabelę zero-jedynkowa dla funkcji logicznej ~Y=~f(x)? |
Pozwól, że odpowiem pytaniem.
Czy jak nie znasz tabeli dla funkcji logicznej Y=f(p, q) to możesz zapisać tabelę zero-jedynkową dla funkcji Z = Y + p*q = f(p, q) + p*q?
Czy wynika z tego, że funkcje Y i Y + p*q "wynikają z tej samej tabeli"? Czy wynika z tego, że muszę znać funkcje Y i Y + p*q, żeby wypisać tabelę dla funkcji Y?
Bo jak nie, to znaczy, że Twoje pytanie było tylko marnowaniem czasu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 14:21, 07 Mar 2018 Temat postu: |
|
|
| Taz napisał: | | rafal3006 napisał: | Czy obie funkcje logiczne Y i ~Y wynikają dokładnie z tej samej tabeli zero-jedynkowej?
Innymi słowy:
Czy jak nie znasz tabeli dla funkcji logicznej Y=f(x) to możesz zapisać tabelę zero-jedynkowa dla funkcji logicznej ~Y=~f(x)? |
Pozwól, że odpowiem pytaniem.
Czy jak nie znasz tabeli dla funkcji logicznej Y=f(p, q) to możesz zapisać tabelę zero-jedynkową dla funkcji Z = Y + p*q = f(p, q) + p*q?
Czy wynika z tego, że funkcje Y i Y + p*q "wynikają z tej samej tabeli"? Czy wynika z tego, że muszę znać funkcje Y i Y + p*q, żeby wypisać tabelę dla funkcji Y?
Bo jak nie, to znaczy, że Twoje pytanie było tylko marnowaniem czasu. |
Zachowujesz się jak typowy Idiota - udajesz ze nie wiesz o co mi chodzi.
Zmieniam wiec pytanie:
Czy warunkiem koniecznym ~> zapisania funkcji logicznej ~Y=~f(x) jest znajomość funkcji logicznej Y=f(x)
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Śro 14:22, 07 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Śro 14:29, 07 Mar 2018 Temat postu: |
|
|
| rafal3006 napisał: | Zachowujesz się jak typowy Idiota - udajesz ze nie wiesz o co mi chodzi.
Zmieniam wiec pytanie:
Czy warunkiem koniecznym ~> zapisania funkcji logicznej ~Y=~f(x) jest znajomość funkcji logicznej Y=f(x)
TAK/NIE |
Ale ja doskonale wiem, o co Ci chodzi.
Dobrze, napiszę wprost, bo sam do tego nigdy nie dojdziesz.
Oczywiście, że muszę znać funkcję Y, żeby zapisać funkcję ~Y - czy to jako tabelę zero-jedynkową, czy w jakiejś równoważnej formie. Problem w tym, że nic z tego nie wynika.
A wiesz czemu nic z tego nie wynika? Bo to samo jest prawdziwe dla funkcji Y+p*q, Y*(p+q), Y*~p, Y+p i nieskończenie wielu innych funkcji. Jeśli więc ten argument miał w jakikolwiek sposób świadczyć o wyjątkowości funkcji ~Y, to tak samo świadczy o wyjątkowości tych nieskończenie wielu innych funkcji - czyli wcale. Wobec tego nie jest w ogóle argumentem i jedyne, czemu służy, to uciekanie od meritum, co w dyskusjach z Tobą nie jest zresztą nowością.
A poza tym masz chyba AK do skasowania, może byś się tym zajął.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 14:36, 07 Mar 2018 Temat postu: |
|
|
Fizyk w malinach!
| Taz napisał: | | rafal3006 napisał: | Zachowujesz się jak typowy Idiota - udajesz ze nie wiesz o co mi chodzi.
Zmieniam wiec pytanie:
Czy warunkiem koniecznym ~> zapisania funkcji logicznej ~Y=~f(x) jest znajomość funkcji logicznej Y=f(x)
TAK/NIE |
Ale ja doskonale wiem, o co Ci chodzi.
Dobrze, napiszę wprost, bo sam do tego nigdy nie dojdziesz.
Oczywiście, że muszę znać funkcję Y, żeby zapisać funkcję ~Y - czy to jako tabelę zero-jedynkową, czy w jakiejś równoważnej formie. Problem w tym, że nic z tego nie wynika. |
No i palnąłeś głupotę wszech czasów:
Pani:
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
pójdziemy w dowolne miejsce i już pani dotrzyma słowa (Y=1)
Negujemy stronami:
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Rozumiem fizyku, że dla ciebie wiedza kiedy jutro pani dotrzyma słowa (Y=1) a kiedy skłamie (~Y=1) jest dla ciebie wiedzą gówno wartą?
Poproszę o potwierdzenie tej matematycznej sensacji wszech czasów!
Ostatnio zmieniony przez rafal3006 dnia Śro 14:37, 07 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Śro 14:42, 07 Mar 2018 Temat postu: |
|
|
Jak zwykle zignorowałeś meritum i zaczynasz kręcić w kółko to samo. Wobec tego z mojej strony koniec rozmowy.
A AK dalej nie skasowałeś, kłamco, chociaż spełniłem Twój warunek. Irbisol to samo. Wiarygodność masz zerową.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 15:09, 07 Mar 2018 Temat postu: |
|
|
| Taz napisał: | Jak zwykle zignorowałeś meritum i zaczynasz kręcić w kółko to samo. Wobec tego z mojej strony koniec rozmowy.
A AK dalej nie skasowałeś, kłamco, chociaż spełniłem Twój warunek. Irbisol to samo. Wiarygodność masz zerową. |
Jak zwykle jest dokładnie odwrotnie, zasygnalizowałem meritum twojej głupoty iż funkcja ~Y=~K*~T nie jest ci potrzebna - jak zwykle zwiewasz w krzaki, zawsz to robisz gdy zbyt mocno się to twojej "teorii" dobiorę.
Mój przykład doskonale pokazuje iż twierdzenie ziemskich matematyków, jakoby funkcja logiczna w logice ujemnej ~Y=~K*~T była zbędna, jest nie do obrony!
Ostatnio zmieniony przez rafal3006 dnia Śro 15:11, 07 Mar 2018, 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: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 15:26, 07 Mar 2018 Temat postu: |
|
|
| Taz napisał: |
Oczywiście, że muszę znać funkcję Y, żeby zapisać funkcję ~Y - czy to jako tabelę zero-jedynkową, czy w jakiejś równoważnej formie. Problem w tym, że nic z tego nie wynika.
A wiesz czemu nic z tego nie wynika? Bo to samo jest prawdziwe dla funkcji Y+p*q, Y*(p+q), Y*~p, Y+p i nieskończenie wielu innych funkcji. Jeśli więc ten argument miał w jakikolwiek sposób świadczyć o wyjątkowości funkcji ~Y, to tak samo świadczy o wyjątkowości tych nieskończenie wielu innych funkcji - czyli wcale. Wobec tego nie jest w ogóle argumentem i jedyne, czemu służy, to uciekanie od meritum, co w dyskusjach z Tobą nie jest zresztą nowością.
A poza tym masz chyba AK do skasowania, może byś się tym zajął. |
To wytłuszczone to bełkot, nawet funkcji w postaci:
Y=f(x)
lub
Y<=>f(x)
Nie potrafisz zapisać.
Wcale nie musisz minimalizować funkcji logicznej by wygenerować dwa możliwe tu różne # równania logiczne:
Y=f(x)
~Y=~f(x)
co ma do tego minimalizacja funkcji logicznej?
NIC!
Totalnie nic!
Pozdrowienie dla Fizyka w malinach
Od Rafała3006
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 16:09, 07 Mar 2018 Temat postu: |
|
|
| fiklit napisał: | | rafał w jednym miejsu piszesz że wystarcza jedna w innym że potrzbne są dwie. może jednak skasujesz? |
Pani:
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
pójdziemy w dowolne miejsce i już pani dotrzyma słowa (Y=1)
Negujemy stronami:
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Tabela prawdy dla powyższej analizy:
| Kod: |
p q Y=p+q ~p ~q ~Y=~p*~q
A: 1 1 =1 0 0 =0
B: 0 1 =1 1 0 =0
C: 0 1 =1 0 1 =0
D: 0 0 =0 1 1 =1
1 2 3 4 5 6
|
Załóżmy, że znana jest nam funkcja logiczna:
~Y=~p*~q
Zauważ fiklicie że znając wyłącznie funkcję w logice ujemnej (bo ~Y):
2.
~Y=~p*~q
jesteś w stanie wygenerować wyłącznie tabelę ABCD123 będącą zero-jedynkową definicją spójnika „i”(*).
Negując równanie 2 stronami, czego nota bene ziemscy matematycy nie potrafią, lądujesz w logice dodatniej (bo Y).
Metoda skrócona:
Przejście z 2 do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników na przeciwne:
1.
Y = p+q
tabela ABCD123 to zero-jedynkowa definicja spójnika „lub”(+)
Zauważ, że funkcje Y i ~Y są różne # w znaczeniu że funkcja Y jest uzupełnieniem do dziedziny dla funkcji wyjściowej ~Y.
Nie zachodzi zatem tożsamość matematyczna tabel ABCD123 i ABCD456, czyii nie zachodzi:
~Y=~p*~q = Y = p+q
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#366807
Wielkie prawo Kłapouchego:
Do poprawnego opisu matematycznego dowolnej tabeli zero-jedynkowej w spójnikach „i”(*) i „lub”(+) jest potrzebna i wystarczająca znajomość jednej z czterech możliwych tu funkcji logicznych.
Nanoszę mała poprawkę:
Wielkie prawo Kłapouchego:
Do poprawnego opisu matematycznego dowolnej tabeli zero-jedynkowej w spójnikach „i”(*) i „lub”(+) jest potrzebna i wystarczająca znajomość jednej dwóch możliwych tu funkcji logicznych, Y albo ~Y.
W operatorach jednoargumentowych będą to funkcje Y i ~Y.
Dla dwóch lub więcej argumentów też istotne będą dwie różne # funkcje logiczne Y i ~Y, z tym że w tym przypadku po stronie zarówno Y jak i ~Y funkcje logiczne mogą być w dwóch tożsamych postaciach, alternatywno-koniunkcyjnej i koniunkcyjno-alternatywnej:
Y = p*q+~p*~q = (p+~q)*(~p+q)
~Y = p*~q + ~p*q = (p+q)*(~p+~q)
Ta tożsamość po prawej stronie jest bez znaczenia w technice, natomiast w języku potocznym już NIE, bo postaci koniunkcyjno-alternatywnej żaden człowiek nie zrozumie.
Podsumowując:
Z dowolnej funkcji logicznej możesz wygenerować jedną i tylko jedną tabelę zero-jedynkową w logice dodatniej (bo Y) albo w logice ujemnej (bo ~Y).
Oczywistym jest że znając funkcję logiczną np.
~Y=~p*~q
Wygenerujesz tabelę:
Y=p+q
ale te tabele będą różne #
Powtórzę:
Będą różne #
Definicja znaczka różne #:
Znam funkcję logiczną Y wtedy i tylko wtedy gdy znam funkcję logiczną ~Y
Y<=>~Y = (Y=>~Y)*(~Y=>Y)
Innymi słowy:
Funkcja logiczna ~Y jest uzupełnieniem do dziedziny dla funkcji Y
Definicja dziedziny funkcji logicznej:
Y+~Y = D =1
Y*~Y = [] =0
Matematyczne związki między tymi funkcjami:
Y = ~(~Y)
~Y=~(Y)
Stąd;
Pełny opis dowolnej tabeli zero-jedynkowej to układ równań logicznych Y i ~Y np.
2.
~Y=~p*~q
1.
Y = p+q
Pełny opis tabeli zero-jedynkowej musi dawać odpowiedź na dwa fundamentalne pytania:
1.
Jak wygląda funkcja:
Y=f(x)
2.
Jak wygląda funkcja:
~Y=~f(x)
| fiklit napisał: | Czyli wobec wielkiego kłapouchego, to co pisałeś wcześniej
"Ad.2
Do opisu dowolnej tabeli zero jedynkowej w spójnikach "i"(*) i "lub"(+) są potrzebne ~> i wystarczające => dwie różne funkcje logiczne Y i ~Y " nie jest już aktualne? |
Jest aktualne, wyjaśnienie dlaczego, ciut wyżej.
Po prostu:
Przykładowa funkcja w logice ujemnej (bo ~Y):
~Y=~p*~q
wymusza funkcję logiczną w logice dodatniej (bo Y)
Y=p+q
Tabele zero-jedynkowe Y i ~Y są matematycznie różne #, ale matematycznie ze sobą związane:
Y=~(~Y)
~Y=~(Y)
Innymi słowy:
Tabela Y wynika z ~Y albo odwrotnie, dlatego te tabele musimy traktować jak papużki nierozłączki.
cnd
Ostatnio zmieniony przez rafal3006 dnia Śro 16:51, 07 Mar 2018, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| 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: Śro 16:52, 07 Mar 2018 Temat postu: |
|
|
|
Jak dla mnie to co mówisz to jest bełkot. "wystarcza jedna" ale "potrzebne są dwie". tak rozumiem to co piszesz.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
| Wysłany: Śro 17:33, 07 Mar 2018 Temat postu: |
|
|
No a nie nawykłeś już, że rafał konieczność i wystarczanie rozumie dość...
no ni chuja ich nie rozumie?
Ostatnio zmieniony przez idiota dnia Śro 17:34, 07 Mar 2018, 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: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 18:24, 07 Mar 2018 Temat postu: |
|
|
| fiklit napisał: | | Jak dla mnie to co mówisz to jest bełkot. "wystarcza jedna" ale "potrzebne są dwie". tak rozumiem to co piszesz. |
Zacytuję akademicki podręcznik logiki matematycznej prof. Ludomira Newelskiego „Wstęp do matematyki”
[link widoczny dla zalogowanych]
| prof. L. Newelski 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.
Dowód. Dowód przeprowadzimy na przykładzie.
(1) Załóżmy, że tabelka wartości logicznych formuły Y=f(p,q) wygląda następująco:
| Kod: |
T1
p q Y=?
A: 1 1 =1
B: 1 0 =1
C: 0 1 =1
D: 0 0 =0
|
Z tabelki tej odczytujemy, że formuła Y=f(p,q) jest prawdziwa wtedy i tylko wtedy, gdy:
A. Y=1 <=> p=1 i q=1 lub p=1 i q=0 lub p=0 i q=1
Zatem formuła Y jest równoważna formule:
B. Y <=> p*q + p*~q + ~p*q
która jest w postaci alternatywno-koniunkcyjnej. |
Dalsza cześć postu prof. Newelskiego jest nieistotna, bo chcę ci pokazać co w istocie oznacza równanie alternatywno-koniunkcyjne wyznaczone przez prof. Newelskiego.
Po pierwsze zauważ, że w uzyskanym równaniu mamy sygnały ~p i ~q których nie ma w wyjściowej tabeli zero-jedynkowej.
Uzupełnijmy zatem tabelę wyjściową dokładnie o te sygnały:
| Kod: |
T2
p q ~p ~q Y=?
A: 1 1 0 0 =1
B: 1 0 0 1 =1
C: 0 1 1 0 =1
D: 0 0 1 1 =0
|
Do uzyskanej w ten sposób tabeli stosujemy metodę mintermów znaną matematykom:
[link widoczny dla zalogowanych]
| Kod: |
T3
W metodzie mintermów opisujemy wyłącznie jedynki w tabeli zero-jedynkowej
stosując w wierszach spójnik „i”(*), zaś w pionach spójnik „lub”(+)
|Co w mintermach |Funkcje cząstkowe
|oznacza |w mitermach
p q ~p ~q Y=? | |
A: 1 1 0 0 =1 | Ya=1<=> p=1 i q=1 | Ya= p* q
B: 1 0 0 1 =1 | Yb=1<=> p=1 i ~q=1 | Yb= p*~q
C: 0 1 1 0 =1 | Yb=1<=>~p=1 i q=1 | Yc=~p* q
D: 0 0 1 1 =0
1 2 3 4 5
|
Zauważ fiklicie że mintermy opisują wyłącznie fragment tabeli zero-jedynkowej ABC12345 w ogóle nie tykając ostatniej linii D12345.
Z tabeli mintermów mamy:
Y=Ya+Yb+Yc
1’.
Y= p*q + p*~q + ~p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1 lub p=1 i ~q=1 lub ~p=1 i q=1
Minimalizujemy równanie 1’.
Y = p*q + p*~q + ~p*q
Y = p*(q+~q)+~p*q
Y = p+(~p*q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
~Y = ~p*(p+~q)
~Y = ~p*p + ~p*~q
~Y=~p*~q
powrót do logiki dodatniej (bo Y):
Y = p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
Ten fakt doskonale widać w tabeli zero-jedynkowej ABC125.
Każdy matematyk wie, że tabela T1 to definicja spójnika „lub”(+) z naturalnej logiki człowieka.
Zatem jeśli pani w przedszkolu mówi:
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
To musi pasować tu wyprowadzona wyżej matematyka ścisła.
Pozostaje sprawdzić!
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)
Definicja spójnika „lub”(+) z naturalnej logiki człowieka:
Wystarczy że pójdziemy w dowolne miejsce i już pani dotrzyma słowa (Y=1).
Innymi słowy:
Y = K*T + K*~T + ~K*T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1 lub K=1 i ~T=1 lub ~K=1 i T=1
Zauważmy, że wyprowadzone wyżej teoria fantastycznie pasuje do języka potocznego człowieka.
Powyższe równanie czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy:
K*T = 1*1 =1 - jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)
lub
K*~T=1*1 =1 - jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
~K*T = 1*1 =1 - jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
W związku z równaniem alternatywno-koniunkcyjnym wyprowadzonym przez prof. Newelskiego dla wyjściowej tabeli zero-jedynkowej T1 mam pytania, na które sam odpowiem - jeśli ktokolwiek się nie zgadza to proszę protestować.
Pytanie 1.
Czy z samego tylko równania prof. Newelskiego:
Y = p*q + p*~q + ~p*q
jesteśmy w stanie wygenerować pełną tabele zero-jedynkową dla tego równania?
Moja odpowiedź:
TAK
Pytanie 2.
Czy równanie alternatywno-koniunkcyjne wyprowadzone dla tabeli T1 opisuje wszystkie linie tej tabeli?
Moja odpowiedź:
NIE
Opisuje wyłącznie trzy pierwsze linie tabeli zero jedynkowej ABC nawet nie tykając ostatniej linii D
Pytanie 3
Czy równanie prof. Newelskiego:
Y=K*T + K*~T + ~K*T = K+T
perfekcyjnie opisuje przypadek kiedy pani jutro dotrzyma słowa
Moja odpowiedź:
TAK!
(z wykrzyknikiem wspaniałości)
Pytanie 4.
Czy równanie prof. Newelskiego mówi cokolwiek o przypadku kiedy pani jutro skłamie (~Y)?
Moja odpowiedź:
NIE!
Równanie prof. Newelskiego nie odpowiada na pytanie „kiedy pani jutro skłamie”.
Oczywistym jest że odpowiedź na pytanie „Kiedy pani jutro skłamie” zawarta jest w ostatniej linii tabeli zero-jedynkowej której równanie prof. Newelskiego nie dotyczy.
Podsumowując:
Doskonale widać że mając równanie prof. Newelskiego:
Y = p*q + p*~q + ~p*q
bez problemu utworzymy kompletną tabelę zero-jedynkową ABCD ale to równanie nie opisuje kluczowego przypadku „Kiedy pani skłamie?”
Nie ma zatem żadnego paradoksu w fakcie, że mając równanie:
Y=p*q+p*~q+~p*q
utworzymy kompletną tabelę zero-jedynkową, mimo że samo równanie NIE OPISUJE wszystkich linii tabeli zero-jedynkowej.
Po prostu:
Definicja spójnika „lub”(+) z naturalnej logiki matematycznej człowieka to wyłącznie trzy pierwsze linie tabeli zero-jedynkowej
W spójnik „i”(*) z naturalnej logiki matematycznej człowieka jest jeszcze śmieszniej bo ten spójnik definiuje wyłącznie jedna linia tabeli zero-jedynkowej, ale o tym w kolejnym poście.
UWAGA!
Zauważmy na koniec, że nawet choćbyśmy się posrali to nie utworzymy równania algebry Boole’a opisującego wszystkie linie tabeli zero-jedynkowej bo to jest FIZYCZNIE niemożliwe!
Jedynym równaniem gdzie to jest możliwe jest operator chaosu z samymi jedynkami w wyniku.
Czy są jakieś pytania?
| idiota napisał: | No a nie nawykłeś już, że rafał konieczność i wystarczanie rozumie dość...
no ni chuja ich nie rozumie? |
Konkretnie Idioto, która moja odpowiedź na postawione pytanie kwestionujesz?
Ostatnio zmieniony przez rafal3006 dnia Śro 18:38, 07 Mar 2018, w całości zmieniany 4 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: 35367
Przeczytał: 21 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 19:14, 07 Mar 2018 Temat postu: |
|
|
Dokończę post wyżej, bo zależy mi by ziemianie mnie zrozumieli.
Wystartujmy od tabeli T3.
| Kod: |
T3
W metodzie mintermów opisujemy wyłącznie jedynki w tabeli zero-jedynkowej
stosując w wierszach spójnik „i”(*), zaś w pionach spójnik „lub”(+)
|Co w mintermach |Funkcje cząstkowe
|oznacza |w mitermach
p q ~p ~q Y=? | |
A: 1 1 0 0 =1 | Ya=1<=> p=1 i q=1 | Ya= p* q
B: 1 0 0 1 =1 | Yb=1<=> p=1 i ~q=1 | Yb= p*~q
C: 0 1 1 0 =1 | Yb=1<=>~p=1 i q=1 | Yc=~p* q
D: 0 0 1 1 =0
1 2 3 4 5
|
Funkcja logiczna alternatywno-koniunkcyjna dla tej tabeli to:
Y = p*q + p*~q + ~p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1 lub p=1 i ~q=1 lub ~p=1 i q=1
Funkcja matematycznie tożsama:
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
Jest FIZYCZNIE niemożliwym aby ta funkcja opisywała ostatnia linię tabeli bowiem mintermy opisują wyłącznie wynikowe jedynki a w ostatniej linii mamy zero.
Czy zatem jesteśmy w sytuacji bez wyjścia, czyli nie da się opisać równaniem w mintermach ostatniej linii tabeli zero-jedynkowej ABCD12345?
Oczywiście że się da!
Dlaczego?
Bo znamy sygnał wyjściowy Y a skoro tak, to musimy znać sygnał wyjściowy ~Y, zanegować wszystkie zera i jedynki w kolumnie 5 potrafi nawet nasz Idiota?
Czy mam racę Idioto, czy znów zaczniesz wyzywać mnie od głupków?
Zatem jedziemy:
| Kod: |
T4
W metodzie mintermów opisujemy wyłącznie jedynki w tabeli zero-jedynkowej
stosując w wierszach spójnik „i”(*), zaś w pionach spójnik „lub”(+)
|Co w mintermach |Funkcje cząstkowe
|oznacza |w mitermach
p q ~p ~q Y=? ~Y=? | |
A: 1 1 0 0 =1 =0 | Ya=1<=> p=1 i q=1 | Ya= p* q
B: 1 0 0 1 =1 =0 | Yb=1<=> p=1 i ~q=1 | Yb= p*~q
C: 0 1 1 0 =1 =0 | Yb=1<=>~p=1 i q=1 | Yc=~p* q
D: 0 0 1 1 =0 =1 |~Yb=1<=>~p=1 i ~q=1 |~Yd=~p*~q
1 2 3 4 5 6
|
HURRRA!
Mamy jedynkę w kolumnie wynikowej 6 zatem możemy tu zastosować metodę mintermów, co wyżej zrobiliśmy.
Z ostatniej linii D odczytujemy:
~Y = ~Yd - bo nie ma więcej jedynek w kolumnie 6
stad:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1
Zauważmy, że spójnik „i”(*) z naturalnej logiki matematycznej człowieka definiuje wyłącznie linia D w tabeli zero-jedynkowej ABCD346!
Pozostałe linie to „ślepe” uzupełnienie tabeli zero-jedynkowej do pełnej tabeli zero-jedynkowej.
Podobnie jak w logice dodatniej:
Y=p+q
tak samo w logice ujemnej:
~Y=~p*~q
jest fizycznie niemożliwym, aby funkcja logiczna ~Y opisywała wszystkie lonie kolumny 6 - opisuje wyłącznie JEDNĄ, ostatnią linię.
Prawo Jeża:
Nie jest fizycznie możliwe opisanie wszystkich linii tabeli zero-jedynkowej:
~Y=~p*~q
bowiem nie mamy tu samych jedynek w wyniku, a tylko w takim przypadku byłoby to możliwe.
Podsumowując:
Nie ma żadnej sprzeczności w prawach Kłapouchego.
Wielkie prawo Kłapouchego:
Znajomość dowolnej funkcji logicznej Y albo ~Y jest wystarczająca do zbudowania kompletnej tabeli zero-jedynkowej.
Małe prawo Kłapouchego:
Kompletną tabelę zero-jedynkową opisuje układ równań logicznych Y i ~Y:
Y=f(x)
~Y=~f(x)
Wyjaśnienie:
Funkcja logiczna w mintermach Y=f(x) opisuje jedynki w kolumnie wyjściowej Y
Funkcja logiczna w mintermach ~Y=~f(x) opisuje jedynki w kolumnie ~Y
Matematycznie zachodzi:
Y+~Y =1
Stąd dopiero złożenie funkcji logicznej Y i ~Y opisuje wszystkie cztery linie dowolnej tabeli zero-jedynkowej.
Dopiero w tym momencie, poznawszy kompletną teorie matematyczną, możemy dokończyć dialog w przedszkolu.
Zatem jeśli pani w przedszkolu mówi:
1.
Jutro pójdziemy do kina lub do teatru
Y=K+T
To musi pasować tu wyprowadzona wyżej matematyka ścisła.
Pozostaje sprawdzić!
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)
… a kiedy pani skłamie?
Przechodzimy z równaniem 1 do logiki ujemnej (bo ~Y) poprzez negację sygnałów i wymianę spójników.
2.
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Doskonale widać, że poprawna teoria matematyczna, algebra Kubusia opisuje język potoczny człowieka absolutnie perfekcyjnie i żadne tabele zero jedynkowe nie są nam potrzebne!
Algebra Kubusia to logika równań logicznych a nie tabel zero-jedynkowych.
Ostatnio zmieniony przez rafal3006 dnia Śro 19:27, 07 Mar 2018, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
