 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Śro 16:34, 13 Mar 2024 Temat postu: |
|
|
Czy z Irbisolem mozliwe jest nawiązanie kontaktu wyjaśniejacego o co mu chodzi?
Ma kto taka nadzieję?
| Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: | Przecież to ty się zaciąłeś i wklejasz to samo.
Ten drugi zresztą też 
Napisałem ci na poprzedniej stronie, gdzie jest pytanie. Sam dopiero co je znalazłeś. |
O czym w końcu chcesz dyskutować?
O tym swoim poście startowym:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Czy o swoim offtopie do postu wyżej - funkcji tożsamościowej.
Matematcznie to dwa fundamentalnie inne zagadnienia!
Czy kto ma ndzieję, że bot wie o czym aktualnie chce dyskutować? |
Przecież w pytaniu jest właśnie funkcja tożsamościowa.
Jeszcze się nie zorientowałeś, specjalisto od określania, które zagadnienia metamatyczne są fundamentalnie inne?  |
Ogólna definicja funkcji logicznej jest w AK taka:
| Algebra Kubusia napisał: |
1.3 Definicja wyrażenia algebry Boole'a
| Kod: |
Definicja dwuargumentowego spójnika „i”(*):
p* q Y=p*q
A: 1* 1 1
B: 1* 0 0
C: 0* 1 0
D: 0* 0 0
Y=1 <=> p=1 i q=1
inaczej:
Y=0 |
| Kod: |
Definicja dwuargumentowego spójnika „lub”(+):
p+ q Y=p+q
A: 1+ 1 1
B: 1+ 0 1
C: 0+ 1 1
D: 0+ 0 0
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
|
Gdzie:
<=> - wtedy i tylko wtedy
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
1.3.1 Definicja funkcji logicznej algebry Boole'a:
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
|
Czy ty jesteś w stanie podjąć dyskusję wyjaśniającą o co ci chodzi?
Wyjaśniam:
Zapis przykładowej, jednej z niskończenie wielu funkcji logicznych n-argumentowych jest taki:
1: Y = p*q+~p*~q
Oczywiście każda tożsamość to jest równoważność na mocy prawa Irbisa.
Zatem funkcja 1 jest tożsama z funkcją 2 niżej:
2: Y <=> p*q+~p*~q
Innymi słowy:
Symbol Y jest tożsamy z wyrażeniem algebry Boole'a po prawej stronie
Oczywistym jest, że to co wyżej spełnia prawo Irbisa które sam uznałeś .. a z którego teraz się wycofujesz?
Prawo Papużki-nierozłączki:
Funkcja tożsamościowa to jest tylko i wyłącznie twoje prawo Irbisa, to jest tylko i wyłącznie równoważność p<=>q.
Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q
Środek czytamy:
Każdy zbiór jest jednocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
Nasz przykład 1=2:
1: Y=p*q + ~p*~q <=> (A1: Y=>p*q+~p*~q)*(B1: Y~>p*q+~p*~q) = 2: Y<=>p*q+~p*~q
Dowód:
a=p*q+~p*~q
stąd mamy:
1: Y=a <=> (A1: Y=>a)*(B1: Y~>a) = 2: Y<=>a
cnd
Czy o taką pierdułkę ci chodzi?
Czy masz jakeś zastrzeżenia do moich zapisów 1 i 2?
Ostatnio zmieniony przez rafal3006 dnia Śro 17:15, 13 Mar 2024, w całości zmieniany 9 razy
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Śro 17:34, 13 Mar 2024 Temat postu: |
|
|
W wikipedii masz definicję funkcji tożsamościowej.
Może prościej: nie skupiaj się na nazewnictwie tej funkcji, lecz po prostu odpowiedz na pytanie.
Funkcję ci podałem - podaj dla niej 2 rozwiązania wg małpy.
Ostatnio zmieniony przez Irbisol dnia Śro 17:55, 13 Mar 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 18:07, 13 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | W wikipedii masz definicję funkcji tożsamościowej.
Może prościej: nie skupiaj się na nazewnictwie tej funkcji, lecz po prostu odpowiedz na pytanie.
Funkcję ci podałem - podaj dla niej 2 rozwiązania wg małpy. |
Jeśli chodzi o logikę matematyzną to w tym zakresie Wikiedię możesz sobie wziąć do kibelka i pupcie nią podcierać.
Nie możesz obalać algebry Kubusia papierem toaletowym zwanym Wikipedią - oczywście tylko o logikę matematyczną tu chodzi.
Dam ci najprostszy przykład pod słońcem.
Udowodnij na bazie Wikiepdii że:
2=2 (to jest twoja funkcja tożsamościowa!)
Dowód jest tu prymitywnie prosty - potrafisz to udowodnić matematycznie?
Podpowiedź:
Skorzystaj z prawa Irbisa.
Prawo Irbisa:
Dwa zbiory p i q są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q (i odwrotnie)
p=q <=> (A1: p=>q)*(B1: p~>q) = p<=>q
P.S.
Taki dowód wkrótce będzie w kazdym podręczniku matematyyki do I klasy LO!
Ostatnio zmieniony przez rafal3006 dnia Śro 18:14, 13 Mar 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Śro 18:12, 13 Mar 2024 Temat postu: |
|
|
| rafal3006 napisał: | Dam ci najprostszy przykład pod słońcem.
Udowodnij na bazie Wikiepdii że: |
Odpowiedz na pytanie. Podaj te 2 rozwiązania, o które pytam.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 18:19, 13 Mar 2024 Temat postu: |
|
|
Zdemaskowanie płaskoziemcy zwanego Irbisolem!
Koniec postu.
| Irbisol napisał: | | rafal3006 napisał: | Dam ci najprostszy przykład pod słońcem.
Udowodnij na bazie Wikiepdii że: |
Odpowiedz na pytanie. Podaj te 2 rozwiązania, o które pytam. |
Najpierw ustalmy wspólny punkt odniesienia:
Y = p*q + ~p*~q
Czy to jest twoim zdaniem poprawny zapis jednej z nieskończenie wielu funkcji logicznych?
TAK/NIE
Bez ustalenia wspólnego punktu odniesienia nie masz szans na dalszą dyskusję ze mną!
Najśmieszniejsze jest to, że zapisów jak wyżej funkcji logicznej Y jest w Wikipedii milony ... a ty to kwestionujesz?
Innymi słowy:
Według ciebie to nie jest poprawny zapis funkcji logicznej? 
... chyba za dużo wypiłeś, albo masz totalnie sprany mózg gównem zwanym Wikipedią (oczywiście wyłącznie o logikę matematyczną tu chodzi).
Przykłady różnych funkcji logicznych typu:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Przykład:
f(x) = p*q+~p*~q
masz chocby tu płaskoziemco:
[link widoczny dla zalogowanych]
że nie wspomnę o katalogach ukłdów cyfrowych.
Czym jest w technice cyfrowej pojęcie funkcji logicznej znajdziesz w każdym katalogu cyfrowych układów logicznych np tu:
[link widoczny dla zalogowanych]
Pisze ci jak byk w komentarzu na pierwszej stronie!
1: Y = p$q = p*~q + ~p*q
Gdzie:
$ - spójnik "albo"($) w języku potocznym
$ = XOR - bramka XOR w teorii bramek logicznych
To jest jedyna poprawna, definicja funkcji logicznej w algebrze Boole'a.
Zaprawdę powiadam ci Irbisolu, jesteś płaskoziemcą wybitnym skoro kwestionujesz zapis 1 wyżej, jako jedyny poprawny zapis funkcji logicznej na gruncie algebry Boole'a!
Twoje gówno w tym zakresie zwane Wikipedią przerób na papier toaletowy - taka jest moja ostateczna rada.
Weźmy jeszcze raz:
1: Y = p$q = p*~q + ~p*q
Dkaczego to jest jedyny poprawny zapis funkcji logicznej Y algebry Boole'a?
Bo to jest krystalicznie czysta matematyka czyli wyłacznie symbole mogące przybierać dwie wartości logiczne {0,1} - żadnych tam gówien w postaci czegokolwiek ze świata fizycznego np. teorii zbiorów.
Funkcję logiczną 1 daje się oczywiście przyporządkować do spójnka "albo"($) w jezyku potocznym, ale to jest sprawa wtórna w stosunku do krystalicznie czystej matematyki zero-jedynkowej tu występującej.
Na zakończenie zdemaskuję płaskoziemcę zwanego Irbisolem!
Test z logiki matematycznej w I klasie LO:
1.
Czym jest poniższy zapis:
p*~q+~p*q
a) funkcją logiczną
b) wyrażeniem algebry Boole'a
2.
Czym jest ponizszy zapis?
Y = p*q+~p*q
a) funkcją logiczną
b) wyrażeniem algebry Boole'a
... i co Irbisolu?
Leżymy, kwiczymy i błagamy o litość tzn. nie masz pojęcia w temacie odpowiedzi na pytania 1 i 2.
Jeśli masz to dawaj - rozwiaż ten test!
Pewne jest, że rozwiązanie Irbisola bedzie ciągiem dalszym jego nieskończonego tańca chochoła "odpowiedz na moje pytanie"
Wszyscy za chwilę zobaczą na własne oczy, że dokładnie tak bedzie!
Ostatnio zmieniony przez rafal3006 dnia Śro 20:00, 13 Mar 2024, w całości zmieniany 13 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Śro 20:23, 13 Mar 2024 Temat postu: |
|
|
Nic nie będziemy ustalać.
Podaj rozwiązania, o których pisałeś.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Śro 20:32, 13 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | Nic nie będziemy ustalać.
Podaj rozwiązania, o których pisałeś. |
Ściema
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 20:37, 13 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | Nic nie będziemy ustalać.
Podaj rozwiązania, o których pisałeś. |
Napisz o czym pisałem, bo to na 100% wyłącznie rojenia w twojej biednej główce - nie mam dostępu do twoich rojeń
Jak wszyscy widzą Irbisol jest w 100% przewidywalny - robi za bota, smutne to ale prawdziwe.
Irbisolu, nie masz szans na dyskusję ze mną, dopóki będziesz kwestionował definicję funkcji logicznej rodem z algebry Boole'a, czyli z teorii bramek logicznych
Y = p*~q + ~p*q
| rafal3006 napisał: | Zdemaskowanie płaskoziemcy zwanego Irbisolem!
Koniec postu.
Na zakończenie zdemaskuję płaskoziemcę zwanego Irbisolem!
Test z logiki matematycznej w I klasie LO:
1.
Czym jest poniższy zapis:
p*~q+~p*q
a) funkcją logiczną
b) wyrażeniem algebry Boole'a
2.
Czym jest ponizszy zapis?
Y = p*~q+~p*q
a) funkcją logiczną
b) wyrażeniem algebry Boole'a
... i co Irbisolu?
Leżymy, kwiczymy i błagamy o litość tzn. nie masz pojęcia w temacie odpowiedzi na pytania 1 i 2.
Jeśli masz to dawaj - rozwiaż ten test!
Pewne jest, że rozwiązanie Irbisola bedzie ciągiem dalszym jego nieskończonego tańca chochoła "odpowiedz na moje pytanie"
Wszyscy za chwilę zobaczą na własne oczy, że dokładnie tak bedzie! |
Ostatnio zmieniony przez rafal3006 dnia Śro 20:42, 13 Mar 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Śro 20:41, 13 Mar 2024 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | Nic nie będziemy ustalać.
Podaj rozwiązania, o których pisałeś. |
Jak wszyscy widzą Irbisol jest w 100% przewidywalny - robi za bota, smutne to ale prawdziwe. |
Przecież dawno napisałem, że nie zaczynam innych tematów, dopóki nie odpowiesz na pytanie.
Więc nie jest jakimś wielkim sukcesem z twojej strony, że przewidziałeś, iż dotrzymuję słowa.
Ciekawe, czy po raz kolejny zapytasz, jakie było pytanie. To już chyba piąty raz by był po tym, gdy ci je podałem lub sam znalazłeś.
O - widzę po powyższym poście, że znowu zapomniałeś
Ostatnio zmieniony przez Irbisol dnia Śro 20:48, 13 Mar 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 20:59, 13 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Nic nie będziemy ustalać.
Podaj rozwiązania, o których pisałeś. |
Jak wszyscy widzą Irbisol jest w 100% przewidywalny - robi za bota, smutne to ale prawdziwe. |
Przecież dawno napisałem, że nie zaczynam innych tematów, dopóki nie odpowiesz na pytanie.
Więc nie jest jakimś wielkim sukcesem z twojej strony, że przewidziałeś, iż dotrzymuję słowa.
Ciekawe, czy po raz kolejny zapytasz, jakie było pytanie. To już chyba piąty raz by był po tym, gdy ci je podałem lub sam znalazłeś.
O - widzę po powyższym poście, że znowu zapomniałeś |
Wróćmy do korzeni płaskoziemco:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779163
| Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
Po pierwsze wyjaśnij wszystkim skąd wziąłeś ten zapis:
Y = f(x) = x
Podaj cytat gdzie ja tak napisałem, jełopie!
Robisz za Urbana jełopie - wiesz kim był Urban?
Za chwilę wszscy zobaczą kolejną odsłonę tańca chochoła "sam sobie znajdź w gównie które zapisałeś"
Płaskoziemca jest w 100% przewidywalny.
Ostatnio zmieniony przez rafal3006 dnia Śro 21:14, 13 Mar 2024, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 22:09, 13 Mar 2024 Temat postu: |
|
|
Definicja funkcji tożsamościowej według płaskoziemcy Irbisola!
... ale jaja!
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | | rafal3006 napisał: | Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy? |
| Irbisol napisał: | Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej. |
Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej. |
Funkcja tożsamościowa:
Y = f(x) = x
Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej. |
Irbisolu,
Po pierwsze wyjaśnij wszystkim skąd wziąłeś ten zapis:
Y = f(x) = x
Podaj cytat gdzie ja tak napisałem, jełopie!
Robisz za Urbana jełopie - wiesz kim był Urban?
Za chwilę wszscy zobaczą kolejną odsłonę tańca chochoła "sam sobie znajdź w gównie które zapisałeś"
Płaskoziemca jest w 100% przewidywalny.
Irbisolu, przypomne ci co ty o mnie dawno temu wypisywałeś bo to rykoszetem pasuje do ciebie jak ulał.
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-450.html#369345
| Irbisol napisał: | | Ty jesteś naprawdę ograniczony - nie ma z tobą podstawowego kontaktu ... Nie wiem, jak do ciebie przemówić, bo twoja głupota przerasta wszystko, co do tej pory spotkałem na wielu forach |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1050.html#415439
| Irbisol napisał: | | Po prostu nie mam już słów na wyrażenie stopnia twojego upośledzenia, które nie pozwala ci tego pojąć. |
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1150.html#418651
| Irbisol napisał: | | Debil by zrozumiał, dlatego nie nazywam cię debilem, żeby debili nie obrażać. |
http://www.sfinia.fora.pl/forum-kubusia,12/dowod-debila-oparty-na-dwoch-sprzecznych-zalozeniach,14695.html#484965
| Irbisol napisał: | Znajdźcie mi takiego drugiego debila.
Płaskoziemcy to profesorzy przy nim. |
Kto mieczem wojuje, od miecza ginie.
Ostatnio zmieniony przez rafal3006 dnia Śro 22:21, 13 Mar 2024, w całości zmieniany 11 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 8:32, 14 Mar 2024 Temat postu: |
|
|
Wyjaśnienie dla czytelników dlaczego Irbisol robi za Urbana!
bo z Irbisolem nie mam kontaktu
Logika Urbana w stanie wojennym w Polsce (1981-1989) to wyrwane z kontekstu zdanie opozycjonisty i nadanie temu zdaniu zupełnie innego znaczenia.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubsia napisał: |
1.4 Definicja funkcji logicznej jednoargumentowej Y=x
Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej perfekcyjna znajomość na poziomie funkcji logicznych jednoargumentowych.
Zainteresowanym szczegółami polecam teorię operatorów jednoargumentowych w rachunku zero-jedynkowym zawartą w punkcie 20.0
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y = f(x) =x
Zapis tożsamy:
Y=x
Gdzie:
x = {p, ~p, 1, 0}
Definicja funkcji logicznej jednoargumentowej Y=x
Funkcja logiczna jednoargumentowa Y=x to odpowiedź na pytanie o Y.
Kiedy zajdzie Y?
A1.
Y=x
co w logice jedynek oznacza:
Y=1 <=> x=1
Gdzie:
x = {p, ~p, 1, 0}
Wszystkie możliwe funkcje jednoargumentowe to:
Y=p - transmisja, na wyjściu Y mamy zawsze niezanegowany sygnał p
Y=~p - negacja, na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Y=1 - stała binarna, na wyjściu Y mamy zawsze 1
Y=0 - stała binarna, na wyjściu Y mamy zawsze 0
Zdanie zawsze prawdziwe (Y=1) i zdanie zawsze fałszywe (Y=0) to matematyczne śmieci co udowodniono w pkt. 1.3.1, dlatego te przypadki mało nas interesują. |
W powyższym cytacie x z założenia jest jednoargumentowym wyrażeniem algebry Boole'a.
Poprawne zapisy takiego wyrażenia to:
f(p)=p
f(~p)=~p
f(1)=1
f(0)=0
Logika Urbana w przełożeniu na matematykę klasyczną wygląda tak.
Twierdzenie:
Funkcja kwadratowa:
Y=x^2+a
Ma dwa rozwiązania (miejsca zerowe) dla a<0
Irbisol:
To nieprawda, bo dla a=0 funkcja kwadratowa ma jedno rozwiązanie, a dla a>0 nie ma rozwiązań.
W ten oto sposób obaliłem matematykę.
Czy na pewno Irbisolu?
Czekam kiedy zaczniesz myśleć jak normalny człowiek i dyskutować jak normalny człowiek, czyli odnosić się do tego co JA piszę .. a nie do własnych rojeń w temacie co tobie się wydaje, że ja piszę.
Płaskoziemca Irbisol pisze tu tak:
Y = f(p*q+~p*~q) = p*q+~p*~q
i to jest jego zdaniem dowód, że zapis:
Y=f(x)=x
to zapis ogólny funkcji tożsamościowej dla funkcji logicznej n-argumentowej (w jego rojeniach oczywiście).
Funkcję logiczną n-argumentową zdefiniowałem wcześniej - oczywiście płaskoziemca Irbisol mojego gówna nie będzie czytał!
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubsia napisał: |
1.3 Definicja wyrażenia algebry Boole'a
| Kod: |
Definicja dwuargumentowego spójnika „i”(*):
p* q Y=p*q
A: 1* 1 1
B: 1* 0 0
C: 0* 1 0
D: 0* 0 0
Y=1 <=> p=1 i q=1
inaczej:
Y=0 |
| Kod: |
Definicja dwuargumentowego spójnika „lub”(+):
p+ q Y=p+q
A: 1+ 1 1
B: 1+ 0 1
C: 0+ 1 1
D: 0+ 0 0
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
|
Gdzie:
<=> - wtedy i tylko wtedy
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
1.3.1 Definicja funkcji logicznej algebry Boole'a:
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a f(x) w osi czasu.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Zapis funkcji logicznej Y w technice cyfrowej:
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
W szczególnym przypadku funkcja logiczna Y może być stałą binarną, gdy w kolumnie opisującej symbol Y są same jedynki albo same zera. |
Ostatnio zmieniony przez rafal3006 dnia Czw 8:52, 14 Mar 2024, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Czw 10:39, 14 Mar 2024 Temat postu: |
|
|
A po co ci wiedzieć, skąd wziąłem ten zapis?
Miała być dowolna funkcja, więc podałem jakąś - właściwie najprostszą możliwą.
Teraz ty podaj 2 rozwiązania.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 97 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 10:39, 14 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | A po co ci wiedzieć, skąd wziąłem ten zapis?
Miała być dowolna funkcja, więc podałem jakąś - właściwie najprostszą możliwą.
Teraz ty podaj 2 rozwiązania. |
Znowu ściemniasz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 10:56, 14 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | A po co ci wiedzieć, skąd wziąłem ten zapis?
Miała być dowolna funkcja, więc podałem jakąś - właściwie najprostszą możliwą.
Teraz ty podaj 2 rozwiązania. |
Y=f(x)=x - to jest z założenia zapis ogólny funkcji logicznej jednoargumentowej w algebrze Boole'a (patrz mój post wyżej).
Nie możesz tu pod x podstawić funkcji n-argumentowej.
W funkcji logicznej która ma więcej niż jeden argument poprawne zapisy są takie:
f(x) - dowolne wyrażenie algebry Boole'a
f(p,q) = p*q + ~p*~q - konkretne wyrażenie dwuargumentowe
Stąd mamy zdefiniowaną funkcję logiczną dwuargumentową:
Y = f(p,q)=p*q + ~p*~q
Ty nie odróżniasz funkcji logicznej jednoargumentowej od funkcji logicznej n-argumentowej.
Funkcję jednoargumentową perfekcyjnie zna każdy 5-cio latek (a nawet 3-latek), czego nie da się powiedzieć o funkcji logicznej n-argumentowej.
Podsumowując:
Podaj przykładowy zapis w algebrze Boole'a tej twojej najprostszej funkcji logicznej.
Czy ma kto nadzieję, że Irbisol poda przykład?
Oczywiście będzie dalszy ciąg tańca chochoła "napisałem wyżej sam sobie znajdź"
Nic nie będę znajdował:
Ty masz zapisać tu i teraz co masz na myśli, bo udowodniłem wyżej, że twoja definicja funkcji tożsamościowej:
Y = f(x)=x
to jedno wielkie, potwornie śmierdzące gówno.
Nie mam z tobą kontaktu, niestety.
Ostatnio zmieniony przez rafal3006 dnia Czw 11:11, 14 Mar 2024, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Czw 11:07, 14 Mar 2024 Temat postu: |
|
|
| rafal3006 napisał: |
Ty nie odróżniasz funkcji logicznej jednoargumentowej od funkcji logicznej n-argumentowej. |
I pewnie dlatego tłumaczyłem ci, że funkcja tożsamościowa jest jednoargumentowa.
Miała być DOWOLNA funkcja, więc wybrałem taką.
Czekam na 2 rozwiązania.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 11:14, 14 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: |
Ty nie odróżniasz funkcji logicznej jednoargumentowej od funkcji logicznej n-argumentowej. |
I pewnie dlatego tłumaczyłem ci, że funkcja tożsamościowa jest jednoargumentowa.
Miała być DOWOLNA funkcja, więc wybrałem taką.
Czekam na 2 rozwiązania. |
Najprostsza funkcja logiczna możliwa do zapisania to funkcja logiczna transmitera.
Wyprowadzenie na gruncie logiki matematycznej:
f(p)=p - jednoargumentowe wyrażenie algebry Boole'a
Stąd na mocy defincji funkcji logicznej mamy:
Y=f(p)=p
Tożsamośc to tożsamość, czyli środek możemy posłać w kosmos.
Stąd mamy końcową, najprostszą możliwą funkcję logiczną transmitera:
Y=p
Czytamy:
Zajdzie Y wtedy i tylko wtedy gdy zajdzie p
Czy o taką, najprostszą funkcję logiczną ci chodzi?
TAK/NIE
Wszyscy zaraz zobaczą kolejne kroki w tańcu chochoła:
Krok 1
NIE!
Krok 2
Sam sobie zgadnij co miałem na myśli
Ostatnio zmieniony przez rafal3006 dnia Czw 11:24, 14 Mar 2024, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Czw 11:23, 14 Mar 2024 Temat postu: |
|
|
|
Chodzi mi o taką funkcję, jaką ci podałem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 11:31, 14 Mar 2024 Temat postu: |
|
|
Irbisolowej walki z wiatrakami - ciąg dalszy!
| Irbisol napisał: | | Chodzi mi o taką funkcję, jaką ci podałem. |
Zapisz ją na gruncie logiki matematycznej, czyli na gruncie funkcji logicznej algebry Boole'a, czyli definowanej zero-jedynkowo i podlegającą pod rachunek zero-jedynkowy.
Dam ci przykład który znasz i który akceptujesz:
p=>q =~p+q - to jest zero-jedynkowa definicja podzbioru =>
Definicja z teorii zbiorów:
p=>q =1 - zbiór p jest podzbiorem => zbioru q
Relacja podzbioru p=>q jest (=1) spełniona wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Innymi słowy:
Relacja podzbioru p=>q jest (=1) spełniona wtedy i tylko wtedy gdy gdy każdy element zbioru p należy do zbioru q
Zauważ, że definicja podzbioru => jest definicją zero-jedynkową:
| Kod: |
Definicja podzbioru p=>q
p q Y=~p+q
A: 1 1 1
B: 1 0 0
C: 0 0 1
D: 0 1 1
|
Natomiast definicja tożsamościowa (tożsamości logicznej) na gruncie definicji zero-jedynkowych jest jedna, jedyna.
Jest taka!
| Kod: |
Definicja tożsamości zbiorów:
p=q <=> p<=>q
p q Y=p*q + ~p*~q
A: 1 1 1
B: 1 0 0
C: 0 0 1
D: 0 1 0
|
Zgadzasz się na powyższe definicje czy dalej będziesz walczył?
Ostatnio zmieniony przez rafal3006 dnia Czw 11:39, 14 Mar 2024, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Czw 11:52, 14 Mar 2024 Temat postu: |
|
|
|
Już zapisałem i to cytowałeś
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:21, 14 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | | Już zapisałem i to cytowałeś |
Skoro już wszystko wiesz i zgadzamy się we wszystkim jeśli chodzi o definicję podzbioru p=>q i równoważności p<=>q definiowaną jako:
A1B3: p<=>q = (A1: p=>q)*(B3: q=>p) <=> p=q (pojęcia tożsame!)
to kiedy zgłaszasz sie po odbiór legitymacji członka klubu algebry Kubusia Nr.1?
Ostatnio zmieniony przez rafal3006 dnia Czw 15:22, 14 Mar 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Czw 15:42, 14 Mar 2024 Temat postu: |
|
|
|
Jeszcze nie wiem, jakie są te 2 rozwiązania wg małpy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:16, 14 Mar 2024 Temat postu: |
|
|
Czy Irbisol za chwilkę powie że podręcznik akademicki to gówno którego nie będzie czytał?
Biorąc pod uwagę historię naszej dyskusji - dokladnie tak powie!
| Irbisol napisał: |
Jeszcze nie wiem, jakie są te 2 rozwiązania wg małpy |
Wytłumaczę ci o co chodzi w prawie Małpki na podstawie podręcznika akademickiego matematyki "Wstęp do matematyki" napisanego przez prof. Ludomira Newelskiego.
Innymi słowy:
Będę ci tłumaczył na przykładzie wziętym z podręcznika akademickiego!
Czy to zaakceptujesz?
Zatem zaczynamy:
| PodręcznikAkademicki napisał: |
Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
Dowód prawa Małpki w wykonaniu prof. L. Newelskiego (Uwaga 2.7)
[link widoczny dla zalogowanych]
| Cytat: | | https://www.math.uni.wroc.pl/~newelski/dydaktyka/wdm-A/skrypt3/skrypt/node3.html |
Weźmy dowód prof. L. Newelskiego w oryginale cytowany słowo w słowo:
1.
Załóżmy tabelę zero-jedynkową z trzema zmiennymi wejściowymi {p,q,r} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q,r)
| Kod: |
p q r Y=?
A: 0 0 0 0
B: 0 0 1 1
C: 0 1 0 1
D: 0 1 1 0
E: 1 0 0 0
F: 1 0 1 1
G: 1 1 0 0
H: 1 1 1 0
|
2.
Z tabelki odczytujemy że funkcja logiczna Y przyjmuje wartość logiczną 1 wtedy i tylko wtedy gdy:
Y=1 <=> B: p=0 i q=0 i r=1 lub C: p=0 i q=1 i r=0 lub F: p=1 i q=0 i r=1
3.
Zatem funkcja logiczna Y w postaci alternatywno-koniunkcyjnej to:
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
|
Ostatnio zmieniony przez rafal3006 dnia Czw 16:24, 14 Mar 2024, w całości zmieniany 5 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów
|
| Wysłany: Czw 16:41, 14 Mar 2024 Temat postu: |
|
|
Nie chcę, żebyś mi tłumaczył.
Podaj te 2 rozwiązania.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:16, 14 Mar 2024 Temat postu: |
|
|
| Irbisol napisał: | Nie chcę, żebyś mi tłumaczył.
Podaj te 2 rozwiązania. |
Podam ci te dwa rozwiązania tylko i wyłacznie na przykładzie podręcznika akademickiego prof. Ludomira Newelskiego.
| Podręcznik Akademicki napisał: |
Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój odpowiednik w postaci funkcji koniunkcyjno-alternatywnej (i odwrotnie)
Dowód prawa Małpki w wykonaniu prof. L. Newelskiego (Uwaga 2.7)
[link widoczny dla zalogowanych]
| Cytat: | | https://www.math.uni.wroc.pl/~newelski/dydaktyka/wdm-A/skrypt3/skrypt/node3.html |
Weźmy dowód prof. L. Newelskiego w oryginale cytowany słowo w słowo:
1.
Załóżmy tabelę zero-jedynkową z trzema zmiennymi wejściowymi {p,q,r} i jedną zmienną wyjściową Y (funkcja logiczna)
Y = f(p,q,r)
| Kod: |
p q r Y=?
A: 0 0 0 0
B: 0 0 1 1
C: 0 1 0 1
D: 0 1 1 0
E: 1 0 0 0
F: 1 0 1 1
G: 1 1 0 0
H: 1 1 1 0
|
2.
Z tabelki odczytujemy że funkcja logiczna Y przyjmuje wartość logiczną 1 wtedy i tylko wtedy gdy:
Y=1 <=> B: p=0 i q=0 i r=1 lub C: p=0 i q=1 i r=0 lub F: p=1 i q=0 i r=1
3.
Zatem funkcja logiczna Y w postaci alternatywno-koniunkcyjnej to:
3: Y = B: ~p*~q*r + C: ~p*q*~r + F: p*~q*r
|
Zaakceptujesz czy też powiesz że:
Podręcznik akademicki to brednie których nie będziesz czytał!
Pewne jest, że irbisol uzna podręcznik akademicki za gówno, którego nie będzie czytał - ma kto wątpliwości?
Ostatnio zmieniony przez rafal3006 dnia Czw 17:17, 14 Mar 2024, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
