论文部分内容阅读
<正> 我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。不可满足的公式亦叫做永假公式。所谓永真假性问题是:
永真假性的研究
【摘 要】
：
<正> 我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。不可满足的公式亦叫做永假公式。所谓永真假性问题是:
【出 处】
：
哲学研究
【发表日期】
：
1978年5期
其他文献
江泽民同志在十六大上所作的报告,是一篇运用马克思主义的纲领性文件.整篇报告体现了马克思主义唯物辨证的光辉思想.如何在马克思主义哲学课教学中把马克思主义基本原理与十
本文研究了助烧剂Ｙ２Ｏ３对ＧＰＳＺｒＯ２（３ｍｏｌ％Ｙ－ＴＺＰ）－Ｓｉ３Ｎ４系统中ＺｒＯ２相结构的影响。研究结果表明：ＺｒＯ２（Ｙ－ＴＺＰ）－Ｓｉ３Ｎ４系统中不添加Ｙ２Ｏ３助烧剂，ＺｒＯ２相组成主要以ｍ－ＺｒＯ２形式存在，并有少量氮稳定ＺｒＯ２；ＺｒＯ２（Ｙ－ＴＺＰ）－Ｓｉ３Ｎ４系统中添加５ｗｔ％Ｙ２Ｏ３助烧剂，ＺｒＯ２相组成为ｃ－ＺｒＯ２、不能相变的过稳定ｔ－ＺｒＯ２。
<正> 人类认识客观世界,就是认识客观事物所具有的本质属性和本质联系。由于客观事物具有确定的多方面的甚至是互相排斥的本质属性和本质联系,这就决定了人们的思想即概念的内涵也要有确定性,这是正确地进
民本主义是儒家的传统思想,两千多年来它是封建统治者实行统治的精神支柱.儒家的民本主义与公民战争有着直接的联系,随着农民战争的发展,民本主义在内涵上也得到了充实,同时
目的分析牙周病伴牙列缺损利用不同义齿修复的效果。方法选择2014年10月~2015年10月本院牙周病伴牙列缺损患者60例,均分成2组实施不同修复。结果固定组治疗后出血指数、咀嚼
自发型宫内妊娠合并异位妊娠临床较罕见,诊断较困难,自然状态下发病率约为0.03%。但应用辅助生殖技术后发病率有所上升,约为至0.15%。其他原因如盆腔炎病史、性传播疾病、输
关于真理有没有阶级性的问题,一年多来,在哲学界进行了热烈的讨论,引起了很多同志的兴趣。从讨论开始到现在,我们收到了二百六十多篇稿件。看来,现在的意见分歧,主要是在什么是阶级性、根据什么来确定真理有阶级性或没有阶级性、怎样正确认识社会科学真理的内容及其属性等问题上。下面,我们将一部分同志关于这几个问题的来稿摘要发表,以便大家进一步研究讨论。 在讨论真理有没有阶级性的问题时,必须遵守形式逻辑规律的要求,概念要明确,使用概念时要前后一贯,始终保持同一。否则,各种观点不好交锋,认识也不可能达到一致。但是我们认为
大学生陷入专业困境现象近年来表现十分突出,影响着大学生健康成长,应该针对大学生陷入专业困境的原因,想方设法解决大学生专业困境问题.
目的探讨比索洛尔在老年不稳定型心绞痛治疗中的疗效,分析比索洛尔的药理作用。方法从2014年3月至2016年6月间我院收治的不稳定型心绞痛老年患者中抽取68例作为研究对象,采用
笔译教学以培养学习者的笔译能力为核心任务。自有翻译教学记载以来,国内笔译教学方法从传统的师徒式教学、单纯的翻译技能培训发展到以学生为中心的翻译职业素质教育。笔译