论文部分内容阅读
量词在一阶逻辑推理中起着重要作用，然而它的性质及运算规律比较繁杂，关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证，本文将给出一系列的论证、
一阶逻辑推理系统F下量词的性质及运算规律
【摘 要】
：
量词在一阶逻辑推理中起着重要作用，然而它的性质及运算规律比较繁杂，关于它的一些等值式和蕴涵式不能像在命题逻辑中那样用真值表来验证，本文将给出一系列的论证、
【机 构】
：
唐山师范学院数学与信息科学系
【出 处】
：
河北大学学报：自然科学版
【发表日期】
：
2008年1期
【基金项目】
：
河北省教育厅基金资助项目
其他文献
对科技期刊在创新体系中的作用和地位、2004—2006年烟草科技论文发表情况、三种烟草科技期刊论文发表情况分析，结果表明：科技期刊是烟草行业自主创新体系的重要组成部分；一方面
农村中学进行校本课程开发是新课程改革的要求，但是，由于种种原因，农村中学校本课程开发容易发生随意性和盲目性，讨论校本课程开发原则有利于指导农村中学校本课程开发实践。本文
现代化测绘技术是现对于传统测绘方法而言的,随着社会不断发展,测绘技术不仅在工程管理中得到引用,在其他各项工程建设与资源开发中得到更大更广泛的推广,可以说通过现代化测
新政府会计准侧的发布与实施,对于提升政府、事业单位会计管理水平和服务质量有着重要的意义,通过新政府会计准则的实施能够使事业单位财务管理科学、规范、高效,实现事业单
一、粮食定购立法的必要性国家取消粮食统购实行定购五年来,关于粮食定购任务的落实结帐、挂钩物资兑现、市场管理等具体规定和办法,经过不断充实和完善,基本形成为一个比较
用反相高效液相色谱(RP-HPLC)内标法测定双黄连注射液中有效成分黄芩苷的含量.采用shim-pack CLC-ODS色谱柱(5μm,150 mm×6.0 mm),流动相为甲醇-水(V(甲醇)∶V(水)=60∶40),
传统观念认为:商业企业的资产大都是有形的,或以物质设备形态,或以货币形态而存在。在旧体制下,对企业无形资产是基本否定的,这是因为高度集中的计划调节机制和近乎分配式的
采用凝胶-燃烧法在活性炭弱还原气氛下成功合成了新型橙红色发光材料Sr2MgSi3O9：Eu^3＋.用X射线粉末衍射仪（XRD）、扫描电镜（SEM）、荧光分光光度计等对合成产物进行了分析和表征.结果
随着中成药的普遍使用,某些中成药的毒副作用,特别是肝损害,近年来有所报道.笔者现将本院1991～1999年收治的76例中成药所致肝损害病例进行分析如下.1 临床资料1.1 病例来源 76