Autor Wiadomość
rafal3006
PostWysłany: Nie 18:37, 30 Gru 2018    Temat postu:

Adriatyk napisał:
rafal3006 napisał:
Za cienkie nóżki mamy, prawda?

Ano niestety, Kubusiu, za cienkie. W żaden sposób nie potrafiłem zapobiec usuwaniu do więzienia przez ciebie z twojego forum Kubusia moich ściśle matematycznie naukowych komentarzy. A tak wielkie miałem pragnienie uczestniczenia z wybitnymi logikami w poważnej debacie naukowej, ale niestety, za wysokie progi na mój siermiężny umysł i wszystko com napisał, zacne kolegium naukowe eliminowało z szacownej biblioteki naukowej usuwając na śmietnik i tylko na śmietniku można znaleźć jakie resztki tych odpadów mojego upośledzenia umysłowego.
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10791.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10899.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10875.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10865.html#380389
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10835.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10831.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10813.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10827.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10789.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10785.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10767.html#375099
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10749.html
http://www.sfinia.fora.pl/wiezienie,20/adriatyk,10745.html#374219

Pitolisz Panie Barycki, bo teraz ja atakuję a Irbisol musi się bronić.
Oczywista szanse obrony jego gówno-logiki są równa ZERU absolutnemu.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-1300.html#425997
rafal3006 napisał:
Czy Irbisol obroni swoją gówno-logikę?
… oto jest pytanie.

Irbisol napisał:

rafal3006 napisał:
Irbisol napisał:
Czyli twoja algebra nie jest w stanie odpowiedzieć na pytanie, jaką WARTOŚĆ zwróci bramka AND po otrzymaniu na wejście dwóch twardych jedynek?

Irbisolu, operatora AND(|*) to ty kompletnie nie rozumiesz bowiem rzeczywista definicja tego operatora to układ równań logicznych:
Y=p*q
~Y=~p+~q
Twoją bramkę AND mają w głębokim poważaniu (czyli w dupie) rzeczywiści eksperci logiki matematycznej: 5-cio latki, panie przedszkolanki … że o gospodyniach domowych nie wspomnę.

To niech mają - gówno mnie to obchodzi.
Odpowiedz na pytanie.
I tautologia nazywana układem równań - to dopiero debilizm.

Przyjrzyjmy się temu co twierdzisz w tym wytłuszczonym …

Rafal3006 w poście wyżej napisał:

2.2 Matematyczne związki spójnika „i”(*) ze spójnikiem „lub”(+)

Kod:

T1
Matematyczne związki spójnika „i”(*) ze spójnikiem „lub”(+)
   p  q ~p ~q Y=p*q ~Y=~(p*q) ~Y=~p+~q Y=~(~Y)=~(~p+~q)
A: 1  1  0  0  1      0         0       1
B: 1  0  0  1  0      1         1       0
C: 0  1  1  0  0      1         1       0
D: 0  0  1  1  0      1         1       0
   1  2  3  4  5      6         7       8


Ziemskie tautologie odczytane z rachunku zero-jedynkowego wyżej to:
1.
5=8
Prawo De Morgana w logice dodatniej (bo Y):
Y = p*q = ~(~p+~q)
2.
6=7
Prawo De Morgana w logice ujemnej (bo ~Y):
~Y=~(p*q) = ~p+~q

Irbisolu, z historii naszej dyskusji ja doskonale wiem jak w twojej gówno-logice dowodzisz dowolną tautologię.
… ano tak!
Kod:

T1
Matematyczne związki spójnika „i”(*) ze spójnikiem „lub”(+)
                                      |Dowód ziemskiej tautologii
                                      |Y=(p*q)<=>Y=~(~p+~q)
                                      |wedle Irbisola
                             Y=~(~Y)= |
   p  q ~p ~q Y=p*q ~Y=~p+~q ~(~p+~q) |Y=(p*q)<=>Y=~(~p+~q)
A: 1  1  0  0  1      0       1       |        1
B: 1  0  0  1  0      1       0       |        1
C: 0  1  1  0  0      1       0       |        1
D: 0  0  1  1  0      1       0       |        1
   1  2  3  4  5      6       7                8

Wedle Irbisola same jedynki w kolumnie 8 są dowodem zachodzącej tu ziemskiej tautologii:
Y = p*q <=> Y= ~(~p+~q)

W kolumnie 8 mamy zdanie zawsze prawdziwe, bo mamy same jedynki w wyniku, co wedle Irbisola jest dowodem zachodzącej tu tautologii:
Y = p*q <=> Y= ~(~p+~q)

Uważaj teraz Irbisolu!
… bo niżej zmasakruję twój algorytm dowodzenia ziemskiej tautologii!
Irbisol napisał:

rafal3006 napisał:
Irbisol napisał:
Czyli twoja algebra nie jest w stanie odpowiedzieć na pytanie, jaką WARTOŚĆ zwróci bramka AND po otrzymaniu na wejście dwóch twardych jedynek?

Irbisolu, operatora AND(|*) to ty kompletnie nie rozumiesz bowiem rzeczywista definicja tego operatora to układ równań logicznych:
Y=p*q
~Y=~p+~q
Twoją bramkę AND mają w głębokim poważaniu (czyli w dupie) rzeczywiści eksperci logiki matematycznej: 5-cio latki, panie przedszkolanki … że o gospodyniach domowych nie wspomnę.

To niech mają - gówno mnie to obchodzi.
Odpowiedz na pytanie.
I tautologia nazywana układem równań - to dopiero debilizm.

Zastosujmy twój algorytm dowodzenia tautologii:
Y=p*q <=> ~Y=~p+~q
w TWOIM rachunku zero-jedynkowym.
Kod:

T1
Matematyczne związki spójnika „i”(*) ze spójnikiem „lub”(+)
                                      |Dowód ziemskiej tautologii
                                      |Y=p*q<=>~Y=~p+~q
                                      |wedle Irbisola
                             Y=~(~Y)= |
   p  q ~p ~q Y=p*q ~Y=~p+~q ~(~p+~q) |Y=(p*q)<=>~Y=~p+~q
A: 1  1  0  0  1      0       1       |        0
B: 1  0  0  1  0      1       0       |        0
C: 0  1  1  0  0      1       0       |        0
D: 0  0  1  1  0      1       0       |        0
   1  2  3  4  5      6       7                8

Wytłumacz teraz proszę sensownie fakt, iż same zera w kolumnie 8 są dowodem zachodzącej, ziemskiej tautologii.
Y=p*q <=>~Y=~p+~q

Zauważ, że w kolumnie 8 mamy tym razem zdanie zawsze fałszywe, same zera w wyniku, co wedle Irbisola jest dowodem zachodzącej tu ziemskiej tautologii?
Y=p*q <=>~Y=~p+~q
?!

Jeśli tak jest w istocie, to poproszę o znalezienie w dowolnym ziemskim podręczniku logiki matematycznej (może być w Wikipedii) potwierdzenia tego faktu, czyli znalezienie zdania stwierdzającego iż ziemską tautologią może być zdanie zawsze prawdziwe ALBO zdanie zawsze fałszywe!

Czas START!

Podpowiedź:
Tu masz dowód iż prawa De Morgana (tautologie) dowodzi się w twojej „logice matematycznej” tak jak to wyżej zrobiłem przy pomocy zero-jedynkowej definicji operatora równoważności p<=>q:
https://matfiz24.pl/logika/prawa-de-morgana-tautologia
Wikipedia napisał:

Prawa De Morgana są przykładem praw logicznych – zawsze prawdziwych zdań w logice.

Prawo logiczne inaczej tautologia nazywamy zdanie logiczne, które bez względu na wartości logiczne zdań, z których jest zbudowane zawsze jest prawdziwe. Takie zdanie jest tak „fajnie” zbudowane przy użyciu spójników logicznych, że zawsze będzie prawdziwe.

Jak już wspominałem w tym rozdziale tautologia to zdanie logiczne zawsze prawdziwe niezależnie od doboru wartości logicznych zdań budujących całą tautologię.

Tu masz to samo na fimiku, jeśli sprawia ci trudność zrozumienie co to jest tautologia w twojej gówno-logice:
https://www.youtube.com/watch?v=nuUFiRQK2nQ

Pozostaje ci zatem drobiazg Irbisolu:
Wzorując się na tym co pisze Wikipedia w cytacie wyżej (i na filmiku), udowodnij tę oto twoim zdaniem tautologię:
Y=p*q <=> ~Y=~p+~q

Czas START!

Podsumowanie:
Cały niniejszy post jest dowodem jest dowodem, iż ziemianie nic a nic nie kumają w temacie poprawnej logiki matematycznej.
Wszystkiemu oczywiście winne jest potwornie śmierdzące gówno zwane Klasycznym Rachunkiem Zdań:
Jeśli 2+2=5 to jestem papieżem
etc

Powered by phpBB © 2001, 2005 phpBB Group