Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 246, 247, 248 ... 267, 268, 269  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 8:51, 02 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Sam zapisałeś coś takiego:

Jutro pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Jutro 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

Jak by nie patrzeć - sprzeczność :rotfl:

... a jednak się kręci!
.. a jednak czyta, choć przysięga, że nie czyta :)

Gówno tam sprzeczność, w algebrze Kubusia to są zdania różne na mocy definicji ##:
A1: Y=p+~p =1
##
A2: Y = p*~p =0

Nigdzie tam nie pisałeś A1 ani A2. Pisałeś tylko Y, które są sprzeczne.
Ale jak ja napiszę tak jak ty (same Y), to od razu sprzeczność u mnie widzisz - u siebie jednak nie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 9:23, 02 Kwi 2024    Temat postu:

O losach algebry Kubusia zdecydują matematycy na matematyce.pl, a nie jakiś tam Irbisol czy Szary na ŚFINII.
Zakończmy ten temat mocnym akcentem, bo gdyby nie było ŚFINII algebra Kubusia nigdy by nie została rozszyfrowana.
Niech żyja prawdziwa wolność na śFINII!
http://www.sfinia.fora.pl/forum-kubusia,12/dyskusja-na-temat-algebry-kubusia,21825-1625.html#791285

rafal3006 napisał:
Przed chwilą zrobiłem historyczny wpis na matematyce.pl:
[link widoczny dla zalogowanych]
Kod:
https://matematyka.pl/kawiarnia-szkocka-f197/algebra-kubusia-matematyka-jezyka-potocznego-t454255.html#p5661991


2024-04-01 Prima aprilis?
To nie jest prima aprilis, po 18 latach pasjonującej przygody logika matematyczna pod którą podlega cały nasz Wszechświat została rozszyfrowana.

I.
2024-04-01 Premiera:

„Algebra Kubusia - Zwiastun” w pdf (stron: 143):
„Algebra Kubusia - Zwiastun” zawiera kwintesencję wiedzy w temacie algebry Kubusia.
Kod:
https://www.dropbox.com/scl/fi/kgktscz3uhlxdr91hdq1q/AK-Zwiastun-w-pdf.pdf?rlkey=umxrjdxmw4dhb8yh6pp01awdb&dl=0


II.
2024-04-01 Końcowa, pełna wersja algebry Kubusia po n liftingach:

"Algebra Kubusia - matematyka języka potocznego" w pdf (Stron: 1078):
Kod:
https://www.dropbox.com/s/hy14p42kup25c32/Kompendium%20algebry%20Kubusia.pdf?dl=0


Czym jest kawiarnia Szkocka na matematyce.pl najlepiej ilustruje jej regulamin.

[link widoczny dla zalogowanych]

Kawiarnia Szkocka
Projekty i prace naukowe i badawcze. Nowatorskie idee matematyczne. Literatura specjalistyczna.

Regulamin "Kawiarni Szkockiej"

1. "Kawiarnia Szkocka" jest działem przeznaczonym przede wszystkim dla profesjonalnych matematyków. Swoje miejsce mogą tam odnaleźć również studenci matematyki i innych kierunków ścisłych oraz matematycy-amatorzy.

2. "Kawiarnia Szkocka" w odróżnieniu od "Dyskusje o matematyce" oraz pozostałych działów ogólnych przeznaczona jest na profesjonalne dyskusje naukowe. Umieszczając tutaj temat musisz mieć świadomość zmierzenia się z wieloma pytaniami dotyczącymi treści, które przedstawiasz. W szczególności:
jeżeli przedstawiasz twierdzenie, powinieneś je sformułować w języku matematycznym, ściśle i bez budzenia wątpliwości co do jego wypowiedzi,
formułując tezę, powinieneś zdefiniować niezbędne obiekty chyba, że są one klasycznymi obiektami danej dziedziny,
nie powinieneś notorycznie unikać odpowiedzi na ważne pytania Użytkowników.
3. W "Kawiarni Szkockiej" nie zaleca się umieszczać następujących typów tematów:
próśb o rozwiązanie zadania,
pytań o powszechnie dostępne książki i zbiory zadań,
tematów, w których nie potraficie jawnie i klarownie sformułować problemu lub tezy.
4. Temat może zostać przeniesiony do innego działu, gdy:
spełniony jest jeden z warunków punktu 3.,
prowadzona jest nierzetelna dyskusja,
autor tematu w trakcie dyskusji zachowuje się przemądrzale, nie potrafi dostrzec i zrozumieć swoich błędów lub unika odpowiedzi na kluczowe kwestie.
5. Każdy temat powinien posiadać odpowiednie tagowanie. Jeżeli poruszamy tematykę liczb pierwszych, dodajemy na przykład [Teoria liczb], jeżeli temat dotyczy literatury lub prac naukowych, dodajemy [Książka] lub [Prace Naukowe]. Nie ma sztywnego zakresu tagów, niemniej powinny one wskazywać jednoznacznie naczelną tematykę.

