Algebra Kubusia - rewolucja w logice matematycznej

ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.

FAQ

Szukaj

Użytkownicy

Grupy

Galerie

Rejestracja

Profil

Zaloguj się, by sprawdzić wiadomości

Zaloguj

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni 1, 2, 3 ... , 471, 472, 473 Następny

Forum ŚFiNiA Strona Główna -> Filozofia

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 16693
Przeczytał: 8 tematów

Wysłany: Pią 16:39, 25 Kwi 2025 Temat postu:

Czyli porzucasz bieżące tematy i teraz aktualnym jest gad?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Pią 18:35, 25 Kwi 2025 Temat postu:

Irbisol napisał:

Czyli porzucasz bieżące tematy i teraz aktualnym jest gad?

Niczego nie rzucam, prawo Grzechotnika mówiące o wewnętrznej sprzeczności ziemskiej algebry Boole'a na poziomie funkcji logicznych jest FUNDAMENTEM mojego dowodu iż twoje zielone zapisy to matematyczne gówno.
Oczywistym tu jest, że musisz zrozumieć i zaakceptować FUNDAMENT mojego dowodu byś zrozumiał, że się na zielono zesrałeś.

Czekam zatem na twoją akceptację poniższego dowodu.
Rozumiesz poniższy dowód?
TAK/NIE

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

rafal3006 napisał:

Irbisol wraz z ziemskimi matematykami to matematyczne ZERA logiki matematycznej!
Dowód w niniejszym poście.

Irbisol napisał:

Odmawiam czytania twojego spamu, bo w ten sposób od lat uciekasz od tematu.

Nie masz szans na ucieczkę w swoje "w koło Macieju".
Najpierw musisz zrozumieć problem twojego posranego, zielonego gówna - wtedy pójdziemy dalej.

Najkrócej i najcelniej problem twojego zielonego gówna można przedstawić w zapisach formalnych izolowanych od jakichkolwiek przykładów!

Patrz i podziwiaj jak Jaś, uczeń I klasy LO wbija cię w ziemię i przyklepuje, by gówno-logika którą się posługujesz, nigdy więcej naszego Słoneczka nie zobaczyła.

Kod:

T1
A1: Y= p
#
B1: ~Y=~p
##
A2: Y=~p
#
B2: ~Y= p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej stronu
## - funkcje logiczne różne na mocy definicji

Definicja znaczka różne #:
Dowolne 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.

Jak widzimy, w tabeli T1 obie definicje znaczków # i ## są perfekcyjnie spełnione
cnd

Irbisolu, czy widzisz już na czy polega twoje sranie zielonym gównem?

Pokazuję i objaśniam:
Zarówno twoja logika, jak i logika aktualnych ziemskich matematyków, wywala w kosmos wszelkie funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) pozostawiając w powyższych zapisach wyłącznie prawe strony funkcji logicznych, czyli gołe i wesołe wyrażenia algebry Boole'a.
Akurat w tym przypadku mamy do czynienia z funkcją jednoargumentową będącą wyrażeniem jednoargumentowym f(x)
Y = f(x)
Gdzie:
f(x) = (p, ~p, 1, 0}
To są wszystkie możliwe wyrażenia algebry Boole’a w funkcji logicznej Y jednoargumentowej

Irbisolu, teraz uważaj, skup się:
Zróbmy dokładnie to co robisz Ty wespół ze wszystkim ziemskimi matematykami, czyli wywalmy z tabeli T1 wszelkie funkcje logiczne Y i ~Y.

Co nam zostanie?
Zostanie nam twardy dowód wewnętrznej sprzeczności aktualnej algebry Boole’a!

Kod:

T2
A1: p
#
B1: ~p
##
A2: ~p
#
B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej stronu
## - funkcje logiczne różne na mocy definicji

Doskonale widać, że najważniejszy znaczek logiki matematycznej:
## - różne na mocy definicji ##
został zgwałcony (zabity!).

Podsumowując:
Porównajcie sobie ziemskie koziołki matołki, czyli Ty Irbisolu wespół z ziemskimi matematykami tabele T1 i T2.
Jak nie widzicie tu twardego dowodu wewnętrznej sprzeczności aktualnej algebry Boole’a na poziomie funkcji logicznych algebry Boole’a to jesteście matematycznymi ZERAMI!

Powtórzę:
Matematycznymi ZERAMI!

Ostatnio zmieniony przez rafal3006 dnia Pią 18:55, 25 Kwi 2025, 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: 16693
Przeczytał: 8 tematów

Wysłany: Pią 19:49, 25 Kwi 2025 Temat postu:

Dowód jest zjebany totalnie. Zakładasz niczym debil, że jeżeli ktoś nie zna pojęcia "logika ujemna", to z automatu ignoruje różnice w zapisach z ~ i bez ~ To wszystko.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Pią 20:06, 25 Kwi 2025 Temat postu:

Irbisolu, podpowiem ci o co chodzi w twojej zielonej sraczce!

Pytanie retoryczne:
Ma kto nadzieję, że nie będzie to gadanie do słupa?

Irbisol napisał:

Dowód jest zjebany totalnie.
Zakładasz niczym debil, że jeżeli ktoś nie zna pojęcia "logika ujemna", to z automatu ignoruje różnice w zapisach z ~ i bez ~
To wszystko.

Moje założenie ma tu gówno do rzeczy - jest bez znaczenia.
Ja ci demonstruję dowód wewnętrznej sprzeczności ziemskiej algebry Boole'a a twoim psim obowiązkiem jest go zaakceptować, albo obalić.
Wypowiedz się w tym temacie.

Czy poniższy dowód jest poprawny matematycznie?
TAK/NIE

Jeśli NIE to go po prostu obal, pokazując jego wewnętrzną sprzeczność bez twojego pierdolenia że ja coś zakładam.

Przede wszystkim:
Pokaż mi kluczowe znaczki w tym dowodzie # i ## w dowolnym ziemskim podręczniku logiki matematycznej lub w Internecie, bowiem w tym dowodzie chodzi o gwałt na definicji najważniejszego znaczka logiki matematycznej, znaczka różne na mocy definicji ##.

Podpowiem ci o co chodzi w twojej zielonej sraczce:
Nie masz prawa kodować matematycznie dowolnych obietnic bezwarunkowych n-argumentowych inaczej niż w postaci funkcji logicznych Y:
Y = f(x)
Gdzie:
f(x) to dowolne wyrażenie algebry Boole'a
Przykład wyrażenia algebry Boole’a dwuargumentowego:
f(x)=p*q+~p*~q
Stąd interesująca nas w obietnicach bezwarunkowych funkcja logiczna Y to:
Y = p*q+~p*~q

Znaczenie funkcji logicznej Y jest tu tylko i wyłącznie takie:
Y - nadawca dotrzyma słowa Y
~Y - nadawca nie (~) dotrzyma słowa Y
Koniec:
Proste jak cep!

W bieżącym temacie dla uproszczenia skupiamy się na jednoargumentowej funkcji logicznej
Y = f(x)
Gdzie:
f(x) = {p, ~p, 1, 0}
KONIEC!
Nie ma więcej jednoargumentowych funkcji logicznych

W dowodzie niżej używamy dwóch, różnych na mocy definicji ## funkcji logicznych:
Y=p
##
Y=~p
Gdzie:
## - funkcje logiczne Y różne na mocy definicji ##

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

Po tych wyjaśnieniach zabieraj się do obalania poniższego dowodu.
Z motyką na słońce płaskoziemco!

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

rafal3006 napisał:

Irbisol wraz z ziemskimi matematykami to matematyczne ZERA logiki matematycznej!
Dowód w niniejszym poście.

Irbisol napisał:

Odmawiam czytania twojego spamu, bo w ten sposób od lat uciekasz od tematu.

Kod:

T1
A1: Y= p
#
B1: ~Y=~p
##
A2: Y=~p
#
B2: ~Y= p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej stronu
## - funkcje logiczne różne na mocy definicji

Kod:

T2
A1: p
#
B1: ~p
##
A2: ~p
#
B2: p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej stronu
## - funkcje logiczne różne na mocy definicji

Ostatnio zmieniony przez rafal3006 dnia Pią 21:02, 25 Kwi 2025, w całości zmieniany 18 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 16693
Przeczytał: 8 tematów

Wysłany: Pią 21:14, 25 Kwi 2025 Temat postu:

Nikt nie wywala żadnych Y ani ~Y, schizofreniku. To jest właśnie twoje założenie. Równie dobrze mogę napisać, że po dodaniu 2+2 wychodzi ci 5, co jest dowodem na to, że jesteś głupi. BTW. W sumie to nie takie dalekie od prawdy, bo ostatnio jak podstawiałeś, to ci wyszło "dotrzyma słowa, że kino"

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Pią 21:42, 25 Kwi 2025 Temat postu:

Dowód bezpośredni fałszywości ziemskiej algebry Boole'a na poziomie funkcji logicznych w rachunku zero-jedynkowym!

