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 

Algebra Kubusia '2018 cdn
Idź do strony Poprzedni  1, 2, 3 ... 30, 31, 32 ... 64, 65, 66  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ść
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 11:11, 21 Wrz 2018    Temat postu:

Irbisol napisał:
Nie odniosłeś się do ani jednego zarzutu.
Można chyba uznać, że poległeś na całej linii.
Pozostali też tak sądzą?

Bardzo dobre pytanie.
Co na to nasz Idiota?

Który mimo że się nie odzywa na 100% wie iż w miejsce znaku "?" może byc podstawiona tylko i wyłacznie funkcja logiczna ~Y.

Co wiecej Irbisolu, wie nawet zarozumiały Komandor (inżynier z wykształcenia), któremu tylko się wydaje że rozumie logikę matematyczną.

Dowód masz tu!

http://www.sfinia.fora.pl/wiezienie,20/mord-na-sprawiedliwym-i-jego-zmartwychwstanie,4928-15725.html#406927

rafal3006 napisał:
Komandor napisał:

A Ty Kubusiu znowu z banałami ubranymi w prawdę objawioną swojej AK.
Ziemski matematyk wie co tam wstawić (nawet taki głąb jak wie) i niczego tym nie przyznaje.

Nawet w algebrze jest, że jak: a = jakieś wyrażenie , to -a = -(jakieś wyrażenie) i wcale to nie dowodzi istnienia algebry dodatniej i ujemnej.
A ty odkrywasz na nowo dawno odkryte i robisz z tego jakieś wielkie dowody.
A trzeba było w podstawówce się uczyć po prostu.

PS. A z Tomaszem poradzę sobie sam Kubusiu. Nie potrzebuje Waszej pomocy a tym bardziej nakładania na niego restrykcji w pisaniu na Fo.
Jak chce niech piszę.

To jeszcze skomentuj ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-725.html#406911
rafal3006 napisał:
Dlaczego ziemscy matematycy na poletku logiki matematycznej dają ciała TOTALNIE?
Odpowiadam:
Bo nie widzą logiki dodatniej (bo Y) i ujemnej (bo ~Y) w algebrze Boole’a.
Powtórzę:
W równaniach algebry Boole’a a tym samym w algebrze Boole’a!

Wyjaśnienie w tym poście.

Hahahaha...
Ziemscy matematycy to koziołki matołki, wszyscy!


Ostatnio zmieniony przez rafal3006 dnia Pią 11:14, 21 Wrz 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ł: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 11:19, 21 Wrz 2018    Temat postu:

Klasyczna zmiana tematu.
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 12:26, 21 Wrz 2018    Temat postu:

fiklit napisał:
Klasyczna zmiana tematu.

Fiklicie, ja poczekam aż Irbisol odpowie na pytanie w cytacie niżej

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-725.html#406697
rafal3006 napisał:
Ziemscy matematycy w śmiertelnej pułapce!

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-725.html#406609
rafal3006 napisał:

Irbisolu,
Łatwo udowodnić że poniższą tabelę T2 rachunku zero-jedynkowego mamy wspólną:
Kod:

T2
   p  q  Y=p+q  ?=~(p+q) ~p ~q ?=~p*~q
A: 1  1   1      0        0  0  0
B: 1  0   1      0        0  1  0
C: 0  1   1      0        1  0  0
D: 0  0   0      1        1  1  1
   1  2   3      4        5  6  7

Poproszę cię teraz Irbisolu o wpisanie poprawnej funkcji logicznej w miejsce znaku „?”.
… a widzisz, nie potrafisz.
Mam nadzieję że masz na tyle odwagi by to poprawnie matematycznie zapisać - bo że wiesz co trzeba zapisać w miejsce znaku "?" to absolutnie pewne.

Nawet Idiota to wie.
Czy mam racje Idioto?


Wyjaśniam pojęcie miękkich jedynek (a co za tym idzie miękkich zer) w logice matematycznej na przykładzie funkcji logicznej Y=p+q w tabeli wyżej.

Weźmy zmienną Y czyli kolumnę 3.
W chwili czasowej A3 zmienna Y ma wartość logiczną:
A3: Y=1
W innej chwili czasowej B3 zmienna Y ma wartość logiczną:
B3: Y=1
W innej chwili czasowej C3 zmienna Y ma wartość logiczną:
C3: Y=1
W innej chwili czasowej D3 zmienna Y ma wartość logiczną:
D3: Y=0

To punkt D3 decyduje o tym że zmienna Y nie jest twardą jedynką bowiem nie we wszystkich możliwych chwilach czasowych przyjmuje wartość logiczną 1.
Stąd zmienna Y jest miękką jedynką, może zajść ale nie musi tzn. na 100% zdarzy się chwila czasowa gdzie zmienna Y przyjmie wartość logiczną 0 (punkt D3).
Proste jak cep.

Czas na ciebie irbisolu, odpowiedz na pytanie w cytacie.


Ostatnio zmieniony przez rafal3006 dnia Pią 12:27, 21 Wrz 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ść
Irbisol




Dołączył: 06 Gru 2005
Posty: 6856
Przeczytał: 29 tematów


PostWysłany: Pią 12:54, 21 Wrz 2018    Temat postu:

To jest temat o twojej logice, a nie o mojej, więc nie będę tu odpowiadał na żadne pytania.
Piszę to już chyba 10-ty raz, a ty i tak nie pojmujesz.

Pytanie do pozostałych - co z nim robimy?
Jest nas tu chyba trzech aktywnych, którzy dali mu szansę, ale facet stał się całkowicie nieresponsywny.
Nie widzę sensu tego ciągnąć - jak bym gadał do słupa. Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.

Zlewamy go gremialnie?
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 13:00, 21 Wrz 2018    Temat postu:

Irbisol napisał:
To jest temat o twojej logice, a nie o mojej, więc nie będę tu odpowiadał na żadne pytania.
Piszę to już chyba 10-ty raz, a ty i tak nie pojmujesz.

Pytanie do pozostałych - co z nim robimy?
Jest nas tu chyba trzech aktywnych, którzy dali mu szansę, ale facet stał się całkowicie nieresponsywny.
Nie widzę sensu tego ciągnąć - jak bym gadał do słupa. Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.

Zlewamy go gremialnie?

... ale o co ci chodzi Irbisolu?
Definicję miękkich jedynek i twardych jedynek w logice MATEMATYCZNEJ dostałeś w poście wyżej.
Przecież tylko i wyłącznie o to ci chodziło!
Przypominam że dyskutujemy o matematyce, zatem nie wolno ci tu wtrącać jakiegokolwiek zdania z języka potocznego, bo matematykę TOTALNIE nie interesuje świat fizyki, czyli zdania z języka mówionego.

Gdzie masz problem ze zrozumieniem banalnego postu wyżej?
Czy możesz napisać?

P.S.
Widzę, że pojęcie zmiennej binarnej i stałej binarnej też musze ci przypomnieć:

Definicja zmiennej binarnej:
Zmienna binarna to symbol który w osi czasu może przybierać obie wartości logiczne 0 albo 1

Przykład:
Jutro pójdziemy do kina
Y=K
Jutro pani może ustawić symbol K na dowolną wartość:
K=1 - gdy pójdziemy (=1) do kina
K=0 - gdy nie pójdziemy (=0) do kina

Definicja stałe binarnej:
Stała binarna to symbol którego wartości logicznej nie da się zmienić

Przykład:
Wczoraj byliśmy w kinie
Y=K
K=1 - rzeczywiście wczoraj byliśmy (=1) w kinie
K=0 - niemożliwe jest ustawienie K=0, czyli wczoraj nie byliśmy (=0) w kinie

Proste jak dwa cepy, czego tu nie rozumiesz Irbisolu?


Ostatnio zmieniony przez rafal3006 dnia Pią 13:09, 21 Wrz 2018, w całości zmieniany 3 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ł: 15 tematów

Skąd: stolnica

PostWysłany: Pią 13:59, 21 Wrz 2018    Temat postu:

"... ale o co ci chodzi Irbisolu? "

No debil nie rozumie po polsku.
Ma napisane:
"Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.", a debil nie pojmuje.
To rzeczywiście przypadek beznadziejny jest.
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 14:37, 21 Wrz 2018    Temat postu:

idiota napisał:
"... ale o co ci chodzi Irbisolu? "

