Windziarz napisał(a):… fragment z „Pożegnania Kubusia”rafal3006 napisał(a):Równanie ogólne implikacji:Jak nie zachodzą, jak zachodzą?
p=>q = ~p~>~q # p~>q = ~p=>~q
Zauważ proszę, że lewa i prawa strona równania ogólnego implikacji to dwa odrębne światy matematyczne pomiędzy którymi nie zachodzą żadne związki matematyczne !!!
Ten związek, który pogrubiłem, to co?
Stąd równanie ogólne implikacji:
A: p=>q = ~p~>~q # p~>q = ~p=>~q
Po obu stronach nierówności mamy dwa niezależne układy logiczne pomiędzy którymi nie zachodzą żadne tożsamości matematyczne.
Równanie ogólne w kwadracie logicznym implikacji:
Kod:
p=>q # p~>q
~p~>~q # ~p=>~q
W pionach mamy tu najzwyklejsze definicje zero-jedynkowe implikacji prostej => z lewej strony i implikacji odwrotnej ~> z prawej strony.
Kod:
11=1 p=>q # 11=1 p~>q
10=0 p=>~q # 10=1 p~~>~q
00=1 ~p~>~q # 00=1 ~p=>~q
01=1 ~p~~>q # 01=0 ~p=>q
Z powyższego wynika, że operator implikacji prostej => nie może istnieć bez operatora implikacji odwrotnej ~> i odwrotnie bo prawa Kubusia zachodzą w obrębie jednej i tej samej definicji zero-jedynkowej !
Na mocy definicji implikacji w NTI zapisuje teraz:
1.
Jeśli jutro będzie pochmurno to może padać
CH~>P
p~>q
Chmury są konieczne dla deszczu zatem implikacja odwrotna prawdziwa
2.
Jeśli jutro będzie padało to na pewno będzie pochmurno
P=>CH
p=>q
Padanie jest wystarczające dla chmur, zatem implikacja prosta prawdziwa bo dodatkowo spełnione jest prawo Kubusia:
P=>CH = ~P~>~CH
Człowiek traktuje 1 i 2 jako dwa niezależne zdania o definicjach jak wyżej czyli:
Implikacja prosta p=>q = warunek wystarczający plus prawo Kubusia: p=>q = ~p~>~q
Implikacja odwrotna p~>q = warunek konieczny (tu z oczywistych względów prawo Kubusia spełnione jest automatycznie)
Człowiek A (Chińczyk) wypowiedział 1 i podstawił do tabeli wyżej po prawej stronie.
Człowiek B (Polak) wypowiedział 2 i podstawił do tabeli wyżej po lewej stronie.
Który z nich zrobił błąd ?
Polak czy Chińczyk ?
P.S.
1.
Panowie, czy możecie odłożyć jedynie słuszna idiotkę o nazwie „implikacja materialna” na półkę ?
2.
Przez stwierdzenie że między pionami nie zachodzą żadne prawa matematyczne miałem na myśli „tożsamości matematyczne”. Ja komputera na mózgu nie mam, z kontekstu w „Pożegnaniu Kubusia” to oczywistość, „mózg człowieka to nie komputer”. Zmieniłem odpowiedni fragment na czerwono co by było lepiej widoczne