从上节真值表和命题的等价公式推证中可以看到，有些命题公式，无论对分量作何种指派，其对应的真值都为t或都为f，这两类特殊的命题公式在今后的命题演算中极为有用。为此，下面做详细的讨论。 定义1-5.1给定有命题公式，若无论对分量做怎样的指派，其对应的真值为t，则称该命题公式为重言式或永真公式。 定义1-5.2给定一命题公式,若无论对公式再哟怎样的指派,其对应的真值永为f,则称该命题为矛盾式或永假公式. 定理1-5.1任何两个重言式的合取或析取,仍然是一个重言式. 证明设a和b为两个重言式,则不论a和b的分量指派任何真值,总有a为t,b为t,故a∧bût,a∨bût. 定理1-5.2一个重言式,对同...