离散数学模拟题5.docVIP

模拟试题5 一．填空 1．已知P为T， P(Q为T，则Q为( )。 已知(Q为T, P(Q为T，则P为( )。 已知P(Q为T，P为T , 则Q为( )。 2．A、B是集合。试用谓词公式，表达A(B、A=B以及A(B。 3．A，B，C是集合，(A-B)∪(A-C)=A，当且仅当 （ ）。 二．已知命题公式A(P,Q,R)的主析取范式中含有小项m1, m3, m5, m7 。 求它的主合取范式。 三．用谓词逻辑推理的方法证明下面推理的有效性。(要求按照推理的格式书写推理过程。) (x((A(x)→(B(x))，(x(C(x)∧B(x)), ( (x(C(x)∧A(x)) 四．R和S都A上等价关系，求证R∩S也A上等价关系。 五．给定集合 X={1,2,3} Y={a,b} 问可构成多少个从X到Y函数？请画出这些函数的有向图。 六．令G={km|k∈Z}，m是某个确定的自然数，Z是整数集合，＋是加法运算。 证明G,+ 是交换群。 七． 1．说明什么叫做布尔格？ 2．下面(a),(b),(c)三个格是布尔格吗？如果是，请指出各个格的原子。 八． 1．名词解释： (1)．强连通 (2)．单侧连通 (3)．弱连通 2． 下面给出三个有向图，分别说出它们是哪种连通图。 3．一棵树有n个结点，其中所有分支结点的度数均为k, 问它有多少个叶结点？为什么？ 4．画出 (a－(b×(c－d)))+(e÷(f+g))的算术表达式树 模拟试题5参考答案 一． 1．已知P为T， P(Q为T，则Q为 ( T )。 已知(Q为T, P(Q为T，则P为 ( F )。 已知P(Q为T，P为T , 则Q为 ( T )。 2．谓词定义： A(B((x(x∈A(x∈B) A=B((x(x∈A(x∈B) A(B((x(x∈A(x∈B) ( (x(x∈B(x(A) 3．(A-B)∪(A-C)=A，当且仅当 （ A(B(C=( ）。 二．A(P,Q,R)( M0∧M2∧M4∧M6 ((P∨Q∨R)∧(P∨(Q∨R)∧((P∨Q∨R) ∧((P∨(Q∨R) 三． ⑴ (x(C(x)∧B(x)) P ⑵ C(c)∧B(c) ES ⑴ ⑶ C(c) T ⑵I1 ⑷ B(c) T ⑵I2 ⑸ (x((A(x)→(B(x)) P ⑹ (A(c)→(B(c) US ⑸ ⑺ ((A(c) T ⑷⑹ I12 ⑻ A(c) T ⑺ E1 ⑼ C(c)∧A(c) T ⑶⑻ I9 ⑽ (x(C(x)∧A(x)) EG ⑼ 四．证明： 1．证明R∩S的自反性。 任取 x∈A, (证出x,x∈R∩S) 因R和S都自反，所以有x,x∈R，x,x∈S，于是有x,x∈R∩S，所以R∩S也自反。 2．证明R∩S的对称性： 任取 x,y∈A,设x,y∈R∩S, (证出 y,x∈R∩S。) 则x,y∈R，x,y∈S，因为R和S对称，所以有y,x∈R，y,x∈S，于是y,x∈R∩S。∴R∩S对称。 3．证明R∩S的传递性： 任取 x,y,z∈A, 设x,y∈R∩S,y,z∈R∩S, (证出x,z∈R∩S) x,y∈R∩S∧y,z∈R∩S ( x,y∈R∧x,y∈S∧y,z∈R∧y,z∈S ( (x,y∈R∧y,z∈R)∧(x,y∈S ∧y,z∈S) ( x,z∈R∧x,z∈S （因为R、S传递） ( x,z∈R∩S 所以R∩S传递。 五．可构成8个从X到Y函数。分别是f1,f2,f3,f4,f5,f6,f7,f8，它们的有向图如下： 六．证明： 1)证明封闭性：任取k1m,k2m∈G, k1m+k2m＝(k1+k2)m，因为k1＋k2∈Z，所以(k1+k2)m∈G,故＋在G中封闭。 2)证明可结合性：任取k1m,k2m,k3m∈G, (k1m+k2m)+k3m＝(k1+k2)m+k3m＝((k1+k2)+k3)m＝(k1+(k2+k3))m＝(k1m +(k2+k3)m) ＝k1m+(k2m+k3m) ，所以＋在G中是可结合的。 3)证明有幺元： 0m∈G，对任何km∈G，有 0m+km= (0+k)m=km， km+0m= (k+0)m=km，所以0m是幺元。 4)证明可逆性： 任取km∈G,有-km∈G, 使得 km+(-km)= (k-k)m=0m， (-km)+ km= (-k+k)m=0m，所以km的逆元是-km。 综上所述G,+是群。 七．答案： 布尔格：即是有补分配格。 都是是布