No debil nie rozumie po polsku.
Ma napisane:
"Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.", a debil nie pojmuje.
To rzeczywiście przypadek beznadziejny jest.

Irbisolowi chodziło tylko i wyłącznie o definicje miękkich jedynek i twardych jedynek w logice matematycznej.
Dostał wszystko co chciał w moich dwóch ostatnich postach.

Przykład funkcji logicznej Y będącej miękka jedynką (patrz dwa posty wyżej):
Kod:

T2
   p  q  Y=p+q ~Y=~(p+q) ~p ~q ~Y=~p*~q
A: 1  1   1      0        0  0  0
B: 1  0   1      0        0  1  0
C: 0  1   1      0        1  0  0
D: 0  0   0      1        1  1  1
   1  2   3      4        5  6  7

Obie funkcje logiczne:
Y=p+q - kolumna 3
oraz
~Y=~p*~q - kolumna 7
są miękkimi jedynkami bo obie mogą w osi czasu przyjmować wartość logiczną zarówno 1 jak i 0.

Twardą jedynką będzie oczywiście suma logiczna tych funkcji:
Y+~Y =1 - twarda jedynka
Dowód:
Y+~Y = p+q + ~p*~q = (p+q)+~(p+q) =1
cnd
To samo w tabeli zero-jedynkowej:
Kod:

T2
   p  q  Y=p+q ~Y=~(p+q) ~p ~q ~Y=~p*~q Y+~Y=(p+q)+~(p+q) =1
A: 1  1   1      0        0  0  0           1
B: 1  0   1      0        0  1  0           1
C: 0  1   1      0        1  0  0           1
D: 0  0   0      1        1  1  1           1
   1  2   3      4        5  6  7           8

Zaprzeczeniem twardej jedynki jest oczywiście twarde zero:
Y*~Y =0
Dowód:
Y*~Y = (K+T)*~(K+T) =0
Dowód w rachunku zero-jedynkowym to zadanie na poziomie Idioty.

Irbisolu i Idioto:
Co jeszcze jest niejasne w temacie matematycznych definicji miękkich jedynek (pociągających za sobą miękkie zera) i twardych jedynek (pociągających za sobą twarde zera)?

P.S.
Czy to takie trudne do pojęcia że jeśli pani w przedszkolu powie:
Drogie dzieci, jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y=K+T+~K*~T = (K+T)+~(K+T) =1

To nie ma absolutnie żadnych szans, aby jutro skłamać.
Dokładnie to jest definicja twardej jedynki, cokolwiek pani jutro nie zrobi to nie ma szans na kłamstwo, czyli na ustawienie:
Y=0

Zupełnie nie rozumiem Irbisolu i Idioto, czemu takie banały matematyczne leżą poza zasięgiem waszych wielkich rozumków?

Czy możecie na to odpowiedzieć?


Ostatnio zmieniony przez rafal3006 dnia Pią 14:45, 21 Wrz 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 6856
Przeczytał: 29 tematów


PostWysłany: Pią 14:57, 21 Wrz 2018    Temat postu:

rafal3006 napisał:
Irbisolowi chodziło tylko i wyłącznie o definicje miękkich jedynek i twardych jedynek w logice matematycznej.

Pokaż mi, do kurwy nędzy, gdzie ja cię pytam o jakieś definicje.

Jak mam się z tobą, pajacu, komunikować, skoro najprostszego pytania, powtarzanego do porzygu, nie potrafisz zrozumieć?
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 15:14, 21 Wrz 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisolowi chodziło tylko i wyłącznie o definicje miękkich jedynek i twardych jedynek w logice matematycznej.

Pokaż mi, do kurwy nędzy, gdzie ja cię pytam o jakieś definicje.

Jak mam się z tobą, pajacu, komunikować, skoro najprostszego pytania, powtarzanego do porzygu, nie potrafisz zrozumieć?


Chciałeś zobaczyć jak wygląda tabela zero-jedynkowa dla miękkich jedynek pociągających za sobą miękkie zera - dostałeś ja w ostatnim poście.
To funkcje logiczne:
Y=p+q
~Y=~p*~q

Chciałeś zobaczyć jak wygląda tabela zero-jedynkowa dla twardej jedynki?
Dostałeś ja w ostatnim poście, to funkcja logiczna:
Y+~Y = (p+q)+~p*~q = (p+q)+~(p+q) =1

Napisz co od strony czysto matematycznej na gruncie tym razem TWOJEJ logiki matematycznej kwestionujesz w powyższych zapisach.
Ja wiem że jesteś zaskoczony iz to są banały na poziomie FUNDAMENTÓW pod warunkiem, że zaakceptujesz logikę dodatnią (bo Y) i ujemną (bo ~Y) ... ale to ostatnie przez gardło nie chce ci przejść.
Czy mam rację Irbisolu?


Ostatnio zmieniony przez rafal3006 dnia Pią 16:13, 21 Wrz 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ść
idiota




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

Skąd: stolnica

PostWysłany: Pią 16:42, 21 Wrz 2018    Temat postu:

"Napisz co od strony czysto matematycznej na gruncie tym razem TWOJEJ logiki matematycznej kwestionujesz w powyższych zapisach."

Udajesz, ze nie wiesz, że to kretyńskie pytanie, czy się znów coś zapomniał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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 17:08, 21 Wrz 2018    Temat postu:

idiota napisał:
"Napisz co od strony czysto matematycznej na gruncie tym razem TWOJEJ logiki matematycznej kwestionujesz w powyższych zapisach."

Udajesz, ze nie wiesz, że to kretyńskie pytanie, czy się znów coś zapomniało?

Co tu jest nie w TWOJEJ logice matematycznej?

Masz funkcję logiczną:
Y=p+q
Dowolną funkcję logiczną wolno zanegować stronami, o czym każdy ziemski matematyk wie!
Czy mam rację Irbisolu?

Negujemy zatem:
~Y=~(p+q)
Z prawa De Morgana możemy korzystać zawsze i wszędzie stąd:
~Y = ~(p+q) = ~p*~q

Gdzie tu Idioto masz kretyńskie pytanie?
To jest TWOJA logika matematyczna, to są TWOJE równania algebry Boole’a.

Czyżbyś na prawdę nie znał banałów jak niżej?
Y+~Y = (p+q)+~(p+q) =1 - twarda jedynka generująca twarde zero niżej
Y*~Y = (p+q)*~(p+q) =0 - twarde zero wynikające z powyższej twardej jedynki

Matematycznie zachodzi:
Y=p+q <=> ~Y=~p*~q
Czy słyszałeś o takiej równoważności Idioto?
Jeśli nie to twoja logika matematyczna jest gówno-logiką.
cnd

Jeśli znam budowę funkcji logicznej Y to na 100% znam budowę funkcji logicznej ~Y i odwrotnie
Stąd mamy wynikanie w dwie strony:
Y<=>~Y = (Y=>~Y)*(~Y=>Y) =1*1 =1
Oczywiście nie ma tu mowy o tożsamości zbiorów znanej np. z twierdzenia Pitagorasa
TP=SK <=> (TP=>SK)*(~TP=>~SK) = 1*1 =1


Ostatnio zmieniony przez rafal3006 dnia Pią 18:05, 21 Wrz 2018, w całości zmieniany 3 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ł: 15 tematów

Skąd: stolnica

PostWysłany: Pią 18:46, 21 Wrz 2018    Temat postu:

"Co tu jest nie w TWOJEJ logice matematycznej? "

A co to ma do rzeczy?
Jak jesteś takim kretynem, że nie wiesz dlaczego twoja wypowiedź jest kretynizmem, to ja nic na to nie poradzę.
No i w końcu zdecyduj się - opisujesz swoją czy własne wyobrażenia o logice normalnych ludzi?
Bo tego drugiego lepiej w ogóle nie rób.
Wszyscy już wiemy, bo nam wielokrotnie pisałeś - nie znasz jej, nie chcesz znać i cię ona nie obchodzi.
My umiemy pamiętać co pisałeś dawniej niż 3 minuty temu.
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 19:49, 21 Wrz 2018    Temat postu:

Głupsza od głupoty jest uczona głupota.
Henryk Ferdynand Kaden

idiota napisał:
"Co tu jest nie w TWOJEJ logice matematycznej? "