Irbisol napisał:

Nikt nie wywala żadnych Y ani ~Y, schizofreniku. To jest właśnie twoje założenie.

Założenie ma tu gówno do rzeczy.
Logika matematyczna ziemskich matematyków nie zna pojęcia funkcji logicznej w logice ujemnej (bo ~Y).
W całym obszarze ziemskiej logiki matematycznej nie znajdziesz ani jednego dowodu w rachunku zero-jedynkowym uwzględniającego funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y)

Dowód bezpośredni fałszywości ziemskiej algebry Boole'a na poziomie funkcji logicznych w rachunku zero-jedynkowym masz niżej.

… i co płaskoziemco, zatkało kakao?

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

Algebra Kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
1.0 Nowa algebra Boole'a

Spis treści
1.8 Funkcje Y=x i operatory Y|=x jednoargumentowe 1
1.8.1 Definicja funkcji transmisji Y=p i operatora transmisji Y|=p 1
1.8.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p 2
1.8.3 Relacja matematyczna między operatorami Y|=p a Y|=~p 3
1.8.4 Prawo Grzechotnika dla funkcji jednoargumentowych 4
1.8.5 Prawo Sokoła 5

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

Z tabeli wszystkich możliwych operatorów jednoargumentowych zajmiemy się wyłącznie liniami A1B1 i A2B2 opisującymi świat żywy mający „wolną wolę”.

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

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

Realizacja rzeczywista:
SN7407 (Strona 1: Y=p)
[link widoczny dla zalogowanych]

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

Kod:

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

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

Definicja operatora transmisji Y|=p:
Operator transmisji Y|=p to układ równań logicznych A1: Y=p i B1: ~Y=~p dający odpowiedź na pytanie o Y i ~Y

Zobaczmy to w tabeli zero-jedynkowej:

Kod:

Doskonale tu widać że:
A1:
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A1.
B1:
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1

1.8.2 Definicja funkcji negacji Y=~p i operatora negacji Y|=~p

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

Realizacja rzeczywista:
SN7406 (strona 2: Y=~p)
[link widoczny dla zalogowanych]

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

Kod:

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

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

Definicja operatora negacji Y|=~p:
Operator negacji Y|=~p to układ równań logicznych A2: Y=~p i B2: ~Y=p dający odpowiedź na pytanie o Y i ~Y

Zobaczmy to w tabeli zero-jedynkowej:

Kod:

Doskonale tu widać że:
A2:
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
#
… kiedy zajdzie ~Y?
Negujemy dwustronnie równanie A2.
B2:
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1

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

Kod:

Kod:

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

Zapiszmy tabele OT i ON w symbolicznej tabeli prawdy:

Kod:

OTON:
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y|=~p
A2: Y=~p # B2: ~Y= p

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

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

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

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

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

1.8.4 Prawo Grzechotnika dla funkcji jednoargumentowych

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

Kod:

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

Prawo Grzechotnika:
Aktualna, ziemska algebra Boole'a która nie widzi funkcji logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y) jest wewnętrznie sprzeczna na poziomie funkcji logicznych.

Dowód:
Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych Y i ~Y.
Innymi słowy:
Ziemscy matematycy operując w rachunku zero-jedynkowym wyłącznie na prawych stronach funkcji logicznej w logice dodatniej (bo Y) i ujemnej (bo ~Y) z definicji usuwają zewsząd wszelkie funkcje Y i ~Y.

Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli OTON

Kod:

OTON”:
A1: p # B1: ~p
## ##
A2:~p # B2: p

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

1.8.5 Prawo Sokoła

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

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

Ostatnio zmieniony przez rafal3006 dnia Pią 22:02, 25 Kwi 2025, w całości zmieniany 4 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: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 7:11, 26 Kwi 2025 Temat postu:

Sensacyjne odkrycie logiki dodatniej i ujemnej w logice matematycznej!

W dzisiejszej matematyce nie ma pojęcia logiki dodatniej (bo Y) i ujemnej (bo ~Y) i to jest największa jej tragedia prowadząca do jej wewnętrznej sprzeczności, co zostało udowodnione w sposób bezpośredni w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11775.html#839751

rafal3006 napisał:

Dowód bezpośredni fałszywości ziemskiej algebry Boole'a na poziomie funkcji logicznych w rachunku zero-jedynkowym!

[link widoczny dla zalogowanych]
Dasio11 » 13 wrz 2023, o 11:53
Fragment dyskusji Rafala3006 z Dasio11 na matematyce.pl

Dasio11 – moderator na matematyce.pl napisał:

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

Odkrycie logiki dodatniej (bo Y) i logiki ujemnej (bo ~Y) w logice matematycznej ma identyczne znaczenie jak odkrycie liczb dodatnich (Y) i ujemnych (-Y) w matematyce klasycznej.

Czy wyobraża ktoś sobie współczesną matematykę bez pojęcia liczb dodatnich (Y) i ujemnych (-Y)?
Jak tu bez pojęcia -Y narysować choćby prostą o definicji:
Y=x ?!
:shock:

[link widoczny dla zalogowanych]

rafal3006 napisał:

Kiedy odkryto liczby ujemne?

Czy liczb ujemnych używano tak samo wcześnie jak liczb dodatnich? Nie! To zaskakujące, że liczby ujemne znamy od całkiem niedawna (szczególnie w Europie), a pełne zasady arytmetyki opracowano dopiero na początku XIX wieku.

Liczby ujemne stosowano od bardzo dawna dla określenia długu. Pierwsza wzmianka o liczbach ujemnych pojawia się w okresie II w. p.n.e. - I w. n.e. w Chinach w dziele wielu autorów w Matematyce w dziewięciu księgach - Jiuzhang suanshu.

Późniejsza wzmianka o liczbach ujemnych pojawia się w Indiach (prawdopodobnie jest to VII w. n.e.).

Co ciekawe, liczb ujemnych używano najpierw tak jak liczb dodatnich, ale w odniesieniu do określenia zadłużenia w różnego rodzaju transakcjach. Nie zdawano sobie sprawy z tego, że liczba ujemna to wartość przeciwna. Nie używano dla tych liczb znaku "minus".

Znak minus "-" pojawia się dopiero w 1489 roku i został użyty przez Johannesa Widmanna - niemieckiego ekonomisty i to dla oznaczania niedostatków wagi towarów - z czysto praktycznych względów. Właśnie w czasach renesansu (XV-XVI w.) rodziła się księgowość.

Liczby ujemne wcale nie były dobrze przyjęte w Europie. Nazywano je nawet liczbami dłużnymi lub liczbami absurdalnymi (np. Nicolas Chuquet, Michael Stifel). Wszelkie rozwiązania zadań, w których pojawiały się liczby ujemne zwyczajnie ignorowano, podobnie jak ignorowano pierwiastki liczb ujemnych nieco później, zanim odkryto liczby urojone (właśnie dzięki liczbom ujemnym).

Liczby ujemne pojawiały się już w abakach, jako kule o odmiennych kolorach.

Sam François Viète odrzucał liczby ujemne, twierdząc, że liczby mniejsze niż "nic" nie mają sensu. Blaise Pascal uznawał odejmowanie od zera liczby za bzdurę.

Antoine Arnauld (1612-1694) podał nawet dowód, który wskazywał na absurdalność liczb ujemnych, a odniósł się do tego problemu nawet sam Leibniz, choć ten akceptował liczby ujemne.

Gerolamo Cardano (1501-1576), Albert Girard (1595-1632), Thomas Harriot (1560-1621), Simon Stevin (1548-1620) jako pierwsi europejscy uczeni zaakceptowali rozwiązania problemów, w których pojawiały się "tajemnicze" liczby ujemne. Częściowo akceptował je także sam Kartezjusz.

Arytmetyka liczb ujemnych w pełni wykształciła się dopiero na początku XIX wieku.

Ostatnio zmieniony przez rafal3006 dnia Sob 7:27, 26 Kwi 2025, 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: 16693
Przeczytał: 8 tematów

Wysłany: Sob 8:29, 26 Kwi 2025 Temat postu:

rafal3006 napisał:

Irbisol napisał:

Nikt nie wywala żadnych Y ani ~Y, schizofreniku. To jest właśnie twoje założenie.

Założenie ma tu gówno do rzeczy.
Logika matematyczna ziemskich matematyków nie zna pojęcia funkcji logicznej w logice ujemnej (bo ~Y).

I z tego nie wynika, że usunie lewe strony z Y i ~Y.
A to jest twoje debilne założenie, na którym opierasz ten cały niedorozwinięty "dowód" :rotfl:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

TS7

Dołączył: 29 Wrz 2021
Posty: 513
Przeczytał: 4 tematy

Płeć: Mężczyzna

Wysłany: Sob 8:44, 26 Kwi 2025 Temat postu:

[link widoczny dla zalogowanych] [link widoczny dla zalogowanych]

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 10:17, 26 Kwi 2025 Temat postu:

