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 ... 341, 342, 343 ... 348, 349, 350 Następny

Forum ŚFiNiA Strona Główna -> Filozofia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Sob 10:47, 31 Sie 2024 Temat postu:

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

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Sob 11:26, 31 Sie 2024 Temat postu:

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:31, 31 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: 15056
Przeczytał: 31 tematów

Wysłany: Sob 11:41, 31 Sie 2024 Temat postu:

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)" ?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Sob 12:01, 31 Sie 2024 Temat postu:

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:14, 31 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: 15056
Przeczytał: 31 tematów

Wysłany: Sob 13:06, 31 Sie 2024 Temat postu:

Zadałem ci pytanie. Więc odpowiedz na to 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: 34701
Przeczytał: 26 tematów

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

Wysłany: Sob 13:34, 31 Sie 2024 Temat postu:

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:51, 31 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: 15056
Przeczytał: 31 tematów

Wysłany: Nie 8:42, 01 Wrz 2024 Temat postu:

Może zatem powiedzieć o tym, kiedy dotrzyma słowa zamiast obiecywać czy nie moż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: 34701
Przeczytał: 26 tematów

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

Wysłany: Nie 9:37, 01 Wrz 2024 Temat postu:

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:46, 01 Wrz 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: 15056
Przeczytał: 31 tematów

Wysłany: Nie 9:40, 01 Wrz 2024 Temat postu:

Może czy nie moż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: 34701
Przeczytał: 26 tematów

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

Wysłany: Nie 9:52, 01 Wrz 2024 Temat postu:

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?

Ostatnio zmieniony przez rafal3006 dnia Nie 9:59, 01 Wrz 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Nie 9:55, 01 Wrz 2024 Temat postu:

Pytanie nie jest zaległe, bo jeszcze nie skończyliśmy bieżącego tematu. Pomijając fakt, że nie odróżniasz stwierdzenia relacji pomiędzy dotrzymaniem słowa a wydarzeniem pójścia do kina od obietnicy pójścia do kina (w której nie ma nic o ww. relacji) to nie wskazałeś różnicy pomiędzy Y=~K a samym ~K

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Nie 10:22, 01 Wrz 2024 Temat postu:

Irbisol napisał:

Pytanie nie jest zaległe, bo jeszcze nie skończyliśmy bieżącego tematu.
Pomijając fakt, że nie odróżniasz
stwierdzenia relacji pomiędzy dotrzymaniem słowa a wydarzeniem pójścia do kina
od
obietnicy pójścia do kina (w której nie ma nic o ww. relacji)

Bredzisz, nie ma absolutnie żadnej różnicy między zdaniami A2 i A2” – oba te zdania są precyzyjne i dotyczą przyszłości, znaczą dokładnie to samo!
Zadaniem logiki matematycznej jest tu rozstrzygnięcie kiedy jutro pani dotrzyma słowa (Y=1) a kiedy skłamie (~Y=1)
Tylko tyle i aż tyle leży po stronie logiki matematycznej – ani grama więcej!

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

Algebra Kubusia napisał:

1.3.3 Ogólna definicja logiki matematycznej

Ogólna definicja logiki matematycznej:
Logika matematyczna to matematyczny opis nieznanego tzn. nieznanej przyszłości albo nieznanej przeszłości.
Nie wszystko w czasie przeszłym jest nam wiadome - logika matematyczna służy tu do ustalenia co się w przeszłości zdarzyło

Przykład: Poszukiwanie mordercy
Po długich poszukiwaniach mordercy, Kowalskiemu udowodniono zabójstwo x-a, i się do tego przyznał.
Po co komu potrzebna jest tu dalsza logika matematyczna prowadząca do wykrycia znanego już wszystkim zabójcy x-a?

Stąd mamy:
Prawo Nietoperza:
Jeśli znamy zaistniałe w przeszłości fakty to żadna logika matematyczna ich nie zmieni.
Przykład:
Hitler - wiemy kim był i co zrobił, to jest fakt, którego żadna logika matematyczna nie zmieni

Kluczowe pytanie do Irbisola:
Zgadzasz się na powyższą definicję logiki matematycznej rodem z algebry Kubusia?
TAK/NIE