A co to ma do rzeczy?
Jak jesteś takim kretynem, że nie wiesz dlaczego twoja wypowiedź jest kretynizmem, to ja nic na to nie poradzę.
No i w końcu zdecyduj się - opisujesz swoją czy własne wyobrażenia o logice normalnych ludzi?
Bo tego drugiego lepiej w ogóle nie rób.
Wszyscy już wiemy, bo nam wielokrotnie pisałeś - nie znasz jej, nie chcesz znać i cię ona nie obchodzi.
My umiemy pamiętać co pisałeś dawniej niż 3 minuty temu.

O jakich normalnych ludziach mówisz?

Czy artykuł niżej mówi o ludziach normalnych?

[link widoczny dla zalogowanych]

Logika, sens i wątpliwości
Marek Kordos
Delta, marzec 2013


Już przed laty, gdy brałem udział w tworzeniu jednej z kolejnych reform nauczania matematyki, miałem poważne wątpliwości, czy umieszczanie w programach nauczania matematyki (podstawach programowych, wykazach efektów nauczania, podręcznikach itp.) działu logika jest zgodne ze zdrowym rozsądkiem.

Oczywiście, wiem, że wielu głosi, iż nauczanie matematyki (jak niegdyś łaciny, której się zresztą uczyłem) to nauka logicznego myślenia. Ale, gdy czytałem otwierające wówczas podręczniki do liceum rozdziały poświęcone logice, trudno mi było powstrzymać się od wrażenia, że nie ma w nich żadnego sensu. Nie wymienię, rzecz jasna, żadnego konkretnego podręcznika (po co mi rozprawy sądowe – przecież podręcznik to wielkie pieniądze), ale wrażenie przy lekturze każdego z nich było podobne.
Od razu chciałbym powiedzieć, że nie chodzi o opinię, iż logika nigdy matematyce nie pomogła, bo unikanie błędów nie jest aktem twórczym (patrz Nicolas Bourbaki, Elementy historii matematyki). Chodzi o coś więcej. Ale nie śmiałem nalegać na usunięcie tego działu ze szkolnego nauczania, bo jeśli wszyscy widzą w nim sens, to może on tam – wbrew pozorom – istnieje.

Dopiero na sympozjum z okazji dziewięćdziesięciolecia Profesora Andrzeja Grzegorczyka dowiedziałem się, że moje wątpliwości nie są odosobnione i nawet w Instytucie Filozofii i Socjologii PAN prowadzone są prace nad taką modyfikacją logiki, by jej wady usunąć.

Co to za wady? Proszę spojrzeć na zdanie:
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?
Wyjaśnienie jest proste: w pierwszym przypadku chodzi o to, że równoważność zdań ma miejsce, gdy wartość logiczna obu zdań jest taka sama; w drugim – o to, że implikacja jest poprawna, gdy ma fałszywy poprzednik.

A więc logika sprowadza nasz świat do zbioru dwuelementowego, nic przeto dziwnego, że rzeczy absolutnie niepołączone żadnym znaczeniowym (semantycznym) związkiem muszą się znajdować w przynajmniej jednej z dwóch komórek, do jakiejś muszą trafić.

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?

Odpowiedź na pierwsze pytanie jest dość prosta. Nowoczesna logika formalna została stworzona (jak wielu uważa) przez Gottloba Fregego (1848-1925) tak, by obsługiwała matematykę, a tę rozumiano wówczas jako badanie prawdziwości zdań języków formalnych.

Odpowiedzi na drugie pytanie de facto nie ma. Tłumaczymy się z używania takich abstrahujących od znaczeń spójników logicznych tym, że alternatywa, koniunkcja i negacja są sensowne; że chcemy, aby młody człowiek wiedział, że zaprzeczeniem zdania, iż istnieje coś mające własność A, jest to, że wszystkie cosie własności A nie mają; że implikacja ze zdania prawdziwego daje jednak tylko zdania prawdziwe itd., itp.

Ale naprawdę chodzi o to, że – jak z małżeństwem i demokracją – lepszej propozycji dotąd nie wynaleziono. A szkoda.

Głupsza od głupoty jest uczona głupota.
Henryk Ferdynand Kaden


Ostatnio zmieniony przez rafal3006 dnia Pią 20:33, 21 Wrz 2018, w całości zmieniany 5 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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 20:20, 21 Wrz 2018    Temat postu:

Czy Irbisol i Idiota znają logikę matematyczną wykładaną w absolutnie każdym ziemskim przedszkolu!

Jeśli nie rozwiążą zadania postawionego im na końcu tego postu to muszą wrócić po nauki podstaw FUNDAMENTÓW logiki matematycznej do przedszkola.
Pewne jest że z aktualnym gównem którym dysponują:
Jeśli Prosiaczek jest osłem to Kubuś jest misiem
Każda pani przedszkolanka wykopie ich przez okno bez najmniejszego zastanowienia - nie wolno z naszych dzieci robić DEBILI!

idiota napisał:
"Co tu jest nie w TWOJEJ logice matematycznej? "

A co to ma do rzeczy?
Jak jesteś takim kretynem, że nie wiesz dlaczego twoja wypowiedź jest kretynizmem, to ja nic na to nie poradzę.
No i w końcu zdecyduj się - opisujesz swoją czy własne wyobrażenia o logice normalnych ludzi?
Bo tego drugiego lepiej w ogóle nie rób.
Wszyscy już wiemy, bo nam wielokrotnie pisałeś - nie znasz jej, nie chcesz znać i cię ona nie obchodzi.
My umiemy pamiętać co pisałeś dawniej niż 3 minuty temu.

Idioto, nie rozumiesz TOTALNIE logiki matematycznej.
Dowód:
Załóżmy że znasz funkcję algebry Boole’a:
Y=f(x)
Przykład:
Y=p+q
Czy możesz nie znać funkcji logicznej ~Y?
NIE!
Bowiem wystarczy zanegować dwustronnie funkcję logiczną Y=f(x) i po bólu.
Masz wówczas:
~Y=~f(x)
Nasz przykład:
~Y=~(p+q) = ~p*~q

Stąd masz cudowną i ewidentną równoważność:
Znam funkcję logiczną Y=f(x) wtedy i tylko wtedy gdy znam funkcję logiczną ~Y=~f(x)
Y<=>~Y = A: (Y=>~Y)* C: (~Y=>Y) =1*1 =1
Zdania A i C to warunku wystarczające, gwarancje matematvczne =>:
A.
Jeśli znam funkcję logiczną Y=f(x) to na 100% znam funkcję logiczną ~Y=~f(x)
Y=>~Y =1
Dowód:
Wystarczy zanegować stronami
C.
Jeśli znam funkcję logiczną ~Y=f(x) to na 100% znam funkcję logiczną Y=~f(x)
Y=>~Y =1
Dowód:
Wystarczy zanegować stronami

Weźmy następującą, oczywistą równoważność:
RA.
Dowolny człowiek jest mężczyzną wtedy i tylko wtedy gdy nie jest kobietą
M<=>~K = (M=>~K)*(~M=>K)
Ogólnie:
p<=>~q = (p=>~q)*(~p=>q)

Zauważmy, że tu akurat zachodzi tożsamość zbiorów:
p=~q
bo:
Dziedzina:
D=[M+K]
stąd:
~M=[D-M] = [M+K-M] =K
~K=[D-K] = [M+K-K]=M

Nasza równoważność:
M<=>~K = (M=>~K)*(~M=>K)
Po podstawieniu obliczeń mamy:
M<=>M = (M=>M)*(~M=>~M) =1*1 =1
Dowody prawej strony są trywialne!
Każde pojęcie (zbiór) jest tożsame same ze sobą, zatem jest podzbiorem => siebie samego, stąd:
M=>M =1
~M=>~M = K=>K =1
cnd
Zauważmy, że zbiory K i M są rozłączne, ale zachodzi tożsamość zbiorów:
K=~M = (K=>~M)*(~K=>M)

Zupełnie inaczej jest w równoważności niżej, w prawie rozpoznawalności dowolnego pojęcia p!
RC.
Wiem co to jest ciepło (C=1) wtedy i tylko wtedy gdy wiem co to jest nie ciepło (~C=1)
C<=>~C = (C=>~C)*(~C=>C) =1*1 =1
W tym przypadku pojęcia C i ~C są rozłączne i uzupełniają się wzajemnie do dziedziny:
D = C+~C =1
C*~C = [] =0
Nie ma tu zatem mowy o tożsamości pojęć:
C (ciepło) =~C (nie ciepło) - to jest FAŁSZ!