Tautologia w logice ziemian = matematyczne gówno!
Dowód w niniejszym poście.

Irbisol napisał:

rafal3006 napisał:

Irbisol napisał:

Nikt nie wywala żadnych Y ani ~Y, schizofreniku. To jest właśnie twoje założenie.

Założenie ma tu gówno do rzeczy.
Logika matematyczna ziemskich matematyków nie zna pojęcia funkcji logicznej w logice ujemnej (bo ~Y).

I z tego nie wynika, że usunie lewe strony z Y i ~Y.
A to jest twoje debilne założenie, na którym opierasz ten cały niedorozwinięty "dowód" :rotfl:

Dowód iż znowu się zesrałeś masz niżej

Weźmy finałowy zapis z tego postu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11775.html#839751

rafal3006 napisał:

Dowód bezpośredni fałszywości ziemskiej algebry Boole'a na poziomie funkcji logicznych w rachunku zero-jedynkowym!

Algebra Kubusia napisał:

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

Kod:

Kod:

Gdzie:
## - różne na mocy definicji
Zmienne binarne p, Y muszą być wszędzie tymi samymi p, Y
inaczej błąd podstawienia

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

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

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

Zapiszmy dokładnie to samo co wyżej szeregowo:

Kod:

OTON
| A1: B1: | A2: B2:
p # ~p | Y=p # ~Y=~p ## Y=~p # ~Y=p
1 # 0 | 1 # 0 ## 0 # 1
0 # 1 | 0 # 1 ## 1 # 0
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - funkcje logiczne różne na mocy definicji ##
Zmienne binarne p, Y muszą być wszędzie tymi samymi p, Y
inaczej błąd podstawienia

Kod:

OTONG
|Dowód tautologii
| A1: B1: | A2: B2: |w gówno-logice ziemian
p # ~p | Y=p # ~Y=~p ## Y=~p # ~Y=p |A1: (Y=p)<=>B2: (~Y=p)
1 # 0 | 1 # 0 ## 0 # 1 | 1
0 # 1 | 0 # 1 ## 1 # 0 | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Zmienne binarne p, Y muszą być wszędzie tymi samymi p, Y
inaczej błąd podstawienia

Pytanie do Irbisola:
Czy zgadzasz się na zachodzącą tautologię (zdanie zawsze prawdziwe) w gówno-logice ziemskich matematyków?

O tą tautologię tu chodzi z tabeli OTONG:
A1: (Y=p) <=>B2: (~Y=p)

TAK/NIE

Ostatnio zmieniony przez rafal3006 dnia Sob 10:25, 26 Kwi 2025, 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: 16693
Przeczytał: 8 tematów

Wysłany: Sob 10:58, 26 Kwi 2025 Temat postu:

Gdzie tak udowadniają, schizofreniku?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 11:14, 26 Kwi 2025 Temat postu:

Irbisol napisał:

Gdzie tak udowadniają, schizofreniku? :rotfl:

Choćby tu, płaskoziemco:
https://www.youtube.com/watch?v=jlr5flQLJlM
:rotfl:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 16693
Przeczytał: 8 tematów

Wysłany: Sob 11:32, 26 Kwi 2025 Temat postu:

Na filmiku nie udowadniają tego, co wciskasz, schizofreniku.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 11:42, 26 Kwi 2025 Temat postu:

Irbisol napisał:

Na filmiku nie udowadniają tego, co wciskasz, schizofreniku.

Jak zwykle, albo nie czytasz, albo nie oglądasz.
Na końcu filmiku udowadniają przy pomocy tego znaczka <=>
L<=>P
c.n.d.
:rotfl:

Ostatnio zmieniony przez rafal3006 dnia Sob 11:43, 26 Kwi 2025, 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: 16693
Przeczytał: 8 tematów

Wysłany: Sob 12:10, 26 Kwi 2025 Temat postu:

Co nie znaczy, schizofreniku, że udowadniają takie samo L i P, co tobie się wydaje. To nie jest tak, że podstawiasz sobie co chcesz i zawsze jest to tautologia. Nie wiedziałeś o tym?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 12:50, 26 Kwi 2025 Temat postu:

Biedny płaskoziemco …

Irbisol napisał:

Co nie znaczy, schizofreniku, że udowadniają takie samo L i P, co tobie się wydaje.
To nie jest tak, że podstawiasz sobie co chcesz i zawsze jest to tautologia. Nie wiedziałeś o tym? :rotfl:

Biedny płaskoziemco …

W ziemskim rachunku zero-jedynkowym warunkiem rozstrzyganie czy mamy do czynienie z tautologią (sprawdzaną przy użyciu tego znaczka <=>) jest tylko i wyłącznie wymóg, by wszystkie zmienne binarne { p, q, Y …} były tymi samymi zmiennymi, inaczej błąd podstawienia – i ten warunek jest spełniony w cytacie niżej!
Pisze ci o tym w komentarzu do tabeli OTON.

Zgadzasz się z tym faktem?
TAK/NIE

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

rafal3006 napisał:

Tautologia w logice ziemian = matematyczne gówno!
Dowód w niniejszym poście.

Zapiszmy dokładnie to samo co wyżej szeregowo:

Kod:

Ostatnio zmieniony przez rafal3006 dnia Sob 12:53, 26 Kwi 2025, 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: 16693
Przeczytał: 8 tematów

Wysłany: Sob 13:55, 26 Kwi 2025 Temat postu:

Nie, schizofreniku. Tautologia musi zawsze spełniać równoważność, niezależnie od kombinacji wartości wszystkich zmiennych - nawet na filmie to masz. To jest podstawa podstaw. Tobie już dawno peron odjechał. Definicja: Wyrażenie W jest tautologią klasycznego rachunku zdań, wtedy i tylko wtedy, gdy przy każdym podstawieniu stałych za zmienne przechodzi w zdanie prawdziwe. Ostatnio zmieniony przez Irbisol dnia Sob 14:59, 26 Kwi 2025, w całości zmieniany 2 razy

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 15:33, 26 Kwi 2025 Temat postu:

Prawo matematycznego debila!
czyli:
Geneza błędu fatalnego w rachunku zero-jedynkowym ziemskich matematyków!

Irbisol napisał:

Nie, schizofreniku. Tautologia musi zawsze spełniać równoważność, niezależnie od kombinacji wartości wszystkich zmiennych - nawet na filmie to masz.
To jest podstawa podstaw. Tobie już dawno peron odjechał.

Nie płaskoziemco, (tobie odjechał peron razem z tobą) jedyny warunek jaki masz na filmie:
https://www.youtube.com/watch?v=jlr5flQLJlM
to oczywisty wymóg, że całym dowodzeniu tautologii wszelkie zmienne {p, q, r} muszą być tymi samymi zmiennymi.
Równoważności p<=>q to ty dowodzisz, a nie zakładasz z góry że cokolwiek jest równoważnością – jak w twoim gówno-cytacie wyżej.
KONIEC!

rafal3006 napisał:

Biedny płaskoziemco …

Irbisol napisał:

Co nie znaczy, schizofreniku, że udowadniają takie samo L i P, co tobie się wydaje.
To nie jest tak, że podstawiasz sobie co chcesz i zawsze jest to tautologia. Nie wiedziałeś o tym? :rotfl:

rafal3006 napisał:

Tautologia w logice ziemian = matematyczne gówno!
Dowód w niniejszym poście.

Zapiszmy dokładnie to samo co wyżej szeregowo:

Kod:

Tabela OTONG to dowód błędu fatalnego w ziemskiej tautologii, co Irbisol nawet zauważył, ale nie wie w którym kościele dzwony biją.

Irbisolu,
W żadnym ziemskim podręczniku matematyki, jak również w całym Internecie nie znajdziesz choćby jednego dowodu w rachunku zero-jedynkowym, który by uwzględniał funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) jak to pokazano w tabeli OTON.

W algebrze Boole’a absolutnie każdy dowód w ziemskim rachunku zero-jedynkowym operuje tylko i wyłącznie na prawych stronach funkcji logicznej:
Y=f(x)
Gdzie:
f(x) to dowolne wyrażenie algebry Boole’a
Przykład:
f(x) = p*q+~p*~q
Stąd mamy interesującą nas funkcję logiczną:
Y = p*q + ~p*~q

W naszym przypadku mamy do czynienia z funkcją logiczną Y jednej zmiennej binarnej gdzie możliwe są zaledwie cztery różna argumenty:
f(x) = {p, ~p, 1, 0}
W naszej tabeli OTON rozpatrujemy dwie, różne na mocy definicji funkcje logiczne jednej zmiennej binarnej:
Y = p
##
Y=~p
Gdzie:
## - funkcje logiczne różne na mocy definicji

Powtórzmy:

