构造法书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?

来源:学生作业帮助网 编辑:作业帮 时间:2024/11/26 12:20:36
构造法书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?
xP]N@J 4D o>JѠbZ ev',xM&fQk|kd| ' $]txjd ;OaR))eJƷ%՛ZA'DI=K ]6u3-Z/<2w}r=OB2cKut"8vx&y+- uRf V(+IgcAAHر5Ӗ'/IxQ|dsL,=Hy =P2"f௅?rjv]-dK

构造法书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?
构造法
书写格式是咋写,看不懂,后面的P E I T 什么的是指什么?

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