上传者: 42204453
|
上传时间: 2021-11-13 18:38:36
|
文件大小: 2.05MB
|
文件类型: -
⑶对偶原理(定理1-5.2):
令A(P1,P2,…,Pn) 、B(P1,P2,…,Pn)是只含有
联结词、∨、∧的命题公式,则如果
A(P1,P2,…,Pn)B(P1,P2,…,Pn) 则
A*(P1,P2,…,Pn)B*(P1,P2,…, Pn)
证明:因为 A(P1,P2,…,Pn)B(P1,P2,…,Pn)
故 A(P1,P2,…,Pn)B(P1,P2,…,Pn)
而 A(P1,P2,…,Pn)A*(P1,P2,…,Pn)
B(P1,P2,…,Pn)B*(P1,P2,…,Pn)
故 A*(P1,P2,…,Pn) B*(P1,P2,…,Pn)
所以 A*(P1,P2,…,Pn) B*(P1, P2,…, Pn)