10.3969/j.issn.1673-7059.2017.04.011
复合命题推理逻辑方阵类型研究
复合命题推理逻辑方阵的类型分为基本类型和派生类型.从推理形式的有效式(均为重言式)为起点,先根据推理有效式的逻辑关系为推演基础,构建复合命题推理逻辑方阵的基本类型,再对推理有效式的前肢互否、后肢互否、双肢互否三种派生形式(均为协调式)的真值进行定义,并根据"平行移行"规则推演出真假制约关系,构建复合命题推理逻辑方阵的派生类型,这大大拓展了逻辑学理论研究和应用研究的空间.
复合命题推理、逻辑方阵、基本类型、派生类型
35
B812(逻辑学(论理学))
2017-12-01(万方平台首次上网日期,不代表论文的发表时间)
共7页
58-64