逻辑常项是指逻辑形式中（）的部分，变项是指逻辑形式中（）的部分。判别逻辑形式的类型的唯一依据是（）。