义的数学应用。它有三个要素：通过语法的一类对象的数学规定，各种语义域的数学规定，和在二者之间的关系，它通常表达为从语法对象到语义对象的函数。在本文中，我们只致力于描述量词元素如何解释的问题。在本文中，我们只考虑带有函数符号的一阶逻辑。我们建议读者看模型论的文章获得关于在这个逻辑框架内公式释义的更详细信息。公式的语法可以用语法树给出。量词有范围，而变量"x"是自由的，如果它不在这个变量的量化范围内。所以在中，"x"和"y"二者在"C"（"y","x"）中的出现是自由的。一阶谓词演算的释义假定给出一个个