ŚFiNiA

rafal3006

Czyli przykład nieprawdopodobnej prostoty i siły nowej teorii ...

[link widoczny dla zalogowanych]

Superstar

super

rafal3006

Niestety powyższy post wylądował w koszu z powodu wstawek offtopic które usunąłem.

Usunięte wstawki:

Wstawka 1.
Podaję drugi sposób dojścia do powyższego równania, bo to jest niezwyle ciekawe.

Logika człowieka = symboliczna algebra Boole’a (algebra Kubusia)

Jeśli zatem człowiek będzie myślał logicznie w sposób naturalny (żadne tam logiki formalne typu KRZ) to jego myślenie na pewno będzie zgodne z symboliczną algebrą Boole’a (algebrą Kubusia).
....

Wstawka 2

Podsumowanie:

Najśmieszniejszy w całej tej historii jest fakt, że człowiek nie musi się uczyć Nowej Teorii Implikacji wyłożonej w podpisie. To po prostu naturalna logika człowieka, wyssana z mlekiem matki, doskonale znana wszystkim dzieciom w przedszkolu.

Do poprawnej komunikacji człowieka z człowiekiem konieczne i wystarczające są operatory logiczne:
AND, OR, operator implikacji prostej, operator implikacji odwrotnej plus prawa Kubusia mówiące o możliwości zamiany implikacji prostej na odwrotną i odwrotnie.

Całkowicie zbędne w logice człowieka są operatory:
NOR i NAND

Prawa Kubusia to odpowiednik praw de’Morgana z operatorów AND i OR z tym, że w naturalnym języku mówionym człowiek praktycznie nigdy nie korzysta z praw de’Morgana, natomiast każdy 5-cio latek korzysta z praw Kubusia milion razy na dobę.

Koniec wstawek

Aktualna odpowiedź w tym temacie wygląda tak:
[link widoczny dla zalogowanych]

zbigniewmiller

pokaż głupku czy wiesz co to jest symboliczna algebra Boola,odróżnij strukturę od rachunku,cóż to takiego Logika człowieka ,a ja ci wydrukuje milion zdań jezyka potocznego z odpowiednimi parafrazami stałych logicznych (w różnych jezykach etnicznych)gdzie używa sie praw de Morgana;
są jak najbardziej potocznie używane! że coś takiego chodzi po świecie?

zbigniewmiller

cała logika to teoria implikacji,w którą coraz więcej wybitnych logików wątpi..