永真蕴含式的一条性质

众所周知,命题逻辑中主要的研究对象是重言式及永真蕴含式,本文提出了一条一般离散数学书中所忽视的性质,而这条性质恰恰是推理规则中所谓的“规则T”的理论依据,从理论上讲,这条性质是极有意义的。