>>162
>一階述語論理で思考しないことと一階述語論理を理解してないことは全然違うけどな

ここは中高一貫校生も来る可能性があるから
赤ペン先生しておくが

一階述語論理だけで
ってことな

一階述語論理の重要性は否定しない
だが それは
メンタルピクチャー、“big picture”（>>8-9）の重要性と両立するだろう