离散数学 Discrete Mathematics. 第一章 命题逻辑 第 4 讲 §1—6 其他连结词. 前面已经定义了 5 种联结词： ┐ ， ∧ ， ∨ ， → 和 ，但这些联结词还不能广泛地直接表达命题间的联系，下面再定义 4 种命题联结词：. 一、不可兼析取（异析取）. 表 1-6.1. (5)(P Q) ┐(P Q). ∨. 如果 P. Q R. ∨. 4. 定理. 证明. 则. 二、条件否定 定义
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Discrete Mathematics
5 4
1-6.1
(5)(P Q) (P Q)
P
Q R
4.
1-6.2 PQP QPQP QTPTQFP QF
1-6.2
2.
1-6.2
2
1-6.3
2.
1-6.3
3.
(a) PQQP
(b) PP P
(c) (PQ)(PQ)PQ
(d) (PP)(QQ)PQ
1.
2.
1-6.4
1-6.4
3.
(a) PQQP
(b) PPP
(c)(PQ)(PQ)PQ
(d) (PP)(QQ)PQ
Sn(n1)SS
{}{}
{,,}
p pq
(pp) ( pq)
pp (1) (pq)
pq
(pp)(qq)(1) (3)
pq
( pq)
( pq)
(pq)(pq) (1)(2)
1(3){}{}
PQP Q
PQP QTPTQFP QF
PQPQPQTFT
PQPQPQFTF
291~5