Palmer Eldritch napisał(a):Rafałek słuchaj. Mam pytanie.W komputerach wszystko jest OK bo nie ma tam najmniejszego śladu implikacji.
Wprawdzie mało o temacie wiem (mimo tego odróżniam zdanie od operatora ), ale słyszałem, że na podstawie znajomości logiki klasycznej buduje się np. komputery, a dzięki nim możemy sobie popisać głupoty, albo nawet w kosmos lecieć.
Jaki wynalazek, jaki sprzęt, jaką maszynerię da się zbudować na bazie NTI?
(To ważne pytanie, bo jeśli wskażesz użyteczność swojej metody, to nie sposób będzie Ci przeczyć.)
Implikacja zarówno prosta jak i odwrotna to w jednej połówce zawsze "rzucanie monetą" czyli to idiotyzm w świecie techniki i nigdy nie znajdzie tu zastosowania.
W technice cyfrowej znana jest logika dodatnia i ujemna w algebrze Boole'a !
Odwrócenie logiki można uzyskać na dwa sposoby:
1.
Załóżmy że mamy układ:
A.
Y=A*(B+~C)
sposób I
~Y = ~[A*(B+~C)]
Ten sposób wymaga użycia tylko jednego negatora i nie ingeruje w układ fizyczny.
Sposób II
Przechodzimy z równaniem A do logiki ujemnej poprzez negacje zmiennych i wymianę operatorów:
~Y = ~A+(~B*C)
Ten sposób wymaga ingerencji w budowę całego układu, praktycznie wszystko trzeba budować od nowa dlatego w technice cyfrowej jest to bez sensu.
Jednak mózg człowieka działa fundamentalnie inaczej, tu podstawą wszystkiego jest sposób II i totalne olewanie sposobu I.
Przykłady na tak:
Przejście z logiki dodatniej do ujemnej w zdaniach twierdzących opisane wyżej
Prawa Kubusia w implikacji
Przykłady na nie:
Kompletne nie korzystanie z praw de'Morgana w naturalnym języku mówionym.
Prawa de’Morgana są powszechnie wykorzystywane w technice cyfrowej np. do minimalizacji układu.