题目内容

下列公式中等值的是().(5.0)

A. ∀x(A(x)→
B. (x))与∀xA(x)→∀xB(x) ∀x(A(x)∨B(x))与∀xA(x)∨∀xB(x)
C. ∀x(A(x)∧B(x))与∀xA(x)∧∀xB(x)
D. ∃x(A(x)∧B(x))与∃xA(x)∧∀xB(x)

查看答案

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

更多问题

在谓词演算中,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. 传递性