补充资料：重言式

重言式
tautology

　　重言式[tautd优毖:T，To二or“，] 一个真假值(truth vai优)恒为真的命题演算公式，它的真假值不依赖于它的命题变元的真假值是“真”或者“假”.例如:A OA，AV门A，(A二B)。(门B，二A). 一般地，通过验证所有命题变元真假值的有限个组合，就可以判定一个命题演算的公式是不是重言式.B.H.rp，。，H撰
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。