主次条件句中的多余条件问题

The Problem of Redundant Conditions in Conditionals with Primary-condition and Secondary-condition

刘壮虎、李小五在文献[1]中建立了一种有两个条件的主次条件句逻辑C2Lm。以此为基础,讨论主次条件句中的多余条件问题,证明了文献[1]中提出的一种扩充是不成立的。另外建立了C2Lm的一个刻画某种多余条件的扩充系统C1,证明了它的一些语法及语义性质。

A logic of conditionals with primary-condition and secondary-condition C2Lm is constructed in Liu Zhuang-hu and Li Xiao-wu （ See Bibliography [ 1 ] ）. This paper studies the problem concerning redundant conditions in logic of conditionals with primary-condition and proves structs C2Lm cannot be extended in one of the ways secondary-condition on the basis of that system. It suggested system C1 characterizing some redundant condition and by See Bibliography [ 1 ]. Then, this paper conproves its syntactic and semantic properties.