第三章命題的判定與自然推理
一、用符號表示下列各復合命題的真值形式:
1.pp。
2.pq。
3.p→q(如以「不……焉……」為聯結詞,也可表示為「p←q」)4.p→q。
5.(p←q) (p→q)。
二、p 為假, pq 為假, pq 為真,p→q 為假,pq為假。
三、q的取值應為真。
四、4、5兩公式取值為t。
五、各組公式的真值表分別為:
1.2. 3. 4.
5.以上各組公式中2、5分別表示相同的真值函項。
六、列出下列公式的真值表,並指出它們分別為重言式、矛盾式或協調式。
各公式的真值表是:
1.2.
3.4.
5.以上各公式中,1、2為重言式,3、4為協調式,5為矛盾式。
七、用歸謬賦值法判明下列公式是否為重言式。
1. 〔(p→q)(r→q )(pr)〕→qf t f t ft f t t f ft或t命題變元p或r有賦值矛盾,故該式為重言式。
2.(p→q)(p→r )(p→qr )
(1) (p→q)(p→r )→(p→qr )q和r有賦值矛盾,所以,(1)式是重言式。
(2)(p→qr )→(p→q)(p→r )所有命題變元均無賦值矛盾,故(2)不是重言式。
3.(p→q)(q→r )→(p→r )
命題變元q有賦值矛盾,故該式為重言式。
八、用命題的自然推理,證明下列公式是否為有效式(為系統中的定理)。
1. pp→p
證明:①pp假設
p據規則5
pp→p據規則(3),消去假設①
2.(p→q) q→p
證明:①p假設
p→q) q假設
p→q據規則(5)
q據規則(2)
q據規則(5)
qq據規則(4)
p據規則(8),消去假設①
p→q) q→p據規則(3),消去假設②
3.(p→q) → (q→p)
證明:①p假設
p→q假設
q假設q據規則(2)
qq據規則(4)
p據規則(8),消去假設①
⑦q→p據規則(3),消去假設③
⑧(p→q) → (q→p) ②、⑦據規則(3),消去假設②4.(q→r )→(pq→pr)
證明:①pq假設
p假設q假設q→r假設
pr據規則(6)
r據規則(2)
⑦pr據規則(6)
pr據規則(7),消去假設①
pq→pr據規則(3),消去假設①
q→r)→(pq→pr) ④、⑨據規則(3),消去假設④5.(p→qr)(p→q)(p→r)
證明:①p→qr假設
p假設qr據規則(2)
q據規則(5)
p→q據規則(3),消去假設②
p假設qr據規則(2)
r據規則(5)
p→r據規則(3)、消去假設⑥
p→q)(p→r據規則(4)
p→qr)→(p→q)(p→r) ①、⑩據規則(3),消去假設①
p→q)(p→r假設
p→q據規則(5)
p→r據規則(5)
p假設q據規則(2)
r據規則(2)
qr據規則(4)
p→qr據規則(3)
p→q)(p→r)→(p→qr) 、據規則(3),消去假設p→qr)(p→q)(p→r) 、據規則(10)
第三章中國的自然資源 2
初二地理上冊第三章練習題 續 班級姓名 第三節水資源 知識點過關練 知識點1 水資源概況 1 地球上的水資源中海洋水占陸地淡水只佔 2 通常所說的水資源主要是其中最方便利用的是和 3 人們常用作為淡水資源多少的指標。4 造成全球水資源不足和供水緊張的主要原因是 a 灌溉用水的增加 b 水汙染嚴重 c...
第三章合同的內容與形式
第一節合同的內容 一 合同權利的概念 1 概念 合同權利是指債權人依據法律或合同規定就享有的請求債務人為一定行為的權利。2 權能 一是請求履行的權利 二是保全債權的權利 三是請求保護債權的權利 四是處分權能 案例分析 某商廈多層,其中一層出租給若干經營者作商鋪使用。某年,商廈所有權人將該層整體 後,...
第三章教育與個人的發展
第一節個體身心發展的一般規律 一 個體身心發展的含義 個體的身心發展包括個體的身心和心理兩方面的發展。二 個體身心發展的一般規律 順序性 皮亞傑的認知發展論認為,個體認知能力發展也是由簡單到複雜 由低階到高階的 階段性差異性不均衡性互補性 三 小學生身心發展的一般特點 一 小學生身體的發育 二 小學...