6. Jeżeli w temacie zamieszczamy link do książki lub pracy naukowej, zalecane jest podanie pełnej referencji: autor (autorzy), tytuł książki lub pracy, wydawnictwo lub czasopismo (lub inne miejsce publikacji), rok wydania. Poniżej przedstawiamy trzy poprawnie zredagowane referencje:
N. P. Bhatia, G. P. Szegö, Stability Theory of Dynamical Systems, Springer-Verlag, Berling - Heidelberg - New York, 1970.
R. Hill, A. Dow, A ground-breaking achievement, J. Differential Equations 15 (1982), 197-211.
B. Russell, A new theorem, arXiv:2012.9876.
Jeden z wzorowych przykładów stosowana powyższej reguły można znaleźć w tej wypowiedzi.

7. Tematy publikowane są automatycznie. Moderator może jednak temat przenieść w inne miejsce, dyskusję zamknąć lub temat przenieść do kosza, gdy ta nie spełnia wymogów nałożonych przez niniejszy Regulamin.

8. Regulamin wraz z późniejszymi zmianami wchodzi w życie z dniem publikacji.


Ostatnio zmieniony przez rafal3006 dnia Wto 9:24, 02 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 9:35, 02 Kwi 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Sam zapisałeś coś takiego:

Jutro pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Jutro 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

Jak by nie patrzeć - sprzeczność :rotfl:

... a jednak się kręci!
.. a jednak czyta, choć przysięga, że nie czyta :)

Gówno tam sprzeczność, w algebrze Kubusia to są zdania różne na mocy definicji ##:
A1: Y=p+~p =1
##
A2: Y = p*~p =0

Nigdzie tam nie pisałeś A1 ani A2. Pisałeś tylko Y, które są sprzeczne.
Ale jak ja napiszę tak jak ty (same Y), to od razu sprzeczność u mnie widzisz - u siebie jednak nie.

Czekam kiedy zaczniesz czytać ze zrozumieniem:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-6125.html#787993

rafal3006 napisał:
Irbisol napisał:
Sam zapisałeś coś takiego:

Jutro pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Jutro 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

Jak by nie patrzeć - sprzeczność :rotfl:

... a jednak się kręci!
.. a jednak czyta, choć przysięga, że nie czyta :)

Gówno tam sprzeczność, w algebrze Kubusia to są zdania różne na mocy definicji ##:
A1: Y=p+~p =1
##
A2: Y = p*~p =0
Gdzie:
## różne na mocy definicji

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne w tej samej logice (tu akurat dodatniej bo Y) są różne na mocy definicji wtedy i tylko wtedy gdy prawe strony tych funkcji nie są tożsame.

I co teraz płaskoziemco?
Leżymy, kwiczymy i błagamy o litość bo twoja definicji funkcji tożsamościowej jest taka:
Y=1
Y=0
U ciebie funkcja Y=1 jest funkcją tożsamościową z funkcją Y=0!
:shock: :shock: :shock:


Powtórzę:
I co teraz płaskoziemco?
Leżymy, kwiczymy i błagamy o litość bo twoja definicji funkcji tożsamościowej jest taka:
Y=1
Y=0
U ciebie funkcja Y=1 jest funkcją tożsamościową z funkcją Y=0!
:shock: :shock: :shock:

Zgadzasz się z powyższym faktem, czy kwestionujesz?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 10:21, 02 Kwi 2024    Temat postu:

Odpowiedziałem ci, a ty w odpowiedzi na moją odpowiedź cytujesz to, na co ci odpowiedziałem.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 10:31, 02 Kwi 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Sam zapisałeś coś takiego:

Jutro pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Jutro 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

Jak by nie patrzeć - sprzeczność :rotfl:

... a jednak się kręci!
.. a jednak czyta, choć przysięga, że nie czyta :)

Gówno tam sprzeczność, w algebrze Kubusia to są zdania różne na mocy definicji ##:
A1: Y=p+~p =1
##
A2: Y = p*~p =0

Nigdzie tam nie pisałeś A1 ani A2. Pisałeś tylko Y, które są sprzeczne.
Ale jak ja napiszę tak jak ty (same Y), to od razu sprzeczność u mnie widzisz - u siebie jednak nie.

A1 i A2 ma tu gówno do rzeczy.
W moim cytacie zapis w 100% tożsamy to:
Y=1
##
Y=0
Gdzie:
## - funkcje logiczne Y są różne na mocy definicji

Definicja znaczka ##:
Dwie funkcje logiczne Y w tej samej logice (tu dodatniej bo Y) są różne na mocy definicji ## gdy prawe strony tych funkcji nie są tożsdame.

Czy zgadzasz się na definicję znaczka ##?

W praktyce oznacza to że NIE ISTNIEJĄ prawa logiki matematycznej wiążące dwie funkcje różne na mocy definicji ##


Ostatnio zmieniony przez rafal3006 dnia Wto 10:33, 02 Kwi 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 10:32, 02 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Sam zapisałeś coś takiego:

Jutro pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Jutro 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

Jak by nie patrzeć - sprzeczność :rotfl:

... a jednak się kręci!
.. a jednak czyta, choć przysięga, że nie czyta :)

Gówno tam sprzeczność, w algebrze Kubusia to są zdania różne na mocy definicji ##:
A1: Y=p+~p =1
##
A2: Y = p*~p =0

Nigdzie tam nie pisałeś A1 ani A2. Pisałeś tylko Y, które są sprzeczne.
Ale jak ja napiszę tak jak ty (same Y), to od razu sprzeczność u mnie widzisz - u siebie jednak nie.

A1 i A2 ma tu gówno do rzeczy.
W moim cytacie zapis w 100% tożsamy to:
Y=1
##
Y=0

W moim też. I tak samo, jak ty, wcześniej tego nie napisałem.
Więc dlaczego stosujesz inne standardy do moich Y i inne do swoich?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 10:42, 02 Kwi 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Sam zapisałeś coś takiego:

Jutro pójdziemy do kina (K) lub nie pójdziemy do kina (~K)
Y = K+~K =1 – zdanie zawsze prawdziwe
Jutro 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

Jak by nie patrzeć - sprzeczność :rotfl:

... a jednak się kręci!
.. a jednak czyta, choć przysięga, że nie czyta :)

Gówno tam sprzeczność, w algebrze Kubusia to są zdania różne na mocy definicji ##:
A1: Y=p+~p =1
##
A2: Y = p*~p =0

Nigdzie tam nie pisałeś A1 ani A2. Pisałeś tylko Y, które są sprzeczne.
Ale jak ja napiszę tak jak ty (same Y), to od razu sprzeczność u mnie widzisz - u siebie jednak nie.

A1 i A2 ma tu gówno do rzeczy.
W moim cytacie zapis w 100% tożsamy to:
Y=1
##
Y=0

W moim też. I tak samo, jak ty, wcześniej tego nie napisałem.
Więc dlaczego stosujesz inne standardy do moich Y i inne do swoich?

Standardy mamy w 100% różne bo AK i KRZ są w 100% różne.
Kluczowa różnica to na przykład brak w KRZ definicji znaczka ##.

W moim cytacie zapis w 100% tożsamy to:
Y=1
##
Y=0
Gdzie:
## - funkcje logiczne Y są różne na mocy definicji

Definicja znaczka ##:
Dwie funkcje logiczne Y w tej samej logice (tu dodatniej bo Y) są różne na mocy definicji ## gdy prawe strony tych funkcji nie są tożsdame.

