顶点式：y=a(x-h)²+k（a≠0,a、h、k为常数），顶点坐标：（h，k）。

通用格式，用数学符号表示，各个量之间的一定关系(如定律或定理)的式子，能普遍应用于同类事物的方式方法。

公式，在数学、物理学、化学、生物学等自然科学中用数学符号表示几个量之间关系的式子。具有普遍性，适合于同类关系的所有问题。在数理逻辑中，公式是表达命题的形式语法对象，除了这个命题可能依赖于这个公式的自由变量的值之外。

名词解释：

根据谓词逻辑的语义推导规则，语义应该具有一致性，就是对于一个命题逻辑语句集f，当且仅当至少存在这样一种解释i，f的一切元素在i之下都是真的，那么，f是语义一致的。在命题逻辑语义学内，一个赋值不能同时把真和假给予某个命题原子式。在命题逻辑语义学中，在同一解释下，一个集合不能既属于某个谓词的外延又不属于该谓词的外延。