目录
期中测试
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))