论文部分内容阅读
命题逻辑PL系统依靠，∧，∨，→，←→算子是否足以表达任意n元布尔函数，是大多逻辑著作不注重叙述的问题，本文就此作详细的说明；在此基础上，利用二叉树内在的结构特点，定义INF范式的表达，以该范式的惟一性展现命题公式在计算上的独特作用。
命题逻辑PL表达能力和应用
【摘 要】
：
命题逻辑PL系统依靠，∧，∨，→，←→算子是否足以表达任意n元布尔函数，是大多逻辑著作不注重叙述的问题，本文就此作详细的说明；在此基础上，利用二叉树内在的结构特点，定义INF范式的表达
【机 构】
：
兰州大学哲学社会学院
【出 处】
：
兰州大学学报：社会科学版
【发表日期】
：
2012年6期
其他文献
本文结合沙特标准局发布关于SASO 2663:2014中第4和第5章补充说明和标准SASO 2663:2014,对空调器出口沙特能效和最低能源效率(MEPS)要求进行解读。并通过举例形式进行分析,供
1936年以来,中国的民族危机日益加重,“救亡”成为当时中国知识分子的心声。救亡必须“唤起民众”,在此背景下,以广播为核心之一的电化教育成为政府在社会生活领域的工作重点
皎然的诗学思想中出现了一系列不同于盛唐、大历诗人的新倾向。过去人们已经注意到他重主观、求怪奇、尚狂逸等倾向及其对韩孟诗派的影响，但对于他重品格、尚意蕴、追求文本结
从20世纪80年代初至90年代初的十年间，汪曾祺写下数十篇游记，充满着独特的山水情致。他徜徉在山水间总关注其人文内涵，常具有独特的幽默感。其游记具有诗的构思，常以诗句描绘山水
介绍了数字下变频器GC1012B，并使用这款芯片构建了一个可编程数字无线电结构的OFDM传输系统的接收机。
快速系统原型技术已成为SoC(片上系统)验证的主要手段之一,但大多数的原型描述仍使用Verilog/VHDL语言,描述效率低.以软件编译式系统设计(SCSD)为基础,提出了SoC的原型验证流
美国国家仪器有限公司（National Instruments，简称NI）2005至2006年度的全球巡回虚拟仪器技术盛会NIDays已经拉开帷幕，兹定于2005年10月27日来到北京。
12月7日,工业和信息化部办公厅发布了＂工业和信息化部办公厅关于印发2015年第四批行业标准制修订计划的通知＂。在2015年第四批行业标准制修订计划中,