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 - logika naszego Wszechświata w definicjach
Idź do strony Poprzedni  1, 2, 3 ... 10, 11, 12, 13  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ść
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22160
Przeczytał: 42 tematy

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

PostWysłany: Pon 22:27, 24 Cze 2019    Temat postu:

Twierdzenie Hipcia po raz trzeci!

Twierdzenie Hipcia:
Logika matematyczna bez logiki ujemnej (bo ~Y) jest wewnętrznie sprzeczna

Myślę że twierdzenie Hipcia można udowodnić jeszcze prościej.
Kod:

T0
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I        |Grupa II      |Grupa III             | Grupa IV
        |Spójniki       |Spójniki typu |Spójniki przeciwne    | Wejścia
        |„i”(*) i „lub” |Jeśli p to q  |do grupy II           | p i q
        | Y  Y |  Y  Y  | Y  Y   Y  Y  |  Y    Y     Y    Y   | Y  Y  Y  Y
   p  q | *  + | ~* ~+  | => ~> <=> ~~>| ~=> ~(~>)   $  ~(~~>)| p  q ~p ~q
A: 1  1 | 1  1 |  0  0  | 1  1   1  1  |  0    0     0    0   | 1  1  0  0
B: 1  0 | 0  1 |  1  0  | 0  1   0  1  |  1    0     1    0   | 1  0  0  1
C: 0  1 | 0  1 |  1  0  | 1  0   0  1  |  0    1     1    0   | 0  1  1  0
D: 0  0 | 0  0 |  1  1  | 1  1   1  1  |  0    0     0    0   | 0  0  1  1
          0  1    2  3    4  5   6  7     8    9    10   11    12 13 14 15


Faktu że powyższa tabela zawiera 16 różnych na mocy definicji operatorów logicznych żaden matematyk nie kwestionuje.

Rozpatrzmy cztery pierwsze kolumny:

Kolumnę T00:
Y=p*q
Dowolną funkcję logiczna wolno nam dwustronnie zanegować, stąd:
~Y=~p+~q
Gdzie:
Y=p*q # ~Y=~p+~q
Definicja znaczka #:
Jedna strona jest negacją drugiej strony

Kolumna T01:
Y=p+q
Dowolną funkcję logiczna wolno nam dwustronnie zanegować, stąd:
~Y=~p*~q

Kolumna T02:
Y=~(p*q) = ~p+~q
Dowolną funkcję logiczna wolno nam dwustronnie zanegować, stąd:
~Y=p*q

Kolumna T03:
Y = ~(p+q) = ~p*~q
Dowolną funkcję logiczna wolno nam dwustronnie zanegować, stąd:
~Y=p+q

Doskonale widać, że cztery pierwsze funkcje logiczne T00, T01, T02 i T03 spełniają definicję znaczka różne na mocy definicji ##

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

Twierdzenie Krokodyla:
Warunkiem niesprzeczności logiki matematycznej ziemian jest zabronienie przechodzenia do logiki ujemnej dla kolumn T00, T01, T02 i T03

Dlaczego:
Doskonale widać, że jak wywalimy z powyższych zapisów funkcje logiczne Y i ~Y to dostaniemy tożsamość kolumn:
T01 = T03
oraz:
T00=T02

Innymi słowy:
Logika matematyczna ziemian jest wewnętrznie sprzeczna.

Oczywiście jak zabronimy negacji funkcji logicznej stronami to z logiką ziemian będzie wszystko w porządku, czyli:
T00 ## T01 ## T02 ## T03

Ok
Dla jasności zróbmy dokładnie to samo co wyżej bez funkcji logicznych:

T00:
p*q
Negujemy stronami:
~(p*q) = ~p+~q

T01:
p+q
Negujemy stronami:
~(p+q) = ~p*~q

T02:
~(p*q) = ~p+~q
Negujemy stronami:
~(~p+~q) = p*q

T03:
~(p+q) = ~p*~q
Negujemy stronami:
~(~p*~q) = p+q

Doskonale widać, że matematycznie zachodzi:
T00=T02
T01=T03
co rozkłada na łopatki znaczek różne na mocy definicji ## dla wszystkich 16 operatorów logicznych.

Podsumowując:
Logikę ziemian uratujemy wtedy i tylko wtedy gdy zabronimy opisu kolumny wynikowej w postaci funkcji logicznej:
Y=f(x)
oraz zabronimy dwustronnej negacji tej funkcji:
~Y=~f(x)

Oczywistym jest, że na takie warunki zgodzić się może wyłącznie matematyk idiota.
Czy mam rację Idioto?


Ostatnio zmieniony przez rafal3006 dnia Pon 22:30, 24 Cze 2019, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Pon 22:28, 24 Cze 2019    Temat postu:

rafal3006 napisał:
idiota napisał:
Nie, bo nie umiesz jej w ogóle poznać, coś sobie roisz.
Bardzo mi przykro...

Co mam poznawać Idioto?
To?!
Jeśli 2+2=5 to Idiota jest papieżem
Jeśli 2+2=4 to Płock leży nad Wisłą
etc

Dokładnie z powodu tego gówna zainteresowałem się logika matematyczną ziemian.
Dokładnie z tego powodu nigdy nie zajrzałem do ziemskich gówno-podręczników logiki „matematycznej”.

I przez naście lat nie udało ci się dowiedzieć co te zdania znaczą i co z nich wynika.
Na przykład roisz sobie, że z tego, że prawdą jest "Jeśli 2+2=5 to Idiota jest papieżem." wynika "Idiota jest papieżem.".
Jesteś za głupi, by zrozumieć, mimo wielu wyjaśnień, że tak nie jest.
Teraz znów zmienisz 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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Pon 22:35, 24 Cze 2019    Temat postu:

Dla mnie cytowane zdania to gówno w którym nie zamierzam sie tarzać.
Idioto, czy możesz zająć się matematyką ścisłą bez związku z jakimikolwiek zdaniami wypowiedzianymi przez człowieka?
Masz wyżej udowodnione twierdzenie Hipcia po raz trzeci.
Czy masz coś do powiedzenia w tym temacie?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Pon 22:51, 24 Cze 2019    Temat postu:

Czyli coś co sprawiło, że się logiką zainteresowałeś teraz nagle nie jets interesujące.
No ładnie!
:D

Tym co piszesz jako jakieś niby tam analizy to już od lat nikt się nie zajmuje i nie czyta tego, więc zgadnij.
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Wto 9:37, 25 Cze 2019    Temat postu:

Twierdzenie Hipcia po raz czwarty!

Twierdzenie Hipcia:
Logika matematyczna bez funkcji logicznych Y i ~Y jest wewnętrznie sprzeczna

idiota napisał:
Tym co piszesz jako jakieś niby tam analizy to już od lat nikt się nie zajmuje i nie czyta tego, więc zgadnij.

Stwierdzam po prostu że nie rozumiesz techniki cyfrowej (matematyki)
Spróbuję to wytłumaczyć gdzie popełniasz błąd na dwóch przykładach rodem z przedszkola.

Rafal3006 napisał:

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

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

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

Wszystkie możliwe wymuszenia binarne (dwuwartościowe) na wejściach p i q to:
Kod:

Wszystkie możliwe wymuszenia binarne na wejściach p i q
   p  q  Y
A: 1  1  x
B: 1  0  x
C: 0  1  x
D: 0  0  x
Gdzie:
x=[0,1]

Z definicji funkcji logicznej wynika, że możliwe jest szesnaście i tylko szesnaście różnych na mocy definicji ## funkcji logicznych dwuargumentowych w logice dodatniej (bo Y)
Funkcje te definiujemy tabelą prawdy pokazującą wszystkie możliwe wymuszenia na wejściach p i q oraz wszystkie możliwe, różne na mocy definicji ## odpowiedzi na wyjściu Y.
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I        |Grupa II      |Grupa III             | Grupa IV
        |Spójniki       |Spójniki typu |Spójniki przeciwne    | Wejścia
        |„i”(*) i „lub” |Jeśli p to q  |do grupy II           | p i q
        | Y  Y |  Y  Y  | Y  Y   Y  Y  |  Y    Y     Y    Y   | Y  Y  Y  Y
   p  q | *  + | ~* ~+  | => ~> <=> ~~>| ~=> ~(~>)   $  ~(~~>)| p  q ~p ~q
A: 1  1 | 1  1 |  0  0  | 1  1   1  1  |  0    0     0    0   | 1  1  0  0
B: 1  0 | 0  1 |  1  0  | 0  1   0  1  |  1    0     1    0   | 1  0  0  1
C: 0  1 | 0  1 |  1  0  | 1  0   0  1  |  0    1     1    0   | 0  1  1  0
D: 0  0 | 0  0 |  1  1  | 1  1   1  1  |  0    0     0    0   | 0  0  1  1
          0  1    2  3    4  5   6  7     8    9    10   11    12 13 14 15

