 |
Ś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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
 Wysłany: Pon 19:09, 19 Lut 2024 Temat postu: |
|
|
| fedor napisał: | | Irbisol napisał: | | fedor napisał: |
Znowu tylko bełkot, który już tylko nieudolnie maskuje to, że zostałeś zmielony. |
Pytanie o to, jak bardzo mnie zmieliłeś, jest maskowaniem zmielenia? |
Jesteś zmielonym kłamcą |
Pytanie okazało się za trudne 
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 19:13, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | fedor napisał: | | Irbisol napisał: | | fedor napisał: |
Znowu tylko bełkot, który już tylko nieudolnie maskuje to, że zostałeś zmielony. |
Pytanie o to, jak bardzo mnie zmieliłeś, jest maskowaniem zmielenia? |
Jesteś zmielonym kłamcą |
Pytanie okazało się za trudne |
Jesteś zmielonym kłamcą
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 20:29, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: |
A dlaczego niby funkcja jednoargumentowa ma zero wspólnego z małpą?
Napisałeś wyraźnie, że małpa dotyczy DOWOLNEJ funkcji.
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y |
Prawa Małpiątka i Małpki są następujące:
Prawo Małpiątka:
Dowolną funkcje logiczną mieszaną można zapisać w postaci alternatywno-koniunkcyjnej poprzez wymnożenie wszystkich członów koniunkcyjno-alternatywnych
Zauważ, że słówko dowolną po prostu cię zmasakruje gdy użyję więcej zmiennych niż dwie zmienne binarne.
Prawo Małpki:
Każda funkcja alternatywno-koniunkcyjna ma swój tożsamy odpowiednik w postaci funkcji koniunkcyjno-alternatywnej.
Jak widzę Irbisolu nie znasz jeszcze definicji funkcji alternatywno-koniunkcyjnej rodem ze 100-milowego lasu, więc zacytuję fragment algebry Kubusia.
Definicję funkcji alternatywno-koniunkcyjnej masz na końcu cytatu który jest po to, by przy okazji wyjaśnić ci, że w przełożeniu na język potoczny twoje ukochane funkcje koniunkcyjno-alternatywne, bez których żyć nie możesz są jednym wielkim, potwornie śmierdzącym gównem – absolutnie nikt tego badziewia w języku potocznym nie rozumie – nawet najwybitniejszy ziemski matematyk.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Rafal3006 napisał: |
1.10 Równoważność K<=>T w świecie żywym
Definicja równoważności p<=>q w świecie żywym:
Z równoważnością w świecie żywym mamy do czynienia wtedy i tylko wtedy gdy każde z czterech możliwych zdarzeń {A: p*q, B: p*~q, C: ~p*~q, D: ~p*q} ma szansę przyjąć wartość logiczną jeden
Definicja spójnika „<=> - wtedy i tylko wtedy” wyrażonego spójnikami „i”(*) i „lub”(+):
p<=>q = p*q + ~p*~q
Przykład:
Pani w przedszkolu wypowiada obietnicę bezwarunkową:
1.
Jutro pójdziemy do kina tylko wtedy gdy pójdziemy do teatru
Innymi słowy:
Jutro pójdziemy do kina (K) wtedy i tylko wtedy gdy pójdziemy do teatru (T)
K<=>T = A: K*T + C: ~K*~T
Podstawmy celem skrócenia zapisów:
Y = K<=>T
Przyjmijmy następujące znaczenie symbolu Y:
Y - pani dotrzyma słowa (Y)
~Y - pani nie dotrzyma słowa (~Y), czyli pani skłamie (S=~Y)
Definicja równoważności w spójnikach „i”(*) i „lub”(+):
1: Y = A: K*T + C: ~K*~T - funkcja alternatywno-koniunkcyjna (alternatywa koniunkcji)
Co w logice jedynek obowiązującej wyłącznie w postaci alternatywno-koniunkcyjnej oznacza:
1: Y=1 <=> A: K=1 i T=1 lub C: ~K=1 i ~T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy:
Ya = K*T=1*1 =1 - jutro pójdziemy do kina (K=1) i do teatru (T=1)
lub
Yc = ~K*~T=1*1=1 - jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Gdzie:
Y = Ya+Yc - funkcja logiczna Y jest sumą logiczną funkcji cząstkowych Ya+Yc
Jak widzimy, odpowiedź kiedy pani dotrzyma słowa (Y=1) jest intuicyjnie zrozumiała.
Matematycznie kluczowa jest tu odpowiedź na pytanie:
Kiedy pani nie dotrzyma słowa (~Y)?
Aby odpowiedzieć na to pytanie musimy dwustronnie zanegować funkcję logiczną 1.
2: ~Y = ~(K*T+~K*~T)
Prawą stronę minimalizujemy prawami De Morgana:
Krok 1
2: ~Y = ~(K*T)*~(~K*~T) - prawo De Morgana: ~(p+q) = ~p*~q
Krok 2
2: ~Y = (~K+~T)*(K+T) - prawo De Morgana: ~(p*q) = ~p+~q
Kolejność wykonywania działań w algebrze Boole’a:
przeczenie (~), nawiasy, spójnik „i”(*), spójnik „lub”(+)
Przetłumaczmy opisaną wyżej postać koniunkcyjno-alternatywną na język potoczny:
2: ~Y = (~K+~T)*(K+T) - koniunkcja alternatyw
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy:
(~K+~T) - jutro nie pójdziemy do kina (~K) lub nie pójdziemy do teatru (~T)
„i”(*)
(K+T) - jutro pójdziemy do kina (K) lub pójdziemy do teatru (T)
Doskonale widać, że otrzymaliśmy masakrę, czyli odpowiedź na pytanie kiedy pani nie dotrzyma słowa (~Y), której w języku potocznym żaden człowiek nie rozumie (z matematykiem włącznie).
Co zatem mamy robić?
Po pierwsze bez paniki wymnażamy wielomian 2 (dla wygody przechodzimy na zapis ogólny):
2: ~Y = (~p+~q)*(p+q) = ~p*p + ~p*q + ~q*p + ~q*q = 0 + ~p*q + p*~q + 0 = p*~q + ~p*q
3: ~Y = p*~q + ~p*q - postać alternatywno-koniunkcyjna (alternatywa koniunkcji)
Nasz przykład:
3.
~Y = K*~T + ~K*T - postać alternatywno-koniunkcyjna
co w logice jedynek obowiązującej wyłącznie w postaci alternatywno-koniunkcyjnej oznacza:
~Y=1 <=> B: K=1 i ~T=1 lub D: ~K=1 i T=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy:
~Yb = K*~T=1*1 =1 - jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
„lub”(+)
~Yd = ~K*T =1*1 =1 - jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
Gdzie:
~Y = ~Yb+~Yd - funkcja logiczna ~Y jest sumą logiczną funkcji cząstkowych ~Yb+~Yd
Doskonale widać, że tą odpowiedź na pytanie kiedy pani nie dotrzyma słowa (~Y=1) rozumie każdy człowiek, od 5-cio latka poczynając.
Wniosek z naszego przykładu to prawo Pandy.
Prawo Pandy:
Jedyną funkcją logiczną zrozumiałą dla każdego człowieka jest funkcja alternatywno-koniunkcyjna
Definicja funkcji alternatywno-koniunkcyjnej:
Funkcja logiczna Y jest w postaci alternatywno-koniunkcyjnej wtedy i tylko wtedy gdy nie zawiera ani jednego członu w postaci koniunkcyjno-alternatywnej.
Inaczej funkcja Y jest w postaci koniunkcyjno-alternatywnej lub mieszanej.
Wniosek:
Wszelkie człony koniunkcyjno-alternatywne w funkcji logicznej Y musimy logicznie wymnożyć przechodząc do postaci alternatywno-koniunkcyjnej, bo tylko taka postać jest zrozumiała dla człowieka. |
Definicja funkcji alternatywno-koniunkcyjnej:
Funkcja logiczna Y jest w postaci alternatywno-koniunkcyjnej wtedy i tylko wtedy gdy nie zawiera ani jednego członu w postaci koniunkcyjno-alternatywnej.
Inaczej funkcja Y jest w postaci koniunkcyjno-alternatywnej lub mieszanej.
Na mocy tej definicji funkcja jednoargumentowa:
A1: Y=p
należy do grupy funkcji alternatywno-koniunkcyjnych, czego dowodem jest jej doskonała znajomość przez każdego 3-latka, co dowiedziono w moim poście wyżej.
Funkcja tożsamościowa dla A1 będzie oczywiście taka:
A1: Y=p <=> A1”: Y=~(~p)
Tożsamość funkcji:
A1: Y = A1”: Y
jest oczywistością.
Zapiszmy jeszcze raz dialogi pań przedszkolanek z przedszkola A1 i A2 z poprzedniego postu.
| Kod: |
T1
Pani w przedszkolu A1:
A1: Y= K # B1: ~Y=~K
## ##
Pani w przedszkolu A2:
A2: Y=~K # B2: ~Y= K
|
Powyższą tabelę rozumie każdy 5-cio latek.
Oczywistym jest że do prawych stron wszystkich funkcji logicznych możemy zastosować prawo podwójnego przeczenia.
Zróbmy to:
| Kod: |
T2
Pani w przedszkolu A1:
A1: Y= K =~(~K) # B1: ~Y=~K = ~(~(~K))
## ##
Pani w przedszkolu A2:
A2: Y=~K =~(~(~K)) # B2: ~Y= K = ~(~K)
|
Zapiszmy powyższą tabelę w taki sposób, by lepiej odzwierciedlała naturalne dialogi w przedszkolu A1 i A2.
| Kod: |
T3
Pani w przedszkolu A1:
A1: Y= K =~(~K)
#
.. a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy dwustronnie A1:
B1: ~Y=~K = ~(~(~K))
##
Pani w przedszkolu A2:
A2: Y=~K =~(~(~K))
#
.. a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy dwustronnie A2:
B2: ~Y= K = ~(~K)
|
Definicje znaczków:
# - dowolna strona znaczka # jest negacją drugiej strony
## - zdania w przedszkolu A1 i A2 są różne na mocy definicji ##
Innymi słowy:
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Jak widzimy, w tabeli T3 obie definicje znaczków # i ## są perfekcyjnie spełnione.
Analiza tabeli T3:
Analizę tabeli T3 ograniczymy do przedszkola A1.
Praca domowa dla czytelnika:
Przeanalizuj zdania z przedszkola A2 z tabeli T3 w analogiczny sposób.
Przedszkole A1:
Pani przedszkolanka ma do wyboru zdania startowe:
A1: Y = K <=> A1”: Y=~(~K)
To są funkcje tożsamościowe bo:
A1: Y = A1”: Y
Pani przedszkolanka ma do wyboru zdania startowe:
A1:
Jutro pójdziemy do kina
Y=K
albo zdanie matematycznie tożsame:
A1”:
Nie może się zdarzyć, że jutro nie pójdziemy do kina
Y = ~(~K)
Pewne jest, że w absolutnie wszystkich przedszkolach na ziemi żadna pani przedszkolanka nie wypowie zdania startowego A1”, mimo że matematycznie jest to to samo co A1.
… a kiedy pani nie dotrzyma słowa (~Y)?
Odpowiedź mamy w punkcie B1:
B1: ~Y=~K <=> B1”: ~Y= ~(~(~K))
To są funkcje tożsamościowe bo:
B1: ~Y = B1”: ~Y
Matematyczne odpowiedzi to:
B1:
~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
albo zdanie matematycznie tożsame:
B1”:
~Y = ~(~(~K))
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy nie zdarzy się ~(…) ?!
Zauważmy że przeczytać zdania B1” w oryginale (bez minimalizacji) po prostu fizycznie się nie da, dokładnie dlatego prawo podwójnego przeczenia jest w języku potocznym gównem.
Podsumowanie:
W języku potocznym prawo podwójnego przeczenia jest gównem od którego ludzie normalni uciekają … bo smrodu nie idzie wytrzymać.
cnd
P.S.
Prawo podwójnego przeczenia jest w śladowych ilościach używane w języku potocznym, ale nie jako zdanie startowe.
Przykład:
Pani w przedszkolu A1.
A1.
Jutro pójdziemy do kina
Y=K
.. na to Jaś (lat 5):
Proszę pani, a czy może się zdarzyć, że jutro nie pójdziemy do kina?
Pani:
Jasiu, nie może się zdarzyć ~(…) że jutro nie pójdziemy do kina (~K)
Y = ~(~K)
Ostatnio zmieniony przez rafal3006 dnia Pon 20:40, 19 Lut 2024, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
| Wysłany: Pon 21:13, 19 Lut 2024 Temat postu: |
|
|
Po co zasrywasz wątek rzeczami, których nikt nie czyta?
Wracając do tematu.
Napisałeś wcześniej że funkcja może być DOWOLNA. Coś często ci się zdanie zmienia
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 21:20, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | Po co zasrywasz wątek rzeczami, których nikt nie czyta?
Wracając do tematu.
Napisałeś wcześniej że funkcja może być DOWOLNA. Coś często ci się zdanie zmienia |
Kto nauczył cię tak łgać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:27, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | Po co zasrywasz wątek rzeczami, których nikt nie czyta?
Wracając do tematu.
Napisałeś wcześniej że funkcja może być DOWOLNA. Coś często ci się zdanie zmienia |
Napisałem to:
Dla dowolnej funkcji logicznej Y=f(x) od jednoargumentowej Y=p do nawet najbardziej rozbudowanej n-elementowej istnieją dwa nietożsame nietożsame rozwiązania Y i ~Y
Te dwa rozwiązania Y i ~Y dla dowolnej funkcji jednoargumentowej masz wyżej, czego w moim poście wyżej nie rozumiesz, co kwestionujesz.
Oczywiście że funkcja logiczna może być dowolna, ale twoim obowiązkiem jest zapisać precyzyjnie o jaką funkcję ci chodzi np:
Y=p+q
Y=~p*~q
Irbisolu, ty po prostu nie masz pojęcia o elementarzu logiki matematycznej tzn. nie znasz definicji operatora logicznego wyrażonego spójnikami "i"(*) i "lub"(+).
Tego elementarza logiki matematycznej nie znasz:
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Tu pod x możesz sobie podstawić dowolnie skomplikowane wyrażenie algebry Boole'a f(x) np.
f(x) = p*q + ~p*~q
co generuje ci dwa nietożsame rozwiązania Y i ~Y na mocy powyższej definicji.
Czujesz bluesa?
Cytuję definicję operatora logicznego dla funkcji jednoargumentowej:
| Algebra Kubusia napisał: |
1.4 Definicja funkcji logicznej jednoargumentowej Y=x
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ą.
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TWJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
Doskonale widać, że w tabeli TWJ definicje obu znaczków # i ## są perfekcyjnie spełnione. |
Ostatnio zmieniony przez rafal3006 dnia Pon 21:46, 19 Lut 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: 15388
Przeczytał: 29 tematów
|
| Wysłany: Pon 21:46, 19 Lut 2024 Temat postu: |
|
|
|
Może i mam te rozwiązania wyżej, ale trudno je znaleźć wśród spamu, którym zasrywasz temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 21:47, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Może i mam te rozwiązania wyżej, ale trudno je znaleźć wśród spamu, którym zasrywasz temat. |
Kto cię tak nauczył łgać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:48, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Może i mam te rozwiązania wyżej, ale trudno je znaleźć wśród spamu, którym zasrywasz temat. |
Wyjaśniam ci o co chodzi z tymi dwoma rozwiązaniami Y i ~Y w sposób najprostszy z możliwych.
Irbisolu, ty po prostu nie masz pojęcia o elementarzu logiki matematycznej tzn. nie znasz definicji operatora logicznego wyrażonego spójnikami "i"(*) i "lub"(+).
Tego elementarza logiki matematycznej nie znasz:
Definicja operatora logicznego jednoargumentowego Y|=x:
Operator logiczny jednoargumentowy Y|=x to układ równań logicznych Y=x i ~Y=~x dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Tu pod x możesz sobie podstawić dowolnie skomplikowane wyrażenie algebry Boole'a f(x) np.
f(x) = p*q + ~p*~q
co generuje ci dwa nietożsame rozwiązania Y i ~Y na mocy powyższej definicji.
Czujesz bluesa?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
| Wysłany: Pon 21:52, 19 Lut 2024 Temat postu: |
|
|
|
Nie wyjaśniaj, tylko te rozwiązania przedstaw.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 21:53, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Nie wyjaśniaj, tylko te rozwiązania przedstaw. |
Kto nauczył cię tak łgać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:27, 19 Lut 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4975.html#779507
| Irbisol napisał: | | Nie wyjaśniaj, tylko te rozwiązania przedstaw. |
Dla dowolnej funkcji logicznej Y=f(x) istnieją dwa nietożsame rozwiązania Y i ~Y na mocy definicji operatora logicznego wyrażonego spójnikami "i"(*) i i "lub"(+).
Definicja operatora logicznego Y|=f(x):
Operator logiczny Y|=f(x) to układ funkcji logicznych Y=f(x) i ~Y=~f(x) dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=f(x)
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję logiczną A1.
B1.
~Y = ~f(x)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Gdzie:
f(x) - absolutnie dowolne wyrażenie algebry Boole'a np.
f(x) = p
f(x) = p+q
f(x) = p*q
f(x) - ~p*~q
f(x) = p*q + ~p*~q
f(x) = p*~q + ~p*q
Czegoś nie rozumiesz?
Ostatnio zmieniony przez rafal3006 dnia Pon 22:31, 19 Lut 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: 15388
Przeczytał: 29 tematów
|
| Wysłany: Pon 22:44, 19 Lut 2024 Temat postu: |
|
|
|
Wyjaśnij mi, jak doszedłeś do rozwiązania A1: Y=f(x) na mocy definicji operatora logicznego wyrażonego spójnikami "i"(*) i i "lub"(+).
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Pon 22:47, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Wyjaśnij mi, jak doszedłeś do rozwiązania A1: Y=f(x) na mocy definicji operatora logicznego wyrażonego spójnikami "i"(*) i i "lub"(+). |
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: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:57, 19 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Wyjaśnij mi, jak doszedłeś do rozwiązania A1: Y=f(x) na mocy definicji operatora logicznego wyrażonego spójnikami "i"(*) i i "lub"(+). |
Definicja operatora logicznego wynika bezpośrednio z rachunku zero-jedynkowego!
To nie jest mój wymysł!
Jako dowód cytuję AK:
| Algebra Kubusia napisał: |
1.14.1 Opis tabeli zero-jedynkowej w logice jedynek
Dla wyjaśnienia zagadnienia posłużymy się zero-jedynkową tabelą równoważności p<=>q:
| Kod: |
T1
Y=
p q p<=>q
A: 1<=>1 =1
B: 1<=>0 =0
C: 0<=>0 =1
D: 0<=>1 =0
|
SD - standard dodatni języka potocznego = logika jedynek:
W logice jedynek opisujemy wyłącznie jedynki gdzie w poziomie używamy spójnika „i”(*) zaś w pionie spójnika „lub”(+)
Logika jedynek prowadzi do równań alternatywno-koniunkcyjnych zgodnych z naturalną logika matematyczną człowieka, co oznacza, że będą one rozumiane w języku potocznym przez wszystkich ludzi, od 5-cio latka poczynając.
Zastosujmy logikę jedynek do tabeli zero-jedynkowej równoważności Y = p<=>q:
| Kod: |
T2
Pełna definicja |Co w logice jedynek |Równania
zero-jedynkowa Y |oznacza |cząstkowe
| |
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 0 1 1 =1 =0 | Yc=1<=>~p=1 i ~q=1 | Yc=~p*~q
D: 0 1 1 0 =0 =1 |~Yd=1<=>~p=1 i q=1 |~Yd=~p* q
1 2 3 4 5 6 a b c d e f
|
Z tabeli równań cząstkowych def odczytujemy:
1: Y = Ya+Yc
Po rozwinięciu mamy sumę logiczną zdarzeń rozłącznych:
1: Y = A: p*q + C: ~p*~q
1: Y= p*q + ~p*~q
co w logice jedynek oznacza:
Y=1 <=> A: p=1 i q=1 lub C: ~p=1 i ~q=1
#
Kiedy zajdzie ~Y?
Z tabeli równań cząstkowych def otrzymujemy:
2: ~Y=~Yb+~Yd
Po rozwinięciu mamy sumę logiczną zdarzeń rozłącznych:
2: ~Y = B: p*~q + D: ~p*q
2: ~Y = p*~q + ~p*q
co w logice jedynek oznacza:
~Y=1 <=> B: p=1 i ~q=1 lub D: ~p=1 i q=1
Gdzie:
# - różne, w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Jak widzimy, logika jedynek prowadzi do równań alternatywno-koniunkcyjnych doskonale rozumianych przez człowieka, od 5-cio latka poczynając.
Zauważmy, że możliwe jest szybsze wygenerowania równań algebry Boole’a w logice jedynek z pominięciem bloku abc.
| Kod: |
T2’
Pełna definicja |Równania cząstkowe
zero-jedynkowa Y |w logice jedynek
|
p q ~p ~q Y ~Y |
A: 1 1 0 0 =1 =0 | Ya= p* q
B: 1 0 0 1 =0 =1 |~Yb= p*~q
C: 0 0 1 1 =1 =0 | Yc=~p*~q
D: 0 1 1 0 =0 =1 |~Yd=~p* q
1 2 3 4 5 6 d e f
|
Z tabeli równań cząstkowych odczytujemy:
1: Y = Ya+Yc
Po rozwinięciu mamy sumę logiczną zdarzeń rozłącznych:
1: Y = A: p*q + C: ~p*~q
1: Y= p*q + ~p*~q
co w logice jedynek oznacza:
1: Y=1 <=> A: p=1 i q=1 lub C: ~p=1 i ~q=1
Kiedy zajdzie ~Y?
Z tabeli równań cząstkowych otrzymujemy:
2: ~Y=~Yb+~Yd
Po rozwinięciu mamy sumę logiczną zdarzeń rozłącznych:
2: ~Y = B: p*~q + D: ~p*q
2: ~Y = p*~q + ~p*q
co w logice jedynek oznacza:
2: ~Y=1 <=> B: p=1 i ~q=1 lub D: ~p=1 i q=1
|
A1: Y=f(x)
To jest absolutnie dowolna funkcja logiczna startowa np.
A1: Y=p*q+~p*~q
Do tego się nie dochodzi, to jest dana wejściowa dla definicji operatora logicznego Y|=f(x).
Analogia:
To jest dana wejściowa do programu komputerowego (jesteś programistą).
Definicja operatora logicznego Y|=f(x):
Operator logiczny Y|=f(x) to układ funkcji logicznych Y=f(x) i ~Y=~f(x) dający odpowiedź na pytanie kiedy zajdzie Y, a kiedy zajdzie ~Y
Kiedy zajdzie Y?
A1.
Y=f(x)
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję logiczną A1.
B1.
~Y = ~f(x)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Ostatnio zmieniony przez rafal3006 dnia Pon 23:11, 19 Lut 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: 15388
Przeczytał: 29 tematów
|
| Wysłany: Wto 10:15, 20 Lut 2024 Temat postu: |
|
|
|
Ale gdzie te operatory np. dla funkcji tożsamościowej?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 10:20, 20 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Ale gdzie te operatory np. dla funkcji tożsamościowej? |
Kto cię nauczył tak ściemniać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
| Wysłany: Wto 11:20, 20 Lut 2024 Temat postu: |
|
|
|
2 + 2 = 4
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 12:27, 20 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | 2 + 2 = 4 |
Nawet tego nie wiesz bo nic nie wiesz
"nic nie wiem"
http://www.sfinia.fora.pl/apologia-kontra-krytyka-teizmu,5/religijna-logika,19967-250.html#623851
"absolutnie nic nie wiem"
http://www.sfinia.fora.pl/apologia-kontra-krytyka-teizmu,5/boze-kryteria,18041-25.html#567129
"Oczywiście, że mogę się mylić we wszystkim"
http://www.sfinia.fora.pl/apologia-kontra-krytyka-teizmu,5/boze-kryteria,18041-75.html#567491
"Chodzi o niemożliwość jakiejkolwiek wiedzy"
http://www.sfinia.fora.pl/rozbieranie-irracjonalizmu,29/myslimy-o-tezie-probami-sfalsyfikowania-jej,21539-100.html#674917
I dlatego jesteś już tylko taką chodzącą ateistyczną groteską 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 18:01, 20 Lut 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/dom-bez-klamek-zwany-krz,24943.html#779739
| rafal3006 napisał: | Dom bez klamek zwany Klasycznym Rachunkiem Zdań
Autorzy:
Rafal3006 i przyjaciele
Wstęp:
2024-02-20
Irbisol, mój odwieczny wróg Nr. 1 algebry Kubusia tak bardzo chce ją obalić … że pomaga mi w jej rozwijaniu.
Właśnie doszedłem do wniosku, że bez sensu są w algebrze Kubusia jakiekolwiek rozdziały w których bezpośrednio atakuję KRZ, bowiem już niedługo, gdy algebra Kubusia zapanuje nad naszym Wszechświatem, żaden człowiek nie będzie wiedział że kiedyś tam, na Ziemi, żyło sobie gówienko zwane Klasycznym Rachunkiem Zdań.
Z tego powodu końcowe rozdziały algebry Kubusia uderzające bezpośrednio w KRZ przenoszę do tego wątku.
Spis treści:
25.0 Fatalny fundament Klasycznego Rachunku Zdań
26.0 Algebra Kubusia vs Klasyczny Rachunek zdań w przedszkolu
27.0 Armagedon wszelkich ziemskich logik matematycznych |
Ostatnio zmieniony przez rafal3006 dnia Wto 18:07, 20 Lut 2024, w całości zmieniany 3 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: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 18:06, 20 Lut 2024 Temat postu: |
|
|
Jedno z największych wydarzeń w historii logiki matematycznej!
Klękajcie narody!
| Irbisol napisał: | | Ale gdzie te operatory np. dla funkcji tożsamościowej? |
Irbisolu, za chwilę będziesz świadkiem wielkiego wydarzenia w ziemskiej logice matematycznej!
Kwintesencja wydarzenia:
Ziemscy matematycy nie znają komputerowego algorytmu pozwalającego znaleźć funkcję koniunkcyjno-alternatywną dla dowolnej funkcji logicznej alternatywno-koniunkcyjnej np. dla takiego banału
Y = p*q + ~p*~q
Nie znają dlatego, że dysponują gówno-matematyką zwaną KRZ.
O co tu chodzi?
Definicja funkcji startowej:
Funkcja startowa to dowolne wyrażenia algebry Boole'a f(x) przypisane do funkcji logicznej w logice dodatniej (bo Y)
Przykład wyrażenie algebry Boole'a:
f(x) = p*q + ~p*~q
stąd funkcja startowa dla tego wyrażenia przyjmuje postać
Y = p*q + ~p*~q
Typowe zadanko w logice matematycznej jest następujące:
Dana jest funkcja startowa:
Y=f(x)
gdzie:
f(x) - dowolne wyrażenie algebry Boole'a
Polecenie:
Wyznacz wszystkie możliwe funkcje alternatywno-koniunkcyjne i koniunkcyjno-alternatywne związane z funkcją startową Y=f(x)
Irbisolu, jako programista masz szansę być pierwszym Ziemianinem który napisze program komputerowy robiący dokładnie to co w zadanku dla dowolnej funkcji startowej n-zmiennych binarnych.
Moje pytanie jest następujące:
Wchodzisz w to?
... oczywiście po poznaniu podkładu matematycznego umożliwiającego napisanie takiego programu, który za chwilę zaprezentuję.
Będzie tak banalny i prosty, że ... klękajcie narody!!!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
| Wysłany: Wto 18:23, 20 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Ale gdzie te operatory np. dla funkcji tożsamościowej? |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35368
Przeczytał: 20 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 18:39, 20 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | | Irbisol napisał: | | Ale gdzie te operatory np. dla funkcji tożsamościowej? |
|
Twój program, o którym było wyżej, a który mam nadzieję napiszesz, wygeneruje ci je z automatu, poza twoją świadomością 
Poczekaj na podkład matematyczny - dasz radę poczekać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15388
Przeczytał: 29 tematów
|
| Wysłany: Wto 18:44, 20 Lut 2024 Temat postu: |
|
|
Na nic nie czekam.
Odpowiedz na pytanie.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 98 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 20:09, 20 Lut 2024 Temat postu: |
|
|
| Irbisol napisał: | Na nic nie czekam.
Odpowiedz na pytanie. |
Kto cię nauczył tak ściemniać?
|
|
| 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