Czy zgadzasz się na definicję znaczka ##?

Oraz na znaczenie tego znaczka jak niżej?
W praktyce oznacza to że NIE ISTNIEJĄ prawa logiki matematycznej wiążące dwie funkcje różne na mocy definicji ##
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 10:48, 02 Kwi 2024    Temat postu:

Ja napisałem to wg twojego standardu, w którym nie widzisz problemu, by używać tych samych Y do zupełnie innych wyników.
A mimo to uznałeś, że użycie twojego własnego zapisu w moim przypadku jest błędne.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 10:52, 02 Kwi 2024    Temat postu:

Irbisol napisał:
Ja napisałem to wg twojego standardu, w którym nie widzisz problemu, by używać tych samych Y do zupełnie innych wyników.
A mimo to uznałeś, że użycie twojego własnego zapisu w moim przypadku jest błędne.

To twoje wytłuszczone jest dowodem że TOTALNIE nie rozumiesz techniki bramek logicznych - prawdziwego Boga dla algebry Boole'a
Dowód masz w katalogach układów cyfrowych np.
Y=p*q
##
Y=p+q
Gdzie:
## - funkcje logiczne różne na mocy definicji
Mogę ci to co wyżej wytłumaczyć - przeczytasz?
Gówno przeczytasz - zgadza sie?
Podpowiem że:
Choćbyś zjadł 1000 kotletów to nie wyrugujesz znaczka różne na mocy defincji ## z powyższego zapisu.

Ty zapisałeś czysto matematyczną brednię:
Y=1
Y=0
U ciebie funkcja Y=1 jest funkcją tożsamościową z funkcją Y=0!
:shock: :shock: :shock:

Zgadzasz się z powyższym faktem, czy kwestionujesz?


Ostatnio zmieniony przez rafal3006 dnia Wto 11:01, 02 Kwi 2024, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 11:33, 02 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Ja napisałem to wg twojego standardu, w którym nie widzisz problemu, by używać tych samych Y do zupełnie innych wyników.
A mimo to uznałeś, że użycie twojego własnego zapisu w moim przypadku jest błędne.

To twoje wytłuszczone jest dowodem że TOTALNIE nie rozumiesz techniki bramek logicznych - prawdziwego Boga dla algebry Boole'a
Dowód masz w katalogach układów cyfrowych np.
Y=p*q
##
Y=p+q
Gdzie:
## - funkcje logiczne różne na mocy definicji

U mnie Y = 0 i Y = 1 też są różne na mocy definicji.
Ale z jakichś dziwnych względów tylko u siebie to widzisz.

Cytat:
U ciebie funkcja Y=1 jest funkcją tożsamościową z funkcją Y=0!

Do tej pory nie odróżniasz tożsamości od tożsamościowości.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 11:44, 02 Kwi 2024    Temat postu:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y

OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy?

Irbisol napisał:
Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej.

Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej.

Funkcja tożsamościowa:
Y = f(x) = x


Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej.

Czy podtrzymujesz swoją definicje funkcji tożsamościowej na gruncie algebry Boole'a?
TAK/NIE
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 11:50, 02 Kwi 2024    Temat postu:

Nie powinno cię obchodzić, które definicje podtrzymuję, a które nie.
Jak napiszę 10000 definicji, to będziesz o każdą z osobna pytał?
Póki co, od 18 lutego b.r. nie odpowiedziałeś na proste pytanie - mimo że co jakiś czas deklarujesz, żeby pytać cię o wszystko, czego się nie wie odnośnie twojej algebry.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 12:14, 02 Kwi 2024    Temat postu:

Irbisol napisał:
Nie powinno cię obchodzić, które definicje podtrzymuję, a które nie.
Jak napiszę 10000 definicji, to będziesz o każdą z osobna pytał?
Póki co, od 18 lutego b.r. nie odpowiedziałeś na proste pytanie - mimo że co jakiś czas deklarujesz, żeby pytać cię o wszystko, czego się nie wie odnośnie twojej algebry.

