构造法书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?
问题描述:
构造法
书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?
答
不知是不是指命题逻辑或一阶逻辑的推理理论中的构造法证明?教材上有的,写得很清楚,UI,UG,EG,EI 等指的是量词的引入或消去规则(不同的教材记法可能不一样),翻翻书就有了.有具体的题做不了可以拿出来共大家讨论.