Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Dyskusja na temat algebry Kubusia
Idź do strony Poprzedni  1, 2, 3 ... 105, 106, 107, 108, 109, 110  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Wto 12:46, 27 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812019
Irbisol napisał:
Po prostu pokaż różnicę.
Im prostsze pytanie ci się zada, tym bardziej jesteś bezradny.

Chcesz widzieć różnicę?
Bardzo proszę - ciut większy kawałek końcówki dowodu prawa Grzechotnika, które to prawo bez problemu rozumie każdy 5-cio latek (oczywiście z niewielką moją pomocą)
Różnicę masz wyróżnioną na niebiesko.
Jak czegoś nie rozumiesz to odsłaniaj sobie dalsze kawałki dowodu prawa Grzechotnika, doskonale rozumianego przez każdego 5-cio latka.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Algebra Kubusia napisał:

Matematycznie zachodzi:
Kod:

Zdarzenie x ## funkcja logiczna Y=x
Gdzie:
x={K,~K} - zmienne wejściowe dla funkcji logicznej Y=x
## - różne na mocy definicji

Zapiszmy dialogi pań z przedszkola A1 i A2 w tabeli prawdy:
Kod:

T1
Pani w przedszkolu A1:
A1: Y= K   #  B1: ~Y=~K
    ##            ##
Pani w przedszkolu A2:
A2: Y=~K   #  B2: ~Y= K

K, Y muszą być wszędzie tymi samymi K, Y inaczej błąd podstawienia

Definicja znaczka #:
Dowolna strona znaczka # 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

W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.

Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##


1.7.1 Dowód prawa Grzechotnika na poziomie przedszkola

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 T1.
Kod:

T1"
Pani w przedszkolu A1:
A1:  K   #  B1: ~K
Pani w przedszkolu A2:
A2: ~K   #  B2:  K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale widać, że w tabeli T1" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.


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.

1.7.2 Prawo 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.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Wto 13:12, 27 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812025
Irbisol napisał:
Pytałem o różnicę pomiędzy obecnością Y i brakiem Y, a nie o logiki ujemne.

Różnicę masz wyróżnioną w poście wyżej na niebiesko.
Sam widzisz, ze nie ma sensu czytać końcówki dowodu prawa Grzechotnika bo nic nie rozumiesz.
Czytaj prawo Grzechotnika rozumiane przez każdego 5-cio latka od początku i zatrzymaj się na pierwszym zdaniu którego nie rozumiesz - pomogę ci zrozumieć, tylko tyle i aż tyle mogę dla ciebie zrobić.


Ostatnio zmieniony przez rafal3006 dnia Wto 13:14, 27 Sie 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Wto 18:12, 27 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812045

Czy Irbisol zaliczy test na poziomie 5-cio letniego dziecka?
... ma kto taką nadzieję?

Irbisol napisał:
To tzw. prawo jest gówniane i już ci o tym pisałem.
Poza tym jest nie na temat bo opiera się o ~Y, a ja pytam o Y.

Bardzo proszę, jak sobie życzysz :)

Zadanie z matematyki które wkrótce znajdzie się na maturze rozszerzonej z matematyki we wszystkich ziemskich liceach!

Zadanie testowe 1
Dane są dwa zdania pań przedszkolanek z dwóch różnych przedszkoli A1 i A2

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
Y=K
co w logice matematycznej oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji


Ostatnio zmieniony przez rafal3006 dnia Wto 18:23, 27 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Wto 19:16, 27 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812059

Irbisol napisał:
Miałeś wskazać różnicę, a nie uciekać w quizy.

Test wyżej jest kluczowy dla naszej dalszej dyskusji.
Chciałeś mieć samo Y?
Masz samo Y!
Rozwiąż test na poziomie 5-cio letniego dziecka - to jest warunek konieczny byś zrozumiał prawo Grzechotnika, byś zrozumiał iż ten test to jest właśnie kluczowy początek prawa Grzechotnika
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Wto 22:01, 27 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812067

Rozwiązanie testu maturalnego z matematyki!
Przez maturzystę Jasia, który zna algebrę Kubusia bo uczą jej w I klasie LO
oraz
Zuzi, 5-cio latki z przedszkola, która tenże test intuicyjnie również rozwiązała prawidłowo, bo algebrę Kubusia wyssała z mlekiem matki nie musząc się jej uczyć!

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Miałeś wskazać różnicę, a nie uciekać w quizy.

Test wyżej jest kluczowy dla naszej dalszej dyskusji.

To go rozwiąż i pokaż różnicę.
Ciekawe, ile miesięcy będziesz uciekał przed odpowiedzią.


Nie muszę rozwiązywać, pokażę ci rozwiązania testu maturalnego przez maturzystę Jasia znającego algebrę Kubusia bo uczą jej w I klasie LO, oraz Zuzi (lat 5) która algebrę Kubusia wyssała z mlekiem matki, nie musząc się jej uczyć!

Zauważ, że rozwiązanie testu przez maturzystę Jasie egzaminator ocenił na:
6 - stopień celujący
Zgadzasz się z tym faktem?

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812045
rafal3006 napisał:
Czy Irbisol zaliczy test na poziomie 5-cio letniego dziecka?
... ma kto taką nadzieję?

Irbisol napisał:
To tzw. prawo jest gówniane i już ci o tym pisałem.
Poza tym jest nie na temat bo opiera się o ~Y, a ja pytam o Y.

Bardzo proszę, jak sobie życzysz :)

Zadanie z matematyki które wkrótce znajdzie się na maturze rozszerzonej z matematyki we wszystkich ziemskich liceach!

Zadanie testowe 1
Dane są dwa zdania pań przedszkolanek z dwóch różnych przedszkoli A1 i A2

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
Y=K
co w logice matematycznej oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji


1.
Rozwiązanie testu maturalnego przez maturzystę Jasia


a)
Czy zdania A1 i A2 są tożsame?


Definicja tożsamości funkcji logicznej:
Dwie funkcje logiczne w tej samej logice (dodatniej bo Y albo ujemnej bo ~Y) są tożsame wtedy i tylko wtedy gdy prawe strony tych funkcji są identyczne.

Nasz przykład:
Odpowiedź:
(A1: Y=K [=] A2: Y=~K) =0
Funkcje A1 i A2 są w logice dodatniej (bo Y)
Wniosek:
Funkcje logiczne A1: Y=K i A2: Y=~K nie są tożsame (=0)

b)
Czy zdanie A2 jest zaprzeczeniem zdania A1 i odwrotnie?


Definicja poprawnego przeczenia dowolnej funkcji logicznej Y=f(x):
Dowolną funkcję logiczną
Y=f(x)
wolno nam tylko i wyłącznie dwustronnie zaprzeczyć:
~Y=~f(x)
Niedozwolone jest zaprzeczenie wyłącznie jednej strony funkcji logicznej Y=f(x)

Definicja znaczka różne # w znaczeniu iż:
Dowolna strona znaczka # jest (=1) negacją drugiej strony
Y=f(x) # ~Y=~f(x) =1
Definicja znaczka różne # jest spełniona (=1) bo dowolna strona znaczka # jest negacją drugiej strony.
Co widać, słychać, i czuć!

Weźmy nasze zdania A1 i A2:
(A1: Y=K # A2: Y=~K) =0
Definicja znaczka różne # nie jest (=0) spełniona bo dowolna strona znaczka # nie jest negacją drugiej strony
Co widać, słychać i czuć!
Wniosek
Funkcje logiczne A1: Y=K i A2: Y=~K nie spełniają (=0) definicji znaczka różne #

c)
Czy zdania A1 i A2 są różne na mocy definicji?


Definicja znaczka różne na mocy definicji ##
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame (punkt a)) i żadna z nich nie jest zaprzeczeniem drugiej (punkt b))

Nasze funkcje logiczne A1 i A2 spełniają definicję znaczka różne na mocy definicji ##
(A1: Y=K ## A2: Y=~K) =1
Co widać, słychać i czuć!

Podsumowujące rozwiązanie testu przez Jasia:
Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Poprawna odpowiedź to punkt c)
cnd

Ocena Jasia w skali 0-5: 6 -celujący!
Tu egzaminator docenił fakt, że Jaś nie wybrał na ślepo odpowiedzi c) co wielu maturzystów robi, ale ją szczegółowo uzasadnił.

2.
Rozwiązanie testu maturalnego przez Zuzię (lat 5) która algebrę Kubusia wyssała z mlekiem matki

