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 ... 201, 202, 203 ... 370, 371, 372  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




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


Płeć: Mężczyzna

PostWysłany: Czw 17:28, 22 Lut 2024    Temat postu:

Irbisol napisał:
Znowu nie odpowiedziałeś na pytanie


Odpowiedział. Problem w tym, że jak zwykle to wyparłeś
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 8:35, 23 Lut 2024    Temat postu:

Jak udowodnić, że tożsamość:
4=4
spełnia definicję równoważności?
Tak.
4=4 <=> (A1: 4=>4)*(B1: 4~>4) = A1B1: 4<=>4
cnd
Komentarz:
Każde pojęcie jest równocześnie podzbiorem => (A1) i nadzbiorem ~> (B1) siebie samego.
cnd

Wykorzystane prawo to ...

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


Ostatnio zmieniony przez rafal3006 dnia Pią 8:37, 23 Lut 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 8:48, 23 Lut 2024    Temat postu:

Pytam o funkcję tożsamościową, a nie o przypadek z arytmetyki.
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ł: 99 tematów


Płeć: Mężczyzna

PostWysłany: Pią 9:02, 23 Lut 2024    Temat postu:

Irbisol napisał:
Pytam o funkcję tożsamościową, a nie o przypadek z arytmetyki.


Znowu ściemniasz
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 9:04, 23 Lut 2024    Temat postu:

Irbisol napisał:
Pytam o funkcję tożsamościową, a nie o przypadek z arytmetyki.

Kod:

A1:  Y = p* q + ~p*~q    <=> A1”:  Y = (~p+ q)*(p+~q)

Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony

Tożsame znaczki tożsamości logicznej w AK:
[=], <=>, "="

Stąd funkcje tożsamościowe to:
Kod:

A1:  Y = p* q + ~p*~q    [=]   A1”:  Y = (~p+ q)*(p+~q)
Matematycznie zachodzi tożsamość [=] funkcji:
A1: [=] A1"

albo:
Kod:

A1:  Y <=> p* q + ~p*~q    =   A1”:  Y <=> (~p+ q)*(p+~q)
Matematycznie zachodzi tożsamość = funkcji:
A1: = A1":

Czy masz jeszcze wątpliwości?

Dowód formalny:
A1": Y = (~p+q)*(p+~q) = ~p*p + ~p*~q + q*p + q*~q = p*q + ~p*~q
Stąd mamy:
A1: = A1":
cnd

Definicja tożsamości funkcji logicznych:
Dwie funkcje logiczne w tej samej logice dodatniej (bo Y) albo ujemnej (bo ~Y) są tożsame wtedy i tylko wtedy wyrażenia algebry Boole'a z ich prawej strony są tożsame


Ostatnio zmieniony przez rafal3006 dnia Pią 9:15, 23 Lut 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 9:57, 23 Lut 2024    Temat postu:

Przeczytaj sobie, co to jest funkcja tożsamościowa.
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ł: 99 tematów


Płeć: Mężczyzna

PostWysłany: Pią 10:13, 23 Lut 2024    Temat postu:

Irbisol napisał:
Przeczytaj sobie, co to jest funkcja tożsamościowa.


Uniki to jedyne co opanowałeś :mrgreen:
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 10:31, 23 Lut 2024    Temat postu:

Kolejny dowód wewnętrznej sprzeczności ziemskiej logiki "matematycznej"!

Irbisol napisał:
Przeczytaj sobie, co to jest funkcja tożsamościowa.

Nie zaglądaj do Wikipedii bo ziemscy matematycy nie znają pojęcia funkcji w logice dodatniej (bo Y) i ujemnej (bo ~Y), co powoduje, ze absolutnie wszystkie logiki matematyczne ziemskich matematyków są wewnętrznie sprzeczne.

Dzięki tobie napisałem program komputerowy (algorytm - na jedno wychodzi) gdzie komputer dla dowolnej funkcji logicznej niezależnie czy na wejściu podamy mu funkcją w logice dodatniej (bo Y), czy też ujemnej (bo ~Y) zawsze wypluje ci dwie tożsame funkcje w logice dodatniej (bo Y) plus dwie tożsame funkcje w logice ujemnej (bo ~Y)
Między wyplutymi funkcjami Y i ~Y obowiązuje spójnik "albo"($):
p$q = p*~q + ~p*q

Szczegóły masz tu:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5000.html#780041
rafal3006 napisał:
Algorytm Małpki – wielkie wydarzenie w historii logiki matematycznej.