W tabeli T1 po raz pierwszy w historii ludzkości zdefiniowano wszystkie występujące w logice matematycznej, elementarne znaczki logiczne.

Każda z funkcji logicznych Y jest różna na mocy definicji co oznacza, że jeśli w laboratorium techniki cyfrowej zbudujemy układy logiczne w spójnikach „i”(*) i „lub”(+) definiujące te funkcje to będą to funkcje różne na mocy definicji ##.

Dowód w laboratorium:
Jeśli dowolne dwa wyjścia Y połączymy galwanicznie to zobaczymy kupę dymu i smrodu, wszystko wyleci powietrze

Algebra Kubusia to dwa wyróżnione elementy [0,1] plus elementarne znaczki logiki matematycznej.

Elementarne znaczki logiki matematycznej to:
1: (~) - negacja
2: (*) - spójnik „i”(*)
3: (+) - spójnik „lub”(+)
4: (~~>) - zdarzenie możliwe ~~> (w zbiorach element wspólny zbiorów)
5: (=>) - warunek wystarczający =>
6: (~>) - warunek konieczny ~>
7: (<=>) - równoważność <=>
8: ($) - spójnik „albo”($)

Interpretacja elementarnych znaczków logiki matematycznej w języku potocznym człowieka:
1: (~) - spójnik „NIE” w języku potocznym człowieka, negacja zmiennej binarnej, ~p
2: (*) - spójnik „i”(*) w języku potocznym człowieka. p*q
3: (+) - spójnik „lub”(+) w języku potocznym człowieka, p+q
4: (~~>) - spójnik „Jeśli p to q” ze spełnioną definicją elementu wspólnego zbiorów p~~>q lub zdarzenie możliwe ~~>
5: (=>) - spójnik „Jeśli p to q” ze spełnionym warunkiem wystarczającym p=>q
6: (~>) - spójnik „Jeśli p to q” ze spełnionym warunkiem koniecznym p~>q
7: (<=>) - spójnik „wtedy i tylko wtedy” (wtw) w języku potocznym człowieka, równoważność p<=>q
8: ($) - spójnik „albo”($) w języku potocznym człowieka. p$q

KONIEC!
W algebrze Kubusia elementarnych znaczków w logice matematycznej jest osiem i tylko osiem.

Każdy z 8 spójników (znaczków) ma swoją zero-jedynkową definicję.
Zawęźmy nasze rozważania do funkcji logicznych T11 i T13
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I   
        |Spójniki
        |„i”(*) i „lub”(+)
        | T11   ## T13
   p  q | Y=p+q ## Y=~(p+q)=~p*~q
A: 1  1 |  1    ##    0
B: 1  0 |  1    ##    0
C: 0  1 |  1    ##    0
D: 0  0 |  0    ##    1
           1          3

Każda z funkcji logicznych Y jest różna na mocy definicji co oznacza, że jeśli w laboratorium techniki cyfrowej zbudujemy układy logiczne w spójnikach „i”(*) i „lub”(+) definiujące te funkcje to będą to funkcje różne na mocy definicji ##.

Dowód w laboratorium:
Jeśli dowolne dwa wyjścia Y połączymy galwanicznie to zobaczymy kupę dymu i smrodu, wszystko wyleci powietrze

Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie ~p

Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we Wszechświecie o idealnej temperaturze
t=constans
W takim Wszechświecie pojęcia ciepło (C=1) i nie ciepło (~C=1) nie istnieją, bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.

Na mocy prawa rozpoznawalności pojęcia p tabelę T1 musimy uzupełnić o zmienne zanegowane.

Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
               |Grupa I   
               |Spójniki
               |„i”(*) i „lub”(+)
               | T11            ## T13
   p  q ~p ~q  | Y=p+q ~Y=~p*~q ## Y=~(p+q)=~p*~q ~Y=p+q
A: 1  1  0  0  |  1      0      ##    0             1
B: 1  0  0  1  |  1      0      ##    0             1
C: 0  1  1  0  |  1      0      ##    0             1
D: 0  0  1  1  |  0      1      ##    1             0
                  1             ##    3

Definicja operatorów T11 i T13 to złożenie dwóch funkcji logicznych Y i ~Y bowiem wtedy i tylko wtedy mamy matematyczny opis w logice jedynek wszystkich czterech linii.

Definicja operatora T11:
1.
Y=p+q
Co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
2.
~Y=~p*~q
co w logice jedynek oznacza:
~Y=1<=>~p=1 i ~q=1
Doskonale to widać w pełnej tabeli zero-jedynkowej T1 uzupełnionej o sygnały zanegowane.
Dialog T11:
Pani w przedszkolu:
1.
Jutro pójdziemy do kina (K=1) lub do teatru (T=1)
Y=K+T
co w logice jedynek oznacza:
Y=1 <=> K=1 lub T=1
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
… a kiedy pani skłamie?
Negujemy równanie 1 stronami:
~Y=~(K+T) = ~K*~T - na mocy prawa De Morgana
2
stąd mamy odpowiedź:
~Y=~K*~T
co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)

Definicja operatora T13:
1
Y=~p*~q
co w logice jedynek oznacza:
Y=1 <=> ~p=1 i ~q=1
2.
~Y=p+q
co w logice jedynek oznacza:
~Y=1 <=> p=1 lub q=1
Doskonale to widać w pełnej tabeli zero-jedynkowej T1 uzupełnionej o sygnały zanegowane.

Dialog T13:
Pani w przedszkolu:
1.
Jutro nie pójdziemy do kina (~T=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co w logice jedynek oznacza:
Y=1 <=> ~K*~T
Czytamy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
… a kiedy pani skłamie?
Negujemy równanie 1 stronami:
~Y=~(~K*~T) = K+T - na mocy prawa De Morgana
2
stąd mamy odpowiedź:
~Y=K+T
co w logice jedynek oznacza:
~Y=1 <=> K=1 lub T=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)

Pytanie do wszystkich ziemskich matematyków (nie tylko do Idioty)

Czy pani może wypowiedzieć obietnicę T11:
Y=K+T
zaś odpowiedź na pytanie:
Kiedy pani skłamie (~Y)?
wziąć sobie z dialogu T13?
~Y=K+T
?!
Moja odpowiedź:
NIE, NIE, NIE!
co oznacza iż dialogi T11 i T13 są różne na mocy definicji #
W logice ogólnej oznacza to że operatory T11 i T13 są różne na mocy definicji ##

Definicja operatora T11:
1.
Y=p+q
Co w logice jedynek oznacza:
Y=1 <=> p=1 lub q=1
2.
~Y=~p*~q
co w logice jedynek oznacza:
~Y=1<=>~p=1 i ~q=1
Doskonale to widać w pełnej tabeli zero-jedynkowej T1 uzupełnionej o sygnały zanegowane.

##

Definicja operatora T13:
1
Y=~p*~q
co w logice jedynek oznacza:
Y=1 <=> ~p=1 i ~q=1
2.
~Y=p+q
co w logice jedynek oznacza:
~Y=1 <=> p=1 lub q=1
Doskonale to widać w pełnej tabeli zero-jedynkowej T1 uzupełnionej o sygnały zanegowane.

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

Doskonale widać, że definicje operatorów T11 i T13 spełniają definicję znaczka różne na mocy definicji ##

Co dowiedziono na przykładzie zrozumiałym dla każdego 5-cio latka

Kwadratura koła dla ziemskich matematyków (nie tylko dla Idioty):
Czy rozumiecie dialogi T11 i T13?
Czy te dialogi są matematycznie poprawne w waszej logice matematycznej?


Ostatnio zmieniony przez rafal3006 dnia Wto 10:54, 25 Cze 2019, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Wto 12:17, 25 Cze 2019    Temat postu:

"Stwierdzam po prostu że nie rozumiesz techniki cyfrowej"

A to spoko.
teraz dawaj jeszcze jeden raz prawo dupci, czy inne bzdury, co ich nikt nie czyta, będzie ci znów milej na serduszku.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 3760
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Wto 15:12, 25 Cze 2019    Temat postu:

Rafał złożenie funkcji też ma jakieś swoje. Ciekawe (żartuje) co mu w tym normalnym nie pasowało.
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Wto 15:19, 25 Cze 2019    Temat postu:

Algebra Kubusia w obsłudze języka potocznego matematyki!

idiota napisał:
"Stwierdzam po prostu że nie rozumiesz techniki cyfrowej"

A to spoko.
teraz dawaj jeszcze jeden raz prawo dupci, czy inne bzdury, co ich nikt nie czyta, będzie ci znów milej na serduszku.

