 |
Ś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ść |
fedor
Dołączył: 04 Paź 2008
Posty: 15351
Przeczytał: 96 tematów
Płeć: Mężczyzna
|
 Wysłany: Sob 6:30, 23 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | od teraz nie będę tu zaglądał sam z siebie. |
Zostałeś przez Rafała zmielony na wióry
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 9:15, 23 Wrz 2023 Temat postu: |
|
|
Najcenniejsza rzecz ...
| Kod: | | https://matematyka.pl/kawiarnia-szkocka-f197/algebra-kubusia-matematyka-jezyka-potocznego-t454255.html#p5651584 |
Aktualnie na matematyce.pl mam kapitalne zakończenie w postaci równoważności Pitagorasa, gdzie nie jest możliwe, aby dowolny matematyk tego nie zrozumiał, z następującym zakończeniem
| Cytat: |
Kluczowe pytanie:
Czy jest jakiś ziemski matematyk który kwestionuje choćby jedno zdanie z omówionego przeze mnie w dwóch ostatnich wpisach trywialnego problemu równoważności p<=>q? |
Sęk w tym że zrozumienie równoważności Pitagorasa to wbicie osikowego kołka prosto w serce wampirzycy zwanej "implikacją materialną" - tego nie da się nie zrozumieć, dokładnie dlatego nie mam dyskusji na matematyce.pl.
Najcenniejszą dla mnie rzeczą w dyskusji na temat logiki matematycznej jest ... brak dyskusji zarówno tu, jak i na matematyce.pl.
Dlaczego?
Bo mam święty spokój i mogę powoli i dokładnie udoskonalać przekaz algebry Kubusia, co non stop robię od Wigilii roku 2022.
Zdecydowanie lepszym rozwiązaniem jest brak dyskusji w temacie AK do mojej śmierci z zostawieniem ziemskim matematykom wersji dopracowanej do perfekcji, niż zacięta dyskusja w której na perfekcyjne dopracowanie AK zabraknie mi czasu.
Poza tym sensowna dyskusja między mną a fanatykiem KRZ jest z definicji wykluczona bo mamy w 100% różne definicje elementarne, czego dowód jest w 10 pierwszych stronach AK zakończonych prawem Grzechotnika.
Aktualna wersja algebry Kubusia po n liftingach:
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
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.
Najsmutniejszy w tym wszystkim jest fakt, że logikę dodatnią (bo Y) i ujemną (bo ~Y) doskonale znają w praktyce wszystkie 5-cio latki, czego dowód znajdziemy w punkcie 1.8 (sterowanie windą) … a ziemscy matematycy nigdy o matematycznej logice dodatniej (bo Y) i ujemnej (bo ~Y) nie słyszeli.
Ostatnio zmieniony przez rafal3006 dnia Sob 10:50, 23 Wrz 2023, w całości zmieniany 7 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: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Nie 6:44, 24 Wrz 2023 Temat postu: |
|
|
Alternatywne wejście na matematykę.pl
2023-12-24
I rocznica debiutu algebry Kubusia na matematyce.pl
Aktualna wersja algebry Kubusia po n liftingach:
| Kod: | | https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0 |
Dowód wewnętrznej sprzeczności aktualnej, ziemskiej algebry Boole'a
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
Najkrótszy możliwy dowód wewnętrznej sprzeczności aktualnej, ziemskiej algebry Boole'a jest następujący.
Definicje elementarne w algebrze Boole'a:
Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości logiczne 0 albo 1.
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
|
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
Zapis funkcji logicznej Y w technice cyfrowej (definicja niżej):
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W szczególnym przypadku funkcja logiczna Y może być stałą binarną, gdy w kolumnie opisującej symbol Y są same jedynki lub same zera.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y.
Film powinien zaczynać się od trzęsienia ziemi, potem zaś napięcie ma nieprzerwanie rosnąć
Alfred Hitchcock.
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.
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.
Najsmutniejszy w tym wszystkim jest fakt, że logikę dodatnią (bo Y) i ujemną (bo ~Y) doskonale znają w praktyce wszystkie 5-cio latki, czego dowód znajdziemy w punkcie 1.8 (sterowanie windą) … a ziemscy matematycy nigdy o matematycznej logice dodatniej (bo Y) i ujemnej (bo ~Y) nie słyszeli.
Dowód wewnętrznej sprzeczności aktualnej, ziemskiej algebry Boole'a dla n zmiennych binarnych znajdziemy w punkcie 1.6.1 jako zwieńczenie pierwszych 10 stron nowej algebry Boole'a rozpoznającej logikę dodatnią (bo p) i ujemną (bo ~p).
Ten sam dowód szczegółowy dla dwóch zmiennych binarnych {p, q} znajdziemy w punkcie 1.17.
Największą tragedią ziemskiej logiki matematycznej jest fakt, że w bramkach logicznych po stronie wejścia cyfrowego widzi ona zmienne binarne w logice dodatniej (bo p) i ujemnej (bo ~p), ale nie widzi dokładnie tego samego po stronie wyjścia cyfrowego Y, tu obowiązuje bezwzględny zakaz widzenia wyjścia Y w logice ujemnej (bo ~Y).
Odpowiednikiem tego faktu w matematyce klasycznej byłoby widzenie w układzie Kartezjańskim na osi X zmiennych dodatnich (x) i zmiennych ujemnych (~x) z zakazem widzenia dokładnie tego samego na osi Y, gdzie dozwolone byłoby widzenie jedynie zmiennych dodatnich (y).
Czy ktokolwiek wyobraża sobie współczesną matematykę z takim upośledzonym układem Kartezjańskim?
Ostatnio zmieniony przez rafal3006 dnia Nie 8:39, 24 Wrz 2023, w całości zmieniany 6 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: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:42, 25 Wrz 2023 Temat postu: |
|
|
Na PW zaczęła się interesująca dyskusja z Irbisolem, który TOTALNIE nie rozumie jedynej poprawnej logiki matematycznej - teorii bramek logicznych.
Myślę, że nie jest to cecha tylko Irbisola, podobnie jak on myśli wielu "matematyków".
Przepraszam Irbisolu, że przenoszę tą dyskusję na forum jawne, robię to po to by nie tylko tobie, lecz wszystkim "matematykom" wyjaśnić o co chodzi w logice matematycznej.
Oto dwa ostatnie posty z mojej dyskusji z Irbisolem na PW.
| Irbisol napisał: | Twój "dowód" polega na tym, iż użyłeś tego samego symbolu dla każdej funkcji logicznej, włącznie z zaprzeczeniami. Czyli już w założeniu użyłeś sprzeczności Y = ~Y (bo użyłeś Y zarówno dla Y1 = ~p+q, jak i dla Y2 = p*~q). Później to "drugie Y" (Y2) zanegowałeś i wyszło ci, że prawe strony są równe (bo negacja negacji).
Ale ponieważ użyłeś Y w dwóch znaczeniach, to jednocześnie miałeś Y = ~Y i znaczek ##, który to znaczek miałby zastosowanie gdyby nie to, iż Y użyłeś właśnie w dwóch znaczeniach. A ponieważ tak naprawdę Y1 = ~Y2, to twój znaczek ## został tu użyty w nieuprawniony sposób.
Ot i cała koncepcja twojego "dowodu".
Bardzo prymitywny błąd .... |
U mnie nie ma żadnego błędu, po prostu nie czujesz teorii bramek logicznych.
... ale dzięki, postaram się wszystko wyjaśnić na operatorach jednoargumentowych, bo jak widzę dwa argumenty to dla podobnych tobie czarna magia.
Niżej masz kwintesencję operatorów jednoargumentowych - czy możesz napisać czy rozumiesz definicję kluczowych znaczków # i ##.
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
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
A2.
~Y = ~x
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TWJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # A2: ~Y=~p
## ##
Operator negacji Y=|~p
B1: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
C1: Y=1 # C2: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
D1: Y=0 # D2: ~Y=1
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 Y 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 TWJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
W którym miejscu masz sprzeczność w tabeli TWJ - możesz podać jeden, jedyny przykład?
Ostatnio zmieniony przez rafal3006 dnia Pon 21:59, 25 Wrz 2023, 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: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:44, 25 Wrz 2023 Temat postu: |
|
|
Ostatni post Irbisola na PW:
| Irbisol napisał: | | A co to ma do rzeczy? Użyłeś wcześniej tego samego symbolu na oznaczenie różnych funkcji. |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 21:52, 25 Wrz 2023 Temat postu: |
|
|
Moja odpowiedź:
Irbisolu, twierdzisz zatem że tabela wszystkich możliwych operatorów jednoargumentowych jest matematycznie błędna?
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
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie jednoargumentową funkcję logiczną A1.
A2.
~Y = ~x
1.4.2 Tabela wszystkich możliwych operatorów jednoargumentowych
Zapiszmy wszystkie możliwe operatory jednoargumentowe w tabeli prawdy
| Kod: |
TWJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # A2: ~Y=~p
## ##
Operator negacji Y=|~p
B1: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
C1: Y=1 # C2: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
D1: Y=0 # D2: ~Y=1
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 Y 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 TWJ definicje obu znaczków # i ## są perfekcyjnie spełnione.
Podsumowując:
Irbisol twierdzi, że tabela wszystkich możliwych operatorów jednoargumentowych jest matematycznie błędna bo!
Ewidentnie w niej zachodzi:
| Kod: |
TWJD:
Y=p ## Y=~p ## Y=1 ## Y=0
Gdzie:
## - różne na mocy definicji
|
Zdaniem Irbisola w powyższym zapisie popełniłem błąd czysto matematyczny bo nie wolno mi tym samym symbolem Y opisać czterech różnych funkcji logicznych w logice dodatniej (bo Y) tym samym znaczkiem Y.
Kluczowe pytanie do Irbisola:
Jak twoim zdaniem powinna wyglądać tabela TWJD aby w twojej i tylko w twojej matematyce było tu wszystko w porządku?
Czekam ...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15067
Przeczytał: 32 tematy
|
| Wysłany: Wto 10:20, 26 Wrz 2023 Temat postu: |
|
|
| rafal3006 napisał: | Moja odpowiedź:
Irbisolu, twierdzisz zatem że tabela wszystkich możliwych operatorów jednoargumentowych jest matematycznie błędna? |
Twierdzę, że nie widzę związku pomiędzy nią a tym co ci zarzuciłem.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15351
Przeczytał: 96 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 12:44, 26 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | Moja odpowiedź:
Irbisolu, twierdzisz zatem że tabela wszystkich możliwych operatorów jednoargumentowych jest matematycznie błędna? |
Twierdzę, że nie widzę związku pomiędzy nią a tym co ci zarzuciłem. |
Zostałeś zmielony nawet przez Rafał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: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 22:06, 26 Wrz 2023 Temat postu: |
|
|
Prawo Mrówki!
Oraz dowód tożsamości matematycznej:
Zdanie zawsze prawdziwe = matematyczne gówno!
Dowód w niniejszym poście.
| Irbisol napisał: | | rafal3006 napisał: | Moja odpowiedź:
Irbisolu, twierdzisz zatem że tabela wszystkich możliwych operatorów jednoargumentowych jest matematycznie błędna? |
Twierdzę, że nie widzę związku pomiędzy nią a tym co ci zarzuciłem. |
Prawo Mrówki:
W dowolnym prawie logiki matematycznej w miejsce każdej ze zmiennej binarnej można wstawić dowolne wyrażenie n-argumentowe algebry Boole'a i prawo to dalej będzie działało.
Przykład prymitywnego prawa logiki matematycznej:
p+p*q =p
Dowód:
p+p*q = p*1+p*q = p*(1+q) = p*1 =p
cnd
Pod zmienną binarną p podstawiamy przykładowe wyrażenie algebry Boole'a:
f(x) = p*~q+r*~s
Pod zmienną binarną q podstawiamy przykładowe wyrażenie algebry Boole'a:
f(y) = p*q+~r*s
Powyższe prawo w zapisie ogólnym to:
f(x)+f(x)*f(y) = f(x)
Po rozwinięciu mamy:
(p*~q+r*~s) + (p*~q+r*~s)*(p*q+~r*s) = (p*~q+r*~s)
Podpowiedź:
Prawo Mrówki, mimo że bezdyskusyjnie poprawne i działające nigdzie w logice matematycznej nie jest zapisane (a może jest tylko o tym nie wiem?).
ALE!
Matematycy nagminnie je wykorzystują w praktyce logiki matematycznej!
Dowód:
| Kod: | | https://matematyka.pl/posting.php?mode=quote&p=5659143 |
| supciooo napisał: |
Mam zastosować metodę przekształceń równoważnościowych i sprowadzić to do KPN:
(p*~q)+((r*~q)+((~p+q)*(~r+q))))
|
Rozwiązanie a4karo:
| a4karo napisał: |
Oznaczmy:
a=(p*~q)
b=(r*~q)
Wtedy:
(p*~q)+((r*~q)+((~p+q)*(~r+q))) = a+b+(~a*~b) = (a+b)+~(a+b) =1
|
Otrzymaliśmy wyrażenie zawsze prawdziwe, czyli matematyczne gówno.
Przepisałem z matematyki.pl - oczywiście nie mam zamiaru analizować tego co pisze a4karo (zakładam że nie zrobił błędu) bo dla mnie to jest sztuka dla sztuki, co z tego że matematycznie poprawna jeśli w języku potocznym TOTALNIE bezużyteczna tzn. nikt nie podstawi pod wyrażenie wejściowe do minimalizacji (lewa strona zapisu) zdania z języka potocznego które by nawet najwybitniejszy matematyk zrozumiał.
Uwaga:
Wyłącznie wytłuszczona forma po minimalizacji jest zrozumiała dla każdego 5-cio latka bo mamy tu równanie alternatywno-koniunkcyjne które każdy 5-cio latek zrozumie, co łatwo można potwierdzić przykładem z przedszkola.
Dowód:
Dla wytłuszczonego fragmentu oznaczmy:
p=K (kino)
q=T (teatr)
Pani w przedszkolu:
Jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y = K+T + ~K*~T
Każdy 5-cio latek zrozumie kiedy jutro pani dotrzyma słowa (Y=1), ale nie każdy się zorientuje iż pani wypowiedziała matematyczne gówno.
Dowód iż to jest gówno mamy w niebieskim, tożsamym matematycznie zapisie.
Dla niebieskiego fragmentu oznaczmy:
a+b = K (kino)
Pani w przedszkolu:
Jutro pójdziemy do kina lub nie pójdziemy do kina
Y = K+~K=1
Co w równaniu alternatywno-koniunkcyjnym oznacza:
Y=1 <=> K=1 lub ~K=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub nie pójdziemy do kina (~K=1)
Zauważmy, że cokolwiek jutro pani nie zrobi w temacie "kina" to nie ma szans na zostanie kłamcą. Czyli niemożliwe jest tu ustawienie:
Y=0 - pani skłamała
Dokładnie dlatego zdania zawsze prawdziwe są matematycznymi gównami!
cnd
Pytanie do Irbisola:
Czy akceptujesz prawo Mrówki?
P.S.
Dzięki Irbisolu, właśnie dopisałem prawo Mrówki (pkt. 1.6.1)
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Dokładnie na tym od zawsze polega twoja pomoc w rozszyfrowywaniu algebry Kubusia.
Ostatnio zmieniony przez rafal3006 dnia Śro 8:13, 27 Wrz 2023, w całości zmieniany 10 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
zefciu/konto zamknięte
Usunięcie na własną prośbę
Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów
Skąd: Kiekrz
Płeć: Mężczyzna
|
| Wysłany: Śro 8:40, 27 Wrz 2023 Temat postu: |
|
|
| rafal3006 napisał: | | ... bogiem jesteś? |
Czemu odpowiadasz pytaniem na pytanie?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15067
Przeczytał: 32 tematy
|
| Wysłany: Śro 9:35, 27 Wrz 2023 Temat postu: |
|
|
Nie obchodzi mnie żadne prawo Mrówki.
Pisz na temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 10:40, 27 Wrz 2023 Temat postu: |
|
|
Irbisol - kluczowy partner w dyskusji na temat logiki matematycznej
… bo dzięki niemu postało mnóstwo liftingów AK, podobnych do w tym poście opisanego.
| Irbisol napisał: |
Nie obchodzi mnie żadne prawo Mrówki.
Pisz na temat. |
Cały czas piszę na temat - prawo Mrówki jest na temat.
Czego nie rozumiesz w zadanku Kubusia dla funkcji jednoargumentowej?
Punkt 1.6 w tym linku:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
Do dwóch argumentów (ty o tym piszesz) przejdziemy jak obalisz zadanko Kubusia dla funkcji logicznej jednoargumentowej.
Ostatni lifting AK dzięki Irbisolowi napisany:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
1.6.2 Prawo Mrówki i prawo Mrówkojada
Dla zrozumienia niniejszego punktu konieczna jest znajomość aksjomatyki algebry Boole'a (pkt. 1.7), tek więc czytelnicy którzy jej nie znają mogą tymczasowo ominąć niniejszy punkt.
Prawo Mrówki:
W dowolnym prawie logiki matematycznej w miejsce każdej ze zmiennej binarnej można wstawić dowolne wyrażenie n-argumentowe algebry Boole'a i prawo to dalej będzie działało.
Prawo Mrówkojada:
Dla zrozumienia totalnie całej logiki matematycznej mówiącej w spójnikach "i"(*) i "lub"(+) potrzeba i wystarcza zrozumieć logikę matematyczną na poziomie funkcji logicznych jednoargumentowych plus prawo Mrówki. |
Irbisolu, zawieszam dyskusję bo właśnie włączyłeś swoją katarynkę "pisz na temat" i będziesz nią grał do końca naszego Wszechświata albo i jeden dzień dłużej.
Nie to NIE!
Mało mi zależy na dyskusji z tobą bo jestem w trakcie permanentnego liftingu AK - wolę mieć spokój niż użerać się z twoim "pisz na temat".
Z faktu że ty nie rozumiesz iż piszesz głupoty bo nie znasz teorii bramek logicznych ni w ząb, nie wynika że matematycy znający teorię bramek logicznych nie rozumieją iż piszesz głupoty!
Alternatywnie mogę ci zrobić klika wykładów na temat bramek logicznych która jest alfą i omegą (czyli Bogiem) dla logiki matematycznej pod która podlega cały nasz Wszechświat żywy i martwy.
Po fundamentalną wiedzę na temat teorii bramek logicznych odstałam do punktów 1.0 do 1.6.2 włącznie:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
gdzie masz bezdyskusyjny dowód wewnętrznej sprzeczności ziemskiej algebry Boole'a na poziomie funkcji logicznych.
Wybór należy do ciebie, czyli:
a)
Robię ci wykład na temat teorii bramek logicznych
b)
Napiszesz co kwestionujesz w moim dowodzie wewnętrznej sprzeczności ziemskiej algebry Boole'a na poziomie funkcji logicznych jednoargumentowych (dwa argument to za wysokie progi dla ciebie Irbisolu co każdy ziemski matematyk widzi)
Możesz wybrać a) albo b) inaczej TOTALNIE zawieszam dyskusję z tobą.
Ostatnio zmieniony przez rafal3006 dnia Śro 11:54, 27 Wrz 2023, 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: 15067
Przeczytał: 32 tematy
|
| Wysłany: Śro 11:57, 27 Wrz 2023 Temat postu: |
|
|
|
Prawem Mrówki zamierzasz uzasadnić stosowanie dwóch identycznych symboli o odmiennym znaczeniu we wzajemnej relacji ze sobą?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 12:52, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | Prawem Mrówki zamierzasz uzasadnić stosowanie dwóch identycznych symboli o odmiennym znaczeniu we wzajemnej relacji ze sobą? |
Zacznijmy Irbisolu od przedszkola logiki matematycznej w postaci zadanka Kubusia które na 100% rozumie i akceptuje każdy 5-cio latek
Od ciebie wymagam dodatkowo akceptacji dwóch najważniejszych w logice matematycznej znaczków # i ##.
To jest kluczowe, albo obalasz te definicje, albo je akceptujesz.
Więc?
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
| Algebra Kubusia napisał: |
1.6 Zadanko Kubusia dla funkcji jednoargumentowych
Zadanko Kubusia:
Dane są dwa zdania pań przedszkolanek z dwóch różnych przedszkoli A i B.
Pani w przedszkolu A:
A1.
Jutro pójdziemy do kina
Pani w przedszkolu B:
B1.
Jutro nie pójdziemy do kina
Treść polecenia:
Zapisz w funkcjach logicznych kiedy panie dotrzymają słowa a kiedy skłamią?
Rozwiązanie Jasia, ucznia I klasy LO w 100-milowym lesie.
Pani w przedszkolu A:
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:
A2.
~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)
##
Pani w przedszkolu B:
B1.
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 B1 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
## - różne na mocy definicji
Znaczenie zmiennej Y w standardzie dodatnim:
Y - pani dotrzyma słowa (Y=1)
~Y - pani nie dotrzyma słowa (~Y=1)
Zapiszmy dialogi pań z przedszkola A i B w tabeli prawdy:
| Kod: |
T1
Pani w przedszkolu A:
A1: Y= K # A2: ~Y=~K
## ##
Pani w przedszkolu B:
B1: Y=~K # B2: ~Y= K
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznej
|
Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne są różne na mocy definicji wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest negacją drugiej
W tabeli T1 doskonale widać, że obie definicje znaczków # i ## są perfekcyjnie spełnione.
Jak widzimy wyżej, wprowadzenie do logiki matematycznej funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) wymusza wprowadzenie do logiki matematycznej znaczków # i ## |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15067
Przeczytał: 32 tematy
|
| Wysłany: Śro 12:58, 27 Wrz 2023 Temat postu: |
|
|
|
Zacznijmy od tego, żebyś odpowiadał na pytania.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 13:15, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | Zacznijmy od tego, żebyś odpowiadał na pytania. |
Znów włączasz katarynkę "odpowiedz na pytanie".
Problem w tym że twoje pytanie jest totalnym FALSZEM bo ni w ząb nie rozumiesz teorii bramek logicznych która jest alfą i omegą (Bogiem) dla logiki matematycznej pod którą podlega cały nasz Wszechświat żywy i martwy.
Czy rozumiesz co to jest FAŁSZ totalny - łatwy do wyjaśnienia przy pomocy bramek logicznych w których jesteś żółtodziobem, nic a nic nie nie rozumiejącym.
Wyjaśnienie będzie na poziomie 5-cio latka, pod warunkiem, że będziesz chciał to zrozumieć bez stawiania zapory w postaci "odpowiedz na pytanie"
Powtórzę moją propozycję:
Po fundamentalną wiedzę na temat teorii bramek logicznych odstałam do punktów 1.0 do 1.6.2 włącznie:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680043
gdzie masz bezdyskusyjny dowód wewnętrznej sprzeczności ziemskiej algebry Boole'a na poziomie funkcji logicznych.
Wybór należy do ciebie, czyli:
a)
Robię ci wykład na temat teorii bramek logicznych
b)
Napiszesz co kwestionujesz w moim dowodzie wewnętrznej sprzeczności ziemskiej algebry Boole'a na poziomie funkcji logicznych jednoargumentowych (dwa argument to za wysokie progi dla ciebie Irbisolu co każdy ziemski matematyk widzi)
Możesz wybrać a) albo b) inaczej TOTALNIE zawieszam dyskusję z tobą.
Ostatnio zmieniony przez rafal3006 dnia Śro 13:25, 27 Wrz 2023, w całości zmieniany 6 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15067
Przeczytał: 32 tematy
|
| Wysłany: Śro 13:48, 27 Wrz 2023 Temat postu: |
|
|
|
A w ogóle masz świadomość, o czym konkretnie dyskutujemy?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 16:25, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia, zatem twoim obowiązkiem jest czytać AK i pisać z czym się nie zgadzasz, co kwestionujesz.
Chciałem cię nauczyć pływać na płytkiej wodzie tzn. byś zrozumiał teorię funkcji logicznych jednoargumentowych.
Chcesz skoczyć na głęboką wodę nie umiejąc pływać?
Bardzo proszę - idziemy do 16 możliwych funkcji logicznych dwuargumentowych.
Twoim obowiązkiem jest zacytowanie dowolnego fragmentu z cytatu niżej i komentarz iż czymś tam się nie zgadzasz z uzasadnieniem DLACZEGO się nie zgadzasz.
W żadną inną dyskusje z tobą nie wchodzę!
Mam nadzieję, że rozumiesz ostatnie wytłuszczone zdanie.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680047
| Algebra Kubusia napisał: |
1.15 Funkcje logiczne dwuargumentowe
Algebra Kubusia to matematyczny opis języka potocznego (w tym matematyki i fizyki).
Algebra Kubusia zawiera w sobie nową algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) oraz „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Aktualna algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q” definiowanych warunkami wystarczającymi => i koniecznymi ~>.
Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym
Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Dowód tego faktu na poziomie 5-cio latka znajdziemy w punkcie 1.8.
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo p) i logika ujemna (bo ~p). Definicję znajdziemy w pkt. 1.1.1
3.
Stara algebra Boole'a jest wewnętrznie sprzeczna na poziomie funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y), co udowodniliśmy już na poziomie operatorów logicznych jednoargumentowych (pkt. 1.6.1). Analogiczny dowód na gruncie operatorów dwuargumentowych poznamy w punkcie 1.17.
Definicje elementarne algebry Boole'a
Algebra Boole'a to algebra dwuelementowa gdzie zwyczajowo wprowadzamy symbole {1,0} o znaczeniu:
1 = prawda
0 = fałsz
Gdzie:
1##0
Prawda (1) jest różna na mocy definicji ## od fałszu (0)
Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) - negacja
Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)
Przykłady:
Y=p+~p=1 – zdanie zawsze prawdziwe
Y=p*~p=0 – zdanie zawsze fałszywe
Gdzie:
Y – stała binarna
To samo w logice 5-cio latka.
Pani w przedszkolu:
Pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Pójdziemy do kina (K) i nie pójdziemy do kina (~K)
Y = K*~K =0 – zdanie zawsze fałszywe
Gdzie:
Y – stała binarna
Definicja zmiennej binarnej:
Zmienna binarna to symbol, mogący w osi czasu przyjmować wyłącznie dwie wartości {0,1}
Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa
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ą - same jedynki albo same zera w kolumnie.
| 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)
cnd
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 SN74LS06.
|
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ą negacji DN.
Matematyczne związki między p i ~p:
a)
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
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 rachunku zero-jedynkowego:
p=~(~p)
Tożsamość kolumn 2=4 jest dowodem formalnym prawa rachunku zero-jedynkowego:
~p=~(p)
Definicje spójników "i"(*) i "lub"(+):
| 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
Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)
Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
Przykład:
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)
Zapis funkcji logicznej Y w technice cyfrowej (definicja niżej):
Y = f(p,q) = p*q+~p*~q
Gdzie:
Y - funkcja logiczna dwóch zmiennych binarnych {p, q}
Definicja wyrażenia alternatywno-koniunkcyjnego w algebrze Boole'a:
Dowolne wyrażenie algebry Boole'a zapisane jest w postaci alternatywno-koniunkcyjnej wtedy i tylko wtedy gdy nie zawiera ani jednego członu w postaci koniunkcyjno-alternatywnej.
Inaczej wyrażenie ma postać koniunkcyjno-alternatywną lub mieszaną.
W praktyce języka potocznego (w tym matematyki i fizyki) wyłącznie postać alternatywno-koniunkcyjna jest zrozumiałe przez człowieka (co udowodniono w punkcie 1.9).
Oczywistym jest, że dowolną postać koniunkcyjno-alternatywną możemy sprowadzić do tożsamej postaci alternatywno-koniunkcyjnej poprzez wymnożenie logiczne wielomianów.
Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.
W szczególnym przypadku funkcja logiczna Y może być stałą binarną 1 albo 0.
W technice funkcja algebry Boole'a to zwyczajowo duża litera Y
Definicja bramki logicznej n-argumentowej:
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 bramek logicznych
Y - wyjście bramki logicznej
Przykład:
Y = f(p,q) = p*q+~p*~q
Zapis tożsamy:
Y = p*q+~p*~q
W najprostszym przypadku mamy do czynienia z funkcją logiczną jednej zmiennej binarnej x
Y = f(x) =x
Zapis tożsamy:
Y=x
Gdzie:
x = (p, ~p, 1, 0}
Wniosek z definicji funkcji logicznej:
Nie jest funkcją logiczną zapis uwzględniający choćby jedno wartościowanie dowolnej zmiennej binarnej.
Przykładowe zapisy które nie spełniają definicji funkcji logicznej to:
Y=1<=>p+q
Y=0<=>~p*~q
etc
<=> - wtedy i tylko wtedy
Definicja funkcji logicznej Y dwóch zmiennych binarnych p i q:
Funkcja logiczna Y=f(p,q) w logice dodatniej (bo Y) dwóch zmiennych binarnych p i q to cyfrowy układ logiczny dający na wyjściu binarnym Y jednoznaczne odpowiedzi na wszystkie możliwe wymuszenia na wejściach p i q.
Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa
Definicja operatora logicznego dwuargumentowego Y|=f(p,q) w spójnikach "i"(*) i "lub"(+):
Operator logiczny dwuargumentowy Y|=f(p,q) wyrażony spójnikami "i'(*) i "lub"(+) to układ równań logicznych 1 i 2 dających odpowiedź na pytanie o Y i ~Y
1.
Y=f(p,q)
.. a kiedy zajdzie ~Y?
Negujemy funkcję logiczną 1 dwustronnie:
2.
~Y=~f(p,q)
Przykład:
1.
Y = p+q
co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
bo w równaniach alternatywno-koniunkcyjnych jedynki są domyślne.
#
2.
… a kiedy zajdzie ~Y?
Negujemy dwustronnie równanie 1:
~Y = ~(p+q) = ~p*~q - na mocy prawa De Morgana.
co w logice jedynek oznacza:
~Y=1 <=> ~p=1 i ~q=1
bo w równaniach alternatywno-koniunkcyjnych jedynki są domyślne.
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony
Wszystkie możliwe wymuszenia binarne (dwuwartościowe) na wejściach p i q dla funkcji logicznej w logice dodatniej (bo Y) to:
| Kod: |
T1
Wszystkie możliwe wymuszenia binarne na wejściach p i q
dla funkcji logicznej w logice dodatniej (bo Y)
p q Y=f(p,q)
A: 1 1 x
B: 1 0 x
C: 0 1 x
D: 0 0 x
Gdzie:
x={0,1}
Y - funkcja logiczna
f(p,q) - wyrażenie algebry Boole’a
|
Z definicji funkcji logicznej Y wynika, że możliwe jest szesnaście i tylko szesnaście różnych na mocy definicji ## funkcji logicznych dwuargumentowych w logice dodatniej (bo Y).
Funkcje te definiujemy tabelą prawdy pokazującą wszystkie możliwe wymuszenia na wejściach p i q oraz wszystkie możliwe, różne na mocy definicji ## odpowiedzi na wyjściu Y.
Każda ze zmiennych binarnych {p, q, Y} może występować w logice dodatniej (bo x) albo w logice ujemnej (bo ~x). Oczywistym jest, że zmienna binarna w logice dodatniej (bo x) wymusza zmienną binarną w logice ujemnej (bo ~x), albo odwrotnie.
Na dowolny układ cyfrowy można zatem spojrzeć w logice dodatniej (bo Y) albo w logice ujemnej (bo ~Y).
| Kod: |
T2
Wymuszenia binarne w logice dodatniej {p, q, Y}
wymuszają logikę ujemną {~p, ~q, ~Y) i odwrotnie.
p q Y=f(p,q) # ~p ~q ~Y=~f(p,q)
A: 1 1 x # 0 0 ~(x)
B: 1 0 x # 0 1 ~(x)
C: 0 1 x # 1 0 ~(x)
D: 0 0 x # 1 1 ~(x)
Gdzie:
x={0,1}
f(p,q) - wyrażenie algebry Boole’a
Y=f(p,q) # ~Y=~f(p,q)
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
{p,q} muszą być wszędzie tymi samymi {p,q} inaczej błąd podstawienia
|
1.15.1 Tabela wszystkich możliwych funkcji dwuargumentowych
W tabeli wszystkich możliwych dwuargumentowych funkcji logicznych TF2 (niżej) po raz pierwszy w historii ludzkości zdefiniowano wszystkie występujące w logice matematycznej, elementarne znaczki logiczne.
| Kod: |
TF2
Tabela prawdy wszystkich możliwych dwuargumentowych funkcji logicznych Y
w logice dodatniej (bo Y)
|Grupa I |Grupa II |Grupa III | Grupa IV
|Spójniki „i”(*)|Spójniki =>, ~>|Spójniki <=>, $ | Wejścia
|oraz „lub”(+) ||=>, |~> ||~~>, |~~~> | p i q
| Y Y | Y Y | Y Y Y Y | Y Y Y Y | Y Y Y Y
p q | * + | ~* ~+ | => ~> |=> |~> | <=> $ |~~> |~~~>| p q ~p ~q
A: 1 1 | 1 1 | 0 0 | 1 1 0 0 | 1 0 1 0 | 1 1 0 0
B: 1 0 | 0 1 | 1 0 | 0 1 0 1 | 0 1 1 0 | 1 0 0 1
C: 0 1 | 0 1 | 1 0 | 1 0 1 0 | 0 1 1 0 | 0 1 1 0
D: 0 0 | 0 0 | 1 1 | 1 1 0 0 | 1 0 1 0 | 0 0 1 1
A A A A A A A A A A A A A A A A
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
|
Definicja znaczka różne na mocy definicji ## w logice dodatniej (bo Y):
Dwie funkcje logiczne Y w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q:
p - w logice dodatniej (bo p)
oraz
q - w logice dodatniej (bo q)
mają różne kolumny wynikowe Y w logice dodatniej (bo Y).
Doskonale widać, że wszystkie funkcje Y w tabeli TF2 spełniają definicję znaczka różne na mocy definicji ## w logice dodatniej (bo Y)
Prawo negacji funkcji logicznej:
Dowolną funkcję logiczną mamy prawo dwustronnie zanegować przechodząc do logiki przeciwnej.
Definicja operatora logicznego Y|=f(x)w spójnikach "i"(*) i "lub"(+):
Operator logiczny Y|=f(x) to układ równań logicznych dający odpowiedź na pytanie o Y i ~Y.
Zastosujmy prawo negacji funkcji logicznej do tabeli TF2
| Kod: |
TF0-15
-------------------------------------------------------------------
TF0-3
Grupa spójników „i”(*) oraz „lub”(+) w logice dodatniej (bo Y)
oraz w logice ujemnej (bo ~Y)
A0: Y=p*q "i"(*) w j. potocznym # B0: ~Y=~( p* q) =~p+~q
## ##
A1: Y=p+q "lub"(+) w j. potocznym # B1: ~Y=~( p+ q) =~p*~q
## ##
A2: Y=~(p*q)=~p+~q NAND w technice # B2: ~Y=~(~p+~q) = p* q
## ##
A3: Y=~(p+q)=~p*~q NOR w technice # B3: ~Y=~(~p*~q) = p+ q
##
--------------------------------------------------------------------
TF4-5
Grupa warunków wystarczających p=>q i koniecznych p~>q:
Definicja warunku wystarczającego p=>q:
A4: Y = (p=>q) = ~p+q # B4: ~Y=~(p=>q) = p*~q
## ##
Definicja warunku koniecznego p~>q:
A5: Y = (p~>q) = p+~q # B5: ~Y=~(p~>q) =~p* q
## ##
--------------------------------------------------------------------
TF6-7
Grupa spójników implikacyjnych p|=>q i p|~>q:
Definicja implikacji prostej p|=>q:
A6: Y = p|=>q =~p* q # B6: ~Y=~(p|=>q)= p+~q
## ##
Definicja implikacji odwrotnej p|~>q:
A7: Y = p|~>q = p*~q # B7: ~Y=~(p|~>q)=~p+ q
## ##
--------------------------------------------------------------------
TF8-9
Grupa spójników równoważnościowych p<=>q i p$q
Definicja równoważności p<=>q:
A8: Y = p<=>q = ~(p$q) =p*q+~p*~q # B8: ~Y=~(p<=>q)=(p$q)=p*~q+~p*q
## ##
Definicja spójnika „albo”($):
A9: Y = p$q = ~(p<=>q)=p*~q+~p*q # B9: ~Y=~(p$q) =(p<=>q)=p*q+~p*~q
## ##
--------------------------------------------------------------------
TF10-11
Grupa spójników chaosu p|~~>q:
Definicja chaosu (zdanie zawsze prawdziwe): Y=p|~~>q=1:
A10: Y=p|~~>q=(p+q+~p*~q)=1 # B10: ~Y=~(p|~~>q)=(p+q)*~(p+q)=0
## ##
Definicja śmierci (zdanie zawsze fałszywe): Y=p|~~~>q=0:
A11: Y =p|~~~>q = (p+q)*~(p+q)=0 # B11: ~Y=~(p|~~~>q)=(p+q+~p*~q)=1
##
--------------------------------------------------------------------
TF12-15
Grupa spójników jednoargumentowych w logice dodatniej (bo Y)
oraz w logice ujemnej (bo ~Y)
## ##
A12: Y = p # B12:~Y=~p
## ##
A13: Y = q # B13:~Y=~q
## ##
A14: Y =~p # B14:~Y= p
## ##
A15: Y =~q # B15:~Y= q
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p,q muszą być wszędzie tymi samymi p,q inaczej błąd podstawienia
|
Funkcje logiczne Y w logice dodatniej (bo Y) w ilości 16 sztuk (A0-A15) to funkcje różne na mocy definicji ##.
Definicja znaczka różne #:
Dowolna strona znaczka różne # jest negacją drugiej strony
Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.
Doskonale widać, że w tabeli TF0-15 definicje obu znaczków # i ## są perfekcyjnie spełnione. |
Ostatnio zmieniony przez rafal3006 dnia Śro 16:27, 27 Wrz 2023, 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: 15067
Przeczytał: 32 tematy
|
| Wysłany: Śro 17:16, 27 Wrz 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia |
Nie.
Najpierw sobie przypomnij, jaki jest temat.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 18:10, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia |
Nie.
Najpierw sobie przypomnij, jaki jest temat. |
Temat jest Algebra Kubusia - na żaden inny temat nie zamierzam dyskutować, w szczególności o jakiejkolwiek logice matematycznej ziemian bo 100% definicji mamy INNYCH!
Czy rozumiesz co znaczy INNYCH?
Twój posrany KRZ totalnie nie rozumie teorii bramek logicznych, czego dowód w niniejszym poście.
| Algebra Kubusia napisał: |
1.15.1 Tabela wszystkich możliwych funkcji dwuargumentowych
W tabeli wszystkich możliwych dwuargumentowych funkcji logicznych TF2 (niżej) po raz pierwszy w historii ludzkości zdefiniowano wszystkie występujące w logice matematycznej, elementarne znaczki logiczne.
| Kod: |
TF2
Tabela prawdy wszystkich możliwych dwuargumentowych funkcji logicznych Y
w logice dodatniej (bo Y)
|Grupa I |Grupa II |Grupa III | Grupa IV
|Spójniki „i”(*)|Spójniki =>, ~>|Spójniki <=>, $ | Wejścia
|oraz „lub”(+) ||=>, |~> ||~~>, |~~~> | p i q
| Y Y | Y Y | Y Y Y Y | Y Y Y Y | Y Y Y Y
p q | * + | ~* ~+ | => ~> |=> |~> | <=> $ |~~> |~~~>| p q ~p ~q
A: 1 1 | 1 1 | 0 0 | 1 1 0 0 | 1 0 1 0 | 1 1 0 0
B: 1 0 | 0 1 | 1 0 | 0 1 0 1 | 0 1 1 0 | 1 0 0 1
C: 0 1 | 0 1 | 1 0 | 1 0 1 0 | 0 1 1 0 | 0 1 1 0
D: 0 0 | 0 0 | 1 1 | 1 1 0 0 | 1 0 1 0 | 0 0 1 1
A A A A A A A A A A A A A A A A
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
|
Definicja znaczka różne na mocy definicji ## w logice dodatniej (bo Y):
Dwie funkcje logiczne Y w logice dodatniej (bo Y) są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q:
p - w logice dodatniej (bo p)
oraz
q - w logice dodatniej (bo q)
mają różne kolumny wynikowe Y w logice dodatniej (bo Y).
Doskonale widać, że wszystkie funkcje Y w tabeli TF2 spełniają definicję znaczka różne na mocy definicji ## w logice dodatniej (bo Y) |
Działanie logiki matematycznej zwanej algebrą Kubusia jest następujące.
Do dyspozycji mamy 16 czarnych pudełek z dwoma kabelkami wejściowymi p i q oraz jednym kabelkiem wyjściowym Y - nikt nie wie (łącznie z Bogiem) co jest w środku dowolnego pudełka.
Wszystkie pudełka wrzucamy do mieszadła które totalnie te pudełka wymiesza.
Kwadratura koła dla Irbisola:
Podaj jednoznaczny algorytm rozstrzygający z jaką funkcją logiczną Y mamy do czynienia gdzie nie znasz zawartości jakiegokolwiek pudełka, bez żadnego odnośnika do jakiegokolwiek zdania z języka potocznego, w tym z KRZ!
Rozwiążę tą kwadraturę za ciebie, bo dla ciebie to za wysokie progi.
Udajmy się do laboratorium bramek logicznych.
Te czarne pudełka z dwoma kabelkami wejściowymi p i q praz jednym kabelkiem wyjściowym Y to po prostu bramka logiczna.
Najpopularniejsze obecnie są bramki logiczne TTL bo łatwe w realizacji - oczywiście w przyszłości człowiek może zbudować bramki świetlne, czy też biologiczne (to jest prawdopodobnie w naszym mózgu).
Algorytm postepowania:
Na wejściach p i q musimy wymusić kompletną matrycę zero-jedynkową jak w tabeli TF2 ABCDpq notując za każdym razem odpowiedź czarnego pudełka (mamy tylko cztery możliwości!).
Dopiero jak mamy kompletną odpowiedź w postaci kolumny Y na wszystkie możliwe wymuszanie p i q możemy odszukać w tabeli TF2 z jaką funkcją logiczną mamy do czynienia.
Dowód iż KRZ jest tu potwornie śmierdzącym gównem jest banalny.
Definicja implikacji w KRZ:
p=>q = ~p+q
Gówno zwane KRZ nie ustawia możliwych wymuszeń na wejściach p i q badając odpowiedzi na wyjściu Y.
Gówno zwane KRZ słysząc zdanie warunkowe "Jeśli p to q" z góry zakłada że mamy tu do czynienia z implikacją prostą o definicji:
p=>q =~p+q
Gówno zwane KRZ niczego tu nie bada, wyłącznie arbitralnie rozstrzyga iż mamy tu do czynienia z funkcją logiczną:
Y = (p=>q) = ~p+q
bo ktoś sobie wypowiedział zdanie warunkowe "Jeśli p to q" .. dlatego jest gównem.
Efekt działania gówna zwanego KRZ to szpital psychiatryczny, czyli takie zdania prawdziwe:
1: Jeśli 2+2=5 to jestem papieżem
2: Jeśli pies ma 8 łap to Księżyc krąży wokół Ziemi
3: Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.
Dowód na serio prawdziwości zdania 1 znajdziemy tu:
| Kod: | | https://www.salon24.pl/u/disamis/540547,falsum-sequitur-quodlibet |
Dowód na serio prawdziwości zdania 2 znajdziemy w podręczniku matematyki do I klasy LO:
| Kod: | | https://pl.wikibooks.org/wiki/Matematyka_dla_liceum/Logika/Sp%C3%B3jniki_logiczne#Implikacja |
Komentarz do zdania 3 znajdziemy w Delcie'2013:
| Kod: | | http://www.deltami.edu.pl/temat/matematyka/logika/2013/02/28/Logika_sens_i_watpliwosci/ |
Przykro mi Irbisolu, że nie wiesz, iż broniąc KRZ jesteś pacjentem szpitala psychiatrycznego, że to po prostu schizofrenia gdzie chory nigdy nie zrozumie, że jest chory.
Ostatnio zmieniony przez rafal3006 dnia Śro 18:57, 27 Wrz 2023, w całości zmieniany 4 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15351
Przeczytał: 96 tematów
Płeć: Mężczyzna
|
| Wysłany: Śro 19:19, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia |
Nie.
Najpierw sobie przypomnij, jaki jest temat. |
Zostałeś zmielony nawet przez Rafała
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15067
Przeczytał: 32 tematy
|
| Wysłany: Śro 19:43, 27 Wrz 2023 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia |
Nie.
Najpierw sobie przypomnij, jaki jest temat. |
Temat jest Algebra Kubusia |
Sam zacząłeś inny temat. Czekam, aż będziesz go kontynuował.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15351
Przeczytał: 96 tematów
Płeć: Mężczyzna
|
| Wysłany: Śro 21:38, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia |
Nie.
Najpierw sobie przypomnij, jaki jest temat. |
Temat jest Algebra Kubusia |
Sam zacząłeś inny temat. Czekam, aż będziesz go kontynuował. |
Zostałeś zmielony przez Rafał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: 34721
Przeczytał: 22 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Śro 22:00, 27 Wrz 2023 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: |
| rafal3006 napisał: | | Irbisol napisał: |
A w ogóle masz świadomość, o czym konkretnie dyskutujemy? |
Nigdy nie będę dyskutował z tobą temat wypisywanych przez ciebie kompletnych głupot matematycznych, bo TOTALNIE nie rozumiesz teorii bramek logicznych.
Dyskutujemy o Algebrze Kubusia |
Nie.
Najpierw sobie przypomnij, jaki jest temat. |
Temat jest Algebra Kubusia |
Sam zacząłeś inny temat. Czekam, aż będziesz go kontynuował. |
Czy do tego postu chcesz wrócić?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3325.html#748297
| Irbisol napisał: | Twój "dowód" polega na tym, iż użyłeś tego samego symbolu dla każdej funkcji logicznej, włącznie z zaprzeczeniami. Czyli już w założeniu użyłeś sprzeczności Y = ~Y (bo użyłeś Y zarówno dla Y1 = ~p+q, jak i dla Y2 = p*~q). Później to "drugie Y" (Y2) zanegowałeś i wyszło ci, że prawe strony są równe (bo negacja negacji).
Ale ponieważ użyłeś Y w dwóch znaczeniach, to jednocześnie miałeś Y = ~Y i znaczek ##, który to znaczek miałby zastosowanie gdyby nie to, iż Y użyłeś właśnie w dwóch znaczeniach. A ponieważ tak naprawdę Y1 = ~Y2, to twój znaczek ## został tu użyty w nieuprawniony sposób.
Ot i cała koncepcja twojego "dowodu".
Bardzo prymitywny błąd .... |
TAK/NIE
Poproszę o jednoznaczną odpowiedź.
Ostatnio zmieniony przez rafal3006 dnia Śro 22:33, 27 Wrz 2023, w całości zmieniany 1 raz
|
|
| 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
