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 ... 127, 128, 129 ... 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ł: 2 tematy


Płeć: Mężczyzna

PostWysłany: Śro 13: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 13:53, 07 Mar 2018, w całości zmieniany 1 raz
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 14: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 14: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 14:29, 07 Mar 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
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

PostWysłany: Śro 14: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 14:38, 07 Mar 2018, w całości zmieniany 1 raz
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 14: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 :rotfl:


Ostatnio zmieniony przez rafal3006 dnia Śro 14:51, 07 Mar 2018, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
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

PostWysłany: Śro 14: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3604
Przeczytał: 2 tematy

Skąd: stolnica

PostWysłany: Śro 14: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
:rotfl:
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 14: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 15:02, 07 Mar 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
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

PostWysłany: Śro 15: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 15: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
:rotfl:

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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




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


Płeć: Mężczyzna

PostWysłany: Śro 15: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 15: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 15:09, 07 Mar 2018, 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ł: 2 tematy


Płeć: Mężczyzna

PostWysłany: Śro 15: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 profil autora
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

PostWysłany: Śro 15: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 15: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 15:22, 07 Mar 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
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

PostWysłany: Śro 15: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 15: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 15:37, 07 Mar 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
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

PostWysłany: Śro 15: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 16: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 16:11, 07 Mar 2018, w całości zmieniany 1 raz
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 16: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 17: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 17:51, 07 Mar 2018, 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ł: 2 tematy


Płeć: Mężczyzna

PostWysłany: Śro 17: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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3604
Przeczytał: 2 tematy

Skąd: stolnica

PostWysłany: Śro 18: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 18:34, 07 Mar 2018, w całości zmieniany 1 raz
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 19: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 19:38, 07 Mar 2018, w całości zmieniany 4 razy
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: 25108
Przeczytał: 37 tematów

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

PostWysłany: Śro 20: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 20:27, 07 Mar 2018, w całości zmieniany 2 razy
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 EET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 127, 128, 129 ... 136, 137, 138  Następny
Strona 128 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