任何逻辑形式都由逻辑常项和变项两个部分组成的。