Abstract：In this paper we first introduced the concept of regular formula, and give a decision method for the validity of the propesitional inference which allows one to construct each step of derivation in a specified manner without recourse to any ingenuity and finally to arrive at the last step which elearly indiates whteher a gwen conclusion follows from the premises. In this sense, not only is our procedure here mechanical, but it also becomes a full decision process for validity.
收稿日期: 1986-03-25
引用本文:
黄万徽. 关于命题论证有效判定的另一方法[J]. , 1986, 25(3): 0-0.
黄万徽. ANOTHER DECISION METHOD FOR THE VALIDITY OF THE PROPOSITIONAL INFERENCE. , 1986, 25(3): 0-0.
