 |
Ś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.
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
 Wysłany: Wto 0:38, 13 Lut 2018 Temat postu: |
|
|
|
Zauważ teraz, że tu rozmawiamy właśnie o "p i q", a nie o "jeśli p to może q". Przypuszczam, że dla ciebie to to samo. Ale to nie miejsce na dyskusję o tym.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
| Wysłany: Wto 11:39, 13 Lut 2018 Temat postu: |
|
|
Napisałeś, że skasujesz AK pod pewnym warunkiem.
Ten warunek został spełniony.
Kiedy dotrzymasz słowa?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
| Wysłany: Wto 13:53, 13 Lut 2018 Temat postu: |
|
|
|
To nie ten warunek.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 15:06, 13 Lut 2018 Temat postu: |
|
|
| Irbisol napisał: | | To nie ten warunek. |
To pokaz palcem który?
Natychmiast go obalę - masz wątpliwości?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 15:44, 13 Lut 2018 Temat postu: |
|
|
| Irbisol napisał: | http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-225.html#362591
Dobrze doczytaj, o jaki dowód chodzi. Wtedy też pisałeś o czym innym. |
Irbisolu, ten problem już nie istnieje.
Rozwiązałem go w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-300.html#363319
dzisiaj o godz. 1:18 poprzez przyzanie ci racji.
Strach przed nowym jest wśród ziemskich matematyków potworny.
Dowodem tego sa bany które spotkały Rafała3006 na wszystkich forach świata z wyjatkiem śfinii.
Wyłacznie tu, na sfinii nie grozi ban za cokolwiek co się tu napisze - przykładem chocby nasza Krowa czy Pan Barcki, którzy podzielili los Rafała 3006 na wszelkich innych forach.
Od zawsze spotykam się z tym samym argumentem:
Albo sięgniesz po ziemskie gówno, znaczy ziemskie podręczniki logiki matematycznej i będziesz bredził jak my wszyscy bredzimy .. albo cię zbanujemy.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Wto 16:13, 13 Lut 2018 Temat postu: |
|
|
| rafal3006 napisał: | Strach przed nowym jest wśród ziemskich matematyków potworny.
Dowodem tego sa bany które spotkały Rafała3006 na wszystkich forach świata z wyjatkiem śfinii. |
Mechanizmy obronne ludzkiego mózgu są fascynujące.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 17:55, 13 Lut 2018 Temat postu: |
|
|
| Taz napisał: | | rafal3006 napisał: | Strach przed nowym jest wśród ziemskich matematyków potworny.
Dowodem tego sa bany które spotkały Rafała3006 na wszystkich forach świata z wyjatkiem śfinii. |
Mechanizmy obronne ludzkiego mózgu są fascynujące. |
Zgadza się,
Od 12 lat próbuję wytłumaczyć matematykom o co chodzi w logice matematycznej 5-cio latków, póki co z zerowym skutkiem ... ale to się zmieni, to już przesądzone!
To tylko kwestia czasu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa
Płeć: Mężczyzna
|
| Wysłany: Wto 17:57, 13 Lut 2018 Temat postu: |
|
|
|
[link widoczny dla zalogowanych]
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
| Wysłany: Wto 19:22, 13 Lut 2018 Temat postu: |
|
|
Problem nadal istnieje - tylko nie ten, o którym myślisz.
Otóż chciałeś, bym wskazał, gdzie coś napisałeś - wtedy miałeś wykasować AK.
Wskazałem to.
Nie ma tu znaczenia, kto miał rację.
Znaczenie ma to, że wskazałem to, o co pytałeś.
BTW.
Rozumiesz chociaż, gdzie popełniłeś błąd w udowadnianiu ZDAŃ p*q?
I który to już raz walczysz tygodniami i w końcu cię olśniewa, że nie masz racji ...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 20:00, 13 Lut 2018 Temat postu: |
|
|
| Irbisol napisał: |
Problem nadal istnieje - tylko nie ten, o którym myślisz.
Otóż chciałeś, bym wskazał, gdzie coś napisałeś - wtedy miałeś wykasować AK.
Wskazałem to.
Nie ma tu znaczenia, kto miał rację.
Znaczenie ma to, że wskazałem to, o co pytałeś.
BTW.
Rozumiesz chociaż, gdzie popełniłeś błąd w udowadnianiu ZDAŃ p*q?
I który to już raz walczysz tygodniami i w końcu cię olśniewa, że nie masz racji ... |
Oj,
Biedny ty jesteś Irbisolu, jakikolwiek temat zacznie to kończy się obaleniem LZ.
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-300.html#363319
| rafal3006 napisał: | Obalenie logiki matematyczne ziemian!
Niespodzianka dla Idioty:
Weźmy zdanie:
Jeśli Mickiewicz był Polakiem to pies ma cztery łapy
MP=>P4L =?
Jedziemy jak wyżej przez wszystkie możliwe przeczenia p i q
| Kod: |
Tabela 1
A: MP* P4L = 1*1 =1
B: MP*~P4L = 1*0 =0
C:~MP* P4L = 0*1 =0
D:~MP*~P4L = 0*0 =0
|
Uzyskana tabela zero-jedynkowa niema nic wspólnego z definicją twojej implikacji, zatem:
Jeśli Mickiewicz był Polakiem to pies ma cztery łapy
MP=>P4L =0
FAŁSZ
Jak ci się podoba twoja implikacja Idioto?
Coś leży i kwiczy, zgadza się? |
Kiedy kasujesz swoją gówno-logikę
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
| Wysłany: Wto 20:10, 13 Lut 2018 Temat postu: |
|
|
|
Brawo. Kolejny raz udało ci się obalić swoją wizję " logiki matematyczne ziemian!"
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 22:56, 13 Lut 2018 Temat postu: |
|
|
| fiklit napisał: | | Brawo. Kolejny raz udało ci się obalić swoją wizję " logiki matematyczne ziemian!" |
Fiklicie, jest mało ważne jaką logikę obalam, ziemską czy nie ziemską.
Dowolna logika która na podstawie badania jednej linii rozstrzyga czy coś jest operatorem logicznym jest bez sensu i nie interesuje mnie czy to jest LZ czy logika jakiegoś kosmity.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fiklit
Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów
Płeć: Mężczyzna
|
| Wysłany: Śro 7:21, 14 Lut 2018 Temat postu: |
|
|
| Cytat: | | Obalenie logiki matematyczne ziemian! |
| Cytat: | | Fiklicie, jest mało ważne jaką logikę obalam, ziemską czy nie ziemską. |
Wiem wiem, precyzja wyrażania nie jest twoją mocna stroną.
| Cytat: | Dowolna logika która na podstawie badania jednej linii rozstrzyga czy coś jest operatorem logicznym jest bez sensu i nie interesuje mnie czy to jest LZ czy logika jakiegoś kosmity.
|
Matematyka jest niejako zbudowana z definicji. Dlatego ja oczekuję, że mówiąc o "matematyce ziemian" będziesz stosował "ziemskie nazwy". Wobec tego chciałem tylko zauważyć, że "na podstawie badania jednej linii rozstrzyga czy coś jest operatorem logicznym" nie odnosi się do LZ.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
| Wysłany: Śro 15:11, 14 Lut 2018 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | Problem nadal istnieje - tylko nie ten, o którym myślisz.
Otóż chciałeś, bym wskazał, gdzie coś napisałeś - wtedy miałeś wykasować AK.
Wskazałem to.
Nie ma tu znaczenia, kto miał rację.
Znaczenie ma to, że wskazałem to, o co pytałeś.
BTW.
Rozumiesz chociaż, gdzie popełniłeś błąd w udowadnianiu ZDAŃ p*q?
I który to już raz walczysz tygodniami i w końcu cię olśniewa, że nie masz racji ... |
Oj,
Biedny ty jesteś Irbisolu, jakikolwiek temat zacznie to kończy się obaleniem LZ. |
Czego przykładem jest twoje co i rusz przyznawanie się do popełnienia błędu.
Skup się na sednie - obiecałeś, że wykasujesz AK, gdy wskażę, że coś napisałeś.
Wskazałem to.
Dlaczego nie kasujesz AK?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Sob 7:14, 03 Mar 2018 Temat postu: |
|
|
| Irbisol napisał: | | rafal3006 napisał: | | Irbisol napisał: | Problem nadal istnieje - tylko nie ten, o którym myślisz.
Otóż chciałeś, bym wskazał, gdzie coś napisałeś - wtedy miałeś wykasować AK.
Wskazałem to.
Nie ma tu znaczenia, kto miał rację.
Znaczenie ma to, że wskazałem to, o co pytałeś.
BTW.
Rozumiesz chociaż, gdzie popełniłeś błąd w udowadnianiu ZDAŃ p*q?
I który to już raz walczysz tygodniami i w końcu cię olśniewa, że nie masz racji ... |
Oj,
Biedny ty jesteś Irbisolu, jakikolwiek temat zacznie to kończy się obaleniem LZ. |
Czego przykładem jest twoje co i rusz przyznawanie się do popełnienia błędu.
Skup się na sednie - obiecałeś, że wykasujesz AK, gdy wskażę, że coś napisałeś.
Wskazałem to.
Dlaczego nie kasujesz AK? |
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#366445
| rafal3006 napisał: | Dopieszczanie algebry Kubusia!
Z dedykacją dla Fizyka i Idioty.
1.
Twierdzenie proste:
B.
Jeśli prawdą jest, że wylosowałem trójkąt prostokątny (TP=1)=(~TP=0) to fałszem jest, że może ~~> to być trójkąt nieprostokątny (~TP=1)=(TP=0)
TP~~>~TP=TP*~TP = [] =0 - bo zbiory TP i ~TP są rozłączne
co matematycznie oznacza:
(TP=1)~~>(~TP=1) = (TP=1)*(~TP=1) = TP*~TP =[] =0
Pozornie błędny matematycznie zapis to ten, który do tej pory robiłem
(TP=1)~~>(~TP=1) = (TP=1)*(~TP=1) =1*1 =0
Ale!
Gdybyśmy bez żadnego kontekstu napisali tak:
1*1 =0
To jest to oczywisty błąd czysto matematyczny.
W AK dopuszczalny jest zapis kontekstowy:
TP*~TP = 1*1 =0
Te jedynki znaczą tu tylko tyle że:
TP=1 - istnieje (=1) zbiór TP
~TP=1 - istnieje (=1) zbiór ~TP
TP*~TP = (TP=1)(~TP=1) = 1*1 =0 - iloczyn logiczny zbiorów TP i ~TP jest zbiorem pustym |
Ostatnio zmieniony przez rafal3006 dnia Sob 8:09, 03 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
| Wysłany: Pon 13:15, 12 Mar 2018 Temat postu: |
|
|
I co z tego?
Obiecaleś, że wykasujesz AK, gdy wskażę że coś napisałeś.
Wskazałem to. Twoje dalsze tłumaczenia nie mają wpływu na fakt, że nie dotrzymałeś obietnicy.
Poza tym nadal nie odróżniasz wartości zdania "istnieje zbiór" od zawartości samego zbioru.
Ostatnio zmieniony przez Irbisol dnia Pon 13:17, 12 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pon 22:28, 12 Mar 2018 Temat postu: |
|
|
| Irbisol napisał: | I co z tego?
Obiecaleś, że wykasujesz AK, gdy wskażę że coś napisałeś.
Wskazałem to. Twoje dalsze tłumaczenia nie mają wpływu na fakt, że nie dotrzymałeś obietnicy.
Poza tym nadal nie odróżniasz wartości zdania "istnieje zbiór" od zawartości samego zbioru. |
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3150.html#366445
| rafal3006 napisał: | Dopieszczanie algebry Kubusia!
Z dedykacją dla Fizyka i Idioty.
1.
Twierdzenie proste:
B.
Jeśli prawdą jest, że wylosowałem trójkąt prostokątny (TP=1)=(~TP=0) to fałszem jest, że może ~~> to być trójkąt nieprostokątny (~TP=1)=(TP=0)
TP~~>~TP=TP*~TP = [] =0 - bo zbiory TP i ~TP są rozłączne
co matematycznie oznacza:
(TP=1)~~>(~TP=1) = (TP=1)*(~TP=1) = TP*~TP =[] =0
Pozornie błędny matematycznie zapis to ten, który do tej pory robiłem
(TP=1)~~>(~TP=1) = (TP=1)*(~TP=1) =1*1 =0
Ale!
Gdybyśmy bez żadnego kontekstu napisali tak:
1*1 =0
To jest to oczywisty błąd czysto matematyczny.
W AK dopuszczalny jest zapis kontekstowy:
TP*~TP = 1*1 =0
Te jedynki znaczą tu tylko tyle że:
TP=1 - istnieje (=1) zbiór TP
~TP=1 - istnieje (=1) zbiór ~TP
TP*~TP = (TP=1)(~TP=1) = 1*1 =0 - iloczyn logiczny zbiorów TP i ~TP jest zbiorem pustym |
Czy możesz wypunktować czego z powyższego cytatu nie rozumiesz?
Udowodnij Irbisolu iż w ciągu ostatnich lat kiedykolwiek napisałem bez żadnego kontekstu:
1*1=0
Jak to udowodnisz to kasuję AK.
Jaki widzisz problem w ostatnim zdaniu zaznaczonym na niebiesko?
Tłumacz się proszę.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
| Wysłany: Pon 23:25, 12 Mar 2018 Temat postu: |
|
|
Ja jednego nie rozumiem.
Co wytłuszczone, wysruszczone czy jakiekolwiek inne ma wspólnego z tym o czym pisze Irbisol.
Jesteś chyba za głupi, żeby zrozumieć o czym on pisze...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 7:21, 13 Mar 2018 Temat postu: |
|
|
Wprowadzenie, część teoretyczna:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-3200.html#367525
| rafal3006 napisał: | Matematyczna tabela zero-jedynkowa!
Uwaga:
Niniejszy post kandyduje do zamieszczenia w każdym podręczniku matematyki do I klasy LO.
Post wyżej nasunął mi definicję pojęcia „Matematyczna tabela zero-jedynkowa”
Rozważmy następującą funkcję logiczną w logice dodatniej (bo Y):
| Kod: |
T1
Definicja spójnika „lub”(+) z naturalnej logiki matematycznej człowieka
p q Y=p+q
A: 1 1 =1
B: 1 0 =1
C: 0 1 =1
D: 0 0 =0
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
Zajdzie dowolne ze zdarzeń p=1 lub q=1 i już ustawi Y=1
Inaczej:
Y=0
Doskonale to widać w powyższej tabeli zero-jedynkowej
Właściwa definicja spójnika „lub”(+) to obszar ABC123
|
Zauważmy, że definiując zero-jedynkowo sygnał cyfrowy p, automatycznie definiujemy sygnał ~p, bowiem niemożliwe jest abyśmy znając kolumnę opisującą sygnał p nie znali kolumny opisującej sygnał ~p (i odwrotnie)
| Kod: |
~p
A: 0
B: 0
C: 1
D: 1
|
To samo dla pojęcia q.
To samo również dla funkcji logicznej Y!
Definiując funkcję logiczną Y jak wyżej, automatycznie definiujemy funkcję logiczną ~Y (i odwrotnie)!
| Kod: |
~Y=~(p+q)
A: 0
B: 0
C: 0
D: 1
|
Oczywistym jest, że nie wolno tej prawdy absolutnej ukrywać przed światem.
Stąd mamy wyprowadzoną definicję matematycznej tabeli zero-jedynkowej.
Matematyczna tabela zero-jedynkowa
Matematyczna tabela zero-jedynkowa to tabela zawierająca wszelkie sygnały w postaci niezanegowanej (p) i zanegowanej (~p).
Matematyczna tabela zero-jedynkowa dla definicji spójnika „lub”(+) jest zatem następująca.
| Kod: |
Matematyczna tabela zero-jedynkowa dla funkcji logicznej Y=p+q
p q ~p ~q Y=p+q ~Y=~(p+q)
A: 1 1 0 0 =1 =0
B: 1 0 0 1 =1 =0
C: 0 1 1 0 =1 =0
D: 0 0 1 1 =0 =1
|
Z matematycznej tabeli zero-jedynkowej widać jak na dłoni dosłownie wszystko.
Przede wszystkim widać, że funkcja logiczna w logice ujemnej (bo ~Y) jest uzupełnieniem do dziedziny dla funkcji logicznej w logice dodatniej (bo Y).
Dowód:
Y+~Y = (p+q)*~(p+q) = D =1
Y*~Y = (p+q)*~(p+q) = [] =0
Powyższa prawda absolutna dotyczy dowolnych funkcji logicznych f(x)
Funkcja logiczna ~Y=~f(x) jest uzupełnieniem do dziedziny dla funkcji logicznej Y=f(x) i odwrotnie.
Prawdą absolutną są też matematyczne związki między tymi funkcjami:
Y = ~(~Y) - funkcja Y to zanegowana funkcja ~Y
~Y=~(Y) - funkcja ~Y to zanegowana funkcja Y
Zauważmy, że wyłącznie w matematycznej definicji dowolnej tabeli zero-jedynkowej wszelkie prawa logiki matematycznej są doskonale widoczne.
Zdefiniujmy spójnik logiczny „i”(*):
| Kod: |
T2
Definicja spójnika „i”(*) z naturalnej logiki matematycznej człowieka
p q Y=p*q
A: 1 1 =1
B: 1 0 =0
C: 0 1 =0
D: 0 0 =0
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Dla ustawienia Y=1 muszą zajść oba zdarzenia p=1 i q=1
Inaczej:
Y=0
Doskonale to widać w powyższej tabeli zero-jedynkowej
Właściwa definicja spójnika „i”(*) to wyłącznie linia A123
|
Mając definicję znaczków „lub”(+) i „i”(*) oraz definicję matematycznej tabeli zero-jedynkowej z dziecinną łatwością wyznaczamy wszelkie możliwe zależności matematyczne między tymi spójnikami.
| Kod: |
Matematyczna tabela zero-jedynkowa dla funkcji logicznej Y=p+q
Y=~(~Y) ~Y=~(Y)
p q ~p ~q Y=p+q ~Y=~(p+q) ~Y=~p*~q Y=p+q=~(~p*~q) ~Y=~p*~q=~(p+q)
A: 1 1 0 0 =1 =0 =0 =1 =0
B: 1 0 0 1 =1 =0 =0 =1 =0
C: 0 1 1 0 =1 =0 =0 =1 =0
D: 0 0 1 1 =0 =1 =1 =0 =1
|
Równania logiczne w poprawnie matematycznie opisanej tabeli zero-jedynkowej z uwzględnieniem logiki dodatniej (bo Y) i ujemnej (bo ~Y) mówią absolutnie wszystko.
Tabela wyżej jest potrzebna tylko po to, by wyprowadzić obowiązujące tu prawa logiczne w zapisach ogólnych.
Te prawa:
1.
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1
.. a kiedy zajdzie ~Y?
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników
2.
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1
Związki logiki dodatniej (bo Y) z logika ujemną (bo ~Y:
Y = p+q = ~(~p*~q) - prawo De Morgana w logice dodatniej (bo Y)
~Y=~p*~q = ~(p+q) - prawo De Morgana w logice ujemnej (bo ~Y)
Wyprowadzone wyżej prawa De Morgana to pikuś, znany każdemu matematykowi, jednak o poprawnym matematycznie opisie wszelkich tabel zero-jedynkowych w spójnikach „i”(*) i „lub”(+) z użyciem funkcji logicznych Y i ~Y ziemscy matematycy nie mają bladego pojęcia.
Rozważmy naszą matematyczną tabelę zero-jedynkową w mintermach - znanych ziemskim matematykom!
Prawo Kłapouchego:
Kompletną tabelę zero-jedynkową opisuje układ równań logicznych Y i ~Y
Dowód:
| Kod: |
T4
W metodzie mintermów opisujemy wyłącznie jedynki w tabeli zero-jedynkowej
stosując w wierszach spójnik „i”(*), zaś w pionach spójnik „lub”(+)
|Co w mintermach |Funkcje cząstkowe
|oznacza |w mitermach
p q ~p ~q Y=p+q ~Y=~p*~q | |
A: 1 1 0 0 =1 =0 | Ya=1<=> p=1 i q=1 | Ya= p* q
B: 1 0 0 1 =1 =0 | Yb=1<=> p=1 i ~q=1 | Yb= p*~q
C: 0 1 1 0 =1 =0 | Yb=1<=>~p=1 i q=1 | Yc=~p* q
D: 0 0 1 1 =0 =1 |~Yb=1<=>~p=1 i ~q=1 |~Yd=~p*~q
1 2 3 4 5 6 a b c d e f
|
Zauważmy, że w matematycznej tabeli zero-jedynkowej po stronie wyjścia mamy jedynki od góry do dołu, jak nie w funkcji Y to w funkcji ~Y.
Możemy zatem bez problemu opisać wszystkie linie tej tabeli w mintermach.
Możemy też dokonać zapisu w makstermach bo po stronie wyjścia mamy również zera od góry do dołu, jak nie w funkcji Y to w funkcji ~Y.
Zauważmy, że wyłącznie w matematycznej tabeli zero-jedynkowej uwzględniającej wszelkie sygnały zanegowanie i niezanegowane fenomenalnie widać znacznie tabeli ABCDabc, zatem od strony dydaktycznej definicja matematycznej tabeli zero-jedynkowej jest jak najbardziej uzasadniona!
Z tabeli w mintermach ABCDdef odczytujemy:
Y=Ya+Yb+Yc
Po rozwinięciu mamy:
Y = p*q + p*~q + ~p*q
Co matematycznie w mintermach (na mocy ABCabc) oznacza:
Y=1 <=> p=1 i q=1 lub p=1 i ~q=1 lub ~q=1 i p=1
… a kiedy zajdzie ~Y?
Odczytujemy to z tabeli w mintermach:
~Y=~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1
|
Odpowiedź dla Idioty i Irbisola!
| idiota napisał: | Ja jednego nie rozumiem.
Co wytłuszczone, wysruszczone czy jakiekolwiek inne ma wspólnego z tym o czym pisze Irbisol.
Jesteś chyba za głupi, żeby zrozumieć o czym on pisze... |
Teoria ogólna Idioto jest tu taka (na przykładzie):
Zajdzie p wtedy i tylko wtedy gdy zajdzie q
Y = (p<=>q) = p*q+~p*~q
Tabela prawdy dla tej funkcji logicznej:
| Kod: |
T4
W metodzie mintermów opisujemy wyłącznie jedynki w tabeli zero-jedynkowej
stosując w wierszach spójnik „i”(*), zaś w pionach spójnik „lub”(+)
|Co w mintermach |Funkcje cząstkowe
|oznacza |w mitermach
Y=(p<=>q= ~Y=~(p<=>q)| |
p q ~p ~q p*q+~p*~q p*~q+~p*q | |
A: 1 1 0 0 =1 =0 | Ya=1<=> p=1 i q=1 | Ya= p* q
B: 1 0 0 1 =0 =1 |~Yb=1<=> p=1 i ~q=1 |~Yb= p*~q
C: 0 1 1 0 =0 =1 |~Yc=1<=>~p=1 i q=1 |~Yc=~p* q
D: 0 0 1 1 =1 =0 | Yd=1<=>~p=1 i ~q=1 | Yd=~p*~q
1 2 3 4 5 6 a b c d e f
|
Z tabeli w mintermach, znanej ziemianom,
[link widoczny dla zalogowanych]
odczytujemy:
1.
Y=(p<=>q)=Ya+Yd
Po rozwinięciu mamy:
Y=(p<=>q)=p*q+~p*~q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1 lub ~p=1 i ~q=1
Zapis tożsamy:
Y=1 <=> (p*q)=1 lub (~p*~q)=1
2.
~Y=~(p<=>q) = ~Yb+~Yc
po rozwinięciu mamy:
~Y = ~(p<=>q) = p*~q + ~p*q
co matematycznie oznacza:
~Y=1<=> p=1 i ~q=1 lub ~p=1 i q=1
Zapis tożsamy:
~Y=1 <=> (p*~q)=1 lub (~p*q)=1
Pytanie do Idioty, i Irbisola.
Czy akceptujecie teorię ogólną równoważności p<=>q wyrażoną spójnikami „i’(*) i „lub”(+) tu przedstawioną?
Jeśli chcecie dyskutować na serio to proszę o odpowiedź na powyższe pytanie.
Odpowiedź twierdząca na powyższe pytanie jest konieczna, abyście zrozumieli dalszą część mojego wywodu .. za chwilę.
Ostatnio zmieniony przez rafal3006 dnia Wto 9:55, 13 Mar 2018, w całości zmieniany 2 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15369
Przeczytał: 27 tematów
|
| Wysłany: Wto 14:27, 13 Mar 2018 Temat postu: |
|
|
| rafal3006 napisał: | | Irbisol napisał: | I co z tego?
Obiecaleś, że wykasujesz AK, gdy wskażę że coś napisałeś.
Wskazałem to. Twoje dalsze tłumaczenia nie mają wpływu na fakt, że nie dotrzymałeś obietnicy.
Poza tym nadal nie odróżniasz wartości zdania "istnieje zbiór" od zawartości samego zbioru. |
TP*~TP = 1*1 =0
Te jedynki znaczą tu tylko tyle że:
TP=1 - istnieje (=1) zbiór TP
~TP=1 - istnieje (=1) zbiór ~TP
TP*~TP = (TP=1)(~TP=1) = 1*1 =0 - iloczyn logiczny zbiorów TP i ~TP jest zbiorem pustym
Czy możesz wypunktować czego z powyższego cytatu nie rozumiesz? |
Nie rozumiem, po co o tym piszesz, skoro nie ma to żadnego związku z tym, że nie dotrzymałeś obietnicy.
| Cytat: | Udowodnij Irbisolu iż w ciągu ostatnich lat kiedykolwiek napisałem bez żadnego kontekstu:
1*1=0
Jak to udowodnisz to kasuję AK. |
Coś innego miałem udowodnić i też miałeś skasować AK. Więc przestań pierdolić i najpierw dotrzymaj wcześniej danego słowa.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
| Wysłany: Wto 14:59, 13 Mar 2018 Temat postu: |
|
|
rafał chyba nie bardzo rozumie, że stwierdzenie "Zrób tak a tak, a skasuję AK" nie jest stwierdzeniem, że kiedy ktoś zrobi tak a tak, to będzie to powód do zmodyfikowania AK...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
| Wysłany: Wto 15:01, 13 Mar 2018 Temat postu: |
|
|
rafał, żeby móc bełkotać te swoje logolalia musiał w sobie upośledzić zdolności do używania pewnych struktur w mózgu.
Naprawdę czytanie tego co pisze daje wgląd w degradacje osobowości, jakby zachorował na powoli rozwijającego się raka mózgu.
A to wszystko endogenne...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35331
Przeczytał: 23 tematy
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Wto 19:32, 13 Mar 2018 Temat postu: |
|
|
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575-325.html#367911
| Irbisol napisał: | | Cytat: | Udowodnij Irbisolu iż w ciągu ostatnich lat kiedykolwiek napisałem bez żadnego kontekstu:
1*1=0
Jak to udowodnisz to kasuję AK. |
Coś innego miałem udowodnić i też miałeś skasować AK. Więc przestań pierdolić i najpierw dotrzymaj wcześniej danego słowa. |
Krótką masz pamięć dokładnie tego zapisu się czepiłeś.
Rozważmy zdanie:
Każdy człowiek jest mężczyzną albo kobietą
Y = (M$K) = M*~K + ~M*K
$ - spójnik „albo”($)
Dziedzina:
C - zbiór wszystkich ludzi (człowiek)
C=M+K
~M = [C-M] = [M+K-M] = K (nie mężczyzna jest kobietą)
~K = [C-K] = [M+K-K]=M (nie kobieta jest mężczyzną)
Zdanie matematycznie tożsame:
1.
Człowiek jest mężczyzną wtedy i tylko wtedy gdy nie jest kobietą
Y = (M<=>~K) = M*~K + ~M*K =1
co matematycznie oznacza:
Y=1 <=> M=1 i ~K=1 lub ~M=1 i K=1
Zapis tożsamy:
Y=1 <=> (M*~K)=1 lub (~M*K)=1
Czytamy:
Może się zdarzyć (Y=1) że człowiek jest mężczyzną (M=1) i nie jest kobietą (~K=1)
lub
Może się zdarzyć (Y=1) że człowiek nie jest mężczyzną (~M=1) i jest kobietą (K=1)
… a czy może się zdarzyć, że człowiek jest mężczyzną i kobietą lub nie jest mężczyzną i nie jest kobietą?
Przechodzimy z równaniem 1 do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników.
Mamy 1:
Y = (p<=>~q) = (p*~q) + (~p*q)
Przejście do logiki ujemnej (bo ~Y):
~Y = ~(p<=>~q) = (~p+q)*(p+~q)
Wymnażamy wielomian by przejść do jedynie zrozumiałej dla człowieka postaci altrnatywno-koniunkcyjnej:
~Y = ~p*p + ~p*~q + q*p + q*~q
~Y = p*q + ~p*~q
co matematycznie oznacza:
~Y=1 <=> p=1 i q=1 lub ~p=1 i ~q=1
zapis tożsamy:
~Y=1 <=> (p*q)=1 lub (~p*~q)=1
Podstawiamy parametry aktualne z wypowiedzianego zdania:
~Y=1 <=> (K*M)=1 lub (~K*~M)=1
To co wyżej wynika z matematyki w czystej postaci.
Zauważmy jednak że w świecie rzeczywistym nie istnieje (=0) mężczyzno-kobieta:
M*K =0
Nie istnieje (=0) także stwór nie mężczyzno-nie kobieta:
~M*~K=0
dowód:
~M=K
~K=M
stąd:
K*M =0
cnd
Stąd w świecie rzeczywistym powyższe równanie matematyczne przyjmuje postać:
~Y=1<=> (M*K)=0 lub (~M*K)=0
Czyżbyśmy zatem doszli do sprzeczności czysto matematycznej?
Absolutnie NIE, bo prawo Prosiaczka:
(~Y=1) = (Y=0)
Stąd równanie końcowe w świecie rzeczywistym przybiera postać:
~Y=0 <=> (M*K)=0 lub (~M*K)=0
Czytamy prawą stronę:
A.
Fałszem jest (=0) że istnieje człowiek będący jednocześnie mężczyzną (M=1) i kobietą (K=1)
M*K = (M=1)*(K=1) = 1*1 =0
lub
B.
Fałszem jest (=0) że istnieje człowiek będący jednocześnie nie mężczyzną (~M=1) i nie kobietą (~K=1)
~M*~K = (~M=1)*(~K=1) = 1*1 =0
Zapis zdania A w parametrach formalnych p i q to:
p*q = (p=1)*(q=1) =1*1 =0
… a tytuł tematu Irbisola brzmi:
http://www.sfinia.fora.pl/forum-kubusia,12/p-1-i-q-1-ale-p-q-0,10575.html#360853
| Irbisol napisał: | Wydzielam wątek, bo w rzekomym "obaleniu logiki Ziemian" za dużo się tego przeplata.
Rafał nie potrafi od wielu dni odpowiedzieć na proste pytanie.
[i]I:
Podaj zatem przypadek, gdzie p=1 i q=1 oraz p*q=0 |
Masz ciut wyżej ten przypadek.
No i co Irbisorze?
Zatkało kakao?
Kiedy kasujesz swoją gówno-logikę?
| idiota napisał: | rafał, żeby móc bełkotać te swoje logolalia musiał w sobie upośledzić zdolności do używania pewnych struktur w mózgu.
Naprawdę czytanie tego co pisze daje wgląd w degradacje osobowości, jakby zachorował na powoli rozwijającego się raka mózgu.
A to wszystko endogenne... |
Idiota leci do ulubionych cytatów Rafała3006, co by przyszłe pokolenia mogły się śmiać z jego fanatyzmu i głupoty
Ostatnio zmieniony przez rafal3006 dnia Wto 19:40, 13 Mar 2018, w całości zmieniany 1 raz
|
|
| Powrót do góry |
|
|
|
|
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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
