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 ... 69, 70, 71 ... 377, 378, 379  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35534
Przeczytał: 15 tematów

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

PostWysłany: Pon 13:01, 19 Wrz 2022    Temat postu:

zefciu napisał:

rafal3006 napisał:
Wytłumacz się kłamco perfidny w jaki sposób zaśmiecałem ci całe forum ateista.pl pisząc w jednym, jedynym wątku?
Wystarczy użyć wyszukiwarki, żeby zobaczyć, że pisałeś w około 60. Kłamiesz.

Powtórzę po raz ostatni, nie mam zamiaru się z tobą przekamarzać.
Owszem pisałem na temat NTI w wielu wątkach, dlatego moderatorka ateisty.pl dała mi na PW ostrzeżenie. Po rozmowie z nią doszliśmy do porozumienia że włos mi z głowy nie spadnie i nie dostanę bana pod warunkiem że będę pisał w jednym wątku, tym wątku:
[link widoczny dla zalogowanych]
*https://ateista.pl/showthread.php?tid=6213&pid=272149#pid272149

Ja słowa dotrzymałem!

Czy rozumiesz co znaczy powyższe zdanie po polsku?

Za złamanie tego zakazu (pisania o NTI w jednym wątku) bana powinno dostać dwóch ludzi:
1.
Idiota, za założenie tematu:
Rafal3006 - nieznane oblicze"
[link widoczny dla zalogowanych]
*https://ateista.pl/showthread.php?tid=5353&pid=214366#pid214366
2.
Fizyk, za założenie tego tematu:
"NTI - wątek ostateczny"
[link widoczny dla zalogowanych]
*https://ateista.pl/showthread.php?tid=10922

zefciu napisał:

Fizyk dał Ci szansę. Miałeś pisać w tym wątku [link widoczny dla zalogowanych] i miałeś spełnić określone wymogi. Miałeś w dupie. Nie zostałeś zablokowany za poglądy. Kłamiesz.

Niestety zefciu, ty kłamiesz aż ci się z uszu kurzy.
Fizyk zbanował mnie za POGLĄGY, czyli za algebrę Kubusia totalnie sprzeczną z jakąkolwiek znaną Ziemianom logiką matematyczną.

Cynizm Fizyka widać jak na dłoni:
[link widoczny dla zalogowanych]
Fizyk napisał:

Zasady wątku:
To jest od tej pory jedyny wątek poświęcony NTI. Jakiekolwiek propagowanie NTI i pokrewnych gdzie indziej będzie traktowane jako ignorowanie Administracji.
(Narzekanie na brak wolności słowa, złe traktowanie geniuszy, zamykanie ust odkrywcom itp. także pod to podpada.)
Każdy post rafała3006 w tym wątku będzie miał liczone punkty zgodnie z poniższą listą (nieco zmodyfikowaną i okrojoną wersją tej listy):
1 punkt za każde stwierdzenie powszechnie uważane za fałszywe.
2 punkty za każde stwierdzenie pozbawione sensu.
3 punkty za każde stwierdzenie niespójne logicznie.
5 punktów za upieranie się przy stwierdzeniu pomimo jego starannego poprawiania.
;
5 punktów za każde słowo napisane wielkimi literami.
5 punktów za każdą wzmiankę o "de'Morganie".
10 punktów za twierdzenie, że KRZiP jest z fundamentu fałszywy (bez porządnych dowodów).
10 punktów za rozpoczęcie opisu teorii od mówienia jak długo nad nią pracowałeś.
10 punktów za obiecywanie usunięcia wątków o NTI w razie wykazania w niej błędów.
10 punktów za każde pojęcie wprowadzone i używane bez dobrej definicji.
10 punktów za każde stwierdzenie typu "nie interesuje mnie matematyka, NTI opisuje język 5-latków".
10 punktów za twierdzenie, że twoja praca spowoduje zmianę paradygmatu.
20 punktów za narzekanie na tę listę.
20 punktów za bronienie się przez wzmiankowanie szykan względem twoich teorii.
(tu miał być punkt o nazywaniu czegoś po sobie, ale już go daruję, bo "prawa Kubusia" musiałyby zmienić nazwę Oczko )
30 punktów za sugerowanie, że twoja teoria jest tym, czego ludzkość od dawna poszukuje.
30 punktów za podkreślanie, że twoja teoria działa lepiej niż X, przy jednoczesnym ujawnianiu totalnej nieznajomości X.
30 za twierdzenie, że twoja teoria została stworzona przez pozaziemską cywilizację (bez dobrych dowodów).
40 punktów za porównywanie osób zwalczających twoją teorię do nazistów itp.
40 punktów za twierdzenie, że twoja teoria nie znajdzie powszechnego uznania przez spisek naukowców.
40 punktów za twierdzenie, że kiedy twoja teoria w końcu znajdzie poparcie, obecna nauka będzie w końcu uznana za tak beznadziejną, jak powinna.
;
Gdy liczba punktów przekroczy 250, wątek zostanie permanentnie zamknięty, a NTI permanentnie wygnana z tego forum.

Howgh.

Pytanie do Zefcia,
Czy widzisz cynizm Fizyka, wiedzącego iż algebra Kubusie jest w 100% sprzeczna z jakąkolwiek logiką matematyczną ziemian?


Ostatnio zmieniony przez rafal3006 dnia Pon 13:43, 19 Wrz 2022, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Wto 7:28, 20 Wrz 2022    Temat postu:

rafal3006 napisał:
dała mi na PW
Publikujesz PW? Naprawdę aż taki jest poziom Twojeg zbydlęcenia, że publikujesz PW?
Cytat:
Cynizm Fizyka widać jak na dłoni:
[link widoczny dla zalogowanych]
No i pytał Cię wtedy idiota, który konkretnie punkt Ci nie odpowiada i czemu. A Ty miałeś w dupie. Dalej swoje bełkotałeś. Dodatkowo przyznałeś wtedy, 8 lat temu, że algebra kubusia jeszcze nie istnieje. Czy teraz istnieje już? Czy jeszcze jej nie ma? Przypominam, że wtedy była to rzecz „prosta”, którą „można nauczyć pięciolatka”. Obecnie okazuje się, że po 16 latach prac jeszcze jej nie ukończyłeś, a zefcia nawet nie ma co próbować jej nauczyć.
Cytat:
Czy widzisz cynizm Fizyka, wiedzącego iż algebra Kubusie jest w 100% sprzeczna z jakąkolwiek logiką matematyczną ziemian?
Nie. Widzę mądrość Fizyka wiedzącego, że Algebra Kubusia nie istnieje.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Wto 9:34, 20 Wrz 2022    Temat postu:

Czy Zefciu jest zdolny do zrozumienia logiki matematycznej którą biegle posługuje się każdy 5-cio latek?

Mam nadzieję że Zefciu zrozumie niniejszy post, czyli zrozumie iż znany ziemianom rachunek zero-jedynkowy jest wewnętrznie sprzeczny na poziomie funkcji logicznych.

zefciu napisał:

Rafal3006 napisał:
Czy widzisz cynizm Fizyka, wiedzącego iż algebra Kubusie jest w 100% sprzeczna z jakąkolwiek logiką matematyczną ziemian?
Nie. Widzę mądrość Fizyka wiedzącego, że Algebra Kubusia nie istnieje.

