10.3969/j.issn.1672-1454.2014.05.021
一个命题的逻辑结构分析
考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.
命题、逻辑结构、等值演算、线性关系
30
O141;O151(数理逻辑、数学基础)
北京高等学校青年英才计划资助YETP0770;北京林业大学青年骨干教师国内访问学者项目
2014-12-02(万方平台首次上网日期,不代表论文的发表时间)
共3页
109-111