命题变元和命题公式有哪些区别和联系