复习资料 - 副本 - 副本.docVIP

一、翻译： 1、翻译成命题公式：（1）小王在教室或图书馆。 （2）小张或者骑自行车去学校，或者乘公共汽车去学校。 2、翻译成谓词公式：发光的不都是金子。 （1）没有人登上过木星 （2）在美国留学的学生未必都是亚洲人 二、求下列复合命题的真值表： 三、证明下列等价式: （1）（P→Q）→（Q∨R）( P∨Q∨R （2） （3）((Q∧S)→R)∧(S→(P∨R))(S∧(P→Q))→R 四、求下式的主析取范式与主合取范式 （1）(P(Q)(R的主合取范式 (2) (3) 五、用推理规则证明下式： （1）； （2） 六、用谓词逻辑证明： （1）； （2）。 七、设集合, 求复合关系 八、分析集合上的关系： 判断它是否有自反性、对称性、传递性、反自反性、反对称性。 九、设A={1,2,3,4}，A上的关系R={1,1,2,2,1,2,2,3,3,23,4} . 求r(R),s(R),t(R). 十、集合X={1，2，3，4，5},X上的一个划分S={{1,2,3},{4,5}}.试写出确定的等价关系，并写出相应关系阵。 十一、判断下列关系阵对应的关系是否相容关系（须写明理由）。若是相容关系，写出所有的最大相容类。 十二、在偏序集Z,≤中，其中Z={1,2,3,4,6,8,12,14}，≤是Z中的整除关系，求极大元，极小元，最大元，最小元，集合D={2,3,4,6}的最小上界和最大下界。 一、翻译： （1）翻译成命题公式：小王在教室或图书馆。 （2）小张或者骑自行车去学校，或者乘公共汽车去学校。 解：令 p：他骑自行车去学校。 q：他乘公共汽车去学校。 此命题中的或是不可兼或，所以不能符号化为：p∨q。而要符号化为： (?p∧q)∨(p∧?q)。 （2）翻译成谓词公式：发光的不都是金子。 （3）没有人登上过木星 设M(x)：x登上过木星； H(x)：x是人 ┐((x)(H(x)∧M(x)) 或者((x)(H(x)→┐M(x))； （4）在美国留学的学生未必都是亚洲人 设A(x)：x是亚洲人 H(x)：x是在美国留学的学生，则： ┐ ((x)(H(x)→A(x)) 或者 ((x)(H(x)∧┐A(x))； 二、求下列复合命题的真值表： 三、证明下列等价式: （1）试证（P→Q）→（Q∨R）( P∨Q∨R 证：左边 ((（(P∨Q）∨（Q∨R）(E11), (（P∧(Q）∨（Q∨R） (E7，E1)， ( （P∨Q∨R）∧（(Q∨Q∨R）(E5)， ( （P∨Q∨R）∧T (E9)， ( （P∨Q∨R） ； （2）((Q∧S)→R)∧(S→(P∨R))(S∧(P→Q))→R。 四、求下式的主析取范式与主合取范式 （1）(P(Q)(R的主合取范式 (P(Q)(R ((((P∨Q)∨R ((P∧(Q)∨R ((P∨R)∧((Q∨R) ( (P∨(Q∧(Q)∨R)∧((P∧(P)∨(Q∨R) ( (P∨Q∨R)∧ (P∨(Q∨R)∧ (P∨(Q∨R)∧((P∨(Q∨R) (1)； (2)。 五、用推理规则证明下式： （1）； （2） 六、用谓词逻辑证明： （1）； （2）。 七、设集合, 求复合关系 例 X=(1,2,3,4,5(，X上的二元关系R和S定义如下： R={(1,2(,(3,4(,(2,2( } S={(4,2(,(2,5(,(3,1(,(1,3( } 试求R°S，S°R，R°(S°R)，(R°S)°R，R°R， S°S，R°R°R。 解：R°S={(1,5(,(3,2(,(2,5( }； S°R={(4,2(,(3,2(,(1,4( }； (R°S)°R={(3,2( }； R°(S°R)={(3,2( }； R°R={(1,2(,(2,2( }； S°S={(4,5(,(3,3(,(1,1( }； R°R°R ={(1,2(,(2,2( }。 八、分析集合上的关系： 判断它是否有自反性、对称性、传递性、反自反性、反对称性。 九、设A={1,2,3,4}，A上的关系R={1,1,2,2,1,2,2,3,3,23,4} . 求r(R),s(R),t(R). 例】设A={a, b, c}，A上的二元关系R={a, b, b, c, c,