离散数学证明题┐(A∧┐B)∧(┐B∨C)∧┐C  ┐A．

A→(B∧C),(E→￢F)→￢C,B→(A∧￢S)│-B→E(1)B(T规则,附加前提)(2)B→(A∧￢S)(P规则)(3)A∧￢S(T规则(1)(2))(4)A(T规则(3))(5)A→(B∧C

(1)RP(添加前提）(2)┐RVPP(3)PT,(1),(2)(4)P→(Q→S)P(5)(Q→S)T,(3),(4),(6)QP(7)ST,(5),(6)(8)R→SCP,(1),(7)其中,第3

1P→QP2﹁Q→﹁PT1E3﹁(Q∨R)P4﹁Q∧﹁RT3E5﹁QT4I6﹁PT2,5I

第一个是命题"p--q"and"p"为真,刚q为真.这是假言推理,即永真式[p^(p--q)]--q.第二个命题用逆否,第一句等价于,如果你不能行驶到地球边缘,刚地球不是平的,后面又说了,"你不能行驶

A不是空集在A中任意选择a,B中任意选b,C中任选ca属于Ab属于B=>(a,b)属于A×B=A×C=>b属于C=>B⊂Cc属于C,=>(a,c)属于A×C=A×B=>c属于B=>C

很显然,R是A上的非空关系,因为恒等关系IA包含于R.对任意的a∈A,aRa所以,R是A上的等价关系.再问：还是不太懂嘢！能再说清楚点吗

AB集合的元素数目一致,存在一一对应的情况,你可以构造一个,所以等势再问：数目一样就一一对应了？？再答：数目一样就可以找到一个函数让他们一一对应再答：所以一般数目一样就默认成等势了再问：那怎么构造呢再

设f={|a∈A∧b∈B∧f(a)=b},而f是双射,那么有f-1={|∈f},由于f是满射,故对于每一个b∈B都有∈f,则必有∈f-1,而f-1的定义域为B(这表示f-1定义域取遍整个集合B)f是单

利用定理A-B=A∩~B左边=A－(A∩B)=A∩~(A∩B)=A∩(~A∪~B)=(A∩~A)∪(A∩~B)=A∩~B右边=(A∪B)－B=(A∪B)∩~B=(A∩~B)∪(B∩~B)=A∩~B左边

若a^n=e,∵a的阶为k,∴a^k=e∴n≥k,不妨设n=mk+b,若b≠0,则0

(p∧┐q)∨(┐p∧q)(p∨(┐p∧q))∧(┐q∨(┐p∧q))(p∨┐p)∧(p∨q)∧(┐q∨┐p)∧(┐q∨q)(p∨q)∧(┐q∨┐p)(p∨q)∧┐(p∧q)

分a*b=a和a*b=b两种情况讨论a*b=a=>b*b=(a*a)*b=a*(a*b)=a*a=ba*b=b=>b*b=(a*a)*b=a*(a*b)=a*b=

群：满足结合律存在单位元每个元素有逆元（1）因为a.2=a+2-2=a所以单位元是2存在单位元（2）任取a,b,c属于R(a.b).c=(a+b-2)+c-2=a+b+c-4;a.(b.c)=a+(b

这个太容易了,利用教材上的等值演算的等值式即可,翻翻书吧!P→Q∨R┐P∨(Q∨R)┐(P∧┐Q)∨R(P∧┐Q)→R

你的已知事实是不是有错误?如果是A,B,A→C,B∧C→D,D→Q的话就解释的通了.A为真,因为A推出C,所以C为真B为真,C为真,推出B并C为真B并C为真,因为B并C为真推出D,所以D为真因为D为真

本推断,包含两个条件：①：A∪B＝A∪C；——A、B之并集,等于A、C之并集；②：A∩B＝A∩C；——A、B之交集,等于A、C之交集；结论是：B＝C；证明：可根据集合相等的定义来证明：B＝C,当且仅当

左边:((Q∧R)→S)∧(R→(PvS))=(┐(Q∧R)vS)∧(┐Rv(PvS))=(┐Qv┐RvS)∧(┐RvPvS)右边:(R∧(P→Q))→S=┐(R∧(┐PvQ))vS=(┐Rv(P∧┐

证明：因为：P∧Q为真所以P为真并且Q为真于是P∨Q也一定为真再问：题目上面没有说pQ为真啊！！！再答：P∧Q的意思就是P∧Q为真

A=(A-B)∪(A∩B)=(B-A)∪(A∩B)=B

这个是分配率啊,是书上的定理,书上应该有证明过程吧