③四、重言式、矛佰式、可满足 式 61、重言式(又叫永真式)是指在一个命 题形式中不论其中的变项取什么值,该 命题形式的值总是真的。 如: p ppTF F y p T T四、重言式、矛盾式、可满足 式 1、重言式（又叫永真式）是指在一个命 题形式中不论其中的变项取什么值，该 命题形式的值总是真的。 如： p∨ ¬p p ¬p p∨ ¬p T F T F T T