Prawo matematycznego debila:
W algebrze Boole’a absolutnie każdy dowód w ziemskim rachunku zero-jedynkowym operuje tylko i wyłącznie na prawych stronach funkcji logicznej:
Y=f(x)
Gdzie:
f(x) - dowolne wyrażenie algebry Boole’a

Nasz przykład:
Na wejściu mamy tabelę OTONG z cytatu wyżej:

Kod:

Zastosujmy prawo matematycznego debila do naszej tabeli prawdy OTONG, czyli wywalamy w kosmos wszelkie funkcje logiczne Y i ~Y.

Dokładnie to robi ziemska logika „matematyczna” w absolutnie każdym dowodzie rachunku zero-jedynkowego!

Nasz tabela OTONG przyjmie wtedy postać:

Kod:

OTONMD (MD - matematyczny debilizm)
|Dowód tautologii
| A1: B1: | A2: B2: |w gówno-logice ziemian
p # ~p | p # ~p ## ~p # p |A1: (p)<=>B2: (p)
1 # 0 | 1 # 0 ## 0 # 1 | 1
0 # 1 | 0 # 1 ## 1 # 0 | 1
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
Zmienne binarne p, Y muszą być wszędzie tymi samymi p, Y
inaczej błąd podstawienia

Jak widzimy, po skorzystaniu z prawa matematycznego debila, ziemska definicja tautologii działa „poprawnie”

Kwadratura koła dla Irbisola:
Irbisolu, przejrzyj wszystkie dowody zero-jedynkowe we wszystkich podręcznikach matematyki oraz w całym Internecie w poszukiwaniu jednego, jednego dowodu uwzględniającego funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) tak jak to pokazano w poniższej, jedynie poprawnej tabeli prawdy!

Jeśli znajdziesz taki dowód to uratujesz gówno-logikę matematyczną ziemskich matematyków.
Czas START!

Kod:

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 16693
Przeczytał: 8 tematów

Wysłany: Sob 16:20, 26 Kwi 2025 Temat postu:

Czyli wg ciebie bierzesz dowolne wyrażenia, dowolne zmienne, wyniki wychodzą różne, ale masz tautologię? Nawet podałem ci oficjalną definicję - ale ty wolisz wypierać rzeczywistość. Zobaczymy, do jakiego poziomu wyparcia dojdziesz - chociaż i tak zaszedłeś daleko. Ostatnio zmieniony przez Irbisol dnia Sob 16:37, 26 Kwi 2025, 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: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 17:04, 26 Kwi 2025 Temat postu:

Irbisol napisał:

Czyli wg ciebie bierzesz dowolne wyrażenia, dowolne zmienne, wyniki wychodzą różne, ale masz tautologię? :rotfl:

Nawet podałem ci oficjalną definicję - ale ty wolisz wypierać rzeczywistość. Zobaczymy, do jakiego poziomu wyparcia dojdziesz - chociaż i tak zaszedłeś daleko.

Nawiązując do ostatniej części mojego postu wyżej, czyli twojej kwadratury koła.

Czy znalazłeś już jeden, jedyny dowód zero-jedynowy na gruncie algebry Boole'a który uwzględnia funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y)?
Wszyscy widzą, że NIE!

Zatem przeszukuj dalej cały Internet w tym temacie.
Czas START!

rafal3006 napisał:

Prawo matematycznego debila!
czyli:
Geneza błędu fatalnego w rachunku zero-jedynkowym ziemskich matematyków!

Kwadratura koła dla Irbisola:
Irbisolu, przejrzyj wszystkie dowody zero-jedynkowe we wszystkich podręcznikach matematyki oraz w całym Internecie w poszukiwaniu jednego, jednego dowodu uwzględniającego funkcje logiczne w logice dodatniej (bo Y) i ujemnej (bo ~Y) tak jak to pokazano w poniższej, jedynie poprawnej tabeli prawdy!

Jeśli znajdziesz taki dowód to uratujesz gówno-logikę matematyczną ziemskich matematyków.
Czas START!

Kod:

P.S.
Zdanie zawsze prawdziwe, ziemska tautologia to beużyteczne w praktyce, matematyczne gówno.

Dowód masz na samiutkim początku AK:

Nowa algebra Boole'a napisał:

1.1 Definicje elementarne algebry Boole'a

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

Innymi słowy:
Prawda (1) to zaprzeczenie (~) fałszu (0)
Fałsz (0) to zaprzeczenie (~) prawdy (1)

Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)

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

Ostatnio zmieniony przez rafal3006 dnia Sob 17:08, 26 Kwi 2025, 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: 16693
Przeczytał: 8 tematów

Wysłany: Sob 17:14, 26 Kwi 2025 Temat postu:

Nie rozpoczynaj nowych tematów, spierdalaczu. Jest o twoim gadzie i że niby matematycy stwierdzają jakaś twoją tautologię, która wcale tautologią nie jest. Pojąłeś już, że tautologia musi być zawsze prawdziwa, a nie jak u ciebie - że wrzucasz co chcesz i masz tautologię?

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

rafal3006
Opiekun Forum Kubusia

Dołączył: 30 Kwi 2006
Posty: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 17:18, 26 Kwi 2025 Temat postu:

Irbisol napisał:

Nie rozpoczynaj nowych tematów, spierdalaczu.
Jest o twoim gadzie i że niby matematycy stwierdzają jakaś twoją tautologię, która wcale tautologią nie jest.
Pojąłeś już, że tautologia musi być zawsze prawdziwa, a nie jak u ciebie - że wrzucasz co chcesz i masz tautologię?

W którym miejscu wrzucam co chcę - cytat poproszę, płaskoziemco.
Leżymy i kwiczymy - tyle zostanie z Irbisolowego cytatu, co wszyscy za chwilkę zobaczą.

Powrót do góry

Zobacz poprzedni temat :: Zobacz następny temat

Autor

Wiadomość

Irbisol

Dołączył: 06 Gru 2005
Posty: 16693
Przeczytał: 8 tematów

Wysłany: Sob 17:28, 26 Kwi 2025 Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11775.html#839817 W ziemskim rachunku zero-jedynkowym warunkiem rozstrzyganie czy mamy do czynienie z tautologią (sprawdzaną przy użyciu tego znaczka <=>) jest tylko i wyłącznie wymóg, by wszystkie zmienne binarne { p, q, Y …} były tymi samymi zmiennymi, inaczej błąd podstawienia Ty już nie kontrolujesz, co sam piszesz. Swoją drogą, to twoje powtarzanie, że symbole muszą oznaczać to samo, to doprawdy niezbędna informacja ... Ostatnio zmieniony przez Irbisol dnia Sob 19:01, 26 Kwi 2025, 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: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 20:51, 26 Kwi 2025 Temat postu:

Fragment z algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937-25.html#727801

Algebra Kubusia - matematyka języka potocznego
20.0 Zero-jedynkowe tajemnice algebry Boole’a

Spis treści
20.0 Zero-jedynkowe tajemnice algebry Boole’a 1
20.1 Operatory jednoargumentowe w tabeli prawdy 2
20.1.1 Operatory jednoargumentowe w tabelach zero-jedynkowych 4
20.1.2 Prawo Grzechotnika - Armagedon ziemskiego rachunku zero-jedynkowego 5
20.2 Operator transmisji A0B0: Y|=p w rachunku zero-jedynkowym 7
20.2.1 Przykład operatora transmisji A0B0: Y|=K 7
20.3 Operator negacji A1B1: Y|=~p 9
20.3.1 Przykład operatora negacji A1B1: Y|=~K 10
20.4 Operator zdania zawsze prawdziwego A2B2: Y|=p+~p 11
20.4.1 Przykład operatora zdania zawsze prawdziwego A2B2: Y|=K+~K 12
20.5 Operator zdania zawsze fałszywego A3B3: Y|=p*~p 14
20.5.1 Przykład operatora zdania zawsze fałszywego A3B3: Y|=K*~K 14
20.6 Podsumowanie operatorów jednoargumentowych Y|=f(x) 16

20.0 Zero-jedynkowe tajemnice algebry Boole’a

Niniejszy rozdział to matematyka rozszerzona, której znajomość nie jest konieczna dla biegłego posługiwania się operatorami jednoargumentowymi, tą umiejętność wyssaliśmy z mlekiem matki.
Nie ma tu nic takiego co byłoby niezrozumiałe dla człowiek myślącego, ucznia I klasy LO.

Tabela prawdy operatorów jednoargumentowych wyprowadzona w punkcie 1.3.2.

Kod:

TJ
Tabela wszystkich możliwych operatorów jednoargumentowych
Operator transmisji Y|=p
A1: Y= p # B1: ~Y=~p
## ##
Operator negacji Y=|~p
A2: Y=~p # B2: ~Y= p
## ##
Zdanie zawsze prawdziwe Y|=1 (stała binarna)
A3: Y=1 # B3: ~Y=0
## ##
Zdanie zawsze fałszywe Y|=0 (stała binarna)
A4: Y=0 # B4: ~Y=1
Matematycznie zachodzi tożsamość:
~Y=~(Y)
~p=~(p)
Stąd mamy:
p, Y muszą być wszędzie tymi samymi p, Y inaczej błąd podstawienia
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

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

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

