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 

Czysto matematyczne obalenie logiki matematycznej ziemian
Idź do strony Poprzedni  1, 2, 3 ... 32, 33, 34 ... 136, 137, 138  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 12:17, 16 Mar 2017    Temat postu:

Matematyczne znaczenie równoważności p<=>q w AK i LZ

fiklit napisał:
Cytat:
Pytasz o to:
(p+q) <=> (p+q)
operując na wartościach logicznych wystarczy że którekolwiek zmienna jest równa 1 wartość logiczna pozostałej jest bez znaczenia.

Co to znaczy?
"wystarczy że którekolwiek zmienna jest równa 1" do czego wystarczy?
O czym Ty piszesz?
Ja pytam o wartość logiczną tego wyrażenia dla p=0, q=1.
Jaka jest?

Prawo De Morgana to tożsamość kolumn wynikowych:
(p+q) <=> ~(~p*~q)
Co oznacza równoważność w logice matematycznej LZ i AK?
p<=>q
Prawdziwość dowolnej strony równoważności wymusza prawdziwość drugiej strony
p=1<=>q=1 =1
Fałszywość dowolnej strony równoważności wymusza fałszywość drugiej strony
p=0<=>q=0 =1

Powstaje pytanie:
co z pozostałym wartościowaniem?
Zapiszmy to w tabeli:
Kod:

Na mocy definicji równoważności może zachodzić tylko i wyłącznie
A: p=1<=>q=1 =1 - ten przypadek może zajść
B: p=0<=>q=0 =1 - ten przypadek również może zajść
C: p=1<=>q=0 =0 - dla równoważności prawdziwej to nie może zajść
D: p=0<=>q=1 =0 - dla równoważności prawdziwej to nie może zajść

W tabeli w pionach p i q mamy sygnały w tej samej logice (dodatniej bo sygnał niezanegowany).
Możemy zatem te sygnały wyciągnąć nad kolumnę zerojedynkową.
Kod:

Na mocy definicji równoważności może zachodzić tylko i wyłącznie
   p   q  p<=>q
A: 1<=>1  =1 - ten przypadek może zajść
B: 0<=>0  =1 - ten przypadek również może zajść
C: 1<=>0  =0 - dla równoważności prawdziwej to nie może zajść
D: 0<=>1  =0 - dla równoważności prawdziwej to nie może zajść

Doskonale widać, że poprawnie rozumianej równoważności p<=>q w kolumnie wynikowej muszą być dwie jedynki i dwa zera inaczej definicja równoważności tzn. jej znaczenie leży w gruzach!

Powtórzę znaczenie równoważności w AK i LZ:
p<=>q
Prawdziwość dowolnej strony równoważności wymusza prawdziwość drugiej strony
p=1<=>q=1 =1
Fałszywość dowolnej strony równoważności wymusza fałszywość drugiej strony
p=0<=>q=0 =1
Pozostałe przypadki nie mogą wystąpić w równoważności prawdziwej, czyli mamy:
p=1<=>q=0 =0 - ten przypadek nie ma prawa zajść
p=0<=>q=1 =0 - ten przypadek również nie ma prawa zajść

Czy mam rację, że to znaczenie równoważności p<=>q jest identyczne w AK i LZ?


Ostatnio zmieniony przez rafal3006 dnia Czw 12:21, 16 Mar 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Czw 12:26, 16 Mar 2017    Temat postu:

Nie nie nie. Mówimy o tablece 01 dla prawa de morgana w KRZ.
Jak jest wartość "(p+q) <=> ~(~p*~q) " dla p=0, q=1?
Podstawiamy
(0+1)<=> ~(~0*~1)
sięgamy do def. ~ i otrzymujemy
(0+1)<=>~(1*0)
sięgamy do def + i otrzymujemy
1<=>~(1*0)
sięgamy do def * i otrzymujemy
1<=>~0
i znowu do def ~i otrzymujemy
1<=>1
w końcu sięgamy do definicji <=> (tak to ta tabelka dzie mamy w kol wynikowej 1001)
i otrzymujemy
1
Otrzymane 1, wpisujemy do tabeli w kolumnie (p+q) <=> ~(~p*~q) i w wierszu p=0,q=1.
Czyli tam gdzie ty chcesz wpisać 0.
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 12:46, 16 Mar 2017    Temat postu:

fiklit napisał:
Nie nie nie. Mówimy o tablece 01 dla prawa de morgana w KRZ.
Jak jest wartość "(p+q) <=> ~(~p*~q) " dla p=0, q=1?
Podstawiamy
(0+1)<=> ~(~0*~1)
sięgamy do def. ~ i otrzymujemy
(0+1)<=>~(1*0)
sięgamy do def + i otrzymujemy
1<=>~(1*0)
sięgamy do def * i otrzymujemy
1<=>~0
i znowu do def ~i otrzymujemy
1<=>1
w końcu sięgamy do definicji <=> (tak to ta tabelka dzie mamy w kol wynikowej 1001)
i otrzymujemy

1
Otrzymane 1, wpisujemy do tabeli w kolumnie (p+q) <=> ~(~p*~q) i w wierszu p=0,q=1.
Czyli tam gdzie ty chcesz wpisać 0.


Zobaczmy problem na przykładzie czysto matematycznym:
Twierdzenie Pitagorasa:
Trójkąt jest prostokątny wtedy i tylko wtedy gdy zachodzi suma kwadratów
TP<=>SK
Dziedzina:
ZWT - zbiór wszystkich trójkątów
A.
Wylosowanie TP=1 wymusza SK=1 (i odwrotnie)
stąd:
TP=1 <=> SK=1 =1
B.
Wylosowanie TP=0 (trójkąta nieprostokątnego) wymusza SK=0 (i odwrotnie)
TP=0 <=> SK=0 =1
C.
Czy może zaistnieć przypadek że:
Wylosuję trójkąt prostokątny (TP=1) w którym nie będzie spełniona suma kwadratów (SK=0)
TP=1 <=> SK=0 =0 - ten przypadek nie może zaistnieć (dlatego jest zero w kolumnie wynikowej!)
D.
Czy może zaistnieć przypadek że:
Wylosuję trójkąt nieprostokątny (TP=0) w którym spełniona będzie suma kwadratów (SK=1)
TP=0 <=> SK=1 =0 - ten przypadek nie może zaistnieć (dlatego jest zero w kolumnie wynikowej)

Zapiszmy znaczenie tej równoważności w tabeli prawdy:
Kod:

  TP SK  TP<=>SK
A: 1  1   =1
B: 0  0   =1
C: 1  0   =0
D: 0  1   =0


Powtórzę znaczenie równoważności w AK i LZ:
p<=>q
Prawdziwość dowolnej strony równoważności wymusza prawdziwość drugiej strony
p=1<=>q=1 =1
Fałszywość dowolnej strony równoważności wymusza fałszywość drugiej strony
p=0<=>q=0 =1
Pozostałe przypadki nie mogą wystąpić w równoważności prawdziwej, czyli mamy:
p=1<=>q=0 =0 - ten przypadek nie ma prawa zajść
p=0<=>q=1 =0 - ten przypadek również nie ma prawa zajść

Czy mam rację, że to znaczenie równoważności p<=>q jest identyczne w AK i LZ?


Ostatnio zmieniony przez rafal3006 dnia Czw 12:53, 16 Mar 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Czw 13:09, 16 Mar 2017    Temat postu:

Wartość wyrażenia "(p+q) <=> ~(~p*~q)" dla p=0,q=1 to...?
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 13:40, 16 Mar 2017    Temat postu:

