離散數(shù)學中的換名規(guī)則怎么用呀，為什么有時候換有時候不換呢

　　換名規(guī)則是出現(xiàn)在一階邏輯里，你的題用不上。換名規(guī)則涉及到是 “約束出現(xiàn)” 或 “自由出現(xiàn)”？一般的，在一個合式公式中，有的個體變項既是約束出現(xiàn)的又是自由出現(xiàn)的，為避免混淆，采用如下二規(guī)則：
　　換名規(guī)則：將量詞轄域中出現(xiàn)的某約束出現(xiàn)的個體變項及對應(yīng)的指導變項改成另一個在轄域中未曾出現(xiàn)的個體變項，其余不變。
　　代替規(guī)則：將某自由變項用與公式中所有個體變項不同的變項符號代替且處處代替。

　　你的問題選 A。事實上，
　　(p∧q) → (p∨q) <==> ┐(p∧q)∨(p∨q)
　　　　　　　　<==> (┐p∨┐q)∨(p∨q)
　　　　　　　　<==> (┐p∨p)∨(┐q∨q)
　　　　　　　　<==> 1