|
Ś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ść |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 20:48, 26 Gru 2010 Temat postu: |
|
|
No i widzisz, znowu podwijasz ogonek i uciekasz.
Nawiasy w NTI sa wszędzie tam gdzie być powinny !
Zacytuj jeden przyklad że tak nie jest a kasuje calą NTI.
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Nie 20:52, 26 Gru 2010 Temat postu: |
|
|
żebys sie dobrze poczuł ,zrobie ci grzecznosc
prawo demorgana "p+q=~(~p*~q)" tak nie "brzmi,to jest nonsens
brzmi tak:p+q<=>~(~p*~q)
jesli zas piszesz=,to wartosciujesz i należy pisać:
w(p+q)=w(~(~p*~q)) niektórzy pisza V zamiast w, od value....
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 21:43, 26 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | żebys sie dobrze poczuł ,zrobie ci grzecznosc
prawo demorgana "p+q=~(~p*~q)" tak nie "brzmi,to jest nonsens
brzmi tak:p+q<=>~(~p*~q)
jesli zas piszesz=,to wartosciujesz i należy pisać:
w(p+q)=w(~(~p*~q)) niektórzy pisza V zamiast w, od value.... |
Większych bredni to nasz wszechśiat nie widział ...
Odpowiedź masz tu:
http://www.sfinia.fora.pl/forum-kubusia,12/funkcja-logiczna,5365.html#129139
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 21:44, 26 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | żebys sie dobrze poczuł ,zrobie ci grzecznosc
prawo demorgana "p+q=~(~p*~q)" tak nie "brzmi,to jest nonsens
brzmi tak:p+q<=>~(~p*~q)
jesli zas piszesz=,to wartosciujesz i należy pisać:
w(p+q)=w(~(~p*~q)) niektórzy pisza V zamiast w, od value.... |
Większych bredni to nasz wszechświat nie widział ...
Odpowiedź masz tu:
http://www.sfinia.fora.pl/forum-kubusia,12/funkcja-logiczna,5365.html#129139
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Nie 21:50, 26 Gru 2010 Temat postu: |
|
|
WSPÓŁCZUJE CI KUBUŚU I PODZIWIAM ,NIE WIEM CZY to żąrtwy czy prowokacje ,bąż łaskaw zaglądnąc do wpaniałej książki H> Rasiowej wstęp do matematyki wsółczesnej,znajdziesz tam wszystko co na poziomie I roku matematyki jest wymagane z KRZ i dużo więcej!
nie jestes ani logikiem ,ani matematykiem......
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 21:56, 26 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | WSPÓŁCZUJE CI KUBUŚU I PODZIWIAM ,NIE WIEM CZY to żąrtwy czy prowokacje ,bąż łaskaw zaglądnąc do wpaniałej książki H> Rasiowej wstęp do matematyki wsółczesnej,znajdziesz tam wszystko co na poziomie I roku matematyki jest wymagane z KRZ i dużo więcej!
nie jestes ani logikiem ,ani matematykiem...... |
Miller, NTI jest totalnie sprzeczna z KRZ z powodu totalnie roznych interpretacji tego samego kodu zero-jedynkowego implikacji.
Twierdzenie:
Miejsce wszystkiego co czlowiek zbudował na definicji impliakjci materialnej jest w koszu na smieci.
W podpisie maswz obalenie KRZ prawami samej KRZ, jak obalisz to kasuje NTI.
KRZ to jedna wielka głupota, nic wiecej - nie majaca nic wspólnego z genialna logiką człowieka, opisaną przez NTI
Ostatnio zmieniony przez rafal3006 dnia Nie 21:57, 26 Gru 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Nie 22:00, 26 Gru 2010 Temat postu: |
|
|
ale ty nie znasz nawet KRZ!
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 22:12, 26 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | ale ty nie znasz nawet KRZ! |
Mylisz się znam doskonale po rocznej dyskusji na ateiście.pl z najlepszymi logikami po drugiej stronie - KRZ to same głupoty nic wiecej, a powodem tego jest ta idiotka wszechczasów 'impliakcja matemarialna".
Teraz ja ci udowodnię że ty nie znasz matematyki na poziomie I klasy LO.
Poniższ definicje, wziete żywcem z podręcznika matematyki do I klasy LO to śmiertelny cios dla KRZ ... spróbuj je obalic !
Oczywiście nie masz szans, co oznacza że KRZ do kosza !
2.7 Nieznane definicje implikacji i równoważności, wynikające z NTI
Przy pomocy tych definicji można skutecznie i łatwo rozstrzygać czy zdanie jest implikacją prostą =>, implikacja odwrotną ~> czy też równoważnością. Definicje te wynikają bezpośrednio z tabel zero-jedynkowych odpowiednich operatorów logicznych w interpretacji NTI.
Definicja warunku koniecznego autorstwa wykładowcy logiki Volratha:
Jeśli p jest konieczne ~> dla q to zajście ~p wystarcza => dla zajścia ~q
p~>q = ~p=>~q – prawo Kubusia
Definicja warunku koniecznego ukierunkowana na zajście warunku ~p=>~q
Kod: |
Tabela 1
p~>q=1
1 1 =1
p~~>q=x
1 0 =x
… a jeśli nie zajdzie p ?
Prawo Kubusia:
p~>q = ~p=>~q
~p=>~q=1
0 0 =1
~p=>q=0
0 1 =0
|
W tej definicji kompletnie nas nie interesuje wartość logiczna linii drugiej:
x={0,1}
Tu może być cokolwiek:
0 – równoważność
1 – implikacja odwrotna
Interesują nas tu relacje między zbiorami po stronie p i q
Jeśli p to q
Warunek konieczny zachodzi gdy:
Jeśli zabierzemy zbiór p to musi => zniknąć zbiór q !
Przykłady:
1.
Jeśli liczba jest podzielna przez 2 to może być podzielna przez 8
P2~>P8=1 bo:
Zabieramy zbiór P2, oczywiście znika nam zbiór P8
Wniosek:
P2 jest konieczne dla P8
2.
Jeśli liczba jest podzielna przez 8 to może być podzielna przez 2
P8~>P2=0 bo:
zabieramy zbiór P8, oczywiście zbiór P2 nie znika, zostają liczby:
~P8~~>P2=1 bo 2,4,6…
Wniosek:
P8 nie jest konieczne dla P2
Zdanie 2 jest prawdziwe na mocy naturalnego może ~~>, wystarczy jedna prawda:
P8~~>P2=1 bo 8
ale to nie jest implikacja odwrotna.
3.
Jeśli liczba jest podzielna przez 3 to może być podzielna przez 8
P3~>P8=0 bo:
Zabieramy zbiór liczb podzielnych przez 3:
P3=3,6,9….
a po stronie q zostaje nam jedna liczba:
P8=8
To wystarczy !
P3 nie jest konieczne dla P8
Zdanie 3 jest prawdziwe na mocy naturalnego „może” ~~>
P3~~>P8=1 bo 24
ale to nie jest implikacja odwrotna.
Definicja warunku wystarczającego ukierunkowana na zajście warunku wystarczającego p=>q:
Kod: |
Tabela 2
p=>q=1
1 1 =1
p=>~q=0
1 0 =0
… a jeśli nie zajdzie p ?
Prawo Kubusia:
p=>q = ~p~>~q
~p~>~q=1
0 0 =1
~p~~>q=x
0 1 =x
|
W tym przypadku nie interesuje nas stan logiczny ostatniej linii bowiem o zachodzeniu warunku wystarczającego decydują dwie pierwsze linie i relacje między zbiorami po stronie p i q.
W ostatniej linii może być cokolwiek:
0 – równoważność
1 – implikacja prosta
Przykłady:
1.
Jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2=1 bo 8,16,24 …
Oczywiście P8 wystarcza dla P2
2.
Jeśli liczba jest podzielna przez 8 to na pewno => nie jest podzielna przez 2
P2=>P8=0 bo 2
Zauważmy, że iloczyn logiczny tabel 1 i 2 to definicja równoważności bowiem w odpowiednich liniach
x*0=0
Definicja równoważności ukierunkowana na relacje między zbiorami p i q:
p<=>q = (p~>q)*(p=>q) =1*1=1
gdzie:
p~>q
Warunek konieczny w interpretacji na zbiorach:
Jeśli zabierzemy zbiór p i musi zniknąć zbiór q
p=>q
Warunek wystarczający między p i q
Nieznane definicje implikacji i równoważności:
A.
Równoważność <=> to jednoczesne zachodzenie warunku koniecznego i wystarczającego w działaniach na zbiorach co widać w tabelach 1 i 2.
p=>q=1 – warunek wystarczający w kierunku p=>q zachodzi
p~>q=1 – warunek konieczny w kierunku p~>q zachodzi
p<=>q = (p~>q)*(p=>q)
B.
Implikacja prosta p=>q to zachodzenie wyłącznie warunku wystarczającego w zbiorach.
p=>q=1 – warunek wystarczający w kierunku p=>q zachodzi
p~>q=0 – warunek konieczny w kierunku p~>q nie zachodzi
C.
Implikacja odwrotna p~>q to zachodzenie wyłącznie warunku koniecznego w zbiorach.
p~>q=1 – warunek konieczny w kierunku p~>q zachodzi
p=>q=0 – warunek wystarczający w kierunku p=>q nie zachodzi
Powyższe definicje można wykorzystywać do rozstrzygnięć czy zdanie „Jeśli…to…” jest implikacją prostą =>, implikacją odwrotną ~> czy też równoważnością <=>.
Przykład równoważności:
Jeśli trójkąt ma boki równe to jest równoboczny
BR=>TR
Oczywiście trzy odcinki o równych długościach są wystarczające dla zbudowania trójkąta równobocznego
Wniosek:
Warunek wystarczający spełniony
Jeśli zamienimy jeden z trzech odcinków na odcinek o innej długości to zbudowania trójkąta równobocznego nie będzie możliwe.
Wniosek:
Trzy równe odcinki są warunkiem koniecznym dla trójkąta równobocznego
Między zbiorami BR i TR zachodzi jednocześnie warunek wystarczający BR=>TR i konieczny BR~>TR
co jest dowodem równoważności:
BR<=>TR = (BR=>TR)* (BR~>TR)
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Nie 22:16, 26 Gru 2010 Temat postu: |
|
|
ZNOWU MYLISZ = Z <=> I NIE CZYTAM DALEJ...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 22:24, 26 Gru 2010 Temat postu: |
|
|
No i znowu podwijasz ogonek i uciekasz ?
Co tu nie rozumiec Miller ?
To jest matematyka na poziomie i klasy LO, powiem wiecej, każdy 5-cio latek uzywa tej matematyki w sposób perfekcyjny
Czy zgadzasz sie z ponizszymi definicjami impliakjci prostej =>, Implikacji odwrotnej ~> i równowazności <=>.
TAK/NIE
Nieznane definicje implikacji i równoważności:
A.
Równoważność <=> to jednoczesne zachodzenie warunku koniecznego i wystarczającego w działaniach na zbiorach co widać w tabelach 1 i 2.
p=>q=1 – warunek wystarczający w kierunku p=>q zachodzi
p~>q=1 – warunek konieczny w kierunku p~>q zachodzi
p<=>q = (p~>q)*(p=>q)
B.
Implikacja prosta p=>q to zachodzenie wyłącznie warunku wystarczającego w zbiorach.
p=>q=1 – warunek wystarczający w kierunku p=>q zachodzi
p~>q=0 – warunek konieczny w kierunku p~>q nie zachodzi
C.
Implikacja odwrotna p~>q to zachodzenie wyłącznie warunku koniecznego w zbiorach.
p~>q=1 – warunek konieczny w kierunku p~>q zachodzi
p=>q=0 – warunek wystarczający w kierunku p=>q nie zachodzi
Powyższe definicje można wykorzystywać do rozstrzygnięć czy zdanie „Jeśli…to…” jest implikacją prostą =>, implikacją odwrotną ~> czy też równoważnością <=>.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Nie 22:25, 26 Gru 2010 Temat postu: |
|
|
kubus! lubie cie!
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 22:34, 26 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | kubus! lubie cie! |
Taaa, jak lubusz to wykasuj swoje wypociny z forum ogólnego.
Co tu nie rozumiec Miller ?
Nie rozumiesz co to jest warunek konieczny a co to jest warunek wystarczajacy ?
Jak tego nie rozumiesz to idxże czym prędzej po nauki do przedszkola, dzieciaki ci to doskonale wytłumaczą.
Pani w przedszkolu:
Jeśli jutro bedzie pochmurno to może padać
czy chmury sa konieczna dla deszczu ?
Jaś lat 5:
Chmury sa konieczne aby jutro padąło bo jak nie będzie chmur to na pewno nie będzie padać
CH~>P = ~ĆH=>~P - prawo Kubusia
Tylko matematyczny IDIOTA może udawac że nie rozumie co to jest warunkek konieczny i wystarczający.
Rozumiesz zatem te definicje wyżej czy nie rozumiesz ?
TAK/NIE
Jestes w pulapce Miller bo jak odpowiesz:
Nie wiem co to jest warunek wystarczajcy i konieczny to bedzie:
Miller = IDIOTA
... a jak powiesz że rozumiesz te definicje wyżej to wyjdzie:
KRZ = IDIOTA
Wybór nalezy do ciebie.
Ostatnio zmieniony przez rafal3006 dnia Nie 22:40, 26 Gru 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Nie 22:39, 26 Gru 2010 Temat postu: |
|
|
to nie jest logika,to dotyczy rzeczywistości i ne ma nic wspólnego z logika,ale i tak cię lubie...,ale nie wykasuje,bo są to świadectwa czci dla twojego wysiłku...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 22:51, 26 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | to nie jest logika,to dotyczy rzeczywistości i ne ma nic wspólnego z logika,ale i tak cię lubie...,ale nie wykasuje,bo są to świadectwa czci dla twojego wysiłku... |
Ales palnał, wszystkie dzieci w 100-milowym lesie właśnie pekaja ze śmiechu ....
Twierdzic że pojęcie warunku wystarczającego i koniecznego to nie jest logika może tylko matematyczny bałwan.
Czy rozumiesz to ?
jesli liczba jest podzielna przez 8 to na pewno jest podzielna przez 2
P8=>P2
P8 wystarcza dla P2
Jesli liczba jest podzielna przez 2 to może byc podzielna przez 8
P2~>P8
P2 jest konieczne dla P8
Jak nie rozumiesz to znajdź sobie w Wikipedii jakis podręcznik matematyki do I klasy LO.
Miller, twój cytat wyżej to totalna kompromitacja.
Dobranoc
Ostatnio zmieniony przez rafal3006 dnia Nie 22:51, 26 Gru 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
barycki/konto usunięte
Usunięcie na własną prośbę
Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów
Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW Płeć: Mężczyzna
|
Wysłany: Pon 1:23, 27 Gru 2010 Temat postu: |
|
|
Kubusiu, dowiedziałem się właśnie, że Miller zamierza od jutra w każdym twoim wątku do każdej twojej wypowiedzi odnosić się jednym słowem - dupa. Do takiej podłości nie można dopuścić, dlatego zwracam się do wujazboja, aby pousuwał z forum wszystko, co napisałeś i zabronił ci cokolwiek nowego napisać, tym sposobem zablokujemy wstrętnemu Millerowi mówienie na ciebie, dupa i szlag go trafi z wściekłości. Wujzboj, to człowiek szlachetny i na pewno nie dopuści do tego, aby Miller nazywał ciebie dupą, ani o NTI mówił - dupa. Dlatego zrealizuje mój postulat w trosce o twoje dobro, abyś już nigdy nie musiał się denerwować. Nie musisz się martwić Kubusiu, jak już cała NTI zostanie stąd usunięta razem z tobą, to ja o tobie nie zapomnę i będę o tobie tu pisał same dobre rzeczy, jak zawsze pisałem.
Adam Barycki
PS. Acha, wyobraź sobie, że ten idiota, Miller, zamierza tu napisać, że każda liczba podzielna przez dwa, jest podzielna nie tylko przez osiem, ale nawet przez dziewięć. Toż, to podłość.
Ostatnio zmieniony przez barycki/konto usunięte dnia Pon 1:31, 27 Gru 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Pon 6:55, 27 Gru 2010 Temat postu: |
|
|
ZASRANA DUPA.DOBRANOC KUBUS,choc pisze to rano po oglądnięciu audycji w NT24,oczywiście w niemieckiej TV,gdzie miedzynarodowe grono badaczy wielu dziedzin udawadniało kradzież Sumerom koncepcji raju i całej GENEZIS Z GILGAMESZA,OCZYWIŚCIE marks i engels NIE ZNALI TYCH SENSACJI ,ALE NIE MUSIELI,BO MIELI DOBRZE POD SUFITEM, A engels JAKO facet BEZ MATURY NIE ZNAŁ REDUKTIO AD ABSURDYM W WERSJI krz ,BO MIAŁ TO WRODZONE...
JAK KUBUSIU ZMIENISZ NOTACJę I ZAMIAST~ BEDZIESZ OISAŁ Q=>P ,WPROWADZISZ WSZĘDZIE NAWIASY,GDZIE DOKONUJE SIE ODWZOREOWANIA NA..."na (0,1) TO ZOBACZYSZ ,ŻE nti JEST KIEPSKA WERSJA krz TYLE TYLKO ,ZE SPRZECZNA, A WIEMY,ŻE krz JEST NIESPRZECZNY...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 7:24, 27 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: |
A WIEMY,ŻE krz JEST NIESPRZECZNY... |
Możesz sobie obalać ...
4.5 Dowód wewnętrznej sprzeczności KRZ dla zdania wypowiedzianego p=>q
KRZ = Klasyczny Rachunek Zdań
Dowód formalny braku przemienności argumentów w implikacji prostej
Kod: |
p q p=>q=1 # q=>p=0 ## p~>q=1
1 1 =1 =1 =1
1 0 =0 =1 =1
0 0 =1 =1 =1
0 1 =1 =0 =0
P8 P2 P8=>P2=1 # P2=>P8=0 ## P2~>P8=1
|
Kolumny 3 i 4 są różne, zatem dla dowolnych p i q zachodzi:
p=>q=1 # q=>p=0
P8=>P2=1 # P2=>P8=0
czyli:
Jeśli p=>q=1 to q=>p=0
Jeśli P8=>P2=1 to P2=>P8=0
Odwrotnie nie zachodzi bo kontrprzykład:
Jeśli p=>q=0 to q=>p=1
Jeśli P3=>P8=0 to P8=>P3=0 – kontrprzykład
Dowód wewnętrznej sprzeczności KRZ
Wypowiadam wzorcową implikacje prostą:
jeśli liczba jest podzielna przez 8 to na pewno => jest podzielna przez 2
P8=>P2=1
p=>q=1
Implikacja odwrotna:
q=>p=0
P2=>P8=0
Oczywiście p~>q to fundamentalnie inny operator logiczny.
Na mocy definicji mamy tu:
p~>q=1
P2~>P8=1
Zauważmy, że w kolumnach 4 i 5 zachodzi:
q=>p=0 ## p~>q=1
P2=>P8=0 ## P2~>P8=1
bo nigdy nie będzie:
0=1 !
KRZ sugerując się równością kolumn wynikowych 4 i 5 błędnie zapisuje tu:
q=>p=0 = p~>q=1
P2=>P8=0 = P2~>P8=1
rozwalając totalnie całą algebrę Boole’a bo w wartościach logicznych zdań mamy tu:
0=1 – algebra Boole’a leży w gruzach
Zauważmy, że wprowadzenie nowego symbolu ## (różne na mocy definicji) nie ma żadnego wpływu na poprawność powyższego dowodu.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Pon 7:28, 27 Gru 2010 Temat postu: |
|
|
jezyk polski jest tak frywolny,ze z tego co napisałem można by wywnioskowąć ,że to summerzy ukradli ,a jest odwrotnie ,abraham ukradł summerom.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Pon 7:29, 27 Gru 2010 Temat postu: |
|
|
DUPA NIE DUPA,ALE DUPA.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
barycki/konto usunięte
Usunięcie na własną prośbę
Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów
Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW Płeć: Mężczyzna
|
Wysłany: Pon 9:01, 27 Gru 2010 Temat postu: |
|
|
Kubusiu, nie zapominaj o złotym jaju, wszędzie umieszczaj złote jajo, a Millera musi szlag trafić, nie poradzi sobie z jajem. Poza tym jajo jest piękne i dodaje NTI tajemniczego uroku, co musi w każdym budzić respekt. Ja na ten przykład, jaja się boję, patrzę na nie z podziwem, ale jednocześnie z lękiem, taki dreszcz mnie przechodzi jak patrzę na twoje jajo.
Adam Barycki
PS. Widzisz, Kubusiu, jaki ten Miller to matoł matematyczny. Pisze, że dupa nie jest dupą, ale jednak jest dupą. Toż każde dziecko w przedszkolu wie, że jak dupa jest dupą, to nie może nie być dupą. Ciekawe tylko, czy Miler jest kłamcą, bo jeżeli pobrudził spodnie, to kłamcą być nie może, jednak miejmy nadzieję, że spodnie ma czyste i kłamcą jest, a nawet nie był w kinie, co czyniłoby go kłamcą podwójnym. Zapisz to wszystko szybciutko w równaniach, a wyniki rozparceluj ładnie na złotym jaju, niech Millera szlag trafi.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 10:15, 27 Gru 2010 Temat postu: |
|
|
zbigniewmiller napisał: | DUPA NIE DUPA,ALE DUPA. |
Obalaj merytorycznie ...
A jak tam u ciebie z warunkami wystarczającymi i koniecznymi.
To jest logika czy nie jest ?
Język polski jest genialnie precyzyjny w swoim fundamencie, czyli w definicjach => i ~>, własnie dlatego że wszyscy to znają moga sobie pozwalać na nieprecyzyjności, niedomówienia etc.
Ostatnio zmieniony przez rafal3006 dnia Pon 10:17, 27 Gru 2010, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Pon 10:23, 27 Gru 2010 Temat postu: |
|
|
dupsko
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35532
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 11:02, 27 Gru 2010 Temat postu: |
|
|
Byłes juz przedszkolu po nauki ?
Miałes się nauczyć rozróznić warunek konieczny od wystarczającego.
papa
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
zbigniewmiller
Dołączył: 19 Sie 2010
Posty: 3210
Przeczytał: 0 tematów
Skąd: urodzony w szklarskiej porebie ,aktualnie we wrocławiu nad fosa Płeć: Mężczyzna
|
Wysłany: Pon 11:03, 27 Gru 2010 Temat postu: |
|
|
der Duper.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
barycki/konto usunięte
Usunięcie na własną prośbę
Dołączył: 18 Paź 2009
Posty: 4203
Przeczytał: 0 tematów
Skąd: Konto usunięte na prośbę użytkownika. Patrz: przycisk WWW Płeć: Mężczyzna
|
Wysłany: Pon 11:36, 27 Gru 2010 Temat postu: |
|
|
Super, Kubusiu, już prawie mamy Millera w garści, jeszcze tylko dowal mu złotym jajem, a będzie po nim.
Adam Barycki
|
|
Powrót do góry |
|
|
|
|
Możesz pisać nowe tematy 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
|