离散数学 02.03 命题公式的等价关系和蕴涵关系

§2.3 

2.3.1 

2.3.1.GHG=HGHI 
G=HGHGH 
 

 
1)(GH)=(GH)(HG); 
2)(GH)=(¬GH); 
3)GG=G,GG=G;() 
4)GH=HG,GH=HG;() 
5)G(HS)=(GH)S,G(HS)=(GH)S;() 
6)G(GH)=G,G(GH)=G;() 
7)G(HS)=(GH)(GS),G(HS)=(GH)(GS);() 
8)G0=G;G1=G;() 
9)G0=0,G1=1;() 
10)¬(GH)=¬G¬H,¬(GH)=¬G¬H(DeMorgan) 

2.3.2.QQQQ 
,{¬,},{¬,} 

2.3.3.PQPQPQPQPQPQ:PQ=¬(PQ) 

2.3.4.PQPQPQPQ,PQPQ:PQ=¬(PQ) 

{}¬P=PPPQ=(PP)(QQ)PQ=(PQ)(PQ) 

{} 

 
 
00 
:PQPQ 
PQ 

2.3.5.GHHG(GH)GHIIGIHGH 
=G=HGH 

GHGH 
(PQ)P,(PQ)Q 

2.3.6.G 1 ,,G n ,HHG 1 ,,G n (G 1 ,,G n H)G 1 G n H 
HG 1 ,,G n ((G 1 G n )H) 
PPQQ 

2.3.1.H 1 ,,H m ,PQH 1 ,,H m PQ 
(H 1 H m P)Q,(H 1 H m P)Q:P 1 (P 2 P 3 )=(P 1 P 2 )P 3 ,(H 1 H m P)Q=(H 1 H m )(PQ)(H 1 H m )(PQ)H 1 ,,H m PQ 
PQ,QR,PRPQ,QRPR 

2.3.7.S()SGG 1 ,,G k G i SG j (j<i)G k GGSGSG 
S={PQ,QR,PM,¬M},¬M,PM,¬P,PQ,Q,QR,RSR 

使 

GH 1 H 2 GH 1 ,GH 2 ,GH 1 H 2  
GH 1 ,H 2 IIGIH 1 ,IH 2 ,IH 1 H 2 IG(H 1 H 2 ) 

2.3.2.SGSGGS 
SGG 1 ,,G k G i (i=1,2,,k),G i SIi=1G 1 S,G 1 G 1 SG 1 ,G 1 S.i<ni=nG n S,SG n ,G n G j (j<n)(G j1 G jh )G n (1)j1,,jhnSG jm ,m=1,,hS(G ji ,G jh )(2)(1),(2)SG n G n SGSGG 1 ,,G k ,GG 1 ,,G k S 

2.3.3.SGHS{G}HGGH 
S{G}H2HS{G}(G 1 G k G)HG 1 ,,G k S2.3.1(G 1 G k )(GH)GHS2.3.2SGH 

使使G=H(GH)(HG)便使 
 
1.PQP 
2.PQQ 
3.PPQ 
4.QPQ 
5.¬P(PQ) 
6.Q(PQ) 
7.¬(PQ)P 
8.¬(PQ)¬Q 
9.P,QPQ 
10.¬P,PQQ 
11.P,PQQ 
12.¬Q,PQ¬P 
13.PQ,QRPQ 
14.PQ,PR,QRR 

GHGH: 
1.2.GH;3.4.IIG,IH5. 
S={G 1 ,,G k },GSG: 
1.G 1 G k G2.SG1便使()2便使()3PQP使Q(2.3.3) 

2.3.1.{(PQ),(PR),(QS)}SR 
1.PQ12.¬PQ213.QS14.¬PS2235.¬SP246.PR17.¬SR2568.SR27 

2.3.2.{P(QS),¬RP,Q}RS 
1.¬RP12.R33.P2124.P(QS)15.QS2346.Q17.S2568.RS327 

2.3.3. 
P:Q:R:S:G 1 :(P¬(RS))¬QG 2 :PG 3 :¬SH:¬Q 
H{G 1 ,G 2 ,G 3 } 
1.¬S12.¬S¬R213.¬(RS)224.P15.P¬(RS)2346.(P¬(RS))¬Q17.¬Q256 

  • 2
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值