Temat: Nowa teoria implikacji
...B: p=>q = q~>p C: p~>q = q=>p Implikacja odwrotna jest niezbędna na podstawie B i C. Przypowieść o krasnoludku Dzisiejsza logika nie odróżnia logiki dodatniej od ujemnej, dlatego nie opisuje poprawnie otaczającej nas rzeczywistości. Odpowiednikiem logiki dodatniej i ujemnej w świecie fizyki może być wektor napięcia zmiennego w naszych gniazdkach elektrycznych. Nie jest to przykład idealny bowiem jest to przykład równoważnościowy (brakuje tu „wolnej woli” opisywanej przez operatory implikacji), ale pokazuje na czym polega błąd współczesnej logiki twierdzącej że operator implikacji odwrotnej ~> jest w zbędny. Wszyscy wiemy, że napięcie zmienne to sinusoida. W połówkach dodatnich sinusoidy napięcie zmienne ma wartość dodatnią, natomiast w ujemnych wartość ujemną, oczywiście względem stałego punktu odniesienia...
Źródło: ateista.pl/showthread.php?t=7685