逻辑形式逻辑常项逻辑变项欧拉图