Quebaab napisał(a):Kłamiesz jak stary, dobry KRZ-owiecRafal3006 napisał(a):Dowód:Bardzo fajnie, tylko że mnie nie interesują te zdania. Jak KRZ dostaje do analizy jedno zdanie, to analizuje jedno, a nie cztery. Ale mniejsza o to.
Dla wylosowanej liczby 2 mamy:
~P8=1, P8=0
P2=1, ~P2=0
stąd:
A: P8=>P2=1 bo 8,16,24…
A: P8*P2 = 0*1 =0 - dla liczby 2
B: P8=>~P2=0 - nie ma takiej liczby
B: P8*~P2=0*0=0
C: ~P8~>~P2=1 bo 3
C: ~P8*~P2=1*0=0 - dla liczby 2
D: ~P8~~>P2=1 bo 2
D: ~P8*P2=1*1=1 - dla liczby 2
Jest dokładnie odwrotnie!
Jeśli wypowiadam zdanie:
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2=1
To NTI nie interesują jakiekolwiek inne zdania, to NTI iteruje wyłącznie po zbiorze zdefiniowanym w poprzedniku, czyli wyłacznie po liczbach podzielnych przez 8!
Jakim prawem natomiast KRZ iteruje po całej dziedzinie p+~p?
Fakt iż KRZ iteruje po ~p oznacza, że automatycznie iteruje po dwóch INNYCH zdaniach, czyli takich:
~P8~>~P2
~P8~~>P2
Zgadzasz sie z tym?
TAK/NIE
Quebaab napisał(a):Oj bolało Quebaabie, oj bolało !Rafal3006 napisał(a):Zdanie analizowane:A co tam, odpowiem Ci. Przy okazji zobaczysz, JAK SIĘ ODPOWIADA na tego typu pytania i od Ciebie również tego oczekiwałem!
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2=1 bo 8,16,24…
Wylosowano liczbę 2”!
Dla tego iterowania w naturalnej logice człowieka masz takie zdanie:
D.
Jeśli wylosowano liczbę 2 (L2=1) to nie jest ona podzielna przez 8 (~P8=1) i jest podzielna przez 2 (P2=1)
L2=>~P8*P2
co matematycznie oznacza:
L2=1 => ~P8=1 i P2=1
Dla tego losowania zdanie D będzie prawdziwe, pozostałe zdania będą fałszywe
Dla wylosowanej liczby 2 mamy:
~P8=1, P8=0
P2=1, ~P2=0
stąd:
A: P8=>P2=1 bo 8,16,24…
A: P8*P2 = 0*1 =0 - dla liczby 2
B: P8=>~P2=0 - nie ma takiej liczby
B: P8*~P2=0*0=0
C: ~P8~>~P2=1 bo 3
C: ~P8*~P2=1*0=0 - dla liczby 2
D: ~P8~~>P2=1 bo 2
D: ~P8*P2=1*1=1 - dla liczby 2
Jaka jest wartość logiczna zdania:
1.
Liczba 2 nie jest podzielna przez 8
prawda/fałsz
2.
Liczba 2 jest podzielna przez 2
prawda/fałsz
Poproszę o odpowiedź.
1. Prawda
2. Prawda
Widzisz? Nie bolało i jestem cały. Teraz TY mi odpowiedz prawda/fałsz.
Zauważ bowiem w powyższej tabeli że dla konkretnego iterowania:
Wylosowano liczbę: 2
Zdanie A które analizujemy czyli:
Jeśli liczba jest podzielna przez 8 to na pewno jest podzielna przez 2
P8=>P2=0 dla wylosowanej liczby 2!
czyli:
Zdanie analizowane P8=>P2 jest fałszywe dla liczby 2!
Zgadzasz się z tym?
TAK/NIE
Zdanie P8=>P2 jest prawdziwe wyłącznie dla zbioru określonego w poprzedniku czyli: 8,16,24…
Quebaab napisał(a):Mamy zdanie złożone z konstrukcją "jeśli..., to..." z fałszywym poprzednikiem i prawdziwym następnikiem. Na przykład (ale tylko na przykład) takie:Quebaabie,
Jeśli 2 dzieli 5 i 5 dzieli 10, to 2 dzieli 10.
(zachodzi tu przechodniość podzielności - jeśli x|y i y|z, to x|z)
To zdanie jest prawdziwe czy fałszywe? Nie obchodzi mnie, czy to tylko pojedyncze iterowanie dla jakiegoś innego zdania. Jeśli NTI nie potrafi określić prawdziwości takiego zdania, to mam dla Ciebie złe wieści...
Ja Ci odpowiedziałem, choć nie powinienem był, więc racz tym razem jasno i konkretnie odpowiedzieć. Możesz sobie pisać nawet kilometrowy post, byleby na początku lub na końcu było jasno napisane, czy to zdanie jest prawdziwe, czy nie.
Zdanie „jeśli p to q” to tylko i wyłącznie warunek wystarczający o takiej definicji:
Kod:
p=>q=1
p=>~q=0
Jeśli zajdzie p to na pewno zajdzie q
KONIEC!
Ani grama więcej!
Aby udowodnić prawdziwość tego twierdzenia wystarczy że będziesz iterował po wszystkich możliwych elementach które w poprzedniku dają prawdę!
Zgadzasz się z tym?
TEK/NIE
Jak udowodnisz że to nie jest wystarczające dla dowodu prawdziwości zdania p=>q to natychmiast kasuję NTI!
Do dzieła zatem, pokaż co potrafisz
Ten idiota KRZ iteruje po całej dziedzinie zdania p=>q czyli także po ~p!
Ja nie mam nic przeciwko, tyle że jak dupek KRZ iteruje po całej dziedzinie to musi dać jednoznaczną odpowiedź:
Zdanie p=>q jest implikacją
Przykład:
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2=1
albo
Zdanie p=>q jest równoważnością
Przykład:
Jeśli trójkąt jest równoboczny to ma kąty równe
TR=>KR=1
… a dupek KRZ takiej odpowiedzi nie daje!
Zgadzasz się z tym?
TAK/NIE
Uwaga Quebaabie!
Jest totalnie bez znaczenia jak bardzo ty ten poprzednik i następnik skomplikujesz
Twój przykład:
Jeśli x|y i y|z, to x/z
Aby udowodnić to twierdzenie wystarczy że będziesz iterował tylko i wyłącznie po tych elementach x,y,z które w poprzedniku dają prawdę.
Gówno cię obchodzą x,y,z które w poprzedniku dają fałsz!
Zgadzasz się z tym?
TAK/NIE
Dla iterowań w zdaniu p=>q w których poprzednik jest fałszem, całe zdanie p=>q jest również fałszem!
Patrz wyżej przykład zdania P8=>P2 i konkretnego iterowania =2!
Zgadzasz się z tym?
TAK/NIE
Zostańmy zatem przy dwóch kluczowych zdaniach które tu bez przerwy wałkujemy:
A.
Jeśli liczba jest podzielna przez 8 to jest podzielna przez 2
P8=>P2=1 - to jest implikacja prosta
... ale dopiero po udowodnieniu jednego z dwóch kolejnych twierdzeń:
P2=>P8=0
albo
~P8=>~P2=0 bo 2
Tylko i wyłącznie teraz możesz powiedzieć że zdanie A jest implikacją, ani grama wcześniej!
B.
Jeśli trójkąt jest równoboczny to ma kąty równe
TR=>KR=1 - to jest równoważność
Precyzyjnie:
TR=>KR to tylko i wyłącznie warunek wystarczający o definicji:
TR=>KR=1
TR=>~KR=0 - nie ma takiego trójkąta
O zdaniu B możesz powiedzieć że to jest równoważność wyłącznie po udowodnieniu tego faktu, czyli udowodnieniu jednego z dwóch kolejnych twierdzeń:
KR=>TR=1
albo:
~TR=>~KR=1
Tu jest to oczywistością dlatego o zdaniu B możesz powiedzieć że to równoważność
Quebaabie,
Najważniejsze abyś złapał fundamentalną różnicę między zdaniami A i B i przestał bredzić iż oba te zdania to implikacje proste prawdziwe!
Mówienie że oba zdania A i B są implikacjami prostymi prawdziwymi to matematyczne brednie!
Czy to rozumiesz?
TAK/NIE
... i weź sobie do serca to co sam napisałeś:
Quebaab napisał(a):To, co my sądzimy na jakiś temat nie może zmienić faktycznego stanu rzeczy.
Zdanie A wyżej spełnia zero-jedynkową definicję implikacji prostej, jest zatem impliakjcą prostą.
Zdanie B wyżej spełnia zero-jedynkową definicję równowaznosci, jest zatem równowaznością.
Quebaabie,
Jak udowodnisz że zdanie B spełnia zero-jedynkową definicję implikacji to natychmiast kasuję NTI.
Absolutna świętość matematyki w świecie normalnych:
Nic co jest implikacją prostą prawdziwą nie ma prawa być równoważnością prawdziwą i odwrotnie, bo to dwie, fundamentalnie inne definicje zero-jedynkowe.
Jeśli zatem twierdzenie o trójkącie równobocznym i jego kątach jest ewidentną równoważnością prawdziwą (tu wszyscy sie zgadzamy) to nie ma żadnych szans aby zrobić z tego implikacje prawdziwą!
Quebaab napisał(a):To, co my sądzimy na jakiś temat nie może zmienić faktycznego stanu rzeczy.Brawo Quebaabie, tak trzymaj!
Kubuś