"释"通常是指对某个符号或术语的解释。解释是一个映射关系，它将逻辑符号映射到某个特定的对象或概念。例如，我们可以为谓词符号 "+" 指定一个解释，将之映射到加法运算。

在一阶逻辑的公式中，解释可以用于为变量赋值，从而使得公式中的符号具有实际的意义。例如，在公式 "∀x (x