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 

Definicje operatorów implikacyjnych w układzie przełączników
Idź do strony Poprzedni  1, 2, 3 ... 14, 15, 16 ... 26, 27, 28  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13965
Przeczytał: 55 tematów


PostWysłany: Śro 15:03, 08 Sty 2020    Temat postu:

Fakty są takie, że notorycznie spierdalasz od odpowiedzi na temat.
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Śro 15:07, 08 Sty 2020    Temat postu:

Irbisol napisał:
Fakty są takie, że notorycznie spierdalasz od odpowiedzi na temat.

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499559

rafal3006 napisał:
Dlaczego Irbisol nie jest w stanie zrozumieć prostego banału?
… oto jest pytanie.

Irbisol napisał:
Odpowiadałem na sam początek.
A odpowiedzi nie czytałem bo to nie jest odpowiedź na moje pytanie.


Fakty są takie Irbisolu:
Definicje rodem z KRZ, zatem twoje definicje, są w 100% sprzeczne z definicjami z algebry Kubusia - czy rozumiesz co to znaczy w 100%?!
Wniosek:
Z definicji niemożliwa jest zatem jakakolwiek dyskusja między nami gdzie ty używasz swoich definicji a ja swoich - czy rozumiesz co to znaczy „niemożliwa jest”?!

Innymi słowy:
Odpowiedziałem ci na twoje pytanie
Oto moja odpowiedź!
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-325.html#499369
rafal3006 napisał:

Podsumowanie:
Nie jest możliwa sensowna dyskusja o Algebrze Kubusia poprzez jej porównywanie z jakąkolwiek logiką matematyczną ziemian bowiem wszystkie definicje w obszarze logiki matematycznej mamy sprzeczne co wypunktowałem wyżej.
Jedyne sensowne podejście do problemu polega na tym, że matematycy będą czytać Algebrą Kubusia próbując ją obalić poprzez wykazanie wewnętrznej sprzeczności w obrębie definicji tu występujących.

Czego nie rozumiesz w tej odpowiedzi?
Link do szerszych wyjaśnień masz.


Ostatnio zmieniony przez rafal3006 dnia Śro 15:09, 08 Sty 2020, 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: 13965
Przeczytał: 55 tematów


PostWysłany: Śro 15:13, 08 Sty 2020    Temat postu:

Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?
I przestań wklejać poprzedni post. Po kiego spamujesz?


Ostatnio zmieniony przez Irbisol dnia Śro 15:14, 08 Sty 2020, 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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Śro 15:17, 08 Sty 2020    Temat postu:

Czy Irbisol zaakceptuje fundamentalne definicje algebry Kubusia?
... bo podobno na ich bazie mamy dyskutować!

rafal3006 napisał:

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

Irbisol napisał:
Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?


Jeśli na bazie moich to potwierdź czy rozumiesz ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-325.html#499369

Jeśli mamy rozmawiać o moich definicjach to potwierdź na początek czy rozumiesz i akceptujesz poniższe definicje rodem z algebry Kubusia:

W algebrze Boole’a której uczą na studiach technicznych nie ma pojęcia warunku wystarczającego => i koniecznego ~>.

Definicja warunku wystarczającego =>:
p=>q = ~p+q

Definicja warunku koniecznego ~>:
p~>q = p+~q

Prawa Kubusia mówiące o związkach warunku wystarczającego => i koniecznego ~> bez zamiany p i q:
I. p=>q = ~p~>~q
II. p~>q = ~p=>~q
Dowód I.
~p~>~q = ~p+q = p=>q
cnd
Dowód II.
~p=>~q = p+~q = p~>q
cnd

Definicja implikacji prostej |=>:
p|=>q=(p=>q)*~(p~>q) = ~p*q