Zachodzi oczywiście tożsamość pojęć:
C = ~(~C)
Gdybyśmy pojęciu ~C nadali nazwę własną np.
~C= Z (zimno)
To mielibyśmy sytuację identyczną jak z mężczyzną i kobietą!
Jest ciepło (C=1) wtedy i tylko wtedy gdy nie jest zimno (~Z=1)
C<=>~Z = (C=>~Z)*(~C=>Z) =1*1 =1

Rozwinięcie tego zagadnienia w sposób identyczny jak to zrobiliśmy z kobieta i mężczyzną pozostawiam Irbisolowi i Idiocie.
Mam nadzieję że dacie radę, bo to jest typowe zadanie na kartkówce z matematyki w I klasie LO w 100-milowym lesie.
Bez uzasadnienia matematycznego w postaci równań algebry Boole’a to jest problem, który doskonale rozumieją eksperci algebry Kubusia: 5-cio latki, panie przedszkolanki i gospodynie domowe!

To jak Irbisolu i idioto?
Czy dacie radę rozwinąć matematycznie problem ciepło/zimno:
C<=>~Z = (C=>~Z)*(~C=>Z) =1*1 =1
w sposób identyczny jak to zrobiłem z kobietą i mężczyzną:
K<=>~M = (K=>~M)*(~K=>M)
???!!!
Jeśli powiecie NIE, to odsyłam po nauki do przedszkola - 5-cio latki doskonale wam to wszystko wyjaśnią!


Ostatnio zmieniony przez rafal3006 dnia Pią 20:37, 21 Wrz 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ść
idiota




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

Skąd: stolnica

PostWysłany: Pią 20:36, 21 Wrz 2018    Temat postu:

"Czy Irbisol i Idiota znają logikę matematyczną wykładaną w absolutnie każdym ziemskim przedszkolu!"

1)
Pytania kończymy znaczkiem ?, nie !.
2)
Jak cię to interesuje - załóż taki temat, a nie tu śmiecisz.
Może ktoś się nim zainteresuje, ale wątpię.
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Pią 21:03, 21 Wrz 2018    Temat postu:

idiota napisał:
"Czy Irbisol i Idiota znają logikę matematyczną wykładaną w absolutnie każdym ziemskim przedszkolu!"

1)
Pytania kończymy znaczkiem ?, nie !.
2)
Jak cię to interesuje - załóż taki temat, a nie tu śmiecisz.
Może ktoś się nim zainteresuje, ale wątpię.

Odpowiedziałem na wszystkie pytania Irbisola, a temat wyżej jest bardzo ciekawy, na poziomie 5-cio latka, którego ani Ty ani Irbisol TOTALNIE nie znacie.
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ł: 15 tematów

Skąd: stolnica

PostWysłany: Pią 23:25, 21 Wrz 2018    Temat postu:

" temat wyżej jest bardzo ciekawy, na poziomie 5-cio latka"

Bardzo zatem jest ciekawy...
Nawet nie rozumiesz co sam piszesz.
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Sob 6:30, 22 Wrz 2018    Temat postu:

Co zwróci bramka „i”(*) dla miękkich i twardych jedynek!
Definicja bramki „i”(*) w algebrze Kubusia:
Bramka „i”(*) = spójnik „i”(*) z języka potocznego człowieka

Definicja operatora AND(|*) w algebrze Kubusia:
Operator AND(|*) to układ równań logicznych:
1: Y=p*q
2: ~Y=~p*~q

Definicja bramki „i”(*):
Kod:

   p  q  Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0

Definicja bramki „lub”(+):
Kod:

   p  q  Y=p+q
A: 1  1  1
B: 1  0  1
C: 0  1  1
D: 0  0  0


Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie (~p)
p<=>~p = (p=>~p)*(~p=>p)

Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we wszechświecie o idealnej temperaturze
t-constans
W takim wszechświecie pojęcia „ciepło” (C=1) i „nie ciepło” (~C=1) są nierozpoznawalne bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.

Algebra Boole’a ziemian jest matematycznie FAŁSZYWA bo nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y), a tym samym gwałci najważniejsze prawo logiki matematycznej, prawo rozpoznawalności pojęcia p.

Prawo Wilka:
Dowolną funkcję logiczną można dwustronnie zanegować

Mamy wyżej funkcję logiczną:
1: Y=p*q
Negujemy dwustronnie:
~Y=~(p*q)
Na mocy prawa De Morgana mamy:
2: ~Y=~p+~q

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y=~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = p*q = ~(~p+~q)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
~Y=~(Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y=~p+~q = ~(p*q)

Wszystkie nasze przekształcenia można udowodnić w rachunku zero-jedynkowym jak niżej.
Nam nocy prawa rozpoznawalności pojęcia p nasza definicja spójnika „i”(*) przybiera postać:
Kod:

T2
   p  q ~p ~q  Y=p*q ~Y=~(p+q) ~Y=~p+~q Y=~(~Y)=~(~p+~q)
A: 1  1  0  0   1      0         0       1
B: 1  0  0  1   0      1         1       0
C: 0  1  1  0   0      1         1       0
D: 0  0  1  1   0      1         1       0
   1  2  3  4   5      6         7       8

Zauważmy, że wszystko jest tu w 100% zgodne z naszymi przekształceniami równań logicznych.
Tożsamość kolumn 5=8 jest dowodem prawa De Morgana w logice dodatniej (bo Y):
1: Y = p*q = ~(~p+~q)
Tożsamość kolumn 6=7 jest dowodem prawa De Morgana w logice ujemnej (bo ~Y):
2: ~Y=~(p+q) = ~p+~q - prawo De Morgana

Definicja operatora AND(|*):
Operator AND(|*) to złożenie funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y):
1.
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Doskonale to widać w tabeli zero-jedynkowej ABCD125
2.
~Y=~p+~q
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Doskonale to widać w tabeli zero-jedynkowej ABCD347.

Z powyższego wynika że budowa operatora AND(|*) jest następująca:
Na wejściu operatora AND(|*) mamy dostępne wszystkie sygnały wejściowe w postaci niezanegowanej i zanegowanej
p, q, ~p, ~q
Na wyjściu operatora AND(|*) mamy dostępny sygnały:
Y, ~Y
Tylko i wyłącznie pod tym warunkiem możemy sprawdzić w laboratorium techniki cyfrowej fenomenalną zgodność tabeli zero-jedynkowej T2 z teorią bramek logicznych.
Algebra Kubusia jest więc w 100% weryfikowalna w przeciwieństwie do np. Teorii Strun która z definicji jest nieweryfikowalna.
[link widoczny dla zalogowanych]
Wikipedia napisał:

Kontrowersje[edytuj | edytuj kod]
Teoria strun nie ma do tej pory dowodów na swą słuszność. Wielu naukowców zarzuca jej brak potwierdzających ją doświadczeń.
Philip Anderson twierdzi, że teoria ta jest "pierwszą od setek lat nauką, która uprawiana jest w sposób przedbaconowski, bez żadnej odpowiedniej procedury eksperymentalnej"[38]. Sheldon Lee Glashow twierdzi natomiast ironicznie, że teoria ta jest "absolutnie bezpieczna", jako że nie ma żadnego sposobu, by ją zweryfikować i ewentualnie obalić[39]

Mam nadzieję, że ziemscy matematycy równie ochoczo rzucą się na algebrę Kubusia próbując udowodnić jej wewnętrzną sprzeczność - oczywiście będzie to walka ziemskich matematyków z wiatrakami.

Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący w osi czasu przyjmować zarówno wartość logiczną 1 jak i wartość logiczną 0.
Wszystkie symbole w naszej tabeli T2 to zmienne binarne mogące w osi czasu przybierać wartości logiczne 0 albo 1.

Definicja miękkiej jedynki:
Jedynka miękka = zmienna binarna

Definicja twardej jedynki:
Twarda jedynka = stała binarna

Definicja stałej binarnej:
Stała binarna to symbol którego wartość logiczna w osi czasu jest niezmienna i wynosi 0 albo 1
Matematyczna definicja stałej binarnej (twardej jedynki):
Kod:

   p  q Y=p*q+p*~q+~p*q+~p*~q=1