Doskonale widać, że w tabeli TJ definicje obu znaczków # i ## są perfekcyjnie spełnione.

Linie A3B3 i A4B4 to bezcenne zero-jedynkowe definicje prawa Prosiaczka.
Znaczenie alternatywne:
Linie A3B3 i A4B4 to stałe binarne, wykorzystywane w definiowaniu nowych pojęć

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

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

Wyprowadzenie praw Prosiaczka znajdziemy w punkcie 1.4.
Interpretację stałych binarnych w tabeli TJ (A3B3 i A4B4) znajdziemy w punkcie 1.5

20.1 Operatory jednoargumentowe w tabeli prawdy

Kod:

ZZP:
Definicja zdania zawsze prawdziwego Y=p+~p=D=1
p + ~p Y=p+~p=D =1
A: 1 + 0 1
B: 0 + 1 1
Gdzie:
D - dziedzina wspólna dla p i ~p
Y - stała binarna o wartości logicznej 1

Kod:

ZZF:
Definicja zdania zawsze fałszywego Y=p*~p=[]=0
p * ~p Y=p*~p=[]=0
A: 1 * 0 0
B: 0 * 1 0
Gdzie:
[] - zbiór/zdarzenie puste
Y - stała binarna o wartości logicznej 0

Definicja zmiennej binarnej:
Zmienna binarna to symbol mogący w osi czasu przyjmować dwie wartości logiczne {0,1}.

W tabelach ZZP i ZZF zmiennymi binarnymi są symbole p i ~p co widać w kolumnach p i ~p.

Definicja stałej binarnej:
Stała binarna to symbol będący w osi czasu twardą prawdą (ZZP_Y), albo twardym zerem (ZZF_Y)

W tabeli ZZP symbol Y jest stałą binarną o wartości logicznej twardej jedynki.
W tabeli ZZF symbol Y jest stałą binarną o wartości logicznej twardego zera.
Nie ma możliwości w czasie od minus do plus nieskończoności, by stała binarna przyjęła przeciwną
wartość logiczną.

W świecie rzeczywistym, opisane wyżej właściwości zmiennych binarnych i stałych binarnych możemy zaobserwować na oscyloskopie, przyrządzie pomiarowym służącym do obserwacji szybkich przebiegów zmiennych.

20.1.1 Operatory jednoargumentowe w tabelach zero-jedynkowych

Definicja operatora logicznego jednoargumentowego Y|=f(p):
Operator logiczny jednoargumentowy Y|=f(p) to układ równań logicznych dający odpowiedź na pytanie o Y i ~Y.

Innymi słowy:
1.
Dana jest funkcja logiczna w logice dodatniej (bo Y)
Y=f(p)
… a kiedy zajdzie ~Y?
#
2.
Negujemy dwustronnie funkcje logiczną (1) w logice dodatniej (bo Y):
~Y=~f(p)
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony

Stąd mamy:

Kod:

TF1
Zero-jedynkowa tabela prawdy jednoargumentowych operatorów logicznych
Czyli:
Tabela prawdy jednoargumentowych funkcji logicznych Y=f(p)
w logice dodatniej (bo Y) i w logice ujemnej (bo ~Y)
A0: A1: A2: A3:
p ~p Y=p ## p ~p Y=~p ## p ~p Y=p+~p=1 ## p ~p Y=p*~p=0
A: 1 0 1 ## 1 0 0 ## 1 0 1 ## 1 0 0
B: 0 1 0 ## 0 1 1 ## 0 1 1 ## 0 1 0
# # # ## # # # ## # # # ## # # #
B0: B1: B2: B3:
~p p ~Y=~p ## ~p p ~Y=p ## ~p p ~Y=~p*p=0 ## ~p p ~Y=~p+p=1
C: 0 1 0 ## 0 1 1 ## 0 1 0 ## 0 1 1
D: 1 0 1 ## 1 0 0 ## 1 0 0 ## 1 0 1
1 2 3 4 5 6 7 8 9 10 11 12
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i Y muszą być wszędzie tymi samymi p i Y inaczej błąd podstawienia

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

Definicja znaczka różne na mocy definicji ##
Dwie funkcje logiczne {Y, ~Y} są różne na mocy definicji ## wtedy i tylko wtedy gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej.

Doskonale widać, że tabela TF1 perfekcyjnie spełnia zarówno definicję znaczka różne # jak i definicję znaczka różne na mocy definicji ##

Dokładnie ta sama tabela zapisana prościej, wyłącznie funkcjami logicznymi Y i ~Y bez rozpisywania w tabelach zero-jedynkowych.

Kod:

TJ
Operatory logiczne jednoargumentowe Y|=f(p):
1.
Operator transmisji Y|=p to układ równań logicznych A0 i B0
Funkcja transmisji |Funkcja transmisji
w logice dodatniej (bo Y) |w logice ujemnej (bo ~Y)
A0: Y= p # B0: ~Y=~p
## ##
2.
Operator negacji Y|=~p to układ równań logicznych A1 i B1
Funkcja negacji |Funkcja negacji
w logice dodatniej (bo Y) |w logice ujemnej (bo ~Y)
A1: Y=~p # B1: ~Y= p
## ##
3.
Operator zdania zawsze prawdziwego Y|=p+~p to układ równań A2 i B2
Zdanie zawsze prawdziwe |Zdanie zawsze fałszywe
w logice dodatniej (bo Y) |w logice ujemnej (bo ~Y)
A2: Y= p+~p=1 # B2: ~Y= p*~p=0
## ##
4.
Operator zdania zawsze fałszywego Y|=p*~p to układ równań A3 i B3
Zdanie zawsze fałszywe |Zdanie zawsze prawdziwe
w logice dodatniej (bo Y) |w logice ujemnej (bo ~Y)
A3: Y= p*~p=0 # B3: ~Y= p+~p=1

Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i Y muszą być wszędzie tymi samymi p i Y inaczej błąd podstawienia

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

Definicja znaczka różne na mocy definicji ##
Dwie funkcje logiczne Y 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 tabela TJ perfekcyjnie spełnia zarówno definicję znaczka różne # jak i definicję znaczka różne na mocy definicji ##

20.1.2 Prawo Grzechotnika - Armagedon ziemskiego rachunku zero-jedynkowego

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

Największą tragedią ziemskiego rachunku zero-jedynkowego jest fakt, że w bramkach logicznych po stronie wejścia cyfrowego widzi on 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?

Aktualny rachunek zero-jedynkowy ziemskich matematyków operuje tylko i wyłącznie na wyrażeniach algebry Boole’a, czyli na prawych stronach funkcji logicznych zapisanych w tabeli TJ
Dowód:
W całym Internecie (plus podręczniki matematyki) kolumny wynikowe w rachunku zero-jedynkowym opisywane są wyłącznie wyrażeniami algebry Boole’a, a nie funkcjami logicznymi Y i ~Y jak to jest w algebrze Kubusia.
W porywach (rzadkich przypadkach) ziemskiego rachunku zero-jedynkowego znajdziemy zapis funkcji logicznej Y w logice dodatniej (bo Y), ale nigdzie nie znajdziemy tej samej funkcji logicznej w logice ujemnej (bo ~Y).

Usuńmy zatem wszystkie funkcje logiczne Y i ~Y z tabeli TJ pozostawiając jedynie wyrażenia algebry Boole’a

Kod:

TJ"
Operatory logiczne jednoargumentowe Y|=f(p):
1.
Operator transmisji Y|=p to układ równań logicznych A0 i B0
A0: p # B0: ~p
## ##
2.
Operator negacji Y|=~p to układ równań logicznych A1 i B1
A1:~p # B1: p
## ##
3.
Operator zdania zawsze prawdziwego Y|=p+~p to układ równań A2 i B2
A2: p+~p=1 # B2: p*~p=0
## ##
4.
Operator zdania zawsze fałszywego Y|=p*~p to układ równań A3 i B3
A3: p*~p=0 # B3: p+~p=1

Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i Y muszą być wszędzie tymi samymi p i Y inaczej błąd podstawienia

Po usunięciu funkcji logicznych Y i ~Y najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definicji ## leży gruzach bowiem w tabeli TJ" zachodzą następujące tożsamości logiczne

Kod:

A0: p = B1: p
A1: ~p = B0: ~p
A2: p+~p=1 = B3: p+~p=1
A3: p*~p=0 = B2: p*~p=0

Stąd mamy:
Prawo Grzechotnika:
Ziemski rachunek zero-jedynkowy który nie widzi funkcji logicznej w logice dodatniej (bo Y) i funkcji logicznej w logice ujemnej (bo ~Y) jest wewnętrznie sprzeczny na poziomie funkcji logicznych.
cnd