Czekam kiedy zaczniesz myśleć na poziomie 5-cio latka, rozumiejąc co się do ciebie pisze:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812369

rafal3006 napisał:

Czy rozumiesz co znaczy dokładnie to samo?

Ostatnio zmieniony przez rafal3006 dnia Nie 10:48, 01 Wrz 2024, w całości zmieniany 4 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Nie 11:27, 01 Wrz 2024 Temat postu:

rafal3006 napisał:

Irbisol napisał:

Bredzisz, nie ma absolutnie żadnej różnicy między zdaniami A2 i A2”

W takim razie można jedno zdanie zastąpić drugim, co sam nazwałeś psychiatrykiem.
No i obietnica jest wg ciebie stwierdzeniem relacji pomiędzy dotrzymaniem obietnicy a obiecywanym wydarzeniem.

nie wskazałeś różnicy pomiędzy
Y=~K
a samym
~K

Ostatnio zmieniony przez Irbisol dnia Nie 11:27, 01 Wrz 2024, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Nie 13:42, 01 Wrz 2024 Temat postu:

Zadanie maturalne które wkrótce będzie standardem na całym świecie!

Teoria potrzebna dla zrozumienia niniejszego 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 1
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 2

1.4 Definicja funkcji logicznej jednoargumentowej Y=x

Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.

Zainteresowanym 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

Irbisol napisał:

nie wskazałeś różnicy pomiędzy
Y=~K
a samym
~K

Zadanie maturalne które wkrótce będzie standardem na całym świecie!

Zadanie A2:
Dane jest kodowanie matematyczne pewnego zdania wypowiedzianego przez panią przedszkolankę w przedszkolu A2 dotyczącego pójścia do kina (K) lub nie pójścia do kina (~K) w dniu jutrzejszym.

Y=~K
Znaczenie zmiennych binarnych:
Y – pani dotrzyma słowa (Y=1)
~Y – pani nie dotrzyma słowa (~Y=1)
K – pójdziemy do kina (K=1)
~K – nie pójdziemy do kina (~K=1)

Polecenie:
Zapisz precyzyjnie obietnicę złożoną przez panią przedszkolankę z przedszkola A2.
Określ kiedy pani dotrzyma słowa, a kiedy skłamie?

I.
Rozwiązanie maturzysty Jasia.

Zachodzi tożsamość pojęć:
Pani skłamie (S) = Pani nie dotrzyma słowa (~Y)

Pani w przedszkolu A2 mówi:
A2.
Jutro nie pójdziemy do kina
Y=~K
To samo w zapisie formalnym:
Y=~p
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)

W tabeli wszystkich możliwych operatorów logicznych jednoargumentowych widzimy, że wypowiedziane przez panią przedszkolankę zdania A2 lokuje nas precyzyjnie w operatorze negacji Y=~p w linii A2B2.

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p

… a kiedy pani nie dotrzyma słowa?

Negujemy dwustronnie równanie A2:
B2.
~Y=K
To samo w zapisie formalnym:
~Y=p
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 kin1 (K=1)

Teraz skup się Irbisolu!

Dokładnie to samo zdanie w zakładzie zamkniętym bez klamek zwanym KRZ, gdzie pacjenci nie znają pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).
Innymi słowy:
Pacjenci szpitala psychiatrycznego operują tylko i wyłącznie na wyrażeniach algebry Boole’a f(x), czyli na prawych stronach funkcji logicznej Y=f(x).

Przykłady:

Kod:

Dokładnie to samo zadanie A2 sformułowane w szpitalu psychiatrycznym zwanym KRZ.

Zadanie A2:
Dane jest kodowanie matematyczne pewnego zdania wypowiedzianego przez panią przedszkolankę w przedszkolu A2 dotyczącego pójścia do kina (K) lub nie pójścia do kina (~K) w dniu jutrzejszym.

~K
Znaczenie zmiennej binarnej:
K – pójdziemy do kina (K=1)
~K – nie pójdziemy do kina (~K=1)

Polecenie:
Zapisz precyzyjnie obietnicę złożoną przez panią przedszkolankę z przedszkola A2.
Określ kiedy pani dotrzyma słowa, a kiedy skłamie?