A: 1  1  1
B: 1  0  1
C: 0  1  1
D: 0  0  1
   1  2  3

Nie istnieje chwila czasowa A, B, C, albo D w której symbol Y przyjąłby wartość logiczną 0, co jest matematycznym dowodem iż symbol Y jest stałą binarną (twardą jedynką).

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-725.html#406929
Irbisol napisał:

Po pierwsze - KŁAMAŁEŚ, że nie pisałeś o różnych rodzajach jedynek.
Podałem ci cytat oraz linka do twojej wypowiedzi.

Po drugie - wiele razy się szczyciłeś, jak to twoja algebra jest zgodna z językiem potocznym.
Teraz nagle masz to w dupie.

Po trzecie ...
Potrafisz odpowiedzieć na zadawane od wielu tygodni pytanie,
co zwróci bramka AND dla różnych rodzajów jedynek
?

Nie rozumiesz, palancie, że ci tego nie odpuszczę i że im dłużej zwlekasz z odpowiedzią, tym bardziej się ośmieszasz? Nie pytam tu o nic nadzwyczajnego - to są podstawy podstaw. A ty jesteś bezradny.

Póki co zachowujesz się jak niedorobiony prezenter odkurzaczy, który zachwala, że jego odkurzacze potrafią w kosmos polecieć, tylko że - kurwa mać - nikt jeszcze nigdy nie widział, jak toto odkurza.

Irbisolu, matematyczne definicje jedynek miękkich i twardych masz na początku niniejszego postu.

Odpowiadam na twoje pytanie:
Jeśli na wejściach bramki „i”(*) podasz stałe binarne (twarde jedynki) to na wyjściu bramki „i’(*) musisz otrzymać twardą jedynkę, inaczej algebra Boole’a leży w gruzach.
W tabeli zero-jedynkowej będzie to wyglądało tak:
Kod:

   p  q Y=p*q
A: 1  1  1
B: 1  1  1
C: 1  1  1
D: 1  1  1


Czy masz jeszcze jakieś pytania Irbisolu?
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ł: 5 tematów


Płeć: Mężczyzna

PostWysłany: Sob 7:01, 22 Wrz 2018    Temat postu:

Cytat:
Definicja miękkiej jedynki:
Jedynka miękka = zmienna binarna


O super. Chyba zaczynam rozumieć. A teraz jeszcze pytanie czy jest miękkie zero?
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Sob 7:12, 22 Wrz 2018    Temat postu:

Algebra Boole’a to de facto logika czterowartościowa!

fiklit napisał:
Cytat:
Definicja miękkiej jedynki:
Jedynka miękka = zmienna binarna

O super. Chyba zaczynam rozumieć. A teraz jeszcze pytanie [b]czy jest miękkie zero?

Oczywiście że JEST!
Istnienie miękkich jedynek wymusza istnienie miękkich zer i odwrotnie (tabela T2)
Istnienie twardych jedynek wymusza istnienie twardych zer i odwrotnie (tabela T3)

Podsumowując:
De facto algebra Boole’a jest logiką czterowartościową bo istnieją tu cztery definicje:
- miękka jedynka
- miękkie zero
- twarda jedynka
- twarde zero

Zauważył to wykładowca logiki matematycznej Volrath w niezapomnianej dyskusji już w 2008 roku.
http://www.sfinia.fora.pl/forum-kubusia,12/kubusiowa-szkola-logiki-na-zywo-dyskusja-z-volrathem,3591-100.html#72064
wykładowca logiki matematycznej volrath napisał:
W sumie to ciekawy problem - poprawne skonstruowanie logiki trójwartościowej tak, by nie potrzeba było rachunku predykatów do przetwarzania zdań "istnieje" i "dla każdego" oraz zawierał trzy wartości "prawda" = twarda prawda, "fałsz" = twardy fałsz i "może" = miękki fałsz/prawda.

Ludzie na co dzień przetwarzają zdania typu "istnieje X" i "dla każdego ze zbioru Y zachodzi Z". I część tych zdań nie mieści się w logice podstawowej (wymaga rachunku predykatów) - a może powinna.


Definicja bramki „i”(*) w algebrze Kubusia:
Bramka „i”(*) = spójnik „i”(*) z języka potocznego człowieka

Definicja operatora AND(|*) w algebrze Kubusia:
Operator AND(|*) to układ równań logicznych Y i ~Y:
1: Y=p*q
2: ~Y=~p*~q

Definicja bramki „i”(*):
Kod:

   p  q  Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0

Definicja bramki „lub”(+):
Kod:

   p  q  Y=p+q
A: 1  1  1
B: 1  0  1
C: 0  1  1
D: 0  0  0


Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie (~p)
p<=>~p = (p=>~p)*(~p=>p)

Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we wszechświecie o idealnej temperaturze
t-constans
W takim wszechświecie pojęcia „ciepło” (C=1) i „nie ciepło” (~C=1) są nierozpoznawalne bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.

Algebra Boole’a ziemian jest matematycznie FAŁSZYWA bo nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y), a tym samym gwałci najważniejsze prawo logiki matematycznej, prawo rozpoznawalności pojęcia p.

Prawo Wilka:
Dowolną funkcję logiczną można dwustronnie zanegować

Mamy wyżej funkcję logiczną:
1: Y=p*q
Negujemy dwustronnie:
~Y=~(p*q)
Na mocy prawa De Morgana mamy:
2: ~Y=~p+~q

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Y=~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej (bo Y):
Y = p*q = ~(~p+~q)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
~Y=~(Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y=~p+~q = ~(p*q)

Wszystkie nasze przekształcenia można udowodnić w rachunku zero-jedynkowym jak niżej.
Nam nocy prawa rozpoznawalności pojęcia p nasza definicja spójnika „i”(*) przybiera postać:
Kod:

T2
   p  q ~p ~q  Y=p*q ~Y=~(p+q) ~Y=~p+~q Y=~(~Y)=~(~p+~q)
A: 1  1  0  0   1      0         0       1
B: 1  0  0  1   0      1         1       0
C: 0  1  1  0   0      1         1       0
D: 0  0  1  1   0      1         1       0
   1  2  3  4   5      6         7       8

Zauważmy, że wszystko jest tu w 100% zgodne z naszymi przekształceniami równań logicznych.
Tożsamość kolumn 5=8 jest dowodem prawa De Morgana w logice dodatniej (bo Y):
1: Y = p*q = ~(~p+~q)
Tożsamość kolumn 6=7 jest dowodem prawa De Morgana w logice ujemnej (bo ~Y):
2: ~Y=~(p+q) = ~p+~q - prawo De Morgana

Definicja operatora AND(|*):
Operator AND(|*) to złożenie funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y):
1.
Y=p*q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1
Doskonale to widać w tabeli zero-jedynkowej ABCD125
2.
~Y=~p+~q
co w logice miękkich jedynek oznacza:
~Y=1 <=> ~p=1 lub ~q=1
Doskonale to widać w tabeli zero-jedynkowej ABCD347.

Z powyższego wynika że budowa operatora AND(|*) jest następująca:
Na wejściu operatora AND(|*) mamy dostępne wszystkie sygnały wejściowe w postaci niezanegowanej i zanegowanej
p, q, ~p, ~q
Na wyjściu operatora AND(|*) mamy dostępne sygnały:
Y, ~Y
Tylko i wyłącznie pod tym warunkiem możemy sprawdzić w laboratorium techniki cyfrowej fenomenalną zgodność tabeli zero-jedynkowej T2 z teorią bramek logicznych.
Algebra Kubusia jest więc w 100% weryfikowalna w przeciwieństwie do np. Teorii Strun która z definicji jest nieweryfikowalna.
[link widoczny dla zalogowanych]
Wikipedia napisał:

Kontrowersje[edytuj | edytuj kod]
Teoria strun nie ma do tej pory dowodów na swą słuszność. Wielu naukowców zarzuca jej brak potwierdzających ją doświadczeń.
Philip Anderson twierdzi, że teoria ta jest "pierwszą od setek lat nauką, która uprawiana jest w sposób przedbaconowski, bez żadnej odpowiedniej procedury eksperymentalnej"[38]. Sheldon Lee Glashow twierdzi natomiast ironicznie, że teoria ta jest "absolutnie bezpieczna", jako że nie ma żadnego sposobu, by ją zweryfikować i ewentualnie obalić[39]

