命题公式A和B等价，要求命题公式A和B有相同的的原子变元，且对原子变元的每个 ，A和B的值都 。
举一反三
- 通常把命题、命题变元、谓词填式和命题函数叫做谓词演算的原子公式。
- 命题公式A与命题公式B是等价的，是指 . A: A与B有相同的原子变元。 B: A与B都是可满足的。 C: A的真值为真时，B的真值也为真。 D: A与B有相同的真值。
- 【多选题】代入规则和替换规则的区别有：（ ） A: 代入是对原子命题变元而言，替换通常是对命题公式实行。 B: 代入是对命题公式实行，替换通常是对原子命题变元而言。 C: 代入必须是处处代入，替换则可部分替换或者全部替换。 D: 代入可部分代入或者全部代入，替换必须是处处替换。
- 某个命题公式有256个n元真值函数,此命题公式有______ 个命题变项。
- 已知命题公式A=p→q共含有命题变项p,q和r,则r是公式A的哑元。