Rozwiązanie Irbisola, pacjenta zakładu zamkniętego bez klamek z napisem KRZ!
Poproszę maturzystę Irbisola o rozwiązanie zadania A2 na gruncie Klasycznego Rachunku Zdań gdzie nie ma kluczowych w logice matematycznej pojęć funkcji logicznej w logice dodatniej (bo Y) oraz funkcji logicznej w logice ujemnej (bo ~Y).

Czas START!

Ostatnio zmieniony przez rafal3006 dnia Nie 13:58, 01 Wrz 2024, w całości zmieniany 4 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Nie 13:54, 01 Wrz 2024 Temat postu:

Jaka jest różnica, o którą pytałem?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Nie 14:15, 01 Wrz 2024 Temat postu:

Irbisolu, czy już rozumiesz dlaczego miejsce KRZ jest w śmietniku historii matematyki?

Irbisol napisał:

Jaka jest różnica, o którą pytałem?

Różnica jest taka, że w szpitalu psychiatrycznym zwanym KRZ, którego jesteś pacjentem nie ma pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).
Wynika z tego, że choćbyś zjadł 1000 kotletów to nie rozwiążesz zadania maturalnego A2 na gruncie KRZ.

W świecie ludzi normalnych, 5-cio latków i humanistów gdzie znane są pojęcia:
Y - pani dotrzyma słowa (Y=1)
oraz:
~Y - pani nie dotrzyma słowa (~Y=1)
każdy uczeń bez najmniejszego problemu rozwiąże zadanie A2.

Przeczytałeś mój post wyżej?
Wszyscy widzą że nie przeczytałeś - zgadza się?

Oczywiście dopuszczam, że mogłeś czytać nie rozumiejąc co jest napisane (skutek działania KRZ) - wtedy zacytuj czego nie rozumiesz, będę cierpliwie wyjaśniał.

Podpowiedź:
Kodowanie dowolnego zdania twierdzącego w postaci wyrażenia f(x) algebry Boole’a z pominięciem funkcji logicznej {Y, ~Y} jest matematycznie błędne bo funkcja logiczna może tu być taka:
Y=~K
##
albo taka:
~Y=~K
Gdzie:
## - różne na mocy definicji

Irbisolu, czy już rozumiesz dlaczego miejsce KRZ jest w śmietniku historii matematyki?

Ostatnio zmieniony przez rafal3006 dnia Nie 14:28, 01 Wrz 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: 15056
Przeczytał: 31 tematów

Wysłany: Nie 19:15, 01 Wrz 2024 Temat postu:

rafal3006 napisał:

Irbisolu, czy już rozumiesz dlaczego miejsce KRZ jest w śmietniku historii matematyki?

Irbisol napisał:

Jaka jest różnica, o którą pytałem?

Różnica jest taka, że w szpitalu psychiatrycznym zwanym KRZ, którego jesteś pacjentem nie ma pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).

Podanie różnicy polega na podaniu dwóch stanów, a nie jednego, schizofreniku.

Ja pytam o różnicę pomiędzy
~K
oraz
Y = ~K
Twoje ~Y mnie nie interesuje.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Nie 19:46, 01 Wrz 2024 Temat postu:

Irbisol napisał:

rafal3006 napisał:

Irbisolu, czy już rozumiesz dlaczego miejsce KRZ jest w śmietniku historii matematyki?

Irbisol napisał:

Jaka jest różnica, o którą pytałem?

Różnica jest taka, że w szpitalu psychiatrycznym zwanym KRZ, którego jesteś pacjentem nie ma pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).

Podanie różnicy polega na podaniu dwóch stanów, a nie jednego, schizofreniku.

Ja pytam o różnicę pomiędzy
~K
oraz
Y = ~K
Twoje ~Y mnie nie interesuje.

Wiem, że jako pacjent zakładu zamkniętego bez klamek zwanego KRZ nie znasz funkcji logicznej w logice ujemnej (bo ~Y).

Masz proste zadanko maturalne na poziomie 5-cio letniego dziecka.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812389

rafal3006 napisał:

Zadanie maturalne które wkrótce będzie standardem na całym świecie!

Teraz skup się Irbisolu!