Zauważmy, że rozwiązanie matematyczne Jasie pokrywa się z intuicją każdego 5-cio latka tzn.
Każdy 5-cio latek intuicyjnie podkreśli tu rozwiązanie c) bo podlega pod algebrę Kubusia nie mając żadnych szans by się od niej uwolnić.

Uzasadnienie wyboru punktu c) bez znajomości logiki matematycznej na poziomie maturzysty Jasia, który to wszystko matematycznie pięknie uzasadnił to uzasadnienie Zuzi (lat 5) niżej.

Zuzia (lat 5) myśli tu tak:
W przedszkolu A1 pani obiecuje (Y), że jutro pójdziemy do kina A1: Y=K, zaś w przedszkolu A2 pani obiecuje (Y) że jutro nie pójdziemy do kina A2: Y=~K
Gdzie:
Y - obietnica dotrzymana
To są dwie, fundamentalnie różne obietnice skutkujące czymś fundamentalnie innym:
W A1 pójdziemy do kina A1: Y=K, zaś w A2 nie pójdziemy do kina A2: Y=~K, dlatego ja Zuzia (lat 5) zdecydowanie wybieram punkt:
c) Zdania A1 i A2 są różne na mocy definicji


Ostatnio zmieniony przez rafal3006 dnia Śro 7:43, 28 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Śro 8:36, 28 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812083

Czy ma kto nadzieję że Irbisol zrozumie?
Matematyczne banały na poziomie 5-cio letniego dziecka!

Irbisol napisał:
W tym całym przerośniętym spamie jest gdzieś wskazanie różnicy o którą pytam? Jeżeli tak, zaznacz na niebiesko.


Bardzo proszę, odpowiedzi w teście, Jasia i Twoje, zaznaczam na niebiesko.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812045

rafal3006 napisał:
Czy Irbisol zaliczy test na poziomie 5-cio letniego dziecka?
... ma kto taką nadzieję?

Irbisol napisał:
To tzw. prawo jest gówniane i już ci o tym pisałem.
Poza tym jest nie na temat bo opiera się o ~Y, a ja pytam o Y.

Bardzo proszę, jak sobie życzysz :)

Zadanie z matematyki które wkrótce znajdzie się na maturze rozszerzonej z matematyki we wszystkich ziemskich liceach!

Zadanie testowe 1
Dane są dwa zdania pań przedszkolanek z dwóch różnych przedszkoli A1 i A2

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
Y=K
co w logice matematycznej oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Skala ocen egzaminacyjnych: 0-6

Rozwiązanie testu przez maturzystę Jasia i 5-cio letnią Zuzię:

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Ocena egzaminatora:
6 - stopień celujący

Rozwiązanie testu przez fanatyka KRZ, Irbisola:

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Ocena egzaminatora:
0 - test niezaliczony (odpowiedź niepoprawna)

Podsumowując:
Czy zgadzasz się Irbisolu z oceną egzaminatora?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Śro 10:30, 28 Sie 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Śro 12:44, 28 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812093

Piłeczka jest w twoim ogródku Irbisolu!
To ty masz się tłumaczyć przed wszystkimi 5-cio latkami i humanistami, dlaczego podkreśliłeś odpowiedź b)?
Czas START!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812029
Irbisol napisał:
To tzw. prawo jest gówniane i już ci o tym pisałem.
Poza tym jest nie na temat bo opiera się o ~Y, a ja pytam o Y.

Zgodnie z twoim życzeniem póki co rozmawiamy wyłącznie w logice dodatniej (bo Y) nie wspominając ani jednym słowem o logice ujemnej (bo ~Y).
Innymi słowy do tego byś zrozumiał logikę ujemną (bo ~Y) konieczne jest byś zrozumiał logikę dodatnią (bo Y) … a na tym poletku leżysz, kwiczysz.

Irbisol napisał:
Która wersja jest dla Y a która dla braku Y?

Żaden człowiek przy zdrowych zmysłach, czyli 5-cio latek i humanista nie wyobraża sobie zakodowania zdań A1 i A2 bez użycia funkcji logicznej w logice dodatniej (bo Y).

To ty masz zakodować poprawnie matematycznie zdania A1 i A2 bez użycia funkcji logicznej Y.
Z motyką na słońce Irbisolu - choćbyś zjadł 1000 kotletów, to nie zakodujesz matematycznie zdań A1 i A2 bez użycia funkcji logicznej Y!

Przypominam rozwiązanie testu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812083
rafal3006 napisał:
Czy ma kto nadzieję że Irbisol zrozumie?
Matematyczne banały na poziomie 5-cio letniego dziecka!

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
Y=K
co w logice matematycznej oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Skala ocen egzaminacyjnych: 0-6

Rozwiązanie testu przez maturzystę Jasia i 5-cio letnią Zuzię:

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Ocena egzaminatora:
6 - stopień celujący

Rozwiązanie testu przez fanatyka KRZ, Irbisola:

Polecenie:
Podkreśl właściwą relację między zdaniami A1 i A2:
a) Zdania A1 i A2 są tożsame
b) Zdanie A2 jest zaprzeczeniem zdania A1
c) Zdania A1 i A2 są różne na mocy definicji

Ocena egzaminatora:
0 - test niezaliczony (odpowiedź niepoprawna)

Podsumowując:
Czy zgadzasz się Irbisolu z oceną egzaminatora?
TAK/NIE


Szczegółowe uzasadnienie rozwiązania Jasia i Zuzi (lat 5) masz w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812067
rafal3006 napisał:
Rozwiązanie testu maturalnego z matematyki!
Przez maturzystę Jasia, który zna algebrę Kubusia bo uczą jej w I klasie LO
oraz
Zuzi, 5-cio latki z przedszkola, która tenże test intuicyjnie również rozwiązała prawidłowo, bo algebrę Kubusia wyssała z mlekiem matki nie musząc się jej uczyć!


Piłeczka jest w twoim ogródku Irbisolu - to ty masz się tłumaczyć przed wszystkimi 5-cio latkami i humanistami, dlaczego podkreśliłeś odpowiedź b)?
Czas START!


Ostatnio zmieniony przez rafal3006 dnia Śro 14:14, 28 Sie 2024, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Śro 21:25, 28 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812119

Kwadratura koła dla Irbisola!

Irbisol napisał:
rafal3006 napisał:
Żaden człowiek przy zdrowych zmysłach, czyli 5-cio latek i humanista nie wyobraża sobie zakodowania zdań A1 i A2 bez użycia funkcji logicznej w logice dodatniej (bo Y).

Chyba zrobię ankietę i będę pytał ludzi, czy wyobrażają sobie zakodowanie tych zdań "bez użycia funkcji logicznej w logice dodatniej (bo Y)" :rotfl:
Bo wg ciebie dla 5-latka oczywiste jest, że zdania zaprzeczające sobie nawzajem nie zaprzeczają sobie nawzajem, lecz są "różne ma mocy definicji, bo Y" :rotfl:


Znaczenie zdań pań przedszkolanek z przedszkoli A1 i A2 doskonale rozumie każdy 5-cio latek i każdy humanista, czego dowód w cytacie niżej.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812083
rafal3006 napisał:
Czy ma kto nadzieję że Irbisol zrozumie?
Matematyczne banały na poziomie 5-cio letniego dziecka!

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
Y=K
co w logice matematycznej oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Przedstawione w cytacie kodowania zdań A1 i A2 to naturalna logika matematyczna każdego 5-cio latka i humanisty.
Każdy 5-cio latek doskonale wie kiedy pani dotrzyma słowa (Y) w przedszkolu A1 oraz kiedy pani dotrzyma słowa (Y) w przedszkolu A2.

Zwrot „pani dotrzyma słowa (Y)” to jest właśnie funkcja logiczna Y której znaczenie w obu zdaniach A1 i A2 jest IDENTYCZNE!

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Twierdzę Irbisolu, że choćbyś zjadł 1000 kotletów to nie masz szans na poprawne zakodowanie znaczenia zdań A1 i A2 bez użycia funkcji logicznej Y, czyli bez zwrotu „pani dotrzyma słowa (Y)”

Próbować każdy może tak jak śpiewać każdy może:
https://www.youtube.com/watch?v=ENvAmLuj5ko

Zatem zaczynamy od początku:

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina

5-cio letnia Zuzia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Zuziu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina

5-cio letnia Małgosia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Małgosiu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Kwadratura koła dla Irbisola:
Zakoduj matematyczne znaczenie zdań A1 i A2 inaczej niż to przedstawiono w cytacie wyżej, czyli bez zwrotu „pani dotrzyma słowa (Y)”
Czas START!


Ostatnio zmieniony przez rafal3006 dnia Śro 21:43, 28 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 8:55, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812137

