司法考试习题.pptVIP

哈斯图与偏序集中特殊位置的元素 图中给出了偏序集A, ≤的哈斯图，其中A= {a,b,c,d,e} 求A中最大元和最小元求A中的极大元和极小元 最大元：a c b a d e 最小元：无 极大元：a 极小元：d 和 e 图中给出了偏序集A, ≤的哈斯图，其中A= {a,b,c,d,e} 求下面各子集的上界和下界并指出它们的上确界和下确界 {a, b, c} {b, c, d} {c, d, e} 上界： 下界： 上确界： 下确界： 哈斯图与偏序集中特殊位置的元素 a c b a d e d a d 上界： 下界： 上确界： 下确界： a d a d 上界： 下界： 上确界： 下确界： a,c 无 c 无 哈斯图 设A={2,5,6,10,15,30}，R是A上的整除关系，B={2,5,6,10}，则B的极小元是 ，极大元是 ，最小元是 ，最大元是 ，上界是 ，下界是 ，上确界是 ，下确界是 。 函数 求证：从N×N到N的函数f(x, y)=x+y，和g(x, y)=x·y是满射函数，但不是单射函数 证明： 1) 对于?x ? N，f(x,0)=x+0=x， g(x, 1)=x·1=x 因此，总存在x,0?N×N，使得 f(x, 0) = x，所以f是满射的 且总存在x,1?N，使得 g(x, 1) = x，所以g是满射的 2) 因为有：1,3,2,2, 1,4 ? N×N ， 且 f(1, 3) = f(2, 2) = 4，且 g(1, 4) = f(2, 2) = 4 所以f和g都不是单射的 函数 设 f: A ? B 是满射函数，且函数 g: B ? P(A)，定义为： g(b) = {x|x ? A ∧ f(x)=b}求证：g是单射的。其逆是否成立？ 证明： 对于? b1, b2 ? B，且 b1 ≠ b2 由于f是满射的，则必存在 a1,a2?A，使得f(a1)=b1，f(a2)=b2 g(b1)={x|x?A∧f(x)=b1}, g(b2)={x|x?A∧f(x)=b2} 则对于?x?g(b1)，有f(x)=b1，且有f(x)≠b2，即x ? g(b2) 即对于? b1, b2 ? B，且 b1 ≠ b2，都有g(b1) ≠ g(b2) 所以，g是单射的 函数 设 f: A ? B 是满射函数，且函数 g: B ? P(A)，定义为：g(b) = {x|x ? A ∧ f(x)=b}求证：g是单射的。 设g?f是复合函数，如果g?f是双射，那么f是入射而g是满射 * ( (? x)(P(x)→((?y)Q(y)→(?y)R(x,y))) ? (? x)(P(x)→(? (?y) Q(y) ∨(?y)R(x,y))) ? (? x)(P(x)→( (? y)?Q(y) ∨(?y)R(x,y))) ? (? x)(P(x)→( (? y)?Q(y) ∨(?z)R(x,z))) ? (? x)(P(x)→( (? y) (?z)(?Q(y)∨R(x,z))) ? (? x) (? y) (?z) (P(x)→(?Q(y)∨R(x,z)) * 证明： 若A×B ? C×D，对任意的∈A和y∈B有 (x∈A)∧(y∈B) = (x, y ∈ A×B) (x, y ∈ C×D) (x∈C)∧(y∈D) 即 A ? C且B ? D 反之，若AC且BD，则对任意的∈A和y∈B有 x, y ∈ A×B ? (x∈A)∧(y∈B) (x∈C)∧(y∈D) ? x, y ∈ C×D 因此，A×B ? C×D的充要条件是A ? C，B ? D。 * 对任意的x，y∈A×B，由R1是A上的等价关系可得x，x∈R1，由R2是B上的等价关系可得y，y∈R2。再由R的定义，有x，y，x，y∈R，所以R是自反的。 对任意的x，y、u，v∈A×B，若x，yRu，v，则x，u∈R1且y，v∈R2。由R1对称得u，x∈R1，由R2对称得v，y∈R2。再由R的定义，有u，v，x，y∈R，即u，vRx，y，所以R是对称的。 对任意的x，y、u，v、s，t∈A×B，若x，yRu，v且u，vRs，t，则x，u∈R1且y，v∈R2，u，s∈R1且v，t∈R2。由x，u∈R1、u，s∈R1及R1的传递性得x，s∈R1，由y，v∈R2、v，t∈R2及R2的传递性得y，t∈R1。再由R的定义，有x，y，s，t∈R，即x，yRs，t，所以R是传递的。 综上可得，R是A×B上的等价关系。 谓词逻辑的推理理论 符号化下列各命题，并给出构造推理证明。 如果一个人怕困难，那么他就不会获得成功 每个人或者获得成功，或者失败过 有些人未曾失败过 所