Mam nadzieję, że ziemscy matematycy równie ochoczo rzucą się na algebrę Kubusia próbując udowodnić jej wewnętrzną sprzeczność - oczywiście będzie to walka ziemskich matematyków z wiatrakami.

Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący w osi czasu przyjmować zarówno wartość logiczną 1 jak i wartość logiczną 0.
Wszystkie symbole w naszej tabeli T2 to zmienne binarne mogące w osi czasu przybierać wartości logiczne 0 albo 1.

Definicja miękkiej jedynki:
Jedynka miękka = zmienna binarna

Definicja twardej jedynki:
Twarda jedynka = stała binarna

Definicja stałej binarnej:
Stała binarna to symbol którego wartość logiczna w osi czasu jest niezmienna i wynosi 1 albo 0
Matematyczna definicja stałej binarnej (twardej jedynki albo twardego zera):
Kod:

T3
   p  q Y=p*q+p*~q+~p*q+~p*~q=1 ~Y=~(p*q+p*~q+~p*q+~p*~p)=~(1)=0
A: 1  1  1                        0
B: 1  0  1                        0
C: 0  1  1                        0
D: 0  0  1                        0
   1  2  3                        4

Kolumna 3:
Nie istnieje chwila czasowa A, B, C, albo D w której symbol Y przyjąłby wartość logiczną 0, co jest matematycznym dowodem iż symbol Y jest stałą binarną (twardą jedynką).
Kolumna 4:
Nie istnieje chwila czasowa A, B, C, albo D w której symbol ~Y przyjąłby wartość logiczną 1, co jest matematycznym dowodem iż symbol ~Y jest stałą binarną (twardym zerem).

fiklit napisał:
Cytat:
Definicja miękkiej jedynki:
Jedynka miękka = zmienna binarna

O super. Chyba zaczynam rozumieć. A teraz jeszcze pytanie czy jest miękkie zero?

Oczywiście że JEST!
Istnienie miękkich jedynek wymusza istnienie miękkich zer i odwrotnie (tabela T2)
Istnienie twardych jedynek wymusza istnienie twardych zer i odwrotnie (tabela T3)

Podsumowując:
De facto algebra Boole’a jest logiką czterowartościową bo istnieją tu cztery definicje:
- miękka jedynka
- miękkie zero
- twarda jedynka
- twarde zero

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-725.html#406929
Irbisol napisał:

Po pierwsze - KŁAMAŁEŚ, że nie pisałeś o różnych rodzajach jedynek.
Podałem ci cytat oraz linka do twojej wypowiedzi.

Po drugie - wiele razy się szczyciłeś, jak to twoja algebra jest zgodna z językiem potocznym.
Teraz nagle masz to w dupie.

Po trzecie ...
Potrafisz odpowiedzieć na zadawane od wielu tygodni pytanie,
co zwróci bramka AND dla różnych rodzajów jedynek
?

Nie rozumiesz, palancie, że ci tego nie odpuszczę i że im dłużej zwlekasz z odpowiedzią, tym bardziej się ośmieszasz? Nie pytam tu o nic nadzwyczajnego - to są podstawy podstaw. A ty jesteś bezradny.

Póki co zachowujesz się jak niedorobiony prezenter odkurzaczy, który zachwala, że jego odkurzacze potrafią w kosmos polecieć, tylko że - kurwa mać - nikt jeszcze nigdy nie widział, jak toto odkurza.

Irbisolu, matematyczne definicje jedynek miękkich i twardych masz na początku niniejszego postu.

Odpowiadam na twoje pytanie:
Jeśli na wejściach bramki „i”(*) podasz stałe binarne (twarde jedynki) to na wyjściu bramki „i’(*) musisz otrzymać twardą jedynkę, inaczej algebra Boole’a leży w gruzach.
W tabeli zero-jedynkowej będzie to wyglądało tak:
Kod:

   p  q Y=p*q
A: 1  1  1
B: 1  1  1
C: 1  1  1
D: 1  1  1


Czy masz jeszcze jakieś pytania Irbisolu?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-750.html#406957
Irbisol napisał:
To jest temat o twojej logice, a nie o mojej, więc nie będę tu odpowiadał na żadne pytania.
Piszę to już chyba 10-ty raz, a ty i tak nie pojmujesz.

Pytanie do pozostałych - co z nim robimy?
Jest nas tu chyba trzech aktywnych, którzy dali mu szansę, ale facet stał się całkowicie nieresponsywny.
Nie widzę sensu tego ciągnąć - jak bym gadał do słupa. Pytam od miesięcy o prostą rzecz i tylko potoki bełkotu z siebie wydobywa, a na temat nie odpowie.

Zlewamy go gremialnie?

Sam widzisz Irbisolu, że koniec końców dotarliśmy do odpowiedzi na twoje pytanie przy okazji poznając fundamenty algebry Kubusia w 100% sprzeczne z logiką matematyczną ziemian.
Algebra Boole’a ziemian dla funkcji wyjściowej Y nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y) zatem FAŁSZYWIE opisuje dowolną tabelę zero-jedynkową w spójnikach „i”(*) i „lub”(+).

To nie jest tak, że ja Rafał3006 byłem na naukach w 100-milowym lesie, czyli znałem algebrę Kubusia już 12 lat temu, kiedy zaczęła się walka o jej rozszyfrowywanie.
11 lat temu znałem zalążki algebry Kubusia będąc pewnym definicji obietnicy i definicji groźby rozszyfrowanej na zdaniu:
Kto wierzy we mnie będzie zbawiony

Rozszyfrowując to zdanie doszedłem na gruncie rachunku zero-jedynkowego do praw Kubusia wiążących warunek wystarczający => z warunkiem koniecznym ~>;
p=>q = ~p~>~q
p~>q = ~p=>~q
Wuj Zbój potwierdził poprawność matematyczną powyższych praw dowodząc ich prawdziwość tak:
Definicja znaczka =>:
p=>q = ~p+q
Definicja znaczka ~>:
p~>q = p+~q
stąd mamy:
~p~>~q = ~p+~(~q) = ~p+q = p=>q
~p=>~q = ~(~p)+~q = p+~q = p~>q
cnd

Jakie w tym momencie miałem wyjście?
Nie miałem żadnego, musiałem podjąć walkę o 100% rozszyfrowanie algebry Kubusia, której rzeczywistym autorem jest:
Kubuś = Stwórca naszego Wszechświata

Irbisolu, można przyjąć postawę jak twoje wytłuszczone zdanie:
Irbisol napisał:
Zlewamy go gremialnie?

Taką postawę przyjmowali absolutnie wszyscy admini wszystkich ziemski forów, na których próbowałem głosić algebrę Kubusia z matematyką.pl włącznie!
Moderator Rogal napisał:

Powtórzę się po raz ostatni - w matematyce niczego nie zmienisz, więc możesz nam przestać zawracać tym głowę - wszyscy już zrozumieli, o co chodzi - widzisz jaki entuzjazm? Nie jest potrzebny matematykom nowy operator do codziennego stosowania, bo te które są wystarczają.
Do wcześniej podanych przeze mnie rad, dodam jeszcze jedną - naprawdę zainteresuj się czymś takim jak logiki rozmyte - to jest prawdziwa logika człowieka, wszystko inne to tylko przybliżenia dla uproszczenia sprawy.
Jeśli ktoś będzie miał tutaj coś bardzo istotnego do dodania do tej dyskusji, co nie zostało powiedziane, niech napisze do mnie PW, to temat odblokuję.

Na szczęście jest forum „śfinia” które w regulaminie ma zapisany zakaz banowania kogokolwiek za cokolwiek.
Na szczęście w kluczowej chwili pojawił się Fiklit podejmując 6 letnią dyskusję w temacie logiki matematycznej - bez niego o rozszyfrowaniu AK moglibyśmy tylko pomarzyć.
Dyskusja z Fiklitem dała mi broń do ostatecznej rozprawy z gówno-logiką ziemian, bo dokładnie tym jest nasza ostatnia tu dyskusja:
Rafal3006 vs Irbisol i Idiota
Możliwe, że wszyscy nie mamy tu wolnej woli, możliwe że nasze umysły sterowane były przez Kubusia, stwórcę naszego Wszechświata - tego nie da się wykluczyć.


