给出命题公式p→q的真值表。.doc

来自 : max.book118.com/html/2016/0501 发布时间：2021-03-25

写出命题公式P→Q∨R的主合取范式。P Q R Q∨R P→Q∨R 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 由真值表中可以知道，主合取范式为m0 ∨m1∨m2∨m3∨m5∨m6∨m7这个方法比较简单易懂，还有一种难点的，直接算。就不给你做了证明下列结论的有效性。(1) A→B，┐（B∨C）(┐A （1）┐（B∨C） P (2)┐B T(1） I (3)A→B P (4)┐A T(2)(3)I((x)(C(x) →W(x) ∧R(x)) ∧((x)(C(x) ∧Q(x)) (((x)(Q(x) ∧R(x))(1)((x)(C(x) →W(x) ∧R(x)) P(2)C(a) →W(a) ∧R(a) T(1) US(3)((x)(C(x) ∧Q(x)) P（4）C(a) ∧Q(a) T(3) ES（5）C(a) T(4)I（6）Q(a) T(4)I(7)W(a) ∧R(a) T(2)(5)I(8)R(a) T(7)I(9)Q(a) ∧R(a) T(6)(8)I(10)((x)(Q(x) ∧R(x)) T(9) EG证明┐（B(C）(┐B(┐C。┐（B(C）(┐(┐(B∧C))(B∧C(┐（┐B∨┐C）(┐B(┐C证明对任意集合A、B、C，有(A-B)-C=(A-C)-(B-C)。对于X∈(A-B)-C(X∈(A-B) ∧X ?C(X∈A∧X?B∧X ?C(X∈A∧X?C∧X?B∧X ?C(X∈(A-C)∧X?(B-C)(X∈(A-C)-(B-C)∴对任意集合A、B、C，有(A-B)-C=(A-C)-(B-C)设偏序集为 ρ{0,1,2},( ，试求出其盖COV(ρ{0,1,2}) 并画出偏序关系的哈斯图。这一题好像没办法做，因为你没有确定偏序(的关系写出ρ（ρ（(））的幂集。ρ（ρ（(））=p({(})={(,{(}}将下列命题用命题公式符号化。我们不能既划船又跑步。P:我们划船Q:我们跑步(p∧┐Q)∨(┐P∧Q)或者你没有给我写信，或者信在途中丢失了。P:你没有给我写信Q:信在途中丢失了用谓词公式符合化下列命题并推证其结论的有效性。所有有理数是实数，有些有理数是整数，因此有些实数是整数。P(X):X是有理数R(X):X是实数 Q(X):X是整数 ((x)(P(X)→R(X)),((x)(P(X)∧Q(X)),┞((x)(R(X)∧Q(X))((x)(P(X)→R(X)) PP(A)→R(A) T(1),US (3)((x)(P(X)∧Q(X)) P(4)P(A)∧Q(A) T(3),ES(5)P(A) T(4)，I(6)Q(A) T(4)，I(7)R(A) T(2)(5)I(8)R(A)∧Q(A) T(6)(7)I(9)((x)(R(X)∧Q(X)) T(8),EG设集合A={a，b，c}，求R={ a,b }的r(R)、s(R )与t(R)。 r(R)={ a,b , a,a , b,b , c,c }s(R )={ a,b , b,a }t(R)={ a,b }设集合A={a，b，c}，R和S为A上的二元关系：R={ a,b , a,c }，S＝｛ b,b , b,c }，求出：R(S及S(R。（其中：(表示两个关系的复合）R(S={ a,b , a,c }S(R=(设|A|=m，|B|=n，则A(B、B(A的幂集各有多少个元素、|A(B|=|B(A|=mn,P(A(B)=P(B(A)=2mn 从A到B的关系各有多少个？|BA|=nm证明集合[0，1]与集合(0，1)是等势的。证明集合[0，1]与集合(0，1)存在双射设f是集合A[0，1]到集合B(0，1)的函数，则存在f(A)=B,存在f是A到B的满射。对任意的x1, x2,∈A,且x1, x2,不相等，都有 f(x1)不等于 f(x