Question

离散数学中的换名规则怎么用呀，为什么有时候换有时候不换呢？

Answer 1

　　换名规则是出现在一阶逻辑里，你的题用不上。换名规则涉及到是 “约束出现” 或 “自由出现”？一般的，在一个合式公式中，有的个体变项既是约束出现的又是自由出现的，为避免混淆，采用如下二规则：
　　换名规则：将量词辖域中出现的某约束出现的个体变项及对应的指导变项改成另一个在辖域中未曾出现的个体变项，其余不变。
　　代替规则：将某自由变项用与公式中所有个体变项不同的变项符号代替且处处代替。

　　你的问题选 A。事实上，
　　(p∧q) → (p∨q) <==> ┐(p∧q)∨(p∨q)
　　　　　　　　<==> (┐p∨┐q)∨(p∨q)
　　　　　　　　<==> (┐p∨p)∨(┐q∨q)
　　　　　　　　<==> 1