62、矛盾式(又叫永假式)是指在一个命 题形式中不论其中的变项取什么值,该 命题形式的值总是假的 如:p∧→p p∧p F F T F
2、矛盾式（又叫永假式）是指在一个命 题形式中不论其中的变项取什么值，该 命题形式的值总是假的。 如： p∧ ¬p p ¬p p∧ ¬p T F F F T F
63、可满足式是指在一个命题形式中不论 其中的变项取什么值,该命题形式的值 至少在一种情况下是真的。 e如:p∧q p∧q pTTFF qTFT T F F F
3、可满足式是指在一个命题形式中不论 其中的变项取什么值，该命题形式的值 至少在一种情况下是真的。 如：p ∧ q p q p ∧ q T T T T F F F T F F F F