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

  • 标签: 复合命题推理 逻辑方阵 基本类型 派生类型