Pytam cię o TWOJĄ, konkretną definicję funkcji tożsamościowej na gruncie algebry Boole'a.
Y=f(x)=x
Sam ją zapisałeś i od niej nie uciekniesz, dopóki się z niej nie wytłumaczysz nie masz szans na dalszą dyskusję ze mną.

Zauważ, że problem TWOJEJ funkcji tozsamościowej to twoje główne pytanie, co sam przyznałeś wiele razy - mam szukać?

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

rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y

OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy?

Irbisol napisał:
Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej.

Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej.

Funkcja tożsamościowa:
Y = f(x) = x


Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej.

Czy podtrzymujesz swoją definicje funkcji tożsamościowej na gruncie algebry Boole'a?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Wto 12:18, 02 Kwi 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 12:18, 02 Kwi 2024    Temat postu:

Wiem, o jaką funkcję pytasz i wiem, że to zapisałem.
Zajmij się więc odpowiedzią, a nie wiecznym uciekaniem od tematu.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 12:39, 02 Kwi 2024    Temat postu:

Irbisol napisał:
Wiem, o jaką funkcję pytasz i wiem, że to zapisałem.
Zajmij się więc odpowiedzią, a nie wiecznym uciekaniem od tematu.

Zajmuję się odpowiedzią i na początek żądam od ciebie wyjasnień o co chodzi na gruncie algebry Boole'a w tej twojej funkcji tożsamościowej:
Y = f(x)=x

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786551
rafal3006 napisał:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-4925.html#779275
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Podsumowujac:
Dla dowolnej funkcji logicznej Y=f(x) prawo Małpki ma dwa nietożsame rozwiązania Y i ~Y

OK, w takim razie mam funkcję logiczną:
Y = f(x) = x
Jakie są nietożsame rozwiązania wg małpy?

Irbisol napisał:
Dostałeś proste pytanie weryfikujące małpę.
Podaj 2 rozwiązania dla przykładu, który napisałem wyżej.

Nie widzę żadnego twojego przykładu tzn. nie widzę konkretnej funkcji logicznej.

Funkcja tożsamościowa:
Y = f(x) = x

Napisałeś, że dla dowolnej funkcji logicznej istnieją dwa nietożsame rozwiązania - więc je podaj dla funkcji tożsamościowej.


Irbisol napisał:
I co z tego, że kiedyś to pisałem?
Teraz x to zmienna binarna.

Weźmy tą twoją funkcję tożsamościową:
Y = f(x) = x

1.
Podstawiam:
x=1
Stąd mamy:
Y=f(1)=1

2.
Podstawiam:
x=0
stąd mamy
Y = f(0)=0

Więcej możliwości nie masz, i co ma z tego wynikać?


http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5950.html#786557
Irbisol napisał:
A skąd ja mam to wiedzieć? I dlaczego cokolwiek miałoby z tego wynikać?

Jednym słowem, nie rozumiesz swojej własnej definicji na gruncie algebry Boole’a bo tylko i wyłącznie o algebrze Boole’a tu rozmawiamy.
Jeśli sam ci rozumiesz co piszesz, to jak ktokolwiek nie będący tobą ma rozumieć co piszesz?
Dopóki nie wyjaśnisz na gruncie algebry Boole’a o co chodzi w tej twojej definicji tożsamościowej:
Y=f(x)=x
Nikt przy zdrowych zmysłach nie będzie z tobą dyskutował!

Podpowiedź:
Wyjaśnij to w tabelach zero-jedynkowych.
Podpowiem że w dowolnej funkcji logicznej Y w kolumnie ją definiującej możesz mieć tylko i wyłącznie zera i jedynki … tylko co z tego ma wynikać twoim zdaniem?
… że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.


Ostatnio zmieniony przez rafal3006 dnia Wto 12:45, 02 Kwi 2024, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 12:42, 02 Kwi 2024    Temat postu:

rafal3006 napisał:

… że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.

Z twojej też to wynika, ale wystarczy, że później dopiszesz, że to różne na mocy definicji i wszystko jest OK.
Więc załóż, że u mnie też to jest różne na mocy definicji i że jest OK.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 12:46, 02 Kwi 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:

… że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.