Irbisol napisał:
Sam to zrobiłeś, schizofreniku.
Bezpośrednio pod napisami A1 i A2.
I wg ciebie jedno zdanie absolutnie nie zaprzecza drugiemu :rotfl:

Skup się.
Ani ja, ani żaden 5-cio latek i humanista nie potrafimy zakodować zdań A1 i A2 bez użycia funkcji logicznej w logice dodatniej (bo Y), czyli bez zwrotu "pani dotrzyma słowa (Y)"

Ty twierdzisz że jest to możliwe, zatem po prostu zrób to!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812119
rafal3006 napisał:
Kwadratura koła dla Irbisola!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812083
rafal3006 napisał:
Czy ma kto nadzieję że Irbisol zrozumie?
Matematyczne banały na poziomie 5-cio letniego dziecka!

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina
Y=K
co w logice matematycznej oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)


Zatem zaczynamy od początku:

Przedszkole A1:

Pani przedszkolanka A1 mówi do dzieci:
A1.
Jutro pójdziemy do kina

5-cio letnia Zuzia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Zuziu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina

5-cio letnia Małgosia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Małgosiu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Kwadratura koła dla Irbisola:
Zakoduj matematyczne znaczenie zdań A1 i A2 inaczej niż to przedstawiono w cytacie wyżej, czyli bez zwrotu „pani dotrzyma słowa (Y)”
Czas START!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 10:15, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812143

Irbisolu, wszyscy czekamy, kiedy twój mózg dobije do poziomu matematycznego każdego 5-cio latka i humanisty!

Irbisol napisał:
Jak ktoś jest niedorozwinięty, to może i nie potrafi. Ale nie ekstrapoluj tego na innych.
Odpowiedziałem ci na pytanie.

Uprośćmy to do maksimum - dalej upraszczać się nie da.
Odpowiedz na pytanie Małgosi z przedszkola A2.

Póki co wymaż sobie przedszkole A1 z pamięci - nie ma tego przedszkola!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812119
rafal3006 napisał:
Kwadratura koła dla Irbisola!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812083
rafal3006 napisał:
Czy ma kto nadzieję że Irbisol zrozumie?
Matematyczne banały na poziomie 5-cio letniego dziecka!

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)


Zatem zaczynamy od początku:

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina

5-cio letnia Małgosia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Małgosiu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Kwadratura koła dla Irbisola:
Zakoduj matematyczne znaczenie zdania A2 inaczej niż to przedstawiono w cytacie wyżej, czyli bez zwrotu „pani dotrzyma słowa (Y)”
Czas START!


Przedstawione w cytacie kodowania zdania A2 to naturalna logika matematyczna każdego 5-cio latka i humanisty.
Każdy 5-cio latek doskonale wie kiedy pani dotrzyma słowa (Y) w przedszkolu A2.

Zwrot „pani dotrzyma słowa (Y)” to jest właśnie funkcja logiczna Y!

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Twierdzę Irbisolu, że choćbyś zjadł 1000 kotletów to nie masz szans na poprawne zakodowanie znaczenia zdania A2 bez użycia funkcji logicznej Y, czyli bez zwrotu „pani dotrzyma słowa (Y)”

Innymi słowy:
Choćbyś 1000 kotletów to nie odpowiesz na pytanie 5-cio letniej Małgosi z przedszkola A2

Irbisolu, wszyscy czekamy, kiedy twój mózg dobije do poziomu matematycznego każdego 5-cio latka i humanisty!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 12:37, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812163

Irbisol napisał:
Pytałeś, jak zapisać te zdania bez Y.
Więc ci wskazałem, jak je zapisać. Sam je tak zapisałeś i nawet o tym nie wiesz, mimo że ci wprost wskazałem, gdzie to zrobiłeś.

Tu nie chodzi o samą treść zdań, tu chodzi o matematyczne kodowanie tych zdań.
Rozumiesz o czym mówię?
Zrozumiesz, jak uprościmy problem wyłacznie do przedszkola A2 i odpowiesz słownie na pytanie 5-cio latniej Małgosi.

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina

5-cio letnia Małgosia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Małgosiu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Przeczytaj ze zrozumieniem co do ciebie piszę.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812143

rafal3006 napisał:
Irbisolu, wszyscy czekamy, kiedy twój mózg dobije do poziomu matematycznego każdego 5-cio latka i humanisty!

Irbisol napisał:
Jak ktoś jest niedorozwinięty, to może i nie potrafi. Ale nie ekstrapoluj tego na innych.
Odpowiedziałem ci na pytanie.

Uprośćmy to do maksimum - dalej upraszczać się nie da.
Odpowiedz na pytanie Małgosi z przedszkola A2.

Póki co wymaż sobie przedszkole A1 z pamięci - nie ma tego przedszkola!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812119
rafal3006 napisał:
Kwadratura koła dla Irbisola!

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8475.html#812083
rafal3006 napisał:
Czy ma kto nadzieję że Irbisol zrozumie?
Matematyczne banały na poziomie 5-cio letniego dziecka!

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)


Zatem zaczynamy od początku:

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina

5-cio letnia Małgosia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Twoje pytanie Małgosiu jest dla mnie za trudne - leżę i kwiczę, nie wiem kiedy jutro pani dotrzyma słowa (Y).

Kwadratura koła dla Irbisola:
Zakoduj matematyczne znaczenie zdania A2 inaczej niż to przedstawiono w cytacie wyżej, czyli bez zwrotu „pani dotrzyma słowa (Y)”
Czas START!


Przedstawione w cytacie kodowania zdania A2 to naturalna logika matematyczna każdego 5-cio latka i humanisty.
Każdy 5-cio latek doskonale wie kiedy pani dotrzyma słowa (Y) w przedszkolu A2.

Zwrot „pani dotrzyma słowa (Y)” to jest właśnie funkcja logiczna Y!

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)

Twierdzę Irbisolu, że choćbyś zjadł 1000 kotletów to nie masz szans na poprawne zakodowanie znaczenia zdania A2 bez użycia funkcji logicznej Y, czyli bez zwrotu „pani dotrzyma słowa (Y)”

Innymi słowy:
Choćbyś 1000 kotletów to nie odpowiesz na pytanie 5-cio letniej Małgosi z przedszkola A2

Irbisolu, wszyscy czekamy, kiedy twój mózg dobije do poziomu matematycznego każdego 5-cio latka i humanisty!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 14:23, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812175

Irbisol napisał:
To zaprezentuj, jak się matematycznie koduje zdanie "jutro pójdziemy do kina".

Zmieniam twoje zdanie na:
Jutro nie pójdziemy do kina
co jest TOTALNIE bez znaczenia

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812163
Irbisol napisał:
Pytałeś, jak zapisać te zdania bez Y.
Więc ci wskazałem, jak je zapisać. Sam je tak zapisałeś i nawet o tym nie wiesz, mimo że ci wprost wskazałem, gdzie to zrobiłeś.

Tu nie chodzi o samą treść zdań, tu chodzi o matematyczne kodowanie tych zdań.
Rozumiesz o czym mówię?
Zrozumiesz, jak uprościmy problem wyłacznie do przedszkola A2 i odpowiesz słownie na pytanie 5-cio latniej Małgosi.

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina

5-cio letnia Małgosia do Irbisola:
Czy wiesz kiedy jutro pani dotrzyma słowa (Y)?
Irbisol:
Bardzo proszę Małgosiu, odpowiadam:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
Czy już rozumiesz kiedy jutro pani dotrzyma słowa (Y)?
Rozumiem Irbisolu, ja to doskonale wiedziałam bez twojej podpowiedzi ... to była moja podpucha, moje udawanie że nie wiem.

Podsumowujac:
Matematycy na poziomie kodują matematycznie zdanie A2 tak:

Przedszkole A2:

Pani przedszkolanka A2 mówi do dzieci:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Przedstawione wyżej kodowanie matematyczne zdania A2 to naturalna logika matematyczna każdego 5-cio latka i humanisty.
Każdy 5-cio latek doskonale wie kiedy pani dotrzyma słowa (Y) w przedszkolu A2.

Zwrot „pani dotrzyma słowa (Y)” to jest właśnie funkcja logiczna Y!

Znaczenie zmiennej Y:
Y=1 - prawdą jest (=1), że pani dotrzyma słowa (Y)
lub krótko:
Y - pani dotrzyma słowa (jedynki w logice matematycznej są domyślne!)
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 16:15, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812195

Algebra Kubusia to krystalicznie czysta matematyka!