Dowód:
p|=>q = (p=>q)*~(p~>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q + ~p*q = ~p*q
cnd

Na mocy definicji zachodzi:
p=>q = ~p+q ## p~>q = p+~q ## p|=>q = ~p*q
gdzie:
## - różne na mocy definicji


Ostatnio zmieniony przez rafal3006 dnia Śro 15:48, 08 Sty 2020, w całości zmieniany 11 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: 13965
Przeczytał: 55 tematów


PostWysłany: Śro 16:57, 08 Sty 2020    Temat postu:

Chuj cię obchodzi, co ja rozumiem a czego nie.
Zadałem ci pytanie i czekam na odpowiedź.
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Śro 18:09, 08 Sty 2020    Temat postu:

Czy Irbisol zaakceptuje fundamentalne definicje algebry Kubusia?
... bo podobno na ich bazie mamy dyskutować!

Irbisol napisał:
Chuj cię obchodzi, co ja rozumiem a czego nie.
Zadałem ci pytanie i czekam na odpowiedź.


rafal3006 napisał:

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

Irbisol napisał:
Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?


Irbisolu, dla każdego matematyka oczywistym jest, że jeśli zobowiązałeś się do dyskusji o logice matematycznej na bazie definicji z algebry Kubusia to musisz je poznać i zaakceptować.
Czy to jest dla ciebie jasne?
Czy podtrzymujesz swoją deklarację?
Jeśli tak, to czy akceptujesz elementarne definicje algebry Kubusia przedstawione w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499571


Ostatnio zmieniony przez rafal3006 dnia Śro 18:23, 08 Sty 2020, 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: 13965
Przeczytał: 55 tematów


PostWysłany: Śro 18:35, 08 Sty 2020    Temat postu:

Czekam na odpowiedź, spierdalaczu.
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Śro 18:43, 08 Sty 2020    Temat postu:

Irbisol napisał:
Czekam na odpowiedź, spierdalaczu.

Powtórzę proste pytanie:
Na bazie czyich definicji chcesz ze mną dyskutować o logice matematycznej - twoich (KRZ) czy moich (algebra Kubusia)?
Proszę o jednoznaczną deklarację.


Ostatnio zmieniony przez rafal3006 dnia Śro 18:45, 08 Sty 2020, 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: 13965
Przeczytał: 55 tematów


PostWysłany: Śro 21:05, 08 Sty 2020    Temat postu:

Dopiero co ci odpowiedziałem. Ślepy jesteś?
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499569
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Śro 22:17, 08 Sty 2020    Temat postu:

Irbisol napisał:
Dopiero co ci odpowiedziałem. Ślepy jesteś?
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499569

Cieszę się że nie zmieniłeś zdania.
Jeśli mówisz prawdę to musisz (podkreślę: musisz) zaakceptować definicje obowiązujące w algebrze Kubusia podane w cytacie niżej, zaś wszelkie definicje rodem z KRZ musisz (podkreślę: musisz) wywalić do kosza.
Poniższe definicje działają absolutnie perfekcyjnie w całym obszarze języka potocznego - czy zgadzasz się z tym faktem?
... oczywiście mogę ci to udowodnić na przykładzie - czy mam pokazać dowód?

http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499571
rafal3006 napisał:
Czy Irbisol zaakceptuje fundamentalne definicje algebry Kubusia?
... bo podobno na ich bazie mamy dyskutować!

rafal3006 napisał:

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

Irbisol napisał:
Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?


Jeśli na bazie moich to potwierdź czy rozumiesz ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-325.html#499369

Jeśli mamy rozmawiać o moich definicjach to potwierdź na początek czy rozumiesz i akceptujesz poniższe definicje rodem z algebry Kubusia:

W algebrze Boole’a której uczą na studiach technicznych nie ma pojęcia warunku wystarczającego => i koniecznego ~>.

Definicja warunku wystarczającego =>:
p=>q = ~p+q

Definicja warunku koniecznego ~>:
p~>q = p+~q

Prawa Kubusia mówiące o związkach warunku wystarczającego => i koniecznego ~> bez zamiany p i q:
I. p=>q = ~p~>~q
II. p~>q = ~p=>~q
Dowód I.
~p~>~q = ~p+q = p=>q
cnd
Dowód II.
~p=>~q = p+~q = p~>q
cnd

Definicja implikacji prostej |=>:
p|=>q=(p=>q)*~(p~>q) = ~p*q

Dowód:
p|=>q = (p=>q)*~(p~>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q + ~p*q = ~p*q
cnd

Na mocy definicji zachodzi:
p=>q = ~p+q ## p~>q = p+~q ## p|=>q = ~p*q
gdzie:
## - różne na mocy definicji


Ostatnio zmieniony przez rafal3006 dnia Czw 7:22, 09 Sty 2020, 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: 13965
Przeczytał: 55 tematów


PostWysłany: Czw 9:03, 09 Sty 2020    Temat postu:

Długo jeszcze będziesz pierdolił zamiast odpowiedzieć na pytanie?
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Czw 22:50, 09 Sty 2020    Temat postu:

Jak działa algebra Kubusia w zbiorach?
Z dedykacją dla Irbisola.

Teoria konieczna dla zrozumienia niniejszego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/fundamenty-ak-w-obsludze-zdan-warunkowych,14979.html#495259

Streszczenie istoty algebry Kubusia:
Fundamenty algebry Kubusia dla zdań warunkowych napisał:


1.3 Podstawowe spójniki implikacyjne w zbiorach

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q=p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q = p*q =[] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest podzbiorem => q
Inaczej:
p=>q =0 - definicja warunku wystarczającego => nie jest (=0) spełniona
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = relacja podzbioru =>
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Definicja warunku koniecznego ~> w zbiorach:
Jeśli p to q
p=>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> q
Inaczej:
p~>q =0 - definicja warunku koniecznego ~> nie jest (=0) spełniona
Matematycznie zachodzi tożsamość:
Warunek konieczny ~> = relacja nadzbioru ~>
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

1.3.1 Definicja kontrprzykładu w zbiorach

Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów ~~>
Definicja elementu wspólnego zbiorów ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy istnieje element wspólny zbiorów p i ~q
Inaczej:
p~~>~q = p*~q =0
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)

1.4 Matematyczne związki warunku wystarczającego => i koniecznego ~>

Definicja warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji

Stąd mamy matematyczne związki warunku wystarczającego => i koniecznego ~>:
A: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji

Stąd mamy:
I.
Prawa Kubusia:
A1: p=>q = A2: ~p=>~q
##
B1: p~>q = B2: ~p=>~q
## - różne na mocy definicji

II.
Prawa Tygryska:
A1: p=>q = A3: q~>p
##
B1: p~>q = B3: q=>p
## - różne na mocy definicji

III.
Prawa kontrapozycji:
A1: p=>q = A4: ~q=>~p
##
B1: p~>q = B4: ~q~>~p
## - różne na mocy definicji


Irbisol napisał:

Długo jeszcze będziesz pierdolił zamiast odpowiedzieć na pytanie?

Irbisolu, dla mnie jesteś bardzo ciekawym przypadkiem.
Postanowiłem rozwalić ten beton ciemności który otacza twój mózg - patrz zdanie wyżej.

Twierdzenie:
Jeśli mnie, Rafałowi3006 uda się przekonać twardogłowego Irbisola do algebry Kubusia to na 100% żaden ziemski matematyk nie oprze się jej pięknu i prostocie
… a jeśli się nie uda?
Z faktu że się nie uda, nie wynika że wszyscy ziemscy matematycy mają tak potwornie zabetonowany mózg jak nasz kochany Irbisol, co oznacza, że AK musi koniec końców trafić do serc matematyków.

Jak działa algebra Kubusia?
Irbisolu,
W algebrze Kubusia w zdaniu „Jeśli p to q” masz absolutny zakaz określania oddzielnej prawdziwości/fałszywości p i oddzielnej prawdziwości/fałszywości q.
Wynika z tego że algebra Kubusia jest totalnie sprzeczna z Klasycznym Rachunkiem Zdań gdzie bez takiego rozstrzygnięcia nie możesz wnioskować o prawdziwości/fałszywości zdania „Jeśli p to q”

Weźmy twierdzenie proste A1: p=>q w zbiorach:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to na 100% jest podzielna przez 2
P8=>P2 =1
Definicja warunku wystarczającego => jest spełniona bo zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]
Obliczenia wszystkich możliwych przeczeń zbiorów:
P8=[8,16,24..] - zbiór liczb podzielnych przez 8
P2=[2,4,6,8..] - zbiór liczb podzielnych przez 2
Przyjmujemy dziedzinę:
LN=[1,2,3,4,5,6,7,8,9..]
Obliczamy przeczenia zbiorów rozumiane jako ich uzupełnienia do dziedziny:
~P8 = [LN-P8]=[1,2,3,4,6,7..9..] - zbiór liczb niepodzielnych przez 8
~P2 = [LN-P2]=[1,3,5,7,9..] - zbiór liczb niepodzielnych przez 2

Z matematycznych związków warunku wystarczającego => i koniecznego ~> odczytujemy:
A: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji

Nasz przykład:
A: 1: P8=>P2 = 2: ~P8~>~P2 [=] 3: P2~>P8 = 4: ~P2=>~P8

Po udowodnieniu prawdziwości twierdzenia prostego A1: P8=>P2=1 mamy rozstrzygnięcia:
A1: P8=>P2 =1 - zbiór P8=[8,16,24..] jest (=1) podzbiorem => zbioru P2=[2,4,6,8..]
A2: ~P8~>~P2=1 - zbiór ~P8 jest (=1) nadzbiorem ~> zbioru ~P2
A3: P2~>P8 =1 - zbiór P2 jest (=1) nadzbiorem => zbioru P8
A3: ~P2=>~P8 =1 - zbiór ~P2 jest (=1) podzbiorem => zbioru ~P8

Weźmy twierdzenie odwrotne B3: q=>p w zbiorach:
B3.
Jeśli dowolna liczba jest podzielna przez 2 to na 100% => jest podzielna przez 8
P2=>P8 =0
Definicja warunku wystarczającego => nie jest tu spełniona (=0) bo zbiór P2=[2,4,6,8..] nie jest podzbiorem => zbioru P8=[8,16,24..]

Z matematycznych związków warunku wystarczającego =. i koniecznego ~> odczytujemy:
A: 1: p=>q = 2: ~p~>~q [=] 3: q~>p = 4: ~q=>~p
##
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p
Gdzie:
## - różne na mocy definicji

Oczywistym jest, że udowadniając fałszywość twierdzenia odwrotnego B3: q=>p=0 udowodniliśmy fałszywość wszystkich zdań serii B.

Stąd mamy:
A: 1: P8=>P2 = 2: ~P8~>~P2 [=] 3: P2~>P8 = 4: ~P2=>~P8=1
Powyższe udowodniliśmy wykazując prawdziwość twierdzenia prostego A1: P8=>P2 =1
##
B: 1: P8~>P2 = 2: ~P8=>~P2 [=] 3: P2=>P8 = 4: ~P2~>~P8 =0
Powyższe udowodniliśmy wykazując prawdziwość twierdzenia odwrotnego B3: P2=>P8 =0
Gdzie:
## - różne na mocy definicji

Po udowodnieniu fałszywości twierdzenia odwrotnego B3: P2=>P8=0 mamy rozstrzygnięcia:
B1: P8~>P2 =0 - zbiór P8=[8,16,24..] nie jest (=0) nadzbiorem ~> zbioru P2=[2,4,6,8..]
B2: ~P8~>~P2=0 - zbiór ~P8 nie jest (=0) podzbiorem => zbioru ~P2
B3: P2=>P8 =0 - zbiór P2=[2,4,6,8..] nie jest (=0) podzbiorem => zbioru P8=[8,16,24..]
B4: ~P2~>~P8 =0 - zbiór ~P2 nie jest (=0) nadzbiorem ~> zbioru ~P8

Definicja implikacji prostej p|=>q:
Implikacja prosta to zachodzenie wyłącznie warunku wystarczającego => miedzy tymi samymi punktami i w tym samym kierunku
A1: p=>q =1
B3: q=>p =0
Stąd mamy:
p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0) =1*1 =1

Nasz przykład:
P8|=>P2 = (A1: P8=>P2)*~(B1: P8~>P2) = 1*~(0) =1*1 =1
Wynika z tego że zdania A1: P8=>P2=1 i B1: P8~>P2=0 decydują o tym, iż mamy tu do czynienia z implikacją prostą P8|=>P2.

Tożsamość to rzecz święta:
B1: P8~>P2 = B3: P2=>P8
Stąd definicja tożsama implikacji prostej P8|=>P2:
Implikacja prosta P8|=>P2 to zachodzenie warunku wystarczającego => wyłącznie w stronę P8=>P2
A1: P8=>P2 =1
B3: P2=>P8 =0
Stąd:
P8|=>P2 = (A1: P8=>P2)*~(B3: P2=>P8) = 1*~(0) =1*1 =1

Podsumowując:
W algebrze Kubusia, w twierdzeniach matematycznych wyrażonych spójnikiem „Jeśli p to q” operujących na zbiorach badamy relację zachodzącą miedzy zbiorami p i q rozstrzygając czy ta relacja jest spełniona (=1), czy też nie jest spełniona (=0)
Co dowiedziono wyżej!

Wnioski:
1.
W algebrze Kubusia udowadniając prawdziwość/fałszywość twierdzenia prostego p=>q i odwrotnego q=>q automatycznie udowadniamy prawdziwość/fałszywość czterech twierdzeń serii Ax i czterech twierdzeń serii Bx. Serie twierdzeń Ax i Bx są różne na mocy definicji ##.
Co dowiedziono wyżej!
2.
W algebrze Kubusia w zdaniach „Jeśli p to q” mamy TOTALNY zakaz rozstrzygnięć o oddzielnej prawdziwości/fałszywości p i oddzielnej prawdziwości/fałszywości q, bowiem w algebrze Kubusia takie rozstrzygnięcia są matematycznym DEBILIZMEM!
Innymi słowy:
Z punktu widzenia algebry Kubusia, Klasyczny Rachunek Zdań który dla zdań „Jeśli p to q” zmusza nas do precyzyjnego określenia prawdziwości/fałszywości dla p oraz oddzielnie prawdziwości/fałszywości dla q jest matematycznym DEBILIZMEM!

Pytanie do Irbisola:
Czy rozumiesz dlaczego z punktu widzenia Algebry Kubusia twój ukochany Klasyczny Rachunek Zdań jest matematycznym DEBILIZMEM?

rafal3006 napisał:

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

Irbisol napisał:
Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?


Powtórzę pytanie do Irbisola:
Czy rozumiesz dlaczego z punktu widzenia Algebry Kubusia twój ukochany Klasyczny Rachunek Zdań jest matematycznym DEBILIZMEM?


Ostatnio zmieniony przez rafal3006 dnia Pią 0:21, 10 Sty 2020, 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: 13965
Przeczytał: 55 tematów


PostWysłany: Pią 10:27, 10 Sty 2020    Temat postu:

Znowu pierdolisz nie na temat.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Pią 12:01, 10 Sty 2020    Temat postu:

Widzę, że sytuacja stabilna.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13965
Przeczytał: 55 tematów


PostWysłany: Pią 14:45, 10 Sty 2020    Temat postu:

fiklit napisał:
Widzę, że sytuacja stabilna.

Ten zjeb nigdy nie odpowie.
I to właśnie chcę pokazać.
Bo na normalną dyskusję z nim już dawno przestałem liczyć.
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Pią 16:17, 10 Sty 2020    Temat postu:

Irbisol napisał:
fiklit napisał:
Widzę, że sytuacja stabilna.

Ten zjeb nigdy nie odpowie.
I to właśnie chcę pokazać.
Bo na normalną dyskusję z nim już dawno przestałem liczyć.


Znowu się pienisz nie rozumiejąc prostego tekstu który do ciebie piszę:

http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499637
rafal3006 napisał:
Irbisol napisał:
Dopiero co ci odpowiedziałem. Ślepy jesteś?
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499569

Cieszę się że nie zmieniłeś zdania.
Jeśli mówisz prawdę to musisz (podkreślę: musisz) zaakceptować definicje obowiązujące w algebrze Kubusia podane w cytacie niżej, zaś wszelkie definicje rodem z KRZ musisz (podkreślę: musisz) wywalić do kosza.
Poniższe definicje działają absolutnie perfekcyjnie w całym obszarze języka potocznego - czy zgadzasz się z tym faktem?
... oczywiście mogę ci to udowodnić na przykładzie - czy mam pokazać dowód?


http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499571
rafal3006 napisał:
Czy Irbisol zaakceptuje fundamentalne definicje algebry Kubusia?
... bo podobno na ich bazie mamy dyskutować!

rafal3006 napisał:

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

Irbisol napisał:
Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?


Jeśli na bazie moich to potwierdź czy rozumiesz ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-325.html#499369

Jeśli mamy rozmawiać o moich definicjach to potwierdź na początek czy rozumiesz i akceptujesz poniższe definicje rodem z algebry Kubusia:

W algebrze Boole’a której uczą na studiach technicznych nie ma pojęcia warunku wystarczającego => i koniecznego ~>.

Definicja warunku wystarczającego =>:
p=>q = ~p+q

Definicja warunku koniecznego ~>:
p~>q = p+~q

Prawa Kubusia mówiące o związkach warunku wystarczającego => i koniecznego ~> bez zamiany p i q:
I. p=>q = ~p~>~q
II. p~>q = ~p=>~q
Dowód I.
~p~>~q = ~p+q = p=>q
cnd
Dowód II.
~p=>~q = p+~q = p~>q
cnd

Definicja implikacji prostej |=>:
p|=>q=(p=>q)*~(p~>q) = ~p*q

Dowód:
p|=>q = (p=>q)*~(p~>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q + ~p*q = ~p*q
cnd

Na mocy definicji zachodzi:
p=>q = ~p+q ## p~>q = p+~q ## p|=>q = ~p*q
gdzie:
## - różne na mocy definicji


Powtórzę:
Powyższe definicje działają absolutnie perfekcyjnie w całym obszarze języka potocznego - czy zgadzasz się z tym faktem?
... oczywiście mogę ci to udowodnić na przykładzie - czy mam pokazać dowód?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 13965
Przeczytał: 55 tematów


PostWysłany: Pią 17:29, 10 Sty 2020    Temat postu:

Nie czytam gówien nie na temat.
Czekam na odpowiedź na moje pytanie.
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Pią 22:03, 10 Sty 2020    Temat postu:

fiklit napisał:
Widzę, że sytuacja stabilna.

Fiklicie, nie jest możliwa sensowna dyskusja między mną a Irbisolem w temacie logiki matematycznej bowiem wszystkie definicje mamy sprzeczne.
Sensowna dyskusja jest możliwa wyłącznie na poletku algebry Kubusia, albo wyłącznie na poletku KRZ.

Niby Irbisol deklaruje, że chce dyskutować o logice matematycznej na poletku algebry Kubusia, ale są to tylko jego czcze deklaracje, mijające się z prawdą.
Zauważ, że ja zobowiązałem się nawet podać mu prosty przykład dowodzący iż algebra Kubusia jest zgodna z językiem potocznym każdego człowieka.
... i co?
I nic, Irbisol nie jest tym przykładem zainteresowany, co oznacza, że jest bezczelnym kłamcą deklarując swoją gotowość dyskusji przy pomocy definicji obowiązujących w algebrze Kubusia.

Dowód niżej:

http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499637
rafal3006 napisał:
Irbisol napisał:
Dopiero co ci odpowiedziałem. Ślepy jesteś?
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499569

Cieszę się że nie zmieniłeś zdania.
Jeśli mówisz prawdę to musisz (podkreślę: musisz) zaakceptować definicje obowiązujące w algebrze Kubusia podane w cytacie niżej, zaś wszelkie definicje rodem z KRZ musisz (podkreślę: musisz) wywalić do kosza.
Poniższe definicje działają absolutnie perfekcyjnie w całym obszarze języka potocznego - czy zgadzasz się z tym faktem?
... oczywiście mogę ci to udowodnić na przykładzie - czy mam pokazać dowód?


http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499571
rafal3006 napisał:
Czy Irbisol zaakceptuje fundamentalne definicje algebry Kubusia?
... bo podobno na ich bazie mamy dyskutować!

rafal3006 napisał:

Na bazie czyich definicji będziemy dyskutować o logice matematycznej - twoich czy moich?
Poproszę o jednoznaczną odpowiedź.

Irbisol napisał:
Chyba oczywiste, że na bazie twoich.
Po co zadajesz debilne pytania?


Jeśli na bazie moich to potwierdź czy rozumiesz ten post:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-325.html#499369

Jeśli mamy rozmawiać o moich definicjach to potwierdź na początek czy rozumiesz i akceptujesz poniższe definicje rodem z algebry Kubusia:

W algebrze Boole’a której uczą na studiach technicznych nie ma pojęcia warunku wystarczającego => i koniecznego ~>.

Definicja warunku wystarczającego =>:
p=>q = ~p+q

Definicja warunku koniecznego ~>:
p~>q = p+~q

Prawa Kubusia mówiące o związkach warunku wystarczającego => i koniecznego ~> bez zamiany p i q:
I. p=>q = ~p~>~q
II. p~>q = ~p=>~q
Dowód I.
~p~>~q = ~p+q = p=>q
cnd
Dowód II.
~p=>~q = p+~q = p~>q
cnd

Definicja implikacji prostej |=>:
p|=>q=(p=>q)*~(p~>q) = ~p*q

Dowód:
p|=>q = (p=>q)*~(p~>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q + ~p*q = ~p*q
cnd

Na mocy definicji zachodzi:
p=>q = ~p+q ## p~>q = p+~q ## p|=>q = ~p*q
gdzie:
## - różne na mocy definicji


Powtórzę:
Powyższe definicje działają absolutnie perfekcyjnie w całym obszarze języka potocznego - czy zgadzasz się z tym faktem?
... oczywiście mogę ci to udowodnić na przykładzie - czy mam pokazać dowód?


Ostatnio zmieniony przez rafal3006 dnia Pią 22:10, 10 Sty 2020, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Sob 9:27, 11 Sty 2020    Temat postu:

Spotkałeś poza stumilowym lasem osobę z którą nie miałbyś sprzecznych definicji?
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Nie 0:25, 12 Sty 2020    Temat postu:

Algebra Kubusia dla LO!

fiklit napisał:

Spotkałeś poza stumilowym lasem osobę z którą nie miałbyś sprzecznych definicji?

Nie spotkałem i doskonale wiem dlaczego nie spotkałem - algebra Kubusia to cios osikowym kołkiem w samo serce KRZ, bo wszystkie definicje mamy sprzeczne.
Popatrz …

http://www.sfinia.fora.pl/forum-kubusia,12/fundamenty-ak-w-obsludze-zdan-warunkowych,14979.html#495259
Fundamenty AK w obsłudze zdań warunkowych napisał:

1.2 Podstawowe spójniki implikacyjne w zbiorach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zbiorów p i q

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q=p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q = p*q =[] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest podzbiorem => q
Inaczej:
p=>q =0 - definicja warunku wystarczającego => nie jest (=0) spełniona
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = relacja podzbioru =>
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Definicja warunku koniecznego ~> w zbiorach:
Jeśli p to q
p=>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> q
Inaczej:
p~>q =0 - definicja warunku koniecznego ~> nie jest (=0) spełniona
Matematycznie zachodzi tożsamość:
Warunek konieczny ~> = relacja nadzbioru ~>
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

1.2.1 Definicja kontrprzykładu w zbiorach

Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów ~~>
Definicja elementu wspólnego zbiorów ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy istnieje element wspólny zbiorów p i ~q
Inaczej:
p~~>~q = p*~q =0
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)


Elementarne definicje algebry Kubusia:

Definicja warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji

Stąd mamy w rachunku zero-jedynkowym wspólnym dla AK i KRZ!

Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4: ~q=>~p [=] 5: ~p+q
##
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p [=] 5: p+~q
Gdzie:
## - różne na mocy definicji
Zmienne p i q muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia

Na mocy powyższego zapisujemy:
1.
Prawa Kubusia:
A12: p=>q = ~p~>q
##
B12: p~>q = ~p=>~q
2.
Prawa Tygryska:
A13: p=>q = q~>p
##
B13: p~>q = q=>p
3.
Prawa kontrapozycji:
A14: p=>q = ~q=>~p
##
B14: p~>q = ~q~>~p

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

Wyprowadzenie aksjomatycznych definicji równoważności <=>, implikacji prostej |=> i implikacji odwrotnej |~>:
Definicja aksjomatyczna to definicja z której wynika tabela zero-jedynkowa danego operatora.

Zwróćmy uwagę na kluczowy w poniższych przekształceniach znaczek różne na mocy definicji ##, na jego wędrówkę w poszczególnych definicjach aksjomatycznych.

I.
Równoważność p<=>q


Definicja podstawowa równoważności p<=>q:
Równoważność p<=>q to jednoczesne zachodzenie warunku wystarczającego => i koniecznego ~> miedzy tymi samymi punktami i w tym samym kierunku:
A1: p=>q =1
##
B1: p~>q =1
Gdzie:
## - różne na mocy definicji

Stąd mamy definicję równoważności w równaniu logicznym:
p<=>q = (A1: p=>q)*(B1: p~>q) =1*1 =1

Prawo Kubusia:
B1: p~>q = B2: ~p=>~q

Stąd mamy aksjomatyczną definicję równoważności z której wynika tabela zero-jedynkowa równoważności:
p<=>q = (A1: p=>q)*(B2: ~p=>~q) =1*1 =1

Wyprowadzenie symbolicznej definicji równoważności p<=>q:
Kod:

T1
Aksjomatyczna definicja równoważności:
A1: p=> q =1 - warunek wystarczający => spełniony (=1)
A’: p~~>~q=0 - na mocy definicji kontrprzykładu
##
B2:~p=>~q =1 - warunek wystarczający => spełniony (=1)
B’:~p~~>q =0 - na mocy definicji kontrprzykładu
Gdzie:
## - różne na mocy definicji

Wniosek:
Aby udowodnić iż mamy do czynienia z równoważnością p<=>q potrzeba i wystarcza udowodnić prawdziwość warunku wystarczającego:
A1: p=>q =1
oraz prawdziwość warunku wystarczającego:
B2: ~p=>~q =1
Uwaga:
Dla B2 możemy skorzystać z prawa kontrapozycji:
B2: ~p=>~q = B3: q=>p

Definicja równoważności w spójnikach „i”(*) i „lub”(+):
p<=>q = (p=>q)*(p~>q) = (~p+q)*(p+~q) = ~p*p + ~p*~q + q*p +q*~q = p*q + ~p*~q
p<=>q = p*q + ~p*~q


II.
Definicja implikacji prostej p|=>q


Podstawowa definicja implikacji prostej p|=>q
Implikacja prosta p|=>q to zachodzenie wyłącznie warunku wystarczającego => między tymi samymi punktami i w tym samym kierunku:
A1: p=>q =1
##
B1: p~>q =0
Gdzie:
## - różne na mocy definicji

Stąd mamy:
p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0) =1*1 =1

Prawo Kubusia:
B1: p~>q = B2: ~p=>~q

Stąd mamy aksjomatyczną definicję implikacji prostej z której wynika tabela zero-jedynkowa implikacji prostej p|=>q:
p|=>q = (A1: p=>q)*~(B2: ~p=>~q) = 1*~(0) =1*1 =1

Wyprowadzenie symbolicznej implikacji prostej:
Kod:

T1
Aksjomatyczna definicja implikacji prostej p|=>q:
A1: p=> q =1 - warunek wystarczający => spełniony (=1)
A’: p~~>~q=0 - na mocy definicji kontrprzykładu
##
B2:~p=>~q =0 - warunek wystarczający => nie spełniony (=0)
B’:~p~~>q =1 - na mocy definicji kontrprzykładu
Gdzie:
## - różne na mocy definicji

Prawo Kubusia:
A1: p=>q = A2: ~p~>~q
stąd mamy końcową wersję aksjomatycznej definicji implikacji prostej p|=>q:
Kod:

T2
Aksjomatyczna definicja implikacji prostej p|=>q:
A1: p=> q =1 - warunek wystarczający => spełniony (=1)
A’: p~~>~q=0 - na mocy definicji kontrprzykładu
A2:~p~>~q =1 - warunek konieczny ~> spełniony na mocy prawa Kubusia
##
B’:~p~~>q =1 - na mocy definicji kontrprzykładu
Gdzie:
## - różne na mocy definicji

Wniosek:
Aby udowodnić iż mamy do czynienia z implikacją prostą p|=>q potrzeba i wystarcza udowodnić prawdziwość warunku wystarczającego:
A1: p=>q =1
oraz wykazać istnienie kontrprzykładu:
B’: ~p~~>q = ~p*q =1

Definicja implikacji prostej p|=>q w spójnikach „i”(*) i „lub”(+):
p|=>q = (p=>q)*~(p~>q) = (~p+q)*~(p+~q) = (~p+q)*(~p*q) = ~p*q
p|=>q = ~p*q

III.
Definicja implikacji odwrotnej


Podstawowa definicja implikacji odwrotnej p|~>q
Implikacja odwrotna p|~>q to zachodzenie wyłącznie warunku koniecznego ~> między tymi samymi punktami i w tym samym kierunku:
B1: p~>q =1
##
A1: p=>q =0
Gdzie:
## - różne na mocy definicji

Stąd mamy:
p|~>q = (B1: p~>q)*~(A1: p=>q) = 1*~(0)=1*1 =1

Prawo Kubusia:
B1: p~>q = B2: ~p=>~q

Stąd mamy aksjomatyczną definicję implikacji odwrotnej z której wynika tabela zero-jedynkowa implikacji odwrotnej p|~>q:
p|~>q = (B2: ~p=>~q)*~(A1: p=>q) = 1*~(0) = 1*1 =1

Wyprowadzenie aksjomatycznej definicji implikacji odwrotnej p|~>q:
Kod:

T1
Aksjomatyczna definicja implikacji odwrotnej p|~>q:
B2:~p=>~q =1 - warunek wystarczający => spełniony (=1)
B’:~p~~>q =0 - na mocy definicji kontrprzykładu
##
A1: p=> q =0 - warunek wystarczający => nie spełniony (=0)
A’: p~~>~q=1 - na mocy definicji kontrprzykładu
Gdzie:
## - różne na mocy definicji

Prawo Kubusia:
B2: ~p=>~q = B1: p~>q
stąd mamy końcową wersję aksjomatycznej definicji implikacji odwrotnej p|~>q:
Kod:

T1
Aksjomatyczna definicja implikacji odwrotnej p|~>q:
B2:~p=>~q =1 - warunek wystarczający => spełniony (=1)
B’:~p~~>q =0 - na mocy definicji kontrprzykładu
B1: p~> q =1 - warunek konieczny ~> spełniony (=1) na mocy prawa Kubusia
##
A’: p~~>~q=1 - na mocy definicji kontrprzykładu
Gdzie:
## - różne na mocy definicji

Wniosek:
Aby udowodnić iż mamy do czynienia z odwrotną p|~>q potrzeba i wystarcza udowodnić prawdziwość warunku wystarczającego:
B2: ~p=>~q=1
oraz wykazać istnienie kontrprzykładu:
A’: p~~>~q = p*~q =1
Uwaga:
Dla B2 możemy skorzystać z prawa kontrapozycji:
B2: ~p=>~q = B3: q=>p

Definicja implikacji odwrotnej p|~>q w spójnikach „i”(*) i „lub”(+):
p|~>q = (p~>q)*~(p=>q) = (p+~q)*~(~p+q) = (p+~q)*(p*~q) = p*~q
p|~>q =p*~q

Na mocy definicji zachodzi:

Warunek wystarczający =>:
p=>q=~p+q
##
Warunek konieczny ~>:
p~>q = p+~q
##
Równoważność <=>:
p<=>q=p*q+~p*~q
##
Implikacja prosta |=>:
p|=>q=~p*q
##
Implikacja odwrotna |~>:
p|~>q=p*~q
Gdzie:
## różne na mocy definicji

Podsumowanie:
Nie jest możliwe, by normalny ziemski matematyk nie zrozumiał algebry Kubusia

… ale jak ma się tak zabetonowany mózg jak nasz Irbisol to (niedomówienie):
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#499923
Irbisol napisał:
Nie czytam gówien nie na temat.
Czekam na odpowiedź na moje pytanie.


Ostatnio zmieniony przez rafal3006 dnia Wto 19:26, 14 Sty 2020, w całości zmieniany 9 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: 13965
Przeczytał: 55 tematów


PostWysłany: Nie 13:56, 12 Sty 2020    Temat postu:

A ja nie spotkałem nigdy logika AK, który by po prostu odpowiedział na pytanie.
Zawsze taki spierdala 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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Wto 23:32, 21 Sty 2020    Temat postu:

Mała dygresja, czyli logika matematyczna w praktyce - oczywiście mówię tu o AK.

http://www.sfinia.fora.pl/filozofia,4/logika-matematyczna-jezyk-potoczny-czlowieka,15261.html#502297
rafal3006 napisał:
Moderatorów proszę by się nie wygłupiali tzn. nie usuwali tego wątku z filozofii.
Nie od dziś wiadomo, że filozofowie szastają logiką matematyczną np. Raino kompletnie jej nie rozumiejąc!

Czego oczekuję po niniejszym wątku?
Oczekuję że Michał i inni wypowiedzą się z czym się nie zgadzają w cytowanym cytacie.
Ściślej mówiąc:
Które zdania z analizy obietnicy Chrystusa:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
są waszym zdaniem nieprawdziwe tzn. np czy należy zakazać Chrystusowi wypowiedzenia zdania D dającego możliwość zbawienia niewierzącym?

P.S.
Definicja języka potocznego w algebrze Kubusia:
Język potoczny definiuję jako serię zdań A,B,C i D matematycznie wynikających ze zdania A - ta seria będzie identyczna niezależnie od treści obietnicy.
Moim zdaniem pojęcia warunek wystarczający => i konieczny ~> są powszechnie zrozumiałe dokładnie tak jak to opisano w cytacie.

http://www.sfinia.fora.pl/filozofia,4/proba-nienaiwnego-ujecia-klasycznej-teorii-prawdy,15109-25.html#502117
rafal3006 napisał:
Logika matematyczna = język potoczny człowieka!
Dowód w niniejszym poście.

Matematycznie bez różnicy jest czy będziemy analizować obietnicę Chrystusa:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
Czy też obietnicę mamy na imieninach Zuzi:
A.
Jak powiesz wierszyk dostaniesz cukierka
W=>C =1
W obu przypadkach matematyka działa IDENTYCZNIE!
Obietnicę Chrystusa jak niżej zrozumiałem 14 lat temu - tylko i wyłącznie dlatego uparłem się by rozszyfrować algebrę Kubusia.

Raino napisał:
My rozmawiamy o tym, że ludzie powinni myśleć logicznie i przyjmować, że coś jest zgodne (prawdziwe) dopiero wtedy, gdy to się sprawdzi, a nie dowolnie, bez oglądania się na sprawdzenie.

W tym wytłuszczonym rozłożyłeś logikę matematyczną na łopatki, bowiem logika matematyczna to matematyczne przewidywanie przyszłości a nie sprawdzanie po fakcie co się wydarzyło - to jest ZERO logiki.
Pomyśl logicznie!
Czy programista pisząc program zapisuje jakieś przypadkowe instrukcje po czym uruchamia program i sprawdza jak ten program działa, czy też przewiduje do przodu będąc pewnym że dany ciąg instrukcji musi działać tak jak on chce a nie jak jakieś "widzi mi się".

Przykład logiki matematycznej z przewidywaniem do przodu:
Chrystus:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z =1 - zdanie prawdziwe (Chrystus nie skłamie jak zbawi wierzącego)
Wiara w Boga jest warunkiem wystarczającym => wylądowania w niebie
Tu Chrystus daje gwarancję matematyczną iż każdy wierzący wyląduje w niebie.
Wiara w Boga nie jest konieczna ~> dla zbawienia (A: W~>Z=0) bowiem niewierzący również może trafić do nieba - dzięki zdaniu D.
Spełniony warunek wystarczający => wymusza fałszywość kontrprzykładu B
B.
Kto wierzy we mnie może ~~> nie być zbawiony
W~~>~Z=0 - zdanie fałszywe (kłamstwo)
Tylko i wyłącznie w zdaniu B Chrystus będzie kłamcą tzn. gdy wierzącego pośle do piekła.

Raino:
... a jak kto nie wierzy?
Chrystus:
Prawo Kubusia wiążące warunek wystarczający => z warunkiem koniecznym ~>:
A: W=>Z = C:~W~>~Z =1
stąd:
C.
Kto nie wierzy we mnie nie będzie zbawiony
~W~>~Z =1 - zdanie prawdziwe (Chrystus nie skłamie jak niewierzącego umieści w piekłe)
Brak wiary jest warunkiem koniecznym ~> dla nie zbawienia (piekła) - nie jest to warunek wystarczający => (C:~W=>~Z=0) bo zdanie D jest prawdziwe.
lub
D.
Kto nie wierzy we mnie może ~~> być zbawiony
~W~~>Z =1 - zdanie prawdziwe (Chrystus nie skłamie jak niewierzącego umieści w niebie)
Jest taka MATEMATYCZNA możliwość.

Zauważ, że w zdaniach C i D Chrystus może sobie "rzucać monetą" czyli ateistę Raino posłać do piekła (C) albo do nieba (D) i nie ma najmniejszych szans by zostać kłamcą.
Zdanie D to akt miłości w stosunku do obietnicy A (Raino ląduje w niebie mimo że nie wierzył) tożsamy z aktem łaski w stosunku do groźby C (Raino również ląduje w niebie)

Uwaga:
W skrajnym przypadku Chrystus może posłać do nieba wszystkich ludzi którzy kiedykolwiek stąpali po ziemi (z Hitlerem na czele) i kłamcą nie będzie.
Bez sensu jest mówienie o logice jak się nie zna matematycznych fundamentów logiki jak wyżej.
Amen

Podsumowując:
Obietnica Chrystusa:
A.
Kto wierzy we mnie będzie zbawiony
W=>Z =1
To warunek wystarczający => wchodzący w skład definicji implikacji prostej W|=>Z.

Definicja implikacji prostej W|=>Z:
Implikacja prosta W|=>Z to wyłącznie warunek wystarczający => zachodzący między tymi samymi punktami i w tym samym kierunku
Z naszej analizy mamy:
A: W=>Z =1 - warunek wystarczający => spełniony (=1)
A: W~>Z =0 - warunek konieczny ~> nie spełniony (=0)
Stąd:
W|=>Z = (A: W=>Z)*~(A: W~>Z) = 1*~(0)=1*1 =1
cnd


http://www.sfinia.fora.pl/filozofia,4/logika-matematyczna-jezyk-potoczny-czlowieka,15261.html#502301
rafal3006 napisał:
szaryobywatel napisał:
Kogo Twoje wypowiedzi mają interesować i dlaczego?

Chodzi mi o to, byś w czytaniu mojego tytułowego postu założył że jesteś uczniem I klasy LO, który nie ma bladego pojęcia co to jest JAKAKOLWIEK logika matematyczna.
Chodzi mi o to byś przy takim założeniu wypowiedział się na temat tytułowego postu.
1. Rozumiem w 100%
2. Częściowo rozumiem
3. Totalnie nie rozumiem

Potrafisz?

P.S.
Podkreślę najważniejsze.
Póki co przyjmujemy precyzyjną definicję języka potocznego dokładnie taką jaką podałem w pierwszym poście.
Przypomnę:
Definicja języka potocznego w algebrze Kubusia:
Język potoczny definiuję jako serię zdań A,B,C i D matematycznie wynikających ze zdania A - ta seria będzie identyczna niezależnie od treści obietnicy.
Moim zdaniem pojęcia warunek wystarczający => i konieczny ~> są powszechnie zrozumiałe dokładnie tak jak to opisano w cytacie.


Ostatnio zmieniony przez rafal3006 dnia Śro 23:56, 22 Sty 2020, w całości zmieniany 7 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Czw 8:34, 23 Sty 2020    Temat postu:

Cytat:
Póki co przyjmujemy precyzyjną definicję języka potocznego dokładnie taką jaką podałem w pierwszym poście.
Przypomnę:
Definicja języka potocznego w algebrze Kubusia:
Język potoczny definiuję jako serię zdań A,B,C i D matematycznie wynikających ze zdania A - ta seria będzie identyczna niezależnie od treści obietnicy.
Moim zdaniem pojęcia warunek wystarczający => i konieczny ~> są powszechnie zrozumiałe dokładnie tak jak to opisano w cytacie.

Zastanawia mnie, co rozumiesz przez "precyzyjna". :D
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: 32228
Przeczytał: 33 tematy

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

PostWysłany: Czw 23:20, 23 Sty 2020    Temat postu:

Obietnica vs groźba

fiklit napisał:
Cytat:
Póki co przyjmujemy precyzyjną definicję języka potocznego dokładnie taką jaką podałem w pierwszym poście.
Przypomnę:
Definicja języka potocznego w algebrze Kubusia:
Język potoczny definiuję jako serię zdań A,B,C i D matematycznie wynikających ze zdania A - ta seria będzie identyczna niezależnie od treści obietnicy.
Moim zdaniem pojęcia warunek wystarczający => i konieczny ~> są powszechnie zrozumiałe dokładnie tak jak to opisano w cytacie.

Zastanawia mnie, co rozumiesz przez "precyzyjna". :D

Sam widzisz Fiklicie jaki odzew jest w dziale filozofia na mój tytułowy post:
http://www.sfinia.fora.pl/filozofia,4/logika-matematyczna-jezyk-potoczny-czlowieka,15261.html#502297
Nikt tam nie chce sensownie dyskutować …

Co rozumiem przez precyzyjna?

Po pierwsze:
Precyzyjna logika matematyczna musi mieć (podkreślę: musi mieć) jednoznaczne definicje zero-jedynkowe pojęć używanych w tejże logice, które są różne na mocy definicji ##.
Zauważ, że w algebrze Kubusia tak jest w istocie czego dowód w końcówce tego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#500197
Cytuję:
rafal3006 napisał:
Algebra Kubusia dla LO!

fiklit napisał:

Spotkałeś poza stumilowym lasem osobę z którą nie miałbyś sprzecznych definicji?

Nie spotkałem i doskonale wiem dlaczego nie spotkałem - algebra Kubusia to cios osikowym kołkiem w samo serce KRZ, bo wszystkie definicje mamy sprzeczne.
Popatrz …

http://www.sfinia.fora.pl/forum-kubusia,12/fundamenty-ak-w-obsludze-zdan-warunkowych,14979.html#495259
Fundamenty AK w obsłudze zdań warunkowych napisał:

1.2 Podstawowe spójniki implikacyjne w zbiorach

Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zbiorów p i q

Definicja elementu wspólnego ~~> zbiorów:
Jeśli p to q
p~~>q=p*q =1
Definicja elementu wspólnego zbiorów ~~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiory p i q mają co najmniej jeden element wspólny
Inaczej:
p~~>q = p*q =[] =0 - zbiory p i q są rozłączne, nie mają (=0) elementu wspólnego ~~>

Definicja warunku wystarczającego => w zbiorach:
Jeśli p to q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest podzbiorem => q
Inaczej:
p=>q =0 - definicja warunku wystarczającego => nie jest (=0) spełniona
Matematycznie zachodzi tożsamość:
Warunek wystarczający => = relacja podzbioru =>
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q

Definicja warunku koniecznego ~> w zbiorach:
Jeśli p to q
p=>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zbiór p jest nadzbiorem ~> q
Inaczej:
p~>q =0 - definicja warunku koniecznego ~> nie jest (=0) spełniona
Matematycznie zachodzi tożsamość:
Warunek konieczny ~> = relacja nadzbioru ~>
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q

1.2.1 Definicja kontrprzykładu w zbiorach

Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów ~~>
Definicja elementu wspólnego zbiorów ~~>:
p~~>~q=p*~q =1 - wtedy i tylko wtedy gdy istnieje element wspólny zbiorów p i ~q
Inaczej:
p~~>~q = p*~q =0
Rozstrzygnięcia:
Fałszywość kontrprzykładu p~~>~q=p*~q =0 wymusza prawdziwość warunku wystarczającego p=>q =1 (i odwrotnie.)
Prawdziwość kontrprzykładu p~~>~q=p*~q =1 wymusza fałszywość warunku wystarczającego p=>q =0 (i odwrotnie)


Elementarne definicje algebry Kubusia:

Definicja warunku wystarczającego =>:
p=>q = ~p+q
##
Definicja warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji

Stąd mamy w rachunku zero-jedynkowym wspólnym dla AK i KRZ!

Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4: ~q=>~p [=] 5: ~p+q
##
B: 1: p~>q = 2: ~p=>~q [=] 3: q=>p = 4: ~q~>~p [=] 5: p+~q
Gdzie:
## - różne na mocy definicji
Zmienne p i q muszą być wszędzie tymi samymi zmiennymi inaczej popełniamy błąd podstawienia

Na mocy powyższego zapisujemy:
1.
Prawa Kubusia:
A12: p=>q = ~p~>q
##
B12: p~>q = ~p=>~q
2.
Prawa Tygryska:
A13: p=>q = q~>p
##
B13: p~>q = q=>p
3.
Prawa kontrapozycji:
A14: p=>q = ~q=>~p
##
B14: p~>q = ~q~>~p

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

Na mocy definicji zachodzi:

Warunek wystarczający =>:
p=>q=~p+q
##
Warunek konieczny ~>:
p~>q = p+~q
##
Równoważność <=>:
p<=>q=p*q+~p*~q
##
Implikacja prosta |=>:
p|=>q=~p*q
##
Implikacja odwrotna |~>:
p|~>q=p*~q
Gdzie:
## różne na mocy definicji


Po drugie:
Sprawy mają się tu identycznie jak w nauce matematyki u człowieka.
W wieku około 5 lat dzieciak potrafi już na paluszkach dodawać do 10.
Czy to nie jest matematyka ścisła?
Oczywiście jest, odpowiednia dla poziomu 5-cio latka.

Definicja języka potocznego w algebrze Kubusia:
Język potoczny definiuję jako serię zdań A,B,C i D matematycznie wynikających ze zdania A - ta seria będzie identyczna niezależnie od treści obietnicy.
Moim zdaniem pojęcia warunek wystarczający => i konieczny ~> są powszechnie zrozumiałe dokładnie tak jak to opisano w cytacie.

Co rozumiem pod pojęciem precyzyjna definicja języka potocznego?

Na przykładzie obietnicy Chrystusa opisałem to w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#502119

Moim zdaniem z nauką logiki matematycznej w I klasie LO musimy wystartować jak z nauką 5-cio latka matematyki klasycznej.

Widziałbym tu dwa poziomy:

Poziom I.
Definicja obietnicy

Matematyczna obsługa obietnic będąca w matematyce klasycznej odpowiednikiem poziomu 5-cio latka (dodawanie na paluszkach do 10)

UWAGA:
Ten poziom generuje uniwersalny szablon do obsługi absolutnie wszelkich obietnic w komunikacji człowiek-człowiek.
Dokładnie to nazywam matematyką precyzyjną - ten uniwersalny szablon!
Treść obietnicy nie ma tu znaczenia, ważna jest definicja obietnicy.

Definicja obietnicy:
Jeśli dowolny warunek to nagroda
W=>N =1
Spełnienie warunku nagrody jest warunkiem wystarczającym => dla otrzymanie nagrody.
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Dowolna obietnica to warunek wystarczający => wchodzący w skład implikacji prostej W|=>N.

Definicja implikacji prostej W|=>N:
Implikacja prosta W|=>N to wyłącznie warunek wystarczający => zachodzący między tymi samymi punktami i w tym samym kierunku
A1: W=>N = A2: ~W~>~N =1 - prawo Kubusia
B1: W~>N = B2: ~W=>~N =0 - prawo Kubusia
Stąd:
I.
W|=>N = (A1: W=>N)*~(B1: W~>N) =1*~(0) =1*1 =1

Zauważmy że na mocy prawa Kubusia zachodzi:
II.
W|=>N = (A2: ~W~>~N)*(B2: ~W=>~N) =1*~(0) =1*1 =1

Sprawdzenie w zapisach ogólnych:
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Definicja warunku koniecznego ~>:
p~>q = p+~q

Obliczamy I.
p|=>q = (p=>q)*~(p~>q) = (~p+q)*~(p+~q) = (~p+q)*~p*q = ~p*q
Obliczamy II.
p|=>q = (~p~>~q)*~(~p=>~q) = (~p+q)*~(p+~q) = ~p*q
cnd
Prawa strona powyższego zapisu to definicja implikacji odwrotnej w logice ujemnej (bo ~q) o której za chwilkę.
~p|~>~q = (A2: ~p~>~q)*~(B2: ~p=>~q)
Matematycznie zachodzi:
p|=>q = ~p|~>~q = ~p*q
Na mocy prawa Kubusia zachodzi także:
p=>q = ~p~>~q = ~p+q

Przykład obietnicy:
Chrystus:
Kto wierzy we mnie będzie zbawiony
W=>Z =1

Poziom II.
Definicja groźby

Matematyczna obsługa gróźb będąca w matematyce klasycznej odpowiednikiem poziomu ucznia I klasy szkoły podstawowej to tabliczka mnożenia do 100 - ciut wyżej niż poziom 5-cio latka.

UWAGA:
Ten poziom generuje uniwersalny szablon do obsługi absolutnie wszelkich gróźb w komunikacji człowiek-człowiek.
Dokładnie to nazywam matematyką precyzyjną - ten uniwersalny szablon!
Treść groźby nie ma tu znaczenia, ważna jest definicja groźby.

Definicja groźby:
Jeśli dowolny warunek to kara
W=>K =1
Spełnienie warunku kary jest warunkiem koniecznym ~> ukarania.
Definicja warunku koniecznego ~>:
p~>q = p+~q
Dowolna groźba to warunek konieczny ~> wchodzący w skład implikacji odwrotnej W|~>K.

Definicja implikacji odwrotnej W|~>K:
Implikacja odwrotna W|~>K to wyłącznie warunek konieczny ~> zachodzący między tymi samymi punktami i w tym samym kierunku
B1: W~>K = B2: ~W=>~K =1 - prawo Kubusia
A1: W=>K = A2: ~W~>~K =0 - prawo Kubusia
Stąd:
I.
W|~>K = (B1: W~>K)*~(A1: W=>K) = 1*~(0)=1*1 =1

Zauważmy że na mocy prawa Kubusia zachodzi:
II.
W|~>K = (B2: ~W=>~K)*~(A2:~W~>~K) =1*~(0)=1*1 =1

Sprawdzenie w zapisach ogólnych:
Definicja warunku wystarczającego =>:
p=>q = ~p+q
Definicja warunku koniecznego ~>:
p~>q = p+~q

Obliczamy I.
p|~>q = (p~>q)*~(p=>q) = (p+~q)*~(~p+q) = (p+~q)*p*~q = p*~q
Obliczamy II.
p|~>q = (~p=>~q)*~(~p~>~q) = (p+~q)*~(~p+q) = p*~q
cnd
Prawa strona powyższego zapisu to definicja implikacji prostej w logice ujemnej (bo ~q) o której było wyżej.
~p|=>~q = (B2:~p=>~q)*~(A2: ~p~>~q)
Matematycznie zachodzi:
p|~>q = ~p|=>~q = p*~q
Na mocy prawa Kubusia zachodzi także:
p~>q = ~p=>~q = p+~q

Przykład groźby:
Jeśli ubrudzisz spodnie dostaniesz lanie
B~>L =1

Obietnica vs groźba

Na mocy definicji zachodzi:
Kod:

Obietnica p=>q:           ## Groźba p~>q:
Prawo Kubusia:            ## Prawo Kubusia:
p=>q = ~p~>~q = ~p+q      ## p~>q = ~p=>~q = p+~q
##                        ## ##
Implikacja prosta p|=>q:  ## Implikacja odwrotna p|~>q:
p|=>q = ~p|~>~q = ~p*q    ## p|~>q = ~p|=>~q = p*~q
Gdzie:
## - różne na mocy definicji



Podsumowanie:
Zauważmy, że wszystkie prezentowane tu wzorki (zależności matematyczne) mają 100% przełożenie na rachunek zero-jedynkowy wspólny w algebrze Kubusia i logice matematycznej ziemian, czemu żaden ziemski matematyk nie zaprzeczy.

Czy mam rację Irbisolu?
http://www.sfinia.fora.pl/forum-kubusia,12/definicje-operatorow-implikacyjnych-w-ukladzie-przelacznikow,14719-350.html#500267
Irbisol napisał:
A ja nie spotkałem nigdy logika AK, który by po prostu odpowiedział na pytanie.
Zawsze taki spierdala od tematu.


Ostatnio zmieniony przez rafal3006 dnia Pią 7:41, 24 Sty 2020, w całości zmieniany 6 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: 13965
Przeczytał: 55 tematów


PostWysłany: Pią 16:48, 24 Sty 2020    Temat postu:

Jak to jest, że ten głupek rozpisuje się nie na temat, a w temacie nic wydukać nie potrafi?
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 14, 15, 16 ... 26, 27, 28  Następny
Strona 15 z 28

 
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