G(o)del逻辑系统中公式真度判断方法

来源 :聊城大学学报(自然科学版) | 被引量 : 0次 | 上传用户:arthur2020
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
其他文献
积极心理学是20世纪末兴起的新兴心理学思潮,它主张关注和培养积极因素,修正和弥补传统消极心理学发展的不平衡。本文从高校心理健康教育这个实践点出发,简要探讨积极心理学的价
采用学习动机与学习倦怠问卷,选取独立院校214名学生进行问卷调查,探讨了独立院校大学生学习动机和学习倦怠的现状及其关系。结果表明:(1)文史类与理工类学生在物质追求上差
高等学校的教学工作是研究生培养的中心任务和核心职能.《材料物理化学》是物理化学与材料化学专业研究生的基础课程.为了提高其教学质量,适应当前科学社会发展的新形势,本文
儒家文化源远流长,在中国的历史上发挥过巨大的作用,推动了中国的文明和进步。然而在建设市场经济和民主政治的今天,很多儒家思想残余已经显得不合时宜,并日益成为社会进步的
体育活动在现实社会中有很大的功用价值,它对增进学生的身体健康有积极的作用,同时,体育活动在改善学生心理健康和社会适应能力方面也有着不可忽视的作用.对于体育教师而言,
人性本质问题是哲学领域的重要问题,也是人类对本身进行思考的重要命题.从古到今人们对其探索没有间断,善恶论是其焦点.首先应指出:人性善恶不是人性的本质问题,而是人们对人
从回到原点就要以学生为本位、回到原点就要回归语文的本体两个方面,探讨了无论是继承优良传统还是发展创新,我们都要回归语文教学的“原点”.
生命教育是大学生社会化教育语境下不可或缺的重要基础和前提.但事实上,生命教育却正在遭遇至今尚未建立科学完善的课程体系、长期处于边缘化的师资队伍、没有形成良好的教育
人间佛教的提出可以说是中国佛教发展的伟大探索,它是在传统佛教消极厌世无法适应社会和时代发展的要求下被倡导的.传统的佛教背离了佛教的根本精神,片面的强调出世精神,夸大
关于未完成的事情,我们都有体会,个人有个人的见解,相似的是,那些未被完成的事情比完成了的事情更容易让人记忆;根据格式塔理论我们多少能获悉其中的奥秘;依据此规律,或用于