>>164 論理変数に関しては、
これが識別子かどうかの議論になりますね。識別子であることを
否定したものが論理変数であるということでしょう。論理変数は
同一の変数があるかだけが焦点になるのですが、それでも、
_氏名 Name Shimei のように表記することによってそのクラスを
暗示することは可能です。この場合は確かに識別子的な性質も
併せ持っているかもしれません。コメントの意味もあります。
私は、読ませることを重視しているため、 _氏名 のような
表記を好みますが、少数派というよりケレンと見なされるようです。
どこに変数がありどの変数と同一であるかをできるだけはっきり
させる、そういう、論理変数の表記をすべきだというのが多数派の
見解のようです。

私は可能限り暗示した方が、