20.2 Operator transmisji A0B0: Y|=p w rachunku zero-jedynkowym

Kod:

TF1
Tabela prawdy jednoargumentowych funkcji logicznych Y=f(p)
w logice dodatniej (bo Y) i w logice ujemnej (bo ~Y)
A0: A1: A2: A3:
p ~p Y=p ## p ~p Y=~p ## p ~p Y=p+~p=1 ## p ~p Y=p*~p=0
A: 1 0 1 ## 1 0 0 ## 1 0 1 ## 1 0 0
B: 0 1 0 ## 0 1 1 ## 0 1 1 ## 0 1 0
# # # ## # # # ## # # # ## # # #
B0: B1: B2: B3:
~p p ~Y=~p ## ~p p ~Y=p ## ~p p ~Y=~p*p=0 ## ~p p ~Y=~p+p=1
C: 0 1 0 ## 0 1 1 ## 0 1 0 ## 0 1 1
D: 1 0 1 ## 1 0 0 ## 1 0 0 ## 1 0 1
1 2 3 4 5 6 7 8 9 10 11 12
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji funkcji logicznych
p i Y muszą być wszędzie tymi samymi p i Y inaczej błąd podstawienia

Definicja operatora transmisji Y|=p:
Operator transmisji Y|=p to układ równań logicznych funkcji transmisji A0: Y=p w logice dodatniej (bo Y) oraz funkcji transmisji B0: ~Y=~p w logice ujemnej (bo ~Y)
A0.
Y=p
co w logice jedynek oznacza:
Y=1 <=> p=1
bo w standardzie dodatnim języka potocznego jedynki są domyślne.
#
… a kiedy zajdzie ~Y?
Negujemy równanie A0 stronami:
B0.
~Y=~p
co w logice jedynek oznacza:
~Y=1 <=> ~p=1
bo w standardzie dodatnim języka potocznego jedynki są domyślne.
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony

20.2.1 Przykład operatora transmisji A0B0: Y|=K

Pani w przedszkolu A0 wypowiada zdanie:
A0.
Jutro pójdziemy do kina
Y=K
To samo w logice formalnej:
p=K (kino)
stąd:
Y=p
Doskonale widać, że zdanie A0: Y=K możemy przyporządkować wyłącznie do kolumny A0B0

Kod:

TF1
Tabela prawdy jednoargumentowych funkcji logicznych
A0: A1: A2: A3:
K ~K Y=K ## p ~p Y=~p ## p ~p Y=p+~p=1 ## p ~p Y=p*~p=0
A: 1 0 1 ## 1 0 0 ## 1 0 1 ## 1 0 0
B: 0 1 0 ## 0 1 1 ## 0 1 1 ## 0 1 0
# # # ## # # # ## # # # ## # # #
B0: B1: B2: B3:
~K K ~Y=~K ## ~p p ~Y=p ## ~p p ~Y=~p*p=0 ## ~p p ~Y=~p+p=1
C: 0 1 0 ## 0 1 1 ## 0 1 0 ## 0 1 1
D: 1 0 1 ## 1 0 0 ## 1 0 0 ## 1 0 1
1 2 3 4 5 6 7 8 9 10 11 12

Przykład A0
Pani w przedszkolu A0 wypowiada zdanie:
A0.
Jutro pójdziemy do kina
A0: Y=K
co w logice jedynek oznacza:
A0: Y=1 <=> K=1
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy juro pójdziemy do kina (K=1)

Zuzia do Jasia (oboje po 5 wiosenek).
Czy wiesz kiedy pani nie dotrzyma słowa (~Y=1)?
Jaś:
Oczywiście, że wiem.
Negujemy równanie A0 stronami:
B0: ~Y=~K
co w logice jedynek oznacza:
B0: ~Y=1 <=> ~K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1)

Jak widzimy, obsługą naszego przykładu zajmuje się wyłącznie kolumna 3.
W części A0 doskonale widać że:
Y=1 <=> K=1
W części B0 doskonale widać, że:
~Y=1 <=> ~K=1
cnd

Wnioski:
1.
Zauważmy, że nasze zdanie A0: Y=K w logice dodatniej (bo Y) możemy umiejscowić tylko i wyłącznie w obszarze 123.
2.
Także odpowiedź B0 na pytanie o ~Y możemy umiejscowić tylko i wyłącznie w obszarze 123.
3.
Z powyższego wynika, że dowolne zdanie z obszaru 123 jest różne na mocy definicji ## od jakiegokolwiek zdania spoza tego obszaru.
Innymi słowy:
Nie istnieje prawo logiki matematycznej które by wiązało ze sobą dowolną funkcję logiczną z obszaru 123 z jakąkolwiek funkcją logiczną spoza tego obszaru.
cnd

Stąd mamy wyprowadzone prawo Puchacza.
Prawo Puchacza:
Dowolna funkcja logiczna jednoargumentowa może należeć do jednego i tylko jednego operatora logicznego jednoargumentowego

20.3 Operator negacji A1B1: Y|=~p

Kod:

Definicja operatora negacji Y|=~p:
Operator negacji Y|=~p to układ równań logicznych funkcji negacji A1: Y=~p w logice dodatniej (bo Y) oraz funkcji negacji B1: ~Y=p w logice ujemnej (bo ~Y)
A1.
Y=~p
co w logice jedynek oznacza:
Y=1 <=> ~p=1
bo w standardzie dodatnim języka potocznego jedynki są domyślne.
#
… a kiedy zajdzie ~Y?
Negujemy równanie A1 stronami:
B1.
~Y=p
co w logice jedynek oznacza:
~Y=1 <=> p=1
bo w standardzie dodatnim języka potocznego jedynki są domyślne.
Gdzie:
# - różne w znaczeniu iż dowolna strona znaczka # jest negacją drugiej strony

20.3.1 Przykład operatora negacji A1B1: Y|=~K

Przykład zdania wypowiedzianego podlegającego pod operator negacji A1: Y|=>~p

Pani w przedszkolu A1 wypowiada zdanie:
A1.
Jutro nie pójdziemy do kina
Y=~K
To samo w logice formalnej:
p=K (kino)
~p=~(K)
~p=~K (nie (~) kino K)
stąd:
Y=~p
Doskonale widać, że zdanie A1: Y=~K możemy przyporządkować wyłącznie do kolumny A1B1

Kod:

TF1
Tabela prawdy jednoargumentowych funkcji logicznych
A0: A1: A2: A3:
p ~q Y=q ## K ~K Y=~K ## p ~p Y=p+~p=1 ## p ~p Y=p*~p=0
A: 1 0 1 ## 1 0 0 ## 1 0 1 ## 1 0 0
B: 0 1 0 ## 0 1 1 ## 0 1 1 ## 0 1 0
# # # ## # # # ## # # # ## # # #
B0: B1: B2: B3:
~p q ~Y=~p ## ~K K ~Y=K ## ~p p ~Y=~p*p=0 ## ~p p ~Y=~p+p=1
C: 0 1 0 ## 0 1 1 ## 0 1 0 ## 0 1 1
D: 1 0 1 ## 1 0 0 ## 1 0 0 ## 1 0 1
1 2 3 4 5 6 7 8 9 10 11 12

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

Zuzia do Jasia:
Czy wiesz kiedy pani nie dotrzyma słowa (~Y=1)?
Jaś:
Oczywiście, że wiem.
Negujemy równanie A1 stronami:
B1: ~Y=K
co w logice jedynek oznacza:
B1: ~Y=1 <=> K=1
Czytamy:
Pani nie dotrzyma słowa (~Y=1) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1)

Jak widzimy, obsługą naszego przykładu zajmuje się wyłącznie kolumna 6.
W części A1 doskonale widać że:
Y=1 <=> ~K=1
W części B1 doskonale widać, że:
~Y=1 <=> K=1
cnd

Wnioski:
1.
Zauważmy, że nasze zdanie A1: Y=~K w logice dodatniej (bo Y) możemy umiejscowić tylko i wyłącznie w obszarze 456.
2.
Także odpowiedź B1 na pytanie o ~Y możemy umiejscowić tylko i wyłącznie w obszarze 456.
3.
Z powyższego wynika, że dowolne zdanie z obszaru 456 jest różne na mocy definicji ## od jakiegokolwiek zdania spoza tego obszaru.
Innymi słowy:
Nie istnieje prawo logiki matematycznej które by wiązało ze sobą dowolną funkcję logiczną z obszaru 456 z jakąkolwiek funkcją logiczną spoza tego obszaru.
cnd

Stąd mamy wyprowadzone prawo Puchacza.
Prawo Puchacza:
Dowolna funkcja logiczna jednoargumentowa może należeć do jednego i tylko jednego operatora logicznego jednoargumentowego

20.4 Operator zdania zawsze prawdziwego A2B2: Y|=p+~p

Kod:

Definicja operatora zdania zawsze prawdziwego Y|=p+~p:
Operator zdania zawsze prawdziwego Y|=p+~p to układ równań funkcji logicznej A2: Y=p+~p=1 w logice dodatniej (bo Y) oraz funkcji logicznej B2: ~Y=~p*p=0 w logice ujemnej (bo ~Y)

A2.
Funkcja logiczna w logice dodatniej (bo Y)
A2: Y=p+~p =1 - na mocy prawa algebry Boole’a: p+~p=1
co w logice jedynek oznacza:
A2: Y=1 <=> p=1 lub ~p=1
Czytamy:
Prawdą jest (=1) że funkcja logiczna Y ma wartość logiczną twardej jedynki (Y=1), niezależnie od tego czy zajdzie p=1 czy też ~p=1
Doskonale to widać w kolumnie Y: A2_9

… a kiedy zajdzie ~Y?
Negujemy funkcję logiczną A2 stronami:
B2: ~Y=~(p+~p) =0
Na mocy prawa De Morgana zapisujemy:
B2: ~Y=~p*p =0 - na mocy prawa algebry Boole'a: ~p*p=0
Środkowy człon wolno nam pominąć bo jest zbiorem/zdarzeniem pustym [].
Stąd mamy:
B2: ~Y=0
Czytamy:
Fałszem jest (=0) że zajdzie ~Y
Doskonale to widać w kolumnie ~Y: B2_9

20.4.1 Przykład operatora zdania zawsze prawdziwego A2B2: Y|=K+~K

Pani w przedszkolu A2 wypowiada zdanie:
A2.
Jutro pójdziemy do kina (K=1) lub nie pójdziemy do kina (~K=1)
Y = K+~K =1 - na mocy prawa algebry Boole’a: p+~p=1
To samo w zapisie formalnym:
p=K
Stąd mamy:
A2: Y = p+~p =1
Jak widzimy zdanie A2 możemy ulokować tylko i wyłącznie w kolumnie A2B2

Kod:

TF1
Tabela prawdy jednoargumentowych funkcji logicznych
A0: A1: A2: A3:
p ~q Y=q ## K ~K Y=~K ## K ~K Y=K+~K=1 ## p ~p Y=p*~p=0
A: 1 0 1 ## 1 0 0 ## 1 0 1 ## 1 0 0
B: 0 1 0 ## 0 1 1 ## 0 1 1 ## 0 1 0
# # # ## # # # ## # # # ## # # #
B0: B1: B2: B3:
~p q ~Y=~p ## ~K K ~Y=K ## ~K K ~Y=~K*K=0 ## ~p p ~Y=~p+p=1
C: 0 1 0 ## 0 1 1 ## 0 1 0 ## 0 1 1
D: 1 0 1 ## 1 0 0 ## 1 0 0 ## 1 0 1
1 2 3 4 5 6 7 8 9 10 11 12

Przykład A2
Pani w przedszkolu A2 wypowiada zdanie:
A2.
Jutro pójdziemy do kina (K=1) lub nie pójdziemy do kina (~K=1)
Y = K+~K =1 - na mocy prawa algebry Boole’a: p+~p=1
Co w logice jedynek oznacza:
Y=1 <=> K=1 lub ~K=1
Czytamy:
Prawdą jest (=1), że pani jutro dotrzyma słowa (Y), niezależnie od tego czy pójdziemy do kina (K), czy też nie pójdziemy do kina (~K)
Z chwilą wypowiedzenia zdania A2 pani ustawiła tu twardą jedynkę i nie ma szans na zostanie w dniu jutrzejszym kłamczuchą.

#
… a kiedy zajdzie ~Y?
Negujemy dwustronnie funkcje logiczną Y
B2: ~Y = ~(K+~K) =0
Na mocy prawa De Morgana zapisujemy:
B2: ~Y=~K*K =0 - na mocy prawa algebry Boole'a: ~p*p=0
Środkowy człon wolno nam pominąć bo jest zbiorem/zdarzeniem pustym [].
Stąd mamy:
B2: ~Y=0
Czytamy:
Fałszem jest (=0) że jutro pani nie dotrzyma słowa (~Y)
Doskonale to widać w kolumnie ~Y: B2_9

Znaczenie symbolu Y:
Y - pani dotrzyma słowa (Y=1)
~Y - panie nie dotrzyma słowa (~Y=1)

Wniosek
Pani przedszkolanka w przedszkolu wypowiadając zdanie A2: Y=K+~K=1 nie ma szans na nie dotrzymanie słowa w dniu jutrzejszym B2: ~Y=~K*K=0
Bo prawo Prosiaczka:
A2: (Y=1) = B2: (~Y=0)
cnd

Podsumowanie:
1.
Jak widzimy, obsługą naszego przykładu zajmuje się wyłącznie kolumna 9.
2.
Z powyższego wynika, że dowolne zdanie z obszaru 789 jest różne na mocy definicji ## od jakiegokolwiek zdania spoza tego obszaru.
Innymi słowy:
Nie istnieje prawo logiki matematycznej które by wiązało ze sobą dowolną funkcję logiczną z obszaru 789 z jakąkolwiek funkcją logiczną spoza tego obszaru.

Stąd mamy wyprowadzone prawo Puchacza.
Prawo Puchacza:
Dowolna funkcja logiczna jednoargumentowa może należeć do jednego i tylko jednego operatora logicznego jednoargumentowego

Zauważmy, że powyższy przykład, choć matematycznie poprawny to w istocie nikomu niepotrzebna sztuka dla sztuki, bo nikt przy zdrowych zmysłach nie sypie zdaniami zawsze prawdziwymi typu Y=K+~K. Podstawowe zastosowanie stałych binarnych A3B3 i A4B4 to definiowanie nowych pojęć niezbędne już w wieku niemowlęcym (pkt. 20.2.1)

20.5 Operator zdania zawsze fałszywego A3B3: Y|=p*~p

Kod:

Definicja operatora zdania zawsze fałszywego Y|=p*~p:
Operator zdania zawsze fałszywego Y|=p*~p to układ równań logicznych A3: Y=p*~p=0 w logice dodatniej (bo Y) oraz B3: ~Y=~p+p=1 w logice ujemnej (bo ~Y)

A3.
Funkcja logiczna w logice dodatniej (bo Y)
A3: Y=p*~p =0 - na mocy prawa algebry Boole’a: p*~p=0
Środkowy człon wolno nam pominąć bo jest zbiorem/zdarzeniem pustym [].
Stąd mamy:
A3: Y=0
Czytamy:
Fałszem jest (=0) że zajdzie Y
Doskonale to widać w kolumnie Y: A3_12

… a kiedy zajdzie ~Y?
Negujemy funkcję logiczną A3 stronami:
B3: ~Y=~(p*~p) =1
Na mocy prawa De Morgana zapisujemy:
B3: ~Y=~p+p =1 - na mocy prawa algebry Boole'a: ~p+p=1
co w logice jedynek oznacza:
B3: ~Y=1 <=> ~p=1 lub p=1
Czytamy:
Prawdą jest (=1) że zajdzie ~Y, niezależnie od tego czy zajdzie p=1 czy też ~p=1.
Musi zajść p=1 albo ~p=1 - trzeciej możliwości brak.
Doskonale to widać w kolumnie ~Y: B3_12

20.5.1 Przykład operatora zdania zawsze fałszywego A3B3: Y|=K*~K

Przykład A3
Pani w przedszkolu A3 wypowiada zdanie:
A3.
Jutro pójdziemy do kina i nie pójdziemy do kina
A3: Y = K*~K =0 - na mocy prawa algebry Boole’a: p*~p=0
To samo w zapisie formalnym:
p=K
Stąd mamy:
A3: Y = p*~p =0
Jak widzimy zdanie A3 możemy ulokować tylko i wyłącznie w kolumnie A3B3

Kod:

TF1
Tabela prawdy jednoargumentowych funkcji logicznych
A0: A1: A2: A3:
p ~p Y=p ## p ~p Y=~p ## p ~p Y=p+~p=1 ## p ~p Y=K*~K=0
A: 1 0 1 ## 1 0 0 ## 1 0 1 ## 1 0 0
B: 0 1 0 ## 0 1 1 ## 0 1 1 ## 0 1 0
# # # ## # # # ## # # # ## # # #
B0: B1: B2: B3:
~p p ~Y=~p ## ~p p ~Y=p ## ~p p ~Y=~p*p=0 ## ~p p ~Y=~K+K=1
C: 0 1 0 ## 0 1 1 ## 0 1 0 ## 0 1 1
D: 1 0 1 ## 1 0 0 ## 1 0 0 ## 1 0 1
1 2 3 4 5 6 7 8 9 10 11 12

Przykład A3
Pani w przedszkolu A3 wypowiada zdanie:
A3.
Jutro pójdziemy do kina i nie pójdziemy do kina
A3: Y = K*~K =0 - na mocy prawa algebry Boole’a: p*~p=0
Środkowy człon wolno nam pominąć bo jest zbiorem/zdarzeniem pustym [].
Stąd mamy:
A3: Y=0
Czytamy:
Fałszem jest (=0) że pani jutro dotrzyma słowa (Y)
Doskonale to widać w kolumnie Y: A3_12

