t1=t2, donde t1 y t2 son términos, o R(t1,...,tn), donde R es un símbolo de relación n-ario, y t1,...,tn son términos, o (¬φ, donde φ es una fórmula, o (φ∧ψ, donde φ y ψ son fórmulas, o (∃x)(φ, donde x es una variable y φ es una fórmula