fiklit napisał:
Nie nie nie. Mówimy o tablece 01 dla prawa de morgana w KRZ.
Jak jest wartość "(p+q) <=> ~(~p*~q) " dla p=0, q=1?
Podstawiamy
(0+1)<=> ~(~0*~1)
sięgamy do def. ~ i otrzymujemy
(0+1)<=>~(1*0)
sięgamy do def + i otrzymujemy
1<=>~(1*0)
sięgamy do def * i otrzymujemy
1<=>~0
i znowu do def ~i otrzymujemy
1<=>1
w końcu sięgamy do definicji <=> (tak to ta tabelka dzie mamy w kol wynikowej 1001)
i otrzymujemy

1
Otrzymane 1, wpisujemy do tabeli w kolumnie (p+q) <=> ~(~p*~q) i w wierszu p=0,q=1.
Czyli tam gdzie ty chcesz wpisać 0.

W tym wytłuszczonym robisz błąd czysto matematyczny lądując w malinach, czyli sprzeczności czysto matematycznej tego znaczka <=>.
Jak to powinno być?
Kod:

   p  q ~p ~q Y=p+q ~Y=~p*~q Y=~(~p*~q) |
A: 1  1  0  0  =1     =0      =1        || Y=p+q
B: 1  0  0  1  =1     =0      =1        || Y=1<=>p=1 lub q=1
C: 0  1  1  0  =1     =0      =1        ||
D: 0  0  1  1  =0     =1      =0        ||| Y=0<=>p=0 i q=0

Prawo De Morgana:
Y=p+q = ~(~p*~q)
Prawo De Morgana to tożsamość zbiorów.
Każda tożsamość matematyczna jest równoważnością, stąd zapis tożsamy prawa De Morgana:
(p+q) <=> ~(~p*~q)
Znaczenie równoważności:
Prawdziwość dowolnej strony wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony wymusza fałszywość drugiej strony

Zakładamy że równoważność jest prawdziwa, czyli zachodzi znaczenie równoważności wyżej
(p+q) <=> ~(~p*~q)
Prawdziwość lewej strony mamy dla trzech przypadków:
A: p=1 i q=1
B: p=1 i q=0
C: p=0 i q=1
Na mocy definicji równoważności mamy pewność, że zdanie po lewej stronie:
~(~p*~q)
również będzie dla przypadków ABC prawdziwe, nie musimy tego sprawdzać.
Mamy zatem:
(p+q) =1 <=> (~(~p*~q)=1) =1
Co jest zgodne z pierwszym znaczeniem równoważności:
Prawdziwość dowolnej strony równoważności wymusza prawdziwość drugiej strony

(p+q) = ~(~p*~q)
Ostatni możliwy przypadek to:
D: p=0 i q=0
Dla tego przypadku lewa strona jest fałszem:
p+q = 0+0 =0
co wymusza fałszywość drugiej strony prawa De Morgana:
~(~p*~q) =0
Jest to zgodne z drugą częścią równoważności:
Fałszywość dowolnej strony równoważności wymusza fałszywość drugiej strony
(p+q)=0 <=> (~(~p*~q) =0) =1
fiklit napisał:
Wartość wyrażenia "(p+q) <=> ~(~p*~q)" dla p=0,q=1 to...?

W dwuargumentowym operatorze równoważności mamy zatem opisane zaledwie dwa przypadki:
1. (p+q)=1 <=> (~(~p*~q)=1) =1
2. (p+q)=0 <=> (~(~p*~q)=0) =1
… a gdzie pozostałe przypadki?
Pozostałe przypadki są fizycznie niemożliwe do zaistnienia bo wszystkie możliwe wartościowania p i q już wykorzystaliśmy.
Wynika z tego że pozostałym, teoretycznym przypadkom musimy przypisać wartość logiczną 0 a nie jak to robi debilna logika ziemian 1.
stąd mamy:
3. (p+q)=1 <=> (~(~p*~q)=0) =0 - ten przypadek nie ma prawa zajść
4. (p+q)=0 <=> (~(~p*~q)=1) =0 - ten przypadek również nie ma prawa zajść.

Skoro przypadki 3 i 4 nie mogą zajść ze względów fizycznych to musimy tym przypadkom przypisać wartość logiczną 0 a nie jak to jest w LZ wartość logiczną 1.

Zauważmy, że w AK nie ma żadnej sprzeczności w znaczeniu znaczka <=> tzn. nie ma tu że jak wiatr będzie wiał z zachodu to w równoważności p<=>q walimy same jedynki w wyniku:
Przykład:
(p+q) <=> ~(~p*~q)
… a jak wiatr będzie wiał ze wschodu to w identycznej równoważności p<=>q walimy w wyniku dwie jedynki i dwa zera (tylko to jest poprawne)
Dowód:
Twierdzenie Pitagorasa
TP<=>SK


Ostatnio zmieniony przez rafal3006 dnia Czw 14:22, 16 Mar 2017, w całości zmieniany 4 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Czw 13:56, 16 Mar 2017    Temat postu:

To jaka jest wartość wyrażenia 1<=>1?
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 14:04, 16 Mar 2017    Temat postu:

fiklit napisał:
To jaka jest wartość wyrażenia 1<=>1?

Miałem literówkę w poscie wyżej, poprawiłem jak niżej:
W dwuargumentowym operatorze równoważności mamy zatem opisane zaledwie dwa przypadki:
1. (p+q)=1 <=> (~(~p*~q)=1) =1
2. (p+q)=0 <=> (~(~p*~q)=0) =1

Odpowiedź:
Patrz punkt 1
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Czw 14:40, 16 Mar 2017    Temat postu:

Co otrzymujemy z "1<=>1"? 0 czy 1?
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 15:14, 16 Mar 2017    Temat postu:

Algebra Kubusia w akcji!

fiklit napisał:
Co otrzymujemy z "1<=>1"? 0 czy 1?

Otrzymujemy 1.
rafal3006 napisał:

1. (p+q)=1 <=> (~(~p*~q)=1) =1
1. 1<=>1 =1

Wróćmy jeszcze raz do sedna.
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-800.html#318307
rafal3006 napisał:

Kod:

Tabela 1
   p  q ~p ~q Y=p+q ~Y=~p*~q Y=~(~p*~q) |
A: 1  1  0  0  =1     =0      =1        || Y=p+q
B: 1  0  0  1  =1     =0      =1        || Y=1<=>p=1 lub q=1
C: 0  1  1  0  =1     =0      =1        ||
D: 0  0  1  1  =0     =1      =0        ||| Y=0<=>p=0 i q=0
   1  2  3  4   5      6       7

Prawo De Morgana:
Y=p+q = ~(~p*~q)
Prawo De Morgana to tożsamość zbiorów.
Każda tożsamość matematyczna jest równoważnością, stąd zapis tożsamy prawa De Morgana:
(p+q) <=> ~(~p*~q)
Znaczenie równoważności:
Prawdziwość dowolnej strony wymusza prawdziwość drugiej strony
Fałszywość dowolnej strony wymusza fałszywość drugiej strony

Prawo De Morgana:
(p+q) <=> ~(~p*~q)
Zauważmy że:
(p+q) =1
wtedy i tylko wtedy gdy:
A: p=1 i q=1
B: p=1 i q=0
C: p=0 i q=1
stąd na mocy prawa De Morgana zapisujemy:
(p+q)=1 <=> (~(~p*~q)=1) =1
Czyli trzy linijki w tabeli wyżej ABC możemy zapisać w postaci jednej linijki jak niżej:
Kod:

Tabela 2
   p+q ~(~p*~q) (p+q)<=>~(~p*~q)
E:  1      1         =1

Ostatnia linijka w tabeli 1 to zapis drugiego możliwego przypadku w równoważności:
(p+q) = ~(~p*~q)
Fałszywość dowolnej strony równoważności wymusza fałszywość drugiej strony
Dla p=0 i q=0 mamy:
(p+q) = 0+0 =0
Stąd na mocy prawa De Morgana zapisujemy:
(p+q)=0 <=> (~(~p*~q)=0) =1

