不知是不是指命题逻辑或一阶逻辑的推理理论中的构造法证明?教材上有的,写得很清楚,UI,UG,EG,EI 等指的是量词的引入或消去规则（不同的教材记法可能不一样）,翻翻书就有了.有具体的题做不了可以拿出来共大家讨论.