#
… a kiedy pani nie dotrzyma słowa (~Y=1)?
Negujemy dwustronnie funkcje logiczną Y.
B3.
~Y = ~(K*~K) =0
Na mocy prawa De Morgana:
B3: ~Y=~K+K =1 - bo prawo algebry Boole'a: ~p+p =1
co w logice jedynek oznacza:
B3: (~Y=1) <=> ~K=1 lub K=1
Czytamy:
Prawdą jest (=1) że pani nie dotrzyma słowa (~Y), niezależnie od tego czy jutro pójdziemy do kina (K=1) czy też nie pójdziemy do kina (~K=1)
Jutro możemy pójść do kina (K=1) albo nie pójść do kina (~K=1) - trzeciej możliwości brak.
Doskonale to widać w kolumnie ~Y: B3_12

Znaczenie symbolu Y:
Y - pani dotrzyma słowa (Y=1)
~Y - pani nie dotrzyma słowa (~Y=1)

Wniosek:
Pani przedszkolanka w przedszkolu A3 wypowiadając zdanie A3 nie ma szans na dotrzymanie słowa (Y=1) w dniu jutrzejszym.
W momencie wypowiedzenia zdania A3 pani jest kłamczuchą, o czym każdy 5-cio latek wie.

Podsumowanie:
1.
Jak widzimy, obsługą naszego przykładu zajmuje się wyłącznie kolumna 12.
2.
Z powyższego wynika, że dowolne zdanie z obszaru 10:11:12 jest różne na mocy definicji ## od jakiegokolwiek zdania spoza tego obszaru.
Innymi słowy:
Nie istnieje prawo logiki matematycznej które by wiązało ze sobą dowolną funkcję logiczną z obszaru 10:11:12 z jakąkolwiek funkcją logiczną spoza tego obszaru.

Stąd mamy wyprowadzone prawo Puchacza.
Prawo Puchacza:
Dowolna funkcja logiczna jednoargumentowa może należeć do jednego i tylko jednego operatora logicznego jednoargumentowego

Zauważmy, że powyższy przykład, choć matematycznie poprawny to w istocie nikomu niepotrzebna sztuka dla sztuki, bo nikt przy zdrowych zmysłach nie sypie zdaniami zawsze fałszywymi typu Y=K*~K.
Podstawowe zastosowanie stałych binarnych A3B3 i A4B4 to definiowanie nowych pojęć niezbędne już w wieku niemowlęcym (pkt. 20.2.1)

20.6 Podsumowanie operatorów jednoargumentowych Y|=f(x)

Weźmy tabelę zero-jedynkową wszystkich możliwych operatorów jednoargumentowych.

Kod:

Definicja dziedziny D na której operowaliśmy w naszych przykładach:
K+~K=D=1 - zdarzenie ~K jest uzupełnieniem do wspólnej dziedziny D dla zdarzenia K
K*~K=[]=0 - zdarzenia K i ~K są rozłączne

Znaczenie zmiennych na których operowaliśmy w naszych przykładach wyżej było następujące:
K - jutro pójdziemy do kina
~K - jutro nie pójdziemy do kina
Stąd mamy spełnioną definicję dziedziny D:
K+~K=D=1 - jutro możemy pójść do kina (K) albo nie pójść do kina (~K), trzeciej możliwości brak
K*~K=[]=0 - zdarzenie "pójdziemy do kina" (K) jest rozłączne ze zdarzeniem "nie pójdziemy do kina" (~K)
Chwilą czasową jest tu cały jutrzejszy dzień i w tejże chwili czasowej zdarzenia K i ~K są rozłączne

Definicja dziedziny D na poziomie funkcji logicznej Y:
Definicja dziedziny dla dowolnej funkcji logicznej Y=f(x) (także wieloargumentowej):
Y+~Y =D =1 - funkcja logiczna ~Y jest uzupełnieniem do dziedziny D dla funkcji logicznej Y
Y*~Y =[] =0 - funkcje logiczne Y i ~Y są rozłączne

Znaczenie funkcji logicznych Y i ~Y z naszych przykładów wyżej omówionych:
Y - pani dotrzyma słowa
~Y - pani nie dotrzyma słowa
Stąd mamy spełnioną definicję dziedziny D:
Y+~Y=D=1 - pani może dotrzymać słowa (Y) albo nie dotrzymać słowa (~Y), trzeciej możliwości brak
Y*~Y=[]=0 - pani nie może równocześnie dotrzymać słowa (Y) i nie dotrzymać słowa (~Y)
Chwilą czasową jest tu cały jutrzejszy dzień i w tejże chwili czasowej pani dotrzyma słowa (Y=1) albo nie dotrzyma słowa (~Y=1), trzeciej możliwości brak.

Ostatnio zmieniony przez rafal3006 dnia Sob 20:57, 26 Kwi 2025, 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: 37916
Przeczytał: 19 tematów

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

Wysłany: Sob 20:56, 26 Kwi 2025 Temat postu:

Irbisolu, kiedy twój mózg dobije do poziomu 3-latka?
W tym życiu, czy w następnym?

Irbisol napisał:

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

W ziemskim rachunku zero-jedynkowym warunkiem rozstrzyganie czy mamy do czynienie z tautologią (sprawdzaną przy użyciu tego znaczka <=>) jest tylko i wyłącznie wymóg, by wszystkie zmienne binarne { p, q, Y …} były tymi samymi zmiennymi, inaczej błąd podstawienia

Ty już nie kontrolujesz, co sam piszesz.
Swoją drogą, to twoje powtarzanie, że symbole muszą oznaczać to samo, to doprawdy niezbędna informacja ...

Irbisolu,
Czy możesz się wreszcie przestać kompromitować i raczysz przeczytać kompletną terorię operatorów jednoargumentowych na gruncie algebry Kubusia w tym poście zapisaną:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-11775.html#839869

Od strony czysto matematycznaj ta teoria nie wykracza poza poziom I klasy LO.
Od strony zrozumienia zdań o których ta teoria mówi to poziom 5-cio latka, a nawet 3-latka!

Irbisolu, kiedy twój mózg dobije do poziomu 3-latka?
W tym życiu, czy w następnym?

W algebrze Kubusia nie ma czegoś takiego jak ziemska tautologia!
W AK zachodzi tożsamość:
Ziemska tautologia (zdanie zawsze prawdziwe) = bezużyteczny bełkot (dowód na samym początku AK)

Dowód tego faktu znajdziesz na samiutkim początku algebry Kubusia!

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

Algebra Kubusia napisał:

Algebra Kubusia - matematyka języka potocznego
1.0 Nowa algebra Boole'a

1.1 Definicje elementarne algebry Boole'a

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

Innymi słowy:
Prawda (1) to zaprzeczenie (~) fałszu (0)
Fałsz (0) to zaprzeczenie (~) prawdy (1)

Definicja stałej binarnej:
Stała binarna to symbol mający w osi czasu stałą wartość logiczną (0 albo 1)

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

Odpowiednikiem zdania zawsze prawdziwego na poziomie 8 klasy Szkoły Podstawowej będą takie twierdzenia matematyczne:

Twierdzenie matematyczne 1.
Dowolny trójkąt jest prostokątny TP lub nie jest prostokątny ~TP
Y = TP+~TP=1

Twierdzenie matematyczne 2.
Dowolny trójkąt jest równoboczny TR lub nie jest równoboczny ~TR
Y = TR + ~TR =1

etc

Matematyczny koziołku-matołku zwany Irbisolem:
Znajdź w dowolnym podręcznku matematyki przykład twierdzeń matematycznych jak na schemacie wyżej.

Oczywistym jest że tego typu twierdzenie są zawsze prawdziwe!
ALE!
Co wynika z tego że te twierdzenia są zawsze prawdziwe?
Gdzie w tego typu twierdzeniach jest warunek wystarczjący => (gwarancja matematyyczna =>) jak np. w równoważności Pitagorasa TP<=>SK?

Poprawna odpowiedź:
W dupie jest!

Wniosek:
Matematyczna użyteczność twierdzeń będących zdaniami zawsze prawdziwymi jest ZEROWA tzn. w żadnym podręczniku matematyki tego typu gówno-twierdzeń nie znajdziesz.

Dotrze to kiedy do koziołka-matołka, czy nigdy?

Ostatnio zmieniony przez rafal3006 dnia Sob 21:35, 26 Kwi 2025, w całości zmieniany 12 razy

Powrót do góry

Wyświetl posty z ostatnich:

	Forum ŚFiNiA Strona Główna -> Filozofia	Wszystkie czasy w strefie CET (Europa) Idź do strony Poprzedni 1, 2, 3 ... , 471, 472, 473 Następny
Strona 472 z 473

Skocz do:

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

Regulamin