Irbisol napisał:
Gdzie to kodowanie?
Zacytuj samo kodowanie.


I.
Bardzo proszę, to jest krystalicznie czysta matematyka:

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:

1.5.2 Definicja funkcji negacji Y=~p

Definicja negatora:
Negator to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze zanegowany sygnał wejściowy p (Y=~p)

Realizacja rzeczywista:
SN7406 (strona 2: Y=~p)
Kod:
https://www.ti.com/lit/ds/symlink/sn7406.pdf


Definicja matematyczna:
Funkcja logiczna negatora Y=~p to funkcja definiowana tabelą prawdy:
Kod:

FN
Funkcja negatora Y=~p
Wejście |Wyjście
        | A2:
p # ~p  | Y=~p
1 #  0  | 0
0 #  1  | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Na wyjściu Y mamy tu zawsze zanegowany sygnał p (Y=~p)

Definicja negatora:
Y=~p
Co w logice matematycznej oznacza:
Y=1 <=> ~p=1
Czytamy:
Prawdą jest (=1), że zajdzie Y wtedy i tylko wtedy gdy zajdzie (~p=1)


II
… a to jest konkretny przykład pasujący pod krystalicznie czystą matematykę po podstawieniu:

1.
Y=1 – prawdą jest (=1), że pani dotrzyma słowa (Y)
W logice matematycznej jedynki są domyślne, stąd najkrótsze znaczenie symbolu (Y)
Y – pani dotrzyma słowa (Y)
2.
p=K (kino)
~p=~K (nie kino)

Przykład z przedszkola A2:
Funkcja logiczna negatora Y=~K to funkcja definiowana tabelą prawdy:
Kod:

FN
Funkcja negatora Y=~K
Wejście |Wyjście
        | A2:
K # ~K  | Y=~K
1 #  0  | 0
0 #  1  | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Na wyjściu Y mamy tu zawsze zanegowany sygnał K (Y=~K)

Definicja negatora:

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina
Y=~K
Co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Irbisolu,
Czy przedstawiona tu krystalicznie czysta matematyka ścisła, algebra bramek logicznych, jest dla ciebie zrozumiała?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 17:29, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812201

Irbisol napisał:
Zmieniłem wyżej pytanie.
Oczekuję 2 zdań.

Zmienione pytanie Irbisola:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812183
Irbisol napisał:
Podaj kodowane zdanie.
Następnie podaj wynik matematycznego zakodowania tego zdania.

Twoje zmienione pytanie to bełkot którego ani ja, ani nawet Bóg nie rozumie.

Póki co dyskutujemy tylko i wyłącznie o zdaniu A2.

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina
Y=~K
Co w logice matematycznej oznacza:
Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Irbisolu,
Obsługę czysto matematyczną zdania A2 masz w moim poście wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812195
rafal3006 napisał:
Algebra Kubusia to krystalicznie czysta matematyka!


Żadnej innej matematyki w temacie obsługi zdania A2, choćbyś zjadł 1000 kotletów, nie wymyślisz.
Napisz proszę, czego nie rozumiesz w logice matematycznej którą doskonale rozumieją wszystkie 5-cio latki i humaniści.

Pełna obsługa zdania A2 to dodatkowo odpowiedź na pytanie:
Kiedy pani nie dotrzyma słowa (~Y)?

... ale to wyższa szkoła jazdy, najpierw musisz zrozumieć znaczenie zdania A2: Y=~K, czyli znaczenie funkcji logicznej w logice dodatniej (bo Y).


Ostatnio zmieniony przez rafal3006 dnia Czw 17:31, 29 Sie 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 17:47, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812207

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Podaj kodowane zdanie.
Następnie podaj wynik matematycznego zakodowania tego zdania.

Twoje zmienione pytanie to bełkot którego ani ja, ani nawet Bóg nie rozumie.

Ty nie rozumiesz, bo sam zapominasz, co napisałeś. A swoich braków - jak już wspominałem - nie powinieneś projektować na innych.

Napisałeś wcześniej:

Tu nie chodzi o samą treść zdań, tu chodzi o matematyczne kodowanie tych zdań.

Więc podaj treść zdania, a następnie to, co z niego zostanie po matematycznym zakodowaniu tego zdania.


... no i w tym poście masz precyzyjne wyjaśnienie o co chodzi w precyzyjnym, matematycznym, kodowaniu zdania A2:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812195
rafal3006 napisał:
Algebra Kubusia to krystalicznie czysta matematyka!

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina

Kodowanie matematyczne zdania A2:
A2: Y=~K - to i tylko to jest matematycznym kodowaniem zdania A2.

Zacznij czytać ten post i napisz czego nie rozumiesz - będę cierpliwie wyjaśniał.

Możliwe jest też alternatywne tłumaczenie ci o co chodzi w logice matematycznej na poziomie operatorów jednoargumentowych.

Możemy się zająć tylko i wyłącznie teorią czysto matematyczną, czyli obsługą matematyczną dwóch kluczowych operatorów jednoargumentowych:
1.
Operator negacji:
Y|=~p
2.
Operatora transmisji:
Y|=p

... i dopiero po zrozumieniu teorii czysto matematycznej zaczniemy sypać przykładami potwierdzającymi tą teorię.

Więc?
Wybór należy do ciebie.
Czy mam zacząć krótki wykład czysto matematyczny?
Na 100% zrozumiesz!


Ostatnio zmieniony przez rafal3006 dnia Czw 17:56, 29 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 18:05, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812213

Matematyczna obsługa języka potocznego to poziom co najwyżej 5-cio latka!

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina

Kodowanie matematyczne zdania A2:
A2: Y=~K - to i tylko to jest matematycznym kodowaniem zdania A2.

Irbisol napisał:
A da się z tego kodowania jakoś uzyskać treść zdania?

Oczywiście że się da:
Kodowanie A2 odczytujemy:
A2:
Y=~K
co matematycznie oznacza:
Y=1 <=> ~K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Irbisolu, to jest poziom matematyczny co najwyżej 5-cio latka tzn. absolutnie każdy 5-cio latek zna odpowiedź na pytanie:
"Kiedy pani dotrzyma słowa (Y=1)?
Zgadzasz się z tym faktem?


Ostatnio zmieniony przez rafal3006 dnia Czw 18:06, 29 Sie 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 21:04, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812231

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Czyli jak ktoś zobaczy napis
Y=~K
to z automatu będzie wiedział, że chodzi o zdanie "Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) "

Pomijam tu fakt, że się zakręciłeś i ze zdania pierwotnego
"Jutro nie pójdziemy do kina" po zakodowaniu i rozkodowaniu otrzymałeś inne zdanie.

Nie, żaden automat.
Jeśli robisz kodowanie zdania z języka potocznego to musisz znać zdanie które jest kodowane!

1.
A skąd z samego zapisu Y=~K to wiadomo?
2.
I dlaczego po kodowaniu i rozkodowaniu dostałeś INNE zdanie?

Ad.1
W tym zapisie Y=~K nikt nie wie, nawet sam pan Bóg co do jest ten symbol K.
Pasuje tu wiele rzeczy np.
K=krowa
K=kraków
K=kilof
K=Księżyc
etc
Dokładnie dlatego MUSISZ znać zdanie które kodujesz.

Ad.2
Wszyscy widzą, że nie czytałeś mojego postu i bredzisz tzn. nie znasz teorii operatora negacji Y|=~p

Podsumowując:
Irbisolu:
Przeczytaj ze zrozumieniem mój post w całości to zrozumiesz.
Przeczytałeś?
Czy też uznałeś mój post wyżej za gówno którego nie będziesz czytał.
Czy możesz na to pytanie odpowiedzieć?
... ma kto nadzieję, że Irbisol odpowie? :shock:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Czw 21:44, 29 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812237

Irbisol napisał:

Cytat:
Dokładnie dlatego MUSISZ znać zdanie które kodujesz.

Ale skąd mam znać? To jest matematyka, czy wróżbiarstwo?

Matematyką jest tu teoria bramek logicznych izolowana od jakichkolwiek przykładów z naszego Wszechświata.
Zrozumiesz to kiedykolwiek, czy nigdy?

To jest teoria ogólna operatora negacji Y|=~p, teoria bramek logicznych!
Kod:

ON
Definicja operatora negacji: Y|=~p
Wejście    |Wyjście
           | A2:    B2:
   p # ~p  | Y=~p # ~Y=p
A: 1 #  0  | 0    #  1
B: 0 #  1  | 1    #  0
   1    2    3       4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale tu widać że:

A2:
Zdanie wypowiedziane:
Zajdzie ~p
Kodowanie:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
Czytamy:
A2”.
Zajdzie Y=1 wtedy i tylko wtedy gdy ~p=1

Uważaj Irbisolu!
Na mocy definicji operatora negacji Y|=~p zachodzi tożsamość logiczna zdań:
A2 = A2”


Irbisol napisał:

Cytat:
Ad.2
Wszyscy widzą, że nie czytałeś mojego postu i bredzisz tzn. nie znasz teorii operatora negacji Y|=~p

Czytałem i nadal nie wiem, dlaczego z jednego zdania wzięło ci się inne.

Żadne inne!
Zdania A2 wynikające z teorii operatora negacji Y|=~p są matematycznie tożsame!

Przykład to przedszkole A2.

Teoria ogólna operatora negacji Y|=~p:
Kod:

ON
Definicja operatora negacji: Y|=~p
Wejście    |Wyjście
           | A2:    B2:
   p # ~p  | Y=~p # ~Y=p
A: 1 #  0  | 0    #  1
B: 0 #  1  | 1    #  0
   1    2    3       4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale tu widać że:

A2:
Zdanie wypowiedziane:
Zajdzie ~p
Kodowanie:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
Czytamy:
A2”.
Zajdzie Y=1 wtedy i tylko wtedy gdy ~p=1

Uważaj Irbisolu!
Na mocy definicji operatora negacji Y|=~p zachodzi tożsamość logiczna zdań:
A2 = A2”


Teraz uważaj irbisolu – skup się!

Weźmy nasze zdanie A2 które idealnie pasuje do operatora negacji Y|=~p.

Przedszkole A2:

Pani przedszkolanka z przedszkola A2 wypowiada zdanie:

A2:
Zdanie wypowiedziane:
Jutro nie pójdziemy do kina
Kodowanie:
Y=~K
Co w logice jedynek oznacza:
Y=1 <=> ~K=1
Czytamy:
A2”.
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Zdanie logicznie tożsame:
A2.
Pani przedszkolanka w przedszkolu A2:
Jutro nie pójdziemy do kina


Na mocy definicji operatora negacji Y|=~p zachodzi tożsamość logiczna zdań:
A2 = A2”
Innymi słowy:
Zdania A2 i A2” są logicznie tożsame.
O czym każdy 5-cio latek wie, z wyjątkiem Irbisola?

Definicja tożsamości logicznej „=”:
Prawdziwość dowolnej strony tożsamości logicznej „=” wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej „=” wymusza fałszywość drugiej strony
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Pią 20:55, 30 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812293

Najważniejsze operatory jednoargumentowe!

Wszystkie operatory jednoargumentowe są w logice matematycznej ważne, ale są ważne i ważniejsze.
Przypomnijmy sobie tabelę operatorów jednoargumentowych z poprzedniego postu

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Algebra Kubusia napisał:


Spis treści
1.4 Definicja funkcji logicznej jednoargumentowej Y=x 1
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x 2
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 2
1.2 Prawa Prosiaczka 3
1.2.1 Dowód praw Prosiaczka na gruncie fizyki 4
1.2.2 Dowód praw Prosiaczka na poziomie 3-latka 5
1.3 Fundamenty algebry Boole'a 6
1.3.1 Definicja funkcji logicznej algebry Boole'a: 7
1.3.2 Najważniejsze operatory jednoargumentowe 9


1.4 Definicja funkcji logicznej jednoargumentowej Y=x

Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej 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=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
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
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

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
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~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:

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
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 TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.

Komentarz 1
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje prawa Prosiaczka, czego dowód znajdziemy w punkcie 1.2.

Komentarz 2.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.3.1.

Weźmy pierwszy komentarz pod tabela prawdy wszystkich możliwych operatorów jednoargumentowych.
Komentarz 1
Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje prawa Prosiaczka, czego dowód znajdziemy w punkcie 1.2.

Zacytujmy zatem punkt 1.2:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043

Algebra Kubusia napisał:


1.2 Prawa Prosiaczka

I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Fałsz (=0) w logice dodatniej (bo p) jest tożsamy z prawdą (=1) w logice ujemnej (bo ~p)
(p=0) = (~p=1)

Gdzie:
## - różne na mocy definicji

Zauważmy, że negując dwustronnie I prawo Prosiaczka dalej będziemy w I prawie Prosiaczka bez możliwości przejścia do II prawa Prosiaczka, stąd znak różne na mocy definicji ##

Dowód:
I prawo Prosiaczka:
(p=1)=(~p=0)
Negujemy dwustronnie:
(~p=0)=(p=1) - dalej jesteśmy w I prawie Prosiaczka, bez możliwości dojścia do II prawa Prosiaczka

##

Identycznie będziemy mieli w II prawie Prosiaczka.
II prawo Prosiaczka:
(p=0)=(~p=1)
Negujemy dwustronnie:
(~p=1)=(p=0) - dalej jesteśmy w II prawie Prosiaczka, bez możliwości dojścia do I prawa Prosiaczka

Gdzie:
## - różne na mocy definicji

Definicja znaczka różne na mocy definicji ##:
Znaczek różne na mocy definicji ## to brak matematycznych powiązań między prawą i lewą stroną znaczka ##

Prawa Prosiaczka wiążą zmienną binarną w logice dodatniej (bo p) ze zmienną binarną w logice ujemnej (bo ~p). Prawa Prosiaczka możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej.

Uwaga:
Prawa Prosiaczka mają swoją precyzyjną definicję zero-jedynkową w tabeli wszystkich możliwych operatorów jednoargumentowych (pkt. 1.4.2)
Linie A3B3 i A4B4 w tej tabeli to bezcenne zero-jedynkowe definicje praw Prosiaczka, czego dowód mamy wyżej.

1.2.1 Dowód praw Prosiaczka na gruncie fizyki

Rozważmy żarówkę istniejącą w naszym pokoju

Przyjmijmy znaczenie symboli:
S - żarówka świeci
~S - żarówka nie świeci
Równie dobrze można by przyjąć odwrotnie, ale nie byłoby to zgodne z językiem potocznym człowieka gdzie wszelkie przeczenia w kodowaniu matematycznym muszą być zapisane jawnie.

Dowód I prawa Prosiaczka na przykładzie:
A.
S - żarówka świeci
Co w logice jedynek oznacza:
S=1 - prawdą jest (=1) że żarówka świeci (S)
Zdanie tożsame na mocy prawa Prosiaczka:
(S=1)=(~S=0)
Czytamy:
~S=0 - fałszem jest (=0) że żarówka nie świeci (~S)
Prawdziwość I prawa Prosiaczka widać tu jak na dłoni:
(S=1) = (~S=0)

##

Dowód II prawa Prosiaczka na przykładzie:
B.
~S - żarówka nie świeci
Co w logice jedynek oznacza:
~S=1 - prawdą jest (=1) że żarówka nie świeci (~S)
Zdanie tożsame na mocy prawa Prosiaczka:
(~S=1)=(S=0)
Czytamy:
S=0 - fałszem jest (=0) że żarówka świeci (S)
Prawdziwość II prawa Prosiaczka widać tu jak na dłoni:
(~S=1) = (S=0)

Gdzie:
## - różne na mocy definicji

Innymi słowy:
Pojęcie "żarówka świeci" (S=1) jest różne na mocy definicji ## od pojęcia "żarówka nie świeci" (~S=1)

1.2.2 Dowód praw Prosiaczka na poziomie 3-latka

Dla zrozumienie praw Prosiaczka nie są potrzebne żadne definicje bo to jest matematyczny poziom 3-latka.

I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
##
II Prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Gdzie:
## - różne na mocy definicji

Prawa Prosiaczka doskonale znają w praktyce wszyscy ludzie na ziemi, od 3-latka poczynając na prof. matematyki kończąc.

Tata i synek Jaś (lat 3) na spacerze w ZOO

Jaś pokazując paluszkiem słonia mówi:
A.
Popatrz tata, to jest słoń!
S=1
Matematycznie:
Prawdą jest (=1) że to jest słoń (S)

Tata:
… a może to nie jest słoń?
Jaś:
B.
Fałszem jest (=0) że to nie jest słoń (~S)
~S=0

Zdania A i B są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.

I prawo Prosiaczka:
A: (S=1) = B: (~S=0)

Jaś pokazuje paluszkiem kozę i mówi:
C.
Popatrz tata, to nie jest słoń
~S=1
Matematycznie:
Prawdą jest (=1), że to nie jest słoń