Dokładnie to samo zdanie w zakładzie zamkniętym bez klamek zwanym KRZ, gdzie pacjenci nie znają pojęcia funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y).
Innymi słowy:
Pacjenci szpitala psychiatrycznego operują tylko i wyłącznie na wyrażeniach algebry Boole’a f(x), czyli na prawych stronach funkcji logicznej Y=f(x).

Przykłady:

Kod:

Dowód iż matematycy teoretycznie znają pojęcia logika dodatnia (bo p) i ujemna (bo ~p):
[link widoczny dla zalogowanych]

moderator matematyki.pl Dasio11 do Rafała3006 napisał:

Sugeruję, byś przestał zasypywać ten wątek wypowiedziami w temacie, o którym, jak się zdaje, masz niewielkie pojęcie. Zadanie polega na matematycznym udowodnieniu, że żadna formuła rachunku zdań zdefiniowana przy użyciu różnych spójników logicznych nie może być równoważna negacji. Twoje uwagi są banalne i nijak nie pomagają udowodnić tego, co trzeba. Ponadto są nie na temat - bramki logiczne w elektronice stanowią tylko jedno z wielu zastosowań logiki matematycznej i nie mają zbyt wiele wspólnego z tym, co w tym wątku najistotniejsze, tj. z dowodami matematycznymi. Operujesz też niezbyt przystępnym językiem – nie ma w matematyce takiego pojęcia, jak "logika dodatnia/ujemna", jest to żargon elektroników. Toteż chyba lepiej będzie, jeśli skoncentrujesz swoją uwagę na świecie techniki, z którego przybywasz, a matematykę zostawisz tym, którzy się na niej znają, tj. matematykom.

Żaden żargon!
Logika dodatnia (bo p) i ujemna (bo ~p) to krystalicznie czysta matematyka, znana ziemskim matematykom po stronie sygnałów wejściowych bramki logicznej {p,q,r,s..}
Tragedią matematyków jest fakt, że widzą logikę dodatnią (bo p) i ujemną (bo ~p) po stronie wejścia bramki logicznej {p,q,r,s..} a nie widzą dokładnie tego samego po stronie wyjścia bramki logicznej (Y).
Y=1 – to jest funkcja logiczna w logice dodatniej (bo Y)
~Y=1 – to jest funkcja logiczna w logice ujemnej (bo ~Y)
Proste jak cep!

Irbisolu,
Nikt ci nie każe posługiwać się czymś o czym nie masz najmniejszego pojęcia, o funkcję logiczną w logice ujemnej (bo ~Y) tu chodzi.
Twoim zadaniem jest rozwiązanie powyższego zadanka - tylko tyle i aż tyle.

Twierdzę, że prędzej ci kaktus na rączce wyrośnie niż rozwiążesz to banalne zadanko na gruncie KRZ.
Czas Start!

P.S.
Kolejna moja podpowiedź – cytat z algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Uwaga: Punkt 1.4.3 dzięki tobie, kilka dni temu dopisałem

algebra Kubusia napisał:

Spis treści
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych 2
1.4.3 Zasady kodowania zdań twierdzących 3

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
Stąd:
Y = 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 Pon 8:06, 02 Wrz 2024, w całości zmieniany 11 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Pon 8:54, 02 Wrz 2024 Temat postu:

Różnica, schizofreniku.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Pon 9:26, 02 Wrz 2024 Temat postu:

Irbisol napisał:

Różnica, schizofreniku.

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

Irbisol napisał:

Ja pytam o różnicę pomiędzy
~K
oraz
Y = ~K
Twoje ~Y mnie nie interesuje.

Innymi słowy w zapisach ogólnych pytasz o różnicę między:
~p
oraz
Y=~p

Różnica jest FUNDAMENTALNA, masz ją na końcu postu wyżej.
Przeczytałeś?
TAK/NIE

Oto ta różnica:

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
Stąd:
Y = 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 Pon 9:35, 02 Wrz 2024, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Pon 10:04, 02 Wrz 2024 Temat postu:

I gdzie ta sprzeczność? Bo z tego co pisałeś, to AK widzi lewe strony, zatem żadnej sprzeczności nie powinno być. Ostatnio zmieniony przez Irbisol dnia Pon 10:14, 02 Wrz 2024, w całości zmieniany 1 raz

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Pon 14:23, 02 Wrz 2024 Temat postu:

Prawo Grzechotnika – dowód formalny w bramkach logicznych!
Dowód formalny, inaczej dowód ogólny, czyli krystalicznie czysta matematyka bez żadnych przykładów oparta na fundamencie wszelkich logik matematycznych, na teorii bramek logicznych!
Nieskończoną ilość przykładów potwierdzających prawo Grzechotnika będziemy mogli podawać po zrozumieniu dowodu formalnego tego prawa – inaczej nie ma to żadnego sensu, bo jak się czegoś matematycznie nie rozumie to nie można podawać przykładów obalających to, czego się nie rozumie!
Proste jak cep!

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.4.3 Zasady kodowania zdań twierdzących 3
1.5 Funkcje Y=x i operatory Y|=x jednoargumentowe 4
1.5.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 4
1.5.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 5
1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 6
1.5.4 Prawo Grzechotnika dla funkcji jednoargumentowych 8
1.5.5 Prawo Sokoła 8

1.4 Definicja funkcji logicznej jednoargumentowej Y=x

Prawo Lwa:
Warunkiem koniecznym zrozumienia logiki matematycznej jest jej znajomość na poziomie funkcji logicznych jednoargumentowych.

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

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 (pkt. 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 (pkt. 1.3.1)
Y=f(x)
Gdzie:
f(x) - dowolne wyrażenie algebry Boole’a np.
f(x) = p*q + ~p*~q
Stąd:
Y = 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)

1.5 Funkcje Y=x i operatory Y|=x jednoargumentowe

Z tabeli wszystkich możliwych operatorów jednoargumentowych zajmiemy się wyłącznie liniami A1A2 i B1B2.

1.5.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p

Definicja transmitera:
Transmiter to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze niezanegowany sygnał wejściowy p (Y=p)

Realizacja rzeczywista:
SN7407 (Strona 1: Y=p)

Kod:

https://www.ti.com/lit/ds/symlink/sn7407.pdf

Definicja matematyczna:
Funkcja logiczna transmitera Y=p w logice dodatniej (bo Y) to funkcja definiowana tabelą prawdy:

Kod:

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

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

Definicja operatora transmisji Y|=p:
Operator transmisji 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:
A1:
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A1.
B1:
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1

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
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1

1.5.3 Relacja matematyczna między operatorami Y|=p a Y|=~p

Kod:

Kod:

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne 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

Zauważmy, że jeśli pominiemy nagłówki albo uwzględnimy wyłącznie prawe strony funkcji logicznych Y i ~Y to kolumna A1 będzie tożsama z kolumną B2, czyli:
Definicja znaczka ## leży w gruzach

Jeśli uwzględnimy nagłówki to relacja kolumn A1 i B2 nie będzie tożsamościowa mimo że zero-jedynkowo kolumny te są identyczne.
A1: Y=p ## B2: ~Y=p
Gdzie:
## - różne na mocy definicji

Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:

Kod:

OTON:
A1: Y= p # B1: ~Y=~p
## ##
A2: Y=~p # B2: ~Y= p

Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
Zmienne p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia

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

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne (Y,~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej

Tożsama definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice, dodatniej (bo Y) albo ujemnej (bo ~Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy prawe strony tych funkcji nie są tożsame.

Kod:

A1: Y= p ## A2: Y=~p
B1:~Y=~p ## B2:~Y= p
Gdzie:
## - różne na mocy definicji

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

Doskonale też widać, że wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ##

1.5.4 Prawo Grzechotnika dla funkcji jednoargumentowych

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

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 OTON

Kod:

OTON":
A1: p # B1: ~p
A2: ~p # B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Doskonale widać, że w tabeli OTON" najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## został zgwałcony, bo ewidentnie zachodzą tożsamości po przekątnych.
W tabeli OTON” zgubiona została kluczowa informacja o tym kiedy zajdzie Y, a kiedy zajdzie ~Y.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.

1.5.5 Prawo Sokoła

Z chwilą zaakceptowania przez ziemskich matematyków algebry Kubusia która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) prawo Grzechotnika zostanie zastąpione prawem Sokoła.

Prawo Sokoła:
Algebra Kubusia, która widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie niesprzeczna na poziomie funkcji logicznych.

W punkcie 24.0 znajdziemy dużą ilość ćwiczeń w temacie prawa Grzechotnika, które obowiązuje dla dowolnych funkcji logicznych n-argumentowych.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Pon 14:29, 02 Wrz 2024 Temat postu:

Irbisolu, moja propozycja nie do odrzucenia jest następująca!
Patrz końcówka postu.

Irbisol napisał:

I gdzie ta sprzeczność?
Bo z tego co pisałeś, to AK widzi lewe strony, zatem żadnej sprzeczności nie powinno być.

Irbisolu, do ciebie trzeba mieć anielską cierpliwość – ja ją mam.

Twoje pytanie było takie:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812415

Irbisol napisał:

Ja pytam o różnicę pomiędzy
~K
oraz
Y = ~K
Twoje ~Y mnie nie interesuje.

Pisałem ci już z 1000 razy w mnóstwie postów (najbliższy post to końcówka postu wyżej) że:
1.
Algebra Kubusia jest niesprzeczna bo widzi funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y)
2.
Logika ziemskich matematyków jest wewnętrznie sprzeczna bo w rachunku zero-jedynkowym operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli w rachunku zero-jedynkowym nie widzi ani funkcji logicznej w logice dodatniej (bo Y), ani też funkcji logicznej w logice ujemnej (bo ~Y)

Irbisolu,
W poście wyżej prezentuję ci matematykę ogólną (logikę bramek logicznych) udowadniającą że logika ziemskich matematyków która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna!

Rozumiesz co znaczy „wewnętrznie sprzeczna”?

Dowód ten oparty jest na funkcjach logicznych definiowanych bramkami jednowejściowymi – nic prostszego nie ma w logice matematycznej!

Ten dowód wydzielam w poście wyżej, by był zawsze pod ręką, bo o nim będziemy od tej pory dyskutować.
Wiem Irbisolu, że ty nigdy niczego nie zaprojektowałeś w bramkach logicznych bo nie jesteś elektronikiem, a tego uczą wyłącznie na wydziale elektroniki na wyższych studiach – ja to miąłem w małym paluszku w laboratorium bramek logicznych na I roku elektronik Politechniki Warszawskiej.

Irbisolu, moja propozycja nie do odrzucenia jest następująca:
Będę ci wyjaśniał poszczególne fragmenty dowodu wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych (prawo Grzechotnika) na poziomie funkcji logicznych Y=f(x), który to dowód masz w całości wyżej:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812489

rafal3006 napisał:

Prawo Grzechotnika – dowód formalny w bramkach logicznych!

Po każdej takiej lekcji ty mi napiszesz, czy rozumiesz.
Jeśli nie bardzo rozumiesz to pytaj o szczegóły, będę cierpliwie wyjaśniał – moja cierpliwość jest anielska.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 15056
Przeczytał: 31 tematów

Wysłany: Pon 14:45, 02 Wrz 2024 Temat postu:

Jak już ci panika minie, spamerze, to odpowiedz na mój post.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

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

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

Wysłany: Pon 15:07, 02 Wrz 2024 Temat postu:

Irbisol napisał:

Jak już ci panika minie, spamerze, to odpowiedz na mój post.

Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.

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.

Odpowiedziałem ci precyzyjnie już z 1000 razy, choćby w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8525.html#812493

rafal3006 napisał:

Irbisol napisał:

I gdzie ta sprzeczność?
Bo z tego co pisałeś, to AK widzi lewe strony, zatem żadnej sprzeczności nie powinno być.

Irbisol napisał:

Ja pytam o różnicę pomiędzy
~K
oraz
Y = ~K
Twoje ~Y mnie nie interesuje.

Napisz proszę, czego z mojej odpowiedzi nie rozumiesz?

Ostatnio zmieniony przez rafal3006 dnia Pon 15:14, 02 Wrz 2024, w całości zmieniany 2 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 ... 341, 342, 343 ... 348, 349, 350 Następny
Strona 342 z 350

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