设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（ ）。
A、永真
B、永假
C、不可满足
D、等价
发布时间：2023-08-01 23:04:33
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜搜题库网 官方老师解答 )
答案：
相关试题
- 1.设P和Q是两个谓词公式，D是它们共同的个体域，若对于D上的任何一个解释P和Q都有相同的真值，则称P和Q在D上（ ）。
- 2.若谓词公式P对个体域D上的任何一个解释都取真值T，则称P是永真的。
- 3.如果谓词公式P只能对个体域D上的一部分解释取得真值T，则称P在D上是不可满足的。
- 4.对于谓词公式P与Q，如果P→Q永真，则称P为Q的前提，Q为P的逻辑结论，记为P⇒Q。
- 5.对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（ ）。
- 6.设谓词P的真值为False、Q的真值为True，下列谓词公式的真值为True的是（ ）。
- 7.下列命题公式中哪个（些）为重言式？ （）Ⅰ．（（p∨q）→r┌）→（（p→r）∧（q→r））Ⅱ．（p→（q∨r））→（（p→q）∧（p→r））Ⅲ．（（p→q）∧（p→r））→（（p→r）Ⅳ．
- 8.用真值表证明¬(p↔q)和 ¬q↔p逻辑等价。
- 9.下列推理形式中,有效的是A.(p→～q)∧q→～pB.(～p←q)∧q→～pC.(p∨～q)∧p→～qD.(p∨～q)∧q→～pE.[(p→q)∧(r→s)∧(～p∨～r)]→(～q∨～s)
- 10.P→Q<==>┐P∨Q是（ ）∧∨。