Tata:
… a może to jednak słoń?
Jaś:
D.
Fałszem jest (=0) że to jest słoń
S=0
Zdania C i D są matematycznie tożsame o czym wie każdy 3-latek, który genialnie posługuje się w praktyce prawami Prosiaczka.

II prawo Prosiaczka
C: (~S=1) = D: (S=0)

Jak widzimy w punkcie 1.2.2, prawa Prosiaczka to poziom co najwyżej 3-latka, tak więc nie przystoi 5-cio latkowi zajmować się takimi banałami czysto matematycznymi.

Weźmy drugi komentarz pod tabelą wszystkich możliwych operatorów logicznych.

Komentarz 2.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.3.1.

Zacytujmy zatem punkt 1.3.1
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Algebra Kubusia napisał:




1.3 Fundamenty algebry Boole'a

Kluczowe znaczki algebry Boole’a to definicje spójników „i”(*) i „lub”(+) z języka potocznego człowieka.
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

1.3.1 Definicja funkcji logicznej algebry Boole'a:

Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)

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.
Przykład:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
f(x)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a
Tu zamiast x możemy wyliczyć wszystkie zmienne binarne tworzące funkcję logiczną w logice dodatniej (to wystarczy), ale nie jest to konieczne.
f(p, q) = p*q + ~p*~q - funkcja logiczna dwóch zmiennych binarnych p i q
Stąd na mocy definicji funkcji logicznej mamy:
Y = f(p, q) = p*q+~p*~q
Zapis tożsamy:
Y = p*q+~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.

Ogólna definicja dziedziny D:
Pojęcie ~x jest uzupełnieniem dla pojęcia x do wspólnej dziedziny D oraz pojęcia x i ~x są rozłączne
x+~x =D =1 - zdanie zawsze prawdziwe (stała binarna)
x*~x =[] =0 - zdanie zawsze fałszywe (stała binarna)

Definicja dziedziny w zbiorach:
Zbiór ~p jest uzupełnieniem zbioru p do wspólnej dziedziny D oraz zbiory p i ~p są rozłączne.
Czyli:
Y = p+~p =D =1 - zdanie zawsze prawdziwe (stała binarna)
Y = p*~p =[] =0 - zdanie zawsze fałszywe (stała binarna)
W algebrze Kubusia zdanie zawsze prawdziwe (Y=1) oraz zdanie zawsze fałszywe (Y=0) to bezużyteczne śmieci zarówno w matematyce, jak i w języku potocznym

Dowód na przykładzie.
Rozważmy dwa zbiory:
TP - zbiór trójkątów prostokątnych (TP)
~TP - zbiór trójkątów nieprostokątnych (~TP)
Wspólna dziedzina:
ZWT - zbiór wszystkich trójkątów

Definicja dziedziny w zbiorach:
Zbiór ~TP jest uzupełnieniem zbioru TP do wspólnej dziedziny ZWT oraz zbiory TP i ~TP są rozłączne w dziedzinie ZWT.

Czyli:
Twierdzenie T1:
Dowolny trójkąt jest prostokątny (TP) lub nie jest prostokątny (~TP)
Y = TP+~TP = ZWT =1 - zdanie zawsze prawdziwe (stała binarna)

Twierdzenie T2:
Dowolny trójkąt jest prostokątny (TP) i nie jest prostokątny (~TP)
Y = TP*~TP =[] =0 - zdanie zawsze fałszywe (stała binarna)

Wartość matematyczna twierdzeń T1 i T2 jest zerowa (śmieci).

Analogia do programowania:
Nie da się napisać najprostszego nawet programu dysponując wyłącznie stałymi binarnymi, o z góry wiadomej wartości logicznej.

Definicja bramki logicznej:
Bramka logiczna to układ cyfrowy o n wejściach binarnych {p,q,r..} i tylko jednym wyjściu binarnym Y

Matematycznie zachodzi tożsamość:
funkcja logiczna Y = wyjście bramki logicznej Y

Zwyczajowe zmienne binarne w technice to:
p, q, r … - wejścia bramki logicznej
Y - wyjście bramki logicznej

Przykład:
Y = f(p,q) = p*q+~p*~q
Zapis tożsamy:
Y = p*q+~p*~q

Najważniejszy fragment z tego cytatu to:

Twierdzenie T1:
Dowolny trójkąt jest prostokątny (TP) lub nie jest prostokątny (~TP)
Y = TP+~TP = ZWT =1 - zdanie zawsze prawdziwe (stała binarna)

Twierdzenie T2:
Dowolny trójkąt jest prostokątny (TP) i nie jest prostokątny (~TP)
Y = TP*~TP =[] =0 - zdanie zawsze fałszywe (stała binarna)

Wartość matematyczna twierdzeń T1 i T2 jest zerowa (śmieci).

Analogia do programowania:
Nie da się napisać najprostszego nawet programu dysponując wyłącznie stałymi binarnymi, o z góry wiadomej wartości logicznej.


Jak widzimy w tym znaczeniu użyteczna wartość linii A3B3 i A4B4 w tabeli wszystkich możliwych operatorów jednoargumentowych jest równa zeru.

1.3.2 Najważniejsze operatory jednoargumentowe

Wniosek z punktów 1.2 i 1.3:
Najważniejszymi operatorami jednoargumentowymi w tabeli wszystkich możliwych operatorów jednoargumentowych są operatory transmisji Y|=p oraz negacji Y|=~p

Zapiszmy w tabeli te operatory:
Kod:

TNJ
Tabela najważniejszych operatorów jednoargumentowych
Operator transmisji Y|=p
A1:  Y= p         #  B1: ~Y=~p
    ##                   ##
Operator negacji Y=|~p
A2:  Y=~p         #  B2: ~Y= p
    ##                   ##
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


O co w istocie chodzi w tabeli najważniejszych operatorów jednoargumentowych?
To temat na oddzielny post.
c.d.n
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Sob 7:04, 31 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8500.html#812303

Operator transmisji Y|=p – teoria i praktyka!

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
"]
Rafal3006 napisał:
Dokładnie dlatego MUSISZ znać zdanie które kodujesz.

Ale skąd mam znać? To jest matematyka, czy wróżbiarstwo?

Matematyką jest tu teoria bramek logicznych izolowana od jakichkolwiek przykładów z naszego Wszechświata.

Ale gdzieś powinno być powiązanie pomiędzy treścią a ogólnymi wzorami.
U ciebie tego nie ma. Piszesz o jakimś K albo o ~K, ale nie określasz, co to w ogóle jest.

Irbisolu, w logice matematycznej musisz rozdzielić teorię matematyczną od nieskończonej ilości przykładów potwierdzających tą teorię.

Dzięki tobie dopisałem w algebrze Kubusia ważny dla czytelników AK punkt 1.4.3
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Algebra Kubusia napisał:

Spis treści
1.4.1 Definicja operatora logicznego jednoargumentowego Y|=x 1
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 1
1.4.3 Zasady kodowania zdań twierdzących 2

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
Zajdzie Y wtedy i tylko wtedy gdy zajdzie x
#
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
B1.
~Y = ~x
Zajdzie ~Y wtedy i tylko wtedy gdy zajdzie ~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:

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
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 TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.

Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje prawa Prosiaczka, czego dowód znajdziemy w punkcie 1.2.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, w logice matematycznej totalnie bezużyteczne czego dowód mieliśmy w punkcie 1.3.1.

1.4.3 Zasady kodowania zdań twierdzących

Definicja funkcji logicznej w logice dodatniej (bo Y):
Funkcja logiczna zapisana jest w logice dodatniej (bo Y) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej zapisana jest w logice ujemnej (bo ~Y)
Przykłady: tabela TJ

Definicja logiki jedynek w języku potocznym:
Z logiką jedynek w języku potocznym mamy do czynienia wtedy i tylko wtedy gdy wszelkie zmienne występujące w zdaniu sprowadzone są do wartości logicznej 1.
Jedynki są w logice matematycznej domyślne i możemy je pominąć.
Innymi słowy:
Wszelkie przeczenia w kodowaniu matematycznym muszą być zapisane jawnie

Sprowadzenie wszystkich zmiennych do wartości logicznej 1 umożliwiają prawa Prosiaczka które możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej (1.1)
(p=1)=(~p=0)
(p=0) = (~p=1)

Przykłady:
1.
Jutro nie pójdziemy do kina
Y=~K
Co w logice dodatniej oznacza:
Y=1 <=> ~K=1 – to jest logika jedynek bo ~K=1
Prawo Prosiaczka:
(~K=1) = (K=0)
Stąd zapis tożsamy:
Y=1 <=> K=0 – to nie jest logika jedynek bo K=0

