论文部分内容阅读
在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法．并实现了多个命题公式主范式的同时形式化输出．
命题公式主范式的自动生成与形式输出
【摘 要】
：
在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法．并实现了多个命题公式主范式的同时形式化输出．
【机 构】
：
甘肃联合大学数学与信息学院
【出 处】
：
甘肃联合大学学报：自然科学版
【发表日期】
：
2006年5期
其他文献
以《中文社会科学引文索引》（CSSCI）数据库为础数据来源,对1998–2010年温州地人文社科文产出情况进行计量分析.研究发,温州地人文社科文年度发文量呈明显增长势,高校为发文构
用江苏省2009—2011年57个地基GPS/MET监测网获取的逐时大气可降水量(PWV)和同期降水及JMA(Japan Meteorological Agency)再分析资料,探讨了PWV的日际和逐时变化与不同时间尺度和强度的降水间的关系。结果表明:PWV日际变化与降水日变化具有显著相似的形态特征和演变趋势,两者存在较为一致的同步性,总体呈单峰分布,强降水集中期对应着PWV最大时段;PWV在入梅
猪高热综合征是近几年来在我国新流行的一猪传病，它以体温升高、呼吸困难、耳尖、腹下和四肢末端皮肤发红（紫）为临床特征。发病率和死亡率均高，呈局部暴发性流行，对我省的养猎业带
鸡住白细胞虫病是由血变科住白细胞虫属的原虫寄生于鸡的白细胞和红细胞内引起的一种血孢子虫病。常呈地方流行，对雏禽和幼禽危害严重，其以内脏和肌肉组织广泛出血、机体贫血、
女子足球运动员体质标准是足球竞技能力的主要组成部分，对运动员进行科学的选材是实施科学训练的前提．对兰州市女子足球队女子足球运动员进行了形态、机能、素质方面的测量与研
针对高二文科生在化学学习中基础知识薄弱、缺乏兴趣、学习有效时间较少等现状,笔者从研究考纲、降低难度,前后联系、注重复习,减少作业量,多鼓励、少批评四个方面提出了解决