高等学校 21 世纪教材
DESCRIPTION
高等学校 21 世纪教材. 离散数学. 电子教案. 人民邮电出版社. 第一章命题逻辑. 命题逻辑,也称命题演算,记为 Ls 。它与谓词逻辑构成数理逻辑的基础,而命题逻辑又是谓词逻辑的基础。数理逻辑是用数学方法即通过引入表意符号研究推理的学问。因此,数理逻辑又名为符号逻辑。 命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。. 退出. 1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型 —— 范式 - PowerPoint PPT PresentationTRANSCRIPT
-
21
-
Ls
-
1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8
-
1.1 . 1T0F
-
PQRPiQiRi
-
. 1.1.1PlPlPlPP lPPllPPlPPl1.1.1
-
1.1.1 (
P
(P
1
0
0
1
-
1.1.2PQPQPQPQPQPQPQPQPQPQPQ1.1.2
-
1.1.2
P Q
PQ
0 0
0 1
1 0
1 1
0
0
0
1
-
1.1.3PQPQPQPQPQPQPQPQPQPQ1.1.3
-
1.1.3
P Q
P Q
0 0
0 1
1 0
1 1
0
1
1
1
-
1.1.4PQPQPQPQPQPQPQPQPQPQPQ1.1.4
-
1.1.4
P Q
PQ
0 0
0 1
1 0
1 1
1
1
0
1
-
PQPPQQPQPQPQPQQPPQQP
-
1.1.4
-
1.1.5PQPQP QP QPQP QPQPQPQP QP Q1.1.5
-
1.1.5 (
P Q
P(Q
0 0
0 1
1 0
1 1
1
0
0
1
-
1.2 .
-
P 1.2.11010
-
2.1.2.2
-
1.2.3A(lA)AB(AB)(AB)(AB)(A B)
-
l
-
.1.2.41.2.5BABBA
-
n2n2n ()
-
4.:
-
1.3 . 1.3.1 A A A A A A A
-
LsLs
-
.1.3.2ABABABABABABABAB
-
1.3.1A BAB A B AA A ABA BB A ABCA BB CA C
-
.(1)AA(2)ABBAABBAABBA
-
(3) (AB)CA(BC)(AB)CA(BC)(AB)CA(BC)(4) A(BC)(AB)(AC)A(BC)(AB)(AC)(5) (AB)AB(AB)AB(6) AAAAAA
-
(7) ATAAFA(8) AFFATT(9) A(AB)AA(AB)A(10) AAF()AAT()(11) ABABABBA
-
(12) AB(AB)(BA)(AB)(AB)AB(AB)(13) (AB)CA(BC)(14) (AB)(AB)A
-
.
-
(1)1.3.2 AR B(2)1.3.3 A1AA1B1AA1B1 BAB1.3.3
-
1.4 .
-
1.4.1 AFTA*A*AAA*AA*
-
1.4.1() AA*P1P2PnAA* A(P1P2Pn)A*(P1P2Pn) A(P1P2Pn)A*(P1P2Pn)A
-
1.4.2 ABABA*B*
-
.1.4.2 ABABABABABABAB
-
AAA ABCABBCAC ABCABACA(BC) ABCACBCABC
-
1.4.3 ABABABBA
-
. ABABABABABABABABABAB
-
ABBABAABBAAB
-
1.5 . 1.5.1 PQPQPQPQPQPQPQP QPQPQ
-
PQPQPQPQPQPQPQPQPQPQPQPQPQPQPQPQPQPQ
-
PQPQPQPQPQP QPQPQPQ4
-
P Q
P(Q P(Q P(Q P(Q
0 0
0 1
1 0
1 1
1 1 0 0
1 0 0 1
1 0 1 1
0 0 0 0
-
PQ(PQ)PQ(PQ)PQ(PQ)PQ(PQ)
-
.3PQR (a)PQQP(b) PPP(c) (PQ)(PQ)PQ(d) (PP)(QQ)PQ
-
(a) PQQP(b) PPP(c)(PQ)(PQ)PQ(d) (PP)(QQ)PQ
-
(a)PQQP(b) P(QR)(PQ)R(c) P(QR)(PQ)(PR)(d) PPFFPPTPP(e) PQRQRPPPQPQRF
-
9PQ9
-
P Q
F
T
P
Q
P
Q
P(Q
P(Q
P(Q
P(Q
0 0
0 1
1 0
1 1
0
0
0
0
1
1
1
1
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
0
0
0
0
1
1
1
1
0
0
1
1
1
1
0
0
0
(
(
(
(
1
2
3
4
5
6
7
8
9
10
-
P Q
P(Q
P(Q
P(Q
P(Q
Q(P
Q(P
0 0
0 1
1 0
1 1
1
1
0
1
0
0
1
0
1
0
0
1
0
1
1
0
1
0
1
1
0
1
0
0
(
(
(
(
(
(
11
12
13
14
15
16
-
FT9
-
.9PQ(PQ)PQ(PQ)PQ(PQ)PQ(PQ)45
-
PQ(PQ)(QP)PQPQPQ(PQ)PQ(PQ)5{}{}
-
1.5.2 GGGG {}{}{}{}{}{}{}{}{}{}{}
-
1.6 .1.6.1 1.6.2
-
PQPQPQPPQPPQPQPQPPQPPQ
-
1.6.1 1.6.2
-
.1.6.3 AAAAiAii=12n1.6.4 AAAAiAi1in
-
1.6.3 (P)P
-
.1.6.4 AA 1.6.5 AA
-
.
-
1.7
-
.(1) 1.7.1 n
-
PQPQPQPQPQPQRPQRPQRPQRPQRPQR PQRPQRPQRn2n
-
102nmii2n1.7.11.7.22PQ3PQR
-
1.7.1
m()
m00 m01 m10 m11
P Q
(P((Q (P(Q P((Q P(Q
0 0
1 0 0 0
0 1
0 1 0 0
1 0
0 0 1 0
1 1
0 0 0 1
m(+)
m0 m1 m2 m3
-
1.7.2 3
m()
m000
m001
m010
m011
P Q R
(P((Q((R
(P((Q(R
(P(Q((R
(P(Q(R
0 0 0
1
0
0
0
0 0 1
0
1
0
0
0 1 0
0
0
1
0
0 1 1
0
0
0
1
1 0 0
0
0
0
0
1 0 1
0
0
0
0
1 1 0
0
0
0
0
1 1 1
0
0
0
0
m(+)
m0
m1
m2
m3
-
m()
m100
m101
m110
m111
P Q R
P((Q((R
P((Q(R
P(Q((R
P(Q(R
0 0 0
0
0
0
0
0 0 1
0
0
0
0
0 1 0
0
0
0
0
0 1 1
0
0
0
0
1 0 0
1
0
0
0
1 0 1
0
1
0
0
1 1 0
0
0
1
0
1 1 1
0
0
0
1
m(+)
m4
m5
m6
m7
-
1.7.11.7.2(a)(b)mimjij(c) mi(d)1
-
(2) 1.7.2 1.7.1 nA
-
(3) 1.7.1(a)(b)
-
(c) PPP(d) QPPQQ)
-
(4) 1.7.2 n
-
.(1) 1.7.3 n
-
PQPQPQPQPQPQRPQRPQRPQRPQRPQRPQRPQRPQRn2n
-
n2nMii2n1.7.32P
-
1.7.3
M()
Mi
I(Mi)
P Q
M00
M01
M10
M11
P(Q
P((Q
(P(Q
(P((Q
0 0
0 1
1 0
1 1
0
1
1
1
1
0
1
1
1
1
0
1
1
1
1
0
M(+)
M0
M1
M2
M3
-
1.7.3(a)(b)MiMjij(c) Mi(d) 0
-
(2) 1.7.4 1.7.3 nA1.7.4 nA1.7.11.7.2
-
.miMi Mimi
-
AnAk A2n-k A AA( )
-
A(a)A(b) (a)(c) (b)A(PQ)Qm1m3(PQ)QM0M2
-
.1n(a)AA2nA
-
(b)AA2nA(c)A2nA2
-
1.8
-
.HnH1,H2,HnCH1,H2,,HnC
-
1.8.1 H1H2HnCHi(1in)CH1H2HnCCH1H2HnCH1H2Hn1.8.1 H1H2HnC(H1H2Hn)C(H1H2Hn)C
-
.()()
-
()RCRC1.8.2 H1H2HnRCH1H2HnRC
-
.1.8.1(1) PQP(2) PQQ(3) PPQ(4) PPQ
-
(5) QPQ(6) (PQ)P(7) (PQ)Q(8) P(PQ)Q(9) Q(PQ)P(10) P(PQ)Q(11) (PQ)(QR)PR(12) (PQ)(QR)PR(13) (PQ)(RS)(PR)QS
-
(14) (PQ)(RS)(PR)QSQ=S(PQ)(RQ)(PR)Q(PQ)(RS)(PR)Q(15)PQ(PR)(QR)PQ(PR)(QR)
-
.(1)H1H2HnC(H1H2Hn)CC
-
D(H1H2Hn)CDC(a) H1H2HnC DC(b)CH1H2HnDC
-
2
-
1.8.2 HCA1A2AnA1HHiAi(i2)HHiAj(jiAnCCHC
-
1.8.3 DAABBCCD{1} (1) AB P{2} (2) BC P{1,2} (3) AC T,(1)(2)I8{4} (4) A P{1,2,4} (5) C T,(3)(4) I8{6} (6) CD P{1,2,4,6} (7) D T,(5)(6) I8 1 2 3 4
-
41 234
-
1.8.3 H1H2HnRH1H2HnRRH1H2Hn1.8.1H1H2HnRRH1H2HnRR1.8.3 H1H2HnCH1H2HnH1H2HnCCH1H2Hn