命题公式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的哑元。
内容
- 0
命题公式A与B是等价的,是指()。 A: A与B有相同的原子变元 B: A与B都是可满足的 C: 当A的值为真时,B的真值也为真 D: A与B有相同的真值
- 1
题公式有唯一的主范式,且当命题变元的顺序约定以后,
- 2
如果一个命题公式中含有n个命题变元,则此公式有2n个真值指派。
- 3
一个命题公式有唯一的主范式,且当命题变元的顺序约定以后,主析取范式和主合取范式是唯一确定的
- 4
在含有3个命题变元的命题公式中,共有 种赋值