逻辑形式逻辑常项逻辑变项的关系