下列关于谓词公式的说法中，正确的是（ ）。
A、单个谓词不是谓词公式
B、若A是谓词公式，则﹁A是谓词公式
C、若A，B都是谓词公式，则A∧B，A∨B，A→B，A↔B都是谓词公式
D、若A是谓词公式，则(∃x)A，(∀x)A是谓词公式
E、若A是谓词公式，则﹁﹁A不是谓词公式
发布时间：2023-08-01 23:04:27
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜搜题库网 官方老师解答 )
答案：
相关试题
- 1.下列关于谓词公式的说法中，正确的是（ ）。
- 2.谓词公式
- 3.对于谓词公式(∃x)(P(x,y)→Q(x,y))∨R(x,y)，关于量词辖域的说法中，正确的是（ ）。
- 4.下列公式是谓词公式 xF(x)xG(x) 的前束范式的是（ ）。
- 5.以下谓词公式中，( )不是逻辑有效式。
- 6.以下哪个不是谓词公式？
- 7.以下是谓词公式连接词的符号有（ ）。
- 8.设谓词P的真值为False、Q的真值为True，下列谓词公式的真值为True的是（ ）。
- 9.关于Gauss型求积公式和插值型求积公式的关系，下列说法正确的是[ ].
- 10.对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。