Twój fizyk to biedny człowiek z klapkami na oczach niezdolny do alternatywnego myślenia, czyli niezdolny do zrozumienia logiki matematycznej na poziomie 5-cio latka.
Mam nadzieję Zefciu że w przeciwieństwie do Fizyka zrozumiesz niniejszy, banalny post

Pani w przedszkolu A:
A1.
Jutro pójdziemy do kina
Y=K
Co matematycznie oznacza:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)

Zuzia do Jasia (oboje po 5 wiosenek):
.. a kiedy pani nie dotrzyma słowa (~Y)?

Jaś:
Negujemy równanie A1 stronami:
A2.
~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
~Y=~K

Pani w przedszkolu B:
B1.
Jutro nie pójdziemy do kina
Y = ~K
Czytamy:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)

Zuzia do Jasia (oboje po 5 wiosenek):
.. a kiedy pani nie dotrzyma słowa (~Y)?

Jaś:
Negujemy równanie B1 stronami:
B2.
~Y=K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
~Y=K

Zestawienie dialogów z przedszkola A i B

Kod:

T1
Przedszkole A:
A1: Y=K             #   A2: ~Y=~K
    ##                      ##
Przedszkole B:
B1: Y=~K            #   B2: ~Y=K

Definicja znaczka #:
Dowolna strona znaczaka # jest negacją drugiej strony

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

Doskonale widać, że w tabeli T1 definjcje obu znaczków są perfekcyjnie spełnione.

Ziemski rachunek zero-jedynkowy nie zna kluczowych pojęć logiki matematycznej:
Y - logika dodatnia (bo Y)
~Y - logika ujemna (bo ~Y)
Konsekwencje tego faktu są katastrofalne (prawo Grzechotnika)

Prawo Grzechotnika:
Ziemski rachunek zero-jedynkowy jest wewnętrznie sprzeczny na poziomie funkcji logicznych.

Dowód:
Ziemski rachunek zero-jedynkowy operuje wyłącznie na wyrażeniach algebry Boole'a, czyli na prawych stronach funkcji logicznych zapisanych w tabeli T1.
Zgodnie z fundamentem ziemskiego rachunku zero-jedynkowego (operowanie wyłącznie na wyrażeniach algebry Boole'a) usuwamy z tabeli T1 wszelkie funkcje logiczne, zarówno w logice dodatniej (bo Y) jak i ujemnej (bo ~Y)

Stąd mamy:
Kod:

T1'
Przedszkole A:
A1:  K              #   A2: ~K
     ##                      ##
Przedszkole B:
B1: ~K              #   B2:  K

Jak widzimy, w tym momencie zgwałcony został najważniejszy znaczek logiki matematycznej, znaczek różne na mocy definciji ##

W tebeli T1' stoi jak byk, iż zdanie pani przedszkolanki A1 (z przedszkola A) jest tożsame ze zdaniem pani przedszkolanki B2 (z przedszkola B)
A1: K = B2: K
co jest idiotyzmem, bo w zdaniu A1 mamy odpowiedź na pytanie kiedy pani dotrzyma słowa (Y):
A1: Y=K
natomiast w zdaniu B2 mamy odpowiedź na pytanie kiedy panie nie dotrzyma słowa (~Y)
B2: ~Y=K

Jeśli między zdaniami A1 i B2 postawimy znak tożsamości [=]:
A1: Y=K [=] B2: ~Y=K
To matematycznie wyjdzie nam że:
A1: Y [=] B2: ~Y
czyli pojęcie "pani dotrzyma słowa (Y)" jest tożsame z pojęciem "pani nie dotrzyma słowa (~Y)"
Innymi słowy:
Rachunek zero-jedynkowy ziemskich matematyków leży, kwiczy i błaga o litość, jest wewnętrznie sprzeczny na poziomie funkcji logicznych Y!
c.n.d.


Ostatnio zmieniony przez rafal3006 dnia Wto 10:45, 20 Wrz 2022, w całości zmieniany 9 razy
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Wto 10:25, 20 Wrz 2022    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/szach-mat-ktory-przejdzie-do-historii-matematyki,15663-3900.html#676591

zefciu napisał:
Nie mam ochoty na Twoje pieprzenie o „znaczkach”. Chciałem tylko wskazać, że łżesz, jakobyś był wywalony z ateisty za poglądy.

Zostałem wywalony za poglądy, za treść mojego postu wyżej!
Przykro mi Zefciu, że nie jesteś w stanie go przeczytać ze zrozumieniem, czyli twój mózg nie dorasta do pięt mózgowi każdego 5-cio latka, który genialnie rozumie calusieńki post wyżej!
c.n.d.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Wto 11:02, 20 Wrz 2022    Temat postu:

rafal3006 napisał:
Przykro mi Zefciu, że nie jesteś w stanie go przeczytać ze zrozumieniem, czyli twój mózg nie dorasta do pięt mózgowi każdego 5-cio latka, który genialnie rozumie calusieńki post wyżej!c.n.d.
Proszę mi pokazać takiego 5-latka, albo przestać łgać.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Wto 11:09, 20 Wrz 2022    Temat postu:

zefciu napisał:
rafal3006 napisał:
Przykro mi Zefciu, że nie jesteś w stanie go przeczytać ze zrozumieniem, czyli twój mózg nie dorasta do pięt mózgowi każdego 5-cio latka, który genialnie rozumie calusieńki post wyżej!c.n.d.
Proszę mi pokazać takiego 5-latka, albo przestać łgać.

Tu jest ten 5-cio latek:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1725.html#676585

Powiedz mi Zefciu,
Czy ty na serio nie rozumiesz dialogów pań przedszkolanek z przedszkoli A i B z pięciolatkami?
:shock:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Wto 12:10, 20 Wrz 2022    Temat postu:

rafal3006 napisał:
Tu jest ten 5-cio latek:
Nie. To nie jest 5-latek. To jest kolejny post pełen bełkotu. 5-latek to człowiek mający 5 lat. Proszę mi go przedstawić. Albo nie kłamać, że 5-latki rozumieją Twój bełkot.
Cytat:
Czy ty na serio nie rozumiesz dialogów pań przedszkolanek z przedszkoli A i B z pięciolatkami?
Dialogi rozumiem. Twojego bełkotu nie rozumiem.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Wto 18:51, 20 Wrz 2022    Temat postu:

Wstęp teoretyczny:

Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym

Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo Y) i logika ujemna (bo ~Y)

Definicja wyrażenia algebry Boole'a:
Wyrażenie algebry Boole'a f(x) to zmienne binarne połączone spójnikami "i"(*) i "lub"(+)

Przykład:
f(p,q) = p*q+~p*~q
Zapis tożsamy:
p*q+~p*~q = (p*q)+(~p*~q)
Kolejność wykonywania działań:
nawiasy, „i”(*), „lub”(+)

W najprostszym przypadku wyrażeniem algebry Boole’a może być pojedyńcza zmienna binarna p
f(p) =p

Uwaga na notację:
f(x) - zapis ogólny dowolnie skomplikowanego i nieznanego wyrażenia algebry Boole’a
f(p,q)=p*q+~p*~q - definicja konkretnego wyrażenia algebry Boole’a (przykład)

Definicja funkcji logicznej algebry Boole'a:
Funkcja logiczna Y algebry Boole'a to zmienna binarna odzwierciedlająca binarne zmiany wyrażenia algebry Boole'a w osi czasu.

