25/09/02 18:38:40.12 7B4TGU0k.net
論理式はもちろん自然言語で書き直せる
論理が分からんというのは、単に論理式が読めないのではなく
どういう推論ができるのかが分からんということ
具体的には∀と∃に関する推論が分かってない
ナイーブに⋀と⋁を無限回使えばいいと思ってる
そんなことできるわけないのは、
ヒトならだれでもわかるが
ヒトの脳がないサルには一生わからん
25/09/02 18:38:40.12 7B4TGU0k.net
論理式はもちろん自然言語で書き直せる
論理が分からんというのは、単に論理式が読めないのではなく
どういう推論ができるのかが分からんということ
具体的には∀と∃に関する推論が分かってない
ナイーブに⋀と⋁を無限回使えばいいと思ってる
そんなことできるわけないのは、
ヒトならだれでもわかるが
ヒトの脳がないサルには一生わからん