Ostatnio zmieniony przez rafal3006 dnia Sob 7:36, 22 Wrz 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ść
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Sob 7:34, 22 Wrz 2018    Temat postu:

To co to są te miękkie zera?
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ł: 5 tematów


Płeć: Mężczyzna

PostWysłany: Sob 7:34, 22 Wrz 2018    Temat postu:

To co to są te miękkie zera?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 6856
Przeczytał: 29 tematów


PostWysłany: Sob 8:03, 22 Wrz 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisolowi chodziło tylko i wyłącznie o definicje miękkich jedynek i twardych jedynek w logice matematycznej.

Pokaż mi, do kurwy nędzy, gdzie ja cię pytam o jakieś definicje.

Jak mam się z tobą, pajacu, komunikować, skoro najprostszego pytania, powtarzanego do porzygu, nie potrafisz zrozumieć?


Chciałeś zobaczyć jak wygląda tabela zero-jedynkowa dla miękkich jedynek pociągających za sobą miękkie zera - dostałeś ja w ostatnim poście.

Nie, funkcjonalny analfabeto - nie chciałem żadnej tabeli ZERO-jedynkowej, a tym bardziej dla OR.
Chciałem tabelę dla różnych rodzajów jedynek z odpowiedziami bramki AND na te jedynki.
Czyli:

1(1) * 1(1) = ?
1(2) * 1(2) = ?
itd. wszelkie kombinacje - najlepiej w formie tabeli, jakkolwiek wyżej mamy formę listy.
Liczba w nawiasie to kolejny rodzaj jedynki - o żadnych zerach nie ma tu mowy.

@fiklit
Nie gadaj z nim - on tylko na to czeka, żeby zmienić temat.
Na pytanie, które pokazuje, ile warta jest ta jego zasrana logika, specjalnie nie odpowiada, bo wie, że się ośmieszył.
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: 25041
Przeczytał: 15 tematów

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

PostWysłany: Sob 9:14, 22 Wrz 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisolowi chodziło tylko i wyłącznie o definicje miękkich jedynek i twardych jedynek w logice matematycznej.

Pokaż mi, do kurwy nędzy, gdzie ja cię pytam o jakieś definicje.

Jak mam się z tobą, pajacu, komunikować, skoro najprostszego pytania, powtarzanego do porzygu, nie potrafisz zrozumieć?


Chciałeś zobaczyć jak wygląda tabela zero-jedynkowa dla miękkich jedynek pociągających za sobą miękkie zera - dostałeś ja w ostatnim poście.

Nie, funkcjonalny analfabeto - nie chciałem żadnej tabeli ZERO-jedynkowej, a tym bardziej dla OR.
Chciałem tabelę dla różnych rodzajów jedynek z odpowiedziami bramki AND na te jedynki.
Czyli:

1(1) * 1(1) = ?
1(2) * 1(2) = ?
itd. wszelkie kombinacje - najlepiej w formie tabeli, jakkolwiek wyżej mamy formę listy.
Liczba w nawiasie to kolejny rodzaj jedynki - o żadnych zerach nie ma tu mowy.

@fiklit
Nie gadaj z nim - on tylko na to czeka, żeby zmienić temat.
Na pytanie, które pokazuje, ile warta jest ta jego zasrana logika, specjalnie nie odpowiada, bo wie, że się ośmieszył.

Irbisolu,
dostałeś szczegółową odpowiedź na twoje pytanie w tym poście wyżej:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-750.html#407063
rafal3006 napisał:
Co zwróci bramka „i”(*) dla miękkich i twardych jedynek!

Napisz proszę czego z tego postu nie rozumiesz lub co kwestionujesz.
Oczywistym jest że aby mówić o miękkich jedynkach/zerach i twardych jedynkach/zerach musisz zaakceptować definicje tych pojęć podane w powyższym linku!

Pamiętaj że rozmawiamy o prawdziwej logice matematycznej, algebrze Kubusia a nie o gówno-logice ziemian fałszywej algebrze Boole'a.

Dowody fałszywości ziemskiej algebry Boole'a:
1.
Algebra Boole'a ziemian jest fałszywa bo nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y)
2.
Ziemska algebra Boole'a jest fałszywa bo nie zna definicji:
- miękkich jedynek pociągających za sobą miękkie zera i odwrotnie
- twardych jedynek pociągających za sobą twarde zera i odwrotnie
cnd


Ostatnio zmieniony przez rafal3006 dnia Sob 9:41, 22 Wrz 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ść
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25041
Przeczytał: 15 tematów

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

PostWysłany: Sob 9:24, 22 Wrz 2018    Temat postu:

Równania algebry Boole’a opisujące dowolną tabelę zero-jedynkową!

Ziemscy matematycy nie mają o logice matematycznej najmniejszego pojęcia
Czyli:
Wszelkie znane im definicje z zakresu logiki matematycznej są FAŁSZYWE!

Dowody fałszywości ziemskiej algebry Boole'a:
1.
Algebra Boole'a ziemian jest fałszywa bo nie widzi logiki dodatniej (bo Y) i ujemnej (bo ~Y)
2.
Ziemska algebra Boole'a jest fałszywa bo nie zna definicji:
- miękkich jedynek pociągających za sobą miękkie zera i odwrotnie
- twardych jedynek pociągających za sobą twarde zera i odwrotnie
cnd

Oczywiście nie jest prawdą, że definicji się nie obala.

Ziemskie definicje same się obalają robiąc z człowieka DABILA któremu rozkazuje się akceptować najzwyklejsze matematyczne GÓWNA (powtórzę GÓWNA) jak niżej.
A.
Mickiewicz był Polakiem i pies ma cztery łapy wtedy i tylko wtedy gdy Płock leży nad Wisłą i kwadrat ma cztery boki

… a robią to niestety koziołki matołki zwane ziemskimi matematykami.
Najsmutniejszy jest fakt, że wykształcone pokolenie koziołków matołków kształci sobie kolejne pokolenie równych im, koziołków matołków.

Tak było przez 2500 lat od czasów Sokratesa.
Na szczęście na ziemię zstąpił Kubuś, stwórca naszego Wszechświata i poprzez ziemskie medium zwane rafalem3006 powiedział:

STOP!
Nigdy więcej matematyczne koziołki matołki zwane ziemskimi matematykami nie będą kształcić kolejnych pokoleń koziołków matołków na obraz i podobieństwo swoje.

Głupsza od głupoty jest uczona głupota.
Henryk Ferdynand Kaden

fiklit napisał:
To co to są te miękkie zera?

Miękkie jedynki wymuszają miękkie zera i odwrotnie czyli:
Jeśli symbol p jest zmienną binarną to z definicji w kolumnie zero-jedynkowej opisującej ten symbol istnieją miękkie jedynki i miękkie zera.
Przykład:
Kod:

   p ~p  Y=p Z=p+~p=1 ~Z=~(p+~p)=~(1)=0
A: 1  0   1   1         0
B: 0  1   0   1         0
   1  2   3   4         5

Doskonale widać że symbole p, ~p, Y to zmienne binarne, bowiem w kolumnach opisujących te symbole występują zarówno miękkie jedynki jak i miękkie zera.

Definicja miękkiej jedynki:
Definicja miękkiej jedynki związana jest z definicją zmiennej binarnej.
Zmienna p może przyjąć w osi czasu wartość logiczną jeden, ale nie musi

Definicja miękkiego zera:
Definicja miękkiego zera związana jest z definicją zmiennej binarnej.
Zmienna p może przyjąć w osi czasu wartość logiczną zero, ale nie musi

Doskonale widać, że symbole Z i ~Z to stałe binarne bowiem w kolumnach opisujących te symbole występują wyłącznie jedynki (kolumna 4) albo wyłącznie zera (kolumna 5)

Definicja twardej jedynki:
Definicja twardej jedynki związana jest z definicją stałej binarnej.
Stała binarna to symbol który w osi czasu ma niezmienną wartość logiczną:
Z=1 - kolumna 4 (twarda jedynka)
albo
~Z=0 - kolumna 5 (twarde zero)
Oczywistym jest że z twardej jedynki (Z=1) wynika twarde zero (~Z=0) i odwrotnie

Dowolną tabelę zero-jedynkową ze zmiennymi binarnymi można opisać w technice miękkich jedynek (mintermy) lub w technice miękkich zer (makstermy).

