任何一个合适公式，都可以等价地转化为一个前束范式。

前束范式（prenex normal form）是数理逻辑中使用谓词逻辑所描述的形式语言的一种格式。

地转（geostrophic motion）全称地转运动或地转风场，是航空飞行时在中纬度地区会碰到的等压线为一族平行的直线时的平衡流场。在地转运动中，水平气压梯度力与科里奥利力相平衡。实际风场不大可能是严格的地转风场。然而尺度分析表明，中纬度自由大气中水平气压梯度力与科里奥利力近似地相平衡，运动是准水平、准定常的，而这些正是地转运动的主要特征。

设有两个命题p和q，如果由p作为条件能使得结论q成立，则称p是q的充分条件；若由q能使p成立则称p是q的必要条件；如果p与q能互推（即无论是由q推出p还是p推出q都成立），则称p是q的充分必要条件，简称充要条件，也称p与q等价。