Nanieśmy to do naszej nowo budowanej tabeli:
Kod:

Tabela 2
   p+q ~(~p*~q) (p+q)<=>~(~p*~q)
E:  1      1         =1
F:  0      0         =1
    1      2          3

To wszystko co możemy wydusić bezpośrednio z prawa De Morgana opisanego tabelą 1.
Zauważmy że w tabeli 2 mamy nad kolumną 3 zapisany znak równoważności, ale póki co nie jest to definicja zero-jedynkowa równoważności bo zawiera dwa wiersze a nie cztery wiersze konieczne do zdefiniowania operatora dwuargumentowego.

Uzupełnijmy tabelę 2 o brakujące wiersze:
Kod:

Tabela 2
   p+q ~(~p*~q) (p+q)<=>~(~p*~q)
E:  1      1         =1
F:  0      0         =1
G:  1      0         =?
H:  0      1         =?
    1      2          3

Kluczowe pytanie:
Jaką wartość logiczną musimy wstawić w miejsce znaku zapytania?

Rozpiszmy te przypadki według nagłówków tabeli:
E. (p+q)=1 <=> (~(~p*~q)=0) =0 - ten przypadek nie ma prawa zajść bo prawo De Morgana leży w gruzach
F. (p+q)=0 <=> (~(~p*~q)=1) =0 - ten przypadek również nie ma prawa zajść z tego samego powodu

Wynika to z definicji znaczenia równoważności.
Powtórzę znaczenie równoważności w AK i LZ:
p<=>q
Prawdziwość dowolnej strony równoważności wymusza prawdziwość drugiej strony
p=1<=>q=1 =1
Fałszywość dowolnej strony równoważności wymusza fałszywość drugiej strony
p=0<=>q=0 =1
Pozostałe przypadki nie mogą wystąpić w równoważności prawdziwej, czyli mamy:
p=1<=>q=0 =0 - ten przypadek nie ma prawa zajść bo definicja równoważności leży w gruzach
p=0<=>q=1 =0 - ten przypadek również nie ma prawa zajść z tego samego powodu

Stąd nasza końcowa tabela 2 musi być taka:
Kod:

Tabela 2
   p+q ~(~p*~q) (p+q)<=>~(~p*~q)
E:  1      1         =1
F:  0      0         =1
G:  1      0         =0
H:  0      1         =0
    1      2          3

cnd
Oczywiście stoi to w sprzeczności z głupotą ziemian jakoby prawo De Morgana było zdaniem zawsze prawdziwym.
Nie jest zdaniem zawsze prawdziwym bo w kolumnie 3 w powyższej tabeli nie mamy samych jedynek!

Wróćmy do ziemskich bzdur:
Kod:

Tabela 3
Matematyczne związki spójnika „lub”(+) ze spójnikiem „i”(*)
Punkt odniesienia
Spójnik „lub”(+)
Y=p+q
                                |Gówno zwane LZ  |opis tabeli |Funkcja
                                |                |ABCD12 w LZ |
   p  q ~p ~q Y=p+q  Y=~(~p*~q) |(p+q)<=>~(~p*~q)|       Y    |Y=p+q
A: 1  1  0  0   =1     =1       |      =1        | p* q =1    | =1
B: 1  0  0  1   =1     =1       |      =1        | p*~q =1    | =1
C: 0  1  1  0   =1     =1       |      =1        |~p* q =1    | =1
D: 0  0  1  1   =0     =0       |      =1        |~p*~q =1    | =0
   1  2  3  4    5      6               7          8  9  0      10
[/quote]
Same jedynki w kolumnie 7 są dobre, ale opis matematyczny nad kolumną 7 nie jest poprawny bowiem te jedynki opisują zaledwie połowę operatora równoważności, o czym jest w tym poście.

Spójrzmy ciut wyżej:
Kod:

Tabela 2
   p+q ~(~p*~q) (p+q)<=>~(~p*~q)
E:  1      1         =1
F:  0      0         =1
    1      2          3

Te cztery jedynki w tabeli 3 są tożsame z zaledwie dwoma jedynkami w tabeli 2.
W tabeli 2 póki co, mamy zaledwie fragment zero-jedynkowej definicji równoważności!
Jak dalej należy tu się bawić?
Kto przeczyta ten post uważnie od początku do końca na pewno zrozumie!


Ostatnio zmieniony przez rafal3006 dnia Czw 15:31, 16 Mar 2017, w całości zmieniany 6 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Czw 15:36, 16 Mar 2017    Temat postu:

Zatem co wpisujemy w tabeli jako wartość " (p+q) <=> ~(~p*~q) " dla p=0,q=1?
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 16:26, 16 Mar 2017    Temat postu:

fiklit napisał:

Zatem co wpisujemy w tabeli jako wartość " (p+q) <=> ~(~p*~q) " dla p=0,q=1?

Wpisujesz jedynkę bo to jest fragment operatora OR(|+):
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

Natomiast zapis nad kolumną 7 postaci równoważności:
(p+q)<=>~(~p*~q)
gdzie w wyniku mamy same jedynki jest matematycznie błędny.

Wyjaśniłem o co chodzi w poście wyżej:
Rafal3006 napisał:

Wróćmy do ziemskich bzdur:
Kod:

Tabela 3
Matematyczne związki spójnika „lub”(+) ze spójnikiem „i”(*)
Punkt odniesienia
Spójnik „lub”(+)
Y=p+q
                                |Gówno zwane LZ  |opis tabeli |Funkcja
                                |                |ABCD12 w LZ |
   p  q ~p ~q Y=p+q  Y=~(~p*~q) |(p+q)<=>~(~p*~q)|       Y    |Y=p+q
A: 1  1  0  0   =1     =1       |      =1        | p* q =1    | =1
B: 1  0  0  1   =1     =1       |      =1        | p*~q =1    | =1
C: 0  1  1  0   =1     =1       |      =1        |~p* q =1    | =1
D: 0  0  1  1   =0     =0       |      =1        |~p*~q =1    | =0
   1  2  3  4    5      6               7          8  9  0      10

Same jedynki w kolumnie 7 są dobre, ale opis matematyczny nad kolumną 7 nie jest poprawny bowiem te jedynki opisują zaledwie połowę operatora równoważności, o czym jest w tym poście.

Spójrzmy ciut wyżej:
Kod:

Tabela 2
   p+q ~(~p*~q) (p+q)<=>~(~p*~q)
E:  1      1         =1
F:  0      0         =1
    1      2          3

Te cztery jedynki w tabeli 3 są tożsame z zaledwie dwoma jedynkami w tabeli 2.
W tabeli 2 póki co, mamy zaledwie fragment zero-jedynkowej definicji równoważności!
Jak dalej należy tu się bawić?
Kto przeczyta ten post uważnie od początku do końca na pewno zrozumie!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Czw 16:35, 16 Mar 2017    Temat postu:

Cytat:
Wpisujesz jedynkę bo to jest fragment operatora OR(|+):
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1

Natomiast zapis nad kolumną 7 postaci równoważności:
(p+q)<=>~(~p*~q)
gdzie w wyniku mamy same jedynki jest matematycznie błędny.


Ale ja najpierw mam ten nagłówek kolumny i nagłówki wierszy. I dopiero później obliczam wartość wyrażenia z kolumny, dla warości z wiersza.
I za nic nie chce mi tam wyjść jakieś 0.
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Czw 23:49, 16 Mar 2017    Temat postu:

Algebra Kubusia w przedszkolu

fiklit napisał:
Cytat:
Wpisujesz jedynkę bo to jest fragment operatora OR(|+):
Y=p+q
co matematycznie oznacza:
Y=1 <=> p=1 lub q=1

