項 (Term)

項は、変数・定項・関数記号を規則に従って組み合わせた、個体を指す構文である。項自体は命題ではないため、真偽ではなく解釈の下で要素へ評価される。

仕組みと確認

形成規則で項かどうかを判定し、変数への割り当てと関数記号の解釈で値を求める。式パーサでは識別子と演算子の優先順位を構文木に保存する。

限界と注意点

同じ見た目でも束縛環境が違えば値が変わる。文字列としての等しさ、構文的な等しさ、意味的な等しさを区別する。