Funkcje na wejściu programu mogą być dowolne i w dowolnej logice (od 1 do n argumentów!), wynik będzie zawsze ten sam w postaci dwóch funkcji tożsamych w logice dodatniej (bo Y) i dwóch funkcji tożsamych w logice ujemnej (bo ~Y).
Udowadniam to od wieków, a ty od wieków krzyczysz że piszę gówna i nie będziesz tego czytał - takie twoje stanowisko wyklucza jakąkolwiek sensowną dyskusję między nami.
... a może wreszcie zaczniesz czytać i pytać, jak czegoś nie rozumiesz?

Niżej załączam fragment AK, kolejny TWARDY dowód wewnętrznej sprzeczności absolutnie wszystkich ziemskich logik matematycznych w postaci słynnego już na cały nasz Wszechświat ... prawa Grzechotnika.

Algebra Kubusia napisał:

25.5.1 Prawo Grzechotnika dla spójników równoważności p<=>q i „albo”($)

Zapiszmy w tabeli prawdy szczegółowe definicje spójnika równoważności p<=>q i spójnika „albo”($), oczywiście wyłącznie w logice 5-cio latka, czyli w funkcjach alternatywno-koniunkcyjnych.

Pani w szkole A1:
A1.
Jutro pójdziemy do kina wtedy i tylko wtedy gdy pójdziemy do teatru
Y = K<=>T = K*T + ~K*~T
#
… a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy dwustronnie A1 pozostając w logice alternatywno-koniunkcyjnej:
B1.
~Y = ~(K<=>T) = K*~T + ~K*T
##
Pani w szkole A2:
A2.
Jutro pójdziemy do kina albo to teatru
Y = K$T = K*~T + ~K*T
#
.. a kiedy pani nie dotrzyma słowa (~Y)?
Negujemy dwustronnie A2 pozostając w logice alternatywno-koniunkcyjnej:
B2.
~Y = ~(K$T) = K*T + ~K*~T

Gdzie:
# - różne w znaczeniu iż dowolne strona znaczka # jest negacją drugiej strony
## - różne na mocy definicji

Zapiszmy powyższe dialogi w tabeli prawdy:
Kod:

PA1A2
A1: Y = K* T + ~K*~T   #  B1: ~Y = K*~T + ~K* T
   ##                         ##
A2: Y = K*~T + ~K* T   #  B2: ~Y = K* T + ~K*~T

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

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

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

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 z tabeli PA1A2 wszelkie funkcje Y i ~Y:
Kod:

PA1A2”:
A1: K* T+~K*~T  # B1: K*~T+~K* T
A2: K*~T+~K* T  # B2: K* T+~K*~T

Doskonale widać, że w tabeli PA1A2" po przekątnych zachodzą tożsamości matematyczne, co oznacza gwałt na najważniejszym znaczku logiki matematycznej, znaczku różne na mocy definicji ##.
To jest dowód wewnętrznej sprzeczności wszelkich ziemskich logik matematycznych.


Ostatnio zmieniony przez rafal3006 dnia Pią 10:53, 23 Lut 2024, w całości zmieniany 5 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 11:21, 23 Lut 2024    Temat postu:

Tu żadne logiki dodatnie ani ujemne nie są potrzebne.
A wiedzą przynajmniej to, o czym ty nie masz pojęcia - czyli jak wygląda funkcja tożsamościowa.
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ł: 99 tematów


Płeć: Mężczyzna

PostWysłany: Pią 11:21, 23 Lut 2024    Temat postu:

Irbisol napisał:
Tu żadne logiki dodatnie ani ujemne nie są potrzebne.
A wiedzą przynajmniej to, o czym ty nie masz pojęcia - czyli jak wygląda funkcja tożsamościowa.


Kto cię nauczył tak ściemniać?
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 13:07, 23 Lut 2024    Temat postu:

Irbisol napisał:
Tu żadne logiki dodatnie ani ujemne nie są potrzebne.
A wiedzą przynajmniej to, o czym ty nie masz pojęcia - czyli jak wygląda funkcja tożsamościowa.

Na temat funkcji tożsamościowych w logice matematycznej ziemscy matematycy mają ZEROWE pojęcie - patrz słynne prawo Grzechotnika w poście wyżej, roznoszące w puch ziemskie logiki matematyczne.
Dowód prawa Grzechotnika - kiedy się weźmiesz za obalanie, tchórzu?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5025.html#780343
rafal3006 napisał:
Kolejny dowód wewnętrznej sprzeczności ziemskiej logiki "matematycznej"!