Natomiast zapis nad kolumną 7 postaci równoważności:
(p+q)<=>~(~p*~q)
gdzie w wyniku mamy same jedynki jest matematycznie błędny.


Ale ja najpierw mam ten nagłówek kolumny i nagłówki wierszy. I dopiero później obliczam wartość wyrażenia z kolumny, dla warości z wiersza.
I za nic nie chce mi tam wyjść jakieś 0.

W ostatnich postach starałem się myśleć logiką matematyczną ziemian, czyli myśleć w zerach i jedynkach bez używania pojęć logika dodatnia (bo Y) i ujemna (bo ~Y).
Z absolutnych banałów matematycznych zrobiły się problemy których ziemianie nie rozumieją.

Udajmy się do przedszkola by zrozumieć, że problem o którym tu dyskutujemy jest absolutnie trywialny, nie wykraczający poza poziom matematycznej wiedzy 5-cio latka
Pani:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1
Innymi słowy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina (T=1) lub do teatru (T=1)
Y=1 <=> K=1 lub T=1
Innymi słowy:
Wystarczy że pójdziemy w dowolne miejsce i już pani dotrzyma słowa.
Wszystkie możliwe przypadki w których pani dotrzyma słowa to:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro:
A:
K*T =Ya
co matematycznie oznacza:
Ya=1 <=> K=1 i T=1
lub
B:
K*~T=Yb
co matematycznie oznacza:
Yb=1 <=> K=1 i ~T=1
lub
C:
~K*T = Yc
co matematycznie oznacza:
Yc=1 <=> ~K=1 i T=1

… a kiedy pani skłamie?
Przejście ze zdaniem A do logiki ujemnej (bo Y) poprzez negację równania A stronami
~Y=~(K+T) = ~K*~T
stąd mamy:
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
stąd mamy odpowiedź:
D.
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Yd=~K*~T
co matematycznie oznacza:
~Yd=1 <=> ~K=1 i ~T=1
Zdanie D to jedyny przypadek kiedy pani skłamie (~Y).
Znaczenie zmiennych:
Y - pani dotrzyma słowa (Y)
~Y - pani nie dotrzyma słowa ~Y (=pani skłamie)

Zuzia do Jasia:
Czy może się zdarzyć, że jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Jaś:
ABC:
Pani dotrzyma słowa (Y) wtedy i tylko wtedy gdy jutro pójdziemy do kina (K=1) lub pójdziemy do teatru (T=1)
Y=K+T
D.
Pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Y=~K*~T

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia to zaprzeczona logika ujemna
Y=~(~Y)
Podstawiając ABC i D mamy prawo De Morgana w logice dodatniej (bo Y):
Y=K+T = ~(~K*~T) - to jest opis sytuacji kiedy pani dotrzyma słowa (Y=1)
Stąd mamy odpowiedź dla Zuzi (zdanie tożsame do Y):
Nie może się zdarzyć ~(..) że jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~(~K*~T)

Związek logiki ujemnej (bo ~Y) i dodatniej (bo Y):
Logika ujemna to zaprzeczona logika dodatnia
~Y = ~(Y)
Podstawiając D i ABC mamy prawo De Morgana w logice ujemnej (bo ~Y):
~Y = ~K*~T = ~(K+T) - to jest opis sytuacji kiedy pani skłamie (~Y=1)
Zdanie tożsame do ~Y:
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy nie zdarzy się, że jutro pójdziemy do kina (K=1) lub do teatru (T=1)

Zapiszmy zdania ABCD w tabeli prawdy przechodząc na zapis formalny po podstawieniu:
p=K
q=T
Kod:

Analiza      |co matematycznie
symboliczna  |oznacza
zdania Y=p+q |                   |
             |                   | p  q ~p ~q Y=p+q ~Y=~p*~q Y=~(~p*~q) ~Y=~(p+q)
A: p* q = Ya | Ya=1<=> p=1 i  q=1| 1  1  0  0  =1     =0      =1         =0
B: p*~q = Yb | Yb=1<=> p=1 i ~q=1| 1  0  0  1  =1     =0      =1         =0
C:~p* q = Yc | Yc=1<=>~p=1 i  q=1| 0  1  1  0  =1     =0      =1         =0
D:~p*~q =~Yd |~Yd=1<=>~p=1 i ~q=1| 0  0  1  1  =0     =1      =0         =1
   a  b   c    d       e      f    1  2  3  4   5      6       7          8

Z tabeli ABCDabc odczytujemy funkcję logiczną Y opisującą obszar ABCabc:
Y=Ya+Yb+Yc
po podstawieniu funkcji cząstkowych mamy:
Y = p*q + p*~q +~p*q
Minimalizujemy:
Y = p*(q+~q)+~p*q
Y = p+(~p*q)
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników na przeciwne
~Y=~p*(p+~q)
~Y=~p*p+~p*~q
~Y=~p*~q
Powrót do logiki dodatniej:
Y = p+q
Doskonale widać, że nagłówek w kolumnie 9 opisuje fragment operatora OR(|+) czyli obszar ABCabc, to nie jest opis kompletnego operatora ABCDabc!

Aby zapisać kompletny operatora OR(|+) musimy dołożyć równanie opisujące funkcję logiczną ~Y, czyli funkcję zakodowaną w linii Dabc:
~Yd=~Y (bo jest tylko jedna funkcja cząstkowa)
~Y= ~p*~q
co matematycznie oznacza:
~Y=1 <=> ~p=1 i ~q=1

Kodowanie zero-jedynkowe tabeli symbolicznej ABCDabc do tabeli zero-jedynkowej ABCD125 możliwe jest tylko i wyłącznie względem określonego punktu odniesienia.

Przyjęte punkty odniesienia:
I.
W przypadku tabeli zero-jedynkowej ABCD125 za punkt odniesienia przyjmujemy nagłówek kolumny 5:
Y=p+q
Kodowanie zero-jedynkowe tabeli ABCD125 umożliwia II prawo Prosiaczka:
(~p=1)=(p=0)
(~q=1)=(q=0)
Wniosek:
Nagłówek w kolumnie 5 to definicja zero-jedynkowa spójnika „lub”(+) z naturalnej logiki człowieka, opisująca fragment operatora OR(|+), czyli obszar ABCabc - to nie jest operator OR(+)!
II.
W przypadku tabeli zero-jedynkowej ABCD346 za punkt odniesienia przyjęto nagłówek kolumny 6:
~Y=~p*~q
Kodowanie zero-jedynkowe tabeli symbolicznej ABCD346 względem tego punktu odniesienia możliwe jest dzięki I prawu Prosiaczka:
(p=1)=(~p=1)
(q=1)=(~q=0)
(Yx=1)=(~Yx=0)
Wniosek:
Nagłówek kolumny 6 to definicja spójnika „i”(*) z naturalnej logiki człowieka opisująca fragment operatora AND(|*) widniejącego w obszarze ABCD346 - linię Dabc, zakodowaną zero-jedynkowo do postaci D346.

