1.  P,Q为两个命题,当且仅当 时,P∧Q的真值为1,当且仅当 时,P∨Q的值为0。(1.2节)

2.  P,Q为两个命题,当且仅当时,P→Q的真值为0。(1.2节)

3.  两个重言式的析取为,一个重言式与一个矛盾式的析取为。(1.4节)
 

1.  下面联结词不具有交换律的是(  )。(1.2节)

(A)→
(B)∧ 
(C)∨
(D)

2.  下面语句是真命题的为(  )。(1.1节)

(A)我正在说谎 
(B)如果1+1=2,则雪是黑色的

(C)如果1+1=3,则雪是黑色的 
(D)吃饭了吗?

3.  合式公式(P∧(P→Q)) →Q是(  )。(1.4节)

(A)矛盾式 
(B)蕴涵式 
(C)重言式       
(D)等价式

4.  下列合式公式中,(  )是重言式。(1.4节)

(A)(P→Q) ∧(Q→P)       
(B)(P∧Q)→P

(C)(P∨Q)                           
(D)(P∨Q)∧(P∨Q)

5.  下列合式公式中,(  )不是重言式。(1.4节)

(A)Q→(P∨Q)                
(B)(P∧Q)→P

(C)(P∧Q)∧(P∨Q) 
(D)(P∨Q) (P→Q)

6.重言式的否定为(  )。(1.4节)

(A)重言式 
(B)矛盾式 
(C)可满足式    
(D)蕴涵式

7.合式公式P→ (Q→P)为(  )。(1.4节)

(A)重言式 
(B)可满足式    
(C)矛盾式
(D)等值式