论文部分内容阅读
本文证明了命题逻辑形式系统Ｌ中任一公式α在某个模型中的取值是有限步内可判定的，进而得出Ｌ中任一公式α是否恒真式是有限可判定的，最后证明了Ｌ的任一公式是否是Ｌ的定理是有限可判定的。
命题逻辑形式系统定理有限可判定性
【摘 要】
：
本文证明了命题逻辑形式系统Ｌ中任一公式α在某个模型中的取值是有限步内可判定的，进而得出Ｌ中任一公式α是否恒真式是有限可判定的，最后证明了Ｌ的任一公式是否是Ｌ的定理是有限可判
【出 处】
：
德州师专学报
【发表日期】
：
2000年2期
其他文献
对德州市成人的心血管机能指标:心率、收缩压、舒张压、台阶指数进行分析与评价,结果为下等和差等.研究认为健康意识差、膳食结构不合理、运动习惯差、缺少体育文化氛围是造
社会主义市场经济体制的正常运行，社会保障体系的保驾护航作用至关重要。因为，在竞争激烈的市场经济条件下，国有企业面对来自方方面面的包袱，自然会有一种刻骨铭心腹背受敌的隐痛
利用VB在计算机上对机械机构中的凸轮机构进行设计计算 ,同时绘出其实际设计轮廓曲线 ,并能对机构进行运动分析 .将CAI思想引入机械设计的教学中 ,有助于机械设计课程取得很好的教学效果.
利用x射线衍射、扫描电镜-能谱分析、蒸馏滴定法等技术,分析了国产钼酸铵废液的化学成分.在此基础上,研究成功一种"二步分级沉淀回收废液中硝酸铵"的方法.实验室kg级小试证明
极化特征用于目标识别的一项主要研究是将极化信息与高分辨率雷达技术相结合.文章就高分辨率雷达目标识别中散射中心的条件、搜寻、定位问题进行了研究.
数学建模是用数学解决实际问题的桥梁,是体现数学功能的工具。它有助于学生体验数学在解决实际问题中的价值和作用,体验数学与日常生活和其他学科的联系;有助于激发学生学习
借助于几何作图,给出了直线上射影变换的几何结构.
水墨人物画正不断拓宽着它日趋强烈的个性化语言,汲取外来文化营养,发展完善自己的艺术语言,使之更具永恒的生命力,但中国画最基本的规律"笔墨"不能丢.从古代传统绘画中汲取
体育教学是学校教育的重要组成部分,也是对学生进行素质教育,特别是心理素质教育的重要阵地.体育教师在注重体育理论、体育技能教学的同时,还应突出体育的人文内涵,充分发挥
文章针对我国国有企业改制中在股权结构、治理结构、股份制规模等方面存在的问题,从系统论的观点出发,围绕建立现代企业制度这一改革目标,对影响当前公司制改革的各种因素、