离散数学(一)练习题2013-10-8.docVIP

一、判断题（正确√，错误×） ( )1．设,则。 ( )2．是合取范式，不是析取范式。 ( )3．公式与公式等价。 ( )4．。 ( )5．中，x,y是约束变元，z是自由变元。 ( )6．中的自由变元进行代入后得到公式。 ( )7．中的约束变元进行换名后得到公式。 ( )8．。 ( )9．，则。 ( )10．设。 ( )11． ( )12．○S也是反自反的。 ( )13．P, ≤ 是一个偏序集合，若最大成员存在，则该最大成员必然是极大成员。 ( )14． ( )15．→Y是单射函数，则|X|≤|Y|。 ( )16．→N,且f(j)=j2+2,则f是单射函数。 ( )17．设X={1,2,3,4}, f是X上的关系且f={1,4,2,1,2,3,3,2,4,4}，则f是函数。，则它的成真指派为( )， 成假指派为( )。 A．111, 011, 100, 101,110 B. 111, 011 C. 000, 010, 001 D. 000 2．给定命题公式：与之等价的是( )。 A． B. C. D. 3．命题：“所有马都比某些牛跑得快” 的符号化公式为( )。 假设：H(x)：x是