|
Ś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: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 14:23, 12 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Skoro to 100% odpowiednik, to na oryginalnej tabelce wskaż owo wpisanie w równoważność. |
Nie mam zamiaru.
Moja tabelka w poście wyżej i tabelka z twojego linku to jest absolutnie to samo.
Mogę ci wytłumaczyć dlaczego to jest 100% odpowiednik, ale nie zamierzam operować twoją tabelką, bo kluczowe jest byś zrozumiał że to jest 100% odpowiednik, a z twojego pytania wnioskuję, że tego nie rozumiesz.
Innymi słowy:
Wygląda na to że nigdy nie widziałeś bramki logicznej na oczy, czyli twoje wykształcenie nie ma nic wspólnego z elektroniką (ja kończyłem elektronikę)
Co gorsza:
Wygląda na to że nie jesteś nawet początkującym matematykiem, bo normalny matematyk nie ma najmniejszych problemów w operowaniu bramkami logicznymi w logice matematycznej.
Dowód to moja dyskusja z wykładowcą logiki matematycznej Volrathem - poczytaj sobie:
http://www.sfinia.fora.pl/forum-kubusia,12/kubusiowa-szkola-logiki-na-zywo-dyskusja-z-volrathem,3591-50.html#69446
volrath napisał: | Ja nie twierdzę, że implikacja odwrotna to to samo co prosta.
Twierdzę, że p=>q <=> ~q=>~p <=> q~>p <=> ~p~>~q <=> p NAND (p NAND q)
I że 4L ~> ~P jest fałszywe bo istnieją mrówki. |
Ten post, wykładowca logiki Volrath napisał w 2008r, czyli w czasie gdy algebra Kubusia była niemowlęciem.
Sam widzisz, że błyskawicznie zaakceptował znaczki z algebry Kubusia:
=> - warunek wystarczający
~> - warunek konieczny
a ty Irbisolu czepiłeś się jakichś pajaców z angielskiej Wikipedii jak rzep psiego ogona.
Normalny matematyk na 100% rozumie że twoja notacja, gdzie warunek wystarczający => od warunku koniecznego => odróżniasz po kierunku czytania znaczka => to potwornie śmierdzące gówno, bo pojęcie warunek wystarczający => i warunek konieczny <= to pojęcia różne na mocy definicji ##.
Dokładnie dlatego matematycy Volrath, czy Macjan z którymi dyskutowałem błyskawicznie przyjęli za swoją notację z AK:
=> - warunek wystarczający
~> - warunek konieczny
gdzie kierunek czytania jest TOTALNIE bez znaczenia, tzn. zawsze czytamy od podstawy wektora do strzałki wektora niezależnie w która stronę znaczki => i ~> zostaną zapisane - to jest jedyna poprawna matematyka!
AMEN!
Powtórzę:
Absolutnie żaden matematyk nie zgodzi się na notację twoją i tych dupków z angielskiej Wikipedii, nikt normalny nie odróżni twojego warunku wystarczającego => od twojego warunku koniecznego <=.
Czepiłeś się jak rzep psiego ogona równoważności p<=>q bo tylko tu twoja pseudo-notacja ma jakiś tam gówno-sens.
W każdym innym przypadku twoja notacja leży, kwiczy i błaga o litość.
Zauważ, że Volrath już w 2008r błyskawicznie zaakceptował znaczki z algebry Kubusia.
Dowód:
Vorath zapisał prawo Kubusia w znaczkach => i ~>:
p=>q = ~p~>~q
oraz prawo Tygryska:
p=>q = q~>p
Kwadratura koła dla Irbisola:
Udowodnij w rachunku zero-jedynkowym prawo Kubusia i prawo Tygryska, które Volrath zapisał w 2008r.
Nigdy tego nie zrobisz, bo nie dysponujesz niezależną od równoważności definicją warunku koniecznego ~>.
Ciekawostka którą Volrath mnie nieco zaskoczył to jego zapis:
p=>q = p NAND (p NAND q)
Dlaczego zaskoczył:
bo NAND i NOR nie są zgodne z naturalną logika matematyczną każdego człowieka i w praktyce projektowania sterowań w bramkach logicznych się ich nie używa, co nie oznacza, że są teoretycznie złe.
Oczywiście dla matematyka lub elektronika (ja) udowodnienie powyższej tożsamości to pikuś … ale dla ciebie Irbisolu to czarna magia, zgadza się.
Podsumowując:
Czy chcesz bym ci krok po kroku wytłumaczył teorię bramek logicznych - bo to jest JEDYNA właściwa logika matematyczna, wszystko inne (np. implikacja materialna) to gówno wymyślone przez gówno-matematyków.
W szczególności tego gówno-matematyka:
[link widoczny dla zalogowanych]
Wikipedia napisał: |
Matryca implikacji od wieków budzi kontrowersje, niekiedy sięgające samej istoty logiki.
Matryca implikacji:
Kod: |
p q p=>q
1 1 1
0 1 1
1 0 0
0 0 1
|
Z dowolnego zdania fałszywego wynika dowolne zdanie prawdziwe (drugi wiersz matrycy) i dowolne zdanie fałszywe (czwarty wiersz matrycy). Twierdzenie to znane jest od wielu wieków w postaci łacińskiej formuły Falsum sequitur quodlibet (z fałszu wynika cokolwiek, czyli wszystko).
Mimo to, gdy Bertrand Russell opublikował swój system logiki oparty na omawianej matrycy implikacji materialnej, niektórzy filozofowie przyjęli ten system za rodzaj herezji logicznej.
Ktoś próbował wykpić B. Russella, ogłaszając list otwarty, w którym zaproponował mu do rozwiązania następujące zadanie:
Ponieważ według pana można udowodnić wszystko na podstawie jednego zdania fałszywego, proszę na podstawie fałszywego zdania "5 = 4" udowodnić, że jest pan papieżem.
Na pierwszy rzut oka zadanie to może się wydać niewykonalne. Intuicyjnie bowiem nie potrafimy dojrzeć żadnego związku między zdaniem "5 = 4" a zdaniem: "B. Russell jest papieżem". Intuicji nie można jednak wierzyć ślepo, jest bowiem zawodna. Russell podjął zadanie i rozwiązał je w wyniku następującego rozumowania:
Opierając się na regule głoszącej, że od obu stron równości wolno odjąć tę samą liczbę, odejmuję od obu stron równości: "5 = 4", liczbę 3. Wyprowadzam w ten sposób ze zdania "5 = 4" zdanie "2 = 1".
Dowód, że jestem papieżem, jest już teraz zupełnie prosty: papież i ja to dwie osoby, ale 2 = 1 (w tym przypadku papież i B. Russell, czyli dwie osoby są jedną osobą), więc jestem papieżem.
Rozumowanie to jest zupełnie poprawne, zatem początkowa intuicja zgodnie z którą zadanie dane Russellowi wydawało się nierozwiązalne, okazała się zawodna.
Zdanie "B. Russell jest papieżem" rzeczywiście wynika ze zdania "5 = 4". Jest to przykład wynikania fałszu z fałszu (odpowiednik czwartego wiersza matrycy).
Równie łatwo możemy wykazać, że z tego samego zdania fałszywego wynika zdanie prawdziwe, np. zdanie "B. Russell jest wykształcony". Wystarczy do już wyprowadzonego zdania "B. Russell jest papieżem" dodać oczywiście prawdziwe zdanie "Każdy papież jest wykształcony" i mamy:
B. Russell jest papieżem
Każdy papież jest wykształcony
zatem B. Russell jest wykształcony
Można również łatwo wskazać inne, prawdziwe konsekwencje zdania "5 = 4", np. "B. Russell jest mężczyzną", "B. Russell zna język łaciński", B. Russell jest osobistością znaną w całym świecie" itp.
Teoretyczna możliwość wyprowadzenia dowolnego zdania z danego zdania fałszywego nie zawsze jest równoznaczna z praktyczna łatwością wykonania takiego zadania. Ale takie zadanie jest do rozwiązania. |
Ostatnio zmieniony przez rafal3006 dnia Pon 17:49, 12 Cze 2023, 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: 15462
Przeczytał: 25 tematów
|
Wysłany: Pon 14:28, 12 Cze 2023 Temat postu: |
|
|
Gdzie to wpisanie w równoważność?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 14:33, 12 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Gdzie to wpisanie w równoważność? |
W cytacie niżej masz czarno na białym wpisany twój warunek konieczny <= w definicję równoważności.
Nic nie poradzę że czytać nie potrafisz, co najgorsze, nie chcesz bym ci cokolwiek tłumaczył .. bo ty wiesz swoje.
Amen
Rafal3006 napisał: |
Punkt 4
Finał tworzenia zero-jedynkowe definicji równoważności p<=>q
Kod: |
T1##T2
T1 ## T2 ## T3
Definicja warunku ## Definicja warunku ## Definicja równoważności:
wystarczającego => ## koniecznego <= ## p<=>q=(p=>q)*(p<=q)
Y= ## Y= ## Y=
p q p=>q=~p+q ## p q p<=q ## p q p<=>q=(p=>q)*(p<=q)
A: 1=>1 1 ## 1<=1 1 ## 1<=>1 1
B: 1=>0 0 ## 1<=0 1 ## 1<=>0 0
C: 0=>0 1 ## 0<=0 1 ## 0<=>0 1
D: 0=>1 1 ## 0<=1 0 ## 0<=>1 0
1 2 3 4 5 6 7 8 9
Gdzie:
## - różne na mocy definicji, czyli:
;
Warunek wystarczający: p=>q=~p+q
##
Warunek konieczny: p<=q=~q+p
##
Równoważność p<=>q=p*q+~p*~q
|
Najważniejsza definicja logiki matematycznej, w tym Irbisolowego KRZ!
Definicja znaczka różne na mocy definicji ##:
Funkcje logiczne Y są różne na mocy definicji ## wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q dają różne kolumny wynikowe Y
Doskonale tu widać, że funkcje logiczne Y zdefiniowane tabelami T1, T2 i T3 są różne na mocy definicji, bo mają identyczne wymuszenia na wejściach p i q, ale różne kolumny wynikowe Y
cnd
Kluczowe pytanie do Irbisola:
Czy zgadzasz się na najważniejszą definicję logiki matematycznej, definicję znaczka różne na mocy definicji ## podaną wyżej?
TAK/NIE |
Ostatnio zmieniony przez rafal3006 dnia Pon 14:33, 12 Cze 2023, 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: 15462
Przeczytał: 25 tematów
|
Wysłany: Pon 14:59, 12 Cze 2023 Temat postu: |
|
|
Zamiast napisać kilka znaczków to znowu zaspamowałeś.
I co złego wynika dla WK w KRZ że używa go równoważność?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 15:15, 12 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Zamiast napisać kilka znaczków to znowu zaspamowałeś.
I co złego wynika dla WK w KRZ że używa go równoważność? |
Tu nie chodzi o to że używa, tu chodzi o to że nie potrafisz zapisać zero-jedynkowej definicji twojego warunku wystarczającego <= bez zapisywania równoważności.
Innymi słowy:
Nie ma równoważności p<=>q - nie ma twojej, zero-jedynkowej definicji warunku koniecznego <=.
Udowodnij że nie mam racji?
Wszyscy widzą Irbisolu, że nie potrafisz takiej definicji zapisać.
cnd
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Pon 15:41, 12 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Zamiast napisać kilka znaczków to znowu zaspamowałeś.
I co złego wynika dla WK w KRZ że używa go równoważność? |
Czemu kłamiesz?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15462
Przeczytał: 25 tematów
|
Wysłany: Wto 10:57, 13 Cze 2023 Temat postu: |
|
|
Po pierwsze, mowa o warunku koniecznym a nie wystarczającym.
Po drugie, dostałeś tabelkę. Usuwasz kolumnę z równoważnością i nadal warunek konieczny jest zapisany.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Wto 11:00, 13 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Po pierwsze, mowa o warunku koniecznym a nie wystarczającym.
Po drugie, dostałeś tabelkę. Usuwasz kolumnę z równoważnością i nadal warunek konieczny jest zapisany. |
Znowu kłamiesz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 12:51, 13 Cze 2023 Temat postu: |
|
|
Uroczyste powitanie Irbisola w algebrze Kubusia!
Brawo !, Brawo!, Brawo!!!
Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Irbisol napisał: |
Po pierwsze, mowa o warunku koniecznym a nie wystarczającym.
Po drugie, dostałeś tabelkę. Usuwasz kolumnę z równoważnością i nadal warunek konieczny jest zapisany. |
Uff wreszcie się dogadaliśmy.
My mieszkańcy 100-milowego lasu uroczyście witamy Irbisola w algebrze Kubusia.
Po pierwsze Irbisolu korygujemy twój błąd czysto matematyczny:
Błędem czysto matematycznym jest mówienie wyłącznie o warunku koniecznym ~>, bowiem warunek wystarczający => i konieczny ~> to dwie papużki nierozłączki - jeden bez drugiego nie może istnieć!
Dowodem są tu prawa Tygryska:
A1.
Prawo Tygryska dla warunku wystarczającego =>:
A1: p=>q = A3: q~>p
##
B1.
Prawo Tygryska dla warunku koniecznego ~>:
B1: p~>q = B3: q=>p
Gdzie:
## - różne na mocy definicji
Definicję znaczka różne na mocy definicji ## masz na końcu postu.
Podsumowując:
Oto niezależne, zero-jedynkowe definicje warunku wystarczającego => i koniecznego ~>
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3175.html#726813
Więcej szczegółów znajdziesz w linku wyżej.
Rafal3006 napisał: |
Kod: |
T1
Definicja warunku wystarczającego =>
Y=
p q p=>q=~p+q
A: 1=>1 1
B: 1=>0 0
C: 0=>0 1
D: 0=>1 1
1 2 3
Interpretacja słowna warunku wystarczającego =>:
p=>q =1 - wtedy i tylko wtedy gdy p jest (=1) wystarczające => dla q
Inaczej:
p=>q =0
;
Interpretacja słowna w zbiorach =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Inaczej
p=>q =0
;
Interpretacja dla potrzeb rachunku zero-jedynkowego:
p=>q =0 - wtedy i tylko wtedy gdy p=1 i q=0
Inaczej:
p=>q =1
|
##
Kod: |
T2
Definicja warunku koniecznego ~>
Y=
p q p~>q=p+~q
A: 1~>1 1
B: 1~>0 1
C: 0~>0 1
D: 0~>1 0
1 2 3
Interpretacja słowna warunku koniecznego ~>:
p~>q =1 - wtedy i tylko wtedy gdy p jest (=1) konieczne ~> dla q
Inaczej:
p~>q =0
;
Interpretacja słowna w zbiorach =>:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej
p~>q =0
;
Interpretacja dla potrzeb rachunku zero-jedynkowego:
p~>q =0 - wtedy i tylko wtedy gdy p=0 i q=1
Inaczej:
p~>q =1
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Definicja znaczka różne na mocy definicji ##
Dwie funkcje logiczne Y są różne na mocy definicji wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q mają różne kolumny wynikowe Y
Z powyższego wynika, że definicje znaczków => i ~> są różne na mocy definicji ##
|
Ostatnio zmieniony przez rafal3006 dnia Wto 12:56, 13 Cze 2023, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15462
Przeczytał: 25 tematów
|
Wysłany: Wto 14:22, 13 Cze 2023 Temat postu: |
|
|
Niezależnie od tego czy WK i WW są związane ze sobą, mowa jest o WK.
Wyżej co napisałem, dlaczego WK nie potrzebuje równoważności. Odpowiedz na to.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 14:31, 13 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Niezależnie od tego czy WK i WW są związane ze sobą, mowa jest o WK.
Wyżej co napisałem, dlaczego WK nie potrzebuje równoważności. Odpowiedz na to. |
Irbisol napisał: | Po pierwsze, mowa o warunku koniecznym a nie wystarczającym.
Po drugie, dostałeś tabelkę. Usuwasz kolumnę z równoważnością i nadal warunek konieczny jest zapisany. |
O jaką tabelkę ci chodzi - zaprezentuj ją i zrób dokładnie to co zapisałeś!
Tylko w zapisach formalnych (ogólnych) poproszę, żadnych tam dupków z Wikipedii w postaci {S, N, T, F} mi nie cytuj.
W matematyce operuje się na standardzie matematycznym {p, q, Y, 0, 1}
Ostatnio zmieniony przez rafal3006 dnia Wto 14:35, 13 Cze 2023, w całości zmieniany 3 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15462
Przeczytał: 25 tematów
|
Wysłany: Wto 15:38, 13 Cze 2023 Temat postu: |
|
|
Kod: |
p q p <= q
1 1 1
1 0 1
0 1 0
0 0 1
|
Gdzie ta zależność od równoważności?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Wto 15:46, 13 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Kod: |
p q p <= q
1 1 1
1 0 1
0 1 0
0 0 1
|
Gdzie ta zależność od równoważności? |
Znowu ściemniasz?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 16:00, 13 Cze 2023 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3250.html#728599
rafal3006 napisał: | Uroczyste powitanie Irbisola w algebrze Kubusia!
Brawo !, Brawo!, Brawo!!!
Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Irbisol napisał: |
Po pierwsze, mowa o warunku koniecznym a nie wystarczającym.
Po drugie, dostałeś tabelkę. Usuwasz kolumnę z równoważnością i nadal warunek konieczny jest zapisany. |
Uff wreszcie się dogadaliśmy.
My mieszkańcy 100-milowego lasu uroczyście witamy Irbisola w algebrze Kubusia.
Po pierwsze Irbisolu korygujemy twój błąd czysto matematyczny:
Błędem czysto matematycznym jest mówienie wyłącznie o warunku koniecznym ~>, bowiem warunek wystarczający => i konieczny ~> to dwie papużki nierozłączki - jeden bez drugiego nie może istnieć!
Dowodem są tu prawa Tygryska:
A1.
Prawo Tygryska dla warunku wystarczającego =>:
A1: p=>q = A3: q~>p
##
B1.
Prawo Tygryska dla warunku koniecznego ~>:
B1: p~>q = B3: q=>p
Gdzie:
## - różne na mocy definicji
Definicję znaczka różne na mocy definicji ## masz na końcu postu.
Podsumowując:
Oto niezależne, zero-jedynkowe definicje warunku wystarczającego => i koniecznego ~>
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3175.html#726813
Więcej szczegółów znajdziesz w linku wyżej.
Rafal3006 napisał: |
Kod: |
T1
Definicja warunku wystarczającego =>
Y=
p q p=>q=~p+q
A: 1=>1 1
B: 1=>0 0
C: 0=>0 1
D: 0=>1 1
1 2 3
Interpretacja słowna warunku wystarczającego =>:
p=>q =1 - wtedy i tylko wtedy gdy p jest (=1) wystarczające => dla q
Inaczej:
p=>q =0
;
Interpretacja słowna w zbiorach =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Inaczej
p=>q =0
;
Interpretacja dla potrzeb rachunku zero-jedynkowego:
p=>q =0 - wtedy i tylko wtedy gdy p=1 i q=0
Inaczej:
p=>q =1
|
##
Kod: |
T2
Definicja warunku koniecznego ~>
Y=
p q p~>q=p+~q
A: 1~>1 1
B: 1~>0 1
C: 0~>0 1
D: 0~>1 0
1 2 3
Interpretacja słowna warunku koniecznego ~>:
p~>q =1 - wtedy i tylko wtedy gdy p jest (=1) konieczne ~> dla q
Inaczej:
p~>q =0
;
Interpretacja słowna w zbiorach =>:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej
p~>q =0
;
Interpretacja dla potrzeb rachunku zero-jedynkowego:
p~>q =0 - wtedy i tylko wtedy gdy p=0 i q=1
Inaczej:
p~>q =1
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Definicja znaczka różne na mocy definicji ##
Dwie funkcje logiczne Y są różne na mocy definicji wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q mają różne kolumny wynikowe Y
Z powyższego wynika, że definicje znaczków => i ~> są różne na mocy definicji ##
|
|
Irbisol napisał: | Kod: |
p q p <= q
1 1 1
1 0 1
0 1 0
0 0 1
|
Gdzie ta zależność od równoważności? |
Brawo, wreszcie, po tylu miesiącach uciekania
To teraz udowodnij mi w twoim systemie oznaczeń, w twoim rachunku zero-jedynkowym prawa Tygryska, które w AK zapisujemy tak:
A1.
Prawo Tygryska dla warunku wystarczającego =>:
A1: p=>q = A3: q~>p
##
B1.
Prawo Tygryska dla warunku koniecznego ~>:
B1: p~>q = B3: q=>p
Gdzie:
## - różne na mocy definicji
Ostatnio zmieniony przez rafal3006 dnia Wto 16:03, 13 Cze 2023, 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: 15462
Przeczytał: 25 tematów
|
Wysłany: Wto 16:37, 13 Cze 2023 Temat postu: |
|
|
Od razu podałem ci tabelkę, tylko że kolumn więcej było.
Odpowiedz na pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Wto 16:40, 13 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Od razu podałem ci tabelkę, tylko że kolumn więcej było.
Odpowiedz na pytanie. |
Czemu skłamałeś?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 16:59, 13 Cze 2023 Temat postu: |
|
|
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3250.html#728599
rafal3006 napisał: | Uroczyste powitanie Irbisola w algebrze Kubusia!
Brawo !, Brawo!, Brawo!!!
Kod: |
T0
Fundament algebry Kubusia w obsłudze zdań warunkowych „Jeśli p to q”
Matematyczne związki warunku wystarczającego => i koniecznego ~>:
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q = 2:~p~>~q [=] 3: q~>p = 4:~q=>~p [=] 5: ~p+q
## ## ## ## ##
B: 1: p~>q = 2:~p=>~q [=] 3: q=>p = 4:~q~>~p [=] 5: p+~q
Prawa Kubusia: | Prawa kontrapozycji dla warunku wystarczającego =>:
A1: p=>q = A2:~p~>~q | A1: p=>q = A4:~q=>~p
B1: p~>q = B2:~p=>~q | B2:~p=>~q = B3: q=>p
Prawa Tygryska: | Prawa kontrapozycji dla warunku koniecznego ~>:
A1: p=>q = A3: q~>p | A2:~p~>~q = A3: q~>p
B1: p~>q = B3: q=>p | B1: p~>q = B4:~q~>~p
Gdzie:
p=>q = ~p+q - definicja warunku wystarczającego =>
p~>q = p+~q - definicja warunku koniecznego ~>
## - różne na mocy definicji warunku wystarczającego => i koniecznego ~>
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
|
Irbisol napisał: |
Po pierwsze, mowa o warunku koniecznym a nie wystarczającym.
Po drugie, dostałeś tabelkę. Usuwasz kolumnę z równoważnością i nadal warunek konieczny jest zapisany. |
Uff wreszcie się dogadaliśmy.
My mieszkańcy 100-milowego lasu uroczyście witamy Irbisola w algebrze Kubusia.
Po pierwsze Irbisolu korygujemy twój błąd czysto matematyczny:
Błędem czysto matematycznym jest mówienie wyłącznie o warunku koniecznym ~>, bowiem warunek wystarczający => i konieczny ~> to dwie papużki nierozłączki - jeden bez drugiego nie może istnieć!
Dowodem są tu prawa Tygryska:
A1.
Prawo Tygryska dla warunku wystarczającego =>:
A1: p=>q = A3: q~>p
##
B1.
Prawo Tygryska dla warunku koniecznego ~>:
B1: p~>q = B3: q=>p
Gdzie:
## - różne na mocy definicji
Definicję znaczka różne na mocy definicji ## masz na końcu postu.
Podsumowując:
Oto niezależne, zero-jedynkowe definicje warunku wystarczającego => i koniecznego ~>
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3175.html#726813
Więcej szczegółów znajdziesz w linku wyżej.
Rafal3006 napisał: |
Kod: |
T1
Definicja warunku wystarczającego =>
Y=
p q p=>q=~p+q
A: 1=>1 1
B: 1=>0 0
C: 0=>0 1
D: 0=>1 1
1 2 3
Interpretacja słowna warunku wystarczającego =>:
p=>q =1 - wtedy i tylko wtedy gdy p jest (=1) wystarczające => dla q
Inaczej:
p=>q =0
;
Interpretacja słowna w zbiorach =>:
p=>q =1 - wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q
Inaczej
p=>q =0
;
Interpretacja dla potrzeb rachunku zero-jedynkowego:
p=>q =0 - wtedy i tylko wtedy gdy p=1 i q=0
Inaczej:
p=>q =1
|
##
Kod: |
T2
Definicja warunku koniecznego ~>
Y=
p q p~>q=p+~q
A: 1~>1 1
B: 1~>0 1
C: 0~>0 1
D: 0~>1 0
1 2 3
Interpretacja słowna warunku koniecznego ~>:
p~>q =1 - wtedy i tylko wtedy gdy p jest (=1) konieczne ~> dla q
Inaczej:
p~>q =0
;
Interpretacja słowna w zbiorach =>:
p~>q =1 - wtedy i tylko wtedy gdy zbiór p jest (=1) nadzbiorem ~> zbioru q
Inaczej
p~>q =0
;
Interpretacja dla potrzeb rachunku zero-jedynkowego:
p~>q =0 - wtedy i tylko wtedy gdy p=0 i q=1
Inaczej:
p~>q =1
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Definicja znaczka różne na mocy definicji ##
Dwie funkcje logiczne Y są różne na mocy definicji wtedy i tylko wtedy gdy dla identycznych wymuszeń na wejściach p i q mają różne kolumny wynikowe Y
Z powyższego wynika, że definicje znaczków => i ~> są różne na mocy definicji ##
|
|
Irbisol napisał: | Kod: |
p q p <= q
1 1 1
1 0 1
0 1 0
0 0 1
|
Gdzie ta zależność od równoważności? |
Irbisol napisał: | Od razu podałem ci tabelkę, tylko że kolumn więcej było.
Odpowiedz na pytanie. |
O te kolumny więcej mi teraz chodzi - co za diabeł się w nich chowa?
ok
To jest wedle ciebie niezależna od jakiegokolwiek prawa logiki matematycznej i równoważności twoja wersja zero-jedynkowej definicji warunku koniecznego <=.
Poproszę teraz o zapisanie pod spodem analogicznej niezależnej od jakiegokolwiek prawa logiki matematycznej i równoważności twojej wersji zero-jedynkowej definicji warunku wystarczającego =>.
O co mi chodzi, jak to powinno wyglądać masz w moim cytacie wyżej.
Ostatnio zmieniony przez rafal3006 dnia Wto 17:15, 13 Cze 2023, w całości zmieniany 4 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15462
Przeczytał: 25 tematów
|
Wysłany: Wto 17:45, 13 Cze 2023 Temat postu: |
|
|
Chciałeś <= bez innych kolumn, więc masz. Odpowiedz na pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Wto 18:12, 13 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Chciałeś <= bez innych kolumn, więc masz. Odpowiedz na pytanie. |
Sądzę, że zbadanie cię wariografem przyniosłoby opłakane skutki
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 18:17, 13 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Chciałeś <= bez innych kolumn, więc masz. Odpowiedz na pytanie. |
Najpierw chcę wiedzieć czy umiesz myśleć bramkami logicznymi - to jedyna poprawna logika matematyczna.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-3250.html#728665
rafal3006 napisał: |
Irbisol napisał: | Kod: |
p q p <= q
1 1 1
1 0 1
0 1 0
0 0 1
|
Gdzie ta zależność od równoważności? |
Irbisol napisał: | Od razu podałem ci tabelkę, tylko że kolumn więcej było.
Odpowiedz na pytanie. |
O te kolumny więcej mi teraz chodzi - co za diabeł się w nich chowa?
ok
To jest wedle ciebie niezależna od jakiegokolwiek prawa logiki matematycznej i równoważności twoja wersja zero-jedynkowej definicji warunku koniecznego <=.
Poproszę teraz o zapisanie pod spodem analogicznej niezależnej od jakiegokolwiek prawa logiki matematycznej i równoważności twojej wersji zero-jedynkowej definicji warunku wystarczającego =>.
O co mi chodzi, jak to powinno wyglądać masz w moim cytacie wyżej. |
To co zapisałeś Irbsolu to jedyna poprawna definicja twojego warunku koniecznego <= zapisana technice bramek logicznych.
W tej twojej tabelce z Wikipedii jest też jedyna poprawna w twojej notacji zero-jedynkowa definicja warunku wystarczającego =>.
Zanim zacznę ci cokolwiek odpowiadać musisz zapisać analogiczną definicję warunku wystarczającego =>, również w technice bramek logicznych.
Bramka logiczna to twór o dwóch wejściach p i q i jednym wyjściu Y - jakbyś nie wiedział.
Powtórzę:
Definicje twojego warunku koniecznego <= w bramce logicznej zapisałeś dobrze.
Proszę teraz o zapisanie definicji twojego warunku wystarczającego => w bramce logicznej.
To jest warunek konieczny dalszej naszej dyskusji bo nie ma sensu dyskutować z kimkolwiek, kto nie potrafi operować techniką bramek logicznych.
Ostatnio zmieniony przez rafal3006 dnia Wto 18:20, 13 Cze 2023, 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: 15462
Przeczytał: 25 tematów
|
Wysłany: Śro 10:44, 14 Cze 2023 Temat postu: |
|
|
Najpierw odpowiedz na pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35553
Przeczytał: 16 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 10:53, 14 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Najpierw odpowiedz na pytanie. |
Dopóki nie zapiszesz zero-jedynkowe definicji twojego warunku wystarczającego => nie odpowiem na żadne twoje pytanie, bo ta definicja jest tu kluczową, byś zrozumiał sens najważniejszego znaczka w logice matematycznej, znaczka różne na mocy definicji ##
Ostatnio zmieniony przez rafal3006 dnia Śro 10:57, 14 Cze 2023, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 10:58, 14 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Najpierw odpowiedz na pytanie. |
Kogo obchodzą twoje pytania?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15462
Przeczytał: 25 tematów
|
Wysłany: Śro 11:34, 14 Cze 2023 Temat postu: |
|
|
Mowa jest o warunku koniecznym i tabelkę z tym dostałeś - i to wielokrotnie.
Jeżeli potrzebujesz WW, to usuń pozostałe kolumny oprócz S i N i będziesz miał.
A teraz odpowiedz na pytanie
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15352
Przeczytał: 87 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 11:37, 14 Cze 2023 Temat postu: |
|
|
Irbisol napisał: | Mowa jest o warunku koniecznym i tabelkę z tym dostałeś - i to wielokrotnie.
Jeżeli potrzebujesz WW, to usuń pozostałe kolumny oprócz S i N i będziesz miał.
A teraz odpowiedz na pytanie |
Czemu kłamiesz?
|
|
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
|