L-項
from 言語(数学基礎論）
L : 言語(数学基礎論）
言語Lに対して L-項とは
1. 変数記号はL-項
2. $ f \in L: 関数記号　アリティはn
t_1 .. tn : L項
このとき$ f(t_1, ... ,t_n)もL-項
こういうただの有限列
3. 以上により得られるもののみがL-項である
https://gyazo.com/9cbf513a60c665dbc69d72acdf3010c9
https://gyazo.com/830541edbe2acaf2f3a7b242500cc6f7
L-論理式