Przykład funkcji logicznej Y jednoargumentowej:
A1: Y=p
Dowolną funkcję logiczną wolno nam tylko i wyłącznie dwustronnie zanegować.
Negujemy dwustronnie funkcje logiczną A1.
#
A2: ~Y = ~p

Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony
A1: Y=p # A2: ~Y=~p

Gdzie:
Y - funkcja logiczna w logice dodatniej (bo Y)
~Y - funkcja logiczna w logice ujemnej (bo ~Y)

Udajmy się teraz do przedszkola!

zefciu napisał:
rafal3006 napisał:
Tu jest ten 5-cio latek:
Nie. To nie jest 5-latek. To jest kolejny post pełen bełkotu. 5-latek to człowiek mający 5 lat. Proszę mi go przedstawić. Albo nie kłamać, że 5-latki rozumieją Twój bełkot.

Bardzo proszę:

Pani w przedszkolu A:
A1.
Jutro pójdziemy do kina
Y=K
Co matematycznie oznacza:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)

Zuzia do Jasia (oboje po 5 wiosenek):
.. a kiedy pani nie dotrzyma słowa (~Y)?

Jaś:
Negujemy równanie A1 stronami:
#
A2.
~Y=~K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)
~Y=~K

Gdzie:
# - zdanie A2 to zanegowane # zdanie A1


Pani w przedszkolu B:
B1.
Jutro nie pójdziemy do kina
Y = ~K
Czytamy:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K)

Zuzia do Jasia (oboje po 5 wiosenek):
.. a kiedy pani nie dotrzyma słowa (~Y)?

Jaś:
Negujemy równanie B1 stronami:
#
B2.
~Y=K
Czytamy:
Pani nie dotrzyma słowa (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K)
~Y=K

Gdzie:
# - zdanie B2 to zanegowane # zdanie B1

zefciu napisał:
rafal3006 napisał:
Czy ty na serio nie rozumiesz dialogów pań przedszkolanek z przedszkoli A i B z pięciolatkami?
Dialogi rozumiem.


Drogi Zefciu,
Czy rozumiesz znaczenie znaczka # w dialogach wyżej?

Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony

Przykład:
B1: Y=~K
Negujemy zdanie B1 stronami, tylko to nam wolno w logice matematycznej:
B2: ~(Y) = ~(~K)
B2: ~Y = K - na mocy prawa podwójnego przeczenia: ~(~p)=p


Ostatnio zmieniony przez rafal3006 dnia Wto 19:31, 20 Wrz 2022, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Śro 7:02, 21 Wrz 2022    Temat postu:

rafal3006 napisał:
Czy rozumiesz znaczenie znaczka # w dialogach wyżej?
Nie. Nie rozumiem. Nawet nie wiem, co to jest „znaczek”, bo nie zdefiniowałeś tego pojęcia.
Cytat:
Dowolna strona znaczka # jest negacją drugiej strony

To czemu nie możesz napisać jak człowiek p = ¬q, co jest zrozumiałe dla każdego po krótkim kursie logiki, tylko musisz wymyślać notację „znaczkową”? To pytanie retoryczne, oczywiście. Dobrze wiem, czemu to robisz.

Cytat:
Przykład:
B1: Y=~K
Negujemy zdanie B1 stronami, tylko to nam wolno w logice matematycznej:
B2: ~(Y) = ~(~K)
B2: ~Y = K - na mocy prawa podwójnego przeczenia: ~(~p)=p
No i? Jest to dość oczywiste dla każdego po krótkim kursie logiki, a nawet intuicyjne. Nie ma tutaj żadnej sprzeczności z LON (Logiką Osób Niepojebanych). Co dowodzi, iż Twoja teza, że AK jest w 100% sprzeczna z LON jest fałszywe. Zatem po co floodujesz? Oczywiście to pytanie retoryczne. Dobrze wiem, czemu.

Cytat:
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo Y) i logika ujemna (bo ~Y)
Nikt nie zna tych pojęć, bo Ty ich używasz nie wyjaśniając, co znaczą.

Cytat:
Dowolną funkcję logiczną wolno nam tylko i wyłącznie dwustronnie zanegować.
Co to za kretyński sposób tworzenia aksjomatów? A jeśli z aksjomatyki wyjdzie nam, że możemy wykonać jaką inną operację?
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Śro 8:05, 21 Wrz 2022    Temat postu:

Wyprowadzenie szczegółowej definicji znaczka #:

zefciu napisał:
rafal3006 napisał:
Czy rozumiesz znaczenie znaczka # w dialogach wyżej?
Nie. Nie rozumiem. Nawet nie wiem, co to jest „znaczek”, bo nie zdefiniowałeś tego pojęcia.
Cytat:
Dowolna strona znaczka # jest negacją drugiej strony

To czemu nie możesz napisać jak człowiek p = ¬q, co jest zrozumiałe dla każdego po krótkim kursie logiki, tylko musisz wymyślać notację „znaczkową”? To pytanie retoryczne, oczywiście. Dobrze wiem, czemu to robisz.

Zacznijmy po kolei by nie ciągnąć wielu srok za ogon.

Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony

Twój przykład:
p=~q
nie ma nic wspólnego ze znaczkiem #!

Z twojej tożsamości wynika, że dokonałeś podstawienia:
1.
q=~p
co oczywiście wolno ci zrobić bo na mocy podstawienia 1 mamy:
p=~q = ~(~p) =p - prawo podwójnego przeczenia.

Problem w tym, że w twoim przykładzie kłania się brzytwa Ockhama:
"mnożenie bytów ponad potrzebę"
W znaczku # totalnie nie o to chodzi.

Wyprowadzenie szczegółowej definicji znaczka #:

Matematyczny związek wartości logicznych 1 i 0:
1 = ~0
0 = ~1
(~) – negacja

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

Przykłady:
Y=p+~p=1 – zdanie zawsze prawdziwe
Y=p*~p=0 – zdanie zawsze fałszywe
Gdzie:
Y – stała binarna

To samo w logice 5-cio latka.
Pani w przedszkolu:
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

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

Zachodzi tożsamość pojęć:
zmienna binarna = zmienna dwuwartościowa
W logice matematycznej wszelkie właściwości zmiennych binarnych zapisujemy w tabelach prawdy.

Zero-jedynkowa tabela prawdy:
Zero-jedynkowa tabela prawdy to zapis wszystkich możliwych właściwości zmiennych binarnych w postaci tabeli zero-jedynkowej.

Przykład:
Kod:

Definicja negacji:
   p # ~p
A: 1 #  0
B: 0 #  1
   1    2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony

Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)

Zauważmy, że w definicji negacji symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)
cnd

Matematyczne związki między p i ~p:
I.
p#~p
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
II.
p=~(~p) - logika dodatnia (bo p) to zanegowana logika ujemna (bo ~p)
~p=~(p) - logika ujemna (bo ~p) to zanegowana logika dodatnia (bo p)

Dowód w rachunku zero-jedynkowym:
Kod:

Matematyczne związki w definicji negacji:
   p ~p ~(~p) ~(p)
A: 1  0    1    0
B: 0  1    0    1
   1  2    3    4

Tożsamość kolumn 1=3 jest dowodem formalnym prawa rachunku zero-jedynkowego:
p=~(~p)
Tożsamość kolumn 2=4 jest dowodem formalnym prawa rachunku zero-jedynkowego:
~p=~(p)

Drogi Zefciu,
Czy rozumiesz już szczegółową definicję znaczka różne #?

Cytuję kluczową tabelę prawdy:
Kod:

Definicja negacji:
   p # ~p
A: 1 #  0
B: 0 #  1
   1    2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony


Ostatnio zmieniony przez rafal3006 dnia Śro 8:14, 21 Wrz 2022, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów


Płeć: Mężczyzna

PostWysłany: Śro 8:37, 21 Wrz 2022    Temat postu:

zefciu napisał:
rafal3006 napisał:
Czy rozumiesz znaczenie znaczka # w dialogach wyżej?
Nie. Nie rozumiem. Nawet nie wiem, co to jest „znaczek”, bo nie zdefiniowałeś tego pojęcia.


To takie typowe dla zefcia. Zawsze jak nie wie co odpowiedzieć to pisze, że nie rozumie jakiegoś pojęcia, które rozumieją wszyscy. Tak samo było w dyskusji o darwinizmie


Ostatnio zmieniony przez fedor dnia Śro 8:38, 21 Wrz 2022, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Śro 8:39, 21 Wrz 2022    Temat postu:

rafal3006 napisał:
Zacznijmy po kolei by nie ciągnąć wielu srok za ogon.
Zacznijmy od początku:

Co to jest znaczek? Czy pojęcie znaczka różni się od znanych pojęć „funktora” czy „operatora”? Jeśli się nie różni, to czemu używasz takiego zjebanego pojęcia.

Cytat:
Twój przykład:
p=~q
nie ma nic wspólnego ze znaczkiem #!
Jak to nie ma? Przy takiej zależności prawdziwość zdania p jest zawsze negacją prawdziwości zdania q. Np.

„Osobę x nazywamy osobą stanu wolnego wtedy i tylko wtedy, gdy osoba ta nie jest w związku małżeńskim”.

Cytat:
Problem w tym, że w twoim przykładzie kłania się brzytwa Ockhama:
"mnożenie bytów ponad potrzebę"
Przy projektowaniu notacji nie da się łatwo zaaplikować brzytwy Ockhama. Równie dobrze ja Ci mogę zarzucić, że mnożysz byty — wprowadzasz „znaczek”, który łatwo można zastąpić dwoma funktorami.

Prawda zaś jest taka, że przy projektowaniu notacji kierujemy się względami pragmatycznymi — prostotą, czytelnością etc. Jako komputerowiec rozumiesz to oczywiście, tylko udajesz idiotę.
Cytat:
[b]Definicja zmiennej binarnej w logice dodatniej
Nadal nie wiemy, co to jest logika dodatnia.
Cytat:
Czy rozumiesz już szczegółową definicję znaczka różne #?
Nie. Nie rozumiem, bo celowo nie wyjaśniłeś pojęć, których używasz.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Śro 9:18, 21 Wrz 2022    Temat postu:

Definicje znaczków w algebrze Kubusia

zefciu napisał:
rafal3006 napisał:
Zacznijmy po kolei by nie ciągnąć wielu srok za ogon.
Zacznijmy od początku:
Co to jest znaczek?


Algebra Kubusia to matematyczny opis języka potocznego, zatem tylko z tego punktu widzenia będziemy patrzeć na algebrę Boole’a.

Algebra Kubusia zawiera w sobie algebrę Boole’a mówiącą wyłącznie o spójnikach „i”(*) i „lub”(+) z języka potocznego człowieka.
Innymi słowy:
Algebra Boole’a w ogóle nie zajmuje się kluczową i najważniejszą częścią logiki matematycznej, czyli obsługą zdań warunkowych „Jeśli p to q”.

Definicja nowej algebry Boole’a na poziomie znaczków:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym

Dlaczego nowa algebra Boole’a?
1.
W algebrze Kubusia zachodzi tożsamość znaczków:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
2.
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo Y) i logika ujemna (bo ~Y)

Innymi słowy:
Znaczek (*) to spójnik "i" z języka potocznego
Znaczek (+) to spójnik "lub" z języka potocznego

Przykład:
Pani w przedszkolu:
A1.
Jutro pójdziemy do kina wtedy i tylko wtedy gdy pójdziemy do teatru
Y = K<=>T = K*T + ~K*~T - definicja znaczka <=> w spójnikach "i"(*) i "lub"(+)
Czytamy:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy:
K*T - jutro pójdziemy do kina (K) i do teatru (T)
"lub"(+)
~K*~T - jutro nie pójdziemy do kina (~K) i nie pójdziemy do teatru (~T)

… a kiedy pani skłamie?
Negujemy dwustronnie równanie A1:
~Y = ~(K<=>T) = K*~T+~K*T

Stąd mamy odpowiedź:
Pani skłamie (~Y) wtedy i tylko wtedy gdy:
K*~T - jutro pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
"lub"(+)
~K*T - jutro nie pójdziemy do kina (~K) i pójdziemy do teatru (T)

