【离散数学】期中测试

1. A＝{1,2,3}, A上关系R={<1,2>,<2,2>,<2,3>,<3,3>}，对称闭包是哪个？
A. {<1,2>,<2,2>,<2,3>,<3,3>}
B. {<1,2>,<2,1>,<2,2>,<2,3>,<3,3>}
C. {<1,1>,<2,2>,<2,3>,<3,3>}
D. {<1,2>,<2,1>,<2,2>,<2,3>,<3,2>,<3,3>}
正确答案：D

2. ∀xP(x)→∃yQ(x,y)的前束范式是
A. ∀x∃y（P(x)→Q(x,y)）
B. ∀x∀y（P(x) →Q(x,y)）
C. ∃x∀y（P(x) →Q(x,y)）
D. ∃x∃y（P(x) →Q(z,y)）
正确答案：D

3. 谓词推理要
A. 先US，后ES
B. 先ES，后US
正确答案：B</