命题变量

一个任意的，没有赋予具体内容的原子命题就是一个变量命题

该命题变量没有具体的真值

当命题变元表示原子命题的时候，该变元称为 原子命题变元

约束变元

自由变元

给上面两个变元改名的规则