Algebra Kubusia - rewolucja w logice matematycznej

Ś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.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni 1, 2, 3 ... 340, 341, 342 ... 370, 371, 372 Następny

Forum ŚFiNiA Strona Główna -> Filozofia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Czw 9:30, 29 Sie 2024 Temat postu:

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 10:01, 29 Sie 2024 Temat postu:

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!

Ostatnio zmieniony przez rafal3006 dnia Czw 10:11, 29 Sie 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: 15388
Przeczytał: 29 tematów

Wysłany: Czw 11:47, 29 Sie 2024 Temat postu:

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ś.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 12:31, 29 Sie 2024 Temat postu:

.. Ostatnio zmieniony przez rafal3006 dnia Czw 12:31, 29 Sie 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: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 12:31, 29 Sie 2024 Temat postu:

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ś.

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.

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ł:

Ostatnio zmieniony przez rafal3006 dnia Czw 12:35, 29 Sie 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: 15388
Przeczytał: 29 tematów

Wysłany: Czw 13:38, 29 Sie 2024 Temat postu:

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 14:16, 29 Sie 2024 Temat postu:

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!)

Ostatnio zmieniony przez rafal3006 dnia Czw 14:20, 29 Sie 2024, w całości zmieniany 3 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Czw 14:57, 29 Sie 2024 Temat postu:

Podaj kodowane zdanie. Następnie podaj wynik matematycznego zakodowania tego zdania. Ostatnio zmieniony przez Irbisol dnia Czw 16:01, 29 Sie 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 16:10, 29 Sie 2024 Temat postu:

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?

Ostatnio zmieniony przez rafal3006 dnia Czw 16:14, 29 Sie 2024, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Czw 17:04, 29 Sie 2024 Temat postu:

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 17:15, 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:32, 29 Sie 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: 15388
Przeczytał: 29 tematów

Wysłany: Czw 17:31, 29 Sie 2024 Temat postu:

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.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 17:41, 29 Sie 2024 Temat postu:

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.

... 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:54, 29 Sie 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: 15388
Przeczytał: 29 tematów

Wysłany: Czw 17:51, 29 Sie 2024 Temat postu:

A da się z tego kodowania jakoś uzyskać treść zdania?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 18:02, 29 Sie 2024 Temat postu:

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:07, 29 Sie 2024, w całości zmieniany 3 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Czw 18:34, 29 Sie 2024 Temat postu:

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.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 20:39, 29 Sie 2024 Temat postu:

Na czym polega tragedia Irbisola?
Odpowiedź na końcu postu.

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!

Z automatu to masz wnioskowanie w czystej matematyce bez żadnych konkretnych przykładów!
Oto ta banalnie prosta logika bramek logicznych, o której jak widzę nie masz najmniejszego pojęcia i co gorsza - nie chcesz bym ci to wytłumaczył!

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

Algebra Kubusia – definicja operatora negacji Y|=~p napisał:

1.5.2 Definicja funkcji negacji Y=~p i operatora 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 operatora negacji Y|=~p:
Operator negacji Y|=~p to układ równań logicznych Y=~p i ~Y=p dający odpowiedź na pytanie o Y i ~Y

Zobaczmy to w tabeli zero-jedynkowej:

Kod:

Doskonale tu widać że:

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

#

… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1
Czytamy:
Zajdzie ~Y=1 wtedy i tylko wtedy gdy p=1

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:
Jutro nie pójdziemy do kina
Y=~K
Co w logice jedynek 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)

#

… a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy dwustronnie A2.
B2:
~Y=K
Co w logice jedynek oznacza:
~Y=1 <=> K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Gdzie:
Definicja znaczka różne #:
Dowolna strona znaczka # jest negacją drugiej strony

Nasz przykład:
A2: Y=~K # B2: ~Y=K

Definicja znaczka # jest tu spełniona, co każdy, nawet fanatyk KRZ widzi.

Doskonale tu widzimy przełożenia 1:1 algebry bramek logicznych (ogólna definicja operatora negacji Y|=~p) na język potoczny każdego 5-cio latka i humanisty (pani przedszkolanka z przedszkola A2: Y|=~K)

Wystarczy porównać:
1.
Obszar niebieski (matematyka ogólna) z obszarem niebieskim (pani przedszkolanka z przedszkola A2)
Oraz
2.
Obszar czerwony (matematyka ogólna) z obszarem czerwonym (pani przedszkolanka z przedszkola A2)

