离散数学 构造法

Question

书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?
求大神指点

Answer 1

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