Z twojej też to wynika, ale wystarczy, że później dopiszesz, że to różne na mocy definicji i wszystko jest OK.
Więc załóż, że u mnie też to jest różne na mocy definicji i że jest OK.


Zgadzam się, że jednoznaczny opis dowolnej tabeli zero-jedynowej można uzyskać opisując w funkcji logicznej Y=f(x) same wynikowe zera ALBO same wynikowe jedynki, tylko co z tego ma wynikać?
że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 12:48, 02 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:

… że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.

Z twojej też to wynika, ale wystarczy, że później dopiszesz, że to różne na mocy definicji i wszystko jest OK.
Więc załóż, że u mnie też to jest różne na mocy definicji i że jest OK.


Zgadzam się, że jednoznaczny opis dowolnej tabeli zero-jedynowej można uzyskać opisując w funkcji logicznej Y=f(x) same wynikowe zera ALBO same wynikowe jedynki, tylko co z tego ma wynikać?
że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.

A dlaczego ktoś miałby wpisywać same wynikowe zera albo same wynikowe jedynki?
Ty naprawdę wykładasz się na czymś tak podstawowym?

Załóż sobie, że funkcja tożsamościowa to negacja negacji - może w ten sposób coś do ciebie dotrze.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 12:56, 02 Kwi 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:

… że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.

Z twojej też to wynika, ale wystarczy, że później dopiszesz, że to różne na mocy definicji i wszystko jest OK.
Więc załóż, że u mnie też to jest różne na mocy definicji i że jest OK.


Zgadzam się, że jednoznaczny opis dowolnej tabeli zero-jedynowej można uzyskać opisując w funkcji logicznej Y=f(x) same wynikowe zera ALBO same wynikowe jedynki, tylko co z tego ma wynikać?
że Y=1 to jest to samo co Y=0?
Bo tak to wynika z twojej definicji.

A dlaczego ktoś miałby wpisywać same wynikowe zera albo same wynikowe jedynki?
Ty naprawdę wykładasz się na czymś tak podstawowym?


Mam nadzieję, że nieobce ci są banały znane w technice, że dla jednoznacznego opisu dowolnej funkcji Y=f(x) jeśli będziesz w niej opisywał wyłacznie wynikowe jedynki to otrzymasz funkcję koniunkcyjno-alternatywną, natomiast jeśli będziesz opisywał w niej wyłacznie zera to otrzymasz tożsamą funkcję koniunkcyjno-alternatywną.

Znasz te matematyczne banały czy nie znasz?
Bo to jest klucz do zrozumienia przez ciebie istoty prawa Małpki.
Jesli nie znasz to ci wyjaśnię?
Zgadzasz się?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 14:10, 02 Kwi 2024    Temat postu:

Załóż sobie, że funkcja tożsamościowa to negacja negacji - może w ten sposób coś do ciebie dotrze.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 14:19, 02 Kwi 2024    Temat postu:

Irbisol napisał:
Załóż sobie, że funkcja tożsamościowa to negacja negacji - może w ten sposób coś do ciebie dotrze.

Weźmy funkcję logiczną:
1: Y=p
Negujemy dwustronnie:
~Y=~p
Ponownie negujemy dwustronnie:
2: ~(~Y) = ~(~p)
Oczywistym jest że zachodzi tozsamość funkcji logicznych:
1: [=] 2:
Czy o to ci chodzi w tych twoich funkcjach tozsamościowych?

... a może o to:
3: Y=p [=] 4: Y=~(~p)
Czy moższ się okreslić?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 14:46, 02 Kwi 2024    Temat postu:

Chodzi o to, żebyś w końcu pojął, jak działa funkcja tożsamościowa.
Dla negacji potrafisz to zrobić. Więc zrób to samo dla negacji negacji i będziesz miał swoje wszystkie tabelki i odpowiedzi na inne pytania.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 14:57, 02 Kwi 2024    Temat postu:

Irbisol napisał:
Chodzi o to, żebyś w końcu pojął, jak działa funkcja tożsamościowa.
Dla negacji potrafisz to zrobić. Więc zrób to samo dla negacji negacji i będziesz miał swoje wszystkie tabelki i odpowiedzi na inne pytania.