Wracając do dialogi z przedszkola:
Jaś do Zuzi:
A.
Jeśli jutro pani dotrzyma słowa (Y) to na 100% dotrzyma słowa (Y)
Y=p+q=~(~p*~q) => Y=p+q=~(~p*~q) =1
Definicja warunku wystarczającego spełniona bo każde pojęcie (zbiór) jest podzbiorem siebie samego
Prawdziwość warunku wystarczającego A wymusza fałszywość kontrprzykładu B
B.
Jeśli jutro pani dotrzyma słowa (Y) to może ~~> nie dotrzymać słowa
Y=p+q=~(~p*~q) ~~>~Y=~p*~q=~(p+q)
(p+q)~~>~(p+q) = (p+q)*~(p+q) = [] =0
Oczywistym jest że z matematycznej tożsamości możemy wybierać człony wedle swego widzi mi się.
Zuzia:
.. a jeśli jutro panie nie dotrzyma słowa?
Jaś:
C.
Jeśli jutro pani nie dotrzyma słowa (~Y) to na 100% nie dotrzyma słowa (~Y)
~Y=~p*~q=~(p+q) => ~Y=~p*~q=~(p+q) =1
Definicja warunku wystarczającego spełniona bo każde pojęcie (zbiór) jest podzbiorem siebie samego
Prawdziwość warunku wystarczającego C wymusza fałszywość kontrprzykładu D
D.
Jeśli jutro pani nie dotrzyma słowa (~Y) to może ~~> dotrzymać słowa (Y)
~Y=~p*~q=~(p+q)~~>Y=p+q=~(~p*~q)
~(p+q)~~>(p+q) = ~(p+q)*(p+q) = [] =0 - oczywistość

Całość to oczywista definicja równoważności w logice dodatniej (bo Y):
RA:
Y=p+q=~(~p*~q) <=> Y=p+q=~(~p*~q) =1
Punktem odniesienia jest tu zdanie A

Albo definicja równoważności w logice ujemnej (bo ~Y):
RC:
~Y=~p*~q=~(p+q) <=> ~Y=~p*~q=~(p+q) =1
Punktem odniesienia jest tu zdanie C

Z matematycznych tożsamości możemy sobie wybierać co nam się podoba.
Stąd mamy równoważność:
RA: (p+q) <=> ~(~p*~q)
której ty Fiklicie nie widzisz w prawach De Morgana a która oczywiście występuje - w kolumnie wynikowej mamy tu dwie jedynki i dwa zera a nie jak w głupotach matematyków same jedynki.
Dowód:
Kod:

Analiza symboliczna         |Kodowanie zero-jedynkowe |Głupota ziemian
                            | Y  Y (p+q)<=>~(~p*~q)   |(p+q)<=>~(~p*~q)
A: Y=(p+q)=>   Y=~(~p*~q)=1 | 1  1  =1                |      =1
B: Y=(p+q)~~> ~Y=(~p*~q) =0 | 1  0  =0                |      =1
C:~Y=(~p*~q)=>~Y=(~p*~q) =1 | 0  0  =1                |      =1
D:~Y=(~p*~q)~~>Y=(p+q)   =0 | 0  1  =0                |      =1

W kodowaniu zero-jedynkowym bierzemy pod uwagę funkcje logiczne Y I ~Y bo tak jest najprościej.
Prawo Prosiaczka umożliwiające kodowanie zero-jedynkowe tabeli symbolicznej to:
(~Y=1) = (Y=0)


Ostatnio zmieniony przez rafal3006 dnia Pią 7:11, 17 Mar 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 7:03, 17 Mar 2017    Temat postu:

Jeśli wartością wyrażenia "(p+q)<=>~(~p*~q)" dla p=0,q=1 jest 1,
oraz w tabelce w kolumnie (p+q)<=>~(~p*~q) i wierszu p=0,q=1 masz wpisać
wartością wyrażenia "(p+q)<=>~(~p*~q)" dla p=0,q=1,
to co tam trzeba wpisać?

Nie zamierzam się nawet przyjrzeć twoim tabelkom, dopóki nie napiszesz co one przedstawiają. Co oznaczają zera i jedynki w kolumnach wynikowych.


Ostatnio zmieniony przez fiklit dnia Pią 7:37, 17 Mar 2017, w całości zmieniany 1 raz
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Pią 7:56, 17 Mar 2017    Temat postu:

fiklit napisał:

Jeśli wartością wyrażenia "(p+q)<=>~(~p*~q)" dla p=0,q=1 jest 1,
oraz w tabelce w kolumnie (p+q)<=>~(~p*~q) i wierszu p=0,q=1 masz wpisać
wartością wyrażenia "(p+q)<=>~(~p*~q)" dla p=0,q=1,
to co tam trzeba wpisać?

Zero-jedynkowo wytłumaczyłem ten problem w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-800.html#318315

Ten sam problem wytłumaczyłem w logice symbolicznej w poście wyżej - ten post jest tu najważniejszy bo to jest logika matematyczna bez problemu rozumiana przez 5-cio latka.

Skrótowo ostatni post z wyjaśnieniem problemu o który ci chodzi:
Rafal3006 napisał:

Wracając do dialogi z przedszkola:
Jaś do Zuzi:
A.
Jeśli jutro pani dotrzyma słowa (Y) to na 100% dotrzyma słowa (Y)
Y=p+q=~(~p*~q) => Y=p+q=~(~p*~q) =1
Definicja warunku wystarczającego spełniona bo każde pojęcie (zbiór) jest podzbiorem siebie samego
Prawdziwość warunku wystarczającego A wymusza fałszywość kontrprzykładu B
B.
Jeśli jutro pani dotrzyma słowa (Y) to może ~~> nie dotrzymać słowa
Y=p+q=~(~p*~q) ~~>~Y=~p*~q=~(p+q)
(p+q)~~>~(p+q) = (p+q)*~(p+q) = [] =0
Oczywistym jest że z matematycznej tożsamości możemy wybierać człony wedle swego widzi mi się.
Zuzia:
.. a jeśli jutro panie nie dotrzyma słowa?
Jaś:
C.
Jeśli jutro pani nie dotrzyma słowa (~Y) to na 100% nie dotrzyma słowa (~Y)
~Y=~p*~q=~(p+q) => ~Y=~p*~q=~(p+q) =1
Definicja warunku wystarczającego spełniona bo każde pojęcie (zbiór) jest podzbiorem siebie samego
Prawdziwość warunku wystarczającego C wymusza fałszywość kontrprzykładu D
D.
Jeśli jutro pani nie dotrzyma słowa (~Y) to może ~~> dotrzymać słowa (Y)
~Y=~p*~q=~(p+q)~~>Y=p+q=~(~p*~q)
~(p+q)~~>(p+q) = ~(p+q)*(p+q) = [] =0 - oczywistość

Całość to oczywista definicja równoważności w logice dodatniej (bo Y):
RA:
Y=p+q=~(~p*~q) <=> Y=p+q=~(~p*~q) =1
Punktem odniesienia jest tu zdanie A

Albo definicja równoważności w logice ujemnej (bo ~Y):
RC:
~Y=~p*~q=~(p+q) <=> ~Y=~p*~q=~(p+q) =1
Punktem odniesienia jest tu zdanie C

Z matematycznych tożsamości możemy sobie wybierać co nam się podoba, stąd tworzymy rozwiązanie problemu o który ci chodzi.
Kod:

Analiza symboliczna           |Kodowanie zero-jedynkowe
                              |Y=(p+q) Y=~(~p*~q) Y=(p+q)<=>Y=~(~p*~q)
A: Y=(p+q) => Y=~(~p*~q)   =1 | 1  =>    1         =1
B: Y=(p+q)~~>~Y=~[~(~p*~q)]=0 | 1  ~~>   0         =0
C:~Y=~(p+q)=>~Y=~[~(~p*~q)]=1 | 0  =>    0         =1
D:~Y=~(p+q)~~>Y=~(~p*~q)   =0 | 0  ~~>   1         =0
                              |kodowanie zero-jedynkowe
                              |na mocy prawa Prosiaczka
                              |(~Y=1)=(Y=0)

Dla jasności sprawy nie pozbywamy się kluczowych pojęć z analizy symbolicznej:
Y - pani dotrzyma słowa
~Y - pani nie dotrzyma słowa (skłamie)
W liniach A i B prawdziwe są zdania odwrotne.
Kwantyfikator mały jest przemienny z definicji zatem tabela tożsama jest następująca
Kod:

Analiza symboliczna            |Kodowanie zero-jedynkowe
                               |Y=(p+q) Y=~(~p*~q) Y=(p+q)<=>Y=~(~p*~q)
A: Y=(p+q) <=> Y=~(~p*~q)   =1 | 1 <=>    1         =1
B: Y=(p+q)<~~>~Y=~[~(~p*~q)]=0 | 1 <~~>   0         =0
C:~Y=~(p+q)<=>~Y=~[~(~p*~q)]=1 | 0 <=>    0         =1
D:~Y=~(p+q)<~~>Y=~(~p*~q)   =0 | 0 <~~>   1         =0
   1           2             3   4        5          6
                               |kodowanie zero-jedynkowe
                               |na mocy prawa Prosiaczka
                               |(~Y=1)=(Y=0)

Ziemianie waląc w kolumnie wynikowej 6 same jedynki popełniają błąd czysto matematyczny.
Kompletnie bez znaczenia jest argumentacja ziemian w tym temacie.
Oczywiście wiem jaka to jest argumentacja, dlatego postaram się naświetlić błąd który popełniają.
… ale to temat na oddzielny post.
fiklit napisał:

Nie zamierzam się nawet przyjrzeć twoim tabelkom, dopóki nie napiszesz co one przedstawiają. Co oznaczają zera i jedynki w kolumnach wynikowych.

Odpowiadam co przedstawia tabela zero-jedynkowa ABCD456:
I.
Po stronie wejścia p i q, czyli w tabeli zero-jedynkowej ABCD45 będącej kodowaniem zero-jedynkowym wejść p i q opisanych symbolicznie w tabeli ABCD12 mamy tak:
1.
Jedynka w punkcie A4 mówi o sytuacji w której pani dotrzyma słowa (Y=1)
2.
Zero w punkcie C4 opisuje sytuację w której pani skłamie (~Y=1)
Prawo Prosiaczka:
(~Y=1)=(Y=0)
stąd zero w punkcie C4
KONIEC!
To są wszystkie możliwe znaczenia 0 i 1 w tabeli zero-jedynkowej ABCD45
II.
Kolumna wynikowa:
Y=(p+q) <=> Y=~(~p*~q)
to skutek trywialnej analizy tabeli symbolicznej ABCD123 na 100% zrozumiałej przez każdego 5-cio latka.

Podsumowują:
Wszyscy ludzie na ziemi posługują się naturalną logiką człowieka która generuje odpowiednie tabele zero-jedynkowe bo po prostu podlegamy pod logiką matematyczną naszego Wszechświata - algebrę Kubusia.

Ziemscy matematycy, którzy tego nie rozumieją lądują w absurdach jak niżej:
[link widoczny dla zalogowanych]
dr. Marek Kordas w powyższym linku napisał:

Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.

Oczywiście, zdanie to jest prawdziwe, ale czy ma sens? Przecież między pewnym faktem arytmetycznym a innym faktem geograficznym żadnego związku nie ma. Dlaczego więc chcemy twierdzić (ba, uczyć tego), że te dwa zdania są równoważne?

Albo zdanie:
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa.

Z punktu widzenia logiki to zdanie jest prawdziwe. Tu już po obu stronach implikacji są zdania dotyczące faktów matematycznych. Dlaczego jednak chcemy zmusić młodego człowieka, by widział w tym sens?
.. .. ..
Powstają dwa pytania.
Po pierwsze, czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat?
Po drugie, czy faktycznie należy trzymać ją jak najdalej od młodzieży, bo tylko ją demoralizuje, każąc za wiedzę uważać takie androny, jak przytoczone powyżej?
.. .. ..
Ale naprawdę chodzi o to, że – jak z małżeństwem i demokracją – lepszej propozycji dotąd nie wynaleziono. A szkoda.


Ostatnio zmieniony przez rafal3006 dnia Pią 7:58, 17 Mar 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 8:13, 17 Mar 2017    Temat postu:

ja piszę o wartości pewnego wyrażenia, a nie o dotrzymywaniu słowa przez panią.
Traktuję Twoją odpowiedź jako nie na temat.
Cytat:

Kolumna wynikowa:
Y=(p+q) <=> Y=~(~p*~q)
to skutek trywialnej analizy tabeli symbolicznej ABCD123 na 100% zrozumiałej przez każdego 5-cio latka.

jakiej analizy? co oznaczają wartości? to co piszesz to jest w gruncie rzeczy bełkot, bez znaczenia.


Ostatnio zmieniony przez fiklit dnia Pią 8:22, 17 Mar 2017, w całości zmieniany 1 raz
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Pią 8:45, 17 Mar 2017    Temat postu:

Geneza błędu czysto matematycznego ziemian

fiklit napisał:
ja piszę o wartości pewnego wyrażenia, a nie o dotrzymywaniu słowa przez panią.
Traktuję Twoją odpowiedź jako nie na temat.
Cytat:

Kolumna wynikowa:
Y=(p+q) <=> Y=~(~p*~q)
to skutek trywialnej analizy tabeli symbolicznej ABCD123 na 100% zrozumiałej przez każdego 5-cio latka.

jakiej analizy? co oznaczają wartości? to co piszesz to jest w gruncie rzeczy bełkot, bez znaczenia.

Rafal3006 napisał:

Udajmy się do przedszkola by zrozumieć, że problem o którym tu dyskutujemy jest absolutnie trywialny, nie wykraczający poza poziom matematycznej wiedzy 5-cio latka
Pani:
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
co matematycznie oznacza:
Y=1 <=> K=1 i T=1
Innymi słowy:
Prawdą jest (=1) że pani dotrzyma słowa wtedy i tylko wtedy gdy jutro pójdziemy do kina (T=1) lub do teatru (T=1)
Y=1 <=> K=1 lub T=1
Innymi słowy:
Wystarczy że pójdziemy w dowolne miejsce i już pani dotrzyma słowa.
Wszystkie możliwe przypadki w których pani dotrzyma słowa to:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro:
A:
K*T =Ya
co matematycznie oznacza:
Ya=1 <=> K=1 i T=1
lub
B:
K*~T=Yb
co matematycznie oznacza:
Yb=1 <=> K=1 i ~T=1
lub
C:
~K*T = Yc
co matematycznie oznacza:
Yc=1 <=> ~K=1 i T=1

… a kiedy pani skłamie?
Przejście ze zdaniem A do logiki ujemnej (bo Y) poprzez negację równania A stronami
~Y=~(K+T) = ~K*~T
stąd mamy:
~Y=~K*~T
co matematycznie oznacza:
~Y=1 <=> ~K=1 i ~T=1
stąd mamy odpowiedź:
D.
Prawdą jest (=1) że pani skłamie (~Y) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
~Yd=~K*~T
co matematycznie oznacza:
~Yd=1 <=> ~K=1 i ~T=1
Zdanie D to jedyny przypadek kiedy pani skłamie (~Y).
Znaczenie zmiennych:
Y - pani dotrzyma słowa (Y)
~Y - pani nie dotrzyma słowa ~Y (=pani skłamie)

Zapiszmy zdania ABCD w tabeli prawdy przechodząc na zapis formalny po podstawieniu:
p=K
q=T
Kod:

Analiza      |co matematycznie
symboliczna  |oznacza
zdania Y=p+q |                   |
             |                   | p  q ~p ~q Y=p+q ~Y=~p*~q Y=~(~p*~q) ~Y=~(p+q)
