Forum ŚFiNiA Strona Główna Ś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.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia - rewolucja w logice matematycznej
Idź do strony Poprzedni  1, 2, 3 ... 124, 125, 126 ... 274, 275, 276  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysłany: Wto 14:26, 30 Maj 2023    Temat postu:

Odpowiedz na to, co napisałem wyżej.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysłany: Śro 11:46, 31 Maj 2023    Temat postu:

A na czym ma polegać ta "gołość"?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 :mrgreen:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysłany: Śro 16:09, 31 Maj 2023    Temat postu:

Najpierw zajmij się bieżącym tematem
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fedor




Dołączył: 04 Paź 2008
Posty: 15215
Przeczytał: 97 tematów


Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 33025
Przeczytał: 23 tematy

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14292
Przeczytał: 15 tematów


PostWysł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
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Filozofia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 124, 125, 126 ... 274, 275, 276  Następny
Strona 125 z 276

 
Skocz do:  
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
Regulamin