 |
Ś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ść |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
 Wysłany: Czw 15:10, 30 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Przepisz tylko ten fragment, o który zapytałem. |
Krętacz znowu lawiruje 
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 15:40, 30 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Przepisz tylko ten fragment, o który zapytałem. |
Bardzo proszę, możesz obalać 
Definicja implikacji prostej p|=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q
Dziedzina musi być szersza do sumy logicznej zbiorów p+q bowiem wtedy i tylko wtedy wszystkie pojęcia p, ~p, q i ~q będą rozpoznawalne, co widać na diagramie DIP niżej
A1: p=>q =1 - zbiór p jest (=1) podzbiorem => zbioru q (z definicji)
B1: p~>q =0 - zbiór p nie (=0) jest nadzbiorem ~> zbioru q (z definicji)
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0) = 1*1 =1
Czytamy:
Definicja implikacji prostej p|=>q w zbiorach jest spełniona wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1), ale nie jest nadzbiorem ~> zbioru q (B1)
Wniosek:
p ## q - zbiór p musi być różny na mocy definicji ## od zbioru q (nie mogą to być zbiory tożsame)
Na mocy powyższej definicji rysujemy diagram implikacji prostej p|=>q w zbiorach.
| Kod: |
DIP
Diagram implikacji prostej p|=>q w zbiorach
----------------------------------------------------------------------
| p | ~p |
|------------------------|-------------------------------------------|
| q | ~q |
|--------------------------------------------|-----------------------|
| A1: p=>q=1 (p*q=1) |B2’: ~p~~>q=~p*q=1 |A2:~p~>~q=1 (~p*~q=1) |
----------------------------------------------------------------------
| Dziedzina: |
| D=A1: p*q+A2:~p*~q+B2’:~p*q (suma logiczna zbiorów niepustych) |
| A1’: p~~>~q=p*~q=[] - zbiór pusty |
|--------------------------------------------------------------------|
| Diagram implikacji prostej p|=>q w zbiorach |
----------------------------------------------------------------------
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Prawo Słonia:
Warunek wystarczający => = relacja podzbioru =>
Warunek konieczny ~> = relacja nadzbioru ~>
|
Definicja dowolnego operatora logicznego wyrażona spójnikami "i"(*) i "lub"(+) to odpowiedź na dwa pytania:
1.
Kiedy zajdzie Y?
Y=f(x)
2.
Kiedy zajdzie ~Y?
Negujemy 1 stronami:
~Y=~f(x)
Na mocy diagramu DIP zapisujemy.
Budowa funkcji logicznej Y w logice dodatniej (bo Y) dla tabeli DIP jest następująca:
1.
Y = (p=>q) = ~p+q = A: p*q + B: ~p*~q + C: ~p*q
Czytamy:
Może się zdarzyć (Y) że którykolwiek z członów niepustych i rozłącznych A, B albo C przyjmie wartość logiczną 1 - pozostałe człony dla tego konkretnego przypadku przyjmą wartość zera (=0).
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję logiczną 1:
2.
~Y = ~(~p+q) = p*~q
Z tabeli DIP widać że wyrażenie p*~q jest zbiorem pustym, bo zbiory p i ~q są zbiorami rozłącznymi.
Funkcję logiczną 2 czytamy:
Nie może się zdarzyć (~Y), że istnieje element wspólny zbiorów p i ~q
Poprawność zarówno funkcji logicznej 1, jak i funkcji logicznej 2 doskonale widać w tabeli DIP
Wstęp do bredni Irbisola:
Definicja równoważności p<=> w spójnikach "i"(*) i "lub"(+) znana każdemu matematykowi jest oczywiście taka.
p<=>q = p*q + ~p*~q
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (albo odwrotnie)
p=q <=> p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Poprawność prawa Irbisa widzi absolutnie każdy uczeń I klasy LO (póki co w 100-milowym lesie)
Prawą stronę czytamy bowiem:
Zachodzi tożsamość zbiorów/pojęć p=q wtedy i tylko wtedy dowolny zbiór/pojęcie jest zarówno podzbiorem => (A1) jak i nadzbiorem ~> (B1) siebie samego.
Stąd mamy:
p=q <=> (A1: p=>q)*(B1: p~>q) =1*1=1
Doskonale to widać w tabeli DR w cytacie.
cnd
Przyjrzyj się teraz Irbisolu, jakie kosmiczne brednie wypisujesz!
Poprawna funkcja logiczna Y dla tabeli DIP to:
Y = (p=>q) = ~p+q = A: p*q + B: ~p*~q + C: ~p*q
Czyli:
Y = (p=>q) = p*q + ~p*~q + ~p*q
Nasz Irbisol stosuje tu definicję równoważności p<=>q w spójnikach "i"(*) i "lub"(+) znaną każdemu matematykowi.
p<=>q = p*q + ~p*~q
Stąd Irbisolowa funkcja logiczna dla tabeli DIP wygląda następująco:
Y = (p=>q) = p<=>q +~p*q
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (albo odwrotnie)
p=q <=> p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Kwadratura koła dla Irbisola:
Przyjrzyj się irbisolu tabeli DIP!
Ty na serio widzisz w tej tabeli tożsamość zbiorów p=q?!
Innymi słowy Irbisolu:
Obaliłeś albo twoje durne podstawienie, albo prawo Irbisa!
Co wybierasz?
Poproszę o odpowiedź na serio.
P.S.
Jak widzisz Irbisolu, w niniejszym poście nie ma śladu twojego kata, czyli konkretnych zbiorów P8 i P2, a i tak twoja głowa została ścięta.
Zgadzasz się z tym faktem?
… nie ma nic bardziej upartego od faktów.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Czw 16:25, 30 Mar 2023 Temat postu: |
|
|
|
Ale bez definicji. Załóż, że je znam i od razu przejdź do dowodu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 16:32, 30 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Ale bez definicji. Załóż, że je znam i od razu przejdź do dowodu. |
Irbisolu, z Urbanem nie mam zamiaru dyskutować - ty musisz zrozumieć definicje podane w poście wyżej inaczej dyskusja nie ma sensu.
Alternatywą jest obalenie przedstawionych wyżej definicji - oczywiście głupotą jest slogan "definicji się nie obala".
Pokaż zatem jeden kontrprzykład gdzie kluczowa tu definicja implikacji prostej p|=>q nie działa (załamuje się)
Czas START!
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Czw 16:37, 30 Mar 2023 Temat postu: |
|
|
Skąd wiesz, że tych definicji nie znam - tym bardziej, że pierdyliard razy je podawałeś?
Przedstaw sam dowód. Odniosę się - ale spamu po raz 500. nie będę tolerował.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 16:38, 30 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | Skąd wiesz, że tych definicji nie znam - tym bardziej, że pierdyliard razy je podawałeś?
Przedstaw sam dowód. Odniosę się - ale spamu po raz 500. nie będę tolerował. |
Kłamca znowu kłamie
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Czw 17:12, 30 Mar 2023 Temat postu: |
|
|
Teoria implikacji prostej p|=>q
| Irbisol napisał: | Skąd wiesz, że tych definicji nie znam - tym bardziej, że pierdyliard razy je podawałeś?
Przedstaw sam dowód. Odniosę się - ale spamu po raz 500. nie będę tolerował. |
Kłamiesz że znasz definicję implikacji prostej p|=>q, bo gdybyś znał to byś zrozumiał iż ziemski KRZ leży tu w gruzach.
Algebra Kubusia to Armagedon twojego ukochanego boga, Klasycznego Rachunku Zdań.
Dowodem jest tu podsumowanie wykładu w niniejszym poście:
Podsumowanie:
Jak widzimy, istotą operatora implikacji prostej p||=>q jest gwarancja matematyczna => po stronie p (zdanie A1), oraz „rzucanie monetą” w sensie „na dwoje babka wróżyła” po stronie ~p (zdania A2 i B2’) .
Pokaż mi dowolny ziemski podręcznik logiki matematycznej, gdzie logika widzi najzwyklejsze "rzucanie monetą" w sensie "na dwoje babka wróżyła".
W algebrze Kubusia "rzucanie monetą" to też jest matematyka ścisła! - a jak jest w twoim prywatnym KRZ, bo na 100% twój prywatny KRZ ma ZERO wspólnego z KRZ ziemskich matematyków.
Dowodem jest tu twoja OSOBISTA świętość:
Implikacja z KRZ => = Warunek wystarczający =>
Irbisolu, prawda jest taka, że prawa strona tej tożsamości wpycha cię w ramiona algebry Kubusia, gdzie kluczowymi pojęciami są właśnie:
I.
Warunek wystarczający =>
p=>q =1 - wtedy i tylko wtedy gdy zajście p wystarcza => dla zajścia q (warunek wystarczający =>)
Inaczej:
p=>q =0
II.
Warunek konieczny ~>
p~>q =1 - wtedy i tylko wtedy gdy zajście p jest konieczne ~> dla zajścia q (warunek konieczny ~>)
Inaczej:
p~>q =1
Uważaj Irbisolu - ty masz czytać i OBALAĆ to co piszę - to jest twoja główna misja Ziemi, moją jest rozszyfrowanie algebry Kubusia, w czym bardzo mi pomagasz.
Teorię implikacji prostej p|=>q masz niżej - to jest fragment z AK:
http://www.sfinia.fora.pl/forum-kubusia,12/kompendium-algebry-kubusia,21937-25.html#708555
| rafal3006 napisał: | Algebra Kubusia - matematyka języka potocznego
14.0 Implikacja prosta p|=>q w zbiorach |
Spis treści
14.0 Implikacja prosta p|=>q w zbiorach 1
14.1 Symboliczna tabela prawdy implikacji prostej p|=>q w zbiorach 4
14.1.1 Operator implikacji prostej p||=>q w zbiorach 5
14.0 Implikacja prosta p|=>q w zbiorach
| 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
|
Definicja kontrprzykładu w zbiorach:
Kontrprzykładem dla warunku wystarczającego p=>q nazywamy to samo zdanie z zanegowanym następnikiem kodowane elementem wspólnym zbiorów p~~>~q=p*~q
Rozstrzygnięcia:
Prawdziwość warunku wystarczającego p=>q=1 wmusza fałszywość kontrprzykładu p~~>~q=p*~q=0 (i odwrotnie)
Fałszywość warunku wystarczającego p=>q=0 wmusza prawdziwość kontrprzykładu p~~>~q=p*~q=1 (i odwrotnie)
Definicja implikacji prostej p|=>q:
Implikacja prosta p|=>q w logice dodatniej (bo q) to spełniony wyłącznie warunek wystarczający => między tymi samymi punktami i w tym samym kierunku.
A1: p=>q =1 - p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - p nie jest (=0) konieczne ~> dla zajścia q
Stąd:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0)=1*1=1
Czytamy:
Implikacja prosta p|=>q w logice dodatniej (bo q) jest spełniona (=1) wtedy i tylko wtedy gdy zajście p jest wystarczające => dla zajścia q (A1: p=>q=1), ale nie jest konieczne ~> dla zajścia q (B1: p~>q=0)
Podstawmy definicję implikacji prostej p|=>q do matematycznych związków warunku wystarczającego => i koniecznego ~> z uwzględnieniem definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>.
| Kod: |
IP:
Implikacja prosta p|=>q:
A1: p=>q =1 - p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - p nie jest (=0) konieczne ~> dla zajścia q
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0)=1*1=1
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w implikacji prostej p|=>q
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q =1 = 2:~p~>~q =1 [=] 3: q~>p =1 = 4:~q=>~p =1
A': 1: p~~>~q=0 [=] 4:~q~~>p =0
## ## ## ##
B: 1: p~>q =0 = 2:~p=>~q =0 [=] 3: q=>p =0 = 4:~q~>~p =0
B': 2:~p~~>q =1 [=] 3: q~~>~p=1
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:
## - 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
|
I Prawo Sowy dla implikacji prostej p|=>q
Dla udowodnienia prawdziwości wszystkich zdań serii Ax potrzeba i wystarcza udowodnić prawdziwość dowolnego zdania serii Ax
##
II Prawo Sowy dla implikacji prostej p|=>q
Dla udowodnienia fałszywości wszystkich zdań serii Bx potrzeba i wystarcza udowodnić fałszywość dowolnego zdania serii Bx
Gdzie:
## - różne na mocy definicji
Uwagi:
1.
Na mocy definicji kontrprzykładu prawdziwe warunki wystarczające => w linii Ax wymuszają fałszywe kontrprzykłady Ax'
2.
Na mocy definicji kontrprzykładu fałszywe warunki wystarczające => w linii Bx wymuszają prawdziwe kontrprzykłady Bx'.
Zauważmy że:
1.
Definicję implikacji prostej p|=>q w logice dodatniej (bo q) mamy w kolumnie A1B1.
Definicja implikacji prostej p|=>q:
Implikacja prosta p|=>q w logice dodatniej (bo q) to spełniony wyłącznie warunek wystarczający => między tymi samymi punktami i w tym samym kierunku.
A1: p=>q =1 - p jest (=1) wystarczające => dla zajścia q
B1: p~>q =0 - p nie jest (=0) konieczne ~> dla zajścia q
Stąd:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0)=1*1=1
Wniosek:
Implikacja prosta A1B1: p|=>q w logice dodatniej (bo q) daje odpowiedź na pytanie o p.
2.
Definicję implikacji odwrotnej ~p|~>~q w logice ujemnej (bo ~q) mamy w kolumnie A2B2.
Definicja implikacji odwrotnej ~p|~>~q):
Implikacja odwrotna ~p|~>~q w logice ujemnej (bo ~q) to spełniony wyłącznie warunek konieczny ~> między tymi samymi punktami i w tym samym kierunku.
A2: ~p~>~q =1 - zajście ~p jest (=1) konieczne ~> dla zajścia ~q
B2: ~p=>~q =0 - zajście ~p nie jest (=0) wystarczające => dla zajścia ~q
Stąd:
A2B2: ~p|~>~q = (A2:~p~>~q)*~(B2: ~p=>~q) = 1*~(0)=1*1=1
Wniosek:
Implikacja odwrotna A2B2: ~p|~>~q w logice ujemnej (bo ~q) daje odpowiedź na pytanie o ~p.
Matematycznie zachodzi tożsamość logiczna [=]:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) [=] A2B2: ~p|~>~q = (A2:~p~>~q)*~(B2: ~p=>~q)
Definicja tożsamości logicznej [=]:
Prawdziwość dowolnej strony tożsamości logicznej [=] wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony tożsamości logicznej [=] wymusza fałszywość drugiej strony
Gdzie:
[=], "=", <=> (wtedy i tylko wtedy) - tożsame znaczki tożsamości logicznej
Dowodem są tu prawa Kubusia:
A1: p=>q = A2: ~p~>~q = ~p+q
##
B1: p~>q = B2: ~p=>~q = p+~q
Gdzie:
## - różne na mocy definicji
cnd
Dowód tożsamy w spójnikach "i"(*) i "lub"(+).
Definicja implikacji prostej p|=>q w spójnikach "i"(*) i "lub"(+):
p|=>q = ~p*q (pkt.2.8)
Definicja implikacji odwrotnej p|~>q w spójnikach "i"(*) i "lub"(+):
p|~>q = p*~q (pkt. 2.8)
Mamy do udowodnienia:
A1B1: p|=>q = A2B2: ~p|~>~q
Rozwijamy prawą stronę definicją implikacji odwrotnej p|~>q:
A2B2: ~p|~>~q = (~p)*~(~q) = ~p*q = A1B1: p|=>q
cnd
14.1 Symboliczna tabela prawdy implikacji prostej p|=>q w zbiorach
Definicja implikacji prostej p|=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q
Dziedzina musi być szersza do sumy logicznej zbiorów p+q bowiem wtedy i tylko wtedy wszystkie pojęcia p, ~p, q i ~q będą rozpoznawalne, co widać na diagramie DIP niżej
A1: p=>q =1 - zbiór p jest (=1) podzbiorem => zbioru q (z definicji)
B1: p~>q =0 - zbiór p nie (=0) jest nadzbiorem ~> zbioru q (z definicji)
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0) = 1*1 =1
Czytamy:
Definicja implikacji prostej p|=>q w zbiorach jest spełniona wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1), ale nie jest nadzbiorem ~> zbioru q (B1)
Wniosek:
p ## q - zbiór p musi być różny na mocy definicji ## od zbioru q (nie mogą to być zbiory tożsame)
Na mocy powyższej definicji rysujemy diagram implikacji prostej p|=>q w zbiorach.
| Kod: |
DIP
Diagram implikacji prostej p|=>q w zbiorach
----------------------------------------------------------------------
| p | ~p |
|------------------------|-------------------------------------------|
| q | ~q |
|--------------------------------------------|-----------------------|
| A1: p=>q=1 (p*q=1) |B2’: ~p~~>q=~p*q=1 |A2:~p~>~q=1 (~p*~q=1) |
----------------------------------------------------------------------
| Dziedzina: |
| D=A1: p*q+A2:~p*~q+B2’:~p*q (suma logiczna zbiorów niepustych) |
| A1’: p~~>~q=p*~q=[] - zbiór pusty |
|--------------------------------------------------------------------|
| Diagram implikacji prostej p|=>q w zbiorach |
----------------------------------------------------------------------
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Prawo Słonia:
Warunek wystarczający => = relacja podzbioru =>
Warunek konieczny ~> = relacja nadzbioru ~>
|
Prawo Pantery:
W teorii zbiorów warunkiem koniecznym przynależności zdania warunkowego "Jeśli p to q" do operatora implikacyjnego jest, by suma logiczna zbiorów definiowanych w poprzedniku p i następniku q była mniejsza od przyjętej, wspólnej dziedziny.
p+q <D (dziedzina)
Z diagramu DIP odczytujemy:
p+q =q < D=p+~p
Prawo Pantery jest spełnione.
cnd
Podstawmy definicję implikacji prostej p|=>q do matematycznych związków warunku wystarczającego => i koniecznego ~> z uwzględnieniem definicji kontrprzykładu, obowiązującego wyłącznie w warunku wystarczającym =>.
| Kod: |
IP:
Implikacja prosta p|=>q w zbiorach (DIP):
A1: p=>q =1 - zbiór p jest (=1) podzbiorem => zbioru q
B1: p~>q =0 - zbiór p nie jest (=0) nadzbiorem ~> zbioru q
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0)=1*1=1
Matematyczne związki warunku wystarczającego => i koniecznego ~>
w implikacji prostej p|=>q
A1B1: A2B2: | A3B3: A4B4:
A: 1: p=>q =1 = 2:~p~>~q =1 [=] 3: q~>p =1 = 4:~q=>~p =1
A': 1: p~~>~q=0 [=] 4:~q~~>p =0
## ## ## ##
B: 1: p~>q =0 = 2:~p=>~q =0 [=] 3: q=>p =0 = 4:~q~>~p =0
B': 2:~p~~>q =1 [=] 3: q~~>~p=1
Gdzie:
## - 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
Prawo Słonia:
Warunek wystarczający => = relacja podzbioru =>
Warunek konieczny ~> = relacja nadzbioru ~>
|
14.1.1 Operator implikacji prostej p||=>q w zbiorach
Definicja operatora implikacji prostej p||=>q:
Operator implikacji prostej p||=>q to układ równań A1B1 i A2B2 dający odpowiedź na pytanie o p (A1B1) i ~p (A2B2).
Kolumna A1B1:
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Kolumna A2B2:
A2B2: ~p|~>~q = (A2:~p~>~q)*~(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p?
A1B1
Co może się wydarzyć jeśli zajdzie p?
A1: p=>q =1 - zajście p jest (=1) warunkiem wystarczającym => dla zajścia q
B1: p~>q =0 - zajście p nie jest (=0) warunkiem koniecznym ~> dla zajścia q
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) = 1*~(0)=1*1=1
Prawą stronę A1B1 czytamy:
Zajście p jest (=1) warunkiem wystarczającym => dla zajścia q (A1: p=>q=1), ale nie jest (=0) warunkiem koniecznym ~> dla zajścia q (B1: p~>q=0)
Na mocy prawa Słonia prawą stronę A1B1 czytamy:
Zbiór p jest (=1) podzbiorem => zbioru q (A1: p=>q=1), ale nie jest (=0) nadzbiorem ~> zbioru q (B1: p~>q=0)
Wniosek:
p ## q - zbiór p jest różny na mocy definicji ## od zbioru q (nie są to zbiory tożsame)
Dowód: diagram DIP
A1B1
Co może się wydarzyć jeśli zajdzie p?
Odpowiedź w zdaniach warunkowych "Jeśli p to q" odczytujemy z kolumny A1B1:
A1.
Jeśli dowolny element należy do zbioru p to na 100% => należy do q
p=>q =1
Przynależność elementu do zbioru p jest (=1) wystarczająca => by należał on do zbioru q
Na mocy prawa Słonia czytamy:
Wylosowanie dowolnego elementu ze zbioru p jest (=1) warunkiem wystarczającym => by ten element należał do zbioru q wtedy i tylko wtedy gdy zbiór p jest (=1) podzbiorem => zbioru q
Dowód: diagram DIP
Prawdziwy warunek wystarczający A1: p=>q=1 wymusza fałszywy kontrprzykład A1' (i odwrotnie)
A1'.
Jeśli zajdzie p to może ~~> zajść ~q
p~~>~q=p*~q =0
Nie istnieje (=0) wspólny element ~~> zbiorów p i ~q
To jest dowód "nie wprost" fałszywości zdania A1' na mocy definicji kontrprzykładu.
Dowód wprost: diagram DIP
… a jeśli zajdzie ~p?
Prawo Kubusia:
A1: p=>q = A2:~p~>~q
Idziemy do kolumny A2B2.
A2B2
Co może się wydarzyć jeśli zajdzie ~p?
A2: ~p~>~q =1 - zajście ~p jest (=1) konieczne ~> dla zajścia ~q
B2: ~p=>~q =0 - zajście ~p nie jest (=0) wystarczające => dla zajścia ~q
A2B2: ~p|~>~q = (A2:~p~>~q)*~(B2: ~p=>~q) = 1*~(0)=1*1=1
Prawą stronę A2B2 czytamy:
Zajście ~p jest (=1) warunkiem koniecznym ~> dla zajścia ~q (A2: ~p~>~q=1), ale nie jest (=0) warunkiem wystarczającym => dla zajścia ~q (B2: ~p=>~q=0).
Na mocy prawa Słonia prawą stronę A2B2 czytamy:
Zbiór ~p jest (=1) nadzbiorem ~> zbioru ~q (B2: ~p~>~q=1), ale nie jest (=0) podzbiorem => zbioru ~q (A1: ~p=>~q=0)
Wniosek:
~p ## ~q - zbiór ~p jest różny na mocy definicji ## od zbioru ~q (nie są to zbiory tożsame)
Dowód: diagram DIP
A2B2
Co może się wydarzyć jeśli zajdzie ~p?
Odpowiedź w zdaniach warunkowych "Jeśli p to q" odczytujemy z kolumny A2B2:
A2.
Jeśli dowolny element należy do zbioru ~p to może ~> należeć do ~q
~p~>~q =1
Przynależność elementu do zbioru ~p jest (=1) warunkiem koniecznym ~> dla jego przynależności do zbioru ~q
Na mocy prawa Słonia dla zbiorów czytamy:
Wylosowanie dowolnego elementu ze zbioru ~p jest warunkiem koniecznym ~> by ten element należał do zbioru ~q wtedy i tylko wtedy gdy zbiór ~p jest nadzbiorem ~> zbioru ~q
Dowód: diagram DIP
lub
B2'.
Jeśli zajdzie ~p to może ~~> zajść q
~p~~>q =~p*q =1
Istnieje (=1) wspólny element ~~> zbiorów ~p i q
Na mocy definicji kontrprzykładu fałszywość warunku wystarczającego B2: ~p=>~q =0 wymusza prawdziwość kontrprzykładu B2': ~p~~>q=1 (i odwrotnie).
To jest dowód "nie wprost" prawdziwości zdania B2'
Dowód wprost: diagram DIP
Podsumowanie:
Jak widzimy, istotą operatora implikacji prostej p||=>q jest gwarancja matematyczna => po stronie p (zdanie A1), oraz „rzucanie monetą” w sensie „na dwoje babka wróżyła” po stronie ~p (zdania A2 i B2’) .
Zauważmy że:
a)
Układ równań logicznych jest przemienny, stąd mamy:
Operator implikacji odwrotnej ~p||~>~q to układ równań logicznych:
A2B2: ~p|~>~q = (A2:~p~>~q)*~(B2: ~p=>~q) - co może się wydarzyć jeśli zajdzie ~p?
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) - co może się wydarzyć jeśli zajdzie p?
Doskonale widać, że analiza matematyczna operatora implikacji odwrotnej A2B2: ~p||~>~q w logice ujemnej (bo ~q) będzie identyczna jak operatora implikacji prostej A1B1: p||=>q w logice dodatniej (bo q) z tym, że zaczynamy od kolumny A2B2 kończąc na kolumnie A1B1.
b)
Także kolejność wypowiadanych zdań jest dowolna, tak więc zdania z powyższej analizy A1, A1’, A2, B2’ możemy wypowiadać w sposób losowy - matematycznie to bez znaczenia.
Ostatnio zmieniony przez rafal3006 dnia Czw 17:21, 30 Mar 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: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 17:27, 30 Mar 2023 Temat postu: |
|
|
| rafal3006 napisał: | Teoria implikacji prostej p|=>q
| Irbisol napisał: | Skąd wiesz, że tych definicji nie znam - tym bardziej, że pierdyliard razy je podawałeś?
Przedstaw sam dowód. Odniosę się - ale spamu po raz 500. nie będę tolerował. |
Kłamiesz |
Otóż to
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Czw 20:01, 30 Mar 2023 Temat postu: |
|
|
|
Jest tam ten dowód?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Czw 20:57, 30 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Jest tam ten dowód? |
| rafal3006 napisał: |
Kłamiesz |
Ostatnio zmieniony przez fedor dnia Czw 20:58, 30 Mar 2023, 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: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 1:07, 31 Mar 2023 Temat postu: |
|
|
… nie ma nic bardziej upartego od faktów!
| Irbisol napisał: | | Jest tam ten dowód? |
Irbisolu, zachowujesz się jak "szachista" który zna legalne ruchy w szachach i nic więcej, który podsuwa hetmana pod bicie pionem i twierdzi, że umie grać w szachy ... a to że za chwilkę hetman straci głowę już cię nie obchodzi.
Najprostszy możliwy dowód jak bardzo bredzisz masz niżej - twoim zadaniem jest pokazanie błędu czysto matematycznego w tym dowodzie.
Nic więcej w tym temacie nie napiszę dopóki nie pokażesz iż mój dowód jest matematycznie błędny.
Czas Start.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2575.html#714087
| rafal3006 napisał: | | Irbisol napisał: | | Przepisz tylko ten fragment, o który zapytałem. |
Bardzo proszę, możesz obalać
Definicja implikacji prostej p|=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q
Dziedzina musi być szersza do sumy logicznej zbiorów p+q bowiem wtedy i tylko wtedy wszystkie pojęcia p, ~p, q i ~q będą rozpoznawalne, co widać na diagramie DIP niżej
A1: p=>q =1 - zbiór p jest (=1) podzbiorem => zbioru q (z definicji)
B1: p~>q =0 - zbiór p nie (=0) jest nadzbiorem ~> zbioru q (z definicji)
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0) = 1*1 =1
Czytamy:
Definicja implikacji prostej p|=>q w zbiorach jest spełniona wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1), ale nie jest nadzbiorem ~> zbioru q (B1)
Wniosek:
p ## q - zbiór p musi być różny na mocy definicji ## od zbioru q (nie mogą to być zbiory tożsame)
Na mocy powyższej definicji rysujemy diagram implikacji prostej p|=>q w zbiorach.
| Kod: |
DIP
Diagram implikacji prostej p|=>q w zbiorach
----------------------------------------------------------------------
| p | ~p |
|------------------------|-------------------------------------------|
| q | ~q |
|--------------------------------------------|-----------------------|
| A1: p=>q=1 (p*q=1) |B2’: ~p~~>q=~p*q=1 |A2:~p~>~q=1 (~p*~q=1) |
----------------------------------------------------------------------
| Dziedzina: |
| D=A1: p*q+A2:~p*~q+B2’:~p*q (suma logiczna zbiorów niepustych) |
| A1’: p~~>~q=p*~q=[] - zbiór pusty |
|--------------------------------------------------------------------|
| Diagram implikacji prostej p|=>q w zbiorach |
----------------------------------------------------------------------
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Prawo Słonia:
Warunek wystarczający => = relacja podzbioru =>
Warunek konieczny ~> = relacja nadzbioru ~>
|
Definicja dowolnego operatora logicznego wyrażona spójnikami "i"(*) i "lub"(+) to odpowiedź na dwa pytania:
1.
Kiedy zajdzie Y?
Y=f(x)
2.
Kiedy zajdzie ~Y?
Negujemy 1 stronami:
~Y=~f(x)
Na mocy diagramu DIP zapisujemy.
Budowa funkcji logicznej Y w logice dodatniej (bo Y) dla tabeli DIP jest następująca:
1.
Y = (p=>q) = ~p+q = A: p*q + B: ~p*~q + C: ~p*q
Czytamy:
Może się zdarzyć (Y) że którykolwiek z członów niepustych i rozłącznych A, B albo C przyjmie wartość logiczną 1 - pozostałe człony dla tego konkretnego przypadku przyjmą wartość zera (=0).
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję logiczną 1:
2.
~Y = ~(~p+q) = p*~q
Z tabeli DIP widać że wyrażenie p*~q jest zbiorem pustym, bo zbiory p i ~q są zbiorami rozłącznymi.
Funkcję logiczną 2 czytamy:
Nie może się zdarzyć (~Y), że istnieje element wspólny zbiorów p i ~q
Poprawność zarówno funkcji logicznej 1, jak i funkcji logicznej 2 doskonale widać w tabeli DIP
Wstęp do bredni Irbisola:
Definicja równoważności p<=> w spójnikach "i"(*) i "lub"(+) znana każdemu matematykowi jest oczywiście taka.
p<=>q = p*q + ~p*~q
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (albo odwrotnie)
p=q <=> p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Poprawność prawa Irbisa widzi absolutnie każdy uczeń I klasy LO (póki co w 100-milowym lesie)
Prawą stronę czytamy bowiem:
Zachodzi tożsamość zbiorów/pojęć p=q wtedy i tylko wtedy dowolny zbiór/pojęcie jest zarówno podzbiorem => (A1) jak i nadzbiorem ~> (B1) siebie samego.
Stąd mamy:
p=q <=> (A1: p=>q)*(B1: p~>q) =1*1=1
Doskonale to widać w tabeli DR w cytacie.
cnd
Przyjrzyj się teraz Irbisolu, jakie kosmiczne brednie wypisujesz!
Poprawna funkcja logiczna Y dla tabeli DIP to:
Y = (p=>q) = ~p+q = A: p*q + B: ~p*~q + C: ~p*q
Czyli:
Y = (p=>q) = p*q + ~p*~q + ~p*q
Nasz Irbisol stosuje tu definicję równoważności p<=>q w spójnikach "i"(*) i "lub"(+) znaną każdemu matematykowi.
p<=>q = p*q + ~p*~q
Stąd Irbisolowa funkcja logiczna dla tabeli DIP wygląda następująco:
Y = (p=>q) = p<=>q +~p*q
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (albo odwrotnie)
p=q <=> p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Kwadratura koła dla Irbisola:
Przyjrzyj się irbisolu tabeli DIP!
Ty na serio widzisz w tej tabeli tożsamość zbiorów p=q?!
Innymi słowy Irbisolu:
Obaliłeś albo twoje durne podstawienie, albo prawo Irbisa!
Co wybierasz?
Poproszę o odpowiedź na serio.
P.S.
Jak widzisz Irbisolu, w niniejszym poście nie ma śladu twojego kata, czyli konkretnych zbiorów P8 i P2, a i tak twoja głowa została ścięta.
Zgadzasz się z tym faktem?
… nie ma nic bardziej upartego od faktów! |
Ostatnio zmieniony przez rafal3006 dnia Pią 6:42, 31 Mar 2023, w całości zmieniany 9 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Pią 7:44, 31 Mar 2023 Temat postu: |
|
|
|
Zadałeś mi pytanie, a miałeś przedstawić dowód.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 8:11, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Zadałeś mi pytanie, a miałeś przedstawić dowód. |
Bardzo proszę,
Najkrótszy możliwy dowód, krótszego nie będzie, bo w Urbana nie zamierzam się bawić.
http://www.sfinia.fora.pl/filozofia,4/algebra-kubusia-rewolucja-w-logice-matematycznej,16435-2575.html#714087
| rafal3006 napisał: | | Irbisol napisał: | | Przepisz tylko ten fragment, o który zapytałem. |
Bardzo proszę, możesz obalać
Definicja implikacji prostej p|=>q w zbiorach:
Zbiór p jest podzbiorem => zbioru q i nie jest tożsamy ze zbiorem q
Dziedzina musi być szersza do sumy logicznej zbiorów p+q bowiem wtedy i tylko wtedy wszystkie pojęcia p, ~p, q i ~q będą rozpoznawalne, co widać na diagramie DIP niżej
A1: p=>q =1 - zbiór p jest (=1) podzbiorem => zbioru q (z definicji)
B1: p~>q =0 - zbiór p nie (=0) jest nadzbiorem ~> zbioru q (z definicji)
A1B1: p|=>q = (A1: p=>q)*~(B1: p~>q) =1*~(0) = 1*1 =1
Czytamy:
Definicja implikacji prostej p|=>q w zbiorach jest spełniona wtedy i tylko wtedy gdy zbiór p jest podzbiorem => zbioru q (A1), ale nie jest nadzbiorem ~> zbioru q (B1)
Wniosek:
p ## q - zbiór p musi być różny na mocy definicji ## od zbioru q (nie mogą to być zbiory tożsame)
Na mocy powyższej definicji rysujemy diagram implikacji prostej p|=>q w zbiorach.
| Kod: |
DIP
Diagram implikacji prostej p|=>q w zbiorach
----------------------------------------------------------------------
| p | ~p |
|------------------------|-------------------------------------------|
| q | ~q |
|--------------------------------------------|-----------------------|
| A1: p=>q=1 (p*q=1) |B2’: ~p~~>q=~p*q=1 |A2:~p~>~q=1 (~p*~q=1) |
----------------------------------------------------------------------
| Dziedzina: |
| D=A1: p*q+A2:~p*~q+B2’:~p*q (suma logiczna zbiorów niepustych) |
| A1’: p~~>~q=p*~q=[] - zbiór pusty |
|--------------------------------------------------------------------|
| Diagram implikacji prostej p|=>q w zbiorach |
----------------------------------------------------------------------
Gdzie:
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia
Prawo Słonia:
Warunek wystarczający => = relacja podzbioru =>
Warunek konieczny ~> = relacja nadzbioru ~>
|
Definicja dowolnego operatora logicznego wyrażona spójnikami "i"(*) i "lub"(+) to odpowiedź na dwa pytania:
1.
Kiedy zajdzie Y?
Y=f(x)
2.
Kiedy zajdzie ~Y?
Negujemy 1 stronami:
~Y=~f(x)
Na mocy diagramu DIP zapisujemy.
Budowa funkcji logicznej Y w logice dodatniej (bo Y) dla tabeli DIP jest następująca:
1.
Y = (p=>q) = ~p+q = A: p*q + B: ~p*~q + C: ~p*q
Czytamy:
Może się zdarzyć (Y) że którykolwiek z członów niepustych i rozłącznych A, B albo C przyjmie wartość logiczną 1 - pozostałe człony dla tego konkretnego przypadku przyjmą wartość zera (=0).
Kiedy zajdzie ~Y?
Negujemy dwustronnie funkcję logiczną 1:
2.
~Y = ~(~p+q) = p*~q
Z tabeli DIP widać że wyrażenie p*~q jest zbiorem pustym, bo zbiory p i ~q są zbiorami rozłącznymi.
Funkcję logiczną 2 czytamy:
Nie może się zdarzyć (~Y), że istnieje element wspólny zbiorów p i ~q
Poprawność zarówno funkcji logicznej 1, jak i funkcji logicznej 2 doskonale widać w tabeli DIP
Wstęp do bredni Irbisola:
Definicja równoważności p<=> w spójnikach "i"(*) i "lub"(+) znana każdemu matematykowi jest oczywiście taka.
p<=>q = p*q + ~p*~q
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (albo odwrotnie)
p=q <=> p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Poprawność prawa Irbisa widzi absolutnie każdy uczeń I klasy LO (póki co w 100-milowym lesie)
Prawą stronę czytamy bowiem:
Zachodzi tożsamość zbiorów/pojęć p=q wtedy i tylko wtedy dowolny zbiór/pojęcie jest zarówno podzbiorem => (A1) jak i nadzbiorem ~> (B1) siebie samego.
Stąd mamy:
p=q <=> (A1: p=>q)*(B1: p~>q) =1*1=1
Doskonale to widać w tabeli DR w cytacie.
cnd
Przyjrzyj się teraz Irbisolu, jakie kosmiczne brednie wypisujesz!
Poprawna funkcja logiczna Y dla tabeli DIP to:
Y = (p=>q) = ~p+q = A: p*q + B: ~p*~q + C: ~p*q
Czyli:
Y = (p=>q) = p*q + ~p*~q + ~p*q
Nasz Irbisol stosuje tu definicję równoważności p<=>q w spójnikach "i"(*) i "lub"(+) znaną każdemu matematykowi.
p<=>q = p*q + ~p*~q
Stąd Irbisolowa funkcja logiczna dla tabeli DIP wygląda następująco:
Y = (p=>q) = p<=>q +~p*q
Prawo Irbisa:
Dowolna równoważność prawdziwa p<=>q definiuje tożsamość zbiorów p=q (albo odwrotnie)
p=q <=> p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Kwadratura koła dla Irbisola:
Przyjrzyj się irbisolu tabeli DIP!
Ty na serio widzisz w tej tabeli tożsamość zbiorów p=q?!
Innymi słowy Irbisolu:
Obaliłeś albo twoje durne podstawienie, albo prawo Irbisa!
Co wybierasz?
Poproszę o odpowiedź na serio.
P.S.
Jak widzisz Irbisolu, w niniejszym poście nie ma śladu twojego kata, czyli konkretnych zbiorów P8 i P2, a i tak twoja głowa została ścięta.
Zgadzasz się z tym faktem?
… nie ma nic bardziej upartego od faktów! |
Podpowiedź:
Definicja chaosu p|~~>q gdzie wszystko może się zdarzyć:
p|~~>q = p*q + ~p*~q + p*~q + ~p*q
Zdaniem Irbisola zdanie tożsame to:
p|~~>q = p<=>q + p$q
Znaczenie znaczków:
<=> - wtedy i tylko wtedy
p$q - wybór jednej z dwóch dostępnych możliwości - albo($)
Definicje:
p<=>q = p*q+~p*~q
p$q = p*~q + ~p*q (spójnik "albo"($))
Czy czujesz bluesa Irbisolu?
Ostatnio zmieniony przez rafal3006 dnia Pią 8:19, 31 Mar 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: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 8:42, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Zadałeś mi pytanie, a miałeś przedstawić dowód. |
| rafal3006 napisał: |
Kłamiesz |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Pią 9:26, 31 Mar 2023 Temat postu: |
|
|
|
Znowu zadałeś pytanie zamiast przedstawić dowód.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 9:30, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Znowu zadałeś pytanie zamiast przedstawić dowód. |
| rafal3006 napisał: |
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: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 10:01, 31 Mar 2023 Temat postu: |
|
|
Czy Irbisol znajdzie nietrywialny błąd w swoim podstawieniu?
| Irbisol napisał: | | Znowu zadałeś pytanie zamiast przedstawić dowód. |
Bardzo proszę najkrótszy możliwy dowód iż bredzisz na przykładzie.
W logice matematycznej ziemian dowody na przykładzie są akceptowane czego dowód w tym linku:
Dowód prawa Małpki (Uwaga 2.7) w podręczniku „Wstęp do matematyki” autorstwa prof. L. Newelskiego.
[link widoczny dla zalogowanych]
Poza tym powiedz mi Irbisolu, co jest warta teoria do której nie da się podpiąć konkretnego przykładu?
Podpowiedź:
Jest gówno warta!
Zatem jedziemy na przykładzie:
Nasz spór idzie o:
P8=>P2 = ~P8+P2 = P8*P2 + ~P8*~P2 + ~P8*P2
To samo w zapisach formalnych:
p=>q = ~p+q = p*q + ~p*~q + ~p*q
To jest zapis definiujący warunek wystarczający => dla potrzeb rachunku zero-jedynkowego
Ty wykorzystujesz:
p<=>q = p*q + ~p*~q
Nasz przykład:
P8<=>P2 = P8*P2 + ~P8*~P2
Stąd masz:
P8=>P2 = ~P8+P2 = P8<=>P2 + ~P8*P2
Każdy matematyk (nawet słabiutki) widzi że:
P8<=>P2 =0
Stąd otrzymujesz:
P8=>P2 = ~P8+P2 = 0 + ~P8*P2 =~P8*P2
Twoim zadaniem jest znalezienie błędu.
Czas START
Podpowiem:
Nietrywialny błąd oczywiście JEST!
Czy mam ci go pokazać, czy chcesz samodzielnie odkryć ten błąd?
Ostatnio zmieniony przez rafal3006 dnia Pią 10:50, 31 Mar 2023, w całości zmieniany 7 razy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Pią 10:46, 31 Mar 2023 Temat postu: |
|
|
|
Miało nie być żadnych P2/P8.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 10:50, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Miało nie być żadnych P2/P8. |
| rafal3006 napisał: |
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: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 10:52, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | | Miało nie być żadnych P2/P8. |
Irbisolu, to P2/P8 niczemu tu nie przeszkadza!
Każdy programista wie:
Że dowolny błąd nietrywialny okazuje się trywialnym ... ale dopiero po jego znalezieniu.
Irbisolu, służę pomocą bowiem aktualnie z mojego punktu odniesienia błąd w twoim podstawieniu jest absolutnie trywialny, dosłownie na poziomie ucznia I klasy LO
Czy chcesz bym ci go pokazał - na 100% zrozumiesz
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Pią 11:08, 31 Mar 2023 Temat postu: |
|
|
Miałeś przedstawić dowód, a nie wymyślać jakieś zadania.
Trochę długo ci się schodzi z tym dowodem (nawiązując do twojego ulubionego "czas START").
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35963
Przeczytał: 15 tematów
Skąd: z innego Wszechświata
Płeć: Mężczyzna
|
| Wysłany: Pią 11:19, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | Miałeś przedstawić dowód, a nie wymyślać jakieś zadania.
Trochę długo ci się schodzi z tym dowodem (nawiązując do twojego ulubionego "czas START"). |
Nie wymyślam żadnych zadań, dostałeś ofertę dowodu z mojej strony gdzie robisz błąd, i nie chodzi tu o P2/P8, lecz TOTALNIE o coś innego.
Powtórzę:
| rafal3006 napisał: | | Irbisol napisał: | | Miało nie być żadnych P2/P8. |
Irbisolu, to P2/P8 niczemu tu nie przeszkadza!
Każdy programista wie:
Że dowolny błąd nietrywialny okazuje się trywialnym ... ale dopiero po jego znalezieniu.
Irbisolu, służę pomocą bowiem aktualnie z mojego punktu odniesienia błąd w twoim podstawieniu jest absolutnie trywialny, dosłownie na poziomie ucznia I klasy LO
Czy chcesz bym ci go pokazał - na 100% zrozumiesz!
|
TAK/NIE
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 11:28, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | Miałeś przedstawić dowód, a nie wymyślać jakieś zadania.
Trochę długo ci się schodzi z tym dowodem (nawiązując do twojego ulubionego "czas START"). |
| rafal3006 napisał: |
Kłamiesz |
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15707
Przeczytał: 42 tematy
|
| Wysłany: Pią 11:49, 31 Mar 2023 Temat postu: |
|
|
Nie pytaj, co chcę.
Pokaż w końcu ten dowód.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 36 tematów
Płeć: Mężczyzna
|
| Wysłany: Pią 11:57, 31 Mar 2023 Temat postu: |
|
|
| Irbisol napisał: | Nie pytaj, co chcę.
Pokaż w końcu ten dowód. |
| rafal3006 napisał: |
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
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