Bonus specjalnie dla Zefcia:
Y = (p*q)+(~p*~q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne
~Y = (~p+~q)*(p+q)
Postaci koniunkcyjno-alternatywnej żaden człowiek nie rozumie, stąd musimy wymnożyć logicznie wielomian przechodząc do postaci alternatywno-koniunkcyjnej zrozumiałej dla każdego 5-cio latka
~Y = p*p + ~p*q + ~q*p+~q*q
~Y = p*~q + ~p*q
cnd

Podsumowując:
Zefciu, czy rozumiesz definicje znaczków (*), (+), i (<=>) w języku potocznym?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Śro 9:41, 21 Wrz 2022    Temat postu:

rafal3006 napisał:
zefciu napisał:

Co to jest znaczek?


Algebra Kubusia to matematyczny opis języka potocznego,
rafał — czy rozumiesz, o wielki specjalisto od języka potocznego znaczenie pytania i dyskusji? Otóż dyskusja polega na tym, że jedna osoba zadaje pytania, bądź prezentuje wątpliwości, zaś druga osoba stara się na te pytania odpowiedzieć oraz owe wątpliwości wyjaśnić.

Dla Ciebie moje pytania są tylko pretekstem, żeby po raz kolejny w dwóch miejscach wkleić tę samą ścianę tekstu. W ogóle bez związku z moim pytaniem. Jeśli nie masz zamiaru odpowiadać na moje pytania, to nie ma sensu, żebym je zadawał.

Cytat:
Nowa algebra Boole’a to algebra dwuelementowa akceptująca zaledwie pięć znaczków:
1 = prawda
0 = fałsz
„nie”(~) - negacja (zaprzeczenie), słówko „NIE” w języku potocznym
Spójniki logiczne zgodne z językiem potocznym:
„i”(*) - spójnik „i”(*) w języku potocznym
„lub”(+) - spójnik „lub”(+) w języku potocznym
Czym się ona różni od starej algebry Boole’a? Dlaczego nie mogę wprowadzić sobie nowego operatora logicznego, wyrażalnego przy pomocy powyższych i go używać?

Cytat:
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Tylko że spójnik „lub” w języku polskim nie ma ścisłego znaczenia. Czasami oznacza alternatywę, a czasami alternatywę rozłączną. Zwykle wiadomo to z kontekstu, a czasami nie.
Cytat:
Stara algebra Boole’a nie zna kluczowych dla logiki matematycznej pojęć: logika dodatnia (bo Y) i logika ujemna (bo ~Y)
Już to pisałeś. Zapytałem Cię, co oznaczają te pojęcia. A Ty, zamiast mi odpowiedzieć, wklejasz jeszcze raz to samo.
Cytat:
Zefciu, czy rozumiesz definicje znaczków (*), (+), i (<=>) w języku potocznym?
Nie. Nie rozumiem „definicji znaczków”, bo nie podałeś mi definicji znaczków mimo że o nią kilkakrotnie prosił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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Śro 10:20, 21 Wrz 2022    Temat postu:

Aksjomatyka algebry Boole'a w odniesieniu do języka potocznego

zefciu napisał:
rafal3006 napisał:

Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
Tylko że spójnik „lub” w języku polskim nie ma ścisłego znaczenia. Czasami oznacza alternatywę, a czasami alternatywę rozłączną. Zwykle wiadomo to z kontekstu, a czasami nie.

To że przeciętny człowiek błędnie matematycznie utożsamia spójnik "lub"(+) ze spójnikiem "albo"($) to wina tylko i wyłącznie matematyków!
Fundamentalna różnica między spójnikami "lub"(+) i "albo"($) powinna być wyjaśniona w I klasie LO, a nie jest.

Na temat spójnika "lub" napisałem dwa posty na matematyce.pl.
Nie ciągnę tego tematu dalej na matematyce.pl bo mam zero reakcji, a sam ze sobą nie będę dyskutował:
[link widoczny dla zalogowanych]
[link widoczny dla zalogowanych]

zefciu napisał:
rafal3006 napisał:

Zefciu, czy rozumiesz definicje znaczków (*), (+), i (<=>) w języku potocznym?
Nie. Nie rozumiem „definicji znaczków”, bo nie podałeś mi definicji znaczków mimo że o nią kilkakrotnie prosiłem.

Zefciu, podaję ci kompletną aksjomatykę algebry Boole'a gdzie masz matematyczne definicje znaczków (+) i (*).

Fragment z algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego-2022-09-01,21473.html#669589


2.2 Aksjomatyka algebry Boole’a

Definicja funkcji logicznej Y dwóch zmiennych binarnych p i q:
Funkcja logiczna Y w logice dodatniej (bo Y) dwóch zmiennych binarnych p i q to cyfrowy układ logiczny dający na wyjściu binarnym Y jednoznaczne odpowiedzi na wszystkie możliwe wymuszenia na wejściach p i q.
Zachodzi tożsamość pojęć:
binarny = dwuelementowy

Definicja minimalnej aksjomatyki algebry Boole’a:
Aksjomatyka minimalna algebry Boole’a to minimalny zestaw praw algebry Boole’a koniecznych i wystarczających do poruszania się po równaniach algebry Boole’a.

Chodzi tu głównie o minimalizację równań algebry Boole’a, której w języku potocznym praktycznie nie ma bo nasz mózg to naturalny ekspert algebry Kubusia tzn. z reguły operuje na funkcjach minimalnych które nie wymagają zewnętrznej minimalizacji.
Wynika z tego, że tabele zero-jedynkowe w takiej aksjomatyce nas nie interesują.
Jak zobaczymy za chwilę, minimalna aksjomatyka algebry Boole’a to zaledwie osiem punktów które trzeba znać na pamięć.

Definicje spójników „i”(*) i „lub”(+):

I.
(*) - spójnik „i”(*) z języka potocznego człowieka

Znaczek tożsamy w matematyce:
(*) - znaczek koniunkcji
Znaczek tożsamy w technice:
(*) - bramka logiczna AND

Definicja zero-jedynkowa spójnika „i”(*):
Kod:

   p  q  Y=p*q
A: 1* 1  =1
B: 1* 0  =0
C: 0* 1  =0
D: 0* 0  =0
Definicja spójnika „i”(*) w logice jedynek:
Y=1 <=> p=1 i q=1
inaczej:
Y=0
Definicja spójnika „i”(*) w logice zer:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

Uwaga:
Przy wypełnianiu tabel zero-jedynkowych w rachunku zero-jedynkowym nie ma znaczenia którą logiką będziemy się posługiwać. W przypadku spójnika „i”(*) użycie logiki jedynek jest najszybszym sposobem wypełnienia wynikowej kolumny zero-jedynkowej.

II.
(+) - spójnik „lub”(+) z języka potocznego człowieka

Znaczek tożsamy w matematyce:
(+) - znaczek alternatywy
Znaczek tożsamy w technice:
(+) - bramka logiczna OR

Definicja zero-jedynkowa spójnika „lub”(+):
Kod:

   p  q  Y=p+q
A: 1+ 1  =1
B: 1+ 0  =1
C: 0+ 1  =1
D: 0+ 0  =0
Definicja spójnika „lub”(+) w logice jedynek:
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
Definicja spójnika „lub”(+) w logice zer:
Y=0 <=> p=0 i q=0
Inaczej:
Y=1

Uwaga:
Przy wypełnianiu tabel zero-jedynkowych w rachunku zero-jedynkowym nie ma znaczenia którą logiką będziemy się posługiwać. W przypadku spójnika „lub”(+) użycie logiki zer jest najszybszym sposobem wypełnienia wynikowej kolumny zero-jedynkowej.

Najważniejsze prawa algebry Boole’a (aksjomatyka minimalna) to:
1.
1=prawda
0=fałsz
1=~(0)=~0 - prawda (1) to zaprzeczenie (~) fałszu
0=~(1)=~1 - fałsz (0) to zaprzeczenie (~) prawdy

2.
Elementem neutralnym w spójniku „i”(*) jest jedynka
p*1=p - łatwe do zapamiętania przez analogię do zwykłego mnożenia: x*1=x
p+1=1 - to jedyny wyjątek nie mający odpowiednika w zwykłym dodawaniu

3.
Elementem neutralnym w spójniku „lub”(+) jest zero
p+0=p - łatwe do zapamiętania poprzez analogię do zwykłego dodawania: x+0=x
p*0=0 - łatwe do zapamiętania poprzez analogię do zwykłego mnożenia: x*0=0

4.
Definicja dziedziny D w zbiorach:
A: p+~p=D =1 - zbiór ~p jest uzupełnieniem do dziedziny (D) dla zbioru p
B: p*~p=[] =0 - zbiory p i ~p są rozłączne (p*~p=[]=0), stąd ich iloczyn logiczny to 0
Definicja dziedziny D w zdarzeniach:
C: p+~p=D =1 - zdarzenie ~p jest uzupełnieniem do dziedziny (D) dla zdarzenia p
D: p*~p=[] =0 - zdarzenia p i ~p są rozłączne, stąd ich iloczyn logiczny to zbiór pusty []=0
Przykłady:
4A
Dowolna liczba naturalna jest podzielna przez 2 lub nie jest podzielna przez 2
D=LN=[1,2,3,4,5,6,7,8,9..] – zbiór liczb naturalnych, wspólna dziedzina dla P2 i ~P2
P2+~P2=D =1 - zbiór ~P2=[1,3,5,7,9..] jest uzupełnieniem do dziedziny D dla P2=[2,4,6,8..]
~P2=[LN-P2]=[1,3,5,7,9..] - zbiór liczb naturalnych LN pomniejszony o zbiór liczb parzystych P2
4B.
Dowolna liczba naturalna jest podzielna przez 2 i nie jest podzielna przez 2
P2*~P2 =[] =0 - zbiory P2=[2,4,6,8..] i ~P2=[1,3,5,7,9..] są rozłączne
4C.
Jutro pójdziemy do kina lub nie pójdziemy do kina
Y = K+~K =D =1 - zdarzenie ~K jest uzupełnieniem do wspólnej dziedziny D dla zdarzenia K
D=[K,~K] – zbiór wszystkich możliwych zdarzeń w dniu jutrzejszym, dziedzina
Chwilą czasową jest tu cały jutrzejszy dzień
4D.
Jutro pójdziemy do kina i nie pójdziemy do kina
Y = K*~K =[] =0 - zdarzenie ~K jest rozłączne ze zdarzeniem K
Chwilą czasową jest tu cały jutrzejszy dzień

5.
Spójniki „i”(*) i „lub”(+) są przemienne
p*q=q*p
p+q=q+p

6.
Prawo redukcji/powielania zmiennych binarnych:
p*p=p
p+p=p

7.
Prawa De Morgana:
p+q = ~(~p*~q)
p*q = ~(~p+~q)

8.
Obsługa wielomianów logicznych jest identyczna jak wielomianów klasycznych pod warunkiem przyjęcia analogii:
Spójnik „lub”(+) to odpowiednik sumy algebraicznej (+) np. x+y
Spójnik „i”(*) to odpowiednik iloczynu algebraicznego (*) np. x*y
Stąd mamy:
Kolejność wykonywania działań w wielomianach logicznych:
nawiasy, „i”(*), „lub”(+)
bo robimy analogię do wielomianów klasycznych.

Przykład mnożenia wielomianów logicznych:
Niech będzie dana funkcja logiczna Y:
Y = (p+~q)*(~p+q) - postać koniunkcyjno-alternatywna (koniunkcja alternatyw)
Minimalizujemy:
Y = (p+~q)*(~p+q) = p*~p + p*q +~q*~p + ~q*q = 0 + p*q + ~q*~p + 0 = p*q + ~p*~q
Wykorzystane prawa algebry Boole’a:
p*~p=0
p+0 =p
Przemienność:
~q*~p = ~p*~q
Stąd:
Nasza funkcja logiczna Y po minimalizacji przybiera postać:
Y = (p+~q)*(~p+q) = p*q + ~p*~q - funkcja alternatywno-koniunkcyjna (alternatywa koniunkcji)


Ostatnio zmieniony przez rafal3006 dnia Śro 10:26, 21 Wrz 2022, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Śro 10:25, 21 Wrz 2022    Temat postu:

rafal3006 napisał:
Na temat spójnika "lub" napisałem dwa posty na matematyce.pl
No i co z tego? Nadal spotykamy w języku potocznym oba znaczenia.
Cytat:
Zefciu, podaję ci kompletną aksjomatykę algebry Boole'a gdzie masz matematyczne definicje znaczków (+) i (*).
W żadnym znanym mi wykładzie algebry Boola (w obrębie LON) nie ma pojęcia „znaczka”. Więc jeszcze raz pytam: co to jest znaczek, czym się różni od operatora, a jeśli niczym, to czemu używasz takiego pojęcia, jak „znaczek”?

Na pełny wykład algebry Boole’a pisany dziwnym językiem nie odpowiadam. Bo nie ma tam ani nic nowego, ani wyjaśnienia, czemu uparłeś się rozpierdolić aparat pojęciowy.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Śro 10:41, 21 Wrz 2022    Temat postu:

zefciu napisał:
rafal3006 napisał:
Zefciu, podaję ci kompletną aksjomatykę algebry Boole'a gdzie masz matematyczne definicje znaczków (+) i (*).
W żadnym znanym mi wykładzie algebry Boola (w obrębie LON) nie ma pojęcia „znaczka”. Więc jeszcze raz pytam: co to jest znaczek, czym się różni od operatora, a jeśli niczym, to czemu używasz takiego pojęcia, jak „znaczek”?

Na pełny wykład algebry Boole’a pisany dziwnym językiem nie odpowiadam. Bo nie ma tam ani nic nowego, ani wyjaśnienia, czemu uparłeś się rozpierdolić aparat pojęciowy.

Matematycznie dla spójników "i" oraz "lub" z języka potocznego musisz przyporządkować jakieś znaczki, inaczej nie zapiszesz zdania w sposób matematyczny, czyli nie będziesz mógł go matematycznie obrabiać.
Jak się obrabia pokazałem na przykładzie równoważności K<=>T w tym poście:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1725.html#676655

Aparat pojęciowy logiki matematycznej ziemian rozpierdalają poniższe tożsamości z AK:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce

Zefciu,
Czy zgadzasz się z tym faktem?
Jeśli nie to pokaż mi powyższe tożsamości w jakimkolwiek podręczniku ziemskiej logiki matematycznej.


Ostatnio zmieniony przez rafal3006 dnia Śro 10:43, 21 Wrz 2022, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Śro 11:54, 21 Wrz 2022    Temat postu:

rafal3006 napisał:
Matematycznie dla spójników "i" oraz "lub" z języka potocznego musisz przyporządkować jakieś znaczki, inaczej nie zapiszesz zdania w sposób matematyczny, czyli nie będziesz mógł go matematycznie obrabiać.
Nie. Nie muszę. Mogę też, korzystając z wiedzy lingwistycznej zrozumieć, że język potoczy jest nieprecyzyjny i nie da się przypisać żadnych „znaczków” (cokolwiek to znaczy) w sposób taki, żeby moja notacja zawsze opisywała intencje mówiącego.
Cytat:
na przykładzie
Czy ja Ciebie kiedykolwiek prosiłem o jakiekolwiek przykłady? No nie. Zatem przyznajesz, że chamsko floodujesz.
Cytat:
Czy zgadzasz się z tym faktem?
Nie, gdyż nie jest to fakt, tylko pobożne życzenie, które powtarzasz w kółko, nie przedstawiając niczego konstruktywnego.
Cytat:
Jeśli nie to pokaż mi powyższe tożsamości w jakimkolwiek podręczniku ziemskiej logiki matematycznej.
Nie pokażę. Za to pokażę Ci w niejednym podręczniku ziemskiej logiki definicję przesunięcia kategorialnego. To jest właśnie to co czynisz. Czynisz celowo, bo dzięki temu możesz rozpierdolić dyskusję do stanu, w której przez 16 lat piszesz bełkot i kusisz losowe osoby do uporządkowania tego bełkotu.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Śro 12:15, 21 Wrz 2022    Temat postu:

zefciu napisał:
rafal3006 napisał:
Matematycznie dla spójników "i" oraz "lub" z języka potocznego musisz przyporządkować jakieś znaczki, inaczej nie zapiszesz zdania w sposób matematyczny, czyli nie będziesz mógł go matematycznie obrabiać.
Nie. Nie muszę. Mogę też, korzystając z wiedzy lingwistycznej zrozumieć, że język potoczy jest nieprecyzyjny i nie da się przypisać żadnych „znaczków” (cokolwiek to znaczy) w sposób taki, żeby moja notacja zawsze opisywała intencje mówiącego.

W algebrze Kubusia fundament języka potocznego jest super precyzyjny.

W niniejszym poście korzystam z tożsamości znaczków (*) i (+) w AK:
Spójnik „i”(*) z języka potocznego = bramka AND (*) w technice = koniunkcja (*) w matematyce
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce


Pani w przedszkolu:
A1.
Jutro pójdziemy do kina (K) lub do teatru (T)
Y = K+T
Co matematycznie oznacza:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K) lub pójdziemy do teatru (T)
Innymi słowy:
Jutro pójdziemy w dowolne miejsce i już pani dotrzyma słowa.

Stąd masz alternatywną definicję spójnika "lub"(+) w zdarzeniach rozłącznych:
A1'
Y = A: K*T + B: K*~T + C: ~K*T
co matematycznie oznacza:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy:
A: K*T - jutro pójdziemy do kina (K) i do teatru (T)
"lub"(+)
B: K*~T - jutro pójdziemy do kina (K) i nie pójdziemy do teatru (~T)
"lub"(+)
C: ~K*T - jutro nie pójdziemy do kina (~K) i pójdziemy do teatru (T)

Zdarzenia A, B i C są matematycznie rozłączne!
Czy zgadzasz się z tym faktem?

Dowód tożsamości równań logicznych:
A1 = A1'

Minimalizujemy A1' przechodząc na zapisy ogólne:
A1'
Y = p*q + p*~q + ~p*q
Y = p*(q+~q) + ~p*q
Y = p+(~p*q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = ~p*(p+~q)
~Y = ~p*p + ~p*~q
~Y=~p*~q
Powrót do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
Y = p+q

Stąd mamy udowodnioną tożsamość matematyczną zdań A1 i A1':
Y = p+q = p*q + p*~q + ~p*q
c.n.d.

Drogi Zefciu, jak widzisz FUNDAMENT języka potocznego jest do bólu precyzyjny i można go matematycznie obrabiać.
Zgadzasz się z tym faktem?


Ostatnio zmieniony przez rafal3006 dnia Śro 12:17, 21 Wrz 2022, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Śro 12:21, 21 Wrz 2022    Temat postu:

rafal3006 napisał:
W algebrze Kubusia fundament języka potocznego jest super precyzyjny.
Ale język potoczny (zresztą nie istnieje jeden język potoczny) nie jest oparty na algebrze Kubusia. Jest oparty na ususie ludzi. Więc AK nie jest władna tworzyć jego fundamenty.
Cytat:
Spójnik „lub”(+) z języka potocznego = bramka OR(+) w technice = alternatywa (+) w matematyce
No to teraz idź do stołówki i jeśli pani powie Ci „może pan wziąć surówkę, lub brokuła” powiedz „biorę surówkę i brokuła”. A jak będzie się burzyć, to ją opierdol, że nie trzyma się „fundamentu języka potocznego”, który zrodził się w Twojej dupie.

Nadal nie odpowiedziałeś na pytanie, co to jest „znaczek”.
Nadal nie odpowiedziałeś na pytanie, co to jest logika dodatnia i logika ujemna.

Jeśli w następnym Twoim poście nie będzie odpowiedzi na te pytania, olewam dalszą dyskusję.
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Śro 14:37, 21 Wrz 2022    Temat postu:

zefciu napisał:

Nadal nie odpowiedziałeś na pytanie, co to jest „znaczek”.
Nadal nie odpowiedziałeś na pytanie, co to jest logika dodatnia i logika ujemna.

Jeśli w następnym Twoim poście nie będzie odpowiedzi na te pytania, olewam dalszą dyskusję.

1.
Definicje znaczków "i"(*) i "lub"(+)

I.
(*) - spójnik „i”(*) z języka potocznego człowieka

Znaczek tożsamy w matematyce:
(*) - znaczek koniunkcji
Znaczek tożsamy w technice:
(*) - bramka logiczna AND

Definicja zero-jedynkowa spójnika „i”(*):
Kod:

   p* q  Y=p*q
A: 1* 1  =1
B: 1* 0  =0
C: 0* 1  =0
D: 0* 0  =0
Definicja spójnika „i”(*) w logice jedynek:
Y=1 <=> p=1 i q=1
inaczej:
Y=0
Definicja spójnika „i”(*) w logice zer:
Y=0 <=> p=0 lub q=0
Inaczej:
Y=1

Uwaga:
Przy wypełnianiu tabel zero-jedynkowych w rachunku zero-jedynkowym nie ma znaczenia którą logiką będziemy się posługiwać. W przypadku spójnika „i”(*) użycie logiki jedynek jest najszybszym sposobem wypełnienia wynikowej kolumny zero-jedynkowej.

II.
(+) - spójnik „lub”(+) z języka potocznego człowieka

Znaczek tożsamy w matematyce:
(+) - znaczek alternatywy
Znaczek tożsamy w technice:
(+) - bramka logiczna OR

Definicja zero-jedynkowa spójnika „lub”(+):
Kod:

   p+ q  Y=p+q
A: 1+ 1  =1
B: 1+ 0  =1
C: 0+ 1  =1
D: 0+ 0  =0
Definicja spójnika „lub”(+) w logice jedynek:
Y=1 <=> p=1 lub q=1
inaczej:
Y=0
Definicja spójnika „lub”(+) w logice zer:
Y=0 <=> p=0 i q=0
Inaczej:
Y=1

Uwaga:
Przy wypełnianiu tabel zero-jedynkowych w rachunku zero-jedynkowym nie ma znaczenia którą logiką będziemy się posługiwać. W przypadku spójnika „lub”(+) użycie logiki zer jest najszybszym sposobem wypełnienia wynikowej kolumny zero-jedynkowej.

Z dedykacją dla Zefcia:

Definicja znaczka różne #:
Kod:

Definicja negacji:
   p # ~p
A: 1 #  0
B: 0 #  1
   1    2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony

Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)

Zauważmy, że w definicji negacji symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)
cnd

Zauważ Zefciu że twoja propozycja:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1725.html#676653
zefciu napisał:
rafal3006 napisał:

Twój przykład:
p=~q
nie ma nic wspólnego ze znaczkiem #!
Jak to nie ma? Przy takiej zależności prawdziwość zdania p jest zawsze negacją prawdziwości zdania q. Np.

„Osobę x nazywamy osobą stanu wolnego wtedy i tylko wtedy, gdy osoba ta nie jest w związku małżeńskim”.

Powtórzę z naciskiem!

Twoja propozycja Zefciu:
p=~q
nie ma nic wspólnego ze znaczkiem różne # bo w definicji znaczka # po obu stronach tego znaczka występuje identyczny symbol "p"!
p # ~p
Czy czaisz różnicę?
Jeśli nie to idź do definicji negacji zdefiniowanej ciut wyżej.
c.n.d.

P.S.
Mam nadzieję że nie powiesz iż znaczek różne # z AK do jest to samo co znak tożsamości "=" w twoim zapisie:
p=~q


Ostatnio zmieniony przez rafal3006 dnia Śro 14:42, 21 Wrz 2022, 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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Czw 7:34, 22 Wrz 2022    Temat postu:

W ten oto sposób zakończyła się dyskusja z Zefciem.
Zefciu uciekł i nigdy nie wróci?
:think:

W identyczny sposób zakończyły się dwa zalążki dyskusji na temat logiki matematycznej na matematyce.pl
[link widoczny dla zalogowanych]
[link widoczny dla zalogowanych]
Wszyscy uciekli ...
:think:


Ostatnio zmieniony przez rafal3006 dnia Czw 7:42, 22 Wrz 2022, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 7:59, 22 Wrz 2022    Temat postu:

rafal3006 napisał:
W ten oto sposób zakończyła się dyskusja z Zefciem.
Zefciu uciekł i nigdy nie wróci?
Dyskusja zakończyła się w taki sposób:

zefciu napisał, że masz mu dać definicję „znaczka” oraz „logiki dotatniej i ujemnej”, bo w przeciwnym wypadku nie widzi sensu dalszej dyskusji. Ty zaś nie dałeś mu tych definicji, tylko zacytowałeś pytania po raz kolejny wkleiłeś ten sam bełkot niezawierający wymaganych definicji. Wobec tego zefciu zgodnie z obietnicą nie odpowiedział.

Cytat:
i nigdy nie wróci?
To już zależy od Ciebie. Jeśli kiedyś spróbujesz podjąć dyskusję, to może wróci.

Cytat:
W identyczny sposób zakończyły się dwa zalążki dyskusji na temat logiki matematycznej na matematyce.pl
Co nie jest dziwne. Każdy „zalążek” musi się skończyć tak samo. Ile można „dyskutować” z kimś, kto nie ma woli dyskusji?
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: 35534
Przeczytał: 15 tematów

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

PostWysłany: Czw 8:17, 22 Wrz 2022    Temat postu:

zefciu napisał:
rafal3006 napisał:
W ten oto sposób zakończyła się dyskusja z Zefciem.
Zefciu uciekł i nigdy nie wróci?
Dyskusja zakończyła się w taki sposób:

zefciu napisał, że masz mu dać definicję „znaczka” oraz „logiki dotatniej i ujemnej”, bo w przeciwnym wypadku nie widzi sensu dalszej dyskusji. Ty zaś nie dałeś mu tych definicji, tylko zacytowałeś pytania po raz kolejny wkleiłeś ten sam bełkot niezawierający wymaganych definicji. Wobec tego zefciu zgodnie z obietnicą nie odpowiedział.


Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową

Definicję znaczka # masz Zefciu niżej ... i co ty na to?
Nadal upierasz się że znaczek # to jest to samo co twój zapis:
p=~q
?!
:shock:

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1725.html#676689
rafal3006 napisał:

Z dedykacją dla Zefcia:

Definicja znaczka różne #:
Kod:

Definicja negacji:
   p # ~p
A: 1 #  0
B: 0 #  1
   1    2
Gdzie:
# - różne w znaczeniu iż dowolna strona # jest negacją drugiej strony

Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową
Znaczek różne # definiuje definicja negacji.

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

Definicja zmiennej binarnej w logice dodatniej (bo p):
Zmienna binarna p wyrażona jest w logice dodatniej (bo p) wtedy i tylko wtedy gdy nie jest zanegowana.
Inaczej mamy do czynienia ze zmienną binarną w logice ujemnej (bo ~p)

Zauważmy, że w definicji negacji symbole p i ~p są zmiennymi binarnymi.
Dowód:
W osi czasu (kolumna A1B1) może zajść przypadek, że zmienna binarna p przyjmie wartość logiczną 1 (A1) albo wartość logiczną 0 (B1).
W osi czasu (kolumna B2A2) może zajść przypadek, że zmienna binarna ~p przyjmie wartość logiczną 1 (B2) albo wartość logiczną 0 (A2)
cnd

Zauważ Zefciu że twoja propozycja:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-1725.html#676653
zefciu napisał:
rafal3006 napisał:

Twój przykład:
p=~q
nie ma nic wspólnego ze znaczkiem #!
Jak to nie ma? Przy takiej zależności prawdziwość zdania p jest zawsze negacją prawdziwości zdania q. Np.

„Osobę x nazywamy osobą stanu wolnego wtedy i tylko wtedy, gdy osoba ta nie jest w związku małżeńskim”.

Powtórzę z naciskiem!

Twoja propozycja Zefciu:
p=~q
nie ma nic wspólnego ze znaczkiem różne # bo w definicji znaczka # po obu stronach tego znaczka występuje identyczny symbol "p"!
p # ~p
Czy czaisz różnicę?
Jeśli nie to idź do definicji negacji zdefiniowanej ciut wyżej.
c.n.d.

P.S.
Mam nadzieję że nie powiesz iż znaczek różne # z AK do jest to samo co znak tożsamości "=" w twoim zapisie:
p=~q


zefciu napisał:
rafal3006 napisał:
.. i nigdy nie wróci?
To już zależy od Ciebie. Jeśli kiedyś spróbujesz podjąć dyskusję, to może wróci.

Zefciu,
Dyskusja na temat algebry Kubusia powinna polegać na tym, że czytasz ją od początku tzn. od punktu:
1.0 Nowa algebra Boole'a
i piszesz mi czego nie rozumiesz.
Gwarantuję ci, że jeśli zrozumiesz punkt 1.0 to tym samym zrozumiesz iż AK to Armagedon wszelkich logik matematycznych Ziemian.
Tymczasem Ty chcesz dyskutować o AK skacząc do głębokiej wody nie umiejąc pływać tzn. chcesz dyskutować o AK nie zapoznając się uprzednio z punktem 1.0

Trudność widzę tu jedną:
Algebra Kubusia jest w 100% zgodna z alfą i omegą logiki matematycznej, czyli z teorią bramek logicznych czego dowód masz w punkcie 14.0.
Problem w tym, że nie ma na świecie matematyka który by miał praktyczne doświadczenie w bramkach logicznych.

Dowód:
W logice matematycznej odpowiednikiem układu Kartezjańskiego są wykresy czasowe, o czym matematycy nie wiedzą, bo gdyby wiedzieli to takie wykresy byłyby w absolutnie każdym podręczniku logiki matematycznej.

Przykład masz tu (strona 5):
[link widoczny dla zalogowanych]


Ostatnio zmieniony przez rafal3006 dnia Czw 9:23, 22 Wrz 2022, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
zefciu/konto zamknięte
Usunięcie na własną prośbę



Dołączył: 09 Cze 2014
Posty: 1078
Przeczytał: 0 tematów

Skąd: Kiekrz
Płeć: Mężczyzna

PostWysłany: Czw 9:42, 22 Wrz 2022    Temat postu:

rafal3006 napisał:
Definicja znaczka w logice matematycznej:
Znaczek w logice matematycznej to symbol zdefiniowany odpowiednią tabelą zero-jedynkową
O proszę. Wystarczy zagrozić, że się nie będzie bawić i już rafal3006 jest posłuszny.

OK. A więc „znaczek” jest to po prostu operator logiczny. Dlaczego zatem rafal3006 uparł się używać pojęcia „znaczek”, zamiast pojęcia ”operator” lub „funktor”, które są znane i zrozumiałe każdemu kto miał styczność z LON? Proszę o odpowiedź na to pytanie (nie interesuje mnie chwilowo nic innego, proszę tylko o odpowiedź na moje pytanie).

Cytat:
Nadal upierasz się że znaczek # to jest to samo co twój zapis:

Jeżeli zapis p # q oznacza to co piszesz, tzn. że zawsze wartość p jest negacją wartości q, to tak — jest to zapis równoważny zapisowi p ⇔ ¬q. Jeśli tak nie jest, to wskaż jeden kontrprzykład (nie interesuje mnie ściana tekstu opisująca, jak cudowny jest operator #. Interesuje mnie jeden kontrprzykład pokazujący, jak ta notacja różni się od notacji z LON).
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 ... 69, 70, 71 ... 377, 378, 379  Następny
Strona 70 z 379

 
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