Rozmawiamy o logice matematycznej, tu najprostsze funkcje tożsamościowe są takie:
Kod:

Logika 5-cio latka       |  Logika Diabła – nieużywana w j. potocznym
A1:  Y=p                [=] A1”:  Y=~(~p)
     #                   |        #
.. a kiedy zajdzie ~Y?   |  … a kiedy zajdzie ~Y?
Negujemy A1 dwustronnie  |  Negujemy A1” dwustronnie bez minimalizacji!
B1: ~Y=~p               [=] B1”: ~Y=~(~(~p))
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
p,q,Y musi być wszędzie tymi samymi p,q,Y inaczej błąd podstawienia

Czy zgadzasz się na tożsamość funkcji logicznych w tej samej logice Y albo ~Y:
A1: Y = A1”: Y
oraz:
B1: ~Y = B1” ~Y
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Pią 13:08, 23 Lut 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 13:10, 23 Lut 2024    Temat postu:

Skoro mają zerowe pojęcie, to ty zajmij się tą funkcją i odpowiedz na pytanie.
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ł: 99 tematów


Płeć: Mężczyzna

PostWysłany: Pią 13:14, 23 Lut 2024    Temat postu:

Irbisol napisał:
Skoro mają zerowe pojęcie, to ty zajmij się tą funkcją i odpowiedz na pytanie.


Odpowiedział ale jak zwykle to wyparłeś
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 13:31, 23 Lut 2024    Temat postu:

Irbisolu, czy zgadzasz się że bez logiki ujemnej (bo ~Y) masz ZERO szans na dogadanie się z 5-cio latkiem?
Powyższe pytanie to masakra logiki Irbisola, dlatego będzie uciekał przed nim szybciej niż struś pędziwiatr - co za chwilę zobaczymy :)

Irbisol napisał:
Skoro mają zerowe pojęcie, to ty zajmij się tą funkcją i odpowiedz na pytanie.

Nie rozmawiamy o matematyce klasycznej, ale tylko i wyłącznie o logice matematycznej.
Matematyka klasyczna to fundamentalnie co innego niż logika matematyczna.

W logice matematycznej masz tylko i wyłącznie dwie wartości:
1 = prawda
0 = fałsz
Zgadzasz się z tym faktem?
TAK/NIE

Innymi słowy, przykładowy zbiór liczb naturalnych:
LN=[1,2,3,4,5,6,7..]
ma GÓWNO wspólnego z logiką matematyczną.

Rozmawiamy wyłącznie o logice matematycznej, zatem jeszcze raz:
Rafał3006 napisał:

Irbisol napisał:
Tu żadne logiki dodatnie ani ujemne nie są potrzebne.
A wiedzą przynajmniej to, o czym ty nie masz pojęcia - czyli jak wygląda funkcja tożsamościowa.

Na temat funkcji tożsamościowych w logice matematycznej ziemscy matematycy mają ZEROWE pojęcie - patrz słynne prawo Grzechotnika w poście wyżej, roznoszące w puch ziemskie logiki matematyczne.
Dowód prawa Grzechotnika - kiedy się weźmiesz za obalanie, tchórzu?
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5025.html#780343
rafal3006 napisał:
Kolejny dowód wewnętrznej sprzeczności ziemskiej logiki "matematycznej"!


Rozmawiamy o logice matematycznej, tu najprostsze funkcje tożsamościowe są takie:
Kod:

Logika 5-cio latka       |  Logika Diabła – nieużywana w j. potocznym
A1:  Y=p                [=] A1”:  Y=~(~p)
     #                   |        #
.. a kiedy zajdzie ~Y?   |  … a kiedy zajdzie ~Y?
Negujemy A1 dwustronnie  |  Negujemy A1” dwustronnie bez minimalizacji!
B1: ~Y=~p               [=] B1”: ~Y=~(~(~p))
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
p,q,Y musi być wszędzie tymi samymi p,q,Y inaczej błąd podstawienia

1.
Czy zgadzasz się na tożsamość funkcji logicznych w tej samej logice Y albo ~Y:
A1: Y = A1”: Y
oraz:
B1: ~Y = B1” ~Y
TAK/NIE

2.
Czy zgadzasz się że bez logiki ujemnej (bo ~Y) masz zero szans by się dogadać z 5-cio latkiem który logikę ujemną (bo ~Y) ma opanowaną w małym paluszku!

