复合命题推理逻辑方阵类型研究

Compound Proposition Reasoning Logic Phalanx Type Research

复合命题推理逻辑方阵的类型分为基本类型和派生类型。从推理形式的有效式(均为重言式)为起点,先根据推理有效式的逻辑关系为推演基础,构建复合命题推理逻辑方阵的基本类型,再对推理有效式的前肢互否、后肢互否、双肢互否三种派生形式(均为协调式)的真值进行定义,并根据"平行移行"规则推演出真假制约关系,构建复合命题推理逻辑方阵的派生类型,这大大拓展了逻辑学理论研究和应用研究的空间。

the type of compound proposition reasoning logic phalanx is divided into basic and the derived type. From reasoning form effective type （all are tautologies） as the starting point, according to the first deduction based reasoning and effective type of logical relationship, to build the basic types of compound proposition reasoning logic phalanx, again to reasoning and effective type of forelimbs and no hind limbs and no mutually, both limbs and no three derived form （both for coordination type） of true value are defined, and according to the constraint relationship ＂parallel migration＂ rule out the true and false, build compound proposition rea- soning logic phalanx of derived type, which greatly expand the space of logic theory research and applied re- search.