Defincija funkcji tożsamościowej Irbisola na gruncie algebry Boole'a:
Y=f(x)=x
Nie wiem jak działa ta twoja funkcja tożsamościowa na gruncie algebry Boole'a.
Napisałeś wyżej, że w tym twoim zapisie x to zmienna binarna.
Masz tu zatem tylko dwie możliwości
x=1
1: Y = f(1) =1
x=0
2: Y = f(0)=0
Czy funkcja 1: jest funkcją tozsamościową do funkcji 2:?


Ostatnio zmieniony przez rafal3006 dnia Wto 14:58, 02 Kwi 2024, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14204
Przeczytał: 19 tematów


PostWysłany: Wto 15:58, 02 Kwi 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Chodzi o to, żebyś w końcu pojął, jak działa funkcja tożsamościowa.
Dla negacji potrafisz to zrobić. Więc zrób to samo dla negacji negacji i będziesz miał swoje wszystkie tabelki i odpowiedzi na inne pytania.


Defincija funkcji tożsamościowej Irbisola na gruncie algebry Boole'a:
Y=f(x)=x
Nie wiem jak działa ta twoja funkcja tożsamościowa na gruncie algebry Boole'a.
Napisałeś wyżej, że w tym twoim zapisie x to zmienna binarna.
Masz tu zatem tylko dwie możliwości
x=1
1: Y = f(1) =1
x=0
2: Y = f(0)=0
Czy funkcja 1: jest funkcją tozsamościową do funkcji 2:?

Wszystko napisałeś dobrze - tylko ostatnie pytanie demaskuje, że znowu nie czytasz, co się do ciebie pisze.
A pisałem ci, że tożsamościowość nie jest relacją.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32846
Przeczytał: 33 tematy

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

PostWysłany: Wto 17:20, 02 Kwi 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Chodzi o to, żebyś w końcu pojął, jak działa funkcja tożsamościowa.
Dla negacji potrafisz to zrobić. Więc zrób to samo dla negacji negacji i będziesz miał swoje wszystkie tabelki i odpowiedzi na inne pytania.


Defincija funkcji tożsamościowej Irbisola na gruncie algebry Boole'a:
Y=f(x)=x
Nie wiem jak działa ta twoja funkcja tożsamościowa na gruncie algebry Boole'a.
Napisałeś wyżej, że w tym twoim zapisie x to zmienna binarna.
Masz tu zatem tylko dwie możliwości
x=1
1: Y = f(1) =1
x=0
2: Y = f(0)=0
Czy funkcja 1: jest funkcją tozsamościową do funkcji 2:?

Wszystko napisałeś dobrze - tylko ostatnie pytanie demaskuje, że znowu nie czytasz, co się do ciebie pisze.
A pisałem ci, że tożsamościowość nie jest relacją.

Zatem twój zapis:
x=1
1: Y = f(1) =1
x=0
2: Y = f(0)=0
ma zero-wspólnego z algebrą Boole'a, bo jakąś relację między 1: i 2: musisz w algebrze Boole'a zapisać.
Ja twierdzę że ewidentna relacja między twoimi zapisami to ##:
1: Y=1
##
2: Y=0
Gdzie:
## - relacja różne na mocy definicji

Jesli to ma być algebra Bolole'a to poproszę o zero-jedynkową definicję twojej tożsamowości.

Tożsamość w algebrze Boole'a (także w matematyce klasycznej!) definiuje prawo Irbisa.

Prawo Irbisa:
Dwa pojęcia/zdarzenia/zbiory są tożsame p=q wtedy i tylko wtedy gdy znajdują się w relacji równoważności p<=>q;
A1B1: p=q <=> (A1: p=>q)*(B1: p~>q) = A1B1: p<=>q

Przykład:
2=2 <=> (A1: 2=>2)*(B1: 2~>2) = 2<=>2
Środek czytamy:
Liczba 2 jest jednocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samej.
Dowód:
Każde pojęcie jest jednoczenie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
Czy o taką tożsamowościowośc ci chodziło?


Ostatnio zmieniony przez rafal3006 dnia Wto 17:22, 02 Kwi 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 246, 247, 248 ... 267, 268, 269  Następny
Strona 247 z 269

 
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

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin