题目内容

在谓词演算中,P(a)是∀xP(x)是的有效结论,其理论依据是().(5.0)

A. 全称量词消去规则(UI)
B. 全称量词推广规则(UG)
C. 存在量词消去规则(EI)
D. 存在量词推广规则(EG)

查看答案

搜索结果不匹配？点我反馈

更多问题

下列可称为集合的是:(5.0)

A. 某本书中第a页上汉字的全体
B. 很大数的全体
C. 全体高个子的人
D. 全部接近于0的数

S={∅,{1},{1,2}},则有()既是S的元素,又是S的子集?(5.0)

A. ∅
B. 1
C. {1}
D. 2

集合A={1,2,…,10}上的关系R={|x+y=10,x∈A,y∈A}具有下列哪些性质?(5.0)

A. 自反性
B. 反自反性
C. 对称性
D. 反对称性
E. 传递性

设集合A={1,2,3}上的关系R={(1,1),(1,2),(1,3),(3,3)},则R的传递闭包t(R)具备下列哪些性质?(5.0)

A. 自反性
B. 反自反性
C. 对称性
D. 反对称性