真值形式的种类：包括重言式、矛盾式、偶真式1．重言式（永真式）一个真值形式，如果不论其中的命题变项取值是什么，它的真值永远为真，那么这个真值形式就是重言式，也叫...(展开)