原创力文档- 1、本文档共6页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
命题的判定与自
然推理
、用符号表示下列各复合命题的真值形式:
? PP。
? pq。
3 ? pi q（如以“不 焉 ”为联结词，也可表示为“
? (pjq) ( piq)。
、p为假， pq为假， pq 为真，pi q 为假，pq为假
四、五、三、q的取值应为真。
四、
五、
4、5两公式取值为T。
各组公式的真值表分别为:
p
q
pi q
qi p
T
T
T
T
T
F
F
T
F
T
T
F
F
F
T
piq (
p i pq
p
q
p
pi q q)
pq
T
T
F
T
T
T
F
F
F
F
F
T
T
T
T
F
F
T
T
T
以上各组公式中2、5分别表示相同的真值函项。
六、列出下列公式的真值表，并指出它们分别为重言式、矛盾式或协调式。
1.
P
PP
P( PP)
T
T
T
2.
F
F
T
各公式的真值表是:
P
q
pq
qp
(Pq) ( qp)
T
T
T
T
T
2为重言
调式，5
下列公式
FT F
T
F
T
T
T
F
T
T
T
T
F
F
F
F
T
P
q
p-q
q - p
(p-q) -(q
上各公式中，1、
-p)
式，
3、4为协
T
T
T
T
T
为矛盾式。
T
F
F
T
T
归谬赋值法判明
F
T
T
F
F
是否为重言式。
F
F
T
T
T
〔(p—q) (r —
P
q
P
p- q
pq
(p -
q)-
(pr)〕
(pq)
T
T
F
T
F
F
F T F T
T
F
F
F
F
T
T F
F
T
T
T
T
T
F
F
T
T
F
F
T或T
七、用
1.
)
T
命
p
q
q
qq
p (qq)
Lt r * *-
题变兀p
或r有赋
T
T
F
F
F
值矛盾，故该式为重言
式。
T
F
T
F
F
2. (p
F
T
F
F
F
—q) (p— r ) (p—qr )
(1)
F
F
T
F
F
(p—q) (p— r ) — (p
—qr )
T T T T TTT F T F FFF q和r有赋值矛盾，所以，(1)式是重言式。
(2) (piqr )t( piq) (p— r )
T TTTF F T T T F TF F
所有命题变元均无赋值矛盾，故( 2)不是重言式。
3．(piq)( qir )i( pir )
T TT T FT F F T F F
命题变元 q 有赋值矛盾，故该式为重言式。
八、用命题的自然推理，证明下列公式是否为有效式(为系统中的定理)
1． ppip
证明：①pp
证明：①pp
p
ppi p 2．(piq) qip 证明：①p
(piq) q
pi q
q
q
qq
p
(piq) qip
据规则 5
、②据规则(3)，消去假设①
假设
假设
据规则 (5)
、③据规则(2)
据规则 (5)
④、⑤据规则(4)
、⑥据规则(8)，消去假设①
、⑦据规则(3)，消去假设②
(厂q
(厂q) - ( qip)
证明：①p
p— q
q
q
qq
p
q— p
(p— q) — ( q—p)
(q—r )—(pq—pr)
证明：①pq
p
q
q— r
pr
r
pr
pr
假设①
pq— pr
(q— r) — (pq— pr)
假设
假设
①、②据规则(2)
、④据规则(4)
、⑤据规则(8)，消去假设①
、⑥据规则(3)，消去假设③
、⑦据规则(3)，消去假设②
假设
假设
假设
假设
据规则 (6)
、④据规则(2)
⑥据规则 (6)
①、②、⑤、③、⑦据规则⑺，消去
①、⑧据规则(3)，消去假设①
5. (p—
5. (p—qr)(p—q)( p—r)
证明：①piqrpqr
证明：①piqr
p
qr
q
pi q
p
qr
r
pi r
(piq)( pir)
假设
假设
①、②据规则(2)
据规则 (5)
②、④据规则(3)，消去假设②
假设
①、⑥据规则(2)
⑦据规则 (5)
⑥、⑧据规则(3)、消去假设⑥
、⑨据规则(4)
CD(piqr) i(piq)( pir) ①、⑩据规则 ⑶，消去假设①
色(piq)( pir)
回pi q
假设
包据规则(5)
据规则(5)
假设
包、十据规则(2)
迪、迪据规则(2)
爸、包据规则⑷
迪、迪据规则⑶
尬(piq)( pir)i(piqr) ⑥、包据规则⑶，消去假设匚
?(piqr) (piq)( pir) d、@据规则(10)
文档评论（0）