Po kiego grzyba 5-cio lakowi ekspertowi algebry Kubusia znajomość rozwiązania np. funkcji kwadratowej.
Osobiście jestem tu wtórnym analfabetą, czyli metody rozwiązywania równań kwadratowych dawno mi z mózgu wyparowały i nie mam zamiaru ich odtwarzać - bo w moim życiu zawodowym ich nie używam.
Natomiast pod algebrę Kubusia podlegam identycznie jak każdy 5-cio latek, dlatego AK nie da się zapomnieć - to fizycznie niemożliwe.


Ostatnio zmieniony przez rafal3006 dnia Pią 13:40, 23 Lut 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 13:55, 23 Lut 2024    Temat postu:

Nie odpowiedziałeś na moje pytanie i zmieniasz temat.
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ł: 99 tematów


Płeć: Mężczyzna

PostWysłany: Pią 14:05, 23 Lut 2024    Temat postu:

Irbisol napisał:
Nie odpowiedziałeś na moje pytanie i zmieniasz temat.


Odpowiedział ale to wyparłeś
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 14:14, 23 Lut 2024    Temat postu:

Logika matematyczna to tylko i wyłącznie bramki logiczne!
Czyli coś TOTALNIE rozłącznego z matematyką klasyczną!

Irbisol napisał:
Nie odpowiedziałeś na moje pytanie i zmieniasz temat.

Dyskutujemy o logice matematycznej czy też o matematyce klasycznej?
To są dwa rozłączne działy matematyki.

Logika matematyczna to tylko i wyłącznie bramki logiczne!
... o teorii których zarówno ty, jak i ziemscy matematycy nie mają pojęcia.
Dowód jest w tym rozdziale algebry Kubusia:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#706217
rafal3006 napisał:
Algebra Kubusia - matematyka języka potocznego
11.0 Algebra Kubusia w bramkach logicznych


http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5025.html#780389
rafal3006 napisał:
Irbisolu, czy zgadzasz się że bez logiki ujemnej (bo ~Y) masz ZERO szans na dogadanie się z 5-cio latkiem?
Powyższe pytanie to masakra logiki Irbisola, dlatego będzie uciekał przed nim szybciej niż struś pędziwiatr - co za chwilę zobaczymy :)

Irbisol napisał:
Skoro mają zerowe pojęcie, to ty zajmij się tą funkcją i odpowiedz na pytanie.

Nie rozmawiamy o matematyce klasycznej, ale tylko i wyłącznie o logice matematycznej.
Matematyka klasyczna to fundamentalnie co innego niż logika matematyczna.

W logice matematycznej masz tylko i wyłącznie dwie wartości:
1 = prawda
0 = fałsz
Zgadzasz się z tym faktem?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Pią 14:21, 23 Lut 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 14:22, 23 Lut 2024    Temat postu:

Dyskutujemy o temacie, który sam rozpocząłeś.
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 14:31, 23 Lut 2024    Temat postu:

Irbisol napisał:
Dyskutujemy o temacie, który sam rozpocząłeś.

Dyskutujemy tylko i wyłącznie o tożsamości funkcji logicznych w logice matematycznej, czyli o tożsamości funkcji logiczny w algebrze Boole'a która zna jedynie 5 znaczków:
1 - prawda
0 - fałsz
(~) - negacja
"i"(*) - spójnik "i"(*) z języka potocznego
"lub"(+) - spójnik "lub"(+) z języka potocznego

Gdzie tu masz miejsce na matematykę klasyczną odsyłając mnie do Wikipedii, którą uparcie chcesz się zajmować?
W DUPIE - zgadza się?

Powtórzę pytanie:
Dyskutujemy o logice matematycznej czy tez o matematyce klasycznej?
To dwa rozłączne działy matematyki!

Żadnego innego tematu poza rozumieniem tożsamości funkcji logicznych rodem z algebry Boole'a nigdy z tobą nie zaczynałem i nie będę zaczynał.

Czy jasno się wyraziłem?


Ostatnio zmieniony przez rafal3006 dnia Pią 14:44, 23 Lut 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ść
fedor




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


Płeć: Mężczyzna

PostWysłany: Pią 14:31, 23 Lut 2024    Temat postu:

Irbisol napisał:
Dyskutujemy o temacie, który sam rozpocząłeś.


I pewnie dlatego jak zwykle od tego tematu zwiałeś
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 14:49, 23 Lut 2024    Temat postu:

Nie o tożsamości, lecz o funkcji tożsamościowej.
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 14:55, 23 Lut 2024    Temat postu:

Irbisol napisał:
Nie o tożsamości, lecz o funkcji tożsamościowej.

Rozmawiamy o funkcji tożsamościowej w logice matematycznej, czyli w teorii bramek logicznych - tylko i wyłącznie!
Żadnego innego tematu z tobą nie zaczynałem i nie będę zaczynał - jak chcesz robić offtopa to załóż sobie nowy wątek np. na metematyce.pl, tam na pewno podejmą z tobą dyskusję, ja nie zamierzam.

Rozmawiamy o logice matematycznej, tu najprostsze funkcje tożsamościowe są takie:
Kod:

Logika 5-cio latka       |  Logika Diabła – nieużywana w j. potocznym
A1:  Y=p                [=] A1”:  Y=~(~p)
     #                   |        #
.. a kiedy zajdzie ~Y?   |  … a kiedy zajdzie ~Y?
Negujemy A1 dwustronnie  |  Negujemy A1” dwustronnie bez minimalizacji!
B1: ~Y=~p               [=] B1”: ~Y=~(~(~p))
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
p,q,Y musi być wszędzie tymi samymi p,q,Y inaczej błąd podstawienia

1.
Czy zgadzasz się na tożsamość funkcji logicznych w tej samej logice Y albo ~Y:
A1: Y = A1”: Y
oraz:
B1: ~Y = B1” ~Y
TAK/NIE

2.
Czy zgadzasz się że bez logiki ujemnej (bo ~Y) masz zero szans by się dogadać z 5-cio latkiem który logikę ujemną (bo ~Y) ma opanowaną w małym paluszku!


Ostatnio zmieniony przez rafal3006 dnia Pią 14:56, 23 Lut 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: 15389
Przeczytał: 30 tematów


PostWysłany: Pią 15:05, 23 Lut 2024    Temat postu:

Nie zadawaj mi pytań.
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ł: 99 tematów


Płeć: Mężczyzna

PostWysłany: Pią 15:17, 23 Lut 2024    Temat postu:

Irbisol napisał:
Nie zadawaj mi pytań.


Przecież bardzo lubisz pytania, trollu
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: 35368
Przeczytał: 20 tematów

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

PostWysłany: Pią 15:23, 23 Lut 2024    Temat postu:

Irbisol napisał:
Nie zadawaj mi pytań.

Offtopa nie zamierzam z tobą uprawiać, jak chcesz porozmawiać o funkcji tożsamościowej w rozumieniu innym niż w algebrze Boole'a (teoria bramek logicznych) to idź sobie na matematykę.pl
Pa,

Przypomnę o czym dyskutujemy:
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-5025.html#780423
rafal3006 napisał:
Irbisol napisał:
Nie o tożsamości, lecz o funkcji tożsamościowej.

Rozmawiamy o funkcji tożsamościowej w logice matematycznej, czyli w teorii bramek logicznych - tylko i wyłącznie!
Żadnego innego tematu z tobą nie zaczynałem i nie będę zaczynał - jak chcesz robić offtopa to załóż sobie nowy wątek np. na metematyce.pl, tam na pewno podejmą z tobą dyskusję, ja nie zamierzam.

Rozmawiamy o logice matematycznej, tu najprostsze funkcje tożsamościowe są takie:
Kod:

Logika 5-cio latka       |  Logika Diabła – nieużywana w j. potocznym
A1:  Y=p                [=] A1”:  Y=~(~p)
     #                   |        #
.. a kiedy zajdzie ~Y?   |  … a kiedy zajdzie ~Y?
Negujemy A1 dwustronnie  |  Negujemy A1” dwustronnie bez minimalizacji!
B1: ~Y=~p               [=] B1”: ~Y=~(~(~p))
Gdzie:
# - dowolna strona znaczka # jest negacją drugiej strony
p,q,Y musi być wszędzie tymi samymi p,q,Y inaczej błąd podstawienia

1.
Czy zgadzasz się na tożsamość funkcji logicznych w tej samej logice Y albo ~Y:
A1: Y = A1”: Y
oraz:
B1: ~Y = B1” ~Y
TAK/NIE

2.
Czy zgadzasz się że bez logiki ujemnej (bo ~Y) masz zero szans by się dogadać z 5-cio latkiem który logikę ujemną (bo ~Y) ma opanowaną w małym paluszku!


Ostatnio zmieniony przez rafal3006 dnia Pią 15:24, 23 Lut 2024, w całości zmieniany 1 raz
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 ... 201, 202, 203 ... 370, 371, 372  Następny
Strona 202 z 372

 
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