命题逻辑PL表达能力和应用

CORC > 兰州大学 > 兰州大学 > 哲学社会学院 > 期刊论文

	命题逻辑PL表达能力和应用
	邱德钧
刊名	兰州大学学报(社会科学版)
	2012-11-28
卷号	40 期号:6 页码:99-102
关键词	算子布尔函数二叉树指派 INF
ISSN号	1000-2804
其他题名	The Expression Capacity and Application of Propositional Logic PL
中文摘要	命题逻辑PL系统依靠(?),∧,∨,→,←→算子是否足以表达任意n元布尔函数,是大多逻辑著作不注重叙述的问题,本文就此作详细的说明;在此基础上,利用二叉树内在的结构特点,定义INF范式的表达,以该范式的惟一性展现命题公式在计算上的独特作用。
学科主题	哲学
收录类别	CSSCI
出版地	Lanzhou
语种	中文
内容类型	期刊论文
源URL	[http://ir.lzu.edu.cn/handle/262010/132117]
专题	哲学社会学院_期刊论文
推荐引用方式 GB/T 7714	邱德钧. 命题逻辑PL表达能力和应用[J]. 兰州大学学报(社会科学版),2012,40(6):99-102.
APA	邱德钧.(2012).命题逻辑PL表达能力和应用.兰州大学学报(社会科学版),40(6),99-102.
MLA	邱德钧."命题逻辑PL表达能力和应用".兰州大学学报(社会科学版) 40.6(2012):99-102.