Na czym polega tragedia Irbisola?
Tragedią Irbisola nie jest fakt, że nie rozumie algebry bramek logicznych co jest zrozumiałe bo nie jest elektronikiem, lecz fakt że nie chce bym mu wytłumaczył najprostszą możliwą teorię bramek logicznych, czyli teorię operatorów jednoargumentowych, gdzie użytecznych w logice każdego 5-cio latka i humanisty są zaledwie dwa operatory.

1.
Omówiony w niniejszym poście operator negacji:
Y|=~p
2.
oraz operator transmisji:
Y|=p

Pytanie retoryczne:
Czy rozumiesz Irbisolu niniejszy post w którym wyłożona jest banalna teoria operatora negacji Y|=~p

Dlaczego to jest pytanie retoryczne?
Bo odpowiedź Irbisola jest tu z góry znana.
Oto ona:
„Niezamówionego gówna nie czytam”
… i jak tu dyskutować z Irbisolem?

Ostatnio zmieniony przez rafal3006 dnia Czw 20:53, 29 Sie 2024, w całości zmieniany 4 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Czw 20:53, 29 Sie 2024 Temat postu:

rafal3006 napisał:

Irbisol napisał:

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

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 21:03, 29 Sie 2024 Temat postu:

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

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 poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Czw 21:07, 29 Sie 2024 Temat postu:

rafal3006 napisał:

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

A dlaczego nie samochód?

Cytat:

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

Ale skąd mam znać? To jest matematyka, czy wróżbiarstwo?
Jak uczeń dostaje zadanie z treścią, to po "zakodowaniu" i obliczeniu wyniku wie, jak go opisać treścią.

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.

Ostatnio zmieniony przez Irbisol dnia Czw 21:08, 29 Sie 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: 35367
Przeczytał: 21 tematów

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

Wysłany: Czw 21:29, 29 Sie 2024 Temat postu:

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:

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:

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

Ostatnio zmieniony przez rafal3006 dnia Czw 21:41, 29 Sie 2024, w całości zmieniany 4 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

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

Wysłany: Pią 7:03, 30 Sie 2024 Temat postu:

rafal3006 napisał:

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.

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.

Cytat:

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?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Pią 15:31, 30 Sie 2024 Temat postu:

Zasady kodowania zdań twierdzących!

Prawo Borsuka:
Niebotycznie łatwiej jest wytłumaczyć algebrę Kubusia uczniowi I klasy LO który nie we co to jest logika matematyczna, niż przestawić na tory algebry Kubusia fanatyka KRZ (Irbisola) święcie przekonanego iż KRZ doskonale opisuje język potoczny człowieka.

Dzięki Irbisolowi widzę co go hamuje w zrozumieniu algebry Kubusia – przede wszystkim totalnie nie zna symbolicznej algebry Boole’a gdzie w rachunku zero-jedynkowym operujemy na nagłówkach kolumn zero-jedynkowych nie wnikając w znaczenie co te zera i jedynki w środku dowolnej kolumny znaczą.

Najnowsza cegiełka wniesiona przez Irbisola do algebry Kubusia to dopisanie w niej punku 1.4.3

Algebra Kubusia napisał:

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

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.

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 jeden
Umożliwiają to prawa Prosiaczka które możemy stosować wybiórczo w stosunku do dowolnej zmiennej binarnej lub stałej binarnej.
(p=1)=(~p=0)
(p=0) = (~p=1)

Uwaga:
Jedynki są w logice matematycznej domyślne i możemy je pominąć, co widać w poniższych przykładach

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)

Ostatnio zmieniony przez rafal3006 dnia Pią 18:04, 30 Sie 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Pią 20:50, 30 Sie 2024 Temat postu:

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:

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

Ostatnio zmieniony przez rafal3006 dnia Pią 22:40, 30 Sie 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 35367
Przeczytał: 21 tematów

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

Wysłany: Sob 5:43, 31 Sie 2024 Temat postu:

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:

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ł:

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

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

Kod:

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:35, 31 Sie 2024, w całości zmieniany 7 razy

Powrót do góry

Wyświetl posty z ostatnich:

	Forum ŚFiNiA Strona Główna -> Filozofia	Wszystkie czasy w strefie CET (Europa) Idź do strony Poprzedni 1, 2, 3 ... 340, 341, 342 ... 370, 371, 372 Następny
Strona 341 z 372

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

Regulamin