L-論理式
from L-項
L: 言語(数学基礎論）
1. $ t_1, t_2: L-項 このとき
t_1 = t_2 はL-論理式
2. $ R \in L: 関係記号、アリティはn
t_1 ... t_n: L-項
このとき、$ R(t_1, ...., t_n)はL-論理式
3. φ が L-論理式のとき ¬(φ) も L-論理式である．
4. φ と ψ が L-論理式のとき (φ) → (ψ) も L-論理式である．
5. φ が L-論理式で x が変数記号のとき ∀x (φ) も L-論理式である．
6. 以上により得られるもののみが L-論理式である．
また自由変数が現れない L-論理式を L-閉論理式という．
またこの場合は (1) と (2) を原子論理式という．
https://gyazo.com/3fdf1fc3685932c838666745766cdc5f
https://gyazo.com/2c4f2314f6247862f9ebb1af5b860ed3
https://gyazo.com/9d8b8f1fbb92f0c53395367dabdb2033
これらもL-閉論理式(L-論理式で閉じたもの)のメタ集合TをL-公理系という