公式是由命题变元,逻辑连接词,括号组成的合法符号串,而命题变元是一个抽象概念