|
Ś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ść |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Pon 18:23, 29 Maj 2023 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Temat jest o tym, czy KRZ zna warunek konieczny a nie o jakichś twoich prawach. |
KRZ nie zna definicji warunku koniecznego ~> |
Ale zna definicję warunku koniecznego <=
Definicje ci podawałem już wiele razy:
[link widoczny dla zalogowanych]
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Pon 18:26, 29 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Temat jest o tym, czy KRZ zna warunek konieczny a nie o jakichś twoich prawach. |
KRZ nie zna definicji warunku koniecznego ~> |
Ale zna definicję warunku koniecznego <=
Definicje ci podawałem już wiele razy:
[link widoczny dla zalogowanych] |
Znowu blefujesz. Przeszło to u ciebie w chorobliwy nałóg
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Pon 19:03, 29 Maj 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Temat jest o tym, czy KRZ zna warunek konieczny a nie o jakichś twoich prawach. |
KRZ nie zna definicji warunku koniecznego ~> |
Ale zna definicję warunku koniecznego <=
Definicje ci podawałem już wiele razy:
[link widoczny dla zalogowanych] |
W twoim linku jest definicja równoważności p<=>q, a ja nie chcę definicji równoważności bo mowa jest o definicji warunku koniecznego ~> w KRZ a nie o definicji równoważności <=>.
Chcę byś zapisał gołe, zero-jedynkowe definicje warunku wystarczającego => i koniecznego ~> na gruncie KRZ.
Rozumiesz co znaczy "gołe"?
Powtórzę:
KRZ nie zna definicji warunku koniecznego ~>
Jeśli twierdzisz że zna to zapisz mi poniższe definicje w postaci zero-jedynkowej.
Podkreślę:
Chcę zobaczyć:
1.
Gołą definicję warunku wystarczającego =>
2.
Gołą definicję warunku koniecznego ~>
3.
Gołą tzn nie powiązaną z czymkolwiek w logice matematycznej np. z definicją równoważności p<=>q
Skup się i uważaj:
Nie wolno ci tu zapisywać definicji równoważności p<=>q bo matematycznie zachodzi:
Równoważność p<=>q = p*q+~p*~q ## Warunek wystarczający p=>q=~p+q ## Warunek konieczny p~>q = p+~q
Gdzie:
## - rożne na mocy definicji
Powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Wto 11:01, 30 Maj 2023 Temat postu: |
|
|
W linku jest też definicja warunku koniecznego i wystarczającego.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Wto 11:07, 30 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | W linku jest też definicja warunku koniecznego i wystarczającego. |
Nie oszukuj. To niegrzeczne
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 13:43, 30 Maj 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
Irbisol napisał: | W linku jest też definicja warunku koniecznego i wystarczającego. |
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
|
Link Irbisola:
[link widoczny dla zalogowanych]
Irbisolu,
Ten twój link zapisały matematyczne matoły nie znające banalnych trzech różnych na mocy definicji ## pojęć:
1.
Warunku wystarczającego =>:
p=>q = ~p+q
##
2.
Warunku koniecznego ~>:
p~>q = p+~q
##
3.
Definicja równoważności <=>:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) =1*1=1
Gdzie:
## - różne na mocy definicji
Irbisolu,
Ile razy mam ci powtarzać, że definicja równoważności <=> nie definiuje ani warunku wystarczającego =>, ani też warunku koniecznego ~>.
Definicja równoważności tylko i wyłącznie korzysta z definicji tych warunków:.
Dowód:
Definicja znaczka =>:
p=>q = ~p+q
Definicja znaczka ~>:
p~>q = p+~q
Stąd mamy:
A1B1: p<=>q = (A1: p=>q)*(B1: p~>q) = (~p+q)*(p+~q) = ~p*p + ~p*~q + q*p + q*~q = p*q+~p*~q
Stąd mamy:
Do zapamiętania:
Definicja równoważności w spójnikach "i"(*) i "lub"(+):
p<=>q = p*q+~p*~q
Powtórzę kluczowe tu zdanie:
Irbisolu,
Ile razy mam ci powtarzać, że definicja równoważności <=> nie definiuje ani warunku wystarczającego =>, ani też warunku koniecznego ~>.
Zgadzasz się z tym faktem?
TAK/NIE
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Wto 14:26, 30 Maj 2023 Temat postu: |
|
|
Odpowiedz na to, co napisałem wyżej.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 15:11, 30 Maj 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
Irbisol napisał: | W linku jest też definicja warunku koniecznego i wystarczającego. |
Irbisol napisał: | Odpowiedz na to, co napisałem wyżej. |
Czytać ze zrozumieniem nie umiesz:
Nie ma!
Bo definicja równoważności <=> o której w tym linku:
[link widoczny dla zalogowanych]
p<=>q =p*q+~p*~q
##
jest różna na mocy definicji ## zarówno od definicji warunku wystarczającego =>:
p=>q = ~p+q
##
Jak również różna na mocy definicji ## od warunku koniecznego ~>:
p~>q = p+~q
Gdzie:
## - różne na mocy definicji
Irbisolu,
Ja oczekuję od ciebie zapisania na gruncie KRZ gołej definicji warunku wystarczającego => i gołej definicji warunku koniecznego ~> jak niżej.
W algebrze Kubusia te gołe definicje wyglądają tak:
Kod: |
TW.
Zero-jedynkowa definicja
warunku wystarczającego =>
p q Y=(p=>q)=~p+q
A: 1 1 =1
B: 1 0 =0
C: 0 0 =1
D: 0 1 =1
1 2 3
|
##
Kod: |
TK.
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia.
Irbisolu, powtórzę:
Ja oczekuję od ciebie zapisania na gruncie KRZ gołej definicji warunku wystarczającego => i gołej definicji warunku koniecznego ~> jak wyżej.
Wszyscy widzą, że gołych definicji warunku wystarczającego => i koniecznego ~> jak wyżej na gruncie KRZ nigdy nie zapiszesz bo po pierwsze nigdzie ich nie znajdziesz w logice matematycznej ziemian (Internet, podręczniki etc) a po drugie … strach przed skutkami takiego zapisu cię paraliżuje.
Innymi słowy:
Leżymy, kwiczymy i błagamy o litość tzn. by Rafał3006 przestał się domagać od biednego Irbisola podania gołej definicji warunku koniecznego ~>
Niestety Irbisolu, w matematyce o litości mowy być nie może, dlatego zdobądź się na odwagę i zapisz na gruncie KRZ gołą definicję warunku koniecznego ~> - podpowiedź jak to się robi masz na gruncie AK wyżej.
P.S.
Ja doskonale wiem dlaczego nie chcesz zapisać gołej definicji warunku koniecznego ~> na gruncie twojego prywatnego KRZ - bo po jej zapisaniu każdy ziemski matematyk rozniesie cię w puch tzn. nawet wspomnienie po twojej "definicji" nie zostanie.
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Śro 1:04, 31 Maj 2023, w całości zmieniany 4 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Wto 15:47, 30 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | Odpowiedz na to, co napisałem wyżej. |
A kogo to obchodzi?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Śro 9:13, 31 Maj 2023 Temat postu: |
|
|
Jest definicja:
The assertion that Q is necessary for P is colloquially equivalent to "P cannot be true unless Q is true" or "if Q is false, then P is false".[9][1] By contraposition, this is the same thing as "whenever P is true, so is Q".
The logical relation between P and Q is expressed as "if P, then Q" and denoted "P ⇒ Q" (P implies Q). It may also be expressed as any of "P only if Q", "Q, if P", "Q whenever P", and "Q when P". One often finds, in mathematical prose for instance, several necessary conditions that, taken together, constitute a sufficient condition (i.e., individually necessary and jointly sufficient[9]), as shown in Example 5.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 10:06, 31 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | Jest definicja:
The assertion that Q is necessary for P is colloquially equivalent to "P cannot be true unless Q is true" or "if Q is false, then P is false".[9][1] By contraposition, this is the same thing as "whenever P is true, so is Q".
The logical relation between P and Q is expressed as "if P, then Q" and denoted "P ⇒ Q" (P implies Q). It may also be expressed as any of "P only if Q", "Q, if P", "Q whenever P", and "Q when P". One often finds, in mathematical prose for instance, several necessary conditions that, taken together, constitute a sufficient condition (i.e., individually necessary and jointly sufficient[9]), as shown in Example 5. |
Ale i tak jej nie zrozumiał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: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 10:53, 31 Maj 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
Irbisol napisał: |
Jest definicja:
The assertion that Q is necessary for P is colloquially equivalent to "P cannot be true unless Q is true" or "if Q is false, then P is false".[9][1] By contraposition, this is the same thing as "whenever P is true, so is Q".
The logical relation between P and Q is expressed as "if P, then Q" and denoted "P ⇒ Q" (P implies Q). It may also be expressed as any of "P only if Q", "Q, if P", "Q whenever P", and "Q when P". One often finds, in mathematical prose for instance, several necessary conditions that, taken together, constitute a sufficient condition (i.e., individually necessary and jointly sufficient[9]), as shown in Example 5.
Tłumacz google:
Twierdzenie, że Q jest konieczne dla P, jest potocznie równoważne z „P nie może być prawdziwe, chyba że Q jest prawdziwe” lub „jeśli Q jest fałszywe, to P jest fałszywe”. Przez kontrapozycję jest to to samo, co „kiedykolwiek P jest prawdziwe, tak samo jest z Q”.
Logiczna relacja między P i Q jest wyrażona jako „jeśli P, to Q” i oznaczona jako „P ⇒ Q” (P implikuje Q). Może być również wyrażone jako dowolne z „P tylko wtedy, gdy Q”, „Q, jeśli P”, „Q zawsze P” i „Q, gdy P”. Na przykład w prozie matematycznej często można znaleźć kilka warunków koniecznych, które razem wzięte stanowią warunek wystarczający (tj. pojedynczo konieczny i łącznie wystarczający[9]), jak pokazano w przykładzie 5.
|
To są wypociny a nie poprawne definicje zdarzenia możliwego ~~>, warunku wystarczającego => i warunku koniecznego ~> które w AK są doskonale rozumiane przez każdego 5-cio latka!.
Dowód tego faktu masz w cytacie niżej:
http://www.sfinia.fora.pl/forum-kubusia,12/kompendium-algebry-kubusia,21937.html#680049
Algebra Kubusia napisał: |
2.2 Elementarne spójniki implikacyjne w zdarzeniach
Cała logika matematyczna w obsłudze zdań warunkowych „Jeśli p to q” stoi na zaledwie trzech znaczkach (~~>, =>, ~>) definiujących wzajemne relacje zdarzeń/zbiorów p i q
2.2.1 Definicja zdarzenia możliwego ~~>
Definicja zdarzenia możliwego ~~>:
Jeśli zajdzie p to może ~~> zajść q
p~~>q =p*q =1
Definicja zdarzenia możliwego ~~> jest spełniona (=1) wtedy i tylko wtedy gdy możliwe jest jednoczesne zajście zdarzeń p i q.
Inaczej:
p~~>q=p*q =[] =0
Decydujący w powyższej definicji jest znaczek zdarzenia możliwego ~~>, dlatego dopuszczalny jest zapis skrócony p~~>q.
Uwaga:
Na mocy definicji zdarzenia możliwego ~~> badamy możliwość zajścia jednego zdarzenia, nie analizujemy tu czy między p i q zachodzi warunek wystarczający => czy też konieczny ~>.
Przykład:
Jeśli jutro będzie pochmurno (CH) to może ~~> nie padać (~P)
CH~~>~P=CH*~P =1
Możliwe jest (=1) zdarzenie: są chmury (CH) i nie pada (~P)
2.2.2 Definicja warunku wystarczającego => w zdarzeniach
Definicja warunku wystarczającego => w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p=>q =1
Definicja warunku wystarczającego => jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest wystarczające => dla zajścia zdarzenia q
Inaczej:
p=>q =0
Definicja warunku wystarczającego => dla potrzeb rachunku zero-jedynkowego:
p=>q = ~p+q
Przykład:
A1.
Jeśli jutro będzie padało (P) to na 100% => będzie pochmurno (CH)
P=>CH =1
Padanie jest (=1) warunkiem wystarczającym => dla istnienia chmur bo zawsze gdy pada, są chmury
W zapisie formalnym mamy tu:
p=P (pada)
q=CH (chmurka)
Podsumowując:
Kod: |
Definicja warunku wystarczającego =>:
Zapis formalny:
A1: p=>q =~p+q
Zapis aktualny (przykład):
A1: p=P
A1: q=CH
A1: P=>CH=~P+CH
|
2.2.3 Definicja warunku koniecznego ~> w zdarzeniach
Definicja warunku koniecznego ~> w zdarzeniach:
Jeśli zajdzie p to zajdzie q
p~>q =1
Definicja warunku koniecznego ~> jest spełniona (=1) wtedy i tylko wtedy gdy zajście zdarzenia p jest konieczne ~> dla zajścia zdarzenia q
Inaczej:
p~>q =0
Definicja warunku koniecznego ~> dla potrzeb rachunku zero-jedynkowego:
p~>q = p+~q
Przykład:
B1.
Jeśli jutro będzie pochmurno (CH) to może ~> padać (P)
CH~>P =1
Chmury (CH) są (=1) konieczne ~> dla padania (P), bo padać może wyłącznie z chmurki.
W zapisie formalnym mamy tu:
p=CH (chmurka)
q=P (pada)
Podsumowując:
Kod: |
Definicja warunku koniecznego ~>:
Zapis formalny:
B1: p~>q = p+~q
Zapis aktualny (przykład):
B1: p=CH
B1: q=P
B1: CH~>P=CH+~P
|
|
Teraz uważaj Irbisolu:
Bez akceptacji trzech znaczków w logice matematycznej (~~>, =>, i ~>) o definicjach w cytacie wyżej możesz zapomnieć o jakiejkolwiek, sensownej logice matematycznej.
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Zero jedynkowe gołe definicje zdarzenia możliwego ~~>, warunku wystarczającego => oraz warunku koniecznego ~> na gruncie zarówno AK, jak i KRZ (o definicji wyżej) są następujące:
Kod: |
TCH
Zero-jedynkowa definicja
zdarzenia możliwego ~~>
p q Y=(p~~>q)=p*q+p*~q+~p*~q+~p*q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =1
1 2 3
|
##
Kod: |
TW
Zero-jedynkowa definicja
warunku wystarczającego =>
p q Y=(p=>q)=~p+q
A: 1 1 =1
B: 1 0 =0
C: 0 0 =1
D: 0 1 =1
1 2 3
|
##
Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia.
Matematyczna relacja między definicjami znaczków (~~>, => i ~>) to relacja różne na mocy definicji ##, której Irbisol nie rozumie!
Definicja zdarzenia możliwego ~~>:
p~~>q =1 - wtedy i tylko wtedy gdy możliwe jest (=1) równoczesne zajście zdarzeń p i q
Inaczej:
p~~>q =0
##
Definicja warunku wystarczającego =>:
p=>q =1 - wtedy i tylko wtedy gdy zajście p jest (=1) wystarczające => dla zajścia q
Inaczej:
p=>q =0
##
Definicja warunku koniecznego ~>:
p~>q =1 - wtedy i tylko wtedy gdy zajście p jest (=1) konieczne ~> dla zajścia q
Inaczej:
p~>q =0
Gdzie:
## - różne na mocy definicji ##
Irbisolu:
Ja oczekuję od ciebie zapisania na gruncie KRZ gołej definicji zdarzenia możliwego ~~>, gołej definicji warunku wystarczającego => i gołej definicji warunku koniecznego ~> jak wyżej.
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Śro 11:13, 31 Maj 2023, w całości zmieniany 5 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Śro 11:22, 31 Maj 2023 Temat postu: |
|
|
Zacytowałem ci tylko definicję warunku koniecznego. Więc nie dziwne, że nie ma tam np. wystarczającego.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 11:32, 31 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | Zacytowałem ci tylko definicję warunku koniecznego. Więc nie dziwne, że nie ma tam np. wystarczającego. |
Nie kłam. To nieładnie
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 11:35, 31 Maj 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
Irbisol napisał: | Zacytowałem ci tylko definicję warunku koniecznego. Więc nie dziwne, że nie ma tam np. wystarczającego. |
To zapisz tą definicję w postaci gołej zero-jedynkowej definicji warunku koniecznego ~>.
Po pierwsze:
Mam nadzieję, że zgadzasz się na poniższą definicję Klasycznego Rachunku Zdań
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Po drugie:
Przy powyższej definicji KRZ (tożsamej z AK!) goła, zero-jedynkowa definicja warunku koniecznego ~> jest następująca.
Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Czy zgadasz się, że to jest jedna poprawna goła zero-jedynkowa definicja warunku koniecznego ~> na gruncie KRZ tożsamym z AK (na mocy definicji KRZ wyżej!)
TAK/NIE
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15708
Przeczytał: 44 tematy
|
Wysłany: Śro 11:46, 31 Maj 2023 Temat postu: |
|
|
A na czym ma polegać ta "gołość"?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 12:20, 31 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | A na czym ma polegać ta "gołość"? |
Na tym, że jesteś goły i wesoły
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 13:22, 31 Maj 2023 Temat postu: |
|
|
Czemu Irbisol tak panicznie boi się poznać co w logice matematycznej oznacza znaczek różne na mocy definicji ##?
Który to znaczek w 100-milowym lesie rozumie każde 5-cio letnie dziecko!
Odpowiedź:
Panicznie boi się bo wyjdzie, że 5-cio latki ze 100-milowego lasu znają lepiej logikę matematyczną od niego.
Irbisol napisał: | A na czym ma polegać ta "gołość"? |
Bardzo proszę, tłumaczę:
To są gołe definicje warunku wystarczającego => i koniecznego ~> nieodzowne w obsłudze wszelkich zdań warunkowych 'Jeśli p to q"
Kod: |
TW
Zero-jedynkowa definicja
warunku wystarczającego =>
p q Y=(p=>q)=~p+q
A: 1 1 =1
B: 1 0 =0
C: 0 0 =1
D: 0 1 =1
1 2 3
|
##
Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia.
Na powyższych, gołych definicjach warunku wystarczającego => i koniecznego ~> zbudowana jest jedyna poprawna logika matematyczna mówiąca o związkach między tymi warunkami.
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Dla tej definicji KRZ tabela prawdy T0 mówiąca o matematycznych związkach warunku wystarczającego => i koniecznego ~> jest identyczna w KRZ i AK!
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
|
Dowód:
Opublikowałem AK w pdf na matematyce.pl 24-12-2022 i nikt do tej pory nie wniósł najmniejszych zastrzeżeń do AK w tym, do kluczowej tu tabeli T0.
[link widoczny dla zalogowanych]
Innymi słowy:
Od strony czysto matematycznej, czyli od strony praw rachunku zero-jedynkowego, najwybitniejszy nawet ziemski matematyk nie znajdzie w AK najmniejszego błędu czysto matematycznego!
Podsumowując:
To są gołe definicje warunku wystarczającego => i koniecznego ~> nieodzowne w obsłudze wszelkich zdań warunkowych 'Jeśli p to q"
Kod: |
TW
Zero-jedynkowa definicja
warunku wystarczającego =>
p q Y=(p=>q)=~p+q
A: 1 1 =1
B: 1 0 =0
C: 0 0 =1
D: 0 1 =1
1 2 3
|
##
Kod: |
TK
Zero-jedynkowa definicja
warunku koniecznego ~>
p q Y=(p~>q)=p+~q
A: 1 1 =1
B: 1 0 =1
C: 0 0 =1
D: 0 1 =0
1 2 3
|
Gdzie:
## - różne na mocy definicji
p i q muszą być wszędzie tymi samymi p i q inaczej błąd podstawienia.
A to są prawa rachunku zero-jedynkowego wynikające z powyższych definicji (patrz tabela T0):
Prawo Tygryska:
B1: p~>q = B3: q=>p
Dowód w rachunku zero-jedynkowym:
Kod: |
TK |Tu korzystamy z definicji
Zero-jedynkowa definicja |z definicji warunku wystarczającego =>!
warunku koniecznego ~> |
p q Y=(p~>q) | p q Y=(q=>p)
A: 1 1 =1 | 1 1 =1
B: 1 0 =1 | 1 0 =1
C: 0 0 =1 | 0 0 =1
D: 0 1 =0 | 0 1 =0
1 2 3 5 6 7
|
Tożsamość kolumn 3=6 jest dowodem formalnym prawa Tygryska:
B1: p~>q = B3: q=>p
Prawo Tygryska mówi nam, iż:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek konieczny B1: p~>q =1 to w drugą stronę zachodzi warunek wystarczający B3: q=>p (i odwrotnie)
To "i odwrotnie" oznacza:
B3: q=>p = B1 p~>q
Prawo Tygryska mówi nam, iż:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q (i odwrotnie)
Ten sam dowód bez użycia tabel zero-jedynkowych jest następujący.
Definicja znaczka warunku wystarczającego =>:
p=>q = ~p+q
Definicja znaczka warunku koniecznego ~>:
p~>q = p+~q
Prawo Tygryska:
B1: p~>q = B3: q=>p
Rozwijamy prawą stronę definicją znaczka =>:
B3: q=>p = ~q+p = p+~q = B1: p~>q
bo suma logiczna (+) jest przemienna.
cnd
P.S.
Irbisolu, powtórzę moją propozycję:
Dopóki nie zrozumiesz znaczenia znaczka różne na mocy definicji ## (a z naszej dyskusji wiem że TOTALNIE nie rozumiesz), nie zrozumiesz logiki matematycznej.
Czy mogę ci to wytłumaczyć w sposób zrozumiały dla każdego 5-cio latka?
TAK/NIE
Ostatnio zmieniony przez rafal3006 dnia Śro 13:26, 31 Maj 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: 15708
Przeczytał: 44 tematy
|
Wysłany: Śro 14:12, 31 Maj 2023 Temat postu: |
|
|
Więc masz to w tabelce. Jedynie zamiast 0 i 1 jest T i F
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 15:01, 31 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | Więc masz to w tabelce. Jedynie zamiast 0 i 1 jest T i F |
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: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 15:29, 31 Maj 2023 Temat postu: |
|
|
Definicja Klasycznego Rachunku Zdań:
KRZ to wszelkie możliwe prawa rachunku zero-jedynkowego zbudowane na 16-tu znanych ziemianom zero-jedynkowych definicjach spójników logicznych … różnych na mocy definicji ##
Przy powyższej definicji KRZ bezdyskusyjnie zachodzi tożsamość:
Algebra Kubusia = Klasyczny Rachunek Zdań
Dla tej definicji KRZ tabela prawdy T0 mówiąca o matematycznych związkach warunku wystarczającego => i koniecznego ~> jest identyczna w KRZ i AK!
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ł: | Więc masz to w tabelce. Jedynie zamiast 0 i 1 jest T i F |
Prawo Tygryska:
B1: p~>q = B3: q=>p
Celowo wybrałem dokładnie to prawo Tygryska, by mówić o tym samym co mówi twoja tabelka z linku:
[link widoczny dla zalogowanych]
Teraz kluczowe dwa pytania:
1.
Czy prawo Tygryska jest definicją warunku wystarczającego =>?
TAK/NIE
2.
Czy prawo Tygryska jest definicją warunku koniecznego ~>?
TAK/NIE
Poproszę o precyzyjne odpowiedzi: TAK/NIE
Innych odpowiedzi nie akceptuję.
Ostatnio zmieniony przez rafal3006 dnia Śro 15:45, 31 Maj 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: 15708
Przeczytał: 44 tematy
|
Wysłany: Śro 16:09, 31 Maj 2023 Temat postu: |
|
|
Najpierw zajmij się bieżącym tematem
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
fedor
Dołączył: 04 Paź 2008
Posty: 15354
Przeczytał: 35 tematów
Płeć: Mężczyzna
|
Wysłany: Śro 16:17, 31 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | Najpierw zajmij się bieżącym tematem |
U ciebie nie ma czegoś takiego jak "bieżący temat". Bo w zależności od potrzeby są to albo podręczniki do historii, albo związek dwóch zdań
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35965
Przeczytał: 15 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 16:36, 31 Maj 2023 Temat postu: |
|
|
Irbisol napisał: | Najpierw zajmij się bieżącym tematem |
Zajmuję się bieżącym tematem, czyli twoim linkiem:
[link widoczny dla zalogowanych]
Masz na myśli jakiś inny temat?
Jeśli tak to jaki? - jasnowidzem nie jestem.
Nawiązując do aktualnego tematu:
Proszę o precyzyjne odpowiedzi TAK/NIE na dwa pytania w moim poście wyżej związane z aktualnym tematem, czyli z twoim linkiem.
Przypomnę o co chodzi:
Irbisol napisał: | Więc masz to w tabelce. Jedynie zamiast 0 i 1 jest T i F |
Prawo Tygryska:
B1: p~>q = B3: q=>p
Tożsamość logiczna jest przemienna stąd:
B3: q=>p = B1 p~>q
Prawo Tygryska mówi nam, iż:
Jeśli w zdaniu warunkowym "Jeśli… to …" jedną stronę zachodzi warunek wystarczający B3: q=>p=1 to w drugą stronę zachodzi warunek konieczny B1: p~>q=1 (i odwrotnie)
Kluczowe pytanie do Irbisola:
Jest prawo Tygryska kluczowym elementem twojego linku?
TAK/NIE
Celowo wybrałem dokładnie to prawo Tygryska, by mówić o tym samym co mówi twoja tabelka z linku:
[link widoczny dla zalogowanych]
Teraz kluczowe dwa pytania:
1.
Czy prawo Tygryska jest definicją warunku wystarczającego =>?
TAK/NIE
2.
Czy prawo Tygryska jest definicją warunku koniecznego ~>?
TAK/NIE
Poproszę o precyzyjne odpowiedzi: TAK/NIE
Innych odpowiedzi nie akceptuję.
Ostatnio zmieniony przez rafal3006 dnia Śro 17:27, 31 Maj 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: 15708
Przeczytał: 44 tematy
|
Wysłany: Czw 9:28, 01 Cze 2023 Temat postu: |
|
|
Tematem nie jest jakieś prawo rosmaka czy innego hipopotama, lecz twoja teza, jakoby KRZ nie znało warunku koniecznego.
|
|
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
|