-
题名自然逻辑与不自然逻辑刍议——以命题逻辑为例
- 1
-
-
作者
肖翀
-
机构
中央财经大学文化与传媒学院
-
出处
《湖南理工学院学报(自然科学版)》
CAS
2015年第1期10-12,15,共4页
-
文摘
在逻辑中,自然演绎方法与公理方法是研究各种逻辑词之间的推理规律的两种不同的研究方式.本文以命题逻辑中的推出关系为例,研究了逻辑推理演算在自然逻辑系统与不自然逻辑系统中的特点,总结了自然演绎方法与公理方法的区别与联系,认为自然逻辑更契合人类思维习惯,更易于接受.
-
关键词
自然逻辑
不自然逻辑
公理方法
自然演绎方法
-
Keywords
natural logic
unnatural logic
axiomatic approach
natural deduction method
-
分类号
B813
[哲学宗教—逻辑学]
O141
[理学—数学]
-
-
题名基于MSI的非自然顺序循环的任意进制计数器的设计
- 2
-
-
作者
胡菊芳
熊春如
-
机构
新余高等专科学校机电与自动化工程系
广东工业大学信息工程学院
-
出处
《新余高专学报》
2004年第5期23-24,共2页
-
文摘
探讨利用中规模计数器芯片设计按非自然顺序循环的任意进制计数 器方法,该方法在特殊循环计数器设计的应用中,有着广泛的应用。
-
关键词
中规模集成电路
非自然顺序循环
预置数
组合逻辑电路
计数器
-
Keywords
Medium- scale integrated circuit
unnatural sequence circulation
Preset number
Combination logic circuit
Counter
-
分类号
TN431.2
[电子电信—微电子学与固体电子学]
-