久野です。

kono@ie.u-ryukyu.ac.jpさん:
> そうじゃくて... もう一段上のレベル。述語論理ですね。
>     変数と、変数の値の区別がわかる
> これが重要でしょ?

  それを述語論理とか言い出すわけか…初心者に言ったらびびって逃げ
るじゃん。

   私は単に「変数と値の区別」と言えばいいと思うけど。    久野