 |
ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
 Wysłany: Czw 14:51, 25 Kwi 2024 Temat postu: |
|
|
W logice matematycznej 5-cio latki biją na głowę najwybitniejszych ziemskich matematyków
| Irbisol napisał: | Znajdź mi matematyka, który podaje definicję ogólnie dostępną.
Póki co wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Podaj mi ogólnie dostępną definicję twojej funkcji tożsamościowej na gruncie algebry Boole'a
Czego masz szukać masz w moim poście wyżej.
Innymi słowy masz znaleźć w całym obszarze matematyki nie tylko funkcję transmisji Y=p (to w świecie techniki znajdziesz - u matematyków NIE znajdziesz), ale co najważniejsze definicję operatora transmisji Y|=p - tego nie znajdziesz nigdzie, ani w świecie techniki, ani też w świecie matematyki.
Tymczasem, czego masz dowód w moim poście wyżej każdy 5-cio latek zna perfekcyjnie zarówno definicję funkcji transmisji (u ciebie tożsamościową) Y=K jak również definicję operatora transmisji Y|=K
Smutny wniosek:
Jeśli chodzi o logikę matematyczną, to 5-cio latki biją na głowę najwybitniejszych ziemskich matematyków którzy mając 2500 lat czasu, (od Sokratesa) do tej pory nie rozszyfrowali logiki matematycznej którą perfekcyjnie zna każdy 5-cio latek
Dowód w pkt. 1.8.2 w moim poście wyżej, przytaczam go w całości niżej:
| Algebra Kubusia - Zwiastun napisał: |
1.8.2 Operator transmisji Y|=K w przedszkolu
Pani w przedszkolu A1:
A1.
Jutro pójdziemy do kina
Y=K
co w logice jedynek oznacza:
Y=1 <=> K=1
Czytamy:
Prawdą jest (=1), że pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A1 stronami:
B1.
~Y=~K
co w logice jedynek oznacza:
~Y=1 <=> ~K=1
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Ostatnio zmieniony przez rafal3006 dnia Czw 15:00, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 14:55, 25 Kwi 2024 Temat postu: |
|
|
Sam sobie znajdź. Jest to definicja ogólnie dostępna.
Póki co wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:08, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | Znajdź mi matematyka, który podaje definicję ogólnie dostępną.
Póki co wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Póki co masz znaleźć na gruncie algebry Boole'a ogólnie dostępną definicję funkcji transmisji (u ciebie tożsamościową) Y=p oraz ogólnie dostępny operator transmisji Y|=p.
Szczegóły masz w moim poście wyżej.
Czas Start.
Jeśli znajdziesz to kasuję calusieńką algebrę Kubusia.
P.S.
Oczywistym jest że nie znajdziesz.
Mam nadzieję, że wówczas zaakcepujesz obie definicje (Y=~p i Y|=~p) rodem z AK i zrozumiesz że:
Definicja negacji ~p z Wikipedii ## Definicja funkcji negacji Y=~p
Funkcja negacji Y=~p jest matematycznie związana z operatorem negacji Y|=~p (papużki nierozłączki!) ... tego w Wikipedii NIGDZIE nie znajdziesz
Gdzie:
## - różne na mocy definicji
Amen
Ostatnio zmieniony przez rafal3006 dnia Czw 15:14, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 15:20, 25 Kwi 2024 Temat postu: |
|
|
Nic nie mam znajdywać. Chcesz, to sobie znajdź.
Wg ciebie, schizofreniku, funkcja negacji nie ma nic wspólnego z algebrą Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:27, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | Nic nie mam znajdywać. Chcesz, to sobie znajdź.
Wg ciebie, schizofreniku, funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Masz gówno-pojęcie o definicji funkcji negacji.
Dowód:
Definicja negacji ~p z Wikipedii ## Definicja funkcji negacji Y=~p
Gdzie:
## - różne na mocy definicji
Funkcja negacji Y=~p jest matematycznie związana z operatorem negacji Y|=~p (papużki nierozłączki!) ... tego w Wikipedii NIGDZIE nie znajdziesz
Irbisolu, akceptujesz to co wyżej?
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 15:30, 25 Kwi 2024 Temat postu: |
|
|
Gówno mnie obchodzi, jakie mam pojęcie.
Teraz temat jest o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:49, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | Gówno mnie obchodzi, jakie mam pojęcie.
Teraz temat jest o tym, że wg ciebie funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Niestety, twoja schizofrenia sięgnęła właśnie kosmosu - widzisz potwornie śmierdzące gówno zwane KRZ i krzyczysz, że ładnie pachnie.
Współczuję Irbisolu, tak potwornie spranego mózgu gównem zwanym KRZ nigdy nie widziałem .. a może to i dobrze że jesteś jaki jesteś, że walczysz do upadłego dowodząc iż gówno (KRZ) ładnie pachnie.
Dzięki temu dyskutujemy już 15 lat 
Teraz uważaj:
Znasz potwornie śmierdzące gówno, któremu dla niepoznaki przypiąłeś łatkę „funkcja negacji”
Niżej prezentuję ci jedynie prawdziwą definicję funkcji negacji.
Nie mam zamiaru z togą dalej dyskutować, dopóki nie zrozumiesz definicji funkcji negacji Y=~K, i operatora negacji Y|=~K na poziomie 5-cio letniego dziecka, czego dowód masz niżej.
„Algebra Kubusia - Zwiastun” w pdf (stron: 150):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/scl/fi/kgktscz3uhlxdr91hdq1q/AK-Zwiastun-w-pdf.pdf?rlkey=umxrjdxmw4dhb8yh6pp01awdb&dl=0 |
„Algebra Kubusia - Zwiastun” zawiera kwintesencję wiedzy w temacie algebry Kubusia.
| Algebra Kubusia - Zwiastun napisał: |
Spis treści
1.9 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y) 1
1.9.1 Definicja operatora negacji Y|=~p 2
1.9.2 Operator negacji Y|=~K w przedszkolu 2
1.9 Definicja funkcji negacji Y=~p w logice dodatniej (bo Y)
Definicja negatora:
Negator to bramka logiczna jednowejściowa gdzie na wyjście Y transmitowany jest zawsze zanegowany sygnał 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 (~p)
1.9.1 Definicja operatora negacji 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: |
ON
Zamknięty świat operatora negacji Y|=~p
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
1 # 0 | 0 # 1
0 # 1 | 1 # 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Zamknięty świat oznacza tu, że żadne zdanie z operatora transmisji Y|=p tzn. A1 albo B1 nie ma prawa znaleźć się w operatorze negacji Y|=~p
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.9.2 Operator negacji Y|=~K w przedszkolu
Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek 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)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A2 dwustronnie.
~Y=K
Stąd mamy:
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
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Ostatnio zmieniony przez rafal3006 dnia Czw 15:49, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 15:51, 25 Kwi 2024 Temat postu: |
|
|
Odwal się od mojego rozumienia.
Wg ciebie, schizofreniku, funkcja negacji nie ma nic wspólnego z algebrą Boole'a.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:07, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | Odwal się od mojego rozumienia.
Wg ciebie, schizofreniku, funkcja negacji nie ma nic wspólnego z algebrą Boole'a. |
Ziemska logika matematyczna nie zna poprawnej definicji funkcji negacji - dowód masz w poście wyżej.
Nie mam zamiaru dyskutowac z kimś kto nie rozumie banałów na poziomie 5-cio letniego dziecka - dowód iz poprawną definicję zarówno funkcji negacji Y=~K jak i operatora negacji Y|=~K perfekcyjnie zna każdy 5-cio latek masz w moim poście wyżej.
Póki co irbisolu masz ze 2 latka i jeszcze nie rozumisz co znaczy zdanie:
Przedszkole A1
Jutro nie pójdziemy do kina
Y=~K
W przeszłości to potwierdzieś domagając się bym ci wytłumaczył różnicę między zdaniem wyżej a zdaniem niżej:
Przedszkole A2
Jutro pójdziemy do kina
Y=K
Podsumowując:
Nie widzę innego wyjścia jak poczekać, kiedy w swoim przedszkolu zdasz egzamin do starszaków, czli zaczniesz rozumieć sens zdań A1 i A2.
Póki co, zawieszam dyskusję, dzięki za dyskusję
  
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 16:13, 25 Kwi 2024 Temat postu: |
|
|
W twoim "dowodzie wyżej" nie ma nic o ziemskiej logice, schizofreniku. A mimo to twierdzisz, że ten "dowód" dotyczy ziemskiej logiki 
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:23, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: |
W twoim "dowodzie wyżej" nie ma nic o ziemskiej logice, schizofreniku. A mimo to twierdzisz, że ten "dowód" dotyczy ziemskiej logiki |
... a bramki logicze to pies, bramki logiczne nie sa ziemską logiką matematyczną? 
Jeśli bramki logiczne nie są wedle ciebie ziemską logiką matematyczną, to jakim cudem komputery działają?
Nie dość że schizofreania, to jeszcze pomroczność jasna cie dopadła - współczuję.
Algebra Kubusia ma 100% przełożenie na teorię bramek logicznych - to jest twardy dowód jej poprawnosci czysto-matematycznej.
Dowód tego faktu masz w kuczowym fragmencie postu wyżej:
| Algebra Kubusia - Zwiastun napisał: |
1.9.1 Definicja operatora negacji 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: |
ON
Zamknięty świat operatora negacji Y|=~p
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
1 # 0 | 0 # 1
0 # 1 | 1 # 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Zamknięty świat oznacza tu, że żadne zdanie z operatora transmisji Y|=p tzn. A1 albo B1 nie ma prawa znaleźć się w operatorze negacji Y|=~p
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.
Odczytaj w tabeli zero-jedynkowej iz rzeczywiście:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
Czy widzisz to kurza ślepoto?
2.
Odczytaj w tabeli zero-jedynkowej iż rzeczywiście:
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1
Czy widzisz to kurza slepoto?
Ostatnio zmieniony przez rafal3006 dnia Czw 16:31, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 16:37, 25 Kwi 2024 Temat postu: |
|
|
|
I udowodniłeś, że coś na tych bramkach nie działa w związku z niepoprawną definicją?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:52, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | | I udowodniłeś, że coś na tych bramkach nie działa w związku z niepoprawną definicją? |
W bramkach działa wszystko perfekcyjnie z czego wynika, że każdy kto twierdzi iż definicja funkcji negacji Y=~p i operatora negacji Y|=~p jest inna niż to wynika z teorii bramek logicznych jest matematycznym IDIOTĄ.
Twój wybór jest tylko i wyłącznie taki Irbisolu:
1.
Uznajesz teorię bramek logicznych za swojego Boga (przez duże B) - wtedy idiotą nie jesteś.
Tu automatycznie awansujesz do grupy starszaków w przedszkolu, ekspertów algebry Kubusia czego dowód w dialogu niżej
Albo:
2.
Mówisz to co zwykle:
Nigdy swojego boga zwanego KRZ nie zdradzę - wtedy idiotą jesteś.
Tu twój mózg cofa się w rozwoju podążając do mózgu dziecka tuż po urodzeniu.
Trzeciego wyboru nie ma
Dowód iż póki co, 5-cio latki biją na głowę najwybitniejszych ziemskich matematyków.
Dlaczego?
Bo poniższych banałów nie znajdziemy w żadnym podręczniku matematyki
| Algebra Kubusia - Zwiastun napisał: |
1.9.2 Operator negacji Y|=~K w przedszkolu
Pani w przedszkolu A2:
A2.
Jutro nie pójdziemy do kina
Y=~K
co w logice jedynek 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)
#
Kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy równanie A2 dwustronnie.
~Y=K
Stąd mamy:
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
Czytamy:
Prawdą jest (=1), że pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Ostatnio zmieniony przez rafal3006 dnia Czw 16:59, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 17:30, 25 Kwi 2024 Temat postu: |
|
|
|
Więc pokaż jak to nie działa w ziemskiej logice, skoro nie zna ona prawidłowej definicji.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:50, 25 Kwi 2024 Temat postu: |
|
|
Matematyczny dowód wewnętrznej sprzeczności algebry Boole’a
| Irbisol napisał: | | Więc pokaż jak to nie działa w ziemskiej logice, skoro nie zna ona prawidłowej definicji. |
Bardzo proszę, masz twardy dowód wewnętrznej sprzeczności ziemskiej algebry Boole'a wynikający bezpośrednio z nieznajomości bramek logicznych na poziomie elementarnym, które to bramki (jednoargumentowe) obsługują definicję funkcji transmisji (u ciebie funkcja tożsamościowa) Y=p i funkcji negacji Y=~p.
„Algebra Kubusia - Zwiastun” w pdf (stron: 150):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/scl/fi/kgktscz3uhlxdr91hdq1q/AK-Zwiastun-w-pdf.pdf?rlkey=umxrjdxmw4dhb8yh6pp01awdb&dl=0 |
„Algebra Kubusia - Zwiastun” zawiera kwintesencję wiedzy w temacie algebry Kubusia.
| Algebra Kubusia - Zwiastun napisał: |
Spis treści
1.13 Matematyczny dowód wewnętrznej sprzeczności algebry Boole’a 1
1.13.1 Lekcja matematyki klasycznej w I klasie LO 1
1.13.2 Lekcja logiki matematycznej w I klasie LO 1
1.13.3 Dowód błędu czysto matematycznego fanatyka KRZ 2
1.13.4 Smutna definicja fanatyka KRZ 3
1.13 Matematyczny dowód wewnętrznej sprzeczności algebry Boole’a
Prawo Pytona = mutacja prawa Grzechotnika:
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 elementarnym.
Wyżej udowodniliśmy prawdziwość prawa Grzechotnika w sposób zrozumiały dla każdego 5-cio latka.
Problem w tym, że fanatyk logiki matematycznej zwanej KRZ będzie zawzięcie twierdził, że prawo Grzechotnika jest fałszem, a jego dowód tego będzie polegał na tupaniu nóżkami i machaniu łapkami.
Takiemu fanatykowi można łatwo udowodnić w jak wielkim jest błędzie przy pomocy prawa Pytona, uderzającego w fundamenty algebry Boole’a, w rachunek zero-jedynkowy tej algebry.
1.13.1 Lekcja matematyki klasycznej w I klasie LO
Scenka I
Pani matematyczka na szkolnej tablicy zapisuje:
1.
A1: Y=x^2-4 - funkcja kwadratowa
##
A2: Y=x-4 - funkcja liniowa
Gdzie:
## - różne na mocy definicji
W tym momencie wkracza do akcji nasz abstrakcyjny fanatyk KRZ mówiąc:
Istnieje prostszy zapis faktu różności na mocy definicji funkcji A1 i A2 bowiem znaczek Y na mocy brzytwy Ockhama jest tu zbędny.
Stąd mamy zapis tożsamy:
2.
A1: x^2-4 - funkcja kwadratowa
##
A2: x-4 - funkcja liniowa
Gdzie:
## - różne na mocy definicji
cnd
1.13.2 Lekcja logiki matematycznej w I klasie LO
Scenka II
Ten sam abstrakcyjny fanatyk KRZ na lekcji matematyki, gdzie aktualnie omawiane są fundamenty logiki matematycznej.
Pani matematyczka na tablicy szkolnej zapisuje:
1.
A1: Y=p - funkcja tożsamościowa (bo na wejściu p jest dokładnie to samo co na wyjściu Y)
##
A2: Y=~p - funkcja negacji
Gdzie:
## - różne na mocy definicji
1.13.3 Dowód błędu czysto matematycznego fanatyka KRZ
W tym momencie wkracza do akcji nasz abstrakcyjny fanatyk KRZ mówiąc:
Istnieje prostszy zapis faktu różności na mocy definicji funkcji A1 i A2 bowiem znaczek Y na mocy brzytwy Ockhama jest tu zbędny.
Stąd mamy zapis „tożsamy”:
2.
A1: p
##
A2: ~p
Gdzie:
## - różne na mocy definicji
Przyjrzyjmy się twierdzeniu fanatyka KRZ twierdzącemu iż zapisy 1 i 2 są matematycznie tożsame.
Zacznijmy od zapisu pani matematyczki w szkole.
1.
A1: Y=p - funkcja tożsamościowa (bo na wejściu p jest dokładnie to samo co na wyjściu Y)
##
A2: Y=~p - funkcja negacji
Gdzie:
## - różne na mocy definicji
Definicja znaczka różne na mocy definicji ## w logice matematycznej:
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.
Tożsama definicja znaczka ##:
Nie istnieją prawa logiki matematycznej wiążące funkcje logiczne zapisane po obu stronach znaczka ##
Zauważmy, że jedyna nadzieja na obalenie definicji znaczka ## to dwustronna negacja funkcji Y dozwolona w logice matematycznej, o czym każdy ziemski matematyk wie.
Zróbmy to:
1’.
A1: Y=p # B1: ~Y=~p
##
A2: Y=~p # B2: ~Y=p
Definicje znaczków:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji ## o definicji wyżej
Doskonale widać, że obie definicje znaczków # i ## są tu perfekcyjnie spełnione.
Do akcji znów wkracza nasz abstrakcyjny fanatyk KRZ mówiąc:
Istnieje prostszy zapis faktu różności na mocy definicji funkcji logicznych A1 i A2 bowiem znaczek Y na mocy brzytwy Ockhama jest tu zbędny.
Stąd mamy zapis „tożsamy”:
3.
A1: p # B1: ~p
##
A2: ~p # B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji
cnd
Doskonale widać, że po usunięciu Y i ~Y w liniach A1B1 i A2B2 definicja znaczka # jest nadal spełniona
ok
ALE!
Zauważmy, że w zapisie 3 (po usunięciu Y i ~Y) definicja znaczka różne na mocy definicji ## leży w gruzach, bo ewidentnie zachodzą pozorne tożsamości [=?] po przekątnych:
A1: p [=?] B2: p
A2: ~p [=?] B1: ~p
Gdzie:
[=?] - znaczek tożsamości pozornej, w naszym świecie rzeczywistym nieistniejącej
Definicja tożsamości pozornej [=?]:
Tożsamość pozorna [=?] to tożsamość zachodząca na poziomie wyrażeń algebry Boole’a po wywaleniu w kosmos wszelkich funkcji logicznych, zarówno w logice dodatniej (bo Y), jak i ujemnej (bo ~Y).
Dokładnie to zostało wyżej zrobione - po usunięciu Y i ~Y dostaliśmy sprzeczność matematyczną z definicją znaczka różne na mocy definicji ##.
W tym momencie matematyka którą posługuje się nasz abstrakcyjny fanatyk KRZ ignorujący Y i ~Y została wbita w ziemię i dokładnie zaklepana - jest wewnętrznie sprzeczna.
cnd
1.13.4 Smutna definicja fanatyka KRZ
Definicja fanatyka KRZ:
Fanatykiem KRZ jest każdy ziemski matematyk który w rachunku zero-jedynkowym wywala w kosmos znaczki Y i ~Y operując wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach znaczków Y i ~Y.
Niestety, smutna prawda na dzień dzisiejszy jest taka:
Fanatyk KRZ wyżej opisany i zdefiniowany = 100% ziemskich matematyków
Dlaczego powyższa tożsamość jest prawdziwa, niestety?
W aktualnej logice matematycznej nie ma pojęcia funkcji logicznej w logice ujemnej (bo ~Y).
W świecie techniki jest pojęcie logiki ujemnej (bo ~Y) ale uzyskiwane w prymitywny sposób przy pomocy banalnego negatora np. SN74LS04.
Jak świat techniki widzi logikę dodatnią (bo Y) i ujemną (bo ~Y)?
Załóżmy, że jakieś konkretne sterowanie realizuje funkcja logiczna w logice dodatniej (bo Y)
1: Y = p*q + ~p*~q
W sterowaniach często się zdarza, że potrzebujemy sygnału zanegowanego ~Y koniecznego dla dopasowania układów pracujących w przeciwnych logikach.
Matematycznie aby uzyskać sygnał ~Y musimy dwustronnie zanegować funkcje logiczną 1.
Zróbmy to:
2: ~Y = ~(p*q+~p*~q)
prawa strona po minimalizacji przybiera postać:
2: ~Y = p*~q + ~p*q
Stąd sygnał ~Y możemy uzyskać na dwa sposoby.
Sposób I
Korzystamy wyłącznie z lewych stron funkcji 1: Y i 2: ~Y, czyli:
Bierzemy sygnał cyfrowy 1: Y i go po prostu negujemy prościutkim negatorem SN74LS04, gdzie na wyjściu uzyskujemy sygnał 2: ~Y.
[link widoczny dla zalogowanych]
Sposób II
Korzystamy wyłącznie z prawych stron funkcji logicznych:
1: Y = p*q + ~p*~q
oraz:
2: ~Y = p*~q + ~p*q
W funkcji 1: Y mamy zbudowany układ z prawej strony z definicji, z czego wynika że nie ma sensu budować prawostronnego układu logicznego funkcji 2:~Y bo sygnał ~Y uzyskujemy prościutkim negatorem SN47LS04.
Fizyczna budowa prawej strony funkcji logicznej 2: ~Y byłaby tu sztuką dla sztuki, czyli bez sensu - to może mieć sens wyłącznie w okresie nauki studentów, by pokazać im, że w ten sposób również można uzyskać funkcję w logice ujemnej 2: ~Y.
Przykład który wyżej wybrałem ma po stronie Y i ~Y układy tej samej klasy tzn. porównywalne w temacie ich złożoności.
W technice cyfrowej zawsze jest tak, że układ w logice dodatniej (bo Y) minimalizujmy do postaci absolutnie minimalnej, wtedy po stronie ~Y układ minimalny może być o wiele bardziej złożony niż układ po stronie Y.
Ciekawostka:
Na I roku elektroniki (rok 1975) na Politechnice Warszawskiej wykładowca logiki matematycznej dr inż. Traczyk z zapałem wykładał nam tematykę sterowań realizowanych przy pomocy bramek logicznych które to sterowania realizowaliśmy w praktyce w laboratorium - akurat w tym byłem bardzo dobry.
Zaskoczeniem dla mnie był fakt, że na ostatnim wykładzie dr inż. Traczyk powiedział:
Panowie, wszystko czego was tu nauczyłem w temacie bramek logicznych jest już nieaktualne, bowiem teoria bramek logicznych załamuje się już na układach średniej skali integracji (przerzutniki, liczniki, rejestry, multipleksery), że o mikroprocesorach nie wspomnę.
W technice mikroprocesorowej sygnały sterujące układami wejścia/wyjścia z reguły dostępne są w logice ujemnej (aktywne 0). Może się zdarzyć, że złożony układ którym mikroprocesor steruje ma dostępne wejście w logice dodatniej (aktywne 1), wtedy aby sprowadzić te układy do wspólnej logiki matematycznej używamy prościutkiego negatorka np. SN74LS04 i po bólu.
Podsumowując:
Świat techniki mając funkcję logiczną w logice dodatniej (bo Y) uzyskuje często potrzebną w sterowaniach funkcje logiczną w logice ujemnej (bo ~Y) przy pomocy prościutkiego negatorka SN74LS04 bez wzglądu na fakt, jak skomplikowana jest funkcja logiczna w logice dodatniej (bo Y).
Z powyższego wynika, że aktualna logika matematyczna w świecie matematyków jest lata świetlne za światem techniki bo tu funkcja logiczna w logice ujemnej (bo ~Y) jest pojęciem nielegalnym (nieznanym).
Innymi słowy:
Współczesna logika matematyczna to świat epoki kamiennej, który wkrótce zastąpiony zostanie światem algebry Kubusia - to jest w 100% pewne.
Dowód z matematyki.pl iż ziemska logika matematyczna nie zna pojęcia logika ujemna (bo ~Y):
[link widoczny dla zalogowanych]
autor: Dasio11 » 13 września 2023, 11:53
@moderator Dasio11 do Rafała3006 na matematyce.pl
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.
Pocieszająca jest wstawka „Twoje uwagi są banalne” co oznacza, że Dasio11 rozumie teorię bramek logicznych którą się w tym temacie posługiwałem, pod którą w 100% podlega algebra Kubusia.
|
Ostatnio zmieniony przez rafal3006 dnia Czw 18:10, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 18:59, 25 Kwi 2024 Temat postu: |
|
|
I z którego błędnego zapisu definicji funkcji negacji ten błąd wynika?
Ty w ogóle rozumiesz, o czym jest mowa?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 19:28, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: |
I z którego błędnego zapisu definicji funkcji negacji ten błąd wynika?
Ty w ogóle rozumiesz, o czym jest mowa? |
Irbisolu, o poprawnej definicji funkcji logicznej negacji to ty masz zerowe pojęcie.
Fundamentalna różnica między AK i ziemską algebrą Boole'a jest taka (powiększyłem byś zauważył):
Definicja negacji ~p ## Funkcja logiczna negacji Y=~p
Gdzie:
## - różne na mocy definicji
Ziemska algebra Boole'a nie zna powyższej relacji - dlatego jest wewnętrznie sprzeczna na poziomie funkcji logicznych właśnie, patrz prawo Grzechotnika.
W matematyce ziemskich matematyków znane jest pojęcie funkcji logicznej wyłącznie w logice dodatniej (bo Y), ale w rachunku zero-jedynkowym absolutnie każdy ziemski matematyk, wykopuje w kosmos wszelkie funkcje logiczne, zarówno Y jak i ~Y. To jest błąd fatalny w algebrze Boole'a prowadzący do jej wewnętrznej sprzeczności na poziomie funkcji logicznych - prawo Grzechotnika.
Teraz uważaj, skup się:
Zero-jedynkową definicję negacji ~p mamy wspólną, ale interpretację zer i jedynek w tej definicji już NIE!
Fundamentalna różnica to definicja osi czasu we wszelkich tabelach zero-jedynkowych w rachunku zero-jedynkowym.
Szczegóły masz w cytacie.
Pierwsze akapity AK
| Algebra Kubusia - Zwiastun napisał: |
1.1.1 Definicja negacji
Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych wartościowań zmiennych binarnych w postaci tabeli zero-jedynkowej.
W szczególnym przypadku symbol w nagłówku kolumny może być stałą binarną gdy w kolumnie są same jedynki albo same zera.
| Kod: |
DN
Definicja negacji:
p # ~p
A: 1 # 0
B: 0 # 1
1 2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
|
Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
p#~p
Dowodem jest tu definicja negacji DN.
Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)
Zauważmy, że w definicji negacji DN symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)
Stąd mamy:
Definicja osi czasu w logice matematycznej
W dowolnej tabeli zero-jedynkowej oś czasu to zero-jedynkowa zawartość kolumny opisanej symbolem nad tą kolumną.
W logice matematycznej odpowiednikiem układu Kartezjańskiego są wykresy czasowe.
Dowód na przykładzie (strona 5):
| Kod: | | https://www.ti.com/lit/ds/symlink/sn54ls193-sp.pdf |
W technice cyfrowej znaczek różne # o definicji jak wyżej jest odpowiednikiem dwustronnego negatora (~).
| Kod: |
Definicja znaczka różne # w bramkach logicznych
-----
p --x-------->| ~ |o-x--> ~p
| ----- |
| |
| p=~(~p) ----- |
-<-------o| ~ |<-x--- ~p
-----
Gdzie:
"o"(~) - symbole negacji
--->| - wejście bramki logicznej negatora (~)
|o--> - wyjście bramki logicznej negatora (~)
W świecie rzeczywistym musi tu być negator z otwartym kolektorem (OC)
na przykład typu SN7406. Wyjście OC musi być podparte rezystorem do Vcc.
|
W świecie rzeczywistym podajemy sygnały cyfrowe {0,1} na wejściu negatora obserwując co jest na jego wyjściu. Wszystko musi być zgodne z definicją DN.
Matematyczne związki między p i ~p:
a)
Dowolna strona znaczka # jest negacją drugiej strony
p#~p
b)
Prawo podwójnego przeczenia:
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
c)
Prawo zaprzeczenia logiki dodatniej (bo p):
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)
Dowód w rachunku zero-jedynkowym:
| Kod: |
Matematyczne związki w definicji negacji:
p ~p ~(~p) ~(p)
A: 1 0 1 0
B: 0 1 0 1
1 2 3 4
|
Tożsamość kolumn 1=3 jest dowodem formalnym prawa podwójnego przeczenia:
p=~(~p)
Tożsamość kolumn 2=4 jest dowodem formalnym prawa negacji logiki dodatniej (bo p):
~p=~(p) |
Ostatnio zmieniony przez rafal3006 dnia Czw 19:42, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 19:46, 25 Kwi 2024 Temat postu: |
|
|
Wskaż, który zapis w definicji funkcji negacji jest błędny.
Zacytuj ten zapis.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 20:12, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | Wskaż, który zapis w definicji funkcji negacji jest błędny.
Zacytuj ten zapis. |
Znów musiałem rozpisać oczywiste oczywistości, byś zrozumiał elementarne pojęcia algebry Boole'a - wyróżniłem na niebiesko
| Algebra Kubusia napisał: |
1.9.1 Definicja operatora negacji 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: |
ON
Zamknięty świat operatora negacji Y|=~p
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
A: 1 # 0 | 0 # 1
B: 0 # 1 | 1 # 0
1 2 3 4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Zamknięty świat oznacza tu, że żadne zdanie z operatora transmisji Y|=p tzn. A1 albo B1 nie ma prawa znaleźć się w operatorze negacji Y|=~p
Definicje elementarne w algebrze Boole’a:
AB12: ~p - definicja negacji ~p
##
AB123: Y=~p - definicja funkcji logicznej negacji w logice dodatniej (bo Y)
#
AB124: ~Y=p - definicja funkcji logicznej negacji w logice ujemnej (bo ~Y)
Gdzie:
## - różne na mocy definicji (wejścia funkcji logicznej {p,~p} to co innego niż jej wyjścia {Y, ~Y}
# - dowolna strona znaczka # jest negacją drugiej strony
Doskonale tu widać że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1 - dokładnie to widzimy w tabeli zero-jedynkowej
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1 - dokładnie to widzimy w tabeli zero-jedynkowej
|
Przede wszystkim musisz odróżniać wejście funkcji logicznej p od jej wyjścia Y. Matematycy z niewiadomych w świecie techniki powodów tego nie odróżniają, operują wyłącznie na wejściu/wejściach {p,q,r..} funkcji logicznej Y, co prowadzi do wewnętrznej sprzeczności algebry Boole'a na poziomie funkcji logicznych Y i ~Y - prawo Grzechotnika.
Jak masz pytania to pytaj.
Ostatnio zmieniony przez rafal3006 dnia Czw 20:20, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 20:59, 25 Kwi 2024 Temat postu: |
|
|
|
Moje pytanie jest w poprzednim poście.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 21:10, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | | Moje pytanie jest w poprzednim poście. |
| Irbisol napisał: | Wskaż, który zapis w definicji funkcji negacji jest błędny.
Zacytuj ten zapis. |
Moja odpowiedź jest w moim poście wyżej - innej nie bedzie.
Przeczytałes mój post wyżej - masz jakieś pytania?
Czegoś nie rozumiesz?
Ty nie masz żadnych zapisów:
Ani funkcji logicznej negacji w logice dodatniej (bo Y)
Y=~p
ani tez funkcji logicznej negacji w logice ujemnej (bo ~Y)
~Y=p
Ty nie masz ani Y, ani ~Y - koniec dyskusji w tym temacie.
Masz tylko definicję negacji ~p identyczną jak w algebrze Kubusia, ale ~p nie jest funkcją logiczną, to jest dana wejściowa do funkcji logicznej Y, czyli coś innego.
Ostatnio zmieniony przez rafal3006 dnia Czw 21:23, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Czw 21:42, 25 Kwi 2024 Temat postu: |
|
|
|
To wyłuskaj ten fragment, o który pytam.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 21:48, 25 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | | To wyłuskaj ten fragment, o który pytam. |
Ty o nic nie pytasz bo nie masz pojęcia co to jest funkcja logiczna w logice matematycznej - ty masz tylko wejściowe gówienko ~p i nic więcej.
Sens ma tylko i wyłącznie całość - to jest tak krótkie, że tu nie ma co skracać.
Przeczytałeś?
Zrozumiałeś?
Jak w technice bramek logicznych nie odrózniasz wejść p i~p od wyjść Y i ~Y które są czym innym na mocy definicji ## to o czym mam z tobą rozmawiać - są matematycy np Volrath którzy perfekcyjnie znają technikę bramek logicznych, jak jestes w tym zielony to nic na to nie poradzę.
Przykładowo tu mnie Vorath zaskoczył NANDEM bo w projektowaniu czegokolwiek człowiek myśli swoimi spójnikami "i"(*) i "lub"(+) - NAND i NOR to coś w czym żaden człowiek nie myśli bo to są "ciała obce" dla naszego mózgu.
http://www.sfinia.fora.pl/forum-kubusia,12/kubusiowa-szkola-logiki-na-zywo-dyskusja-z-volrathem,3591-50.html#69446
| volrath napisał: | Ja nie twierdzę, że implikacja odwrotna to to samo co prosta.
Twierdzę, że p=>q <=> ~q=>~p <=> q~>p <=> ~p~>~q <=> p NAND (p NAND q) |
Ostatnio zmieniony przez rafal3006 dnia Czw 22:03, 25 Kwi 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: 14187
Przeczytał: 17 tematów
|
| Wysłany: Pią 9:51, 26 Kwi 2024 Temat postu: |
|
|
|
Pytam, który zapis w definicji funkcji negacji jest błędny.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 32798
Przeczytał: 36 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 10:53, 26 Kwi 2024 Temat postu: |
|
|
| Irbisol napisał: | | Pytam, który zapis w definicji funkcji negacji jest błędny. |
Żaden, bo ty nie masz najmniejszego pojęcia w temacie definicji funkcji negacji.
Dla ciebie funkcja negacji z algebry Boole'a to czarna dziura - nie istnieje!
Ty pisząc o "funkcji negacji" masz na myśli definicję negacji ~p, to jest coś FUNDAMENTANIE innego niż poprawnie rozumiana w algebrze Boole'a "funkcja negacji"
Zacytuję ci jeszcze raz elemetarne definicje algebry Boole'a.
Skup się i napisz z czym się nie zgadzasz, która definicja ci nie pasuje etc.
"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1106):
[link widoczny dla zalogowanych]
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Pełna wersja algebry Kubusia zawierająca wszystkie możliwe szczegóły w tym temacie.
| Algebra Boole'a z AK napisał: |
1.9.1 Definicja operatora negacji 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: |
ON
Zamknięty świat operatora negacji Y|=~p
Definicja operatora negacji: Y|=~p
Wejście |Wyjście
| A2: B2:
p # ~p | Y=~p # ~Y=p
A: 1 # 0 | 0 # 1
B: 0 # 1 | 1 # 0
1 2 3 4
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
|
Zamknięty świat oznacza tu, że żadne zdanie z operatora transmisji Y|=p tzn. A1 albo B1 nie ma prawa znaleźć się w operatorze negacji Y|=~p
Definicje elementarne w algebrze Boole’a:
AB12: ~p - definicja negacji ~p
##
AB123: Y=~p - definicja funkcji logicznej negacji w logice dodatniej (bo Y)
#
AB124: ~Y=p - definicja funkcji logicznej negacji w logice ujemnej (bo ~Y)
Gdzie:
## - różne na mocy definicji (wejścia funkcji logicznej {p,~p} to co innego niż jej wyjścia {Y, ~Y}
# - dowolna strona znaczka # jest negacją drugiej strony
Doskonale tu widać że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1 - dokładnie to widzimy w tabeli zero-jedynkowej
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1 - dokładnie to widzimy w tabeli zero-jedynkowej
|
Przede wszystkim musisz odróżniać wejście funkcji logicznej p od jej wyjścia Y. Matematycy z niewiadomych w świecie techniki powodów tego nie odróżniają, operują wyłącznie na wejściu/wejściach {p,q,r..} funkcji logicznej Y, co prowadzi do wewnętrznej sprzeczności algebry Boole'a na poziomie funkcji logicznych Y i ~Y - prawo Grzechotnika.
Jak masz pytania to pytaj.
Ostatnio zmieniony przez rafal3006 dnia Pią 10:58, 26 Kwi 2024, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
