展开 逻辑形式逻辑常项逻辑变项