ok

To teraz dam dowód kompromitacji idioty na lekcji matematyki w 7 klasie szkoły podstawowej.

Pani matematyczka:
Jasiu, poproszę o zapisanie twierdzenia definiującego trójkąt prostokątny.
Jaś:
1.
Jeśli trójkąt jest prostokątny to na 100% => ma kąt prosty
TP=>KP =1
Pani:
Zuzia, poproszę o zapisanie twierdzenia odwrotnego
Zuzia:
2.
Jeśli trójkąt ma kąt prosty to na 100% => jest prostokątny
KP=>TP =1
Pani:
Idioto, co wynika z twierdzeń 1 i 2?
Idiota:

.. no, nie mam pojęcia.
Jasiu, podpowiedz Idiocie.
Jaś:
Wynika z nich równoważność definiująca trójkąt prostokątny
RTP.
Trójkąt jest prostokątny wtedy i tylko wtedy gdy ma kąt prosty

Pani: Idioto jak to zapisać matematycznie?
Idiota:
… no, nie mam pojęcia
Pani:
Jasiu podpowiedz Idiocie.
Jaś:
TP<=>KP = 1: (TP=>KP)* 2: (KP=>TP) =1*1 =1
Idioto, co oznacza ta równoważność?
Idiota:
.. no, nie mam pojęcia.
Pani:
Jasiu, podpowiedz Idiocie
Jaś:
Ta równoważność oznacza tożsamość zbiorów:
TP=KP
Pani:
Idioto co wynika z tożsamości zbiorów TP=KP?
Idiota:
.. no, nie mam pojęcia.
Pani:
Jasiu, podpowiedz Idiocie
Jaś:
Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie ~p
p<==>~p = (p==>~p)*(~p==>p)
Stąd:
Tożsamość zbiorów TP=KP wymusza tożsamość zbiorów ~TP=~KP i odwrotnie.
Pani:
Jasiu dokończ te rozważania matematyczne bo do Idioty nie mam już zdrowia.
Jaś:
twierdzenie proste dla zbiorów tożsamych ~TP=~KP:
1.
Jeśli zbiór ~TP jest podzbiorem => ~KP i zbiór ~KP jest podzbiorem => ~TP to na 100% => zbiór ~TP jest tożsamy ze zbiorem ~KP
(~TP=>~KP)*(~KP=>~TP) => (~TP=~KP) =1*1 =1
Pani:
… a twierdzenie odwrotne?
Jaś:
2.
Jeśli zbiór ~TP jest tożsamy ze zbiorem ~KP to na 100% => zbiór ~TP jest podzbiorem => ~KP i zbiór ~KP jest podzbiorem => ~TP
(~TP=~SK) => (~TP=>~KP)*(~KP=>~TP) =1*1 =1

Pani:
Co wynika z twierdzeń 1 i 2?
Jaś:
Każda tożsamość pojęć to równoważność.

Stąd z twierdzeń 1 i 2 wynika równoważność dla trójkątów nieprostokątnych:
Trójkąt nie jest prostokątny wtedy i tylko wtedy gdy nie ma kąta prostego
~TP<=>~KP = (~TP=>~KP)*(~KP=>~TP)

idiota napisał:

A to spoko.
teraz dawaj jeszcze jeden raz prawo dupci, ..


Bardzo proszę.

Prawo dupci:
Nasz idiota dał dupci na lekcji matematyki w 7 klasie szkoły podstawowej, co oznacza, że nic a nic z tej lekcji nie rozumie.

Czy mam rację idioto?


Ostatnio zmieniony przez rafal3006 dnia Wto 17:14, 25 Cze 2019, w całości zmieniany 2 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: 3760
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Wto 17:56, 25 Cze 2019    Temat postu:

Twierdzenie definiujące trójkąt prostokątny - dobre.
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Wto 18:15, 25 Cze 2019    Temat postu:

fiklit napisał:
Twierdzenie definiujące trójkąt prostokątny - dobre.


Prawo poprawnej definicji:
Dowolna definicja jest matematycznie poprawna wtedy i tylko wtedy gdy jest definicją równoważnościową.

Dokładnie z tego powodu definicja prostokąta w matematyce ziemian jest do dupy bo nie jest to definicja równoważnościowa.
W praktyce jednak wszyscy ludzie, z matematykami włącznie, mają w dupie ziemską definicje prostokąta bowiem pod pojęciem "prostokąt" rozumieją poprawnie taka definicję:

Prostokąt to czworokąt mający wszystkie kąty proste i nie wszystkie boki równe
PR=KP*~BR

Po prostu, na definicji implikacyjnej prostokąta PR, a taka jest durna, obecna definicja nie da się pracować.

Uwaga:
W praktyce matematycznej wszyscy ludzie, włącznie z matematykami stosują powyższą definicję prostokąta mając w dupie oficjalną definicję matematyków, którą wymyślił jakiś dinozaur o logice matematycznej nie mający pojęcia.

P.S.
Mam nadzieję Fiklicie, że zauważyłeś iz non stop wszystkie definicje matematyków wywracam do góry nogami - wtedy i tylko wtedy matematyka matematyków będzie światem ludzi normalnych.


Ostatnio zmieniony przez rafal3006 dnia Wto 18:19, 25 Cze 2019, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22160
Przeczytał: 42 tematy

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

PostWysłany: Wto 18:20, 25 Cze 2019    Temat postu:

Największa tragedia ziemskich matematyków!

Ziemscy matematycy w dowodzeniu czegokolwiek rachunkiem zero-jedynkowym nie widzą funkcji logicznych Y i ~Y.
… i to jest ta największa tragedia ziemskich matematyków.
Innymi słowy:
Ziemscy matematycy nie mają bladego pojęcia o poprawnym rachunku zero-jedynkowym!

fiklit napisał:
Rafał złożenie funkcji też ma jakieś swoje. Ciekawe (żartuje) co mu w tym normalnym nie pasowało.

Bardzo proszę, odpowiadam co mi u ziemskich matematyków nie pasuje.

Rafal3006 napisał:

Rafal3006 napisał:

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

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

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

Wszystkie możliwe wymuszenia binarne (dwuwartościowe) na wejściach p i q to:
Kod:

Wszystkie możliwe wymuszenia binarne na wejściach p i q
   p  q  Y
A: 1  1  x
B: 1  0  x
C: 0  1  x
D: 0  0  x
Gdzie:
x=[0,1]

Z definicji funkcji logicznej wynika, że możliwe jest szesnaście i tylko szesnaście różnych na mocy definicji ## funkcji logicznych dwuargumentowych w logice dodatniej (bo Y)
Funkcje te definiujemy tabelą prawdy pokazującą wszystkie możliwe wymuszenia na wejściach p i q oraz wszystkie możliwe, różne na mocy definicji ## odpowiedzi na wyjściu Y.
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I        |Grupa II      |Grupa III             | Grupa IV
        |Spójniki       |Spójniki typu |Spójniki przeciwne    | Wejścia
        |„i”(*) i „lub” |Jeśli p to q  |do grupy II           | p i q
        | Y  Y |  Y  Y  | Y  Y   Y  Y  |  Y    Y     Y    Y   | Y  Y  Y  Y
   p  q | *  + | ~* ~+  | => ~> <=> ~~>| ~=> ~(~>)   $  ~(~~>)| p  q ~p ~q
A: 1  1 | 1  1 |  0  0  | 1  1   1  1  |  0    0     0    0   | 1  1  0  0
B: 1  0 | 0  1 |  1  0  | 0  1   0  1  |  1    0     1    0   | 1  0  0  1
C: 0  1 | 0  1 |  1  0  | 1  0   0  1  |  0    1     1    0   | 0  1  1  0
D: 0  0 | 0  0 |  1  1  | 1  1   1  1  |  0    0     0    0   | 0  0  1  1
          0  1    2  3    4  5   6  7     8    9    10   11    12 13 14 15

W tabeli T1 po raz pierwszy w historii ludzkości zdefiniowano wszystkie występujące w logice matematycznej, elementarne znaczki logiczne.

Każda z funkcji logicznych Y jest różna na mocy definicji co oznacza, że jeśli w laboratorium techniki cyfrowej zbudujemy układy logiczne w spójnikach „i”(*) i „lub”(+) definiujące te funkcje to będą to funkcje różne na mocy definicji ##.

Dowód w laboratorium:
Jeśli dowolne dwa wyjścia Y połączymy galwanicznie to zobaczymy kupę dymu i smrodu, wszystko wyleci powietrze

Algebra Kubusia to dwa wyróżnione elementy [0,1] plus elementarne znaczki logiki matematycznej.

