sogors napisał(a):Po pierwsze w NTI nie ma żadnych tautologii !rafal3006 napisał(a):Fizyku, a gdzie ja pisałem w ostatnim poście że:No tak, ale jednak, w tej podpusze, przeprowadziłeś pewne rozumowanie gdzie na początku założyłeś że
implikacja = równoważność ?
To była podpucha dla sogorsa bo upierał sie że a=>a to implikacja
a=>a to implikacja i wykorzystując kilka tautologii (traktując je jak ścisłe definicje) doszedłeś że to równoważność
Ja się już trochę pogubiłem co jest czym.
To głupota wymyślona przez ziemskich matematyków.
Dlaczego nie nazywają tautologią:
x=2x-x
W NTI są TOŻSMOŚCI matematyczne czyli prawa logiczne np.
A=A*A
Z tego prawa skorzystałem i obaliłem idiotyzm KRZ jakoby równoważność była iloczynem logicznym dwóch implikacji prostych … ale to już było ze 20 stron wcześniej !
Autorem pomysłu jest Rexerex !
Na jego cześć Kubuś nazwał poniższe twierdzenie jego imieniem.
Twierdzenie Rexerexa:
Jeśli równoważność p<=>q jest udowodniona to zachodzi tożsamość Rexerexa:
p=>q = p<=>q = (p=>q)*(~p=>~q) = (p=>q)*(q=>p)
Oczywiście wszelkie zapisy typu p=>q w powyższej tożsamości to tylko warunki wystarczające o takiej definicji:
Kod:
p=>q =1
p=>~q=0
z czego wynika że druga linia musi być twardym fałszem !
To nie jest operator logiczny !
Warunek wystarczający = spójnik „musi” => między p i q = kwantyfikator duży w NTI !
… a to jest kwantyfikatora mały ~~> w NTI:
Kod:
p~~>q=1
jeśli zajdzie p to może ~~> zajść q
Wystarczy jeden taki przypadek
sogors napisał(a):Nie !rafal3006 napisał(a):Analiza przez wszystkie możliwe przeczenia:W sumie dość ciekawe jest podkładanie wartości logicznej pod "pies"
Ale zakładam że to coś w stylu "azor jest psem"
Jeśli znasz z góry wartości logiczne p i q to świat jest zdeterminowany.
Dowód tego idiotyzmu jest banalny !
Znajdź mi we wszelkich środkach masowego przekazu choćby jedną implikację „Jeśli…to…” w której znasz z góry wartości logiczne p i q.
Jak znajdziesz to kasuję całą NTI !
Kto w naturalnym języku mówionym mówi:
Jeśli pies ma osiem łap to księżyc krąży wokół ziemi
… poza idiotką KRZ – patrz podręcznik matematyki do I klasy LO.
Weźmy się za tego psa.
Widzę psa i mówię:
To jest pies
Pies=1
Zdeterminowana wartość logiczna psa, nie ważne czy Azor czy Burek
Porównajmy dwa zdania:
Jeśli zwierze jest psem to ma cztery lapy
P=>4L
Tu dziedzina okresloną przez poprzednik jest zbiór wszystkich zwierząt
Jeśli pies to pies
P=>P
Tu dziedzina na której operujemy jest zawęzona do jednego elementu - Psa.
Analiza:
Jeśli pies to pies
(Jeśli pieniądz to pieniądz)
(jeśli pada to pada)
P=>P=1
1 1 =1
Jeśli pies to nie pies
(jeśli pada to nie pada)
P=>~P=0
1 0 =0
Jeśli nie pies to nie pies
(Jeśli nie pieniądz to nie pieniądz)
(jeśli nie pada to nie pada)
~P=>~P
0 0 =1
Jeśli nie pies to pies
(Jeśli nie pada to pada)
~P=>P=0
0 1 =0
Doskonale widać tabele zero-jedynkową równoważności dla kodowania zgodnego ze zdaniem wypowiedzianym:
P=1, ~P=0
sogors napisał(a):Jesteś na dobrej drodze, mam nadzieje że kiedyś zrozumiesz NTI.rafal3006 napisał(a):pQq = qQpMoże jestem gupi albo znów się dałem złapać
ale czy xQy nie przyjmuje wartości logicznej następnika (w tym przypadku y ) a nie tego zdanie które podpiszesz sobie q
Czyli qQp przyjmie wartości p.
Podpucha, pomyłka czy TOTALNIE nie rozumiem logiki, techniki cyfrowej i krasnoludków?
Definicja operatora pQq:
Kod:
p q pQq
1 1 =1
1 0 =0
0 1 =1
0 0 =0
pQq=q
Z powyższego wynika że zachodzi także:
qQp=q
Oznacza to że w tym operatorze kabelek z napisem p jest totalnie nieistotny, że w rzeczywistości jest to operator jedno-argumentowy:
q=Qq
Operator Q oznacza w powyższym że do wejścia układu dochodzi sygnał q zaś na wyjściu mamy taki sam sygnał q
Kod:
-------
q -----| Q |---->q
-------
O wiele ciekawszym operatorem jest bliźniaczy NQ.
Kod:
p q pNQq
1 1 =0
1 0 =1
0 1 =0
0 0 =1
Kod:
q NQq
1 =0
0 =1
Kod:
-------
q -----| NQ |---->~q
-------
W technice cyfrowej TTL jest to układ scalony 7404 zawierający sześć takich negatorów.
Operatory bliźniacze w tabeli wszystkich możliwych operatorów to:
pPq=Pp=p
pNPq=NPp=p