- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
素数 = 质数,合数有因子
和 或 假必真
同为真
(p →q) ∧ (q ←→ r) , (p ∧ q) ∧┐ r , p∧ (q ∧┐ r) 等都是合式公式,而
若公式 A 是单个的命题变项,则称 A 为 0 层合式
( ┐ p∧ q) → r ,( ┐ (p →┐ q)) ∧ ((r ∨ s) ┐p) 分别为 3 层和 4 层公式
pq→ r ,( p→ (r
→q) 等不是合式公式。
【例】求下列公式的真值表,并求成真赋值和成假赋值。 ( ┐p∧ q) →┐ r
公式 (1) 的成假赋值为 011,其余 7 个赋值都是成真赋值
第一章,
命题逻辑等值演算
( 1)双重否定律
A
A
( 2)等幂律
A
∧ A
A
; A ∨ A
A
( 3)交换律
A
∧ B
B∧ A ; A ∨ B
B∨ A
( 4)结合律
(A∧ B)∧ C
A∧( B∧ C)
;
( A∨ B)∨ C
A∨( B∨ C)
( 5)分配律
(A∧ B)∨ C
( A∨ C)∧( B∨ C) ; ( A∨ B)∧ C
( A∧ C)∨( B∧ C)
( 6)德·摩根律
( A∨ B)
A∧ B
;
( A∧ B)
A∨ B
( 7)吸收律
A
∨( A∧ B)
A;A∧( A∨B)
A
( 8)零一律
A
∨ 1
1
; A ∧ 0
0
( 9)同一律
A
∨ 0
A
; A ∧ 1
A
( 10)排中律
A
∨
A
1
( 11)矛盾律
A
∧
A
0
( 12)蕴涵等值式
A
→ B
A∨ B
( 13)假言易位
A
→ B
B→
A
( 14)等价等值式
A
B
(A→ B)∧( B→ A)
( 15)等价否定等值式
A
B
A
B
B
A
( 16)归缪式
(A→ B)∧( A→
B)
A
Ai (i=1,2,
? ,s) 为简单合取式,则
A=A1∨ A2∨?∨ As 为析取范式(p
∧┐ q) ∨ ( ┐ q∧┐ r) ∨ p
A=A∧A ∧?∧ A 为合取范式
(p
∨q∨ r) ∧ ( ┐ p∨┐ q) ∧ r
12
s
一个析取范式是矛盾式当且仅当它的每个简单合取式都是矛盾式一个合取范式是重言式当且仅当它的每个简单析取式都是重言式
主范式 【∧小真,∨大假】
∧ 成真 小写
【例】 (p → q) → ( ┐ q→┐ p) ┐ ( ┐ p∨q) ∨ (q ∨┐ p) =
(
消去→ )
= (p
∧┐ q) ∨┐ p∨q
(
┐内移 ) ( 已为析取范式 )
= (p
∧┐ q) ∨ ( ┐ p∧┐ q) ∨ ( ┐ p∧ q) ∨( ┐ p∧ q) ∨ (p ∧ q) ( * )
= m2
∨ m0∨m1∨ m1∨m3
= m0
∨ m1∨m2∨ m3
(
幂等律、排序 )
由┐ p 及 q 派生的极小项的过程如下: ┐ p = ┐ p∧ ( ┐q∨ q)
(┐ p∧┐ q) ∨ ( ┐ p∧ q)
q = (
= (
┐ p∨ p) ∧ q
┐ p∧ q) ∨ (p ∧ q)
熟练之后,以上过程可不写在演算过程中。
该公式中含 n=2 个命题变项,它的主析取范式中含了 22=4 个极小项,故它为重言式,
00,01, 10,11 全为成真赋值。
【例】 (p → q) ∧┐ p
= ( ┐ p∨q) ∧┐ p
= ┐ p∨ ( ┐ p∧ q)
(
(
消去→ )
分配律、幂等律
)
已为析取范式
( ┐ p∧┐ q) ∨ ( ┐p∧ q)
m0 ∨ m1
【例】 (p ∧┐ q) ∨ ( ┐ p∧ q)
(p ∨┐ p) ∧ (p ∨q) ∧ ( ┐ q∨┐ p) ∧( ┐ q∨ q)
(p ∨ q) ∧┐ (p ∧q)
重言蕴涵式
【例】用附加前提证明法证明下面推理。
前提: P→( Q→ R),
S∨P, Q
结论: S→ R
证明:(
1) S∨P
前提引入规则
( 2) S
附加前提引入规则
( 3) P
( 1)( 2)析取三段论规则
( 4) P→( Q→ R)
前提引入规则
( 5) Q→R
( 3)(4)假言推理规则
( 6) Q
前提引入规则
( 7) R
( 5)(6)假言推理规则
【例】用归缪法证明。
前提: P∨ Q,P→ R, Q→S
结论: S∨ R
证明( 1)
( S∨ R)
附加前提引入规则
( 2)
S∧ R
( 1)置换规则
( 3)
S
( 2)化简规则
( 4)
R
( 2)化简规则
( 5) Q→S
前提引入规则
( 6)
Q∨S
( 5)置换规则
( 7)
Q
( 3)( 6)析取三段论
( 8) P∨Q 前提引入规则
( 9) P ( 7)( 8)析取三段论规则
( 10) P→R 前
文档评论(0)