Dowód na przykładzie, czyli zadanie matematyczne w I klasie LO w 100-milowym lesie

Niech będzie dana tabela zero-jedynkowa:
Kod:

T1
   p  q  Y=?
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  1

Polecenie:
Wyprowadź wszystkie możliwe równania logiczne dla tej tabeli w rachunku zero-jedynkowym.

Rozwiązanie:
Wszystkie symbole w powyższej tabeli to zmienne binarne, bowiem w osi czasu (patrz kolumny!)każda ze zmiennych może przyjąć dowolną wartość logiczną 0 albo 1.
Mamy tu zatem do czynienia wyłącznie z miękkimi jedynkami pociągającymi za sobą miękkie zera (mogą zajść ale nie muszą)

Prawo Lwa:
Dowolna zmienna binarna w logice dodatniej (bo p) wymusza istnienie zmiennej binarnej w logice ujemnej (bo ~p) i odwrotnie.
p<=>~p = (p=>~p)*(~p=>p)

Dla stałych binarnych jest identycznie:
Dowolna stała binarna w logice dodatniej (bo p) wymusza istnienie stałej binarnej w logice ujemnej (bo ~p) i odwrotnie.
p<=>~p = (p=>~p)*(~p=>p)

Na mocy prawa Lwa nasza tabela przyjmuje postać:
Kod:

T2
   p  q ~p ~q  Y=? ~Y=?
A: 1  1  0  0   1    0
B: 1  0  0  1   0    1
C: 0  1  1  0   0    1
D: 0  0  0  0   1    0

Równania cząstkowe dla każdej linii tabeli zero-jedynkowej możemy zapisać w technice mintermów (równania alternatywno-koniunkcyjne) albo w technice makstermów (równania koniunkcyjno-alternatywne)
W technice mintermów opisujemy wyłącznie jedynki w pełnej tabeli zero-jedynkowej uzyskanej na mocy prawa Lwa - w liniach stosujemy spójnik „i” zaś w pionach spójnik”lub”(+).
W technice makstermów opisujemy wyłącznie zera w pełnej tabeli zero-jedynkowej uzyskanej na mocy prawa Lwa - w liniach stosujemy spójnik „lub”(+) zaś w pionach spójnik „i”(*).

Nasz tabela T2 w technice mintermów wygląda następująco:
Kod:

T3                   
Tabela zero-jedynkowa   |Co w mintermach     |Równania cząstkowe
                        |oznacza             |w mintermach
   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   0    1  |~Yb=1<=> p=1 i ~q=1 |~Yb= p*~q
C: 0  1  1  0   0    1  |~Yc=1<=>~p=1 i  q=1 |~Yc=~p* q
D: 0  0  1  1   1    0  | Yd=1<=>~p=1 i ~q=1 | Yd=~p*~q
   1  2  3  4   5    6    a       b      c     d   e  f

Naszą tabelę zero-jedynkową w mintermch opisuje układ równań logicznych:
1.
Y=Ya+Yd
Po rozwinięciu mamy:
Y = A: p*q + D: ~p*~q
co w logice miękkich jedynek (bo mamy tu do czynienia ze zmiennymi binarnymi) oznacza:
Y=1 <=> A: p=1 i q=1 lub D: ~p=1 i ~q=1
2.
~Y=~Yb+~Yc
Po rozwinięciu mamy:
~Y = B: p*~q + C: ~p*q
co w logice miękkich jedynek oznacza:
~Y = B: p=1 i ~q=1 lub C: ~p=1 i q=1

Nasza tabela T2 w technice makstermów wygląda następująco:
Kod:

T4                   
Tabela zero-jedynkowa   |Co w makstermach      |Równania cząstkowe
                        |oznacza               |w makstermach
   p  q ~p ~q  Y=? ~Y=? |                      |
A: 1  1  0  0   1    0  |~Ya=0<=>~p=0 lub ~q=0 |~Ya=~p+~q
B: 1  0  0  1   0    1  | Yb=0<=>~p=0 lub  q=0 | Yb=~p+ q
C: 0  1  1  0   0    1  | Yc=0<=> p=0 lub ~q=0 | Yc= p+~q
D: 0  0  1  1   1    0  |~Yd=0<=> p=0 lub  q=0 |~Yd= p+ q
   1  2  3  4   5    6    a       b        c     d   e  f

Naszą tabelę zero-jedynkową w makstermach opisuje układ równań logicznych:
3.
W makstermach w pionie stosujemy spójnik „i”(*):
Y=Yb*Yc
Po rozwinięciu mamy:
Y = B: (~p+q) * C: (p+~q)
co w logice miękkich zer (bo mamy tu do czynienia ze zmiennymi binarnymi) oznacza:
Y=0 <=> B: (~p=0 lub q=0) i C: (p=0 lub ~q=0)
4.
W makstermach w pionie stosujemy spójnik „i”(*):
~Y=~Ya*~Yd
Po rozwinięciu mamy:
~Y = A: (~p+~q)* D: (p+q)
co w logice miękkich zer (bo mamy tu do czynienia ze zmiennymi binarnymi) oznacza:
~Y=0 <=> A: (~p=0 lub ~q=0) i D: (p=0 lub q=0)

W tabelach T3 i T4 opisywaliśmy dokładnie tą samą tabelę zero-jedynkową ABCD123456 w technice mintermów i makstermów.
Zapiszmy jeszcze raz wszystkie uzyskane przez nas równania logiczne.
Mintermy:
1: Y = p*q + ~p*~q
2: ~Y=p*~q + ~p*q
Makstermy:
3: Y=(~p+q)*(p+~q)
4: ~Y=(~p+~q)*(p+q)

Końcowe rozwiązanie zadania:
Matematyczne związki równań algebry Boole’a opisujących zadana tabelę zero-jedynkową T1 są następujące:
I.
1: Y = 3: Y
stąd:
Y = p*q + ~p*~q = (~p+q)*(p+~q)
II.
2: ~Y = 3: ~Y
stąd:
~Y = p*~q+~p*q = (~p+q)*(p+~q)
III.
Matematycznie zachodzi:
Y = p*q + ~p*~q = (~p+q)*(p+~q) # ~Y = p*~q+~p*q = (~p+q)*(p+~q)
Definicja znaczka #:
Funkcja logiczna po dowolnej stronie znaczka # jest zanegowaną postacią drugiej strony

Przykład:
Pani w przedszkolu
1.
Jutro pójdziemy do kina wtedy i tylko wtedy gdy pójdziemy do teatru
Y = K<=>T = K*T + ~K*~T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1 lub ~K=1 i ~T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy:
A: Ya=K*T=1*1 =1 - jutro pójdziemy do kina (K=1) i do teatru (T=1)
lub
D: Yd=~K*~T=1*1=1 - jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

… a kiedy pani skłamie?
Negujemy równie 1 stronami:
1: Y = (K*T)+(~K*~T)
Przejście do logiki ujemnej (bo ~Y) metodą Wuja Zbuja poprzez negację zmiennych i wymianę spójników:
2: ~Y = (~K+~T)*(K+T)
Zauważmy, że uzupełnienie brakujących nawiasów w 1 jest tu kluczowe.
Jedną funkcją logiczną rozumianą przez człowieka jest funkcja alternatywno-koniunkcyjna.
Stąd musimy wymnożyć wielomian 2 aby ją uzyskać:
~Y = ~K*K + ~K*T + ~T*K + ~T*T
2.
~Y = K*~T + ~K*T
co w logice miękkich jedynek oznacza:
~Y=1 <=> K=1 i ~T=1 lub ~K=1 i T=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy:
B: ~Yb=K*~T=1*1 =1 - jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
C: ~Yc=~K*T = 1*1=1 - jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)

Podsumowując:
Mam nadzieję Fiklicie, iż przyznasz mi rację, że tego typu zadanka z logiki matematycznej to poziom co najwyżej I klasy LO oraz że uczniowie błyskawicznie załapią o co w jedynej prawdziwej logice matematycznej, algebrze Kubusia, chodzi.

Tego po prostu nie da się nie rozumieć!


Ostatnio zmieniony przez rafal3006 dnia Sob 15:33, 22 Wrz 2018, w całości zmieniany 8 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 CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 30, 31, 32 ... 64, 65, 66  Następny
Strona 31 z 66

 
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