帕斯卡的定义式是什么