摘要
考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.
This paper considers to the logical structure of a proposition. The tool used is equivalent calculus and this provide a new idea to understand the proposition with complicated structure.
出处
《大学数学》
2014年第5期109-111,共3页
College Mathematics
基金
北京高等学校青年英才计划资助(YETP0770)
北京林业大学青年骨干教师国内访问学者项目
关键词
命题
逻辑结构
等值演算
线性关系
proposition
logical structure
equivalent calculus
linear relationship