学科分类
/ 1
1 个结果
  • 简介:考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

  • 标签: 命题 逻辑结构 等值演算 线性关系