公式 的约束变元为___________，自由变元为________________。