原创力文档- 1、本文档共11页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
一、求下列各公式的主析取范式和主合取范式：
1、 P→Q
P→QPQ（主合取范式）
(P(QQ))((PP)Q)
(PQ)(PQ)(PQ)(PQ)
(PQ)(PQ)(PQ)（主析取范式）
2、 (P→Q)R
(P→Q)R(PQ )R
(PR)(QR) （析取范式）
(P(QQ)R)((PP)QR)
(PQR)(PQR)(PQR)( PQR)
(PQR)(PQR)( PQR)（主析取范式）
((P→Q)R)(PQR)(PQR）(PQR) (PQR)( PQR)（原公式否定的主析取范式）
(P→Q)R(PQR)(PQR)(PQR)
(PQR)(PQR)（主合取范式）
3、 PQ
PQ （主合取范式）
（P(QQ)）（(PP)Q）
(PQ)（PQ）（PQ）（PQ）
(PQ)（PQ）（PQ）（主析取范式）
4、 Q→( PR) Q→( PR)
QPR（主合取范式）
（Q→( PR)）
（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）（原公式否定的主合取范式）
Q→( PR)
（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）（PQR）（主析取范式）
5、 (P→Q)(RP)
(P→Q)(RP)(PQ)(RP)
(PQ)(RP)（析取范式）
(PQ(RR))(P(QQ) R)
(PQR)(PQR)(PQR)(PQR)
(PQR)(PQR)(PQR)（主析取范式）
((P→Q)(RP))(PQR)(PQR)(PQR)
(PQR)(PQR)（原公式否定的主析取范式）
(P→Q)(RP)(PQR)(PQR)(PQR)
(PQR)(PQR)（主合取范式）
6、 P(P→Q)
P(P→Q)P(PQ)(PP)Q
T(主合取范式)
(PQ)(PQ)(PQ)(PQ)（主析取范式）
7、 PQ
PQ（主析取范式）(P(QQ))((PP)Q)
(PQ)(PQ)(PQ)(PQ)
(PQ)(PQ)(PQ)（主合取范式）
8、 (PR)(QR)P
(PR)(QR)P（析取范式）
(P(QQ)R)((PP)QR)(P(QQ)(RR))
(PQR)(PQR)(PQR)(PQR)
( PQR)( PQR)(PQR)(PQR)
(PQR)(PQR)(PQR)(PQR) (PQR)( PQR) (主析取范式)
（(PR)(QR)P）
(PQR)（PQR）（原公式否定的主析取范式）
(PR)(QR)P (PQR)(PQR)（主合取范式）
二、证明：
1、P→Q，QR，R，SP=S
证明：
1、 （1） R 前提
QR 前提
Q （1），（2）
P→Q 前提
P （3），（4）
SP 前提
S （5），（6）
2、P→(Q→R)，R→(Q→S) = P→(Q→S)
（1） P 附加前提
（2） Q 附加前提
（3） P→(Q→R) 前提
（4） Q→R （1），（3）
（5） R （2），（4）
（6） R→(Q→S) 前提
（7） Q→S （5），（6）
（8） S （2），（7）
（9） Q→S CP，（2），（8）
（10） P→(Q→S) CP，（1），（9）
3、PQ， P→R, Q→S = RS
证明 （1） R 附加前提
（2） P→R 前提
（3） P （1），（2）
（4） PQ 前提
（5） Q （3），（4）
（6） Q→S 前提
（7） S （5），（6）
（8） RS CP，（1），（8）
4、A→(CB)，B→A，D→C = A→D
证明（1） A 附加前提
A→(CB) 前提
CB （1），（2）
B→A 前提
B （1），（4）
C （3），（5）
D→C 前提
D （6），（7）
A→D CP，（1），（8）
5、BD，(E→F)→D，E=B
证明：（1） B 附加前提
BD 前提
D （1），（2）
(E→F)→D 前提
(E→F) （3），（4
文档评论（0）