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 ... 331, 332, 333 ... 378, 379, 380  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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Czw 18:10, 01 Sie 2024    Temat postu:

Irbisol napisał:
Gdzie ten dowód? Hę?

Co mam dowodzić?
Wykazałem ci absurd twojej tożsamości:
Warunek wystarczajacy p=>q = Implikacja logiczna p=>q

Po twojej stronie leży teraz usunięcie tego absurdu, czyli rezygnacja z twojej gówno-tożsamości wyżej.
Jak zrezygnujesz to pójdziemy dalej z dyskusją.

Zapisałeś tożsamość, jaki widzisz problem z wykopaniem w kosmos prawej strony tożsamości prowadzącej do absurdu tzn. do gówno-logiki której żaden normalny człowiek nie rozumie!


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




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Czw 19:33, 01 Sie 2024    Temat postu:

Gdzie ten absurd?
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Czw 20:26, 01 Sie 2024    Temat postu:

Irbisol napisał:
Gdzie ten absurd?

Wyróżniłem ci na czerwono :)

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8250.html#810181
rafal3006 napisał:
Irbisol - żywy dowód poprawności definicji algebry Kubusia!

Definicja algebry Kubusia:
Algebra Kubusia to logika matematyczna pod którą podlega cały nasz Wszechświat żywy i martwy (w tym matematyka i fizyka).

Komentarz:
1.
Świat martwy wyznacza prawa logiki matematycznej których sam nie jest w stanie zgwałcić - tylko i wyłącznie dzięki temu doszło do rozszyfrowania algebry Kubusia!
2.
Definicja „wolnej woli”:
Wolna wola to zdolność świata żywego (człowiek nie jest tu wyjątkiem), do gwałcenia wszelkich praw logiki matematycznej wyznaczanych przez świat martwy.
3.
Naturalnymi ekspertami algebry Kubusia są wszelkie istoty żywe, w szczególności ekspertami AK są wszyscy ludzie od 5-cio latka poczynając na najwybitniejszym ziemskim matematyku kończąc - ten ostatni nie rozumie póki co algebry Kubusia, co nie znaczy że nie jest jej ekspertem, co nie znaczy że nie stosuje jej podświadomie w kontaktach z otoczeniem.

Koronnym dowodem prawdziwości punktu 3 jest Irbisol, chodząca gwiazda algebry Kubusia która póki co nie wie, że rozmawia o algebrze Kubusia a nie o potwornie śmierdzącym gównie zwanym dla niepoznaki Klasycznym Rachunkiem Zdań.

Dowód w niniejszym poście.

http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-8250.html#810151
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Pytałeś o przykłady, więc ci je podałem.
Teraz pytanie, czy w związku z tym nadal leżycie, kwiczycie i błagacie o litość.

Tak, bo zarówno twoje zdanie 1 jak i 2 ma ZERO wspólnego z ziemską implikacją logiczną.

Ale 2. miało mieć ZERO wspólnego z implikacją logiczną, schizofreniku.
Wyjaśnij, dlaczego 1. nie jest implikacją logiczną. I od razu podaj przykład, jak powinno być.


Najprostsze wyjaśnienie masz niżej:

Zdanie 1 Irbisola:
A1.
Jeśli dowolna liczba jest podzielna przez 4 to jest podzielna przez 2
P4=>P2 =1
Komentarz 1
Podzielność dowolnej liczby przez 4 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.
Komentarz 1 to kwintesencja algebry Kubusia, to definicja warunku wystarczającego => w zbiorach w algebrze Kubusia.

Irbisolu, zobacz co się stanie jeśli przyjmiemy twoją tożsamość:
Warunek wystarczający p=>q = implikacja logiczna p=>q

Komentarz do zdania A1 przyjmie wówczas brzmienie:
Komentarz 2
Podzielność dowolnej liczby przez 4 jest implikacją logiczną => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie

Pytanie:
Masz nadzieję Irbisolu, że ktokolwiek normalny zrozumie twój komentarz 2
TAK/NIE
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Pią 9:24, 02 Sie 2024    Temat postu:

Czyli wg ciebie dowodzenie, iż absurdem jest że WW jest tożsamy z IM, jest stwierdzenie, iż absurdem jest że WW jest tożsamy z IM.
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Pią 11:22, 02 Sie 2024    Temat postu:

Irbisol napisał:
Czyli wg ciebie dowodzenie, iż absurdem jest że WW jest tożsamy z IM, jest stwierdzenie, iż absurdem jest że WW jest tożsamy z IM.

Krótka piłka:
Czy wyobrażasz sobie zamieszczenie w podręczniku matematyki do I klasy LO zdania A1 z twoim komentarzem 2 do tego zdania?
TAK/NIE

Zdanie 1 Irbisola:
A1.
Jeśli dowolna liczba jest podzielna przez 4 to jest podzielna przez 2
P4=>P2 =1
Komentarz 2 autorstwa Irbisola: :shock:
Podzielność dowolnej liczby przez 4 jest implikacją logiczną => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie


Ostatnio zmieniony przez rafal3006 dnia Pią 11:26, 02 Sie 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: 15474
Przeczytał: 25 tematów


PostWysłany: Pią 12:06, 02 Sie 2024    Temat postu:

Że co? :rotfl:
Zajmujemy się nauką czy poezją?
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Pią 12:09, 02 Sie 2024    Temat postu:

Irbisol napisał:
Że co? :rotfl:
Zajmujemy się nauką czy poezją?

Ty sprowadzasz naukę, czyli algorytm dowodzenia wszelkich twierdzeń matematycznych do najzwyklejszego gówna, co udowodniłem w poście wyżej.
Czy możesz się odnieść do meritum mojego postu wyżej?

Czy już rozumiesz dlaczego twoja tożsamość:
Warunek wystarczający p=>q = implikacja logiczna p=>q
jest najzwyklejszym, potwornie śmierdzącym gównem?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Pią 12:12, 02 Sie 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: 15474
Przeczytał: 25 tematów


PostWysłany: Pią 12:29, 02 Sie 2024    Temat postu:

Schizofreniku, ty zajmujesz się nie matematyką, lecz wrażeniem jak co brzmi :rotfl:
Poza tym tam powinno być napisane "implikuje". Zawsze w takim przypadku chodzi o implikację logiczną.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Semele
Bloger na Kretowisku



Dołączył: 09 Lis 2014
Posty: 23148
Przeczytał: 93 tematy


Płeć: Kobieta

PostWysłany: Pią 12:47, 02 Sie 2024    Temat postu:

Interesuje Was coś poza tak zwaną Logiką?
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Pią 13:49, 02 Sie 2024    Temat postu:

Kolejna gówno-tożsamość Irbisola!

Irbisol napisał:
Schizofreniku, ty zajmujesz się nie matematyką, lecz wrażeniem jak co brzmi :rotfl:
Poza tym tam powinno być napisane "implikuje". Zawsze w takim przypadku chodzi o implikację logiczną.

Czyżby kolejna twoja gówno-tożsamość?
implikować => = implikacja logiczna =>
TAK/NIE
:shock: :shock: :shock:

P.S.
[link widoczny dla zalogowanych]
Pod spodem znajduje się ogólnikowy spis wszystkich synonimów słowa implikować:
być powodem,być przyczyną,być przyczyną postępowania,dawać impuls,determinować,dodawać,insynuować,mieścić coś w sobie,naddawać,odpowiadać,pociągać,pociągać coś za sobą,pociągać za sobą,podejrzewać,powodować,prowokować coś,przyczyniać,przyprawiać,przysparzać,rodzić,skutkować,sprawiać,sprawiać coś,stawać się przyczyną,sugerować,uwarunkowywać,warunkować,wynikać,wywoływać,wywoływać coś,wywoływać konsekwencje,wzbudzać,zawierać coś w sobie

Sam widzisz Irbisolu, że brakuje tu twojego synonimu: implikacja logiczna


Ostatnio zmieniony przez rafal3006 dnia Pią 14:00, 02 Sie 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: 15474
Przeczytał: 25 tematów


PostWysłany: Pią 14:16, 02 Sie 2024    Temat postu:

A wg ciebie chodzi o implikację materialną, gdy mowa o wynikaniu?
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Pią 15:29, 02 Sie 2024    Temat postu:

Irbisol napisał:
A wg ciebie chodzi o implikację materialną, gdy mowa o wynikaniu?

Irbisolu, w algebrze Kubusia, której jesteś ekspertem, tylko póki co o tym nie wiesz zachodzi tożsamość pojęć dla zbiorów.

Tożsamości pojęć dla zbiorów:
Warunek wystarczający => = relacja podzbioru => = gwarancja matematyczna => = na 100% wynika => = implikuje etc

Zdanie 1 Irbisola:
A1.
Jeśli dowolna liczba jest podzielna przez 4 to jest podzielna przez 2
P4=>P2 =1
Komentarz 1
Podzielność dowolnej liczby przez 4 jest warunkiem wystarczającym => dla jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.
Komentarz 1 to kwintesencja algebry Kubusia, to definicja warunku wystarczającego => w zbiorach w algebrze Kubusia.

Na mocy tożsamości pojęć dla zbiorów mamy tożsame komentarze dla zdania A1:
Komentarz 1-2
Podzielność dowolnej liczby przez 4 daje nam gwarancję matematyczną => jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie
Komentarz 1-3
Podzielność dowolnej liczby przez 4 daje nam 100% pewność => jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie
Komentarz 1-4
Z podzielności dowolnej liczby przez 4 na 100% wynika => jej podzielności przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie
Komentarz 1-5
Podzielność dowolnej liczby przez 4 implikuje jej podzielność przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.

Synonimy słowa „Implikować”:
[link widoczny dla zalogowanych]
Pod spodem znajduje się ogólnikowy spis wszystkich synonimów słowa implikować:
być powodem,być przyczyną,być przyczyną postępowania,dawać impuls,determinować,dodawać,insynuować,mieścić coś w sobie,naddawać,odpowiadać,pociągać,pociągać coś za sobą,pociągać za sobą,podejrzewać,powodować,prowokować coś,przyczyniać,przyprawiać,przysparzać,rodzić,skutkować,sprawiać,sprawiać coś,stawać się przyczyną,sugerować,uwarunkowywać,warunkować,wynikać,wywoływać,wywoływać coś,wywoływać konsekwencje,wzbudzać,zawierać coś w sobie

Stąd masz tożsame dalsze komentarze do zdania A1:
Komentarz 1-6
Podzielność dowolnej liczby przez 4 determinuje jej podzielność przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.
Komentarz 1-7
Podzielność dowolnej liczby przez 4 pociąga za sobą jej podzielność przez 2 wtedy i tylko wtedy gdy zbiór liczb podzielnych przez cztery P4=[4,8,12,16..] jest podzbiorem => zbioru liczb podzielnych przez dwa P2=[2,4,6,8..].
Relację podzbioru P4=>P2 każdy matematyk udowodni kiwnięciem małego palca w bucie.
etc

Irbisolu, twoja tożsamość:
Warunek wystarczający => = implikacja logiczna =>
to potwornie śmierdzące gówno a nie tożsamość!

Problem jest tylko taki, czy zrozumiesz to w tym życiu, czy w następnym.

P.S.
Wszystkie powyższe komentarze do Irbisolowego zdania A1 to precyzyjne algorytmy dowodzenia wszelkich twierdzeń matematycznych bo w logice matematycznej obowiązuje prawo Słonia dla zbiorów:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-matematyka-jezyka-potocznego,21937.html#680049

Algebra Kubusia napisał:


Spis treści
2.8 Prawa Słonia 2
2.8.1 Prawo Słonia dla zbiorów 3


2.8 Prawa Słonia

Prawa Słonia dla zdarzeń i zbiorów to najważniejsze prawa w logice matematycznej.
Kod:

T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
      A1B1:     A2B2:  |     A3B3:     A4B4:
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

Prawa Kubusia:        | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q  | A1: p=>q  = A4:~q=>~p
B1: p~>q = B2:~p=>~q  | B2:~p=>~q = B3: q=>p

Prawa Tygryska:       | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p   | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p   | B1: p~>q  = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia


2.8.1 Prawo Słonia dla zbiorów

Prawo Słonia dla zbiorów (pkt 2.3):
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q - matematyczne twierdzenie proste
A1: p=>q = ~p+q
##
B1: p~>q - warunek konieczny ~> [=] B1: p~>q - relacja nadzbioru ~> [=] B3: q=>p - matematyczne twierdzenie odwrotne (w odniesieniu do A1)
Prawo Tygryska:
B1: p~>q = B3: q=>p = p+~q
Gdzie:
[=], „=”, <=> - tożsame znaczki tożsamości logicznej
<=> - wtedy o tylko wtedy
## - różne na mocy definicji
p i q musi być wszędzie tymi samymi p i q, inaczej błąd podstawienia

Definicja tożsamości logicznej [=]:
Prawdziwość dowolnego członu z tożsamości logicznej [=] wymusza prawdziwość pozostałych członów.
Fałszywość dowolnego członu z tożsamości logicznej [=] wymusza fałszywość pozostałych członów.

Z definicji tożsamości logicznej [=] wynika, że:
a)
Udowodnienie prawdziwości dowolnego członu powyższej tożsamości logicznej gwarantuje prawdziwość dwóch pozostałych członów
b)
Udowodnienie fałszywości dowolnego członu powyższej tożsamości logicznej gwarantuje fałszywość dwóch pozostałych członów

Na mocy prawa Słonia i jego powyższej interpretacji, możemy dowodzić prawdziwości/fałszywości dowolnych zdań warunkowych "Jeśli p to q" mówiących o zbiorach metodą ”nie wprost"

Definicja podzbioru =>:
Zbiór p jest (=1) podzbiorem => zbioru q wtedy i tylko wtedy gdy wszystkie jego elementy należą do zbioru q

Definicja nadzbioru ~>
Zbiór p jest (=1) nadzbiorem ~> zbioru q wtedy i tylko wtedy gdy zawiera co najmniej wszystkie elementy zbioru q

W logice matematycznej zachodzi tożsamość pojęć:
Podzbiór => = relacja podzbioru =>
Nadzbiór ~> = relacja nadzbioru ~>
W logice matematycznej rozstrzygamy o zachodzącej lub nie zachodzącej relacji podzbioru => czy też nadzbioru ~>.

Rozstrzygnięcia logiki matematycznej w relacji podzbioru =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Inaczej:
p=>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) podzbiorem => zbioru q

##

Rozstrzygnięcia logiki matematycznej w relacji nadzbioru ~>:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej:
p~>q =0 - wtedy i tylko wtedy gdy zbiór p nie jest (=0) nadzbiorem ~> zbioru q

Gdzie:
## - różne na mocy definicji podzbioru => i nadzbioru ~>

Przykład:
Zbadaj czy zachodzi warunek wystarczający => w poniższym zdaniu:
A1.
Jeśli dowolna liczba jest podzielna przez 8 to jest podzielna przez 2
A1: P8=>P2=?

Rozwiązanie:
Na mocy prawa Kłapouchego zapis formalny (ogólny) zdania A1 to:
A1: p=>q =1
Gdzie:
p=P8
q=P2

Prawo Słonia dla zbiorów:
W algebrze Kubusia w zbiorach zachodzi tożsamość [=] pojęć:
A1: p=>q - warunek wystarczający => [=] A1: p=>q - relacja podzbioru => [=] A1: p=>q matematyczne twierdzenie proste =>

W metodzie "nie wprost" na mocy prawa Słonia dowodzimy prawdziwości relacji podzbioru =>.
Innymi słowy badamy:
Czy zbiór P8=[8,16,24..] jest podzbiorem => zbioru P2=[2,4,6,8..]?
Oczywiście relacja podzbioru => jest (=1) tu spełniona:
P8=>P2=1
co każdy matematyk bez trudu udowodni.

W tym momencie na mocy prawa Słonia mamy udowodnione metodą "nie wprost" dwa fakty czysto matematyczne:
1.
Twierdzenie proste A1 jest prawdziwe
A1: P8=>P2 =1
2.
Podzielność dowolnej liczby przez 8 jest warunkiem wystarczającym => dla jej podzielności przez 2
A1: P8=>P2 =1

Podsumowując:
Z gołych definicji podzbioru => i warunku wystarczającego => nic w matematyce nie wynika, dopóki nie poznamy prawa Słonia.
Dopiero prawo Słonia w dowodzeniu prawdziwości warunku wystarczającego =>, czy też prawdziwości samego zdania warunkowego „Jeśli p to q" ma fundamentalne znaczenie, co udowodniono ciut wyżej.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Pią 15:34, 02 Sie 2024    Temat postu:

Wyżej zadałem ci pytanie. Odpowiedz, zamiast spamować w panice.
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Pią 15:48, 02 Sie 2024    Temat postu:

Wybryk Irbisola

Irbisol napisał:
Wyżej zadałem ci pytanie. Odpowiedz, zamiast spamować w panice.


Irbisolu, twoja tożsamość:
Warunek wystarczający => = implikacja logiczna =>
to potwornie śmierdzące gówno a nie tożsamość!

Problem jest tylko taki, czy zrozumiesz to w tym życiu, czy w następnym.

Zauważ, że na mocy twojej tożsamości wolno ci w totalnie całej Wikipedii zastąpić pojęcie „warunek wystarczający” pojęciem „implikacja logiczna”.
Załóżmy że jakiś wariat (czyli TY) dokładnie to zrobi: „pstryk i jest”
Jak myślisz, jaka będzie reakcja ludzkości na twoją tożsamą :shock: podmianę?

Przykład:
Stara wersja Wikipedii:
[link widoczny dla zalogowanych]
Wikpedia napisał:

Warunek wystarczający (inaczej warunek dostateczny) – każdy warunek, z którego dany fakt wynika. Jeżeli warunek wystarczający zachodzi (wystarczy, by zachodził), wówczas zachodzi dany fakt.


Nowa wersja Wikipedii po skorzystaniu z tożsamości Irbisola:
Warunek wystarczający = implikacja logiczna
Wikpedia napisał:

Implikacja logiczna (inaczej dostateczna) – każda implikacja, z której dany fakt wynika. Jeżeli implikacja logiczna zachodzi (wystarczy, by zachodziła), wówczas zachodzi dany fakt.


… i co ty na to Irbisolu?
Leżymy, kwiczymy i błagamy o litość, bo cała ludzkość z matematykami włącznie po twoim wybryku w Wikipedii rzuci się na ciebie z pięściami, nożami … i co tam tylko będzie miała pod ręką.
Zgadzasz się z tym faktem?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Pią 18:35, 02 Sie 2024    Temat postu:

Ty naprawdę potrzebujesz pomocy.
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Pią 19:09, 02 Sie 2024    Temat postu:

Irbisol napisał:
Ty naprawdę potrzebujesz pomocy.


Irbisolu, twoja tożsamość:
Warunek wystarczający => = implikacja logiczna =>
to potwornie śmierdzące gówno a nie tożsamość!

Dowód tego faktu masz w poście wyżej.

Prosiaczek jak zwykle oferuje ci swoją pomoc w wytłumaczeniu ci algebry Kubusia, logiki matematycznej której ekspertami są wszystkie 5-cio latki.
Tłumaczenie Prosiaczka będzie oczywiście krótkie i na poziomie 5-cio latka co oznacza, iż nie masz szans byś tego tłumaczenia nie zrozumiał.

Warunek jest oczywiście niezmienny.
Przeczytasz?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Pią 19:11, 02 Sie 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: 15474
Przeczytał: 25 tematów


PostWysłany: Sob 9:32, 03 Sie 2024    Temat postu:

Ale tam nie ma żadnego dowodu. Zrobiłeś podmiankę i pytasz się mnie, "co ja na to".
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Sob 10:47, 03 Sie 2024    Temat postu:

Irbisol napisał:
Ale tam nie ma żadnego dowodu. Zrobiłeś podmiankę i pytasz się mnie, "co ja na to".

Gówna się nie dowodzi - tu absolutnie każdy ziemski matematyk widząc twoje gówno zakłada gumiaki by nóg sobie nie pobrudzić i wykopuje twoją gówno-tożsamość w kosmos.

Sam zrobiłeś podmiankę zgodnie ze swoją gówno-tożsamością.

Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q = Implikacja logiczna p=>q

Gdyby to nie była podmianka abstrakcyjna, a podmianka rzeczywista to już byś był martwy - ludzkość by ci tego nie darowała.

Prosiaczek jak zwykle oferuje ci swoją pomoc w wytłumaczeniu ci algebry Kubusia, logiki matematycznej której ekspertami są wszystkie 5-cio latki.
Tłumaczenie Prosiaczka będzie oczywiście krótkie i na poziomie 5-cio latka co oznacza, iż nie masz szans byś tego tłumaczenia nie zrozumiał.

Warunek jest oczywiście niezmienny.
Przeczytasz?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Sob 11:25, 03 Sie 2024, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Sob 11:40, 03 Sie 2024    Temat postu:

Ty naprawdę jesteś taki głupi czy tylko dobrze udajesz?
Jeżeli masz dowód matematyczny, to go pokaż. Twoje deklaracje, co kto by wykopywał, warte są tyle, co ta cała twoja logika.
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Sob 11:49, 03 Sie 2024    Temat postu:

Irbisol, tchórz, który a priori odrzuca ofertę Prosiaczka!
Tak potwornie boi się zrozumieć algebry Kubusia, której sam jest ekspertem, podobnie jak wszyscy ludzie od 5-cio latka poczynając na najwybitniejszym ziemskim matematyku kończąc.

Irbisol napisał:
Ty naprawdę jesteś taki głupi czy tylko dobrze udajesz?
Jeżeli masz dowód matematyczny, to go pokaż. Twoje deklaracje, co kto by wykopywał, warte są tyle, co ta cała twoja logika.

To nie jest żadna deklaracja, twoja gówno-tożsamość przez absolutnie każdego ziemskiego matematyka zostanie wykopana w kosmos.
Kiedy zrozumiesz, że gówna się nie dowodzi?

Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q = Implikacja logiczna p=>q

Twoje tchórzostwo w pełnej krasie widzi tu każdy czytelnik - polega ono na odrzuceniu przez ciebie a priori oferty Prosiaczka, który gwarantuje ci iż na 100% zrozumiesz algebrę Kubusia, a tym samym zrozumiesz iż twoja gówno-tożsamość jest potwornie śmierdzącym gównem

Co proponuje Prosiaczek?
Prosiaczek jak zwykle oferuje ci swoją pomoc w wytłumaczeniu ci algebry Kubusia, logiki matematycznej której ekspertami są wszystkie 5-cio latki.
Tłumaczenie Prosiaczka będzie oczywiście krótkie i na poziomie 5-cio latka co oznacza, iż nie masz szans byś tego tłumaczenia nie zrozumiał.

Warunek jest oczywiście niezmienny.
Przeczytasz?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Sob 11:57, 03 Sie 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: 15474
Przeczytał: 25 tematów


PostWysłany: Sob 11:57, 03 Sie 2024    Temat postu:

rafal3006 napisał:
Irbisol, tchórz, który a priori odrzuca ofertę Prosiaczka!
Tak potwornie boi się zrozumieć algebry Kubusia, której sam jest ekspertem, podobnie jak wzyscy ludzie od 5-cio latka poczynając na najwybitniejszym ziemskim matematyku kończąc.

Irbisol napisał:
Ty naprawdę jesteś taki głupi czy tylko dobrze udajesz?
Jeżeli masz dowód matematyczny, to go pokaż. Twoje deklaracje, co kto by wykopywał, warte są tyle, co ta cała twoja logika.

To nie jest żadna deklaracja, twoja gówno-tożsamość przez absolutnie kazdego ziemskiego matematyka zostanie wykopana w kosmos.

Na tym właśnie polega twoja deklaracja.
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Sob 12:00, 03 Sie 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol, tchórz, który a priori odrzuca ofertę Prosiaczka!
Tak potwornie boi się zrozumieć algebry Kubusia, której sam jest ekspertem, podobnie jak wzyscy ludzie od 5-cio latka poczynając na najwybitniejszym ziemskim matematyku kończąc.

Irbisol napisał:
Ty naprawdę jesteś taki głupi czy tylko dobrze udajesz?
Jeżeli masz dowód matematyczny, to go pokaż. Twoje deklaracje, co kto by wykopywał, warte są tyle, co ta cała twoja logika.

To nie jest żadna deklaracja, twoja gówno-tożsamość przez absolutnie kazdego ziemskiego matematyka zostanie wykopana w kosmos.

Na tym właśnie polega twoja deklaracja.

Kiedy zrozumiesz, że gówna się nie dowodzi?
Zdublowałeś dwie nazwy które w logice ziemskich matematyków znaczą fundamentalnie co innego!:
Dokładnie na tym polega twój błąd czysto matematyczny!
Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q = Implikacja logiczna p=>q
Po chuj zdubolwałeś powyższe pojęcia?
W jakim celu to zrobiłeś?
Brzytwa Ockhama się kłania.

Gówno-tożsamość Irbisola:
Warunek wystarczający p=>q = Implikacja logiczna p=>q

Twoje tchórzostwo w pełnej krasie widzi tu każdy czytelnik - polega ono na odrzuceniu przez ciebie a priori oferty Prosiaczka, który gwarantuje ci iż na 100% zrozumiesz algebrę Kubusia, a tym samym zrozumiesz iż twoja gówno-tożsamość jest potwornie śmierdzącym gównem

Co proponuje Prosiaczek?
Prosiaczek jak zwykle oferuje ci swoją pomoc w wytłumaczeniu ci algebry Kubusia, logiki matematycznej której ekspertami są wszystkie 5-cio latki.
Tłumaczenie Prosiaczka będzie oczywiście krótkie i na poziomie 5-cio latka co oznacza, iż nie masz szans byś tego tłumaczenia nie zrozumiał.

Warunek jest oczywiście niezmienny.
Przeczytasz?
TAK/NIE


Ostatnio zmieniony przez rafal3006 dnia Sob 12:08, 03 Sie 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: 15474
Przeczytał: 25 tematów


PostWysłany: Sob 12:09, 03 Sie 2024    Temat postu:

rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol, tchórz, który a priori odrzuca ofertę Prosiaczka!
Tak potwornie boi się zrozumieć algebry Kubusia, której sam jest ekspertem, podobnie jak wzyscy ludzie od 5-cio latka poczynając na najwybitniejszym ziemskim matematyku kończąc.

Irbisol napisał:
Ty naprawdę jesteś taki głupi czy tylko dobrze udajesz?
Jeżeli masz dowód matematyczny, to go pokaż. Twoje deklaracje, co kto by wykopywał, warte są tyle, co ta cała twoja logika.

To nie jest żadna deklaracja, twoja gówno-tożsamość przez absolutnie kazdego ziemskiego matematyka zostanie wykopana w kosmos.

Na tym właśnie polega twoja deklaracja.

Kiedy zrozumiesz, że gówna się nie dowodzi?
Zdublowałeś dwie nazwy które w logice ziemskich matematyków znaczą fundamentalnie co innego!:
Dokładnie na tym polega twój błąd czysto matematyczny!

Dokładnie na tym polega twoja deklaracja.
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: 35576
Przeczytał: 15 tematów

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

PostWysłany: Sob 12:17, 03 Sie 2024    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
rafal3006 napisał:
Irbisol, tchórz, który a priori odrzuca ofertę Prosiaczka!
Tak potwornie boi się zrozumieć algebry Kubusia, której sam jest ekspertem, podobnie jak wzyscy ludzie od 5-cio latka poczynając na najwybitniejszym ziemskim matematyku kończąc.

Irbisol napisał:
Ty naprawdę jesteś taki głupi czy tylko dobrze udajesz?
Jeżeli masz dowód matematyczny, to go pokaż. Twoje deklaracje, co kto by wykopywał, warte są tyle, co ta cała twoja logika.

To nie jest żadna deklaracja, twoja gówno-tożsamość przez absolutnie kazdego ziemskiego matematyka zostanie wykopana w kosmos.

Na tym właśnie polega twoja deklaracja.

Kiedy zrozumiesz, że gówna się nie dowodzi?
Zdublowałeś dwie nazwy które w logice ziemskich matematyków znaczą fundamentalnie co innego!:
Dokładnie na tym polega twój błąd czysto matematyczny!

Dokładnie na tym polega twoja deklaracja.

Po pierwsze,
Tu sobie poczytaj definicję implikacji logicznej znaną każdemu ziemskiemu matematykowi:
[link widoczny dla zalogowanych]

Czy już rozumiesz iż twoja tożsamość:
Warunek wystarczający p=>q = Implikacja logiczna p=>q
jest potwornie śmierdzącym gównem do potęgi nieskończonej?
TAK/NIE
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15474
Przeczytał: 25 tematów


PostWysłany: Sob 12:44, 03 Sie 2024    Temat postu:

To podaj przypadek, gdzie jest spełniona implikacja logiczna, a WW nie jest spełniony - albo na odwrót.
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 ... 331, 332, 333 ... 378, 379, 380  Następny
Strona 332 z 380

 
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