Elementarne znaczki logiki matematycznej to:
1: (~) - negacja
2: (*) - spójnik „i”(*)
3: (+) - spójnik „lub”(+)
4: (~~>) - zdarzenie możliwe ~~> (w zbiorach element wspólny zbiorów)
5: (=>) - warunek wystarczający =>
6: (~>) - warunek konieczny ~>
7: (<=>) - równoważność <=>
8: ($) - spójnik „albo”($)

Interpretacja elementarnych znaczków logiki matematycznej w języku potocznym człowieka:
1: (~) - spójnik „NIE” w języku potocznym człowieka, negacja zmiennej binarnej, ~p
2: (*) - spójnik „i”(*) w języku potocznym człowieka. p*q
3: (+) - spójnik „lub”(+) w języku potocznym człowieka, p+q
4: (~~>) - spójnik „Jeśli p to q” ze spełnioną definicją elementu wspólnego zbiorów p~~>q lub zdarzenie możliwe ~~>
5: (=>) - spójnik „Jeśli p to q” ze spełnionym warunkiem wystarczającym p=>q
6: (~>) - spójnik „Jeśli p to q” ze spełnionym warunkiem koniecznym p~>q
7: (<=>) - spójnik „wtedy i tylko wtedy” (wtw) w języku potocznym człowieka, równoważność p<=>q
8: ($) - spójnik „albo”($) w języku potocznym człowieka. p$q

KONIEC!
W algebrze Kubusia elementarnych znaczków w logice matematycznej jest osiem i tylko osiem.

Każdy z 8 spójników (znaczków) ma swoją zero-jedynkową definicję.
Zawęźmy nasze rozważania do funkcji logicznych T11 i T13
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I   
        |Spójniki
        |„i”(*) i „lub”(+)
        | T11   ## T13
   p  q | Y=p+q ## Y=~(p+q)=~p*~q
A: 1  1 |  1    ##    0
B: 1  0 |  1    ##    0
C: 0  1 |  1    ##    0
D: 0  0 |  0    ##    1
           1          3

Każda z funkcji logicznych Y jest różna na mocy definicji co oznacza, że jeśli w laboratorium techniki cyfrowej zbudujemy układy logiczne w spójnikach „i”(*) i „lub”(+) definiujące te funkcje to będą to funkcje różne na mocy definicji ##.

Dowód w laboratorium:
Jeśli dowolne dwa wyjścia Y połączymy galwanicznie to zobaczymy kupę dymu i smrodu, wszystko wyleci powietrze

Ziemscy matematycy w dowodzeniu czegokolwiek rachunkiem zero-jedynkowym nie widzą funkcji logicznych Y i ~Y.
… i to jest ta największa tragedia ziemskich matematyków.
Innymi słowy:
Ziemscy matematycy nie mają bladego pojęcia o poprawnym rachunku zero-jedynkowym!

Innymi słowy, tabele T11 i T13 zapisują tak:
Kod:

T1
        |Grupa I   
        |Spójniki
        |„i”(*) i „lub”(+)
        | T11   # T13
   p  q | p+q   # ~(p+q)=~p*~q
A: 1  1 |  1    #    0
B: 1  0 |  1    #    0
C: 0  1 |  1    #    0
D: 0  0 |  0    #    1
           1         3

Zauważ, że w tym momencie kolumny 1 i 3 nie są różne na mocy definicji ## ale są różna na mocy znaczka #.

Różnica między znaczkami ## a # jest FUNDAMENTALNA!

Definicja znaczka # dla wyrażeń logicznych bo ziemianie wykopali w kosmos pojęci funkcji logicznej Y z definicji 16 operatorów logicznych!

Definicja wyrażenia logicznego:
Wyrażenie logiczne to dowolna ilość zmiennych binarnych połączonych spójnikami „i”(*) i „lub”(+)

Definicja znaczka różne # dla wyrażenia logicznego:
Wyrażenie logiczne jest różne w znaczeniu znaczka # wtedy i tylko wtedy gdy jedna strona wyrażenia jest zaprzeczeniem drugiej strony

Nasz przykład z tabeli T1:
T11: (p+q) # T13: ~(p+q) = ~p*~q

Zauważ teraz, że jeśli pani powie.
1.
Jutro pójdziemy do kina lub do teatru
Zdanie tożsame:
Pani dotrzyma słowa D wtedy i tylko wtedy jutro pójdziemy do kina lub pójdziemy do teatru
Uwaga:
Bez funkcji logicznej D to zdanie musimy zakodować tak:
(K+T)
Koniec kodowania!

… a kiedy pani skłamie?
Na mocy definicji znaczka # mamy:
(K+T) <==>~(K+T)=~K*~T
Komentarz:
Tu musi być znaczek wtedy i tylko wtedy <==> w znaczeniu iż jedna strona znaczka <==> jest zaprzeczeniem drugiej
Innymi słowy:
Prawo rozpoznawalności pojęcia p:
Wiem co znaczy pojęcie p wtedy i tylko wtedy <==> gdy wiem co znaczy pojęcie ~p
p<==>~p =(p==>~p)*(~p==>p) =1*1 =1
Matematycznie zachodzi tożsamość znaczków:
<==> = #

Uwaga!
W normalnej równoważności tego nie ma:
Trójkąt jest prostokątny wtedy i tylko wtedy gdy ma kąt prosty
TP<=>KP = (TP=>KP)*(KP=>TP =1*1=1
Ta równoważność definiuje tożsamość zbiorów TP=KP
Tu tez działa prawo rozpoznawalności pojęcia TP:
Pojęcie TP jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~TP
Innymi słowy:
Wiem co to jest trójkąt prostokątny TP wtedy i tylko wtedy gdy wiem co to jest trójkąt nieprostokątny ~TP
TP<==>~TP = (TP==>~TP)*(~TP=>TP)
W przełożeniu na funkcje logiczne mamy tak:
Znam funkcję logiczną w logice dodatniej (bo Y):
1.
Y=p+q
wtedy i tylko wtedy <==> gdy znam funkcję logiczną w logice ujemnej (bo ~Y) i odwrotnie!
Negujemy stronami 1:
2.
~Y=~(p+q) = ~p*~q - prawo De Morgana

Po tych wyjaśnieniach czysto teoretycznych…

Wróćmy do naszego zdania restartując system:
T11:
Pani przedszkolanka:
Jutro pójdziemy do kina lub do teatru
Zdanie tożsame:
Pani dotrzyma słowa D wtedy i tylko wtedy jutro pójdziemy do kina lub pójdziemy do teatru
Uwaga:
Bez funkcji logicznej D to zdanie musimy zakodować tak:
(K+T)
Koniec kodowania!

… a kiedy pani skłamie?
Na mocy definicji znaczka # ziemski matematyk zapisuje:
(K+T) # ~(K+T)=~K*~T

Stąd ziemski matematyk ma odpowiedź:
Pani skłamie wtedy i tylko wtedy gdy jutro nie pójdziemy do teatru i nie pójdziemy do kina
Uwaga:
Bez funkcji logicznej S (skłamie) zdanie 2 ziemski matematyk musi zakodować tak:
(~K*~T)
Koniec kodowania!

Pytanie do Fiklita:
Czy zgadzasz się z faktem, że ziemscy matematycy w obsłudze zdań operują na wyrażeniach logicznych nie znając pojęcia „funkcja logiczna” w obsłudze zdań, co udowodniłem w tym poście.

Jeśli mój dowód jest fałszywy (czego nie wykluczam) to pokaż w którym miejscu jest błąd?


Ostatnio zmieniony przez rafal3006 dnia Wto 18:32, 25 Cze 2019, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22160
Przeczytał: 42 tematy

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

PostWysłany: Wto 20:48, 25 Cze 2019    Temat postu:

fiklit napisał:

Rafał złożenie funkcji też ma jakieś swoje. Ciekawe (żartuje) co mu w tym normalnym nie pasowało.


Pociągnę dalej temat wyżej bo jest kluczowy.
Rafal3006 napisał:

Wróćmy do naszego zdania restartując system:
T11:
Pani przedszkolanka:
Jutro pójdziemy do kina lub do teatru
Zdanie tożsame:
Pani dotrzyma słowa D wtedy i tylko wtedy jutro pójdziemy do kina lub pójdziemy do teatru
Uwaga:
Bez funkcji logicznej D to zdanie musimy zakodować tak:
(K+T)
Koniec kodowania!

… a kiedy pani skłamie?
Na mocy definicji znaczka # ziemski matematyk zapisuje:
(K+T) # ~(K+T)=~K*~T

Stąd ziemski matematyk ma odpowiedź:
Pani skłamie wtedy i tylko wtedy gdy jutro nie pójdziemy do teatru i nie pójdziemy do kina
Uwaga:
Bez funkcji logicznej S (skłamie) zdanie 2 ziemski matematyk musi zakodować tak:
(~K*~T)
Koniec kodowania!


W historii wojny AK vs LZ spotkałem się z matematykiem który dialog T11 kodowała tak:
T11:
Pani przedszkolanka:
1.
Jutro pójdziemy do kina lub do teatru
Zdanie tożsame:
Pani dotrzyma słowa D wtedy i tylko wtedy jutro pójdziemy do kina (K) lub pójdziemy do teatru (T)
D=K+T

… a kiedy pani skłamie?
Tu ów ziemski matematyk kodował tak:
2.
Pani skłamie S wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K) i nie pójdziemy do teatru (~T)
S=~K*~T

Ów matematyk nie widział związku między zmienną D a zmienną S bo po prostu nie akceptował logiki ujemnej!
… a przecież wystarczyło zanegować równanie 1 stronami by taki związek uchwycić.
Negujemy stronami 1:
2.
~D=~(K+T) = ~K*~T
znaczenie zmiennej D:
D - pani dotrzyma słowa (D=1)
~D - pani nie (~) dotrzyma słowa (D) = pani skłamie (S)

Stąd mamy dowód iż zmienne S owego matematyka który nie akceptuje funkcji logicznej w logice ujemnej (~D) to matematyczna głupota.
Brzytwa Ockhama się kłania czyli „mnożenie bytów ponad potrzebę”!

Przykład z kinem i teatrem jest genialny, bo to jest obietnica bezwarunkowa, pasująca idealnie do wyjaśnienia logiki matematycznej uczniowi I klasy LO, to jest takie 2+2=4 całej logiki matematycznej.

Przyjmijmy następujący standard dla tego przykładu pasujący do logiki ogólnej (formalnej):
Y - pani dotrzyma słowa (Y=1)
~Y - pani nie (~) dotrzyma słowa (Y) = pani skłamie (~Y)

Zrestartujmy system z uwzględnieniem standardu Y i ~Y.
Nasz przykład:
T11:
Pani przedszkolanka:
1.
Jutro pójdziemy do kina lub do teatru
Zdanie tożsame:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
Y=K+T
co w logice jedynek oznacza:
Y=1 <=> K=1 i T=1

… a kiedy pani skłamie?
Negujemy 1 stronami:
~Y=~(K+T) = ~K*~T
Stąd:
2.
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (T=1)
~Y=~K*~T
co w logice jedynek oznacza:
~Y=1 <=> ~K=1 i ~T=1
Czytamy:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (T=1)

KONIEC!
… banałów matematycznych na poziomie 5-cio latka TOTALNIE niezrozumiałych dla ziemskich matematyków, bo nie akceptują oni logiki ujemnej (bo ~Y).

Przyjrzyjmy się teraz tabeli zero-jedynkowych operatorów logicznych:
Rafal3006 napisał:

Rafal3006 napisał:

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

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

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

Wszystkie możliwe wymuszenia binarne (dwuwartościowe) na wejściach p i q to:
Kod:

Wszystkie możliwe wymuszenia binarne na wejściach p i q
   p  q  Y
A: 1  1  x
B: 1  0  x
C: 0  1  x
D: 0  0  x
Gdzie:
x=[0,1]

Z definicji funkcji logicznej wynika, że możliwe jest szesnaście i tylko szesnaście różnych na mocy definicji ## funkcji logicznych dwuargumentowych w logice dodatniej (bo Y)
Funkcje te definiujemy tabelą prawdy pokazującą wszystkie możliwe wymuszenia na wejściach p i q oraz wszystkie możliwe, różne na mocy definicji ## odpowiedzi na wyjściu Y.
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I        |Grupa II      |Grupa III             | Grupa IV
        |Spójniki       |Spójniki typu |Spójniki przeciwne    | Wejścia
        |„i”(*) i „lub” |Jeśli p to q  |do grupy II           | p i q
        | Y  Y |  Y  Y  | Y  Y   Y  Y  |  Y    Y     Y    Y   | Y  Y  Y  Y
   p  q | *  + | ~* ~+  | => ~> <=> ~~>| ~=> ~(~>)   $  ~(~~>)| p  q ~p ~q
A: 1  1 | 1  1 |  0  0  | 1  1   1  1  |  0    0     0    0   | 1  1  0  0
B: 1  0 | 0  1 |  1  0  | 0  1   0  1  |  1    0     1    0   | 1  0  0  1
C: 0  1 | 0  1 |  1  0  | 1  0   0  1  |  0    1     1    0   | 0  1  1  0
D: 0  0 | 0  0 |  1  1  | 1  1   1  1  |  0    0     0    0   | 0  0  1  1
          0  1    2  3    4  5   6  7     8    9    10   11    12 13 14 15

W tabeli T1 po raz pierwszy w historii ludzkości zdefiniowano wszystkie występujące w logice matematycznej, elementarne znaczki logiczne.

Każda z funkcji logicznych Y jest różna na mocy definicji co oznacza, że jeśli w laboratorium techniki cyfrowej zbudujemy układy logiczne w spójnikach „i”(*) i „lub”(+) definiujące te funkcje to będą to funkcje różne na mocy definicji ##.

Dowód w laboratorium:
Jeśli dowolne dwa wyjścia Y połączymy galwanicznie to zobaczymy kupę dymu i smrodu, wszystko wyleci powietrze

Algebra Kubusia to dwa wyróżnione elementy [0,1] plus elementarne znaczki logiki matematycznej.

Elementarne znaczki logiki matematycznej to:
1: (~) - negacja
2: (*) - spójnik „i”(*)
3: (+) - spójnik „lub”(+)
4: (~~>) - zdarzenie możliwe ~~> (w zbiorach element wspólny zbiorów)
5: (=>) - warunek wystarczający =>
6: (~>) - warunek konieczny ~>
7: (<=>) - równoważność <=>
8: ($) - spójnik „albo”($)

Interpretacja elementarnych znaczków logiki matematycznej w języku potocznym człowieka:
1: (~) - spójnik „NIE” w języku potocznym człowieka, negacja zmiennej binarnej, ~p
2: (*) - spójnik „i”(*) w języku potocznym człowieka. p*q
3: (+) - spójnik „lub”(+) w języku potocznym człowieka, p+q
4: (~~>) - spójnik „Jeśli p to q” ze spełnioną definicją elementu wspólnego zbiorów p~~>q lub zdarzenie możliwe ~~>
5: (=>) - spójnik „Jeśli p to q” ze spełnionym warunkiem wystarczającym p=>q
6: (~>) - spójnik „Jeśli p to q” ze spełnionym warunkiem koniecznym p~>q
7: (<=>) - spójnik „wtedy i tylko wtedy” (wtw) w języku potocznym człowieka, równoważność p<=>q
8: ($) - spójnik „albo”($) w języku potocznym człowieka. p$q

KONIEC!
W algebrze Kubusia elementarnych znaczków w logice matematycznej jest osiem i tylko osiem.

Każdy z 8 spójników (znaczków) ma swoją zero-jedynkową definicję.
Zawęźmy nasze rozważania do funkcji logicznych T11 i T13
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I   
        |Spójniki
        |„i”(*) i „lub”(+)
        | T11   ## T13
   p  q | Y=p+q ## Y=~(p+q)=~p*~q
A: 1  1 |  1    ##    0
B: 1  0 |  1    ##    0
C: 0  1 |  1    ##    0
D: 0  0 |  0    ##    1
           1          3

Każda z funkcji logicznych Y jest różna na mocy definicji co oznacza, że jeśli w laboratorium techniki cyfrowej zbudujemy układy logiczne w spójnikach „i”(*) i „lub”(+) definiujące te funkcje to będą to funkcje różne na mocy definicji ##.

Dowód w laboratorium:
Jeśli dowolne dwa wyjścia Y połączymy galwanicznie to zobaczymy kupę dymu i smrodu, wszystko wyleci powietrze

Matematycznie mamy prawo powielić kolumnę 3 do przedziału T11 na mocy prawa algebry Boole’a
p=p+p

Zróbmy to!
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I   
        |Spójniki
        |„i”(*) i „lub”(+)
        | T11                      ## T13
   p  q | Y=p+q ?  !?              ## Y=~(p+q)=~p*~q
A: 1  1 |  1    ?   0              ##    0
B: 1  0 |  1    ?   0              ##    0
C: 0  1 |  1    ?   0              ##    0
D: 0  0 |  0    ?   1              ##    1
           1        3’                   3

Do powyższego mamy matematyczne prawo.
Pozostaje pytanie co wstawić w miejsce znaków ? oraz !?
Odpowiedź daje nam tu nasz sztandarowy przykład wyżej.
Stąd mamy:
Kod:

T1
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I   
        |Spójniki
        |„i”(*) i „lub”(+)
        | T11                      ## T13
   p  q | Y=p+q #  ~Y=~(p+q)=~p*~q ## Y=~(p+q)=~p*~q
A: 1  1 |  1    #   0              ##    0
B: 1  0 |  1    #   0              ##    0
C: 0  1 |  1    #   0              ##    0
D: 0  0 |  0    #   1              ##    1
           1        3’                   3

Zauważmy, że kolumnę 3 mogliśmy wyłącznie skopiować z przedziału T13 do T11.
Gdybyśmy kolumnę 3 ukradli na amen to uniemożliwilibyśmy kolejnej pani przedszkolance wypowiedzenia zdania.

T13:
Pani przedszkolanka:
Jutro nie pójdziemy ani do kina (~K=1) ani do teatru (~T=1)
Zdanie tożsame:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy ani do kina (~K=1) ani do teatru (~T=1)
Y=~K*~T
co w logice jedynek oznacza:
Y=1 <=> ~K=1 i ~T=1

Doskonale widać, że kradzież na amen kolumny 3 z przedziału T13 byłaby potworną, matematyczną zbrodnią, czyli rozwaleniem całej logiki matematycznej!

Definicja znaczka #:
Dowolna strona znaczka # jest negacją drugiej strony
Doskonale to widać w tabeli wyżej

Definicja znaczka ##:
Dwie funkcje logiczne są różne na mocy definicji gdy nie są tożsame i żadna z nich nie jest zaprzeczeniem drugiej
To również doskonale widać w tabeli wyżej

Mam nadzieję ze po tych wyjaśnieniach nawet w mózgu naszego Idioty zabłysło światełko prawdy iż logika matematyczna ziemian zwana KRZ to potworne śmierdzące gówno, że jedyną poprawną logika matematyczną jest Algebra Kubusia!

To jak tam u ciebie Idioto?
Czy kupiłeś już trumnę z napisem:
KRZ - moja najukochańsza logika „matematyczna”
?


Ostatnio zmieniony przez rafal3006 dnia Wto 20:56, 25 Cze 2019, w całości zmieniany 4 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: 3760
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Śro 8:11, 26 Cze 2019    Temat postu:

Cytat:
Bardzo proszę, odpowiadam co mi u ziemskich matematyków nie pasuje.

Mylisz odpowiedź z opowieścią. Odpowiedź musi jakoś odpowiadać na pytanie. Ty nie napisałeś odpowiedzi.
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 9:58, 26 Cze 2019    Temat postu:

fiklit napisał:
Cytat:
Bardzo proszę, odpowiadam co mi u ziemskich matematyków nie pasuje.

Mylisz odpowiedź z opowieścią. Odpowiedź musi jakoś odpowiadać na pytanie. Ty nie napisałeś odpowiedzi.

Masz rację, algebra Kubusia to niekończąca się opowieść o jedynej poprawnej logice matematycznej obowiązującej w naszym Wszechświecie.

Aksjomat:
Dowolną teorie można udoskonalać w nieskończoność - dotyczy to przede wszystkim takiego jej zaprezentowania by była zrozumiana dla jak najmłodszych odbiorców.
W przypadku AK by była zrozumiała dla 5-cio latków ekspertów tej algebry w praktyce.

Dobrze się stało że napisałem pierwszą wersję AK w pięciu częściach i ją udostępniłem w pdf.

Na tej bazie mogę ją udoskonalać - już zacząłem pisać jej udoskonalona wersję, i tak będzie pewnie do mojej śmierci.

Ostatnia dyskusja spowodowała zmianę kluczowej części tak, by wreszcie ziemscy matematycy to łyknęli.

Oto ta zmiana:

4.4.1 Operatory logiczne grupy I

Kod:

T0
Wszystkie możliwe dwuargumentowe funkcje logiczne w logice dodatniej (bo Y)
        |Grupa I        |Grupa II      |Grupa III             | Grupa IV
        |Spójniki       |Spójniki typu |Spójniki przeciwne    | Wejścia
        |„i”(*) i „lub” |Jeśli p to q  |do grupy II           | p i q
        | Y  Y |  Y  Y  | Y  Y   Y  Y  |  Y    Y     Y    Y   | Y  Y  Y  Y
   p  q | *  + | ~* ~+  | => ~> <=> ~~>| ~=> ~(~>)   $  ~(~~>)| p  q ~p ~q
A: 1  1 | 1  1 |  0  0  | 1  1   1  1  |  0    0     0    0   | 1  1  0  0
B: 1  0 | 0  1 |  1  0  | 0  1   0  1  |  1    0     1    0   | 1  0  0  1
C: 0  1 | 0  1 |  1  0  | 1  0   0  1  |  0    1     1    0   | 0  1  1  0
D: 0  0 | 0  0 |  1  1  | 1  1   1  1  |  0    0     0    0   | 0  0  1  1
          0  1    2  3    4  5   6  7     8    9    10   11    12 13 14 15

Kod:

T1
Operatory logiczne grupy I
        |Grupa I
        |Spójniki
        |„i”(*) i „lub”
        | T11  ## T12 ## T13   ## T14
        | Y=   ## Y=  ##  Y    ## Y
   p  q | p*q  ## p+q ## ~p+~q ## ~p*~q
A: 1  1 |  1   ##  1  ##   0   ##   0
B: 1  0 |  0   ##  1  ##   1   ##   0
C: 0  1 |  0   ##  1  ##   1   ##   0
D: 0  0 |  0   ##  0  ##   1   ##   1

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 zaprzeczeniem drugiej

W powyższej tabeli doskonale widać, że wszystkie cztery funkcje logiczne Y spełniają definicję znaczka różne na mocy definicji.

Kolumny zero-jedynkowe możemy kopiować do woli na mocy prawa rachunku zero-jedynkowego
p=p+p

Dokonajmy następujących kopiowań kolumn zero-jedynkowych:
T13=>T11
T14=>T12
T11=>T13
T12=>T14
Zobaczmy jak teraz wygląda nasza tabela T1
Kod:

T1
Operatory logiczna grupy I
              | T11          ## T12         ## T13          ## T14
              | AND(p,q)     ## OR(p,q)     ## AND(~p,~q)   ## OR(~p,~q)
              | Y=  #  ~Y=   ## Y=  # ~Y=   ## Y=    # ~Y=  ##  Y    # ~Y
   p  q ~p ~q | p*q #  ~p+~q ## p+q # ~p*~q ## ~p*~q #  p+q ## ~p+~q # p*q
A: 1  1  0  0 |  1  #    0   ##  1  #  0    ##   0   #   1  ##   0   # 1
B: 1  0  0  1 |  0  #    1   ##  1  #  0    ##   0   #   1  ##   1   # 0
C: 0  1  1  0 |  0  #    1   ##  1  #  0    ##   0   #   1  ##   1   # 0
D: 0  0  1  1 |  0  #    1   ##  0  #  1    ##   1   #   0  ##   1   # 0
                 1       2       3     4         5       6       7     8

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest zaprzeczeniem drugiej strony
W powyższej tabeli doskonale widać że znaczek różne # obowiązuje nie tylko dla gołych zer i jedynek, ale także dla funkcji logicznych Y i ~Y.

Z prawa rozpoznawalności pojęcia wynika, że aby zmienne w tabeli T1 były rozpoznawalne musimy uzupełnić tą tabelę o zmienne zanegowane.
Zanegowane kolumny w tabelach T11, T12, T13 i T14 same nam wyskoczyły.
Kolumny wejściowe p, q zostały uzupełnione o kolumny zanegowane ~p, ~q na mocy prawa rozpoznawalności pojęcia p.

Prawo rozpoznawalności dowolnego pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest jego zaprzeczenie ~p
p<==>~p= (p==>~p)*(~p==>p) =1*1 =1
Szczegółowe uzasadnienie matematyczne tego prawa (znaczenie znaczków ==> i <==>) poznamy w części II algebry Kubusia:
„Algebra Kubusia - Kubusiowa teoria zbiorów”
Uzasadnienie to jest mało istotne w codziennym stosowaniu, gdzie najważniejszym jest dowód tego prawa na poziomie abstrakcyjnym.

Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we Wszechświecie o idealnej temperaturze
t=constans
W takim Wszechświecie pojęcia ciepło (C=1) i nie ciepło (~C=1) nie istnieją, bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.

Zauważmy, że prawo rozpoznawalności pojęcia p ma również zastosowanie w tabelach T11, T12, T13 i T14

Definicja operatora logicznego wyrażonego spójnikami „i”(*) i „lub”(+):
Operator logiczny dwuargumentowy wyrażony spójnikami „i”(*) i „lub”(+) to układ równań funkcji logicznej w logice dodatniej (bo Y) oraz funkcji logicznej w ujemnej (bo ~Y).
1.
Y=f(p,q)
2.
~Y=~f(p,q)

Zapiszmy tabelę T1 w postaci uproszczonej, pozbywając się debilnych zer i jedynek.
Kod:

T1
T11        ## T12        ## T13        ## T14
AND(p,q)   ## OR(p,q)    ## AND(~p,~q) ## OR(~q,~q)
1: Y=p*q   ## 1: Y=p+q   ## 1: Y=~p*~q ## 1: Y=~p+~q
   #       ##    #       ##    #       ##    #
2:~Y=~p+~q ## 2:~Y=~p*~q ## 2:~Y=p+q   ## 2:~Y=p*q
Gdzie:
## - różne na mocy definicji
# - różne w znaczeniu iż jedna strona znaku # jest zaprzeczeniem drugiej

Zapiszmy jeszcze raz kluczowe tu definicje.

Definicja znaczka różne #:
Dowolna strona znaczka różne # jest zaprzeczeniem 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 zaprzeczeniem drugiej.

Zauważmy, że funkcje logicznie w pionie nie są różne na mocy definicji bowiem jedna z nich jest zaprzeczeniem drugiej.
Różna na mocy definicji jest dowolna funkcja logiczna z kolumny x oraz funkcja logiczna z kolumny różnej od x.


Ostatnio zmieniony przez rafal3006 dnia Śro 10:05, 26 Cze 2019, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 3760
Przeczytał: 4 tematy


Płeć: Mężczyzna

PostWysłany: Śro 10:42, 26 Cze 2019    Temat postu:

Wiem jak możesz przyspieszyć pracę nad AK. Napisz takiego bota, który po twoim wpisie od razu wrzuca odpowiedz z jakimś randomowym zdaniem. Nie będziesz musiał czekać na odpowiedzi innych. A sens "rozmowy" się nie zmieni.
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 10:55, 26 Cze 2019    Temat postu:

fiklit napisał:
Wiem jak możesz przyspieszyć pracę nad AK. Napisz takiego bota, który po twoim wpisie od razu wrzuca odpowiedz z jakimś randomowym zdaniem. Nie będziesz musiał czekać na odpowiedzi innych. A sens "rozmowy" się nie zmieni.

Sęk w tym że od 13 lat ziemscy matematycy zadają mi pytanie x oczekując jedynie słusznej odpowiedzi, czyli zgodnej z tym czego ich wyuczyli w ziemskich szkółkach.
... a jak mam to zrobić skoro praktycznie wszystkie definicje z zakresu logiki matematycznej mamy sprzeczne?

Fiklicie, niczego nie muszę bowiem AK jest już w wersji końcowej - teraz chodzi tylko o jej przekaz w jak najprostszej formie by matematycy ją zrozumieli.
Pytanie jest tylko takie:
Czy są ziemscy matematycy którzy zrozumieją AK gdzie praktycznie 100% definicji jest różnych od tych wyuczonych w ziemskiej szkółce?

Wierzę że tak, w udoskonalaniu AK chodzi o ziemskich matematyków, by zaakceptowali AK - na początek jako jedną z wielu teorii matematycznych, która na 100% nie jest wewnętrznie sprzeczna i nie generuje gówna w stylu:
Jeśli 2+2=5 to jestem papieżem
Jeśli 2+2=5 to Płock leży nad Wisłą
etc


Ostatnio zmieniony przez rafal3006 dnia Śro 13:04, 26 Cze 2019, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 11:30, 26 Cze 2019    Temat postu:

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-logika-naszego-wszechswiata-w-definicjach,13067-250.html#458899
fiklit napisał:
Rafał złożenie funkcji też ma jakieś swoje. Ciekawe (żartuje) co mu w tym normalnym nie pasowało.

Złożenie funkcji logicznych według AK to układ równań logicznych Y i ~Y.
Przykład:
Y=p+q
Negujemy stronami:
~Y=~(p+q) = ~p*~q

Innymi słowy:
Funkcja ~Y jest uzupełnieniem do dziedziny równania Y (albo odwrotnie)

Definicja dziedziny matematycznej dla dowolnej funkcji Y to:
Y+~Y =1
Y*~Y =0

Dowód dla naszego przykładu:
Y+~Y = (p+q)+~(p+q) =1
Y*~Y = (p+q)*~(p+q) =0

Nie wiem co to jest złożenie funkcji logicznych u ziemian - przecież oni nie akceptują funkcji logicznych w tabelach zero-jedynkowych, operują tu wyłącznie na wyrażeniach logicznych

Definicja wyrażenia logicznego:
Wyrażenie logiczne to dowolna ilość zmiennych binarnych połączonych spójnikami "i"(*) i "lub"(+)

Podsumowując:
Co oznacza u ziemian złożenie funkcji logicznych?

Nie wiem, dlatego pytam.

P.S.
fiklit napisał:
Rafał złożenie funkcji też ma jakieś swoje. Ciekawe (żartuje) co mu w tym normalnym nie pasowało.

Na serio nie wiem co to jest to „normalne złożenie funkcji”
Czy możesz to wyjaśnić na konkretnym przykładzie?

Wyobraź sobie że twój uczeń (czyli ja) nie ma pojęcia co to jest „normalne złożenie funkcji” - czy jesteś w stanie mu to wytłumaczyć by zrozumiał?
Oczywiście musisz założyć że wiedza matematyczna ucznia jest na poziomie LO …


Ostatnio zmieniony przez rafal3006 dnia Śro 11:45, 26 Cze 2019, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 11:54, 26 Cze 2019    Temat postu:

fiklit napisał:
Rafał złożenie funkcji też ma jakieś swoje. Ciekawe (żartuje) co mu w tym normalnym nie pasowało.


Proponują taką definicję złożenia funkcji w logice matematycznej.

Definicja złożenia funkcji logicznych w logice:
Złożenie funkcji w logice matematycznej to układ równań logicznych umożliwiający rozwiązanie układu, czyli dający odpowiedź kiedy zajdzie Y oraz kiedy zajdzie ~Y

Analogia do matematyki klasycznej.

Definicja złożenia funkcji w matematyce klasycznej:
Złożenie funkcji w matematyce klasycznej dla n zmiennych to układ równań umożliwiający rozwiązanie układu

Przykład:
1: 2x+y-1 =0
2: y+x+5 =0
Rozwiązanie:
Z 1 mamy:
y=-2x+1
Po podstawieniu do 2 mamy:
-2x+1 + x +5 =0
-x=-6
x=6
y = -2x+1 = -12+1 = -11

Fiklicie:
Czy taki układ równań miałeś na myśli?

P.S.
Możliwa jest tu wspólna definicja układu równań:

Definicja układu równań:
Układ równań to zestaw równań umożliwiający rozwiązanie układu

Ta definicja obowiązuje już w całej matematyce.

Przeczuwam, że definicję złożenia funkcji też mamy rozbieżną, czyli sprzeczną.
Czy mam rację?


Ostatnio zmieniony przez rafal3006 dnia Śro 12:48, 26 Cze 2019, w całości zmieniany 8 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 16:34, 26 Cze 2019    Temat postu:

Zerknąłem na pojęcie "złożenie funkcji" do Wikipedii
[link widoczny dla zalogowanych]

Po pierwsze:
To się ma nijak do matematycznej obsługi języka potocznego człowieka, a dokładnie o tym jest algebra Kubusia!
Wszystko inne mnie TOTALNIE nie interesuje.

Po drugie:
Tego nie da się uczyć w LO bo dla normalnego człowieka (w tym dla mnie) to dżungla niezrozumiały krzaków do niczego w praktyce nauczania matematyki w LO nieprzydatna

Po trzecie:
Nie ma tego podejścia na studiach technicznych a kończyłem renomowaną PW-wa (elektronikę), zatem tu też ten sposób podejścia do matematyki jest do bani.

Po czwarte:
Oczywiście nic z tego nie rozumiem tak jak nic z tego nie rozumie dowolny maturzysta przystępujący do egzaminu dojrzałości.
Wniosek:
Nie ma najmniejszych szans by kiedykolwiek te krzaki wymagane były na maturze
Po prostu normalni ludzie mieliby ZERO szans na zdanie takiej matury.

Po piąte:
To mi pachnie podobieństwem do KRZ:
Jeśli 2+2=5 to jestem papieżem
Jeśli 2+2=4 to Płock leży nad Wisłą
etc
Wniosek:
KRZ nigdy nie będzie wymagana na maturze, bo to jest gówno jak wyżej, żadna logika matematyczna.

Po szóste:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-logika-naszego-wszechswiata-w-definicjach,13067-250.html#458805
idiota napisał:
rafal3006 napisał:
idiota napisał:
Nie, bo nie umiesz jej w ogóle poznać, coś sobie roisz.
Bardzo mi przykro...

Co mam poznawać Idioto?
To?!
Jeśli 2+2=5 to Idiota jest papieżem
Jeśli 2+2=4 to Płock leży nad Wisłą
etc

Dokładnie z powodu tego gówna zainteresowałem się logika matematyczną ziemian.
Dokładnie z tego powodu nigdy nie zajrzałem do ziemskich gówno-podręczników logiki „matematycznej”.

I przez naście lat nie udało ci się dowiedzieć co te zdania znaczą i co z nich wynika.
Na przykład roisz sobie, że z tego, że prawdą jest "Jeśli 2+2=5 to Idiota jest papieżem." wynika "Idiota jest papieżem.".
Jesteś za głupi, by zrozumieć, mimo wielu wyjaśnień, że tak nie jest.
Teraz znów zmienisz temat.

Idioto:
Jest totalnie nieistotne jak ty sobie rozumiesz zdania wyżej, normalni ludzie nigdy takiego gówna nie zaakceptują ... a ty masz zerowe szanse by normalnego człowiek wciągnąć do swojego gówna (KRZ).

Po siódme:
Tu jest coś o złożeniu funkcji na przykładach:
[link widoczny dla zalogowanych]
Oczywiście nic a nic z tego nie rozumiem.
Pytanie do Idioty:
Ty na serio chciałbyś aby tego typu zadania były na maturze?
Tzn.
Na serio chciałbyś, by zdawalność matury była na poziomie 0,1% - jeśli chodzi o tego typu zadania oczywiście.


Ostatnio zmieniony przez rafal3006 dnia Śro 17:06, 26 Cze 2019, w całości zmieniany 5 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Śro 17:11, 26 Cze 2019    Temat postu:

"Jest totalnie nieistotne jak ty sobie rozumiesz zdania wyżej, normalni ludzie nigdy takiego gówna nie zaakceptują ..."

Tego nie wiesz, bo nie potrafisz ich zrozumieć, a normalni ludzie potrafią. I nie twierdzą oni, że ze zdania "Jeśli 2+2=5 to Idiota jest papieżem." wynika "Idiota jest papieżem.".
Tego nie pojmiesz nigdy i dlatego nigdy nic nie napiszesz o logice normalnych ludzi.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Śro 17:17, 26 Cze 2019    Temat postu:

I na chuj do mnie o jakiś złożeniach piszesz?
Gówno mnie one obchodzą, to twój pomysł był, na który ci znów Fiklit powiedział jak jest u normalnych.
A żeś za głupi by to zrozumieć, to mnie nie dziwi wcale.
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 18:02, 26 Cze 2019    Temat postu:

idiota napisał:
"Jest totalnie nieistotne jak ty sobie rozumiesz zdania wyżej, normalni ludzie nigdy takiego gówna nie zaakceptują ..."

Tego nie wiesz, bo nie potrafisz ich zrozumieć, a normalni ludzie potrafią. I nie twierdzą oni, że ze zdania "Jeśli 2+2=5 to Idiota jest papieżem." wynika "Idiota jest papieżem.".
Tego nie pojmiesz nigdy i dlatego nigdy nic nie napiszesz o logice normalnych ludzi.


Definicja logiki matematycznej:
Logika matematyczna to dowodzenie prawdziwości/fałszywości zdań wypowiadanych przez człowieka.

Definicja zdania warunkowego „Jeśli p to q”:
Jeśli zajdzie p to zajdzie q
Gdzie:
p - poprzednik (fragment zdania po „Jeśli ..”)
q - następnik (fragment zdania po „to ..”)

Zobaczmy jak to jest u „normalnych” czyli u Idioty.

Mamy Idioto trzy zdania:
A.
Istnieje liczba podzielna przez 8 i podzielna przez 3
Zdanie w AK i logice Idioty prawdziwe (=1) bo 24
B.
Istnieje liczba podzielna przez 8 i niepodzielna przez 2
Zdanie w AK i logice Idioty fałszywe (=0) bo rzeczywiści taka liczba nie istnieje
C.
Istnieje człowiek który jest kobietą
Zdanie w AK i logice Idioty prawdziwe (=1)

… ale niżej zaczyna się jazda bez trzymanki prosto w gówno zwane KRZ.
Czy myślisz Idioto że istnieje człowiek normalny który wspólnie z tobą będzie zachwycał się twoim potwornie śmierdzącym gównem zwanym KRZ?

Prawdziwość przykładowych zdań warunkowych „Jeśli p to q” w gówno logice Idioty zwanej KRZ wygląda tak:
1.
A=>B =0
Jeśli istnieje liczba podzielna przez 8 i podzielna przez 3 to istnieje liczba podzielna przez 8 i niepodzielna przez 2
1=>0 =0 - zdanie fałszywe w KRZ (fałszywe w AK bo p i q są rozłączne)
2.
B=>C =1
Jeśli istnieje liczba podzielna przez 8 i niepodzielna przez 2 to istnieje człowiek który jest kobietą
0=>1 =1 - zdanie prawdziwe w KRZ (fałszywe w AK bo p i q są rozłączne)
3.
C=>A =1
Jeśli istnieje człowiek który jest kobietą to istnieje liczba podzielna przez 8 i podzielna przez 3
1=>1 =1 - zdanie prawdziwe w KRZ (fałszywe w AK bo p i q są rozłączne)

Powiedz mi Idioto jakich idiotów ty chcesz uczyć logiki Idioty?


Ostatnio zmieniony przez rafal3006 dnia Czw 0:44, 27 Cze 2019, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Śro 18:10, 26 Cze 2019    Temat postu:

Nie wiem.
Ale co to wszystko coś tu wypisał ma z czymkolwiek wspólnego???
Po co tyleś nabębnił w klawisze?
To opowiadanie jakię, czy co?
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: 22160
Przeczytał: 42 tematy

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

PostWysłany: Śro 18:17, 26 Cze 2019    Temat postu:

idiota napisał:

Nie wiem.
Ale co to wszystko coś tu wypisał ma z czymkolwiek wspólnego???
Po co tyleś nabębnił w klawisze?
To opowiadanie jakię, czy co?

Określ prawdziwość zdania niżej w KRZ:
1.
Jeśli istnieje liczba podzielna przez 8 i niepodzielna przez 2 to istnieje liczba podzielna przez 3 i podzielna przez 8

Zdania składowe masz tu takie:
p - istnieje liczba podzielna przez 8 i niepodzielna przez 2
To zdanie jest fałszywe w AK i KRZ

q - istnieje liczba podzielna przez 8 i podzielna przez 3
To zdanie jest prawdziwe w AK i KRZ

O czym my rozmawiamy idioto?
Jak ty nie potrafisz określić prawdziwości zdań p i q w powyższym zdaniu "Jeśli p to q"?

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-logika-naszego-wszechswiata-w-definicjach,13067-250.html#458977
idiota napisał:

A żeś za głupi by to zrozumieć, to mnie nie dziwi wcale.

Zgoda Idioto.
Za głupi jesteś by udowodnić prawdziwość zdania 1 w twoim własnym gównie zwanym KRZ.

P.S.
Aby zmniejszyć rozmiary twojej głupoty odsyłam do podręcznika matematyki z I klasy LO.
[link widoczny dla zalogowanych]
Matematyka dla LO napisał:

Jeśli pies ma osiem łap, to Księżyc krąży wokół Ziemi

Czy tu też będziesz rżnął głupa udając że nie wiesz na jakiej podstawie matematycznej (powtórzę: matematycznej) autor podręcznika przypisał temu zdaniu prawdę (=1).


Ostatnio zmieniony przez rafal3006 dnia Śro 18:31, 26 Cze 2019, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 11 Lut 2006
Posty: 3315
Przeczytał: 10 tematów

Skąd: stolnica

PostWysłany: Śro 22:18, 26 Cze 2019    Temat postu:

"Zgoda Idioto.
Za głupi jesteś by udowodnić prawdziwość zdania 1 w twoim własnym gównie zwanym KRZ."

Tego się w KRZ nie robi, ale ty nawet nie wiesz co to znaczy udowodnić.
I nadal nie potrafisz pojąć że z tego, że jakaś implikacja jest prawdziwa nie wynika, że jej następnik jest prawdą.


Ostatnio zmieniony przez idiota dnia Śro 22:18, 26 Cze 2019, 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 -> Metodologia / Forum Kubusia Wszystkie czasy w strefie EET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 10, 11, 12, 13  Następny
Strona 11 z 13

 
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