• 2022-06-16
    命题公式A和B等价,要求命题公式A和B有相同的的原子变元,且对原子变元的每个 ,A和B的值都 。
  • 解释;赋值;指派#相同;相等

    内容

    • 0

      命题公式A与B是等价的,是指()。 A: A与B有相同的原子变元 B: A与B都是可满足的 C: 当A的值为真时,B的真值也为真 D: A与B有相同的真值

    • 1

      题公式有唯一的主范式,且当命题变元的顺序约定以后,

    • 2

      如果一个命题公式中含有n个命题变元,则此公式有2n个真值指派。

    • 3

      一个命题公式有唯一的主范式,且当命题变元的顺序约定以后,主析取范式和主合取范式是唯一确定的

    • 4

      在含有3个命题变元的命题公式中,共有 种赋值