题目内容
（请给出正确答案）
提问人：网友黄平
发布时间：2022-01-07
[单选题]
谓词逻辑的推理中,
谓词逻辑的推理中,
使用的是()。
A.ES规则
B.US规则
C.UG规则
D.EG规则
参考答案
简答题官方参考答案
（由简答题聘请的专业题库老师提供的解答）
查看官方参考答案
网友提供的答案
共位网友提供了参考答案，
查看全部
- · 有3位网友选择 B，占比33.33%
- · 有3位网友选择 A，占比33.33%
- · 有2位网友选择 C，占比22.22%
- · 有1位网友选择 D，占比11.11%
和
都既是自由变元又是约束变元。
，
，则公式
是( )。
是一个空集，则下列哪一个不成立?( )。
是人，
与
是含有命题变元
的公式，则
一定不是( )。
，
，则( )不成立。
将
作为附加前提来证明。