A: p* q = Ya | Ya=1<=> p=1 i  q=1| 1  1  0  0  =1     =0      =1         =0
B: p*~q = Yb | Yb=1<=> p=1 i ~q=1| 1  0  0  1  =1     =0      =1         =0
C:~p* q = Yc | Yc=1<=>~p=1 i  q=1| 0  1  1  0  =1     =0      =1         =0
D:~p*~q =~Yd |~Yd=1<=>~p=1 i ~q=1| 0  0  1  1  =0     =1      =0         =1
   a  b   c    d       e      f    1  2  3  4   5      6       7          8

Geneza błędu:
Kod:

Analiza      |Kodowanie zero-jedynkowe                       |Błędne
symboliczna  |                                               |kodowanie
zdania Y=p+q |                                               |ziemian
             | p  q ~p ~q Y=p+q ~Y=~p*~q Y=~(~p*~q) ~Y=~(p+q)|(p+q)<=>~(~p*~q)
A: p* q = Ya | 1  1  0  0  =1     =0      =1         =0      |      =1
B: p*~q = Yb | 1  0  0  1  =1     =0      =1         =0      |      =1
C:~p* q = Yc | 0  1  1  0  =1     =0      =1         =0      |      =1
D:~p*~q =~Yd | 0  0  1  1  =0     =1      =0         =1      |      =1
   a  b   c    1  2  3  4   5      6       7          8              9

Dlaczego kodowanie kolumny wynikowej 9 ziemian jest błędne?
Zapiszmy gołą tabelę zero-jedynkową ABCD129 przechodząc na nasze zdanie z przedszkola
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
Zdanie tożsame na mocy prawa De Morgana:
Y = K+T = ~(~K*~T)
Kod:

   K  T  Y=(K+T)<=>~(~K*~T)
A: 1  1       =1
B: 1  0       =1 
C: 0  1       =1 
D: 0  0       =1 

Skorzystajmy teraz z techniki mintermów kodując wejścia p i q symbolicznie
[link widoczny dla zalogowanych]
Kod:

   K  T  Y=(K+T)<=>~(~K*~T) |      Y=(K+T)<=>~(~K*~T)   
A: 1  1       =1            | K* T  =1
B: 1  0       =1            | K*~T  =1
C: 0  1       =1            |~K* T  =1
D: 0  0       =1            |~K*~T  =1

Zapiszmy zdanie wynikające z funkcji logicznej Y:
Y=1<=>(K*T)=1 lub (K*~T)=1 lub (~K*T)=1 lub (~K*T) =1
Jedynki są w logice matematycznej domyślne, możemy je pominąć otrzymując równanie algebry Boole’a
Y = K*T + K*~T + ~K*T + ~K*~T
Matematycznie zachodzi tożsamość:
K+T = K*T+K*~T+~K*T
podstawiając do równania wyżej otrzymujemy równanie tożsame:
Y = K+T +~K*~T

Zdanie wypowiedziane przez panią przedszkolankę wygląda tu tak:
Pani:
A1.
Jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y=K+T+~K*~T

Zgadzam się z Ziemianami że to jest zdanie zawsze prawdziwe.
Dowód:
Y=(K+T)+~K*~T
Y=(K+T)+~(K+T) =1

Podsumowując:
1.
Zdanie zawsze prawdziwe A1 ma ZERO wspólnego ze zdaniem A wypowiedzianym przez panią przedszkolankę
A.
Jutro pójdziemy do kina lub do teatru
Y=K+T
2.
Dowolne zdanie zawsze prawdziwe to matematyczny bełkot - oczywistym jest że nie używany w naturalnej logice matematycznej człowieka, bo takie zdanie to czysto matematyczny śmieć bez żadnej gwarancji matematycznej.

Identyczny bełkot w matematyce, bez żadnej gwarancji matematycznej:
A.
Jeśli liczna jest podzielna przez 8 to może być podzielna przez 3
P8~~>P3 = P8*P3 = 1 bo 24
Analiza matematyczna przez wszystkie możliwe przeczenia:
Kod:

A: P8~~> P3= P8* P3 =1 bo 24
B: P8~~>~P3= P8*~P3 =1 bo 8
C:~P8~~>~P3=~P8*~P3 =1 bo 2
D:~P8~~> P3=~P8* P3 =1 bo 3

Podsumowując:
Zdanie zawsze prawdziwe to matematyczny bełkot bez żadnej gwarancji matematycznej!


Ostatnio zmieniony przez rafal3006 dnia Pią 8:49, 17 Mar 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 8:54, 17 Mar 2017    Temat postu:

Cytat:
Jutro pójdziemy do kina lub do teatru
Y=K+T
Zdanie tożsame na mocy prawa De Morgana:
Y = K+T = ~(~K*~T)

Konkretnie jakie zdanie jest tożsame?
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Pią 9:00, 17 Mar 2017    Temat postu:

fiklit napisał:
Cytat:
Jutro pójdziemy do kina lub do teatru
Y=K+T
Zdanie tożsame na mocy prawa De Morgana:
Y = K+T = ~(~K*~T)

Konkretnie jakie zdanie jest tożsame?

A.
Jutro pójdziemy do kina lub do teatru
Y=K+T

..a kiedy panie skłamie?
Przejście do logiki ujemnej (bo ~Y) poprzez negację stronami
~Y=~(K+T) = ~K*~T
~Y=~K*~T
stąd:
B.
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina i nie pójdziemy do teatru
~Y=~K*~T

Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y):
Logika dodatnia to zanegowana logika ujemna
Y= ~(~Y)
Podstawiając A i B mamy prawo De Morgana:
Y = K+T = ~(~K*~T)

Stąd zdanie tożsame do A:
A1.
Nie może się zdarzyć ~(...) że jutro nie pójdziemy do kina i nie pójdziemy do teatru
Y = ~(~K*~T)

Podsumowując:
Prawo De Morgana ma w logice matematycznej człowieka wartość zbliżoną do ZERA bo nikt normalny nie wypowiada banalnego zdania A w postaci tożsamego zdania A1.
W niezwykle rzadkich sytuacjach ludzie wypowiadają zdanie A1.


Ostatnio zmieniony przez rafal3006 dnia Pią 9:03, 17 Mar 2017, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 9:06, 17 Mar 2017    Temat postu:

O, a przed chwilą chyba twierdziłes, że zdanie tożsame to
"A1.
Jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y=K+T+~K*~T "


Jeszcze raz, bo widzę, że nie rozumiesz
Masz tabelę do wypełnienia

Kod:
   P  Q  (P+Q)<=>~(~P*~Q)
A: 1  1       
B: 1  0       
C: 0  1       
D: 0  0     

w 3 kolumnie wpisz wartości wyrażenia, po podstawieniu pod zmienne P i Q wartości z nagłówka wiersza.


Ostatnio zmieniony przez fiklit dnia Pią 9:10, 17 Mar 2017, w całości zmieniany 1 raz
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Pią 9:12, 17 Mar 2017    Temat postu:

fiklit napisał:
O, a przed chwilą chyba twierdziłes, że zdanie tożsame to
"A1.
Jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y=K+T+~K*~T "

Drobna nieścisłość:
Tak twierdzą ziemscy matematycy a nie ja tak twierdzę.
To ziemscy matematycy walą w kolumnie wynikowej równoważności:
p+q <=>~(~p*~q)
same wynikowe jedynki stąd matematycznie wychodzi głupota o której piszesz.

W algebrze Kubusia każda równoważność musi mieć dwie wynikowe jedynki i dwa wynikowe zera, zatem w AK na 100% nie wychodzą takie głupoty jak u ziemian w twoim cytacie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 9:13, 17 Mar 2017    Temat postu:

To uzupełnij powyższą tabelę tak jak należy
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Pią 10:10, 17 Mar 2017    Temat postu:

fiklit napisał:

Jeszcze raz, bo widzę, że nie rozumiesz
Masz tabelę do wypełnienia

Kod:
   P  Q  (P+Q)<=>~(~P*~Q)
