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）等值式