Atomic Language Formula

Last updated Nov 1, 2022

An atomic $\mathcal{L}$-formula is a string $\phi$ of form either

1. $t_{1} = t_{2}$ for $t_{1}, t_{2} \in \mathcal{T}$.
2. $R(t_{1}, \dots, t_{n_{R}})$ for $t_{1}, \dots, t_{n_{R}} \in \mathcal{T}$.

• Term
• Language