2、p1 PAq pTTFF qTFTF T FFF
2、 p∧q p q p∧q T T T T F F F T F F F F
3 q p q pTTFF T TTT T F F
3、p∨q p q p ∨ q T T T T F T F T T F F F
4、p->q pTTFF TT
4、p→q p q p →q T T T T F F F T T F F T
5、p←→9 pTTFF T TFF
5、p←→q p q p ←→ q T T T T F F F T F F F T
③四、重言式、矛佰式、可满足 式 61、重言式(又叫永真式)是指在一个命 题形式中不论其中的变项取什么值,该 命题形式的值总是真的。 如: p ppTF F y p T T
四、重言式、矛盾式、可满足 式 1、重言式（又叫永真式）是指在一个命 题形式中不论其中的变项取什么值，该 命题形式的值总是真的。 如： p∨ ¬p p ¬p p∨ ¬p T F T F T T