 |
Ś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: 15047
Przeczytał: 31 tematów
|
 Wysłany: Sob 15:40, 07 Wrz 2024 Temat postu: |
|
|
|
Zaprezentuj gada na przykładzie S - żarówka świeci.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 17:23, 07 Wrz 2024 Temat postu: |
|
|
| Irbisol napisał: | | Zaprezentuj gada na przykładzie S - żarówka świeci. |
Irbisolu, kiedy przyjmiesz propozycję Prosiaczka niżej.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#812997
| rafal3006 napisał: | Irbisol, uparty jak osioł, który czasami rację ma!
Irbisolu,
Czy już rozumiesz że prawo Grzechotnika działa także na stałych binarnych?
Jak widać na przykładzie stałe binarne to obszar zainteresowania dzieci w wieku od 0 do 3 lat, gdzie pokazując paluszkiem bez przerwy trzeba dziecku definiować stałe binarna:
K – to jest krowa (K=1)
~K – to nie jest krowa (~K=1)
S – żarówka świeci (S=1)
~S – żarówka nie świeci (~S=1)
etc
Teraz uważaj Irbisolu:
Algebra Kubusia mówi o logice matematycznej której ekspertem jest każdy 5-cio latek, który wszelkie stałe binarne potrzebne mu do biegłego posługiwania się algebrą Kubusia ma w małym paluszku.
Propozycja nie do odrzucenia:
Prosiaczek zaoferował wytłumaczyć ci dowód formalny prawa Grzechotnika (bez żadnych przykładów!) dla stałych binarnych - na 100% zrozumiesz.
Warunek jak zwykle.
Przeczytasz?
TAK/NIE |
Czy już rozumiesz o co chodzi z tą "żarówką świeci"?
Jesli nie to pozwól Prosiaczkowi działać - wtedy na 100% zrozumiesz ... inaczej pozostaniesz osłem po wsze czasy, pragniesz tego?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15047
Przeczytał: 31 tematów
|
| Wysłany: Nie 8:42, 08 Wrz 2024 Temat postu: |
|
|
|
Chcę zobaczyć, jak gad się pluje do S - żarówka świeci.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 14:17, 08 Wrz 2024 Temat postu: |
|
|
Prawo Grzechotnika dla stałych binarnych!
| Irbisol napisał: | | Chcę zobaczyć, jak gad się pluje do S - żarówka świeci. |
Bardzo proszę:
Spis treści
1.0 Teoria niezbędna do zrozumienia postu 1
1.1 Irbisol w wieku 9 miesięcy 1
1.2 Irbisol w pierwszej klasie LO na lekcji logiki matematycznej 2
1.2.1 Definicja stałej binarnej 3
1.2.2 Prawo Grzechotnika dla stałych binarnych 5
1.2.3 Prawo Sokoła dla stałych binarnych 6
1.0 Teoria niezbędna do zrozumienia postu
| algebra Kubusia napisał: |
| Kod: |
TJ
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
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Uwaga:
Linie A1B1 i A2B2 dotyczą świata żywego w którym kłamstwo (~Y) jest możliwe, zatem tu nie znamy z góry wartości logicznej zdań.
Linie A3B3 i A4B4 dotyczą świata martwego, który z definicji nie może kłamać, zatem tu znamy z góry wartość logiczną zdań 1 albo 0. |
1.1 Irbisol w wieku 9 miesięcy
Irbisolu, czy pamiętasz, jak w wieku 9 miesięcy mama trzymając cię na rączkach i pstrykając pstryczkiem elektryczkiem na ścianie pierwszy raz tłumaczyła co znaczą pojęcia:
„Żarówka świeci” vs „Żarówka nie świeci”?
| Kod: |
T1
A3.
Żarówka świeci
A3: Y=1
Czytamy:
Prawdą jest (=1), że żarówka świeci (Y)
##
oraz
B4.
Żarówka nie świeci
B4: ~Y=1
Czytamy:
Prawdą jest (=1), że żarówka nie świeci (~Y)
Gdzie:
## - pojęcia różne na mocy definicji
|
Znaczenie stałej binarnej Y:
Y – żarówka świeci (Y=1)
~Y – żarówka nie świeci (~Y=1)
Bardzo ci się to podobało bo sam dorwałeś się do pstryczka elektryczka powtarzając wiele razy:
O, żarówka świeci
A3: Y=1
##
Klikasz pstryczkiem i mówisz:
O, żarówka nie świeci
B4:~Y=1
Gdzie:
## - pojęcia różne na mocy definicji
… i tak w koło Macieju utrwaliłeś sobie w swoim małym móżdżku dwa, różne na mocy definicji pojęcia ## (stałe binarne):
A3: Y=1 (żarówka świeci Y) ## B4: ~Y=1 (żarówka nie świeci ~Y)
Gdzie:
## - różne na mocy definicji
1.2 Irbisol w pierwszej klasie LO na lekcji logiki matematycznej
| Kod: |
TJ
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
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
1.2.1 Definicja stałej binarnej
Wykład prof. Prosiaczka – wysłannika 100-milowego lasu.
Prosiaczek:
Na dzisiejszej lekcji zajmiemy się pojęciem stała binarna definiowanym w tabeli TJ wierszami A3B3 oraz A4B4 na przykładzie żarówki, która może świecić (A3: Y=1), albo nie świecić (B4: ~Y=1) – trzeciej możliwości brak.
Definicja stałej binarnej.
Stała binarna to funkcja logiczna {Y,~Y} której wartość logiczna jest nam znana.
Innymi słowy:
Stała binarna to pojęcie {Y,~Y} którego wartość logiczna jest nam znana.
Znaczenie stałej binarnej {Y, ~Y}:
Y – żarówka świeci się (Y=1)
##
~Y – żarówka nie świeci się (~Y=1)
Gdzie:
## - pojęcia różne na mocy definicji
Logika dodatnia w algebrze Kubusia:
Z logiką dodatnią w algebrze Kubusia mamy do czynienia wtedy i tylko wtedy gdy funkcja logiczna Y nie jest zanegowana (Y)
Inaczej mamy do czynienia z logiką ujemną (bo ~Y)
Uwaga:
Wszelkie przeczenia w zdaniach muszą być uwzględnione są w kodowaniu matematycznym zdań.
Przykłady:
A3.
Żarówka świeci się
A3: Y=1 – logika dodatnia (bo Y)
##
B4.
Żarówka nie świeci się
B4: ~Y=1 – logika ujemna (bo ~Y)
Gdzie:
## - pojęcia różne na mocy definicji
Znaczenie zmiennej Y:
Y – żarówka świeci się (Y=1)
~Y – żarówka nie świeci się (~Y=1)
Uwaga:
Jedynki w kodowaniu zdań są domyślne i można je pominąć, co widać wyżej.
Linia A3B3 – stała binarna w logice dodatniej (bo Y):
Prosiaczek pstrykając pstryczkiem elektryczkiem zaświecił żarówkę i mówi:
Jak wszyscy widzą, żarówka świeci się (Y=1)
Zauważmy, że pojęcie „żarówka świeci się” (Y=1) w tabeli TJ możemy ulokować wyłącznie w punkcie A3.
A3.
Żarówka świeci się
A3: Y=1 – logika dodatnia (bo Y)
Czytamy:
Prawdą jest (=1) że żarówka świeci się (Y)
Prawo Prosiaczka:
(A3: Y=1) = (B3: ~Y=0)
Stąd na mocy prawa Prosiaczka mamy zdanie tożsame do A3:
B3: ~Y=0
Czytamy:
Fałszem jest (=0), że żarówka nie świeci się (~Y)
Jak widzimy, prawo Prosiaczka działa tu doskonale, zdania A3 i B3 są tożsame:
(A3: Y=1) = (B3: ~Y=0)
##
Linia A4B4 – stała binarna w logice ujemnej (bo ~Y):
Prosiaczek pstrykając pstryczkiem elektryczkiem zgasił żarówkę i mówi:
Jak wszyscy widzą, żarówka nie świeci się (~Y=1)
Zauważmy, że pojęcie „żarówka nie świeci się” (~Y=1) w tabeli TJ możemy ulokować wyłącznie w punkcie B4.
B4.
Żarówka nie świeci się
B4: ~Y=1
Czytamy:
Prawdą jest (=1) że żarówka nie świeci się (~Y)
Prawo Prosiaczka:
(B4: ~Y=1) = (A4: Y=0)
Stąd na mocy prawa Prosiaczka mamy zdanie tożsame do B4:
A4: Y=0
Czytamy:
Fałszem jest (=0), że żarówka świeci się (Y)
Jak widzimy, prawo Prosiaczka działa tu doskonale, zdania B4 i A4 są tożsame:
(B4: ~Y=1) = (A4: Y=0)
Gdzie:
## - różne na mocy definicji
Wytnijmy nasze zdania z tabeli TJ bo tylko nimi się teraz zajmujemy:
| Kod: |
T2
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
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Definicja znaczka różne na mocy definicji ##:
Dwa pojęcia są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadne z nich nie jest negacją drugiej.
Doskonale widać, że w tabeli T2 znaczek różne na mocy definicji ## jest perfekcyjnie spełniony
Dowód:
Negujemy dwustronnie funkcję logiczną A3: Y=1 lądując w punkcie B3: ~Y=0
Do funkcji logicznej B4: ~Y=1 o znanej zwartości logicznej (stała binarna) matematycznie nie mamy dojścia.
Oczywiście matematycznie zachodzi:
B3: ~Y=0 ## B4: ~Y=1
## - różne na mocy definicji
Uproszczona definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice (tu ujemnej bo ~Y) są różne na mocy definicji wtedy i tylko wtedy gdy prawe strony tych funkcji nie są tożsame.
Wniosek:
Funkcje logiczne B3 i B4 są różne na mocy definicji ##
cnd
1.2.2 Prawo Grzechotnika dla stałych binarnych
Zapiszmy tabelę T2 w postaci jej kwintesencji:
| Kod: |
T2.
A3: Y=1 # B3: ~Y=0
## ##
A4: Y=0 # B4: ~Y=1
Gdzie:
~Y=~(Y)
Y musi być wszędzie tym samym Y inaczej błąd podstawienia
# - 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 (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
W tabeli T2 widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##
Prawo Grzechotnika dla stałych binarnych
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Definicja stałej binarnej.
Stała binarna to funkcja logiczna {Y,~Y} której wartość logiczna jest nam znana.
Innymi słowy:
Stała binarna to pojęcie {Y,~Y} którego wartość logiczna jest nam znana.
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.
Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.
Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli T2.
| Kod: |
T2”.
A3: 1 # B3: 0
## ##
A4: 0 # B4: 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Doskonale widać, że w tabeli T2" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli T2” zgubiona została kluczowa informacja o tym kiedy zajdzie Y (żarówka świeci), a kiedy zajdzie ~Y (żarówka nie świeci)
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych na poziomie funkcji logicznych o znanej wartości logicznej (stałych binarnych)
1.2.3 Prawo Sokoła dla stałych binarnych
Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.
Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.
Ostatnio zmieniony przez rafal3006 dnia Nie 14:31, 08 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Nie 14:53, 08 Wrz 2024 Temat postu: |
|
|
Czy tam jest napisane, że 1 ## 0 ?
Ostatnio zmieniony przez Irbisol dnia Nie 14:54, 08 Wrz 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: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 16:53, 08 Wrz 2024 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813129
| rafal3006 napisał: | Prawo Grzechotnika dla stałych binarnych!
1.2.2 Prawo Grzechotnika dla stałych binarnych
Zapiszmy tabelę T2 w postaci jej kwintesencji:
| Kod: |
T2.
A3: Y=1 # B3: ~Y=0
## ##
A4: Y=0 # B4: ~Y=1
Gdzie:
~Y=~(Y)
Y musi być wszędzie tym samym Y inaczej błąd podstawienia
# - 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 (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
W tabeli T2 widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ## |
| Irbisol napisał: | | Czy tam jest napisane, że 1 ## 0 ? |
Widzę, że nie wiesz w którym kościele dzwony biją.
Czy jedynka w punkcie:
A3.
Żarówka świeci się
A3: Y=1 – prawdą jest (=1), że żarówka świeci się (Y)
to jest ta sama jedynka co w punkcie:
B4.
Żarówka nie świeci się
B4: ~Y=1 – prawdą jest (=1), że żarówka nie świeci się (~Y)
Odpowiedź:
NIE jest!
Matematyczna relacja jest tu następująca:
A3: Y=1 ## B4: ~Y=1
Gdzie:
## - różne na mocy definicji
Zauważ, że jak usuniesz tu funkcje logiczne Y i ~Y to zostaną ci gołe jedynki i gówno-tożsamość matematyczna:
A3: 1 = B4: 1
Dokładnie ten fakt jest dowodem prawa Grzechotnika działającego również w stałych binarnych.
Definicja stałej binarnej:
Stała binarna to funkcja logiczna {Y,~Y} o znanej wartości logicznej
Prawo Grzechotnika dla stałych binarnych
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Definicja stałej binarnej.
Stała binarna to funkcja logiczna {Y,~Y} której wartość logiczna jest nam znana.
Innymi słowy:
Stała binarna to pojęcie {Y,~Y} którego wartość logiczna jest nam znana.
Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych, także na poziomie funkcji logicznych {Y,~Y} o znanej wartości logicznej (stała binarna)
Ostatnio zmieniony przez rafal3006 dnia Nie 22:10, 08 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Pon 8:21, 09 Wrz 2024 Temat postu: |
|
|
|
Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 10:38, 09 Wrz 2024 Temat postu: |
|
|
Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.
Dowód w niniejszym poście.
| Irbisol napisał: | | Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa? |
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
| Kod: |
TFJ
Tabela wszystkich możliwych
funkcji logicznych Y=f(x) jednoargumentowych
Funkcja transmisji
A1: Y= p
##
Funkcja negacji
A2: Y=~p
##
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
A3: Y=1
##
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
A4: Y=0
Gdzie:
~p=~(p)
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.
| Kod: |
TFZ
Przykłady złożonych funkcji logicznych
Funkcja spójnika „albo”($)
A1: Y= p$q = p*~q+~p*q
##
Funkcja spójnika równoważności p<=>q
A2: Y= p<=>q = p*q+~p*~q
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Uwaga:
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
W funkcjach jednoargumentowych mamy zaledwie 4 przypadki różne na mocy definicji ##
A1.
Funkcja transmisji
Y=p
Na wyjściu Y mamy zawsze niezanegowany sygnał p
Oczywiście Y i p to zmienne binarne
##
A2.
Funkcja negacji
Y=~p
Na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Oczywiście Y i p to zmienne binarne
##
A3.
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
Y=1
##
A4.
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
Y=0
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy ich prawe strony nie są tożsame.
Doskonale widać spełnienie definicji znaczka różne na mocy definicji ## zarówno w tabeli TFJ jak i TFZ.
Uwaga:
Zauważmy, że nawet jeśli zapiszemy tabele TFJ i TFZ w jednej tabeli to dalej definicja znaczka różne na mocy definicji ## będzie perfekcyjnie spełniona, przy czym kolejność zapisywania linii jest bez znaczenia, może być losowa.
Podsumowując:
Brak definicji funkcji logicznej Y powiązanej ze znaczkiem różne na mocy definicji ## w logice matematycznej ziemian to największa super-tragedia ziemskiej logiki matematycznej – to gówno musi wylądować w piekle na wiecznych piekielnych mękach
Amen.
Innymi słowy:
Chodzi tu o znaczki różne na mocy definicji ## rozumiane dokładnie tak jak w tabelach TFJ i TFZ.
Jakieś pytania?
Ostatnio zmieniony przez rafal3006 dnia Pon 12:16, 09 Wrz 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: 15047
Przeczytał: 31 tematów
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 15:09, 09 Wrz 2024 Temat postu: |
|
|
Dowód iż mózg każdego człowieka wykopuje w kosmos gówno zwane KRZ – zawsze i wszędzie!
Irbisolu, musisz nauczyć się odróżniać matematykę formalną (ogólną) od konkretnych przykładów.
Algebra Kubusia to matematyka języka potocznego!
W języku potocznym algebra Kubusia ma przełożenie 1:1 na matematykę formalną (ogólną) w postaci teorii bramek logicznych gdzie jestem ekspertem z racji wykształcenia.
Oznacza to, że dowolne zdanie z języka potocznego (podlegające pod AK) ma przełożenie 1:1 na teorię bramek logicznych.
Wstęp:
Pokażę ci na przykładzie o co tu chodzi.
Dużo pracuję przy komputerze (firma plus AK). Często pracując w dzień nie chce mi się podnosić żaluzji i pracuję przy włączonym świetle za co dostaję reprymendę od żony.
Załóżmy że masz w firmie podobnego do mnie pracownika Jasia, któremu za podobny wybryk jedziesz po premii.
Załóżmy, że jesteś poza firmą.
Dzwonisz do Jasia i pytasz:
Czy żarówka przy twoim komputerze świeci się?
Jaś:
Szefie „żarówka nie świeci się”.
Oczywiście nie masz tu pewności czy Jaś mówi prawdę, czy nie mówi prawdy.
Jak rozstrzygnąć kiedy Jaś mówi prawdę, a kiedy nie mówi prawdy?
W logice matematycznej zawsze zakładamy, że odbiorca mówi prawdę, inaczej, gdybyśmy każdy przypadek chcieli sprawdzać, to szpital psychiatryczny mamy jak w banku.
No, ale matematycznie musisz wiedzieć kiedy Jaś mówi prawdę, a kiedy nie mówi prawdy.
Zgadza się?
Dokładnie w tym momencie w twoim mózgu zaczyna działać algebra Kubusia, poza twoją świadomością, bo przecież jesteś jej wrogiem Nr. 1
Czyż nie?
Twój mózg, poza twoją świadomością, działa tak:
A2.
Y = ~S
Co w logice jedynek oznacza:
Y=1 <=> ~S=1
Czytamy:
Prawdą jest (=1) że Jaś mówi prawdę (Y) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
Twoja córcia (lat 5) mówi do ciebie:
Tatko czy wiesz kiedy twój pracownik nie mówi prawdy (~Y)?
Na gruncie KRZ kompromitację masz gwarantowaną:
Dowód:
Fanatyk KRZ Windziarz na ateiście.pl, absolwent matematyki na Uniwersytecie Toruńskim na pytanie twojej córci odpowiada:
Nie wiadomo kiedy Jaś nie mówi prawdy, bo Jaś tego nie powiedział.
Przykład jest autentyczny – daję słowo!
Na twoje szczęście twój mózg przejmuje tu nad tobą kontrolę i mówisz będąc nieświadomym, gorliwym wyznawcą algebry Kubusia, bo podlegasz pod algebrę Kubusia nie mając żadnych szans, by się od niej uwolnić.
Oczywiście córcia że wiem:
Negujemy funkcję logiczną A2 stronami:
B2.
~Y = S
Co w logice jedynek oznacza:
~Y=1 <=>S
Czytamy:
Prawdą jest (=1) że Jaś nie mówi prawdy (~Y) wtedy i tylko wtedy gdy żarówka świeci się (S=1)
Znaczenie zmiennej binarnej Y:
Y – Jaś mówi prawdę (Y=1)
~Y - Jaś nie mówi prawdy (~Y=1)
Dowód iż twój mózg poza twoją świadomością posługuje się algebrą Kubusia mając w dupie posrany KRZ masz niżej.
| Kod: |
TJ
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
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
|
Zauważ że Jaś mówi do ciebie w kontekście jak we wstępie.
Żarówka nie świeci się
Y=~S
Jak widzisz, twój mózg, poza twoją kontrolą, zapisał zdanie Jasia w postaci funkcji jednoargumentowej.
Oczywiście nie wiesz czy Jaś mówi prawdę (Y) czy nie mówi prawdy (~Y), stąd jedyny punkt w teorii formalnej (ogólnej) gdzie możesz podstawić zdanie Jasia to punkt A2.
A2: Y=~p
Podstawiasz:
p=S
~(S) = ~S
Stąd w punkcie A2 masz zdanie z zapisie aktualnym (nasz przykład):
A2.
Y = ~S
Co w logice jedynek oznacza:
Y=1 <=> ~S=1
Czytamy:
Prawdą jest (=1) że Jaś mówi prawdę (Y) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
Prawo Prosiaczka:
(Y=1)=(~Y=0)
Stąd zapis tożsamy zdania A2 to:
~Y=0
Czytamy:
Fałszem jest (=0), że Jaś nie mówi prawdy (~Y) wtedy i tylko wtedy gdy żarówka nie świeci się (~S=1)
… a kiedy Jaś nie mówi prawdy?
Negujemy funkcję logiczną A2 stronami:
B2.
~Y = S
Co w logice jedynek oznacza:
~Y=1 <=>S
Czytamy:
Prawdą jest (=1) że Jaś nie mówi prawdy (~Y) wtedy i tylko wtedy gdy żarówka świeci się (S=1)
Prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd zapis tożsamy zdania B2 to:
Y=0
Fałszem jest (=0), że Jaś mówi prawdę (Y) wtedy i tylko wtedy gdy żarówka świeci się (S=1)
Znaczenie zmiennej binarnej Y:
Y – Jaś mówi prawdę (Y=1)
~Y - Jaś nie mówi prawdy (~Y=1)
Czy wszystko jasne?
Jakieś pytania?
Ostatnio zmieniony przez rafal3006 dnia Pon 15:29, 09 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Pon 16:34, 09 Wrz 2024 Temat postu: |
|
|
|
Czyli gdy mamy stałą, to Y oznacza co innego?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15047
Przeczytał: 31 tematów
|
| Wysłany: Pon 16:44, 09 Wrz 2024 Temat postu: |
|
|
|
Nie rozumiem, czemu Y nie jest dla zmiennych oznaczeniem funkcji, lecz jest obietnicą.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 17:22, 09 Wrz 2024 Temat postu: |
|
|
| Irbisol napisał: | | Nie rozumiem, czemu Y nie jest dla zmiennych oznaczeniem funkcji, lecz jest obietnicą. |
I.
Matematycznie Y jest zmienną binarną w funkcji typu:
Y=~p
Pod tą zmienną przypisujemy obietnicę wtedy i tylko wtedy gdy mamy do czynienia z obietnicą, bowiem obietnica to w istocie zmienna binarna - nikt nie wie co istocie żywej mającej wolną wolę wpadnie do łba, może wpaść wszystko, zarówno prawda (Y) jak i kłamstwo (~Y)
II.
Matematycznie Y jest stałą binarną w funkcji typu:
Y=1
Napisz, czego konkretnie w cytacie niżej nie rozumiesz?
Wyróżniłem ci na czerwono NAJWAŻNIEJSZE zdanie w tym cytacie.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181
| rafal3006 napisał: | Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
| Kod: |
TFJ
Tabela wszystkich możliwych
funkcji logicznych Y=f(x) jednoargumentowych
Funkcja transmisji
A1: Y= p
##
Funkcja negacji
A2: Y=~p
##
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
A3: Y=1
##
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
A4: Y=0
Gdzie:
~p=~(p)
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.
| Kod: |
TFZ
Przykłady złożonych funkcji logicznych
Funkcja spójnika „albo”($)
A1: Y= p$q = p*~q+~p*q
##
Funkcja spójnika równoważności p<=>q
A2: Y= p<=>q = p*q+~p*~q
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Uwaga:
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
W funkcjach jednoargumentowych mamy zaledwie 4 przypadki różne na mocy definicji ##
A1.
Funkcja transmisji
Y=p
Na wyjściu Y mamy zawsze niezanegowany sygnał p
Oczywiście Y i p to zmienne binarne
##
A2.
Funkcja negacji
Y=~p
Na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Oczywiście Y i p to zmienne binarne
##
A3.
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
Y=1
##
A4.
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
Y=0
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy ich prawe strony nie są tożsame.
Doskonale widać spełnienie definicji znaczka różne na mocy definicji ## zarówno w tabeli TFJ jak i TFZ.
Uwaga:
Zauważmy, że nawet jeśli zapiszemy tabele TFJ i TFZ w jednej tabeli to dalej definicja znaczka różne na mocy definicji ## będzie perfekcyjnie spełniona, przy czym kolejność zapisywania linii jest bez znaczenia, może być losowa.
Podsumowując:
Brak definicji funkcji logicznej Y powiązanej ze znaczkiem różne na mocy definicji ## w logice matematycznej ziemian to największa super-tragedia ziemskiej logiki matematycznej – to gówno musi wylądować w piekle na wiecznych piekielnych mękach
Amen.
Innymi słowy:
Chodzi tu o znaczki różne na mocy definicji ## rozumiane dokładnie tak jak w tabelach TFJ i TFZ.
Jakieś pytania? |
Ostatnio zmieniony przez rafal3006 dnia Pon 18:05, 09 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Pon 18:53, 09 Wrz 2024 Temat postu: |
|
|
W przypadku pójścia do kina pisałeś
Y = K
Czym tu jest Y, czym tu jest K?
W przypadku stwierdzenia, że żarówka świeci powinno być
Y = S
Czym tu jest Y, czym tu jest S?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 20:44, 09 Wrz 2024 Temat postu: |
|
|
W logice matematycznej kluczowa jest umiejętność kodowania matematycznego zdań!
Dowód:
Prawo Kameleona na końcu postu
| Irbisol napisał: | W przypadku pójścia do kina pisałeś
A1.
Y = K
Czym tu jest Y, czym tu jest K?
W przypadku stwierdzenia, że żarówka świeci powinno być
A1.
Y = S
Czym tu jest Y, czym tu jest S? |
Przy kodowaniu matematycznym jakie zastosowałeś znaczenie obu zdań jest identyczne.
Zarówno K jak i S są tu zmiennymi binarnymi.
Te zdania możesz podstawić tylko i wyłacznie w miejsce A1 w tabeli wszystkich możliwych spójników implikacyjnych.
Pani w przedszkolu
A1.
Jutro pódziemy do kina
Y=K
Ktoś mówi w temacie żarówki której NIE widzisz:
A1.
Żarówka świeci się
Y=S
Proste jak cep.
Przeczytasz kiedykolwiek poniższy post ze zrozumieniem, czy nigdy?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181
| rafal3006 napisał: | Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.
Dowód w niniejszym poście.
| Irbisol napisał: | | Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa? |
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
| Kod: |
TFJ
Tabela wszystkich możliwych
funkcji logicznych Y=f(x) jednoargumentowych
Funkcja transmisji
A1: Y= p
##
Funkcja negacji
A2: Y=~p
##
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
A3: Y=1
##
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
A4: Y=0
Gdzie:
~p=~(p)
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.
| Kod: |
TFZ
Przykłady złożonych funkcji logicznych
Funkcja spójnika „albo”($)
A1: Y= p$q = p*~q+~p*q
##
Funkcja spójnika równoważności p<=>q
A2: Y= p<=>q = p*q+~p*~q
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Uwaga:
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
W funkcjach jednoargumentowych mamy zaledwie 4 przypadki różne na mocy definicji ##
A1.
Funkcja transmisji
Y=p
Na wyjściu Y mamy zawsze niezanegowany sygnał p
Oczywiście Y i p to zmienne binarne
##
A2.
Funkcja negacji
Y=~p
Na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Oczywiście Y i p to zmienne binarne
##
A3.
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
Y=1
##
A4.
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
Y=0
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy ich prawe strony nie są tożsame.
Doskonale widać spełnienie definicji znaczka różne na mocy definicji ## zarówno w tabeli TFJ jak i TFZ.
Uwaga:
Zauważmy, że nawet jeśli zapiszemy tabele TFJ i TFZ w jednej tabeli to dalej definicja znaczka różne na mocy definicji ## będzie perfekcyjnie spełniona, przy czym kolejność zapisywania linii jest bez znaczenia, może być losowa.
Podsumowując:
Brak definicji funkcji logicznej Y powiązanej ze znaczkiem różne na mocy definicji ## w logice matematycznej ziemian to największa super-tragedia ziemskiej logiki matematycznej – to gówno musi wylądować w piekle na wiecznych piekielnych mękach
Amen.
Innymi słowy:
Chodzi tu o znaczki różne na mocy definicji ## rozumiane dokładnie tak jak w tabelach TFJ i TFZ.
Jakieś pytania? |
P.S.
Podpowiedź – wskazówka, to prawo Kameleona:
A1.
Jeśli jutro będzie padło to na 100% => będzie pochmurno
P=>CH =1
Padanie jest warunkiem wystarczającym => by było pochmurno, bo zawsze gdy pada jest pochmurno
B1.
Jeśli jutro będzie padało to na 100% ~> będzie pochmurno
P~>CH =0
Padanie nie jest (=0) warunkiem koniecznym ~> by było pochmurno bo może nie padać i być pochmurno
Stąd mamy:
Prawo Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame.
Dowód:
Zdania A1 i B1 wyżej
Wniosek:
W logice matematycznej kluczowa i najważniejsza jest umiejętność poprawnego matematycznie kodowania wszelkich zdań
Irbisolu:
Zgadzasz się z tym wnioskiem?
Zgadzasz się na prawo Kameleona?
Ostatnio zmieniony przez rafal3006 dnia Pon 21:28, 09 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Wto 6:57, 10 Wrz 2024 Temat postu: |
|
|
Nie napisałeś czym jest K, czym S i czym Y.
A o to pytał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: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 7:18, 10 Wrz 2024 Temat postu: |
|
|
Irbisolu, cały 100-milowy las nie rozumie po co jeszcze walczysz?
Legitymacja Nr.1 członka klubu algebry Kubusia czeka na ciebie w 100-milowym lesie.
Kiedy zgłosisz się po odbiór?
| Irbisol napisał: | Nie napisałeś czym jest K, czym S i czym Y.
A o to pytałem. |
Napisałem, to jest proste jak cep.
Przy twoim kodowaniu:
A1: Y=K
oraz:
A1: Y=S
Y jest funkcją binarną definiowaną prawymi stronami tej funkcji.
Pojęcia K i S nie mogą tu być stałymi binarnymi, bo stała binarna definiowana jest zawsze i wszędzie funkcją logiczną Y o znanej z góry wartości logicznej tej funkcji, czyli:
Y=0
albo
Y=1
Ponieważ twoje kodowanie matematyczne jest takie:
A1: Y=K
oraz:
A1: Y=S
To w twoim kodowaniu pojęcia K i S są zmiennymi binarnymi.
cnd
Jeśli twierdzisz że K i S to są stałe binarne to masz błąd w twoim kodowaniu zdań:
A1: Y=K
oraz
A1: Y=S
Irbisolu, nadal czekam kiedy przeczytasz ze zrozumieniem najważniejszy post w historii logiki matematycznej jak niżej.
Doczekam się kiedykolwiek?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813257
| rafal3006 napisał: | W logice matematycznej kluczowa jest umiejętność kodowania matematycznego zdań!
Dowód:
Prawo Kameleona na końcu postu
| Irbisol napisał: | W przypadku pójścia do kina pisałeś
A1.
Y = K
Czym tu jest Y, czym tu jest K?
W przypadku stwierdzenia, że żarówka świeci powinno być
A1.
Y = S
Czym tu jest Y, czym tu jest S? |
Przy kodowaniu matematycznym jakie zastosowałeś znaczenie obu zdań jest identyczne.
Zarówno K jak i S są tu zmiennymi binarnymi.
Te zdania możesz podstawić tylko i wyłącznie w miejsce A1 w tabeli wszystkich możliwych spójników implikacyjnych.
Pani w przedszkolu
A1.
Jutro pójdziemy do kina
Y=K
Ktoś mówi w temacie żarówki której NIE widzisz:
A1.
Żarówka świeci się
Y=S
Proste jak cep.
Przeczytasz kiedykolwiek poniższy post ze zrozumieniem, czy nigdy?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8625.html#813181
| rafal3006 napisał: | Gówno zwane logiką matematyczną ziemian musi wylądować w piekle!
.. na wiecznych piekielnych mękach.
Dowód w niniejszym poście.
| Irbisol napisał: | | Czyli Y co oznacza konkretnie? Funkcję czy fakt, że ktoś dotrzymał słowa? |
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
| Kod: |
TFJ
Tabela wszystkich możliwych
funkcji logicznych Y=f(x) jednoargumentowych
Funkcja transmisji
A1: Y= p
##
Funkcja negacji
A2: Y=~p
##
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
A3: Y=1
##
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
A4: Y=0
Gdzie:
~p=~(p)
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.
| Kod: |
TFZ
Przykłady złożonych funkcji logicznych
Funkcja spójnika „albo”($)
A1: Y= p$q = p*~q+~p*q
##
Funkcja spójnika równoważności p<=>q
A2: Y= p<=>q = p*q+~p*~q
Gdzie:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Uwaga:
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
W funkcjach jednoargumentowych mamy zaledwie 4 przypadki różne na mocy definicji ##
A1.
Funkcja transmisji
Y=p
Na wyjściu Y mamy zawsze niezanegowany sygnał p
Oczywiście Y i p to zmienne binarne
##
A2.
Funkcja negacji
Y=~p
Na wyjściu Y mamy zawsze zanegowany sygnał p (~p)
Oczywiście Y i p to zmienne binarne
##
A3.
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
Y=1
##
A4.
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
Y=0
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy ich prawe strony nie są tożsame.
Doskonale widać spełnienie definicji znaczka różne na mocy definicji ## zarówno w tabeli TFJ jak i TFZ.
Uwaga:
Zauważmy, że nawet jeśli zapiszemy tabele TFJ i TFZ w jednej tabeli to dalej definicja znaczka różne na mocy definicji ## będzie perfekcyjnie spełniona, przy czym kolejność zapisywania linii jest bez znaczenia, może być losowa.
Podsumowując:
Brak definicji funkcji logicznej Y powiązanej ze znaczkiem różne na mocy definicji ## w logice matematycznej ziemian to największa super-tragedia ziemskiej logiki matematycznej – to gówno musi wylądować w piekle na wiecznych piekielnych mękach
Amen.
Innymi słowy:
Chodzi tu o znaczki różne na mocy definicji ## rozumiane dokładnie tak jak w tabelach TFJ i TFZ.
Jakieś pytania? |
P.S.
Podpowiedź – wskazówka, to prawo Kameleona:
A1.
Jeśli jutro będzie padło to na 100% => będzie pochmurno
P=>CH =1
Padanie jest warunkiem wystarczającym => by było pochmurno, bo zawsze gdy pada jest pochmurno
B1.
Jeśli jutro będzie padało to na 100% ~> będzie pochmurno
P~>CH =0
Padanie nie jest (=0) warunkiem koniecznym ~> by było pochmurno bo może nie padać i być pochmurno
Stąd mamy:
Prawo Kameleona:
Dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka nie muszą być matematycznie tożsame.
Dowód:
Zdania A1 i B1 wyżej
Wniosek:
W logice matematycznej kluczowa i najważniejsza jest umiejętność poprawnego matematycznie kodowania wszelkich zdań
Irbisolu:
Zgadzasz się z tym wnioskiem?
Zgadzasz się na prawo Kameleona? |
Ostatnio zmieniony przez rafal3006 dnia Wto 7:38, 10 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Wto 8:08, 10 Wrz 2024 Temat postu: |
|
|
Wcześniej pisałeś, że S to stała.
A Y w połączeniu z K to obietnica.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 8:18, 10 Wrz 2024 Temat postu: |
|
|
| Irbisol napisał: | Wcześniej pisałeś, że S to stała.
A Y w połączeniu z K to obietnica. |
S może być w zależności od kontekstu albo zmienną binarną:
A1: Y=S
Gdy ktoś mówi "żarówka świeci" a ty nie widzisz tej żarówki
Czy ten ktoś może kłamać?
Oczywiście może!
Zatem tu "żarówka świeci" jest zmienną binarną.
albo stałą binarną:
A3: Y=S=1
Gdy ktoś pokazuje ci świecącą żarówkę i mówi "żarówka świeci"
Czy w tym przypadku ten ktoś może cię okłamac?
Oczywiście nie może dlatego tu "świecenie żarówki" jest stałą binarną
cnd
Szczegóły czysto matematyczne:
| Kod: |
TFJ
Tabela wszystkich możliwych
funkcji logicznych Y=f(x) jednoargumentowych
Funkcja transmisji
A1: Y= p
##
Funkcja negacji
A2: Y=~p
##
Zdanie zawsze prawdziwe albo stała binarna o wartości logicznej 1
A3: Y=1
##
Zdanie zawsze fałszywe albo stała binarna o wartości logicznej 0
A4: Y=0
Gdzie:
~p=~(p)
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
## - różne na mocy definicji
|
Matematycznie Y oznacza funkcję logiczną, zawsze i wszędzie, niezależnie od tego jak złożona jest funkcja logiczna Y.
Prawe strony funkcji logicznej Y definiują znaczenie funkcji logicznej Y
Czy wszystko jasne?
Jakieś pytania?
Ostatnio zmieniony przez rafal3006 dnia Wto 8:36, 10 Wrz 2024, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15047
Przeczytał: 31 tematów
|
| Wysłany: Wto 8:41, 10 Wrz 2024 Temat postu: |
|
|
|
Pisałeś, że Y z pójściem do kina to dotrzymanie słowa.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 8:47, 10 Wrz 2024 Temat postu: |
|
|
| Irbisol napisał: | | Pisałeś, że Y z pójściem do kina to dotrzymanie słowa. |
A1.
Jutro pójdziemy do kina
Y=K
Pytanie do ciebie:
Czy "pójście do kina" (K) dniu jutrzejszym jest zmienną binarną, czy stałą binarną?
Oczywiście zmienną binarną bo pani ma wolną wolę i może kłamać.
Pomyśl trochę Irbisolu:
Czy zdanie A1 wolno ci zakodować tak?
Y=K=1
Tu K (pójście do kina) jest stałą binarną o wartości logicznej 1.
Kluczowe pytanie:
Skąd wiesz że jutro dzieci na 100% pójdą do kina?
Bogiem jesteś?
Co w tym przypadku z "wolną wolą" pani przedszkolanki?
Leży i kwiczy - zgadza się?
Ostatnio zmieniony przez rafal3006 dnia Wto 8:54, 10 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Wto 9:29, 10 Wrz 2024 Temat postu: |
|
|
|
Napisałeś w poprzednim poście co innego niż wcześniej.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 9:36, 10 Wrz 2024 Temat postu: |
|
|
| Irbisol napisał: | | Napisałeś w poprzednim poście co innego niż wcześniej. |
Niczego takiego nie zrobiłem.
Irbisolu, ograniczam naszą dyskusję do postu niżej lub późniejszych:
Ty masz wykazać wewnętrzną sprzeczność w tych postach.
Wykażesz - kasuję algebrę Kubusia.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8600.html#813031
| rafal3006 napisał: | Totalnie cała logika matematyczna ziemskich matematyków jest wewnętrznie sprzeczna
zarówno ta definiująca stałe binarne (II), jak i ta opisująca zmienne binarne (I).
Dowód w niniejszym poście. |
Ostatnio zmieniony przez rafal3006 dnia Wto 9:50, 10 Wrz 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: 15047
Przeczytał: 31 tematów
|
| Wysłany: Wto 9:55, 10 Wrz 2024 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | | Napisałeś w poprzednim poście co innego niż wcześniej. |
Niczego takiego nie zrobiłem. |
Zrobiłeś:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
|
|
| 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
