重言式的特点特征

重言式的特点特征

（1）重言式的否定是一个矛盾式，一个矛盾式的否定是重言式，所以只研究其中之一就可以了。

（2）重言式的析取，合取，单条件，双条件都是重言式。于是可由简单的重言式推出复杂的重言式。

（3）由重言式可以产生许多有用的恒等式。

设 A:A(P ₁ ,P ₂ ,…,P _n )

B:B(P ₁ ,P ₂ ,…,P _n )

是两个命题公式，这里P _i （i=1，2，…，n）不一定在两个公式中同时出现。