A: 1  1       
B: 1  0       
C: 0  1       
D: 0  0     

w 3 kolumnie wpisz wartości wyrażenia, po podstawieniu pod zmienne P i Q wartości z nagłówka wiersza.


fiklit napisał:
To uzupełnij powyższą tabelę tak jak należy

Wypełniam jak należy:
Kod:

                                         |Kodowanie ziemian
   p  q ~p ~q  Y=p+q ~Y=~p*~q Y=~(~p*~q) |(p+q)<=>~(~p*~q)
A: 1  1  0  0   =1     =0      =1        |    =1
B: 1  0  0  1   =1     =0      =1        |    =1
C: 0  1  1  0   =1     =0      =1        |    =1
D: 0  0  1  1   =0     =1      =0        |    =1
   1  2  3  4    5      6       7              8

Skorzystajmy z tej definicji równoważności:
p<=>q = p*q + ~p*~q
Podstawmy nasz przykład:
Y = (K+T)
~Y=~K*~T
Związek logiki dodatniej i ujemnej:
Y= ~(~Y)
Stąd:
Y = K+T = ~(~K*~T)
Podstawmy to do definicji równoważności:
Y<=>Y = Y*Y + ~Y*~Y
Y<=>Y = Y+~Y
Odtwórzmy podstawienie:
(K+T)<=>(K+T) = (K+T)+~K*~T = (K+T)+~(K+T) =1
Zgadzam się z faktem że prawa strona jest zdaniem zawsze prawdziwym które przyjmuje brzmienie.
Pani w przedszkolu:
A1.
Jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y = K+T + ~K*~T = (K+T) + ~(K+T) =1
To jest zdanie zawsze prawdziwe, bo opisuje wszystkie możliwe sytuacje jakie jutro mogą wystąpić.

Pytanie mam proste:
Jaki jest związek zdania wynikającego z nagłówka kolumny 9, czyli zdania A1, ze zdaniem wypowiedzianym przez panią przedszkolankę A.
A.
Jutro pójdziemy do kina lub do teatru
Y=K+K
To zdanie opisane jest kolumną wynikową 5.


Ostatnio zmieniony przez rafal3006 dnia Pią 10:13, 17 Mar 2017, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4196
Przeczytał: 5 tematów


Płeć: Mężczyzna

PostWysłany: Pią 10:26, 17 Mar 2017    Temat postu:

Jakie kodowanie? Miala byc wartosc wyrazenia.
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: 25043
Przeczytał: 14 tematów

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

PostWysłany: Pią 10:46, 17 Mar 2017    Temat postu:

Prawa Kruka i Prawo Jelenia!
Czyli:
Rozwiązanie problemu ziemian którzy nie mają pojęcia w którym kościele dzwony biją!
Dzięki Fiklicie - nie ma to jak drążyć problem do skutku :)
fiklit napisał:
Jakie kodowanie? Miala byc wartosc wyrazenia.


rafal3006 napisał:
fiklit napisał:

Jeszcze raz, bo widzę, że nie rozumiesz
Masz tabelę do wypełnienia

Kod:
   P  Q  (P+Q)<=>~(~P*~Q)
A: 1  1       
B: 1  0       
C: 0  1       
D: 0  0     

w 3 kolumnie wpisz wartości wyrażenia, po podstawieniu pod zmienne P i Q wartości z nagłówka wiersza.


fiklit napisał:
To uzupełnij powyższą tabelę tak jak należy

Wypełniam jak należy:
Kod:

                                         |Kodowanie ziemian
                                         |
   p  q ~p ~q  Y=p+q ~Y=~p*~q Y=~(~p*~q) |(p+q)<=>~(~p*~q)
A: 1  1  0  0   =1     =0      =1        |    =1
B: 1  0  0  1   =1     =0      =1        |    =1
C: 0  1  1  0   =1     =0      =1        |    =1
D: 0  0  1  1   =0     =1      =0        |    =1
   1  2  3  4    5      6       7              8

Skorzystajmy z tej definicji równoważności:
p<=>q = p*q + ~p*~q
Podstawmy nasz przykład:
Y = (K+T)
~Y=~K*~T
Związek logiki dodatniej i ujemnej:
Y= ~(~Y)
Stąd:
Y = K+T = ~(~K*~T)
Podstawmy to do definicji równoważności:
Y<=>Y = Y*Y + ~Y*~Y
Y<=>Y = Y+~Y
Odtwórzmy podstawienie:
(K+T)<=>(K+T) = (K+T)+~K*~T = (K+T)+~(K+T) =1
Zgadzam się z faktem że prawa strona jest zdaniem zawsze prawdziwym które przyjmuje brzmienie.
Pani w przedszkolu:
A1.
Jutro pójdziemy do kina lub do teatru lub nie pójdziemy do kina i nie pójdziemy do teatru
Y = K+T + ~K*~T = (K+T) + ~(K+T) =1
To jest zdanie zawsze prawdziwe, bo opisuje wszystkie możliwe sytuacje jakie jutro mogą wystąpić.

Pytanie mam proste:
Jaki jest związek zdania wynikającego z nagłówka kolumny 9, czyli zdania A1, ze zdaniem wypowiedzianym przez panią przedszkolankę A.
A.
Jutro pójdziemy do kina lub do teatru
Y=K+K
To zdanie opisane jest kolumną wynikową 5.

Rozwiązanie problemu ziemian
Kod:

                                         |Kodowanie ziemian |Kodowanie
                                         |                  |tożsame
   p  q ~p ~q  Y=p+q ~Y=~p*~q Y=~(~p*~q) |(p+q)<=>~(~p*~q)  |D=Y+~Y
A: 1  1  0  0   =1     =0      =1        |    =1            | =1
B: 1  0  0  1   =1     =0      =1        |    =1            | =1
C: 0  1  1  0   =1     =0      =1        |    =1            | =1
D: 0  0  1  1   =0     =1      =0        |    =1            | =1
   1  2  3  4    5      6       7              8               9

I Prawo Kruka:
W rachunku zero-jedynkowym kolumny zero-jedynkowe A i B są ze sobą w związku matematycznym wtedy i tylko wtedy gdy są tożsame lub jedna jest zaprzeczeniem drugiej.
II Prawo Kruka
W rachunku zero-jedynkowym dziedzina na której operuje równanie algebry Boole’a zdefiniowana jest jako suma logiczna funkcji Y oraz funkcji ~Y
Y+~Y =D =1
Y*~Y =[] =0

Prawo Jelenia:
W rachunku zero-jedynkowym zachodzi matematyczna tożsamość:
Y<=>Y = Y+~Y =D =1
Dowód:
Dla lewej strony korzystamy z tej definicji równoważności:
p<=>q = p*q + ~p*~q
stąd mamy:
Y<=>Y = Y*Y + ~Y*~Y = Y+~Y = D =1

Podsumowanie:
Oczywistym jest że jak ktokolwiek obali prawo Jelenia:
Y<=>Y = Y+~Y = D
To natychmiast kasuję algebrę Kubusia.

Nie musze chyba dodawać że prawo Jelenia obowiązuje dla dowolnie złożonej funkcji logicznej o n-argumentach na przykład takiej:
Y = p+[q*(r+~s)]
Wyznaczenie funkcji logicznej ~Y poprzez negację zmiennych i wymianę spójników
~Y = ~p*(~q+~r*s)
~Y = ~p*~q + ~p*~r*~s
Oczywistym jest że zachodzi:
Y<=>Y = Y+~Y =1
Niedowiarki w stylu Idioty mogą sobie sprawdzać.


Ostatnio zmieniony przez rafal3006 dnia Pią 12:17, 17 Mar 2017, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 32, 33, 34 ... 136, 137, 138  Następny
Strona 33 z 138

 
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