下列关于谓词公式的说法中，正确的是（ ）。
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.对于谓词公式(∃x)(P(x,y)→Q(x,y))∨R(x,y)，关于量词辖域的说法中，正确的是（ ）。
- 3.以下是谓词公式连接词的符号有（ ）。
- 4.设谓词P的真值为False、Q的真值为True，下列谓词公式的真值为True的是（ ）。
- 5.对于一阶谓词逻辑，如果没有归结出空子句，则说明原谓词公式是不可满足的。
- 6.谓词公式不可满足的充要条件是其子句集不可满足。
- 7.下列关于实体现金流量计算的公式中，正确的有（ ）。
- 8.对于谓词公式P，如果至少存在一个解释使得公式P在此解释下的真值为T，则称公式P是（ ）。
- 9.下列说法中关于定向径说法正确的是
- 10.关于骨质疏松症下列说法中正确的是()