2.
Jutro pójdziemy do kina
Y=K
Co w logice dodatniej oznacza:
Y=1 <=> K=1 – to jest logika jedynek bo K=1
Prawo Prosiaczka:
(K=1)=(~K=0)
Stąd zapis tożsamy:
Y=1 <=> ~K=0 – to nie jest logika jedynek bo ~K=0

Prawo Żyrafy:
Kodowanie zdań twierdzących w języku potocznym:

Wszelkie zdania twierdzące w języku potocznym kodujemy matematycznie wyłącznie w postaci funkcji logicznych.
Y=f(x)
Gdzie:
f(x) – dowolne wyrażenie algebry Boole’a np.
f(x) = p*q + ~p*~q
Niedozwolone jest kodowanie zdań twierdzących w postaci samego wyrażenia f(x) bowiem prowadzi to do wewnętrznej sprzeczności logiki matematycznej w postaci prawa Grzechotnika (pkt. 1.5.4)


Irbisol napisał:
Rafal3006 napisał:

A2”.
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Zdanie logicznie tożsame:
A2.
Pani przedszkolanka w przedszkolu A2:
Jutro nie pójdziemy do kina

Na mocy definicji operatora negacji Y|=~p zachodzi tożsamość logiczna zdań:
A2 = A2”
Innymi słowy:
Zdania A2 i A2” są logicznie tożsame.

Czyli, podsumowując i wygrzebując ze spamu: wg ciebie zdanie
Jutro nie pójdziemy do kina
i zdanie
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
są logicznie tożsame?

Spamem to jest twój bóg, zwany Klasycznym Rachunkiem Zdań

Zacytujmy dwa najważniejsze operatory jednoargumentowe operujące na zmiennych binarnych.
Kod:

TNJ
Tabela najważniejszych operatorów jednoargumentowych
Operator transmisji Y|=p
A1:  Y= p         #  B1: ~Y=~p
    ##                   ##
Operator negacji Y=|~p
A2:  Y=~p         #  B2: ~Y= p
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

W języku potocznym jest to odpowiednik obietnic bezwarunkowych człowieka.
Przykłady takich obietnic to nasze przykłady z dwóch różnych przedszkoli A1 i A2.

Póki co zajmiemy się szczegółowym omówieniem operatora transmisji Y|=p.
Udajmy się do naszego przedszkola A1

Przedszkole A1:
Przykład dla linii A1B1 w tabeli TNJ mamy w przedszkolu A1
Teoria ogólna:
A1: Y=p
Przykład z przedszkola A1.
A1: Y=K - niżej omówiony
Związek teorii ogólnej z przykładem to znaczenie zmiennych p i Y z teorii ogólnej:
p = K (kino)
Y - pani dotrzyma słowa (Y)

Pani w przedszkolu A1 wypowiada obietnicę bezwarunkową:
A1.
Jutro pójdziemy do kina
Y=K
To samo w logice ogólnej:
Y=p
Co w logice jedynek oznacza:
Y=1 <=> K=1
Czytamy:
A1”
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Y=K
Co w logice jedynek oznacza:
Y=1 <=> K=1

Jedynki w logice matematycznej są domyślne, dlatego możemy je pominąć nic nie tracąc na jednoznaczności.
Stąd mamy kolejna zdanie tożsame do A1
A1””
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
Y=K
Co w logice jedynek oznacza:
Y=1 <=> K=1

Matematycznie zachodzi tożsamość logiczna zdań:
A1 = A1” = A1””
Dowodem tożsamości tych zdań jest identyczne, matematyczne kodowanie tych zdań

Definicja tożsamości logicznej „=”:
Prawdziwość dowolnego składnika tożsamości logicznej „=” wymusza prawdziwość pozostałych składników
Fałszywość dowolnego składnika tożsamości logicznej „=” wymusza fałszywość pozostałych składników

Oznacza to, że dysponując dowolnym ze zdań A1, A1”, A1”” z dziecinną łatwością wygenerujemy dwa pozostałe zdania
c.n.d.

Zuzia do Jasia (oboje po 5 wiosenek):
Czy wiesz kiedy pani skłamie?

Jaś:
Oczywiście że wiem.
Zachodzi tożsamość matematyczna pojęć:
Pani skłamie (S) = Pani nie dotrzyma słowa (~Y)

Zauważ, Zuziu, że ze zdania A1 wiemy kiedy pani dotrzyma słowa (Y).
Dlatego twoje pytanie zastępujemy pytaniem tożsamym, by używać tego samego pojęcia.

Kiedy pani nie dotrzyma słowa (~Y)?

Negujemy równanie A1 stronami, stąd mamy:
B1: ~Y=~K
To samo w zapisie formalnym:
B1: ~Y=~p
Co w logice jedynek oznacza:
B1: ~Y=1 <=> ~K=1
Czytamy:
B1.
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
~Y=~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Jedynki są w logice matematycznej, stąd zdanie logicznie tożsame:
B1”
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
~Y=~K
Co w logice jedynek oznacza:
~Y=1 <=> ~K=1

Oczywistym jest, że zachodzi tożsamość logiczna zdań:
B1 = B1”
Dowód to identyczne kodowanie tych zdań.

Pytanie do Irbisola:
Czy niniejszy post jest dla ciebie jasny?
Jeśli czegokolwiek nie rozumiesz to pytaj


Ostatnio zmieniony przez rafal3006 dnia Sob 11:36, 31 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Sob 11:30, 31 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812323

Operator negacji Y|=~p – teoria i praktyka!

Irbisol napisał:
Odpowiedz na pytanie o tożsamość zdań. Ale tych, które ja podałem.

Bardzo proszę, odpowiadam – interesujące cię zdania wyróżniłem na niebiesko.
Zdania Irbisola:
Irbisol napisał:
Rafal3006 napisał:

A2”.
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Zdanie logicznie tożsame:
A2.
Pani przedszkolanka w przedszkolu A2:
Jutro nie pójdziemy do kina

Na mocy definicji operatora negacji Y|=~p zachodzi tożsamość logiczna zdań:
A2 = A2”
Innymi słowy:
Zdania A2 i A2” są logicznie tożsame.

Czyli, podsumowując i wygrzebując ze spamu: wg ciebie zdanie
Jutro nie pójdziemy do kina
i zdanie
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
są logicznie tożsame?


Te zdania są logicznie tożsame, dowód masz niżej.

Zacytujmy dwa najważniejsze operatory jednoargumentowe operujące na zmiennych binarnych.
Kod:

TNJ
Tabela najważniejszych operatorów jednoargumentowych
Operator transmisji Y|=p
A1:  Y= p         #  B1: ~Y=~p
    ##                   ##
Operator negacji Y=|~p
A2:  Y=~p         #  B2: ~Y= p
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

W języku potocznym jest to odpowiednik obietnic bezwarunkowych człowieka.
Przykłady takich obietnic to nasze przykłady z dwóch różnych przedszkoli A1 i A2.

Zajmijmy się teraz drugim i ostatnim kluczowym operatorem jednoargumentowym, operatorem negacji Y|=~P (linia A2B2)

Udajmy się do naszego przedszkola A2

Przedszkole A2:
Przykład dla linii A2B2 w tabeli TNJ mamy w przedszkolu A2
Teoria ogólna:
A2: Y=~p
Przykład z przedszkola A2.
A2: Y=~K - niżej omówiony
Związek teorii ogólnej z przykładem to znaczenie zmiennych p i Y z teorii ogólnej:
p = K (kino)
~p=~K (nie kino)
Y - pani dotrzyma słowa (Y)

Pani w przedszkolu A2 wypowiada obietnicę bezwarunkową:
A2.
Jutro nie pójdziemy do kina
Y=~K
To samo w logice ogólnej:
Y=~p
Co w logice jedynek oznacza:
Y=1 <=> ~K=1
Czytamy:
A2”
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=~K
Co w logice jedynek oznacza:
Y=1 <=> ~K=1


Jedynki w logice matematycznej są domyślne, dlatego możemy je pominąć nic nie tracąc na jednoznaczności.
Stąd mamy kolejne zdanie tożsame do A2
A2””
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
Y=~K
Co w logice jedynek oznacza:
Y=1 <=> ~K=1

Matematycznie zachodzi tożsamość logiczna zdań:
A2 = A2” = A2””
Dowodem tożsamości tych zdań jest identyczne, matematyczne kodowanie tych zdań

Definicja tożsamości logicznej „=”:
Prawdziwość dowolnego składnika tożsamości logicznej „=” wymusza prawdziwość pozostałych składników
Fałszywość dowolnego składnika tożsamości logicznej „=” wymusza fałszywość pozostałych składników

Oznacza to, że dysponując dowolnym ze zdań A2, A2”, A2”” z dziecinną łatwością wygenerujemy dwa pozostałe zdania
c.n.d.

Zuzia do Jasia (oboje po 5 wiosenek):
Czy wiesz kiedy pani skłamie?

Jaś:
Oczywiście że wiem.
Zachodzi tożsamość matematyczna pojęć:
Pani skłamie (S) = Pani nie dotrzyma słowa (~Y)

Zauważ, Zuziu, że ze zdania A2 wiemy kiedy pani dotrzyma słowa (Y).
Dlatego twoje pytanie zastępujemy pytaniem tożsamym, by używać tego samego pojęcia.

Kiedy pani nie dotrzyma słowa (~Y)?

Negujemy równanie A2 stronami, stąd mamy:
B2: ~Y=K
To samo w zapisie formalnym:
B2: ~Y=p
Co w logice jedynek oznacza:
B1: ~Y=1 <=> K=1
Czytamy:
B2.
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
~Y=K
Co w logice jedynek oznacza:
~Y=1 <=> K=1
Jedynki są w logice matematycznej, stąd zdanie logicznie tożsame:
B2”
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
~Y=K
Co w logice jedynek oznacza:
~Y=1 <=> K=1

Oczywistym jest, że zachodzi tożsamość logiczna zdań:
B2 = B2”
Dowód to identyczne kodowanie tych zdań.

Pytanie do Irbisola:
Czy niniejszy post jest dla ciebie jasny?
Jeśli czegokolwiek nie rozumiesz to pytaj


Ostatnio zmieniony przez rafal3006 dnia Sob 11:32, 31 Sie 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Sob 12:12, 31 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812331

Obietnica mamy której 2-latek nie musi rozumieć bo dopiero poznaje język ojczysty!

Irbisol napisał:
Czyli pani może równie dobrze stwierdzić:
"Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)"
?

Dwulatkowi to oczywiście trzeba wyjaśnić co oznacza obietnica A2.

Mama do 2-letniego synka:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1

Mały Jaś (2 latka):
Mamo co znaczy twoja obietnica A2?
Czytamy:
Y=1 <=> ~K=1
Mama:
Synku, moja obietnica A2 oznacza, że dotrzymam słowa (nie skłamię) (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Irbisolu:
Ma prawo mama wyjaśnić co znaczy jej obietnica 2-latkowi który dopiero raczkuje w poznawaniu języka ojczystego, czy też nie ma takiego prawa?

Proszę o odpowiedź:
TAK/NIE

P.S.
Oczywiście 5-cio latek, ekspert algebry Kubusia doskonale wie co oznacza obietnica A2 mamy i jemu nic a nic nie musimy wyjaśniać!

Standardowe pytanie:
Irbisolu,
Czy ten post jest dla ciebie zrozumiały?


Ostatnio zmieniony przez rafal3006 dnia Sob 12:13, 31 Sie 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Sob 13:42, 31 Sie 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812341

Kwadratura koła dla Irbisola!

Irbisol napisał:
Zadałem ci pytanie. Więc odpowiedz na to pytanie.

Odpowiedziałem.
Mózg człowieka jest mistrzem w minimalizacji komunikacyjnej, dokładnie dlatego praktycznie zawsze wypowie zdanie A2, co nie oznacza że nie zachodzi tożsamość zdań:
A2=A2"

Pani w przedszkolu A2.
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1
Czytamy:
A2".
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1

Dowodem tożsamości A2=A2" jest tu IDENTYCZNE kodowanie matematyczne zdań A2 i A2"

Tłumaczyłem ci wyżej że tożsamość zdań A2=A2" pani musiałaby wytłumaczyć dziecku ze żłobka czyli 1-2 latek, które nie zna jeszcze elementarza języka ojczystego.
Starszym dzieciom już nie musi tego tłumaczyć i dlatego zawsze wypowie zdanie A2.

Kwadratura koła dla Irbisola:
Wytłumacz dowolnemu humaniście np. prof. Bralczykowi, że zdanie A2 nie oznacza dokładnie tego co zapisano w zdaniu A2".

Prędzej kaktus ci na dłoni wyrośnie Irbisolu, niż przekonasz prof. Bralczyka do jakiegokolwiek innego znaczenia zdania A2 niż to zapisano w A2".

Czas START!


Ostatnio zmieniony przez rafal3006 dnia Sob 13:50, 31 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Nie 9:41, 01 Wrz 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812369

Fanatycy KRZ to pacjenci szpitala psychiatrycznego z napisem KRZ
Dotyczy to absolutnie wszystkich fanatyków KRZ!

Irbisol napisał:
Może zatem powiedzieć o tym, kiedy dotrzyma słowa zamiast obiecywać czy nie może?


Elementarz logiki matematycznej:
Pani w przedszkolu A2.
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1
Czytamy:
A2".
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1

Dowodem tożsamości A2=A2" jest tu IDENTYCZNE kodowanie matematyczne zdań A2 i A2"

Irbisolu,
Oczywiście że pani może powiedzieć zdanie A2":
A2"
Drogie dzieci, dotrzymam słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=1 <=> ~K=1

To zdanie znaczy dokładnie to samo co zdanie A2:
A2.
Jutro nie pójdziemy do kina
Y=~K

Zauważ, że wypowiedzenie A2" zamiast prostego A2 skierowane jest do pacjentów szpitala psychiatrycznego z napisem KRZ.

Twardy dowód tego faktu to autentyczna moja dyskusja z fanatykiem KRZ, potwornie zarozumiałym Windziarzem (absolwentem matematyki Uniwersytetu Toruńskiego) na ateiście.pl

Rafał3006 do Windziarza:

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina

Czy wiadomo kiedy pani jutro skłamie?

Odpowiedź Windziarza:
Nie wiadomo, bo pani tego nie powiedziała.

Kluczowe pytanie Irbisola:
Czy zgadzasz się z odpowiedzią matematyka od siedmiu boleści, Windziarza?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Nie 9:45, 01 Wrz 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 34685
Przeczytał: 26 tematów

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

PostWysłany: Nie 9:57, 01 Wrz 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812375

Irbisol napisał:
Może czy nie może?

Oczywiście że może:
Matematycznie zachodzi tożsamość logiczna zdań:
A2=A2"
W obu przypadkach nie wiemy czy pani jutro dotrzyma słowa (Y) Y=~K, bo pani ma "wolną wolę" i jutro może zrobić co jej się podoba, czyli jutro może zostać kłamczuchą (~Y) jeśli pójdzie z dziećmi do kina ~Y=K.

Masz zaległe, bardzo ważne pytanie z postu wyżej - wyróżniłem na niebiesko.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812369
rafal3006 napisał:
Fanatycy KRZ to pacjenci szpitala psychiatrycznego z napisem KRZ
Dotyczy to absolutnie wszystkich fanatyków KRZ!

Irbisol napisał:
Może zatem powiedzieć o tym, kiedy dotrzyma słowa zamiast obiecywać czy nie może?


Elementarz logiki matematycznej:
Pani w przedszkolu A2.
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1
Czytamy:
A2".
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=~K
co w logice jedynek oznacza:
Y=1 <=> ~K=1

Dowodem tożsamości A2=A2" jest tu IDENTYCZNE kodowanie matematyczne zdań A2 i A2"

Irbisolu,
Oczywiście że pani może powiedzieć zdanie A2":
A2"
Drogie dzieci, dotrzymam słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Y=1 <=> ~K=1

To zdanie znaczy dokładnie to samo co zdanie A2:
A2.
Jutro nie pójdziemy do kina
Y=~K

Zauważ, że wypowiedzenie A2" zamiast prostego A2 skierowane jest do pacjentów szpitala psychiatrycznego z napisem KRZ.

Twardy dowód tego faktu to autentyczna moja dyskusja z fanatykiem KRZ, potwornie zarozumiałym Windziarzem (absolwentem matematyki Uniwersytetu Toruńskiego) na ateiście.pl

Rafał3006 do Windziarza:

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina

Czy wiadomo kiedy pani jutro skłamie?

Odpowiedź Windziarza:
Nie wiadomo, bo pani tego nie powiedziała.

Kluczowe pytanie Irbisola:
Czy zgadzasz się z odpowiedzią matematyka od siedmiu boleści, Windziarza?
TAK/NIE



Ostatnio zmieniony przez rafal3006 dnia Nie 9:58, 01 Wrz 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 105, 106, 107, 108, 109, 110  Następny
Strona 106 z 110

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin